REQ 064

REQ-064: Serialize engine mutations per verified VM UUID

Requirement

Windows provisioning shall serialize its own mutations for each verified VM UUID.

Rationale

Concurrent aliases or phases must not overwrite an attempt's evidence or control the same VM simultaneously.

Fit Criterion

Two engine operations targeting the same UUID cannot mutate concurrently even when their names differ; different UUIDs may proceed independently. A missing, unsafe, or unavailable lock fails closed. Third-party VM tools are outside the lock; an immediate state recheck alone does not close their race, which requires the proven interlock or exclusive-control mechanism in REQ-057.

Verification

Planned, TEST-064; the current workflow concurrency group uses the VM name.

Source

Software-Requirements-Specification

Priority

High

TestID

TEST-064

TestArtifact

Planned alias, concurrency, lock-failure, and conditional Linux descriptor-lifetime fixtures

CodeRef

Windows host adapters and workflow

Status

Planned