{
  "file": ".spt/preserved/308-registry-process-lock/windows-validation/run.py",
  "status": "written; no driver execution, build, test, formatter, linter, or validation performed",
  "commands": [
    "python .spt/preserved/308-registry-process-lock/windows-validation/run.py pool-claim",
    "python .spt/preserved/308-registry-process-lock/windows-validation/run.py red",
    "python .spt/preserved/308-registry-process-lock/windows-validation/run.py green",
    "python .spt/preserved/308-registry-process-lock/windows-validation/run.py trace",
    "python .spt/preserved/308-registry-process-lock/windows-validation/run.py pool-release"
  ],
  "prerequisites": [
    "Main removes only lock.lock_exclusive()? before red and restores source byte-exact before green; driver never mutates source.",
    "Windows Python, git/cargo/cargo-nextest and traceable-reqs 0.4.1 on PATH; psutil used if installed, otherwise Windows PowerShell CIM.",
    "Own worktree target must start absent/empty; inherited CARGO_TARGET_DIR must be unset or resolve to that target. Reparse points rejected.",
    "Each producer requires >=96GiB free; emergency <=32GiB and cold target growth >64GiB stop execution. Compile-producing commands have three-hour deadlines.",
    "Each phase is one-shot: phase directory creation refuses repeats. Raw logs, inventory, receipts, source maps and diffs remain under the artifact directory; private homes/temp remain under LOCALAPPDATA/Temp outside Git."
  ],
  "details": [
    "Green uses requested --workspace --lib --test serving_registry_two_process_int --test webserve_attachment_e2e --test webserve_cross_node_e2e selectors plus exact filter; explicit capture-player build retained.",
    "Fail-closed inventory check uses servehost::tests::unavailable_registry_lock_cannot_publish_an_add; requires all three process tests and both exact composite tests.",
    "Red requires exactly one nonignored matched test, native exit100 and stderr containing sentinel was unlocked.",
    "Pre/post process census records ancestry; Hertz hertz-307-evidence attribution allowed while unknown builders or live own-target binaries refuse admission. Unrelated daemon names are not swept.",
    "Timeout cleanup verifies process birth against an opened Windows handle before terminating; every attempted termination is recorded. Native exits are stored separately from driver exit."
  ]
}