gc-during-approval
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
Garbage collection runs while an AskFirst change waits for approval. The candidate survives (its build root is protected), and after approval verify_candidate passes.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake, vm | must-pass | gc_protected: candidate, known_good, base; generation: candidate; txn: Committed ApplyChange | fake: PASS; VM: not run in this build |