0%

Spec test corpus for ori fix

Goal

End-to-end tests, including the rollback case that is the plan’s north-star.

Implementation Sketch

Spec tests: (a) a file with a known MachineApplicable suggestion → ori fix produces the corrected source; (b) a deliberately mis-marked suggestion that breaks compilation → ori fix rolls the file back unchanged and exits non-zero; (c) per-suggestion atomic conflict-skip; (d) bounded-fixpoint convergence + cycle report; (e) idempotent re-run (no-op second pass).

Spec References

ori-fix-proposal.md §Goals, §Suggestion-application protocol, §Convergence

Work Items

  • End-to-end apply + rollback tests (north-star)
  • Conflict-skip, fixpoint-convergence, idempotence tests