{"schema_version":1,"kind":"replay","run_id":"replay-kelpdao-unbacked-rseth","scenario":"replay:kelpdao-unbacked-rseth","proof_level":3,"proof_level_label":"Failure-shape replay","adapter":"adapter.toml","component_adapters":{},"total_ticks":2,"agents":6,"event_count":3,"canonical_hash":"ff46b6a1bbcddc4064f1f6eae58c65c291b4856167e800c1c475825c788d0b09","invariant_firings":[{"name":"full_backing","firings":2,"first_tick":1,"field":"lst_supply * exchange_rate_config.exchange_rate_bps <= total_assets * 10000","op":"expr","value":null}],"exit_code":1,"inputs":{"adapter":"adapter.toml","config":"config.json","policies":null,"trajectory_dirs":{},"component_adapters":{}},"outputs":{"simulation_result":"riptide-output/replays/kelpdao-unbacked-rseth/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 EigenLayer / KelpDAO / rsETH source or the June 2024 bridge incident,","an audit or safety claim about Kelp Protocol, EigenLayer, or any deployed restaking platform,","a cross-chain replay (KelpDAO is on Ethereum; this pack reproduces the economic shape on Riptide's Solana liquid-staking toy program)."]}