TEST 056

TEST-056

Stimulus

Planned or unplanned reboot; key deletion; equal, lower, or delayed higher counter; source reset or wrap; Fast Startup, clock change, restore, lost or rolled-back journal, crash at each commit boundary, pending obligations, off/on, and an initially-off VM without a baseline

Required observation

Guest-only proof requires a proven independent source; unresolved replay, counter uncertainty, continuity loss or rollback is unknown. A crash or recheck cannot erase pending obligations. Managed restart requires new boot ID and off/on; fresh-start requires established baseline-free genesis and never proves reboot.