{"schema_version":1,"kind":"replay","run_id":"replay-euler-donate-and-liquidate","scenario":"replay:euler-donate-and-liquidate","proof_level":3,"proof_level_label":"Failure-shape replay","adapter":"adapter.toml","component_adapters":{},"total_ticks":2,"agents":2,"event_count":3,"canonical_hash":"03de00e2d2ba97344b1572ae79679d43473a27a136447c6b1a28691eda14a2f8","invariant_firings":[{"name":"no_bad_debt","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/euler-donate-and-liquidate/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 Euler Finance's EVM bytecode or the March 2023 exploit transactions,","an audit or safety claim about Euler Finance, eToken accounting, or any deployed lending protocol,","a cross-chain replay (Euler is on Ethereum; this pack reproduces the economic shape on Riptide's Solana toy lending fork)."]}