Goal
Wire the real CLI entry point that emits the remark stream to a file from a real build of a real target.
Implementation Sketch
oric --emit-rc-remarks <out.jsonl> <file.ori>subcommand through the AOT build path (mirrororic/src/arc_dump/mod.rs+codegen_pipeline/finalize.rsdump wiring).- Env-var registration via the
debug_flags!macro (oric/src/debug_flags.rs); compose the burden-sole-path gating (ORI_DISABLE_PREDICATE_STACK_RC=1 ORI_VERIFY_ARC=1) so the producer always emits a valid verdict surface. - Enumerate the AIMS fixture corpus the producer runs against (the gated-probe fixture set).
Spec References
missions.md §oric(new compile-time ORI_* lives in oric/ori_llvm or the carve-out list); CLAUDE.md §PREDICATE STACK.
Work Items
- oric —emit-rc-remarks <out.jsonl> subcommand wired through the AOT build path.
- Env-var registration (debug_flags!) + burden-sole-path gating composition.
- Enumerate the AIMS fixture corpus the producer runs against.
Fresh intel (regenerated)
{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “aims-rc-remarks/s-0dc06435” }, “generated_at”: “2026-06-22T01:29:43.808406+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-0dc06435] 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: cli-producer—s-0dc06435.intel.json)