Value conservation, not allowlists
Policies state invariants over what a transaction may do to your balances — value in versus value out — rather than enumerating destinations. A spend cap is an upper bound; conservation is an equation. Novel drain paths that respect no allowlist still violate the equation, and are denied.