Macro-5 Bad-Input Later-Test No-Digest-Pass Gate — R2-B2 (2026-06-19)
Macro-5 Bad-Input Later-Test No-Digest-Pass Gate — R2-B2 (2026-06-19)
Date: 2026-06-19 · Workstream: R2-B2-MACRO-5-STAGING-BUILD-AUTHORIZATION-PACKAGE-2026-06-19 (Deliverable 75 of 110) · Editorial revision: rev1
Class: bad-input later-test no-digest-pass gate · READ-ONLY · NON-ENACTING · NON-AUTHORIZING · NO test run · NO write performed.
Metadata convention. Editorial revision (rev1) only. AgentData storage revision/
content_lengthauthoritative at read time.
0. Status and non-authorization
STATUS: PASS — engineering / design-only. The rule that invalid input must never produce a success artifact. Engineering PASS ≠ authority PASS. Default: HOLD.
1. Purpose
Carry the no-digest-pass rule forward as a binding gate on both producer and test tool.
2. Sources / evidence read
Macro-4 bad-input no-digest-pass rule (D53); tool/packet lock (v0.1 FIX7 V3 black-box oracle, manifest-laundering prevention). Main process, no reader-agents.
3. Accepted baseline (carried)
Invalid input must NOT create a digest, a PASS, a stamp, or a certify. If invalid input creates a digest / PASS / stamp / certify → fail-open → REJECT.
4. Evidence / analysis — forbidden success-artifacts from bad input
| Forbidden artifact | Why |
|---|---|
| a digest/manifest that reads as PASS | manifest-laundering; F-OPEN-10 |
a candidate/production inspect_* stamp |
phantom stamp; F-OPEN-1 |
certified=true |
unearned certify; F-OPEN-2 |
| a silent PASS (no evidence) | F-OPEN-10 |
5. Candidate / requirement / gate / result
The rule binds both the producer (no stamp/certify on bad input) and the test tool (no laundered digest). It is enforced by the v0.1-stable / FIX7 V3 black-box oracle as a regression fixture — not overwritten, not replaced by v0.2. No test/digest is produced here.
6. Owner-gated future work
Running the oracle against a built producer is Owner-gated; forbidden now.
7. What remains unresolved
No test/digest; the rule is a future obligation.
8. Ready for GPT/Codex review
Yes — Codex should confirm the no-digest-pass rule binds producer + tool and no digest is produced.