Expand description
Bounded queries over crate::model_ir::ModelIr.
Agents should not have to ingest an entire model graph to answer a local question. Queries
therefore return compact, deterministically ordered records and make truncation explicit.
Listing kinds omit tensor contracts and evidence payloads; narrow singular queries (or a
selector on evidence-bearing lists) unlock detail, with drill_down hints pointing the way.