boot-only-kernel-confirmed
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A kernel parameter change takes the boot-only path: published as a one-shot next-boot entry, AwaitingBoot, a ‘restart to finish’ notice, the base still the default. At the next boot it is confirmed, becomes the default, and commits.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | agrees: true; boot_default: candidate; generation: candidate; known_good: candidate; live_tested: never; reports: RestartToFinish; txn: ApplyChange | fake: PASS |
What it exercises
No invariant by name.