Audit Appendix

HFDX enforces several key invariants to ensure systemic integrity:

Invariant	Description
Pool Solvency	Pool assets always ≥ aggregate trader equity
Oracle Freshness	External price feeds validated per block
Margin Invariants	IM and MM strictly enforced
LLN Collateralization	Principal and yield obligations are fully backed

These invariants enable real-time verification and institutional confidence.