X-12 · Accepted
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A writer that does not take the daemon’s lock on the override directory (an editor, a script) replaces
planarian/overrides.nixbetween the daemon’s comparison and its rename
| Breaks | Status | Mitigation | Closes in |
|---|---|---|---|
| Correct (I23) | Accepted | An edit made before the comparison is caught and never overwritten (en-i23-third-party-override-kept); a writer that takes the daemon’s exclusive flock on planarian/ cannot land between them: the compare and the rename are one step under it (§9 step 4; the_override_swap_waits_for_the_directory_lock, and on the VM en-i23-third-party-override-kept) | C (writer boundary) |
The guarantees it narrows
I23.