Skip to content

REQ 062

sergio velderrain edited this page Nov 9, 2026 · 1 revision

REQ-062: Versioned redacted outcome for each attempt, including readiness rechecks

Requirement

Each executed Windows bootstrap, readiness-recheck, fresh-start, restart, or runner-registration attempt shall produce a versioned, schema-validated redacted outcome.

Rationale

Operators and later gates need an explicit pass, fail, or unknown rather than a success-shaped fallback.

Fit Criterion

The receipt shape and phase-specific required checks are defined in Planned-Windows-Bootstrap-Proof-Contract. Only all required PASS checks permit overall PASS; FAIL and UNKNOWN return nonzero. If secure receipt creation fails, return nonzero with a safe error instead of claiming success. Dry-run plans remain non-mutating and are not execution receipts.

Verification

Planned, TEST-062.

Source

Software-Requirements-Specification

Priority

High

TestID

TEST-062

TestArtifact

Planned schema, phase-gate, and receipt-failure tests

CodeRef

Planned Windows receipt producer and verifier

Status

Planned

Clone this wiki locally