test_manifest_never_fabricates_residue originally anchored on charter-anchor (a constraint that at the time had both an empty verification_method and non-empty spec_status triage text) and asserted both facts. When the anchor moved to lock-sufficiency — forced by charter-anchor becoming genuinely covered once the TLA+/Alloy charter-formal-model work landed — the spec_status-carries-triage-text sub-assertion was dropped, because lock-sufficiency's spec carries no VERIFIED annotation at all (its spec_status is legitimately empty).
The test's primary invariant (residue is never fabricated) remains fully intact; this is a narrowing of incidental coverage, not a broken guarantee.
Fix: re-widen the anchor to a constraint that is both still-gapped and carries spec_status text (if one currently exists), restoring the fuller assertion — or add a second, narrower test purely for the spec_status behavior so it isn't only covered incidentally by whichever constraint happens to be the gap-anchor at any given time.
Found during the MVP-P0 campaign (N-tracker rework merge-consent review).
test_manifest_never_fabricates_residueoriginally anchored oncharter-anchor(a constraint that at the time had both an emptyverification_methodand non-emptyspec_statustriage text) and asserted both facts. When the anchor moved tolock-sufficiency— forced bycharter-anchorbecoming genuinely covered once the TLA+/Alloy charter-formal-model work landed — thespec_status-carries-triage-text sub-assertion was dropped, becauselock-sufficiency's spec carries noVERIFIEDannotation at all (itsspec_statusis legitimately empty).The test's primary invariant (residue is never fabricated) remains fully intact; this is a narrowing of incidental coverage, not a broken guarantee.
Fix: re-widen the anchor to a constraint that is both still-gapped and carries
spec_statustext (if one currently exists), restoring the fuller assertion — or add a second, narrower test purely for thespec_statusbehavior so it isn't only covered incidentally by whichever constraint happens to be the gap-anchor at any given time.Found during the MVP-P0 campaign (N-tracker rework merge-consent review).