Planned Windows Bootstrap Proof Contract

Planned Windows Bootstrap Proof Contract

Status: planned under VITechnologies/projectbuddy#114; no implementation or fresh live proof is implied. This is a target design for a Windows 11 guest provisioned from the current Linux-hosted workflow. Windows-host support, including that host's VNC limitation, is a separate follow-up. REQ-014 changes the existing automatic hard-poweroff behavior only when its replacement is implemented. REQ-039 and the consumer's documented Linux/Windows live-proof gates for enabling workflow mutation are not relaxed.

The previous VBox-log marker, screenshot-size, and unauthenticated HTTP checks can yield false confidence; those findings are not a diagnosis of a particular failed VM. The old installer also attempts to disable update services, change Public profiles, enable Basic and unencrypted WSMan, and set the machine-wide remote-admin token-filter policy. None of those settings is assumed to be the cause of the historical failure.

• Boundaries-And-Inputs
• Guest-Components-And-Boot-Identity
• Serial-Event-And-Receipt-Shapes
• Lifecycle-And-Independent-Verification
• Planned-Windows-Bootstrap-Test-Cases