{"capsule_digest":"190d62ea98c2884eaeb6f8f30f38bdf0c733e40d186b8cfab8896a691696c0f6","cases":[{"crashcheck":{"attempted_world_count":5,"attempts":[{"attempt":1,"duration_ns":300302000,"execution_status":"COMPLETED","final_state":{"balance_cents":5000,"ledger_count":2,"ledger_total_cents":5000,"marker_count":1},"integrity_status":"VALID","observation":"DUPLICATE_EFFECT"},{"attempt":2,"duration_ns":363485000,"execution_status":"COMPLETED","final_state":{"balance_cents":5000,"ledger_count":2,"ledger_total_cents":5000,"marker_count":1},"integrity_status":"VALID","observation":"DUPLICATE_EFFECT"},{"attempt":3,"duration_ns":360396000,"execution_status":"COMPLETED","final_state":{"balance_cents":5000,"ledger_count":2,"ledger_total_cents":5000,"marker_count":1},"integrity_status":"VALID","observation":"DUPLICATE_EFFECT"},{"attempt":4,"duration_ns":334172000,"execution_status":"COMPLETED","final_state":{"balance_cents":5000,"ledger_count":2,"ledger_total_cents":5000,"marker_count":1},"integrity_status":"VALID","observation":"DUPLICATE_EFFECT"},{"attempt":5,"duration_ns":352038000,"execution_status":"COMPLETED","final_state":{"balance_cents":5000,"ledger_count":2,"ledger_total_cents":5000,"marker_count":1},"integrity_status":"VALID","observation":"DUPLICATE_EFFECT"}],"completed_world_count":5,"observation":"DUPLICATE_EFFECT","observation_counts":[{"count":5,"observation":"DUPLICATE_EFFECT"},{"count":0,"observation":"EXACTLY_ONCE"},{"count":0,"observation":"INVARIANT_FAILED"},{"count":0,"observation":"NOT_OBSERVED"}],"role":"base","time_to_first_witness_ns":300302000,"unique_database_count":5,"unique_execution_nonce_count":5,"unique_ipc_session_count":10,"unique_worker_nonce_count":10,"valid_world_count":5,"wall_time_ns":363529000},"pytest":{"error_count":0,"failed_count":0,"outcome":"PASS","passed_count":1,"skipped_count":0,"test_count":1,"wall_time_ns":273019250},"ref":"fixture:sqlite-credit-v1/buggy","sequential":{"delivery_count":2,"observation":"EXACTLY_ONCE","outcome":"PASS","state":{"balance_cents":2500,"ledger_count":1,"ledger_total_cents":2500,"marker_count":1},"wall_time_ns":1600042},"tree_digest":"e0e3df5d3bdd0659fd4fcd7719c9047186eb2099dbab2bbb8092c1903a97c0b2","variant":"buggy"},{"crashcheck":{"attempted_world_count":5,"attempts":[{"attempt":1,"duration_ns":358965000,"execution_status":"COMPLETED","final_state":{"balance_cents":5000,"ledger_count":2,"ledger_total_cents":5000,"marker_count":1},"integrity_status":"VALID","observation":"DUPLICATE_EFFECT"},{"attempt":2,"duration_ns":362759000,"execution_status":"COMPLETED","final_state":{"balance_cents":5000,"ledger_count":2,"ledger_total_cents":5000,"marker_count":1},"integrity_status":"VALID","observation":"DUPLICATE_EFFECT"},{"attempt":3,"duration_ns":329398000,"execution_status":"COMPLETED","final_state":{"balance_cents":5000,"ledger_count":2,"ledger_total_cents":5000,"marker_count":1},"integrity_status":"VALID","observation":"DUPLICATE_EFFECT"},{"attempt":4,"duration_ns":360779000,"execution_status":"COMPLETED","final_state":{"balance_cents":5000,"ledger_count":2,"ledger_total_cents":5000,"marker_count":1},"integrity_status":"VALID","observation":"DUPLICATE_EFFECT"},{"attempt":5,"duration_ns":364546000,"execution_status":"COMPLETED","final_state":{"balance_cents":5000,"ledger_count":2,"ledger_total_cents":5000,"marker_count":1},"integrity_status":"VALID","observation":"DUPLICATE_EFFECT"}],"completed_world_count":5,"observation":"DUPLICATE_EFFECT","observation_counts":[{"count":5,"observation":"DUPLICATE_EFFECT"},{"count":0,"observation":"EXACTLY_ONCE"},{"count":0,"observation":"INVARIANT_FAILED"},{"count":0,"observation":"NOT_OBSERVED"}],"role":"candidate","time_to_first_witness_ns":329496000,"unique_database_count":5,"unique_execution_nonce_count":5,"unique_ipc_session_count":10,"unique_worker_nonce_count":10,"valid_world_count":5,"wall_time_ns":364912000},"pytest":{"error_count":0,"failed_count":0,"outcome":"PASS","passed_count":1,"skipped_count":0,"test_count":1,"wall_time_ns":242885333},"ref":"fixture:sqlite-credit-v1/misleading-green","sequential":{"delivery_count":2,"observation":"EXACTLY_ONCE","outcome":"PASS","state":{"balance_cents":2500,"ledger_count":1,"ledger_total_cents":2500,"marker_count":1},"wall_time_ns":624000},"tree_digest":"3d79be420d3a92ee84ac66c15576d1fbfdb7ec3dba4f34dd9e6bfeb8489bf69f","variant":"misleading-green"},{"crashcheck":{"attempted_world_count":5,"attempts":[{"attempt":1,"duration_ns":424139000,"execution_status":"COMPLETED","final_state":{"balance_cents":2500,"ledger_count":1,"ledger_total_cents":2500,"marker_count":1},"integrity_status":"VALID","observation":"EXACTLY_ONCE"},{"attempt":2,"duration_ns":412079000,"execution_status":"COMPLETED","final_state":{"balance_cents":2500,"ledger_count":1,"ledger_total_cents":2500,"marker_count":1},"integrity_status":"VALID","observation":"EXACTLY_ONCE"},{"attempt":3,"duration_ns":436079000,"execution_status":"COMPLETED","final_state":{"balance_cents":2500,"ledger_count":1,"ledger_total_cents":2500,"marker_count":1},"integrity_status":"VALID","observation":"EXACTLY_ONCE"},{"attempt":4,"duration_ns":426050000,"execution_status":"COMPLETED","final_state":{"balance_cents":2500,"ledger_count":1,"ledger_total_cents":2500,"marker_count":1},"integrity_status":"VALID","observation":"EXACTLY_ONCE"},{"attempt":5,"duration_ns":445648000,"execution_status":"COMPLETED","final_state":{"balance_cents":2500,"ledger_count":1,"ledger_total_cents":2500,"marker_count":1},"integrity_status":"VALID","observation":"EXACTLY_ONCE"}],"completed_world_count":5,"observation":"EXACTLY_ONCE","observation_counts":[{"count":0,"observation":"DUPLICATE_EFFECT"},{"count":5,"observation":"EXACTLY_ONCE"},{"count":0,"observation":"INVARIANT_FAILED"},{"count":0,"observation":"NOT_OBSERVED"}],"role":"corrected","time_to_first_witness_ns":412389000,"unique_database_count":5,"unique_execution_nonce_count":5,"unique_ipc_session_count":10,"unique_worker_nonce_count":10,"valid_world_count":5,"wall_time_ns":445867000},"pytest":{"error_count":0,"failed_count":0,"outcome":"PASS","passed_count":1,"skipped_count":0,"test_count":1,"wall_time_ns":276302833},"ref":"fixture:sqlite-credit-v1/atomic","sequential":{"delivery_count":2,"observation":"EXACTLY_ONCE","outcome":"PASS","state":{"balance_cents":2500,"ledger_count":1,"ledger_total_cents":2500,"marker_count":1},"wall_time_ns":554542},"tree_digest":"ccdce21b146ff0146fd93f3aa86f3d047f937153215cae4e2ab80c92d93954de","variant":"atomic"}],"contract_digest":"a7dda9b1726fc74de0b594c57d3ce2647c21e4e4231431d78f22c92a466f562a","crashcheck_verdict":"PATCH_FAILED_STILL_REPRODUCES","crashcheck_wall_time_ns":2650839292,"engine_code_digest":"29205c5be25169f0ec17faccddd824e2b931ef0efbcaadae23b6f38c7217e94d","environment":{"crashcheck_environment_digest":"bc814ac2a37f6ac7418d5d31adf6a440060abbd91559337bcce68956b48a9c02","platform_machine":"arm64","platform_system":"Darwin","pytest_version":"9.1.1","python_implementation":"CPython","python_version":"3.12.13","sqlite_version":"3.53.1"},"event_digest":"4ad9ce16a3a060a5dbde7dffafdd7fd2f047e612c4e34c6ca30635355778b293","hunt":{"attempted_world_count":2,"completed_world_count":2,"deletion_confirmation_world_count":2,"deletion_proof_wall_time_ns":345179000,"fault_action_deletion_trial_count":1,"fault_action_retention_ratio":1.0,"final_fault_action_count":1,"hypothesis_selection_ratio":0.5,"initial_fault_action_count":1,"reproducing_world_count":1,"role":"base","selected_fault_boundary":"effect-commit","selected_hypothesis_id":"effect-commit-v1","selected_world_count":1,"time_to_first_witness_ns":394860000,"valid_world_count":2,"wall_time_ns":394860000},"input_digest":"cd0202c169403bbd9b39e7929cbb583910df3052fe2d64c317c49d91b7008d71","result_digest":"7d0672e42f30a30ee7a8cba2c52970e7fffbc9e154ea70b8aad21e26604d5540","scenario_id":"sqlite-credit-v1","schema_version":"nemisis.crashcheck.benchmark.v1","source_commit":"c339aa90f32ec0874b03d51ff8432505596694b2","wall_time_ns":3493167084}