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

$ cargo test --manifest-path contracts/mainnet-v2/mandate-registry/Cargo.toml --all-features
  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: Behavior is exercised locally; the live-code check below binds that reviewed code to Mainnet.

Test code Full gate