Synthetic tool labels must bind hidden prerequisites
A tool schema may state a runtime prerequisite that a compact training example does not expose. Distinguish literal history claims such as “tool X succeeded” from backend-state invariants such as “a resolved entity exists.” Enumerate all registered entry paths at a pinned revisio…