floor-moves-via-watchdog
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The daemon is killed once the security update is Promoted and stays down; the watchdog completes the commit. The floor moves to the fixing generation: the floor record is part of the commit, whoever writes Committed.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | security_floor: candidate; txn: Committed ApplyChange | fake: PASS |