~/djzs/verify $ recompute --receipt --v2

DJZS. Proof-of-Logic Verifier v2

OKSCOPErecomputation — trusts the chain, not DJZS

OKSETTLEMENTUSDC transfer read direct from Base

OKBINDINGintent_hash recomputed as EIP-712 typed data — domain DJZS · 2 · 8453

OKATTESTATIONEAS getAttestation(eas_uid) — schema, attester, recipient, fields

OKLADDERPASS reproduced · WAIT unprovable · FAIL contradicted

A receipt is a claim. This tool recomputes it. Settlement from the chain; the binding key from the intent alone; the attestation from EAS — and it checks that all three agree with each other. Nothing here trusts DJZS. Unknown resolves to WAIT, contradiction to FAIL.

receipt · json — body + payment_response as the gate returned them

Awaiting a receipt. Recompute to produce the proof ledger.