0%

Prototype the concurrency protocol (Prototype Obligations)

Goal

Each prototype obligation runs against the real primitives and reports its falsification signal, gating the final mechanism.

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

  • Per .claude/rules/prototype_strategy.md, prototype and validate the concurrency protocol against the real primitives BEFORE finalizing: the Windows replace primitive under concurrent rebuild, acquire-then-verify against adversarial interleaving, owner-liveness+expiry crash/PID-reuse cases, hard-link reclaim on every supported filesystem, and atomic binary+sidecar (incl. .dSYM) materialization — each with its stated falsification signal