The MCP and RPC contracts
show their exact wrappers. The generated Query symbols entry in this tab
defines its canonical document.
What the semantic document proves
For a negative claim, require complete coverage of the scope actually asked,
and inspect item failures and omissions. A zero-item qualified result is not
proof of absence. Preserve returned
ref, continuation, qualification, and
failure fields verbatim.
Diagnostics cover the reported IDEA analysis scope; they do not assert a
whole-project build. A source or relation read can also return useful facts
with explicit limits.