100%

Goal

Thread ONE surviving-RC-op remark end to end before any depth: emit at the Phase-6 verdict seam, serialize one JSONL line, read it back with a minimal Rust reader, on one fixture. De-risks the whole pipe.

Implementation Sketch

  • Emit a single AimsRcRemark (hard-coded minimal fields) for one surviving op at compiler/ori_arc/src/aims/realize/burden_elim.rs:classify_burden_ops (l.424-472), gated behind ORI_RC_REMARKS=<path>. Observability-only: NO instruction mutation, respect the Phase-6 census guard (burden_elim.rs:147-168).
  • Minimal standalone Rust reader binary that parses the JSONL stream and prints a count.
  • One .ori spec fixture that produces >=1 surviving RC op on the burden-sole path (ORI_DISABLE_PREDICATE_STACK_RC=1 ORI_VERIFY_ARC=1); assert the stream is non-empty end to end.

Spec References

  • arc.md §STOP (observability-only invariant); CLAUDE.md §PREDICATE STACK (burden-sole path is the sole verdict surface).

Work Items

  • Emit one minimal AimsRcRemark at classify_burden_ops behind ORI_RC_REMARKS; serialize one JSONL line (observability-only, census-guard-respecting).
  • Minimal Rust reader binary that parses the JSONL stream and prints a remark count.
  • One .ori fixture producing >=1 surviving RC op on the burden-sole path; end-to-end non-empty-stream assertion.

Fresh intel (regenerated)

{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “aims-rc-remarks/s-baabd036” }, “generated_at”: “2026-06-22T00:54:01.512522+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-baabd036] 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: walking-skeleton—s-baabd036.intel.json)