The Verdict Ledger

synthetic walkthrough · ~20s loop

An answer says “trust me.” A proof shows its work.

REQUIREMENT → PROOF → EVIDENCE — the claim is anchored, or it isn’t made.

Accountable crew · Argus0 / 3 linked

CONTRACT · SECTION H-3 “The Contractor shall maintain a hazard log per MIL-STD-882 §4.4, covering all subsystems, updated at every design review.”

Requirement

R-014 — hazard analysis covers every subsystem

Proof

§H-3, the passage that satisfies it — highlighted above

Evidence

Contract §H-3 · page 142, ¶2

✓ SATISFIED panel 3/0 unanimous · a human governs acceptance

The contrastsame question

Q — Does the contract meet the hazard-analysis requirement?

“Yes, it appears to be compliant — contracts of this type usually include hazard-analysis provisions.”

no source · no trail · no way to check

Q — Does the contract meet the hazard-analysis requirement?

“Satisfied.” Requirement R-014 · proof §H-3 passage · evidence p.142 ¶2

every claim opens its receipt

ready