Fixed maturity
Positions that mature or settle at a fixed time.
Protocol-aware review
The first generic protocol-family lens.
The Fixed Credit Market lens models a fixed-maturity credit market as a protocol family: credit and debt units, settlement, group exposure, bad debt, gates, fees, and periphery bundles. It describes a family of designs, not a specific deployment.
Run it
Build a lens pack.
arkheionx lens-pack . --scope-file scope.md --lens fixed-credit-marketCredit and debt units
How the protocol accounts for what is owed and owned.
Settlement
How positions close and value is distributed.
Group exposure
Shared risk across positions or markets.
Bad debt
What happens when collateral cannot cover debt.
Gates and fees
Access conditions and the fees on each path.
What it does not mean
A protocol family, not a target.
The lens encodes behavior promises and economic invariants for the family. It carries no
line numbers and no specific known bug, and it is not tied to any named protocol. It does
not confirm vulnerabilities, assign final severity, or replace an audit. Human review is
required. See docs/FIXED_CREDIT_MARKET_LENS.md.