ADL — Auto-Deleveraging
The protocol-native mechanism by which open positions are forcibly closed to absorb losses that exceed the insurance fund’s capacity. Selection is computed deterministically from a combination of unrealized profit-and-loss and effective leverage. See ADL.BFT — Byzantine Fault Tolerant
A consensus protocol that remains safe and live in the presence of arbitrarily malicious participants, subject to a bound on the fraction of faulty stake. IntentionBFT is BFT under a stake-weighted threshold.Byte determinism
The property that two honest nodes replaying the same finalized block against the same pre-state produce byte-identical post-state, events, and per-transaction outputs. The user-facing form is OTD. Enforced by sorted-container discipline, fixed-point arithmetic, and the Differential Test Harness.Canonical Sequencing Commitment (CSC)
The cryptographic commitment, made by the block proposer and certified by validators, to the specific ordering of transactions within a block. The CSC is the consensus-layer hook that anchors OTD and PTAD. See IntentionBFT.Cross margin
A margin mode in which all positions in an account share a single pool of collateral. Profits on one position can offset losses on another, but a sufficiently large loss on any position can liquidate the entire account. See Margin modes.Funding rate
The periodic payment exchanged between long and short positions in a perpetual market to keep the contract price tethered to the underlying spot price. Funding is settled by the protocol on a fixed schedule. See Funding.Index price
The block’s canonical observation of the external spot market for an instrument’s underlying, delivered through the in-consensus price quorum. The index is the input to mark-price construction; it is not the price at which trades execute. See Index price.Intention Exchange
The flagship perpetual futures DEX built on the Intention L1, live atapp.intention.xyz. Operates a full central limit order book, isolated and cross margin, protocol-native liquidations, and on-chain liquidity vaults. Intention Exchange does not implement its own matching engine or risk pipeline — it inherits both from the protocol below it via IntentionKernel and IntentionBFT. It is the first application to use the protocol’s guarantees in production; other financial workloads will follow on the same substrate.