Three new protocols: Aquarius, Soroswap, and FXDAO, verified before they shipped

Adapters and folds for three new protocols landed end to end, and every one passed cross-engine verification against a gold schema frozen before any of them existed.

• Aquarius (including concentrated-liquidity pools), Soroswap, and FXDAO, delivered end to end.
• Two independent engines reached byte-identical output on every table of every protocol.
• Verification forced a real semantics decision: when a pool is written several times in one ledger, which write wins? Resolved to close-state, checked against chain data.