Capture the DEX/P2P design worked out this session under Parameters/DEX_P2P/:
- dex-architecture.md — the exchange model (AMM is an order type, not a venue);
one infrastructure with two entry ramps + two skins; THORChain-insolvency
note validating the no-protocol-vaults thesis.
- bch-dex-development.md — native BCH order-book engineering spec (order
covenants, multi-input taker settlement, the 100KB tx cap, indexer/matcher).
- cross-chain-htlc-ramp.md — HTLC entry-ramp spec (two-leg atomic swap,
T_B<T_A timelock ordering, BCH covenant, BTC/EVM counterparty legs).
- p2p-fiat-crypto-exchange.md — fiat-leg payment oracle + settlement covenant;
receipt-vs-sender-proof decision resolved to sender-proof (2b) via the
three-adversary test (new §4a), refund-default victim mislabel fixed.
Design records only; no code.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
9b9c2b9dca