Repository navigation
Add read-only host prerequisites for VM-first qualification - #487
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The current native-install hosted recipe checks KVM presence and masks VMX in the outer Windows CPU. It cannot qualify Linux inside Windows. Add a separate read-only host prerequisite stage that refuses missing virtualization/SLAT flags, disabled nesting, unusable KVM, contradictory CPU proposals, and inadequate actual memory or physical backing space.
The manual workflow never launches a VM, installs Windows, changes KVM permissions or reclaims storage. Receipts explicitly distinguish the proposed outer CPU argument from an unobserved expanded actual model, and leave Windows/WHPX, guest execution and desktop qualification false. PR CI runs actual consumer controls. Full #178 desktop/editor persistence remains open and needs reviewed scoped engine routing plus semantic guest observations.
Validation: 14 consumer tests; retained mask/nesting/KVM/capacity counterexamples become false successes when refusal evaluation is removed; actionlint and Python compile pass. Current main45ffa86 integrated. New plan has zero prose findings; repository remains1512 with budget unchanged. Immutable source/log hashes are retained under docs/experiments/evidence/2026-09-27-vm-first-hosted-plan.
No hosted qualification or VM dispatch. Preserved capacity trial and fixtures untouched. The draft includes the exact overlapping #418/#419/#422 source and resource plan plus a scoped QMP proposal that retains existing inherited-pipe ownership.