{"schema_version":1,"kind":"replay","run_id":"replay-mango-oracle-pump","scenario":"replay:mango-oracle-pump","proof_level":3,"proof_level_label":"Failure-shape replay","adapter":"adapter.toml","component_adapters":{},"total_ticks":2,"agents":2,"event_count":3,"canonical_hash":"d2344f727c7b84ea9eb11573089c77bef6b66131d485ec90fbf65842e7c920e6","invariant_firings":[{"name":"oracle_bounds","firings":1,"first_tick":2,"field":"bad_debt","op":"==","value":0}],"exit_code":1,"inputs":{"adapter":"adapter.toml","config":"config.json","policies":null,"trajectory_dirs":{},"component_adapters":{}},"outputs":{"simulation_result":"riptide-output/replays/mango-oracle-pump/simulation-result.json","last_run":null},"simulation_boundaries":["Replay mode bypasses persona compilation and dispatches a declared instruction trajectory directly.","Trajectory args are supplied inline per event; generic adapters may still fall back to adapter literals for unmapped constants.","initial-state.json, when present, is applied as a pre-tick bootstrap instruction list before tick 0 is recorded.","Agent balance/PnL fields are bookkeeping-only in replay mode; authoritative outputs are primitive snapshots, events, and invariant rollups."],"what_this_proof_does_not_claim":["a byte-level reproduction of Mango v3's program or the slot state from the October 2022 exploit,","an audit or safety claim about Mango Markets, Mango v3, or any deployed Solana perpetual-trading protocol,","a faithful model of multi-source TWAP oracle composition or order-book-driven price discovery -- the toy fixture realizes the pump and revert as two single-tick price moves rather than as a structural matching-engine reaction."]}