MandateRegistry V2 · Stellar Mainnet

Four checks. Direct evidence.

Open a card to replay its recorded result, inspect the exact command, and follow the proof to the contract or source code.

Recorded gate output

./scripts/gatecheck-contracts.sh
  1. 52 native Soroban host tests passed
  2. 1 exact optimized-WASM execution check passed
  3. 10,001 signed amount boundaries passed
  4. 512 complete mandate-state scenarios passed

Proves: Budget, expiry, merchant, asset, status, sequence, and atomic Circle USDC settlement are enforced by the contract.

Boundary: Run from the repository root with the pinned toolchain. The gate builds the optimized WASM before executing it; a standalone all-features test requires that artifact. The live-code check binds the reviewed bytes to Mainnet.

Test code Full gate