[tractorss]

What this adds

The predict flow for a session: a visitor sets estimates on the option cards, presses Predict, and one popup takes them from wallet to placed prediction. It creates a trade wallet if needed, adds funds (sDAI, xDAI, Foresight credits, or a mix), then trades every option's pools towards the visitor's estimates in batches.

Predict popup

• Estimates list, amount with share slider, and a summary that opens into Details. Details lists the planned trades per option (Mint, Split, Sell, Merge, Buy) with pool fees, the slippage in use, and options that stop short of their estimate.
• The steps (trade wallet, add funds, place prediction) run as a timeline. The status line above the buttons is a callout with a severity glyph.
• A settings card sets max slippage for trades and for the credits swap: Auto or custom, with low/high warnings and Reset.
• Pools are re-read when Predict is pressed. If a plan moved beyond slippage, the run stops at "Prices moved" and the visitor confirms or goes back. A run is held to the plans it showed.
• The success dialog is the run's finished timeline, with explorer links per step and batch, plus the notification-email panel.
• Phones: a compact Predict bar rises from the bottom once something is picked and docks into the card (portrait only).

Foresight credits

• Credits are spent through the Seer CreditsManager on Gnosis, the same route as futarchy-ui: manager.execute (Swapr swap) → WXDAI.withdraw → GnosisRouter.splitFromBase with native value, inside one batchValueExecute.
• Ticked by default when usable. Capped at what the manager can cover, with a note. Withdrawable from the trade wallet.
• The local chain gets a credits mock; yarn simulate:credits:gnosis-fork grants test credits.

Money safety

• Every fork run checks a ledger of the visitor's wallet, trade wallet and the credits manager, to the wei:
  • nothing lost or stranded;
  • no overpay;
  • every pool lands within one tick of the estimate;
  • failures stay withdrawable;
  • what the popup showed is what was signed.
• Recovery finds each step's own transaction from a pinned block, and an unanswered send by its nonce, so a step is never signed twice.
• Batches are sized by the higher of a gas budget and a live estimate.

How it was tested

• yarn workspace web test (vitest): 2,063 passed.
• Component-harness Playwright specs (popup, card, settings, credits, trade wallet, slider, option card): 636 passed, across 320–1280 widths in light and dark.
• yarn test:fork (money ledger on a gnosis fork): 29/29.
• Popup end-to-end on a local gnosis-fork stack (predict-fork.spec.ts, predict-fork-credits.spec.ts): 7/7.
• Red-team passes on the credits route, pricing and recovery. Planted-bug (mutation) checks for overpay, skipped legs, double spends and landing.

Worth knowing

• Persisted runs. The stored run snapshot gained fields: leftOut, slippage, optionsPerBatch, fromBlock. Runs stored by older builds are not migrated.
• Allow-list. The predict allow-list and its properties gained the credits calls; splitFromBase is the only call allowed to carry native value.
• Vendored contracts. Seer's SeerCredits and CreditsManager are vendored under packages/contracts/contracts/vendor/trading-credits for the local mock. They pull in solmate (AGPL-3.0) as a dev dependency.
• Fixtures. test:fork uses the newest indexed session with pools near 0.5. Re-seed with yarn simulate:session:gnosis-fork then yarn simulate:liquidity:gnosis-fork.

Follow-ups (filed, not in this PR)

• The envio indexer and the hardhat fork node can stall on the local stack.
• The tx-orchestrator drops a hash when a send errors after broadcast (predict guards against this itself).
• sDAI rate margins.
• Gas budget for very large sessions.
• Fold the list on phones.
• iOS safe-area viewport.
• The Lens assertSwapExecutable guard is a no-op for Wrapped1155 outcome tokens.

🤖 Generated with Claude Code