floor-moves-via-boot-only
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A security update that also needs a reboot takes the boot-only path: published to boot once, the machine restarts, the boot is confirmed and the change commits. The floor moves to it, as on the live path.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | security_floor: candidate; txn: Committed ApplyChange | fake: PASS |