Alpha.14 recover via exact attested block path#32
Conversation
|
Implementation complete at exact head Alpha.14 now retains PARTUUID-link authority when present and uses the current-boot attested state path only when that link is absent. The fallback requires an actual block device, exact attested state major:minor, exact attested boot-disk sysfs parent, ext4 identity, expected RIGOS label, exact PARTUUID, and unmounted state. An existing PARTUUID link resolving elsewhere is rejected. Source and exact-image tests were updated for the missing-link physical case and substitution rejection. Source gate and image build remain pending. |
|
Alpha.14 exact-head WSL source verification passed. Authority:
The PowerShell Next gate: build and verify the Alpha.14 exact USB image from this unchanged head. PR remains draft/open/unmerged pending image and physical acceptance. |
|
Alpha.14 exact-image authority passed at exact head Artifact:
Exact-image gates passed:
The build wrapper exited cleanly with |
Purpose
Fix the Alpha.13 physical failure tracked by #31 without broadening USB-state targeting.
Alpha.13 correctly recognized the Rust
e2fsck: exit Some(4)condition and advanced into bounded recovery. After the coreresize2fstimeout, however,/dev/disk/by-partuuid/5249474f-04was unavailable. Recovery therefore stopped even though the current-boot attestation still identified the exact state partition as/dev/sdb4with a fixed major:minor identity.Changes
0.0.4-alpha.14/devSafety boundary
No internal disk targeting is added. The fallback is reachable only from a current-boot verified boot-device attestation and must preserve exact state path, state major:minor, boot-disk parent major:minor, ext4 identity, expected label, exact PARTUUID, and unmounted state. Any mismatch remains
repair_required.Stacked relationship
This draft is based on
fix/alpha13-state-e2fsck-option-exit. It must remain unmerged until exact-head source verification, Alpha.14 exact-image verification, physical state recovery, password restoration across reboot, persistent SSH identity, configuration activation, and miner startup all pass.