100%

Goal

Attach the structured-remark emitter at the Phase-6 verdict point, observability-only, with correct var-level disposition.

Implementation Sketch

  • Emit at classify_burden_ops (the existing tracing::trace! twin, burden_elim.rs:439-448): read AimsState via state_map.var_state_at_definition + the inc_elidable_at_realization verdict. NO instruction add/move/alter; respect the before/after census guard.
  • Disposition is per-VAR (whole-function): take the final keep/elide from the remove bitset / WholeVarBalance (all_inc_elidable + pair-atomic-alias + lineage-rebalance gates at mark_whole_var_removals l.1241-1272). A naive per-op verdict mislabels kept incs — this is load-bearing for VF-1 balance.
  • Gate behind ORI_RC_REMARKS=<path>; assert burden-sole path so the envelope burden_path: true is truthful; register the env var per missions.md §oric ownership.
  • Keep the structured-emission variant coverage in sync with format_function (ir/format/instr.rs): ArcInstr burden/RC variants, ValueRepr, RcStrategy, RcAtomicity.

Spec References

  • arc.md §STOP; CLAUDE.md §PREDICATE STACK; missions.md §ori_arc (extend the unified model, never parallel it); §CP-1 calculus-first does NOT apply (no RC-semantic/lattice/contract change, no theorem).

Work Items

  • Observability-only emitter sibling at classify_burden_ops reading AimsState + verdict; zero instruction mutation; census-guard-respecting.
  • Var-level disposition from the remove bitset / WholeVarBalance gates (per-var correctness, VF-1 balance).
  • Gate behind ORI_RC_REMARKS= with burden-sole-path assertion; register the env var in the owning crate.
  • Keep structured-emission variant coverage in sync with format_function (ArcInstr/ValueRepr/RcStrategy/RcAtomicity).

Fresh intel (regenerated)

{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “aims-rc-remarks/s-125726e8” }, “generated_at”: “2026-06-22T01:12:20.094844+00:00”, “graph_state”: { “head_sha”: “d1b2a9dc”, “last_code_import_at”: “2026-06-22T01:06:01.02Z”, “embedding_stale”: false, “insights_stale”: false, “cpg_stale”: false }, “surfaces”: {}, “summary”: “intel-package[plan-section:aims-rc-remarks/s-125726e8] 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: emission-seam—s-125726e8.intel.json)