100%

Goal

Add the query subcommands the fusion enables — the cross-procedural capability no per-file tool can express.

Implementation Sketch

  • rc-survivors [--repo ori] [--by-cause] [--limit N]: rank functions by surviving-RC count (or group by cause_lattice_dim).
  • explain rc-survived <symbol> <ssa>: per-op cause lookup + cross-procedural derivation via CALLS + HAS_RC_REMARK (the high-value 2-hop trace).
  • rc-cause-rank: which proof-failure blocks the most eliminations (via BLAMES_DIMENSION) — directly serves “shrink the proof-failure list”.
  • rc-hotspots (survivor-heavy + bug-mentioned + central) and rc-blast <symbol> (transitive CALLS into an RC-heavy function).
  • Each a new cmd_* handler in query_graph.py (subcommand-agnostic wrapper, no intel-query.sh change).

Spec References

  • Existing cmd_callees/cmd_callers/cmd_blast_radius CALLS-traversal precedents.

Work Items

  • rc-survivors [—by-cause] handler (rank by survivor count or lattice dimension).
  • explain rc-survived cross-procedural CALLS + HAS_RC_REMARK trace.
  • rc-cause-rank + rc-hotspots + rc-blast handlers.

Fresh intel (regenerated)

{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “aims-rc-remarks/s-798bf0f2” }, “generated_at”: “2026-06-22T02:22:48.995136+00:00”, “graph_state”: { “head_sha”: “d1b2a9dc”, “last_code_import_at”: “2026-06-22T02:19:36.23Z”, “embedding_stale”: false, “insights_stale”: false, “cpg_stale”: false }, “surfaces”: {}, “summary”: “intel-package[plan-section:aims-rc-remarks/s-798bf0f2] agent-authored dossier”, “degraded”: false, “dossier”: { “objective_symbols”: [], “tiers”: {}, “agent_authored”: true, “difficulty”: { “class”: “routine”, “research_online”: false, “research_mode”: “auto”, “signals”: [], “plan_dir”: “/home/eric/projects/ori_lang/plans/aims-rc-remarks” } } }

(full dossier: intel-queries—s-798bf0f2.intel.json)