100%

Goal

Define the structured remark record + stream envelope, with the cause taxonomy pinned to the 7 AIMS lattice dimensions, reusing existing taxonomy helpers.

Implementation Sketch

  • AimsRcRemark struct: kind (passed|missed|analysis), pass, name, rc_op, function, debug_loc{file,line,column}|null, ssa_value, exit_block|null, cause{proof_failure, lattice_dim, detail}, burden_net|null, args[], cow_mode|null. A surviving op = missed.
  • Stream envelope: {schema_version, compiler_sha, source_file, burden_path: true, remarks[]}. Add RC_SCHEMA_VERSION constant.
  • Pin cause.lattice_dim against the 7 dimensions in compiler/ori_arc/src/aims/lattice/dimensions.rs (access/consumption/cardinality/uniqueness/locality/shape/effect). Reuse the verify/burden_balance.rs def_kind/var_repr taxonomy helpers (no duplication; LEAK:algorithmic-duplication risk). Serialize SARIF-style (ori_diagnostic/src/emitter/sarif/mod.rs precedent) or serde behind a feature.

Spec References

  • LLVM opt-record prior art (Passed/Missed/Analysis); rc_histogram.rs RcOpKind SSOT.

Work Items

  • Define AimsRcRemark struct + RemarkKind enum + cause taxonomy pinned to the 7 lattice dimensions.
  • Define the JSONL stream envelope + RC_SCHEMA_VERSION constant (burden_path assertion field).
  • Reuse burden_balance taxonomy helpers for def_kind/var_repr; pick the serialization path (SARIF-style or serde-behind-feature).

Fresh intel (regenerated)

{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “aims-rc-remarks/s-8a243ddd” }, “generated_at”: “2026-06-22T01:03:07.054519+00:00”, “graph_state”: { “head_sha”: “d1b2a9dc”, “last_code_import_at”: “2026-06-22T00:21:29.182Z”, “embedding_stale”: false, “insights_stale”: false, “cpg_stale”: false }, “surfaces”: {}, “summary”: “intel-package[plan-section:aims-rc-remarks/s-8a243ddd] 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: record-schema—s-8a243ddd.intel.json)