0%

Adversarial and cross-platform test corpus

Goal

The generation-lifecycle acceptance suite passes across concurrent publication, retire-and-remove safety, run-after-reclaim, and pair materialization.

Implementation Sketch

Derived from compiler_repo/docs/ori_lang/proposals/approved/binary-generation-lifecycle-proposal.md. Depends on the cache root, budget, collection pass, and D3a in-flight-reference primitive delivered by plans/cache-lifecycle/ (approved cache-lifecycle-proposal.md). Implement the work items in order.

Spec References

  • Approved proposal: compiler_repo/docs/ori_lang/proposals/approved/binary-generation-lifecycle-proposal.md
  • Depends on: compiler_repo/docs/ori_lang/proposals/approved/cache-lifecycle-proposal.md (D3a primitive, composed bound)
  • Umbrella invariant T4: compiler_repo/docs/ori_lang/proposals/approved/toolchain-philosophy-proposal.md

Work Items

  • Author the tests: atomic pointer switch under concurrent rebuild, Windows replace semantics, retire-and-remove pointer safety, ori run after reclaim, dSYM pair materialization, hard-link reclaim safety, and the RECENT-tier bound under a CI-matrix fan-out