RFP-004: DEX ecosystem behaviour appendix and vault accounting recommendation

[fryorcraken]

Summary

• Add appendix/dex-ecosystem-behaviour.md surveying how 7 production DEX protocols (Uniswap V2/V4, Balancer V3, Curve StableSwapNG, CoW Protocol, Raydium, Orca Whirlpools) implement behaviours required by RFP-004.
• Update RFP-004:
  • F.8 reframed: the DEX must be compatible with ATAs (accept a user-supplied ATA per (owner, mint)) without forcing them; pool-side vaults may use PDAs.
  • F.9 added: a permissionless sync() that folds surplus vault balances into the pool for the benefit of LPs.
  • Out of Scope: a skim()/recoverSurplus(to) instruction that extracts surplus to a caller-specified address. Among surveyed protocols only Uniswap V2 exposes this; reconciliation is handled exclusively by sync().
  • Align with template: CLI requirement, IDL via SPEL, CLI doc packet, Figma, soft multi-hop routing requirement, and compute-unit benchmarking promoted to a hard Performance requirement.
• Platform Dependencies section added to RFP-004 (prose + structured frontmatter), matching the convention in RFPs 008/012-017/019/020. Statuses verified against logos-co/lambda-prize:
  • LP-0013 (token authorities) — open, hard blocker: the DEX custodies pool reserves, pays swap output, returns LP deposits, routes fees.
  • LP-0015 (general cross-program calls), LP-0014 (ATAs), LP-0012 (events) — closed, delivered.
• Fact-checked the appendix against primary sources (~35 claims; core thesis that Uniswap V2 is the only surveyed protocol with sync()/skim() confirmed). Corrected: Orca fee tiers (9, not 6), Curve LP positions (LP token balances, not admin_balances), UNIfication date (2025-12-25), Uniswap V4 chain count (~12), and qualified the Uniswap V2 cumulative volume figure.
• Formatted both files with mdformat per the repo README.

Research source: marclawclaw/research-dex

Test plan

• Review appendix sections 1-10 for accuracy against research vault
• Review section 10 recommendation (sync() vs skim()) with implementor
• Confirm F.8/F.9 wording aligns with implementation
• Confirm Platform Dependencies LP statuses are current at merge time

Fix logos-co/ecosystem#111

[fryorcraken]

Rebased onto current master (conflict-free; master had not touched either file since the branch point) and made two additions:

1. Standardized Platform Dependencies section added to RFP-004. Aligns with the convention now used across RFPs 008, 012-017, 019, 020 (introduced in #64). RFP-004 was the last DeFi RFP missing it.

• Hard blocker: LP-0013 (token authorities, open) — the DEX is a token custodian (holds pool reserves, pays swap output, returns LP deposits, routes fees), same gate as the lending RFP.
• Resolved: LP-0015 (general CPC), LP-0014 (ATAs), LP-0012 (events), all closed (statuses verified against logos-co/lambda-prize).
• Plus a Privacy primitives subsection (core LEE, not an LP) and a compute-budget Risk.

2. Fact-check pass on the appendix. Ran an independent verification of every claim against primary sources (protocol GitHub, official docs, EIP specs, DeFiLlama, governance records). ~35 claims checked; core thesis (Uniswap V2 is the only surveyed protocol with sync()/skim()) fully confirmed. Fixed:

• Orca Whirlpools: 9 tick spacings / fee tiers, not 6 (tick spacings 1,2,4,8,16,32,64,128,256).
• Curve LP positions tracked by LP token balances, not admin_balances[] (which holds accrued admin fees, consistent with the appendix's own section 9).
• UNIfication proposal passed 2025-12-25 (on-chain vote close), not -26.
• Uniswap V4: ~12 mainnet deployments, not ~16.
• Qualified the Uniswap V2 cumulative volume figure as V2-only (DeFiLlama).

[fryorcraken]

Follow-up to the above: also added the structured dependencies: list to the RFP-004 frontmatter (matching RFP-008's id + reason format; LP-0013 open, LP-0015/0014/0012 closed), and refreshed the PR description to match the final branch content.

All of the above is now consolidated into the PR description, so this thread is fully reflected there. Nothing outstanding.