Axient handles debt-free finality for leveraged binary event markets.
problem Managing debt and finality in leveraged event positions with uncertain outcomes.
method Axient separates leverage maturity from claim maturity, using a protocol to select smallest sale covering debt.
result Proves robust ex-ante debt clearing and debt-free-finality invariants, maximal residual spot exposure, and payout-vector invariance.