0%

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