Convert debt into a fully funded claim.
Debt-free finality is the core Axient mechanism. It does not predict an event outcome or change a venue’s settlement. It converts a leveraged outcome-token position into a debt-free spot position before the claim enters its non-tradable finality interval.The hard-flat condition
At the beginning of hard-flat, letq be the held token quantity, K free cash, and D outstanding debt. For each venue-admissible sale quantity x, the mechanism observes settled net proceeds B(x).
A sale quantity can clear debt only when:
K + B(x) ≥ D
If at least one such quantity exists, Axient selects the minimum feasible x*. The residual position is q − x*; any excess cash after repayment remains in the position account.
Why the minimum sale matters
The rule has a narrow, auditable objective: repay debt while retaining the maximum residual token quantity among debt-clearing sale choices. It does not claim to maximize a user’s terminal wealth for every possible event outcome. The mechanism must use settled proceeds. A submitted, acknowledged, or matched order does not change the debt-free state until the venue’s asset and cash transfers are confirmed.The conditional result
The accompanying research establishes that, if debt-clearing proceeds are executable, settle, and are applied before the venue becomes non-tradable, the post-conversion debt is zero. Under those conditions, later payout variation and dispute duration no longer create lender credit exposure for that loan. This is a statement about the loan channel after successful conversion. It does not remove the user’s remaining outcome exposure or protect against a failed hard-flat, venue failure, custody failure, or an unavailable market.Read next
Executable risk
Learn how proceeds, debt, and buffers are accounted for.
Event finality
Follow the lifecycle from reduce-only to redemption.