Program-level Guarantees

Xitadel’s on-chain behavior is governed by a single Solana program implemented using Anchor(Binding Machine Program). All issuance, funding, repayment, and liquidation flows are encoded into finite state transitions that cannot be bypassed. The program does not allow arbitrary input, admin overrides, or discretionary asset movement. Every outcome is determined by values on chain.