Skip to content

Commit 138d525

Browse files
committed
docs(bonds): retract stale 'maturity-only auction' scope claim
The §"Intentional scope choices (NOT follow-ups)" subsection still listed "Maturity-only auction (no pre-maturity liquidation)" and referenced a §"Why maturity-only auction" section that no longer exists — this dates from before the margin-call (liquidate) addition and directly contradicts the rest of the spec (the whole §"Margin call vs. auction" section, the phased lifecycle that places liquidate in REPAY, the liquidate settlement math at §124-146, the Roles table giving the auctioneer both paths, the Trust-model row covering both settlement paths, and the contract source itself which has had a working liquidate function and liqThresholdBps constructor param since 2f67287). Replace the stale bullet with the actual intentional scope choices: - both margin call AND auction (Christian's pooled/fungible design needs margin call; Dmitri-style 1:1 wouldn't) - no partial liquidation (full close only; partial would be a follow-up paralleling partial repays E1) No code change. Other docs / PR description / contract headers / playground audited at the same time and confirmed current. https://claude.ai/code/session_013U1kfFDEPH91g5VnPTmKD4
1 parent ca2362e commit 138d525

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

docs/bonds.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -425,7 +425,8 @@ These are deliberate properties of the design, not deferred work:
425425

426426
- **One pool per maturity.** Liquidity fragmentation is a feature, not a bug; secondary markets (via the order book) compose multiple maturities into the desired yield curve.
427427
- **`maturity` and `auctionWindow` immutable.** The whole product is a fixed-term bond; making them mutable would re-introduce a privileged role.
428-
- **Maturity-only auction (no pre-maturity liquidation).** See §"Why maturity-only auction" above.
428+
- **Both margin call AND auction (not one or the other).** Margin call closes insolvent vaults pre-maturity to preserve credit-token fungibility; auction closes defaulted vaults post-maturity. See §"Margin call vs. auction (solvency vs. default)" above — Dmitri-style 1:1 lending could drop margin call (each lender bears their own counterparty risk) but this pooled/fungible design cannot.
429+
- **No partial liquidation.** `liquidate` closes the WHOLE vault; there is no Aave/Morpho-style close factor. Documented as a sharp edge; a partial-liquidation extension is follow-up E6 (not enumerated above; would parallel partial repays E1).
429430

430431
---
431432

0 commit comments

Comments
 (0)