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-002: VM identity values have no default
Requirement
Every VM identity value (VM_NAME, BASEFOLDER, GUEST_FULLNAME, GUEST_HOSTNAME) shall be a required input with no built-in default.
Rationale
Prevents one fork's provisioning run from silently reusing another fork's naming/infrastructure.
Fit Criterion
Each such parameter in vm/windows-labview/*.ps1/*.sh is declared mandatory, with no default value assigned. A few non-identity parameters (e.g. the ISO path, guest username, WinRM port) do have generic, non-fork-specific defaults -- these are deliberately excluded from this guarantee's scope.
Verification
Manual code review of vm/windows-labview/build-virtualbox.ps1/.sh; no automated check yet.