Vision4Automation Proof Vault

Test Cases

1. A: unpaid_cents=1200 → DENY (GRACE_EXHAUSTED_DENY)
2. B: unpaid_cents=500 → ALLOW (GRACE_ALLOW_UNDER_THRESHOLD)
3. C: payment_status=VERIFIED → ALLOW (PAYMENT_VERIFIED_ALLOW)

API Outputs

• A_DENY_unpaid1200.json
• B_ALLOW_unpaid500.json
• C_ALLOW_verified.json

DynamoDB Evidence

Each verdict writes immutable evidence:

• Decision record → v4c_decisions
• Ledger record → v4c_usage_ledger

• A_decision.json | A_ledger.json
• B_decision.json | B_ledger.json
• C_decision.json | C_ledger.json

Contract

Contract version: v2.4

Verdicts are deterministic. Evidence is stored and retrievable by ledger_id.