Contract controls
Input bounds, allowance checks, transfer checks, reentrancy guard, fee caps and disabled implementation initializers.
Verification / 01
Security is split across contract code, privileged administration, off-chain execution, custody and external evidence. No single badge covers the whole system.
Input bounds, allowance checks, transfer checks, reentrancy guard, fee caps and disabled implementation initializers.
Owner-key security, deployment review, broker reconciliation and receiver-account management are not contract-governed.