Margin, funding, and health

Cross collateral and risk are scoped to one quote asset and one PerpEngine. NONE, CROSS, and ISOLATED are mutually exclusive position modes. Unallocated AccountCore free balance does not automatically protect a position.

Admission previews enforce initial margin. Final risk-increasing actions, fills, withdrawals, and transfers enforce the configured transfer-health floor. Price and funding values are supplied by authorized off-chain actors; the Engine validates freshness, ordering, and configured bounds rather than deriving the formulas.

Margin is unsigned. There is no insurance, bankruptcy, socialized-loss, or ADL waterfall; debits exceeding stored margin revert. Exact arithmetic and rounding are covered in the replay recipes.