Pick a shock. Let the agent fail. Open the receipt.

Use a connected wallet for chain binding, or use the public test wallet to complete the product loop without importing keys.

mode Guest proof mode

wallet Connect or use test wallet

chain Arbitrum Sepolia · 421614

hub 0x3540...0Cf8

registry 0xa9df...23B7

demo tx 0x0b80...f372

Agent black box

Try the action the policy must stop.

Standing action policy: claim distributions and sweep proceeds; never sell principal during shock conditions.

attempted calldata sell_principal(tokenized_etf, shock=MARKET_HALT)

policy gate no principal sale during shock

result after persistence

waiting for run

Choose a wallet mode and shock, then run the unsafe attempt.

Proof rail

Open auditor wall

wallet waiting for run

reason not run yet

policy 0xa9df...23B7

calldata pending

proof pending

tx 0x0b80...f372