AI traders forecast both branches independently and trade through a constant-product AMM.
Problem DAO governance today is voting. Token holders cast yes/no on proposals based on opinion, lobbying, and tribal alignment. Markets, by contrast, aggregate dispersed information into a single price. Governance leaves that price-discovery on the table.
Vitalik's Nov 2024 From prediction markets to info finance makes the case that conditional prediction markets — where each branch prices a measurable outcome — should drive treasury decisions. MetaDAO runs futarchy on Solana. Nothing production-grade exists on Ethereum.
Solution Every proposal spawns two scalar prediction markets:
IF-pass — what will the KPI (e.g., treasury balance after N blocks) be if this proposal executes? IF-fail — what will it be if it doesn't? AI traders — Claude, Gemini, GPT, whatever — forecast both branches independently and trade through a constant-product AMM. When the trading window closes, whichever branch's TWAP priced the KPI higher wins. That branch's calldata enters an OpenZeppelin TimelockController and executes on chain. No human votes; the market decides.
After execution, an oracle reads the actual KPI value and pays out the winning market at the realized normalized score. The losing branch voids at half collateral. Brier scores against realized outcomes rank the traders.
Tech stack Solidity 0.8.26 + OpenZeppelin v5 (Timelock, ERC1155, ERC20, ReentrancyGuard, AccessControl) Foundry for build, fuzz, and broadcast TypeScript + viem + Bun for the trading agent Google Gemini 2.5 Flash with structured-output schema for forecasts Next.js 15 + Tailwind for the frontend Ethereum Sepolia as the live target

