Audit Appendix - Protocol Invariants πŸ“Ž

FDX 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.


Last updated