01 / AGENT KNOWLEDGE
What may have happened.
Confirmed debit
Remaining mandate headroom
+ UNCERTAINTY IS A STATE. NOT A RETRY.
An order fills. Its reply disappears. A blind retry breaks the budget. Find the failure, repair the plan, and inspect every step.
Recorded simulator demo · synthetic orders · no live trading
Maximum total debit
EXPLORE THE MECHANISM
Move through the recorded steps. See what the agent knows, what actually happened, and why the next purchase matters.
Loading precomputed simulator traces… The video and evidence downloads remain available below.
01 / AGENT KNOWLEDGE
Confirmed debit
Remaining mandate headroom
02 / EXCHANGE REALITY · REVIEWER ONLY
This hidden state is never given to the agent.
Generated by the same finite IOC interpreter used by the local workbench. Each saved trace is replayed and checked for exact equality. This viewer does not submit orders or run a new search. The first three cases change the plan or guard; the fourth also changes lookup evidence to stay inconclusive.
Binance documents unknown execution after timeouts ↗
npm run gallery:checkHashes establish consistency with the recorded model, not exchange attestation. The separate downloadable evidence bundles also support full bounded-search verification.
BINANCE / FROM READ TO REPLAY
The official CLI supplies the price and symbol grids. Statebound turns that recorded snapshot into a separate synthetic experiment, then checks the repaired plan.
BNBUSDT public Spot testnet data through the documented Skills Hub / official CLI route.
771.35 USDT / BNBSnapshot:
binance-cli 2.1.1
A 15 USDT principal target rounds down to a whole lot. The synthetic fee assumption is 10 bps; the total budget stays 20 USDT.
0.019 BNBLot step 0.001 BNB
Price tick 0.01 USDT
The recorded AI repair is rebound to this model, checked again and replayed with fresh or inconclusive lookup evidence.
14.67030565 USDT / REPAIREDBlind retry: 29.3406113 USDT
Inconclusive lookup: still UNRESOLVED
Real: the saved public testnet response. Imported: price, tick, lot size and notional bounds. Assumed: fake account, fixed execution price, 10 bps fee and finite IOC fault model. No live AI call, hosted MCP connection or exchange write is claimed.
Unmapped venue filters: ICEBERG_PARTS, MARKET_LOT_SIZE, TRAILING_DELTA, PERCENT_PRICE_BY_SIDE, MAX_NUM_ORDERS, MAX_NUM_ORDER_LISTS, MAX_NUM_ALGO_ORDERS, MAX_NUM_ORDER_AMENDS. This is not a venue-valid order recommendation. The original 600 USDT flagship remains a separate fixture.
Both evidence bundles rerun bounded search and exact replay. Reproduce offline with npm run integration:verify.
Workflow manifest: 800b4938ad7d74fba48354b222305632b2185c577358a24771414cb6e4c08100
Original-speed MiMo Dean narration · ASR-reviewed speech · captions burned into video. Loading the saved AI candidate is not a fresh model call. Download captions · Voice verification
COUNTEREXAMPLE_FOUND
The synthetic order spends 15 USDT. Its acknowledgement is lost, then stale balance evidence triggers another 15 USDT order. The 30 USDT debit exceeds the confirmed 20 USDT budget.
Download counterexample JSON ↗Open full-size screenshot ↗
Three mandates × 16 deterministic scenarios. Regression corpus, not an independent blinded benchmark. A bounded discrete result does not certify all market conditions.
The local workbench computes checks, accepts typed candidate repairs, persists replay events, and verifies exported evidence. This shareable preview serves recorded artifacts only. Download the repository to run a new experiment.
Official Binance CLI public testnet reads were recorded separately from the synthetic fixture. Hosted Binance MCP and testnet order writes are unavailable. Mainnet is disabled. No exchange or model credentials are needed for the offline workflow.
npm ci
npm run build
npm run dev
# Open http://127.0.0.1:4381
npm run evidence:verify -- submission/demo-evidence.jsonRun the full workbench ↗