SYS REQ 023

SYS-REQ-023: Flag post-publication proof revocation

Requirement

The system shall flag a managed release affected by later proof revocation.

Rationale

A published release can become affected after its initial verification.

Fit Criterion

The affected release is signaled and later managed releases are blocked pending an authorized response; no automatic withdrawal is claimed.

Verification

Planned incident verification; TEST-083.

Source

System-Requirements-Specification

Priority

High

TestID

TEST-083

TestArtifact

Planned incident verification

CodeRef

REQ-083

Status

Planned