Skip to main content

​
Debt is cleared before claim finality.

An event market can stop trading before its resolution is final. It can then enter a proposal, delay, challenge, override, void, cancellation, or redemption process. Axient’s design objective is to remove borrowed exposure before this interval begins, while leaving the user with any residual fully funded outcome tokens.

​
Two distinct maturities

  • Leverage maturity (σ) is reached only when debt has been repaid with confirmed settled proceeds.
  • Claim maturity (τf) is when the venue makes the outcome payout vector final and redemption is permitted.
The intended order is: open → reduce-only → begin hard-flat → confirm debt is zero → venue becomes non-tradable → provisional result → final payout. An early venue closure that breaks this order is a named failure mode, not an implicit success case.

​
Lifecycle

​
1. Live

The position can be opened, reduced, or closed while the venue market remains active.

​
2. Reduce only

As venue close approaches, new borrowing stops while existing exposure may still be reduced or closed.

​
3. Auto-deleverage

At hard-flat, the system tests the quantities permitted by venue lot and balance rules. It chooses the smallest sale quantity x* for which free cash plus settled net sale proceeds covers outstanding debt. The remaining balance is the debt-free spot position. If even selling the full position cannot cover debt, this condition is not feasible. The paper does not claim otherwise.

​
4. Finality

After confirmation that debt is zero, the remaining underlying position is fully funded. It may wait through delay, dispute, void, cancellation, or resolution without active leverage.

​
What finality does—and does not—mean

When hard-flat succeeds under the stated execution and settlement assumptions, later changes in the payout vector and the duration of a dispute do not create a remaining loan obligation for that position. The user still bears the value of the residual event claim. Axient does not replace the connected venue’s resolution, oracle, custody, or redemption rails. Final redemption follows the venue’s authoritative payout vector rather than a hardcoded assumption about YES, NO, or void.