# Axient. > Technical documentation for Axient's debt-free finality mechanism for binary event markets. ## Docs - [Architecture](https://docs.axient.app/architecture.md): A reference architecture for risk, ledger, execution, and lifecycle control. - [Controls and assumptions](https://docs.axient.app/controls-and-assumptions.md): The operational safeguards and assumptions required by the reference mechanism. - [Debt-free finality](https://docs.axient.app/debt-free-finality.md): The minimum-sale mechanism and the condition for ending leverage. - [Event finality](https://docs.axient.app/event-finality.md): How a leveraged position is converted into a debt-free event claim before resolution. - [Executable risk](https://docs.axient.app/executable-risk.md): Risk is measured from settled, executable venue proceeds rather than marks. - [Overview](https://docs.axient.app/overview.md): Axient is a physically backed margin mechanism for binary event markets. - [Research basis and limits](https://docs.axient.app/research-basis.md): The paper behind the current mechanism specification and the limits on its interpretation. - [Trading](https://docs.axient.app/trading.md): Position construction, physical direction, and isolated collateral.