It demonstrates
A reproducible policy evaluation over synthetic claims, a minimised signed decision receipt, and anchored integrity checks that detect tampering and wrong-key re-signing.
Run a bounded policy check over a canned payment fixture and inspect the signed decision evidence it returns. The useful infrastructure is the control boundary: a decision can be checked and recorded without pretending that Aadya moved money.
The evaluator checks the synthetic fixture's declared payee and account binding, exact-decimal amount ceiling, Verification of Payee status, risk decision, freshness, validity window, and transaction-binding digest.
A pass produces an Ed25519-signed, minimised policy-decision receipt. The demo also checks that a field flip and a re-sign under an untrusted key are rejected against the pinned public anchor.
No form data is collected. The button requests the fixed server-side fixture and displays only selected decision and integrity fields.
Ready.
A reproducible policy evaluation over synthetic claims, a minimised signed decision receipt, and anchored integrity checks that detect tampering and wrong-key re-signing.
A wallet presentation, issuer trust, holder consent or binding, transaction-data-bound OID4VP, SCA, bank authorisation, processor connectivity, clearing, or settlement.