Guaranteed by protocol
- Non-custodial settlement constraints under on-chain program logic.
- Deterministic state transitions for protected settlement paths.
- Transparent role-aware execution and finality on-chain.
- Loss-backed incentive pressure designed to discourage dishonest strategy.