stale-owner-edit-during-build
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
During the build, the owner edits a tracked file without committing it. The transaction is Rejected(Stale), never activated, and its GC root is released.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | gc_root_released: true; generation: base; override_source: base; txn: Rejected(Stale) ApplyChange | fake: PASS; VM: not run in this build |