Producer-correctness corpus gate
Goal
Make every MachineApplicable mark safe to auto-apply via a test-time gate.
Implementation Sketch
Add a corpus gate in ori_test_harness: for every emitted MachineApplicable suggestion in the corpus, apply it and assert the result still parses + type-checks. A producer emitting a suggestion that fails the gate is a compiler bug caught in CI, not at a user’s ori fix.
Spec References
ori-fix-proposal.md §Producer-correctness gate, §Spec & Grammar Impact (ori_test_harness)
Work Items
- Producer-correctness corpus gate in ori_test_harness