100%

Goal

The pro-grade standalone Rust analyzer (layer 2): consume the remark stream and deliver the LLVM opt-tooling analogs that turn dump-reading into a ranked worklist.

Implementation Sketch

  • New standalone Rust analyzer crate; JSONL ingest of the remark stream.
  • opt-stats analog: cause-cluster ranking — surviving RC ops grouped + ranked by lattice dimension (the aims-burden proof-failure worklist).
  • opt-diff analog: two-build remark comparison keyed on (pass, name, function, debug_loc, ssa_value).
  • opt-viewer analog: source-annotated survivor view (function-level when span is None).

Spec References

Work Items

  • Standalone Rust analyzer crate + JSONL ingest of the remark stream.
  • opt-stats analog: cause-cluster ranking of survivors by lattice dimension.
  • opt-diff analog: two-build remark comparison keyed on (pass,name,function,debug_loc,ssa).
  • opt-viewer analog: source-annotated survivor view.

Fresh intel (regenerated)

{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “aims-rc-remarks/s-74da0717” }, “generated_at”: “2026-06-22T01:39:28.433038+00:00”, “graph_state”: { “head_sha”: “d1b2a9dc”, “last_code_import_at”: “2026-06-22T01:26:26.345Z”, “embedding_stale”: false, “insights_stale”: false, “cpg_stale”: false }, “surfaces”: {}, “summary”: “intel-package[plan-section:aims-rc-remarks/s-74da0717] 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: rust-analyzer—s-74da0717.intel.json)