The Policy that Never let you Down

Five-act demo: write the Resilience Contract → watch the fast plane → procure capacity → prove deny-before-sign → open evidence.

Act 1 — Resilience Contract

This is the programmable boundary. Before NeverDown can pay for replacement capacity, the purchase must pass allowlist, per-payment cap, and total budget. Fail any check → refuse before sign.

Live spent…
Remaining…
ENS seller…

Edit the contract, then run an attempt. Results appear here — nothing is signed in Act 1.

Waiting for a policy attempt…