You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
sergio velderrain edited this page Nov 9, 2026
·
1 revision
REQ-061: Fresh Linux-hosted guest and runner proof
Requirement
The Windows bootstrap contract shall be promoted to verified only after fresh Linux-hosted Windows-guest lifecycle and runner-registration proofs.
Rationale
Unit fixtures and a Vagrant box with preconfigured WinRM do not prove initial bootstrap or reboot survival.
Fit Criterion
On a fresh disposable guest, bind proof to the exact engine commit and installer hash, prove initial bootstrap, one guest-only reboot, one managed power cycle, and independently verified runner registration. All live VM control and Actions access require separate operator authorization. Windows-host support is a separate follow-up; REQ-039 and the consumer's Linux/Windows workflow-mutation gates remain unchanged.
Verification
Planned, TEST-061; no such live proof has been performed for this contract.