{ "accounting": { "aggregate_attempt_ceiling": 194, "aggregate_attempts_consumed_including_six_historical": 184, "aggregate_attempts_unused": 10, "aggregate_charge_ceiling_usd": 20.0, "aggregate_fail_closed_charge_exposure_usd": 1.7472558802305, "aggregate_known_actual_charge_usd": 1.5260718802305, "aggregate_settled_requests": 166, "aggregate_unsettled_historical_reservations": 12, "automatic_topups_enabled": false, "clean_campaign_native_ceiling": 216, "client_model_charge_usd": 1.2660365, "client_model_request_ceiling": 144, "client_model_requests_consumed": 142, "client_model_uncommitted": 0, "client_native_commits": 207, "client_native_reservations_consumed": 209, "client_native_uncommitted": 2, "native_aggregate_ceiling": 250, "native_total_including_34_historical": 243, "purchases_made": false, "route_charge_usd": 1.349869, "route_request_ceiling": 160, "route_requests_committed": 150, "route_requests_uncommitted": 0 }, "complete_experiment": false, "contrasts_percentage_points": { "A_DEV": 62.5, "D_DEV": null, "I_DEV": null, "R_C": null, "R_Q": 37.5 }, "descriptive_ai_q_rate_ratio": 2.5, "design": { "ai_only_arm_in_this_study": false, "backend": "QAOA p=1, Aer MPS simulation on classical hardware", "classical_portfolio": [ "sparse enumeration", "seeded local search", "semantic beam search" ], "corpus": "nghttp3 QPACK bookkeeping, controlled faults and pristine controls", "d1_slots": [ "search_1", "search_2", "check_1", "check_2" ], "d2_slots": [ "search_1", "check_1", "search_2", "check_2" ], "dev_mechanisms_previously_exposed": true, "episode_wall_cap_seconds": 400, "fault_instances": 8, "hardware_quantum_execution": false, "measured_episodes": 96, "model": "google/gemini-3-flash-preview", "model_revision": "google/gemini-3-flash-preview-20251217", "native_check_slot_cap_seconds": 20, "optimizer_slot_cap_seconds": 40, "pair_count": 8, "pristine_instances": 8, "reasoning_effort": "low", "retry_count": 0, "same_model_for_ai_q_and_ai_c": true, "seed_block": 1103, "strata": [ "S1", "S2", "S3", "S4" ], "stratum_labels": { "S1": "acknowledgment isolation", "S2": "cancellation isolation", "S3": "acknowledgment order", "S4": "known-received count bounds" }, "temperature": 0, "upstream_commit": "e30d4ed49dfb4a6a58e2987b53106d5c10b0c12e", "upstream_repository": "ngtcp2/nghttp3", "upstream_source_file": "lib/nghttp3_qpack.c", "variants": 6 }, "episodes": [ { "base_problem_digest": "9f4466bb8d7105ed3f7bd60242a652de503f011eff608ceaab0fec0e39a629e4", "checks": [ { "native_receipt_sha256": "4a0a3cb4f5ac1586bb0148d605010c59e80e263acd8ca51a4ccabe63a957ca3c", "native_result_digest": "0eece1a6e068de2a1666ad57888a18df2b3ba57fffa40d377dfd79560c51f8fe", "selected_semantic_trace_digest": "475c4057f79721fa3fd17c39b938a5b65fbc2af44e06f363433c6848982c922c", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "568f6f9c56cb1509209ec7844136c068c9a46d3c4fa5247a95931f8f208b6321", "native_result_digest": "8656a5370ed18c7e92a50771da09d5681ea479c16a0083d11cee6d6213f04d83", "selected_semantic_trace_digest": "475c4057f79721fa3fd17c39b938a5b65fbc2af44e06f363433c6848982c922c", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E001", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "fb95aa445ee17cc54ac014b3265ef2b807a634747f3f76eea348fd8e2bb495dc", "model_response_sha256": "2f37f136a583dc9f9555fcf08f53831585ff702caea8d7d75c60d172824ffcfa", "proposal_digest": "99f4d069b9244e719df86b45f3b3f0136f84ac9154f57a94b392c0b1ee121f74", "selected_assignment_digest": "30a07a3414aa3483f1a5a82d389a213e41f2013ca6d3c523c511512e192c4f5c", "selected_energy": -14, "selected_semantic_trace_digest": "475c4057f79721fa3fd17c39b938a5b65fbc2af44e06f363433c6848982c922c", "stage": 1 }, { "compilation_digest": "44cfac96a7ef713327a3aec37aa55b93bd5762e463b344bce6ad7d63df29ea1a", "model_response_sha256": "3aab6988cf305cb5582d9a39f1e0e636975ba068d8428468a00e3c2ddc725f3d", "proposal_digest": "c793ba0d2b621edff943eb4fda4f18a2e6c304c36d52ba66cb42610eabc3a4da", "selected_assignment_digest": "30a07a3414aa3483f1a5a82d389a213e41f2013ca6d3c523c511512e192c4f5c", "selected_energy": -12, "selected_semantic_trace_digest": "475c4057f79721fa3fd17c39b938a5b65fbc2af44e06f363433c6848982c922c", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "ee66fef2a8e8c11f02f3fb40088302bc7547d18636345ba0f5417272de58960f", "variant": "AI_Q_d1" }, { "base_problem_digest": "9f4466bb8d7105ed3f7bd60242a652de503f011eff608ceaab0fec0e39a629e4", "checks": [ { "native_receipt_sha256": "1cfb718602b5d87c388dd2c7da50ef53489fa3a679d3bb74922a81f41c3be80e", "native_result_digest": "e18976715edecfca7ac92a7118f63971efb531c8fbc1c0a95d2ee4728b66d1e9", "selected_semantic_trace_digest": "429ecfb207748def183f248e96b1dc488ac80a2f196ada7a1720c33b39347c35", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "e5098984b2639c7c75bc6d36619afc4dfa4e0530d144c18cfd682c50280cc06a", "native_result_digest": "a39892999c1190ebaf34bfb2df77c93d20e1775de3ce629626fe994a2e9fc7bb", "selected_semantic_trace_digest": "b7f4dc828d5e1bdd7c0afbc9cce8f307b191ea80438e89371a291fff80b53e98", "stage": 2, "status": "VERIFIED_FINDING" } ], "condition": "controlled_fault", "failure_category": null, "id": "E002", "outcome": { "missing": false, "new_at_stage_2": true, "observed": true, "stage_1_finding": false, "verified_finding": true }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "928ccfb834dca86061eccf86cd94e34341f7f87839e390dce4bc8cb1127d17a6", "model_response_sha256": "b9ec152c097ee9042c9ad813fd0f8744833cac7aac50a2c1935ecc0f5699d455", "proposal_digest": "8d75d9c111395f50054f62459f9933d7485c6798639c9433bcbbae66786079a6", "selected_assignment_digest": "2f3706ef62d7d79cc0459922d7471497b6916567ddc5242c3fa41deda63a2382", "selected_energy": -17, "selected_semantic_trace_digest": "429ecfb207748def183f248e96b1dc488ac80a2f196ada7a1720c33b39347c35", "stage": 1 }, { "compilation_digest": "78924c548e171378ff7535066712ff83d148ea9ea68dad0b1d86ad89e45560b6", "model_response_sha256": "c0ad08db575b015224995fbe3d6733278fd7ec605f31bd5141a707b039859afe", "proposal_digest": "abec2dc5891bab0f1707b7d8057e1d35fbae192b86c5f6c35e0cd4f3be5ea5a5", "selected_assignment_digest": "0068ce8bdb77f0e91bffdf73402ab8f0358dfead6259a9ae5df5cc6001365235", "selected_energy": -17, "selected_semantic_trace_digest": "b7f4dc828d5e1bdd7c0afbc9cce8f307b191ea80438e89371a291fff80b53e98", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "b38048ceea3d4318df0b6fd4984101fa331e8a4cc80454a0ab4ec954ec0a9a9f", "variant": "AI_Q_d2" }, { "base_problem_digest": "9f4466bb8d7105ed3f7bd60242a652de503f011eff608ceaab0fec0e39a629e4", "checks": [ { "native_receipt_sha256": "5757a0803fb655958136a91b715288b295f8bed772b2f514ba2cf64a86874ec2", "native_result_digest": "90ca42116485be8ce19a003fa93943842a4a301d2c129fa09a6e1234702dabe4", "selected_semantic_trace_digest": "63b965b29a59d4e42c20773c0379821bdd9d2f69d2841d51daabf9d207197f78", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "ced049846cd2ef77957f9df9a1cad1d639f8462b77969edc8767f8884b6e4068", "native_result_digest": "2433bc633be873f2b0895e60fdb8e244619e9f8ece04b71ceb9ef1817c1c39fe", "selected_semantic_trace_digest": "63b965b29a59d4e42c20773c0379821bdd9d2f69d2841d51daabf9d207197f78", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E003", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "bc0cd2c36c4560bf9688530879bcebcbbdc1e517167ae69f74d9e14642926596", "model_response_sha256": "7903a70f11d646a3431e3bbbad0b6ec3629a83e236f267bde3bcd372adcc8d85", "proposal_digest": "21a0c7f27bb9d79b1d44e6c01fa22f3595a0bb17d90fcb4407128ea93480515d", "selected_assignment_digest": "2ef31696b631aaa5444223f741d6e1411217920fb48a89ba3e1487180a9bf0cb", "selected_energy": -37, "selected_semantic_trace_digest": "63b965b29a59d4e42c20773c0379821bdd9d2f69d2841d51daabf9d207197f78", "stage": 1 }, { "compilation_digest": "c98588b7ea452c47c6042149c7e7a9f2e9800603fe5671dde6693e08c88fb955", "model_response_sha256": "8ff2ec5a58de3d8e09f673759874eb4e45090dfc0fe5ba65fbd534473ff1d263", "proposal_digest": "0a7d51adff8946ada4adab007dcb6afbe1126b1fbc25bad6f2f2136907be968c", "selected_assignment_digest": "2ef31696b631aaa5444223f741d6e1411217920fb48a89ba3e1487180a9bf0cb", "selected_energy": -38, "selected_semantic_trace_digest": "63b965b29a59d4e42c20773c0379821bdd9d2f69d2841d51daabf9d207197f78", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "f808dc1ecf69b111a22be1a1686fb6868e8775e1524e14d97bb136a452338b7b", "variant": "AI_C_d1" }, { "base_problem_digest": "9f4466bb8d7105ed3f7bd60242a652de503f011eff608ceaab0fec0e39a629e4", "checks": [ { "native_receipt_sha256": "8f59ae149f07a07fd23996de9889df9d4d8f643d28bb9f25a248e1fdd86657df", "native_result_digest": "faaef88157325788583e8f1caef0c5a1d424461f8a3f6acde38bf5d53c253496", "selected_semantic_trace_digest": "26565b284d298f97cd37c5088872b5609d5c67aa4a4b1c7a5065669e404ac791", "stage": 1, "status": "VERIFIED_FINDING" }, { "native_receipt_sha256": "56b4d773643cee2752d29ebdb8ea57b2a6585caaecff3a5f53c87c7c67344d4b", "native_result_digest": "36f687b1950046cb86db906f116c8cd65069687e7076aa9da28280215c717723", "selected_semantic_trace_digest": "d6fe75da46a4c9a67caa3df9f5f031e50eb62ff783c5d07e2ea763569cac46f9", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E004", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": true, "verified_finding": true }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "09377828c802b06be27b7cd04d09a98265813bedb0eee8b046810730a74fa490", "model_response_sha256": "ba65c9bc914622061dd250e70746bfeb8a846202761d62cc3fa98ea14fcafcb4", "proposal_digest": "143f42ee5dfcb61b6804ff9404088121c19ad7939ab6289ceec740088983a506", "selected_assignment_digest": "88cf0e81a1ac6764be4740edcd0e8d482f033d1f29a7182719459a01018ef70d", "selected_energy": -41, "selected_semantic_trace_digest": "26565b284d298f97cd37c5088872b5609d5c67aa4a4b1c7a5065669e404ac791", "stage": 1 }, { "compilation_digest": "beee037f4b433bb577a20f01c802d0a7886bbc698087aa4eeadaccd2eef5e1a5", "model_response_sha256": "885325edcb348357b3b274d7d389051822f740a939e842750e6744707d2cf40c", "proposal_digest": "728d14c34b371acc55838e883ee271908bf3caf8f278c6cc6628cf6bb2024c25", "selected_assignment_digest": "8f32bc21039290ad53d055b46a08eb46e064d40ae279faf279bc3c57676a7042", "selected_energy": -41, "selected_semantic_trace_digest": "d6fe75da46a4c9a67caa3df9f5f031e50eb62ff783c5d07e2ea763569cac46f9", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "55622229cbd88d7b315598f6d2773d416c088a18eba172e49ee0c429579c55d2", "variant": "AI_C_d2" }, { "base_problem_digest": "9f4466bb8d7105ed3f7bd60242a652de503f011eff608ceaab0fec0e39a629e4", "checks": [ { "native_receipt_sha256": "78ecc7a3880990af4941bde74b44be1426e0d0fdbe65628c805804f15ac03f67", "native_result_digest": "04b4dcaa5906b2e87991d9f389ff27ef227e75a4aab414b07c1816d5da1ab634", "selected_semantic_trace_digest": "12088f2726f2206b2bf8309672017e5d8e6a485c428c15d5c53f14889d99a093", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "a1ce5e2c19e7a017d11adf48d703d1c1e34d3741db41f4b5c26bfc4a7ff0c28d", "native_result_digest": "38d36c98fe2a8b3e10b1864df0dd386a7e3cf78a603c0c507849963ab8d87666", "selected_semantic_trace_digest": "a9710caf17050c10fd5de7675ce3fe2ed64f6f4b4c3ebb448a42ffd616cdda91", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E005", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "416adf7f6728f24026167a0dd3853943891648d77469dfc3827b8bec4ced88c4", "selected_energy": -1, "selected_semantic_trace_digest": "12088f2726f2206b2bf8309672017e5d8e6a485c428c15d5c53f14889d99a093", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "a9710caf17050c10fd5de7675ce3fe2ed64f6f4b4c3ebb448a42ffd616cdda91", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "2a3cce2f2bfd9e94fe23c888ada84b5d5ebfd36451e618fa098760da7d1dbb50", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "9f4466bb8d7105ed3f7bd60242a652de503f011eff608ceaab0fec0e39a629e4", "checks": [ { "native_receipt_sha256": "7f336a221922a7ba1510ae15b04c9f5210d2e99c008d53e40172562adeeaf5b9", "native_result_digest": "dc2de4dd01ea36996cc0cd04265441814baacf11a584051f086ac299609c091a", "selected_semantic_trace_digest": "12088f2726f2206b2bf8309672017e5d8e6a485c428c15d5c53f14889d99a093", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "5a0e8657d6dc99e2e587ea0d653cdaa7db721db946f257e73f78727415c6ab03", "native_result_digest": "8403d73de75b4860b5bbd3863ac5d06c35b9ddb2612337740bf377b15bfef33f", "selected_semantic_trace_digest": "a9710caf17050c10fd5de7675ce3fe2ed64f6f4b4c3ebb448a42ffd616cdda91", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E006", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "416adf7f6728f24026167a0dd3853943891648d77469dfc3827b8bec4ced88c4", "selected_energy": -1, "selected_semantic_trace_digest": "12088f2726f2206b2bf8309672017e5d8e6a485c428c15d5c53f14889d99a093", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "a9710caf17050c10fd5de7675ce3fe2ed64f6f4b4c3ebb448a42ffd616cdda91", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "69febaec9079d7df4dc28cbf7e6c426d258df1a37dc3b35bab48f84015802a52", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "d3cb3fd6ec61b053959a0c81ec8ca1619206153ff8984b11e10325323eea7bf3", "checks": [ { "native_receipt_sha256": "620246ffaf4dd5f7b1a6265cd050884b20274c6d75aa731d35e3e066973e0424", "native_result_digest": "caa36dc55dad9d0e82d326fc0768a5b441f45698fcde80edcea68c2f450c0581", "selected_semantic_trace_digest": "c31242801bd3d4181591206958ba7473f0c542011cae41830b9291702f7edfde", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "fc3f82e88732062064dbd3fa174061636747dc88d4d8af36440b33633b047a95", "native_result_digest": "aa4cc7123534bb5adfed67130317e369a1b18e74c969f34455a03de43c743454", "selected_semantic_trace_digest": "229dbc5c92a106f5b422bd485378841fe138ba39923fd42557fb67c76c03838c", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E007", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "c79759d408f8dbeb4c52f48f51e829f2ef8ce08bc66c50f279f05c9fe4cdadd4", "model_response_sha256": "032c2e60eea4279f38af57aa498a520ecf2b023929585ef2a780be30429a950c", "proposal_digest": "b04bec315c6b8b7460ec0dd143a56b670c4ce0a2a64390fed47fa91b75cca516", "selected_assignment_digest": "71132832f0398cd2f599dad078c1c8fd11db00df2b6a815d6b4324c31705a1a5", "selected_energy": -9, "selected_semantic_trace_digest": "c31242801bd3d4181591206958ba7473f0c542011cae41830b9291702f7edfde", "stage": 1 }, { "compilation_digest": "13c33f08dfbcd63aaf6afc6260ec842979c9cfa8d1bb26fb74ac74d5fb668f04", "model_response_sha256": "b2eb9639ff69ea3ec43014d7eb27dd3bab7e41412d32978d228107e66be46099", "proposal_digest": "430ffb9dfa61e9af5a6cef17cfa6ffaffbada2377f9e7a0afe88edb678074c11", "selected_assignment_digest": "7e8b6c4d17c20bd8776bc8fca253bd7d6b659dbde7d873056c27d66ade4924ef", "selected_energy": -12, "selected_semantic_trace_digest": "229dbc5c92a106f5b422bd485378841fe138ba39923fd42557fb67c76c03838c", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "43c0bbd1589e80c68311e5a5af42461349262e44aaa2f99607b45267e82af37e", "variant": "AI_Q_d2" }, { "base_problem_digest": "d3cb3fd6ec61b053959a0c81ec8ca1619206153ff8984b11e10325323eea7bf3", "checks": [ { "native_receipt_sha256": "78b60a92471c12709092cb558504f9189dd465ebae5474de24b75d0d4f8d6fce", "native_result_digest": "a47b32f637910b36e0dcd2b85d01e0f71ccf129b2802fc6d3e6c1d5f97da46ad", "selected_semantic_trace_digest": "d33fd4e9a5d0a91215e3469cd2a6bc44ffe3733403d68273685d2b582b8bf432", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "c18a68b89692391fa5ecda220d30121553102153ad09a7c0636dcbb1cf5dc06b", "native_result_digest": "3411c2837cdb5a82f79019c9d4ba20085da70a1babd7946e1fa0e29eaa50d29b", "selected_semantic_trace_digest": "56ce744eb06483dddeb350cae23f35f1bbc7a32ce552cb8cb56bf831562c6c95", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E008", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "346c53febeb75db3f5cbd8d45f14009393b4826dfee27fbb33a360ad251e7f49", "model_response_sha256": "b532c58d6d4ea8eaa293a55387fdf15fee4fb7552d79c7fbfce9277a48d0cfb0", "proposal_digest": "5c641cf88205f68845af54a7bbbdda12f1100fc93f67382f392223a04c670213", "selected_assignment_digest": "54b3beee983f8aa5301fa3178a008a2d45fe2df01bbba51098f9f10bee027649", "selected_energy": -39, "selected_semantic_trace_digest": "d33fd4e9a5d0a91215e3469cd2a6bc44ffe3733403d68273685d2b582b8bf432", "stage": 1 }, { "compilation_digest": "b7e8f21b42d3fad237cffab8f50afae996909d6566f84a878e6d692c082d33a8", "model_response_sha256": "7d3eeada62fb411f081ac70467cc68a4153e8ede57a2098912705a096d457385", "proposal_digest": "aae5e37a134f325f5f88ea2e70eab038f00514a3f37e5c8bc037d36c26960e54", "selected_assignment_digest": "ad74f45aefffc14fa987c13bfbea09c77d9fd948e94684ca6f46a789c86e65c6", "selected_energy": -39, "selected_semantic_trace_digest": "56ce744eb06483dddeb350cae23f35f1bbc7a32ce552cb8cb56bf831562c6c95", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "e2d457878cdecc88becbb4875866112a116dee98799e3c9064f90ed3ecf57043", "variant": "AI_C_d1" }, { "base_problem_digest": "d3cb3fd6ec61b053959a0c81ec8ca1619206153ff8984b11e10325323eea7bf3", "checks": [ { "native_receipt_sha256": "9886994af54bc55e23969dd662b1911ab45e2351281fee6097476a8c7dd1e548", "native_result_digest": "e077758ce4c686374fee66e7677e69c2551ba8fb6565eeb6e1a29978ae0b850c", "selected_semantic_trace_digest": "d33fd4e9a5d0a91215e3469cd2a6bc44ffe3733403d68273685d2b582b8bf432", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "1bb9101b1e423fa1d30a82d0abb2f433ab1886652cd99f4d2acec7bb435e1e7a", "native_result_digest": "0e003ce49a96f8b77db194fb2efa0f07f8c02397c531cf7630cdf19cd8b25574", "selected_semantic_trace_digest": "d1d7c18c05fcc0f4bb32bb93fbcc9392a8a6068da224752dcfe592c941225fbf", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E009", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "83552decc3f1688871c0abdea2d028b930e7ca747ee83e33e398e5d9f7058308", "model_response_sha256": "ae847d31dfa183dab0f15012f664e2b51d6a1d37e7d8ec43c5e204431d5187c3", "proposal_digest": "ba3c6f4b5d3d6509a73b85f314566b410153a0f0d2ec6f7617aae7caadbd9af5", "selected_assignment_digest": "54b3beee983f8aa5301fa3178a008a2d45fe2df01bbba51098f9f10bee027649", "selected_energy": -38, "selected_semantic_trace_digest": "d33fd4e9a5d0a91215e3469cd2a6bc44ffe3733403d68273685d2b582b8bf432", "stage": 1 }, { "compilation_digest": "d3022e94634fb9943bc735c08eee20ec8be7b9f204ec6b17878aab52e107eceb", "model_response_sha256": "1ce6a4c15867ccb639a3e2f6084583aaf6b1fb4ba688859ac09761bd0be18b2f", "proposal_digest": "c1c7a0fb71d7a9608937797027c22a60db4229d25015b44aacccc010e035c56a", "selected_assignment_digest": "8f32bc21039290ad53d055b46a08eb46e064d40ae279faf279bc3c57676a7042", "selected_energy": -37, "selected_semantic_trace_digest": "d1d7c18c05fcc0f4bb32bb93fbcc9392a8a6068da224752dcfe592c941225fbf", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "d7569067a55b35c6fac02bec155e71dc237f670d6e5ea9c42b2c46e8b7f8268c", "variant": "AI_C_d2" }, { "base_problem_digest": "d3cb3fd6ec61b053959a0c81ec8ca1619206153ff8984b11e10325323eea7bf3", "checks": [ { "native_receipt_sha256": "daa73fbee1d26557c21a817dbb1fcc870e0762be42b124e0e7e685ac584cc75b", "native_result_digest": "b8431c02372730ae6dee6eafbd5f811a2c6ead2bea19b2234bb662628a29161f", "selected_semantic_trace_digest": "b79bc79df1472613d472cbcda02f04cccaf4fd1b90036f044a8d6e0997ed9368", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "6c90e91ea8302342c6356e3a6e74db036cbd8dc8d3ec67eea3d66c6d9e6d2dbd", "native_result_digest": "2a229b35bf74ed6e5d13bbc2fab92ffd19686c0ffc3917a7c8ca9c7503c26cd3", "selected_semantic_trace_digest": "4bc9add457be7ab274b133c7c5107440f7c7f3f9e06696da4d87a4ba188c1407", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E010", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "416adf7f6728f24026167a0dd3853943891648d77469dfc3827b8bec4ced88c4", "selected_energy": -1, "selected_semantic_trace_digest": "b79bc79df1472613d472cbcda02f04cccaf4fd1b90036f044a8d6e0997ed9368", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "4bc9add457be7ab274b133c7c5107440f7c7f3f9e06696da4d87a4ba188c1407", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "18174b12c11027bba63a34504113f8f62249bc7cc0f1ba60fd3fc3096a88f494", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "d3cb3fd6ec61b053959a0c81ec8ca1619206153ff8984b11e10325323eea7bf3", "checks": [ { "native_receipt_sha256": "fa393fe29eab98eea8ad2bf34ce072b99f0f637b334eec99a490ddd2ed8918be", "native_result_digest": "a244b463f31e6b403ccc3629e7f9df2bb57cf1a130dd24e0aecc6887a9949dd7", "selected_semantic_trace_digest": "b79bc79df1472613d472cbcda02f04cccaf4fd1b90036f044a8d6e0997ed9368", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "ef87ba7fc49d709d6da8edd0d5c527a1630eff2f70fcd107f45094b2b518409c", "native_result_digest": "f8e185086f22fd0faa2a282453127cd4db5cf74c611c1318b8d77f3051d48bb2", "selected_semantic_trace_digest": "4bc9add457be7ab274b133c7c5107440f7c7f3f9e06696da4d87a4ba188c1407", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E011", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "416adf7f6728f24026167a0dd3853943891648d77469dfc3827b8bec4ced88c4", "selected_energy": -1, "selected_semantic_trace_digest": "b79bc79df1472613d472cbcda02f04cccaf4fd1b90036f044a8d6e0997ed9368", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "4bc9add457be7ab274b133c7c5107440f7c7f3f9e06696da4d87a4ba188c1407", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "497a42bd1ae605e21e7ae84eea1df97559b4e7d2f85de3e919ece0f00341c1ac", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "d3cb3fd6ec61b053959a0c81ec8ca1619206153ff8984b11e10325323eea7bf3", "checks": [ { "native_receipt_sha256": "3be1ea95bc3505fd47bf1d2a6ca4d18d73f7190de69cecde249a06b71415b5fd", "native_result_digest": "7f369e175761d93292a701bd20a1b267eceda6ba5ac6c83ef66d1d95fc6d136d", "selected_semantic_trace_digest": "d036dca46bdf9ed01f8dd9b3cf280fc81e81f578198c0b4678822def481f0609", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "39c0efd9907b8513b40b28e5e6410582731f4a8794fcbb7e1983c60ac704b88f", "native_result_digest": "7e96dd21e43759e94204a725eaea173fe16d15249d26290c1392be4d4d5978ee", "selected_semantic_trace_digest": "262a52d3d8d44b37ca0611861df71cc83d1bb78817b2990f7fc889f07cb093b0", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E012", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P01", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "ce01cb25d0a8069edd29b7b752f852017efd71ad222b199c98f74fa7d8d44627", "model_response_sha256": "8e4053ebbf3bfcf1b7b3953a4909bf789a1cd3f2c4196ec1fd937bb459eb618c", "proposal_digest": "debd8ad7008b4f9e011a8f4cfc95e76dfe5a99b228b7939e1a129384aa551583", "selected_assignment_digest": "2f3706ef62d7d79cc0459922d7471497b6916567ddc5242c3fa41deda63a2382", "selected_energy": -15, "selected_semantic_trace_digest": "d036dca46bdf9ed01f8dd9b3cf280fc81e81f578198c0b4678822def481f0609", "stage": 1 }, { "compilation_digest": "a952294399aba48d58ae997b48795179ee92ca7b875d43428173d80e436e222b", "model_response_sha256": "8b699511ff6eb97900c9eb3aeaf905aa3b109043929dd00bb60925e2307e2862", "proposal_digest": "bead6b6054ea36e6fdf843b4b70ddbb28eeca11cced109f397cd84c3fdb2c844", "selected_assignment_digest": "c85e19bbfe92a388572e6e8b2e33f0dfd22d9d0a664d927941cd0940be5fd601", "selected_energy": -14, "selected_semantic_trace_digest": "262a52d3d8d44b37ca0611861df71cc83d1bb78817b2990f7fc889f07cb093b0", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "bcdfcee4186f2f40ea9e0f17493872a36c4d96c752b54cc2b7911e93e7da545e", "variant": "AI_Q_d1" }, { "base_problem_digest": "62c3356faa1dc9428427002e9e6c33dd40a95ad9dc8ec372dda2d849ffa99f88", "checks": [ { "native_receipt_sha256": "9ad3a53426353cc9ba0637452a233a87aa6d55da02cb2f0223e480521ff7a264", "native_result_digest": "8127e61d8b316d3a6bdb928cd7a34e0255d2ce2ea3583f50a5bcce5088fcb86e", "selected_semantic_trace_digest": "2b4a2719381917e3cc7611df00571fa07a93369b8cedaf63e55e8ded2044ca10", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "b314ec04191891ecf9eb5c1f8a4889c84f2039239441cf357878dd4178138277", "native_result_digest": "d333973df48264c373f88b5851f9c68e4cc761f62729a7674dbcc7857426ac23", "selected_semantic_trace_digest": "355736293e26e0ea55a9daf6d85c948d9c48a58884c7a0737aa1d1235c8935b6", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E013", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "8f2d68426f7b6cf0287674b064f42f4ab05aa94235758c108e03fac75701b4d9", "model_response_sha256": "d7198afcfccf3026b0927f673366e55e8805db1067098b79ddfc5a600662199d", "proposal_digest": "59188e2cbea041fe4b0fcccb1c13f35e0107047349da00b7b80e72700387d0f0", "selected_assignment_digest": "9231d6511a1dcd6c3bbeda98de5a4d0ea45ae7e78847dab71d510a390c7c2855", "selected_energy": -50, "selected_semantic_trace_digest": "2b4a2719381917e3cc7611df00571fa07a93369b8cedaf63e55e8ded2044ca10", "stage": 1 }, { "compilation_digest": "455e703bf19a77e282d6ee956c91d3fc70492911d5159fd8400cec2968ec93fa", "model_response_sha256": "be5f2e8b0658977b77705bf29ae9a1e6dba1081a07e7a64c33bbcc8338ae9235", "proposal_digest": "c61f6885f5fe172b2112b5e203b1350608819d6ff23776d23c744df7913947f7", "selected_assignment_digest": "31df60e40bb90f116099db6695a32951669dba06b179224c5e01bbda0ef70573", "selected_energy": -58, "selected_semantic_trace_digest": "355736293e26e0ea55a9daf6d85c948d9c48a58884c7a0737aa1d1235c8935b6", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "e0f0be9a7c2ef044eabc7d2e37ad4f3a1d26cd8f63ca72d6a33f4683f895f40f", "variant": "AI_C_d1" }, { "base_problem_digest": "62c3356faa1dc9428427002e9e6c33dd40a95ad9dc8ec372dda2d849ffa99f88", "checks": [ { "native_receipt_sha256": "1e638f51c20906f6bf05111a411f5cd98efe9e811d9318d71e9ae8b9d92fb9ee", "native_result_digest": "0eea9d160bcebe6546582e88462dd27e106c07cf06bd49362e8e576a8b65a6a1", "selected_semantic_trace_digest": "5b320dc78f1843763b3e9cc2d2737a7e916eb5f88889df19f84e515dc382d628", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "a0316a278943ea6ffdcb32147930f6e35e8d2528c3499d3b5248f6dd8d350f03", "native_result_digest": "8b7d95449d18cefab3c1a46c86b1d4732e3956f40ab969c6153ba9527b97062c", "selected_semantic_trace_digest": "d88d2d037b2ede85544de3540059bbef0e88a2e76270f037a6e9edb60abe6d71", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E014", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "4dae0deda6206817df04197768b8a56528df37ccac220aeabb08360dfec021ce", "model_response_sha256": "48bd87370442609f88bc53e91a29b4a5a223d0caba2e605132e4c51b556b68fe", "proposal_digest": "2c4e47829e83466178884b522e7851e73cbff24ca89e13103c2d371549b99e15", "selected_assignment_digest": "38c52f0c37f1e0d5a82efddc57d8e819a65dd6e295b99e0b5c8726ab1cca72e9", "selected_energy": -57, "selected_semantic_trace_digest": "5b320dc78f1843763b3e9cc2d2737a7e916eb5f88889df19f84e515dc382d628", "stage": 1 }, { "compilation_digest": "277e064f6d9bee710f8763cc47ae2f7f596e85b318020d42c1f0f64af8c7ae25", "model_response_sha256": "ede2f96a73efd27fbf9e4bd3b36adee47cc7e46a26200b8de91bb2b0c76b04e5", "proposal_digest": "454d235d1cd43458560577a8ed7ea4c64423793359fc912cf8b6fd8f56f880b0", "selected_assignment_digest": "15bf9910edcbfd29c572c56f29e241e5c5d58c5f7a9f67b3cf63ccbd9e432839", "selected_energy": -58, "selected_semantic_trace_digest": "d88d2d037b2ede85544de3540059bbef0e88a2e76270f037a6e9edb60abe6d71", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "9bf35b50c52ac24dac7dcce94a1ad9904d730e2b75f7de7f77bb4be21945d6df", "variant": "AI_C_d2" }, { "base_problem_digest": "62c3356faa1dc9428427002e9e6c33dd40a95ad9dc8ec372dda2d849ffa99f88", "checks": [ { "native_receipt_sha256": "4e7d0991724892583ef01115762c6167b5f64eef548d5d9c234deca41da20f61", "native_result_digest": "4af1b63f9c091589bcd5b577511950995906419796b5f45a7ea3690cb164d865", "selected_semantic_trace_digest": "7923f8679189ae12cf16273a523e0b2c8c2cc55bc870037dc97e3d7d2f449bee", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "0e30c1ee35ff5ce805afc93ce350abced432ae583e955f82007afe6c9495045f", "native_result_digest": "86e1a0e4d51db6283fe53ccbe3d278dea663ff56b5aca7113b0cca1c2c257e8c", "selected_semantic_trace_digest": "7923f8679189ae12cf16273a523e0b2c8c2cc55bc870037dc97e3d7d2f449bee", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E015", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "7923f8679189ae12cf16273a523e0b2c8c2cc55bc870037dc97e3d7d2f449bee", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "7923f8679189ae12cf16273a523e0b2c8c2cc55bc870037dc97e3d7d2f449bee", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "fa37f15ed8ae11a8f28ea44f2fc6f1e0752ecd58a8228b4fe7c35db921b91894", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "62c3356faa1dc9428427002e9e6c33dd40a95ad9dc8ec372dda2d849ffa99f88", "checks": [ { "native_receipt_sha256": "ff85e4f6825ca2460fd0905b9078cb71011d682d05561903f7016137d64ceae2", "native_result_digest": "7c162332d229db51dd46c6120dbb4579f7d20081412b76ef1408862f3c4dfb97", "selected_semantic_trace_digest": "7923f8679189ae12cf16273a523e0b2c8c2cc55bc870037dc97e3d7d2f449bee", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "a9f09a8010cbf8e5eef99029c5aa148f10525b861f85833c8a1ba8021991bffb", "native_result_digest": "21e5d641eb9ad07b8f6ad283792bed7d5b20a7ca0ba8ac3a0124c9a38e2a0e96", "selected_semantic_trace_digest": "f879d8b9c3cfcbda78b277e89f91963b38c5fb2a4387ea44f5d5ef7d2cc43c2b", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E016", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "7923f8679189ae12cf16273a523e0b2c8c2cc55bc870037dc97e3d7d2f449bee", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "97045a5d9c69b7b66bf41ee505bf42eb3a7f7e0790b0384f072b2621182f0d7b", "selected_energy": -1, "selected_semantic_trace_digest": "f879d8b9c3cfcbda78b277e89f91963b38c5fb2a4387ea44f5d5ef7d2cc43c2b", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "4075050112d8a0b2658669c68567c31357d82d1c25e470419e628ba9eef1b87f", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "62c3356faa1dc9428427002e9e6c33dd40a95ad9dc8ec372dda2d849ffa99f88", "checks": [ { "native_receipt_sha256": "96ea3d9533352c890da29a5566c1c27d393765d72d6fbf9c4c8890c9fb7ef568", "native_result_digest": "bc3caf8389c2abc1e8af77e5690da8ce0ffd5c683419080ec4b905be0bb42958", "selected_semantic_trace_digest": "64d28f5fc33abb906f79e942cf7ce373e38796ce1bbb331b7894a7c18e8bce2e", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "f20e0e9e0d0c0d0ffa075e9eca0e6aea2c1aaef3a4a7bab44616b9a3fdec6834", "native_result_digest": "8120a3fdb5313b0029f294e41468f9e5809f9bbf98bc141efa8bb589a0c3806d", "selected_semantic_trace_digest": "64d28f5fc33abb906f79e942cf7ce373e38796ce1bbb331b7894a7c18e8bce2e", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E017", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "b8fbbcd59e2981a257bf90760e4c9cd7023343ce96ac04ea70cdd3306c6968f9", "model_response_sha256": "3f501e4ecbf5bf8da31481c606430249dac362a2f6c1539430a8c4544137b778", "proposal_digest": "3970d0be1a9f4baed048ccf9738a096a35d445ca0756df4542dba4514a7d83cd", "selected_assignment_digest": "1a4b1bbffd82b82d5321237c5b16d0b0503d0f8d0db8ee77bcde27cc7a820efd", "selected_energy": -23, "selected_semantic_trace_digest": "64d28f5fc33abb906f79e942cf7ce373e38796ce1bbb331b7894a7c18e8bce2e", "stage": 1 }, { "compilation_digest": "a727d66ea507ac1044f62d10eb39124e4a56e2d612670b403c3571f310e4c4e2", "model_response_sha256": "9a98ed8231e284c4ffc80177e7be579646926f1c08f9c48c233390b69557b60e", "proposal_digest": "103928e1a54744d5d80fde6945611ffe6993f5b5d303b35dc051f246ec7db82e", "selected_assignment_digest": "1a4b1bbffd82b82d5321237c5b16d0b0503d0f8d0db8ee77bcde27cc7a820efd", "selected_energy": -23, "selected_semantic_trace_digest": "64d28f5fc33abb906f79e942cf7ce373e38796ce1bbb331b7894a7c18e8bce2e", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "9a061835700a44dfec8bc931b7d50464acd4b06b003fa91713747cc531a927dc", "variant": "AI_Q_d1" }, { "base_problem_digest": "62c3356faa1dc9428427002e9e6c33dd40a95ad9dc8ec372dda2d849ffa99f88", "checks": [ { "native_receipt_sha256": "3eddf376719d2eed222ac8daa41de414fbb8116a0fbc36c58012874add6310eb", "native_result_digest": "5c2d849b4f06132f10ad818d7fd209ee6f663be7181d12e92c9e6d7db6c76971", "selected_semantic_trace_digest": "818b8f76aa5d0f9be50aec32703259124c1a8e86b35c18187553967bf62caefb", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "31122f1e40e2cd64a0c49e838fca2797b4434048b89bd4bbcaff8db4d22dee22", "native_result_digest": "be6c3b3e55b80567f1ad80b512376e2c9a9b9f01b9abd34d6ab3a8e243f6df32", "selected_semantic_trace_digest": "e8eabdea8638b6b60cb0898d7f41d470759c06bcd200200bd7083f446a27dfd0", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E018", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "80a6b4168a743906a97de8457a778a3fac66be36e7762a7e901024bed8b399aa", "model_response_sha256": "1194a71f9faeca92203166fbc09b398de9c1107d5df2d12c4a5b6699f3f41edc", "proposal_digest": "89a9131def59b29cd174be4785fee7c6d37269ad1f77882197d7f0894a36c3c6", "selected_assignment_digest": "a368cf57939b7b826fd8739294c9277fdeed462af1645f356061c25c14873939", "selected_energy": -16, "selected_semantic_trace_digest": "818b8f76aa5d0f9be50aec32703259124c1a8e86b35c18187553967bf62caefb", "stage": 1 }, { "compilation_digest": "1a615826510c384a2330f5585ea4d4ce98e9ff790cc57f30673948df630a8eb2", "model_response_sha256": "919e6e4eb32330513fafdbea71ee9f4a753283b8a5f399077ce9e7f136e525f9", "proposal_digest": "8fb408dd96fd25742d85c58204452053e12eb929abb6d6473a432f4bb8fd7b51", "selected_assignment_digest": "fb013699e32c5b09b233fc5287ba4a0567aeb38879c5716e1a8b5b74eb68e4c8", "selected_energy": -21, "selected_semantic_trace_digest": "e8eabdea8638b6b60cb0898d7f41d470759c06bcd200200bd7083f446a27dfd0", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "91e638b391f2b8ade9e68984779832ef9acd43a335715476503d3e8bbe7c64b4", "variant": "AI_Q_d2" }, { "base_problem_digest": "58c63025657b85b8e704bd5585a38138908e90911b1b1eac0ee96ed48350387b", "checks": [ { "native_receipt_sha256": "f8f2eee89dd90dcdae58e8ff277d9d771249b54f0132c87692d7db4b62cd8161", "native_result_digest": "00b52bb54ff5d5dac79e2c105a4307cb64122fd830999400261b6ef65fc8fe2d", "selected_semantic_trace_digest": "5350f1883e1efb9fcadf4f82dc94664609919583e3f7bd5fa4c222de3f46869f", "stage": 1, "status": "VERIFIED_FINDING" }, { "native_receipt_sha256": "c42836d1ba8c2765767eefaf1cc1ce6e3ffff64e6694d6b0fb6bcce99f3edadb", "native_result_digest": "e1e2e8d4e63acfc7b0a15b54e04e9119b7f039e94d858abe2f0dc335213fbbdb", "selected_semantic_trace_digest": "756316274ce117975ab4b48cbffea4b40995b24d5b7f519f763b321d5d8f6002", "stage": 2, "status": "VERIFIED_FINDING" } ], "condition": "controlled_fault", "failure_category": null, "id": "E019", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": true, "verified_finding": true }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "b7049f93916f3ac3db05bd8bae3678337aa53453b097122fef711bad18d9d556", "model_response_sha256": "f32d044c59681fcaba49d6f378c14d4107788a6776d3eb4ba806296c54172124", "proposal_digest": "5fa32172ce7e10e951c27dfc46e7cc97cc1086edda84e70916e62ba9ae476313", "selected_assignment_digest": "38c52f0c37f1e0d5a82efddc57d8e819a65dd6e295b99e0b5c8726ab1cca72e9", "selected_energy": -57, "selected_semantic_trace_digest": "5350f1883e1efb9fcadf4f82dc94664609919583e3f7bd5fa4c222de3f46869f", "stage": 1 }, { "compilation_digest": "ff7c7278f14c7ab87c3b13749725ef7513c7e5428b711bada9217b406e2d0e6f", "model_response_sha256": "b7a4230722fdb288274c187fa184f8d750d9fcc6c92c98095529f85d9fd3019b", "proposal_digest": "d2b01001f9012f621ac3f8039a0ed9fe78d11b147c83c604bc29c199ae191cc9", "selected_assignment_digest": "637303149314a6e74f700df968672965aea59c466ef1b81a30bc30f6c167000c", "selected_energy": -58, "selected_semantic_trace_digest": "756316274ce117975ab4b48cbffea4b40995b24d5b7f519f763b321d5d8f6002", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "f5102f3dc4557ba94cae92945c36ec4d00f906720877008dfd383a694ed5ca1c", "variant": "AI_C_d2" }, { "base_problem_digest": "58c63025657b85b8e704bd5585a38138908e90911b1b1eac0ee96ed48350387b", "checks": [ { "native_receipt_sha256": "5ecd2c74503cb8ffa5e270d3f18367db1a828f8523d89ff9e8ed0ca2bab4f36a", "native_result_digest": "42fec7778a8fb2864af77b2c79439dafbdc2775caf46af33c87bee3aeea9d52a", "selected_semantic_trace_digest": "7c04edff2a7dbce72162a502f7fe6fc1739565d8188112612e9f769fde270f0b", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "a132e652adbc0c6b4d08d51626875be69a87d14f2d80cd1f4eb644a826cec013", "native_result_digest": "aa789e60614caefcd7d5189cdc9cd1dd0f9b87e8e55dd251bf8377c4c22c547b", "selected_semantic_trace_digest": "7c04edff2a7dbce72162a502f7fe6fc1739565d8188112612e9f769fde270f0b", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E020", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "7c04edff2a7dbce72162a502f7fe6fc1739565d8188112612e9f769fde270f0b", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "7c04edff2a7dbce72162a502f7fe6fc1739565d8188112612e9f769fde270f0b", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "c607b48c6ecb2b0edaa02864f703f12995fa624e2713f3abab9e4d8a19269a33", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "58c63025657b85b8e704bd5585a38138908e90911b1b1eac0ee96ed48350387b", "checks": [ { "native_receipt_sha256": "3917bfec3f97ae55ce57d151fd1843a41cc9c5e54c9c6489521781c29da095e2", "native_result_digest": "42649ceb5b7129aa15a49c79e24b228c965be7be47c2ff68bfece1e50376791e", "selected_semantic_trace_digest": "7c04edff2a7dbce72162a502f7fe6fc1739565d8188112612e9f769fde270f0b", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "66b8f32165adf7c487e1f177ff15db6d4ff552c03a2cb4ed41eac7441f545c49", "native_result_digest": "e7aa9bfa3e4b23ccb21f50d3322c5a8d3d28b22c09003746fd750dc06511a9ee", "selected_semantic_trace_digest": "84c570811c0a457e7051f1eb0fdb019935c47577a32a663af16a62be9240bc79", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E021", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "7c04edff2a7dbce72162a502f7fe6fc1739565d8188112612e9f769fde270f0b", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "97045a5d9c69b7b66bf41ee505bf42eb3a7f7e0790b0384f072b2621182f0d7b", "selected_energy": -1, "selected_semantic_trace_digest": "84c570811c0a457e7051f1eb0fdb019935c47577a32a663af16a62be9240bc79", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "25ef103c14da8ef7a099961cb99d04675034b9732b29589343b148ae8bca8f46", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "58c63025657b85b8e704bd5585a38138908e90911b1b1eac0ee96ed48350387b", "checks": [ { "native_receipt_sha256": "9401b2fb85e3987f3f0711deb624bf9ec012f13b3091ad1c344133d5590d5a11", "native_result_digest": "fcce284c22d00ae6f4c27936aacc80032daab5013da704410f1c32eaa4f0b138", "selected_semantic_trace_digest": "5b671f9f8e092330f0abed46be784dafb5ea794dfaf2a572d1009e9745b813a5", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "a70e08e32e35ffa17efbd8752ce6ab489f37299883ec73f6a765af1f284a79a4", "native_result_digest": "5858bf2178ee1391650810cf3e59e2a9e19a354c78d67f91f08e46206a466580", "selected_semantic_trace_digest": "873639face7a6d081c851133c18995b4f7184aca73e718d7154bc964a59ec95b", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E022", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "2e8d335011f184825cbce9cda69a74d9aafe11ad8457e0d058f0e4496b53b8f8", "model_response_sha256": "d0151fd6c723d2f493171a70f3c475f1b1bd95b4bec34cf637966b3e27ffedc7", "proposal_digest": "6da81a45a20de96af7000521f7cc1759f27e07018399b829aeb6bbcc3c7d8691", "selected_assignment_digest": "a7a575db5d43465fc6270f3ef06f2583fc9aa7693f14b574a989568d38c6ef30", "selected_energy": -18, "selected_semantic_trace_digest": "5b671f9f8e092330f0abed46be784dafb5ea794dfaf2a572d1009e9745b813a5", "stage": 1 }, { "compilation_digest": "d41066cd499b1b71df686e45de9598026230f4df4dfd7755480b78566a981de9", "model_response_sha256": "a3c4a136c5c330e0dc904c30cfe922e0eda1b63afb4577d94c38f9ca5dd2e14d", "proposal_digest": "af139eb1fb44feea02be614ba55221860c07aa7caf53ed6f114e68dbe04c312f", "selected_assignment_digest": "6bd9802a6e24ef5f36c49f12fb4fc1b5793f1363d47af54bab9a68c7918e5e7b", "selected_energy": -29, "selected_semantic_trace_digest": "873639face7a6d081c851133c18995b4f7184aca73e718d7154bc964a59ec95b", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "68251301d6c2cd9ca6342b2df9ad8a919d89c73febac141ffb589093772769f7", "variant": "AI_Q_d1" }, { "base_problem_digest": "58c63025657b85b8e704bd5585a38138908e90911b1b1eac0ee96ed48350387b", "checks": [ { "native_receipt_sha256": "f8d3179f193a717820655479003831ac42d8ad4beaa3a00e1d0ae9d2a0f04f26", "native_result_digest": "7d72e167aceef15267c92608ff1cfbe528f5ef9c546bfd21265529d318d8838e", "selected_semantic_trace_digest": "067701ef0fb26f6577afd486106c85281d49ac1fd92430d1401f2b606a6acba5", "stage": 1, "status": "VERIFIED_FINDING" }, { "native_receipt_sha256": "face85b4fdb3a2dbced82d760026a798a5860e151930d880c9f632e5e800f2a4", "native_result_digest": "47332125da6d883a69f30f55bac022aab643a98af9d3596b26c550973d25e927", "selected_semantic_trace_digest": "61c3819b68b97f55eef385ed146909e4e1130a85cc94cb1bc4b97f5b4f8b3f5f", "stage": 2, "status": "VERIFIED_FINDING" } ], "condition": "controlled_fault", "failure_category": null, "id": "E023", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": true, "verified_finding": true }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "10b5deeaa838a4c7c0005d3a8ef1e36d5b8615f58ec3b18f12b625843ab76f73", "model_response_sha256": "bb4b99e037d73c669bbdf5c4524bfedc922a57a0708f8e80ddcd797ff8a952f0", "proposal_digest": "683dbbe72a861dd0327cc77c45b279e4dfd541502d0b2213ab0ec9ef6aee6f32", "selected_assignment_digest": "3458980dc8d8018fd937da39535896994794891dcfef10d1d30007e4ba76baff", "selected_energy": -20, "selected_semantic_trace_digest": "067701ef0fb26f6577afd486106c85281d49ac1fd92430d1401f2b606a6acba5", "stage": 1 }, { "compilation_digest": "95f932c6bab050cf19b0c00c515d08978e5d063c6cd125223de7b840bf88fdb0", "model_response_sha256": "cc4194e903be79c6845e22a646b6d9b2849018dacc001ea5c15af60a56445886", "proposal_digest": "33e2751a7e408944adfc94d82c325f164a8f0c20952cc7efda543c085cc3eb91", "selected_assignment_digest": "2fa293a2177e4ff92a8172cbb5d92f16f7ba3d5b7d9d5830543df8e8403b4432", "selected_energy": -22, "selected_semantic_trace_digest": "61c3819b68b97f55eef385ed146909e4e1130a85cc94cb1bc4b97f5b4f8b3f5f", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "11dae926491f5d96554ad309e91ffedea4e898c3e5f24243447e32ec2f1d6c31", "variant": "AI_Q_d2" }, { "base_problem_digest": "58c63025657b85b8e704bd5585a38138908e90911b1b1eac0ee96ed48350387b", "checks": [ { "native_receipt_sha256": "a92680898195358fd626874a595aed87c40cafa9c5937e25e3c174a32eae24c3", "native_result_digest": "33f39d34898c6fce22c26dfecf18d4c901e55de1b6d1b8cddabeaaa80e248f00", "selected_semantic_trace_digest": "eb690082b1ea40464e32c8e2f08c91df7201952b38d9a03e08ec544500c0920d", "stage": 1, "status": "VERIFIED_FINDING" }, { "native_receipt_sha256": "c59f61504bb69c6b33849163c91d1d9584a3bcb9700eac678ce55e709cbb904a", "native_result_digest": "9d438163a0b2dcd5f028a4520ac813958b81c42b712ed97da2f4f12bbfb6953e", "selected_semantic_trace_digest": "f6c8a0ff5b31e58eed8eb9f1c804027a956d518bb989481ace05fe84a17c9934", "stage": 2, "status": "VERIFIED_FINDING" } ], "condition": "controlled_fault", "failure_category": null, "id": "E024", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": true, "verified_finding": true }, "pair": "P02", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "666352c1cdcbc091364365e38c1cf39b6ac6ed80407733afc2020a32ca684f87", "model_response_sha256": "5d5b99ab2c29c31cd4f6faf720c1b64a3c07c8918007e3f11ba85b7baf63c07a", "proposal_digest": "1307cd14419124472650485d35b97c3998486a2057a0aa4f924ff37bfafe2e03", "selected_assignment_digest": "5791f8f3641de127872be3f6ddcbf82c9fddc6f485ded5a1fa0a2d3facfc3b96", "selected_energy": -57, "selected_semantic_trace_digest": "eb690082b1ea40464e32c8e2f08c91df7201952b38d9a03e08ec544500c0920d", "stage": 1 }, { "compilation_digest": "74226e4c7531d0367762e36d5cc5bec8585e34c4dc5f9dd362a9eccf25ff652c", "model_response_sha256": "122b5fd7ebde76dd6d79a27ef4be2d4e1024c944bb3c34d855bde5dc77405d09", "proposal_digest": "8083a0cdb742ad91f9bb1d4664b90b6071f98b5590487f56a77b62f13f358874", "selected_assignment_digest": "144bfcebe23c421ded895e85ad78a89b05b8f17f49ff91a2008c6ee8c9c74e92", "selected_energy": -62, "selected_semantic_trace_digest": "f6c8a0ff5b31e58eed8eb9f1c804027a956d518bb989481ace05fe84a17c9934", "stage": 2 } ], "stratum": "S1", "terminal_record_sha256": "4598262dc9bcbd76ef821fa08390bc2b76a7a58e7483b2ffe17415f8448c59da", "variant": "AI_C_d1" }, { "base_problem_digest": "27d59f83a3c066e2f6a0f36d68b074752f1cbc4a68400e660fac7daa8ffed36c", "checks": [ { "native_receipt_sha256": "ecd06e4ca94858a5b0fb8a161e8bbfc565be361f2793463f7092ca3f28c5eeae", "native_result_digest": "19b2a42e7f73cfd06146b6edc27a1832533234e21f9d5fb4de6246e1f24ad66a", "selected_semantic_trace_digest": "5964f380641621ed23c3de41f4ba322bf629163e1cc311db11119dd2d6615d31", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "d087d19db948b81a1d41d4ea8d35c01ded92f7f1565bdd04f06ad83470eab93c", "native_result_digest": "787defd86579216e524c005079af665db353e79c71dc183e01a13ac101e9cc81", "selected_semantic_trace_digest": "5964f380641621ed23c3de41f4ba322bf629163e1cc311db11119dd2d6615d31", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E025", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "5964f380641621ed23c3de41f4ba322bf629163e1cc311db11119dd2d6615d31", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "5964f380641621ed23c3de41f4ba322bf629163e1cc311db11119dd2d6615d31", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "779c234f0646581486cd3fda2aa245dc021c94d2e720a57ae306a1e7de3d4eea", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "27d59f83a3c066e2f6a0f36d68b074752f1cbc4a68400e660fac7daa8ffed36c", "checks": [ { "native_receipt_sha256": "4a6e11dc995c39ca91e0394c7f53228a0adaf8a7115113b72eabe77837d0ecdc", "native_result_digest": "e2b5a9f25308041801b56044d14ecba7b4b4220cc3ebb964d426ca2166700d7a", "selected_semantic_trace_digest": "5964f380641621ed23c3de41f4ba322bf629163e1cc311db11119dd2d6615d31", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "c680c2caa65d351bd4d178aaaf6949e132b81ad73e2f51943043b3a9dfc1bc0b", "native_result_digest": "18e182d5cd2f90b726c995eb13133fee919f588523e00c1be07bb65cedf701c5", "selected_semantic_trace_digest": "7d7010baa3241e8fbae8960d299a3d3000afd7606e9f62f1037d229b6e9aa175", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E026", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "5964f380641621ed23c3de41f4ba322bf629163e1cc311db11119dd2d6615d31", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "e9dbe057f5e034a469b15f16c5a993f4f1273c385251050b06538b732fa8f858", "selected_energy": -1, "selected_semantic_trace_digest": "7d7010baa3241e8fbae8960d299a3d3000afd7606e9f62f1037d229b6e9aa175", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "3b8abb24e1d2ea9ced48b41cb0cded723325600c2623122e92489dcb3b39f768", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "27d59f83a3c066e2f6a0f36d68b074752f1cbc4a68400e660fac7daa8ffed36c", "checks": [ { "native_receipt_sha256": "515366d1e4ac0f02046de2ad773f1bb2e122418b7c1d0d8fda7adbc4dcffd9ff", "native_result_digest": "de49ef7480828d06447307ea0139e6ffbce7d82fef1fff987a949ea92ba58076", "selected_semantic_trace_digest": "3892fff3bfd2ae36f755a81cd3e9be1cc8a6431549ec890c26e53aee3b2b08e1", "stage": 1, "status": "INCONSISTENT" }, { "native_receipt_sha256": "787ca5a9e4f7a190e08f8f6af8852ec2e463424c5fa5b76739a1c5aef3676774", "native_result_digest": "7a0ddaf0b7c216460297c80e1ef2b3ab56cb6a768dbae82a054be7cb6cbee735", "selected_semantic_trace_digest": "35deb7a8fe420fc8789220da98a6ec6124b67e169c4f2b47c5974b86b1b583e3", "stage": 2, "status": "INCONSISTENT" } ], "condition": "controlled_fault", "failure_category": null, "id": "E027", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "910eb04c0378130e10b6b4d64fed444353c98d1d0d11cf8373769e46d1bb7058", "model_response_sha256": "19533526c984f7b0bfb160a06f6f294bd05d195c0cc2c112bec96a1c1516837f", "proposal_digest": "9b3733d9b94aff16255ebc30489838bd4af2022567688f97ccfc05fe454e0f2e", "selected_assignment_digest": "30a07a3414aa3483f1a5a82d389a213e41f2013ca6d3c523c511512e192c4f5c", "selected_energy": -10, "selected_semantic_trace_digest": "3892fff3bfd2ae36f755a81cd3e9be1cc8a6431549ec890c26e53aee3b2b08e1", "stage": 1 }, { "compilation_digest": "9014f846ddd07cfcc9822c078ccec1419f5a61463e15a543927b8443af98c391", "model_response_sha256": "99395abeed3b33cd766e29fb528aee9dbf18bcc3115fb7ac0eb45f3addc53935", "proposal_digest": "fa94bf54ce39f40a738b60fe4105173af6afef856a244b15317671a4dbdb0c7f", "selected_assignment_digest": "cdbd488d5cf6acade375ea09ce1a60173df0a76e79f6e4f8ceca4e255c9fedb9", "selected_energy": -9, "selected_semantic_trace_digest": "35deb7a8fe420fc8789220da98a6ec6124b67e169c4f2b47c5974b86b1b583e3", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "a970e78fb2d7ee4c5b60f8159ef24a7bfb0fe708e964ebf45270ab9d2fa92437", "variant": "AI_Q_d1" }, { "base_problem_digest": "27d59f83a3c066e2f6a0f36d68b074752f1cbc4a68400e660fac7daa8ffed36c", "checks": [ { "native_receipt_sha256": "49db9eca209addc1b430f8ec577c93ee30b7f585ee1020a0cb4edf7b70273947", "native_result_digest": "6d552088c4019277e5568c76e18934d7905c33532a28211e27bd9d6db093ca6b", "selected_semantic_trace_digest": "5b2b1b2bcd217df2db2ac4b276f8cf06d64fb745458f7bbaf89ba487b00cd429", "stage": 1, "status": "INCONSISTENT" }, { "native_receipt_sha256": "afafd2a4d179733d626e3d67bd5685208de7ed9d8d70408454abc6e94b828b93", "native_result_digest": "498ee7afa9b4731093105bd2c00810ac004d5423c0bc4a1e7ab65b85b28c995a", "selected_semantic_trace_digest": "d032d19d16092d83c5cec0cbfd2d1f15ba1f0e8060cb0e91064aac51026d7438", "stage": 2, "status": "VERIFIED_FINDING" } ], "condition": "controlled_fault", "failure_category": null, "id": "E028", "outcome": { "missing": false, "new_at_stage_2": true, "observed": true, "stage_1_finding": false, "verified_finding": true }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "5238aba3c9a937793ae3be8ba8e1f30099f9a8a15988f54a3d811644b837cce7", "model_response_sha256": "1dbea730b564638e6495a337d6c8247c003252947b95fa19918b3c9e9a53174e", "proposal_digest": "f7646e58ec90f5c3d415f7f5e8f30e37b5f43eb76b518cc2d4aa949423ae9f04", "selected_assignment_digest": "2f3706ef62d7d79cc0459922d7471497b6916567ddc5242c3fa41deda63a2382", "selected_energy": -13, "selected_semantic_trace_digest": "5b2b1b2bcd217df2db2ac4b276f8cf06d64fb745458f7bbaf89ba487b00cd429", "stage": 1 }, { "compilation_digest": "e31a0cc7c7d2cccc5ffd66b56c2baa9fd1a7d25eb14d2ed9ebceb1c096afb297", "model_response_sha256": "3305e82b646239bbebc621e96a49040b441e1957c6be663f7734d6ca838e4461", "proposal_digest": "73f3bb0e47697005cbaf742fb1b3fce7c61b75f90fd4e061f954347eb88cc543", "selected_assignment_digest": "33e1d3fc7984fbdf8ae10bbd85ed97b65b9793ba5db0bdb7acea247b868b1e07", "selected_energy": -11, "selected_semantic_trace_digest": "d032d19d16092d83c5cec0cbfd2d1f15ba1f0e8060cb0e91064aac51026d7438", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "7028ad686eec60204e3be8c59e2f9157a309bc3f46f5651babcbc75c6e8b8b84", "variant": "AI_Q_d2" }, { "base_problem_digest": "27d59f83a3c066e2f6a0f36d68b074752f1cbc4a68400e660fac7daa8ffed36c", "checks": [ { "native_receipt_sha256": "82f7be1b9a103a8ad5e54f114e461d49601651f9cdab6d5d9a659f72be600dff", "native_result_digest": "b2c969d075e8de2b8c9296a97314948a747fc73196c39d079c3b7a238f1fbe37", "selected_semantic_trace_digest": "d8c88e2108131767ebd75f5c6819cf171a20e99609e7c5aad49e2b0b4935628a", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "35b051ab98432a53502a10cd681a5a713e832f2ab58bb5eb80636721d34fcce9", "native_result_digest": "42f13c58e34fd8196b3eecadd8d6f77921ec1822efce8da00249ffa8cdbe0b2f", "selected_semantic_trace_digest": "d8c88e2108131767ebd75f5c6819cf171a20e99609e7c5aad49e2b0b4935628a", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E029", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "3869c9d6e357225340c35eeca45e9716846d8556776d9c1ffe0318919f82623d", "model_response_sha256": "e9b23e7828feb95a315d819eb5e13dd3f70ed28eb6ebf9c00a55bba654844938", "proposal_digest": "d50f80fac254047f58e6bff004d30b76ac946ce9b8611e01b7dc0901c62dcfdf", "selected_assignment_digest": "417d11ef388770d2d61552b8fb5e27811de80f447bac3facbc79c067eacc89e4", "selected_energy": -40, "selected_semantic_trace_digest": "d8c88e2108131767ebd75f5c6819cf171a20e99609e7c5aad49e2b0b4935628a", "stage": 1 }, { "compilation_digest": "3c113dc7eccdea0166f32eef3208d95e6e7f6fceb355afa34fd4932eeffce00c", "model_response_sha256": "25900e5d7e902e6ce08f94dd78dff1f4f0ea8a113b8fccac53a25ca43e3c871d", "proposal_digest": "0176a30645967e57abc2afe5b931c054ed0500e0fe85b227b79dddce4741e687", "selected_assignment_digest": "417d11ef388770d2d61552b8fb5e27811de80f447bac3facbc79c067eacc89e4", "selected_energy": -40, "selected_semantic_trace_digest": "d8c88e2108131767ebd75f5c6819cf171a20e99609e7c5aad49e2b0b4935628a", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "bc57bd1fbdb8b84328aed5aefe2dd8c1291fd55e543161283f6c36c18c466d07", "variant": "AI_C_d1" }, { "base_problem_digest": "27d59f83a3c066e2f6a0f36d68b074752f1cbc4a68400e660fac7daa8ffed36c", "checks": [ { "native_receipt_sha256": "b6425c217bc47cfe4aeee63492940ceba2c12b0a2a9be6c0522430469aba6bc7", "native_result_digest": "9836b1a70d24f066d6a33dbb2bf6b1e44dc1e2de8bd5638afca709e57aa501f1", "selected_semantic_trace_digest": "d8c88e2108131767ebd75f5c6819cf171a20e99609e7c5aad49e2b0b4935628a", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "5bd12bcccab661ddbd0066b110c3e7c8407c9e645d91f18529d96b5432ca23e0", "native_result_digest": "043a265c8e6625df97afd067dae6ecf345c7c6331b82b0300820ee59ab3d6f2b", "selected_semantic_trace_digest": "8f42a830ad1ecfddd84b6dfbcc6b50b97ede7ffdb798f6e97ecc16ea40d9bf5d", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E030", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "def54f95d3fc211f26fff29d7e4f633bfde0269216de6235d6edbab56928a934", "model_response_sha256": "ecd5aa3acdcc73746d90e0d4330c4b2041f5fce91ca9c473fa982f9a9527889b", "proposal_digest": "87fa5a0c32a9590187573bea96be00cf5025cf1daf0a285faf9af47c7fec5fac", "selected_assignment_digest": "417d11ef388770d2d61552b8fb5e27811de80f447bac3facbc79c067eacc89e4", "selected_energy": -39, "selected_semantic_trace_digest": "d8c88e2108131767ebd75f5c6819cf171a20e99609e7c5aad49e2b0b4935628a", "stage": 1 }, { "compilation_digest": "6d3355505f8582f7b1b3e86b2ed7b1dfd1eef5be91c4ab49f553eea883db14a5", "model_response_sha256": "ce34acc9e921f66458f7bdb3b66cc592d7fa72c3358db6cee06b924a89061bb8", "proposal_digest": "125695778de8a1d3b3d44f8a11276ee73b48310055d3e8549801b513ef822153", "selected_assignment_digest": "8f32bc21039290ad53d055b46a08eb46e064d40ae279faf279bc3c57676a7042", "selected_energy": -40, "selected_semantic_trace_digest": "8f42a830ad1ecfddd84b6dfbcc6b50b97ede7ffdb798f6e97ecc16ea40d9bf5d", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "6847ad45969020195e5f53335f53a10b2d6c190842fae8e85449287f5927746b", "variant": "AI_C_d2" }, { "base_problem_digest": "0c96017df8d4665aa9f76ce13408f97f80e9331d41655040ae563536f545f343", "checks": [ { "native_receipt_sha256": "5b4d68af04f2ec5078c42de91d6fcacd4f9edbe1c3d06971cc1f40ca4ef9ceab", "native_result_digest": "638c743a8e1ac04a080934efc48548b06f2e3f0e0e3625068024277d0d5fe971", "selected_semantic_trace_digest": "514193c9833f37d332a551f96011da0dff45be7b16c6eb365717dacfb7cb0501", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "511a930a2953e28bce62ae30e8c2569bcd23a92a9a89595d509179c5712d4169", "native_result_digest": "f84633474fd3dd20b54389da7a941e5f240f29b83ae8359e8841ef7596f4cd2e", "selected_semantic_trace_digest": "1f78773669bfb224583a77c67c71d2ac59ff83e45ceea973de2bef8019a40dfd", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E031", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "514193c9833f37d332a551f96011da0dff45be7b16c6eb365717dacfb7cb0501", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "e9dbe057f5e034a469b15f16c5a993f4f1273c385251050b06538b732fa8f858", "selected_energy": -1, "selected_semantic_trace_digest": "1f78773669bfb224583a77c67c71d2ac59ff83e45ceea973de2bef8019a40dfd", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "2e93256f06020a0f54cd55d9e4195442dcb314abd18332eb238dd4f97d03933d", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "0c96017df8d4665aa9f76ce13408f97f80e9331d41655040ae563536f545f343", "checks": [ { "native_receipt_sha256": "2b75c42f8bd4ec5dbe00209196cf040a8fafd80c5d223a7f90302ca91e3679ac", "native_result_digest": "2974e62d497d8ff905c350e20b14c516ebd7249ceed101ace35bcc06be4fa1e1", "selected_semantic_trace_digest": "238eaf4ccceec7ba455ea9fced329faba071ac3d274de18035c86db39afedc97", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "2720cae29e44ff3366c4b0db5b3de2ce9c31e8576e871384caa7e3d0aa4a85f0", "native_result_digest": "2524b889e85985265820e4bc904a0a1652077347f2b0905b57de4aeeda8dc35f", "selected_semantic_trace_digest": "e60efc6968f0b6f7ea1474348f5ec3ea88b5773255d7b41ef0853344dfa26005", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E032", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "f58cdf4b5f5bec68df970a5906a1c5782f5787ff2f31a7261e58c0451b3d6730", "model_response_sha256": "02271ea645988f608ca5db62d2867721b0c7a9ef3011fc9020b95d16e8a465de", "proposal_digest": "dc59516d2089200ff4436d55d352cfa64fb997de34f9027a6f58658cc1624b16", "selected_assignment_digest": "b3d54e6c89486a6ef43b92aee3b56194cc4ba7cb7cfef156a22ab1cb7ed93917", "selected_energy": -20, "selected_semantic_trace_digest": "238eaf4ccceec7ba455ea9fced329faba071ac3d274de18035c86db39afedc97", "stage": 1 }, { "compilation_digest": "8a416f8c836f5332b58548a19e7cdab9b2716f8990de038c521af794e3c8f93e", "model_response_sha256": "17f3b6be902cb452c5a84065af35c01303b65a84d183b5f6a23f5f9f40ffcb4d", "proposal_digest": "f48dbdd2cca7445ae2d27e6e0ff4a98683c4039bcf5e2cb3a71e3d8bcb419640", "selected_assignment_digest": "397dfd3ec4a9ad61e8055a376d74aa699b39586e7acd9363c3c66c3f0718627f", "selected_energy": -19, "selected_semantic_trace_digest": "e60efc6968f0b6f7ea1474348f5ec3ea88b5773255d7b41ef0853344dfa26005", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "f2da5210da35513c87c0b68e41608b0c883e0e4226794d24aa73138c0e40e911", "variant": "AI_Q_d1" }, { "base_problem_digest": "0c96017df8d4665aa9f76ce13408f97f80e9331d41655040ae563536f545f343", "checks": [ { "native_receipt_sha256": "581ea00bd3fdca03c72d2f5ce75d4c9c6ca0f266f1268328b79549dea9cfa88f", "native_result_digest": "0913e5a45e130b6981f35d155d1978ffbb40c64ad90663c2257ebb49079308b3", "selected_semantic_trace_digest": "f240b7c1032509538ee9cf946c66cd90b27dfbc9b0740a556d1762d886b453d7", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "e0ab6aa8558aad95c87ca522ec2f444dfa88e6631481fb9b709a1f84f25b8e6c", "native_result_digest": "0b17dacd0e963a908b9f50ddc28663cb218b98f1c8acef20f331d20f3b9ca2ad", "selected_semantic_trace_digest": "d24d69a7f4ac953d87d40b5b46b8ba2721d8351266fdb68836e2939fbbaa1ec9", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E033", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "9eae0e719b1ee1f164410ca002efacb575cdac3c25adac6de51a60383498f10f", "model_response_sha256": "3198688d14c934ed801c62833232f5c6e8d0841376a3765704f512d8c5533e39", "proposal_digest": "f4790120a24ab619f13df9c399e17ae76e744934730addec88237d148dfbfb89", "selected_assignment_digest": "1b2c1d5adb977c8d012e0c7c66ac958ac7ae1c3400da24de9260ab901ebc086b", "selected_energy": -14, "selected_semantic_trace_digest": "f240b7c1032509538ee9cf946c66cd90b27dfbc9b0740a556d1762d886b453d7", "stage": 1 }, { "compilation_digest": "97c74379fb7e609adf3ae06f42e17cd55dbbc290652da8b162e240a9d1edbd87", "model_response_sha256": "5af16ea045be62bd4a4ed0a701fad8056b330969c9046c533697304861b60863", "proposal_digest": "f88eddfb99f74a6f1f26305af7e927d9d88623264c66f4fc71b3566ee3e3717a", "selected_assignment_digest": "d3f2685217bff8df5c450307e995d0eaa042aad026c3656592bb186fcd84fbdb", "selected_energy": -12, "selected_semantic_trace_digest": "d24d69a7f4ac953d87d40b5b46b8ba2721d8351266fdb68836e2939fbbaa1ec9", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "302c1a1e2a769316cf2c51417ed60ea122187294fcc04c58f0a8c993098ef8d4", "variant": "AI_Q_d2" }, { "base_problem_digest": "0c96017df8d4665aa9f76ce13408f97f80e9331d41655040ae563536f545f343", "checks": [ { "native_receipt_sha256": "d679ec341be7889171ac1d9fdeb9b8d52153863c4de2621da532e6cd8d5232ac", "native_result_digest": "d161ff60309b4a96dcdc1c388b4391b45e0ab9808fadf6fdf1e76ce85bee9ed3", "selected_semantic_trace_digest": "0b288a919959ce5726500aef5fea4d0a55d7b489c8e812ec9f01671dc2a19de3", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "6d02adf33351241af9bc880c6dd85226c8c6f669682d53701f2a32429b78d1a6", "native_result_digest": "3ea12ceff602af80f7d0718a5c6bbae022e571450979058e0c2ed45e3e7f1541", "selected_semantic_trace_digest": "6ffa4a80b11c0f6d504aafe1de47caee8d4187da6494308db4b9100215799ff7", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E034", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "0364c620c5cc64812f3a44b9596b6990d1999cff411e08431aaa37d05361d790", "model_response_sha256": "f0003ac3e8ab5961eb2a7363ca70d065d757c47b36b73591d5a505678945d506", "proposal_digest": "570bed77d0ad8b0710df6c370575b1362aedc206da50699f5acc70804c7060a6", "selected_assignment_digest": "54b3beee983f8aa5301fa3178a008a2d45fe2df01bbba51098f9f10bee027649", "selected_energy": -38, "selected_semantic_trace_digest": "0b288a919959ce5726500aef5fea4d0a55d7b489c8e812ec9f01671dc2a19de3", "stage": 1 }, { "compilation_digest": "5cf7b0fe6e4f6768491d6e75d278298556f182f37888d2a7ef6149addc85138a", "model_response_sha256": "bc4f5fae02de221f88091e82f820941d6249b03fa2e3f3a5b6fdcff0801c8c8e", "proposal_digest": "f72617a79750e88842e12671a719c3eaf48a8e91780ffd9d4ec3dd1b5c7e5622", "selected_assignment_digest": "88cf0e81a1ac6764be4740edcd0e8d482f033d1f29a7182719459a01018ef70d", "selected_energy": -40, "selected_semantic_trace_digest": "6ffa4a80b11c0f6d504aafe1de47caee8d4187da6494308db4b9100215799ff7", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "79fcf90f851931573c0019876894a4a889d767f0b03ff4c098b5e46cd29dc82c", "variant": "AI_C_d1" }, { "base_problem_digest": "0c96017df8d4665aa9f76ce13408f97f80e9331d41655040ae563536f545f343", "checks": [ { "native_receipt_sha256": "cc0df938d4dd0e697d68886e75227e76dc9757fe550b8dae0fbc09bf01203a2b", "native_result_digest": "78d2981b873e1b9d0e8eeb0b75bf1f34c97e4a13bd1c948b28d4d49604671fa6", "selected_semantic_trace_digest": "e20462bb77e6e56903810fb99280c2f7867f620b4d811eb9b91b465ecc6da6bf", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "ac07b6bdc11067d8b06a529c5601cc269ab4d8e3211484931887ee84fa8e3f5b", "native_result_digest": "7e01f0b129b60707609dc60f3f6c9827a5d865ba4ae0bf6aec5bdddd18b31cb5", "selected_semantic_trace_digest": "359845e97190d31b051b01627692192da2f4d8905f64263f5d9229d8aa63edcc", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E035", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "f1516c62dbe47bfc2babf4d8702eadada3c4dcc2e36f27e77546b288b58eac22", "model_response_sha256": "518c088e2905d3865a63b805316606433cbd39bf99d5f3d8194990a9a38785ed", "proposal_digest": "427458c80b2243ebb98fd4c4142178e1959bd68cbd357f5419d24737d779c1a7", "selected_assignment_digest": "ad74f45aefffc14fa987c13bfbea09c77d9fd948e94684ca6f46a789c86e65c6", "selected_energy": -40, "selected_semantic_trace_digest": "e20462bb77e6e56903810fb99280c2f7867f620b4d811eb9b91b465ecc6da6bf", "stage": 1 }, { "compilation_digest": "2c247cf56359f519bd473656e2eadeadf9dcba56456ab7ce6e2dbd73c0e4a297", "model_response_sha256": "c23fc58753121aa4c4e8f897ad985f7e5ae02ecf22927873804a5c3620b77dd6", "proposal_digest": "7ee20aa4e371e61844317470b9eec92fffcb183006986103a889cfca5ab07425", "selected_assignment_digest": "417d11ef388770d2d61552b8fb5e27811de80f447bac3facbc79c067eacc89e4", "selected_energy": -41, "selected_semantic_trace_digest": "359845e97190d31b051b01627692192da2f4d8905f64263f5d9229d8aa63edcc", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "17b37d181762ef7f04cf495054e5cdb27f284c4969dac91b3142973b13d9da4c", "variant": "AI_C_d2" }, { "base_problem_digest": "0c96017df8d4665aa9f76ce13408f97f80e9331d41655040ae563536f545f343", "checks": [ { "native_receipt_sha256": "2faeb297d1c17dbb4abeec9dfd034273a85a00485d5e47c35f1b917c901ac7d9", "native_result_digest": "17a1bda8c29adbd40737988e52699191b87437bff2e4ff2c20136b4f6e65748d", "selected_semantic_trace_digest": "514193c9833f37d332a551f96011da0dff45be7b16c6eb365717dacfb7cb0501", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "5a4062d488ecb96bc49bb1a17f247295be09e59fff0316e17bb0511b7636e724", "native_result_digest": "6294f1273532b33700676989a18b245eff29a5d2214785b37290facb99692559", "selected_semantic_trace_digest": "514193c9833f37d332a551f96011da0dff45be7b16c6eb365717dacfb7cb0501", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E036", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P03", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "514193c9833f37d332a551f96011da0dff45be7b16c6eb365717dacfb7cb0501", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "514193c9833f37d332a551f96011da0dff45be7b16c6eb365717dacfb7cb0501", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "6b00c133954724d295b7906ab8a472af5e77ee0d760ce1f1bf712fad45559ef1", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "c9a95f60f39df49b155f6e092a563e0be12ff600b156e0ea7e96381c5947b384", "checks": [ { "native_receipt_sha256": "acfe037c7f2f70aedc0e02ecce3b450ddbbbb01d53d46192085182ed32e1ebb9", "native_result_digest": "9a57aa12d6520457e704999a41e54dd6a99583364ee8e49d0708f6e930646fcb", "selected_semantic_trace_digest": "7fd3f9f88ba698b05dd34ba2e4afa50d80050c51decdf87c47adec6f04f0c365", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "558ff028eb7126b09d132ea14f3faeeb1a60fcd05a8d7ca6605c169667388bb3", "native_result_digest": "5a5857a6dd6f588e747a5d39fe7a152b67b9feac6195be3cfeb13d8f16ad5fae", "selected_semantic_trace_digest": "9feb10e9ff108e00d052ddcb3f01c0e5bb0cf6115abf02366f7fce71d3dfa3ed", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E037", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "c479e9c15390ccf2107a2d3238784afa89045fca330717d7a255766a7a933487", "model_response_sha256": "b9415c0c11faa134fe8cf847b3e1eb064d8f8a9e06cc2be444e415c6d5b45b21", "proposal_digest": "3e6dcbf6586604e44a15a8890f3d9cda24e3209b0d8b77100e3807187ce54115", "selected_assignment_digest": "29f0c954ab00a7e152599b030e5d53e36cffa16e09e72256a26a1c478cfa95da", "selected_energy": -21, "selected_semantic_trace_digest": "7fd3f9f88ba698b05dd34ba2e4afa50d80050c51decdf87c47adec6f04f0c365", "stage": 1 }, { "compilation_digest": "9fb2c69e4fe560aeb7355878195f2173f79e288a8eeda389a0a22e4c27383fc1", "model_response_sha256": "557ec3c405c110dc9631536c9a169b1ab104b1874d3ec2e8485777dcdb073c82", "proposal_digest": "867d187c924594b6442612cbd840341f364d8513533019d19788ba501262b704", "selected_assignment_digest": "f31d6e7bdb3d350c0f143581ba54c02339afb16386fc47f4e4e76e307febd872", "selected_energy": -19, "selected_semantic_trace_digest": "9feb10e9ff108e00d052ddcb3f01c0e5bb0cf6115abf02366f7fce71d3dfa3ed", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "063eb0211e464db22ac417ddbb7e85108b88432b388728dba7d04f5101a8405b", "variant": "AI_Q_d1" }, { "base_problem_digest": "c9a95f60f39df49b155f6e092a563e0be12ff600b156e0ea7e96381c5947b384", "checks": [ { "native_receipt_sha256": "6c771a95b3e5a0e2f80a8f240a3b177a3d212ffaa7c205de452eba5d19b96872", "native_result_digest": "538ce89e8c7e39fde76290d59700046b57a2cbb93f229eeebe59c41bb18361cd", "selected_semantic_trace_digest": "1a9344197bba8765ac53d7becc47eb50e06da24629bce2dfab6e97a1728a5ad2", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "52300072d0112065ad838a53eb75c70be30aa668db99b5746a2de9c99dc031f9", "native_result_digest": "22a5803b607f01c8b163aafe0958aa815be512d93ba70cea528f781d4e76699c", "selected_semantic_trace_digest": "7929c8495cb2e15cd3a503d39c21aa0af71cb679238072756559e795ae9f930f", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E038", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "6fcfccd4956cccce6575b81ad8310903ea16b9a916a51ed9ffe24a4609833131", "model_response_sha256": "1246dbcc1cff0a5c6fcc10b30cf2b274ad5b4145814bdd9c7aa868a802b1123b", "proposal_digest": "fd785984dee9675c4c7a12a1685627b5fd0aa382a3716e8d08fa2117f833b324", "selected_assignment_digest": "a368cf57939b7b826fd8739294c9277fdeed462af1645f356061c25c14873939", "selected_energy": -15, "selected_semantic_trace_digest": "1a9344197bba8765ac53d7becc47eb50e06da24629bce2dfab6e97a1728a5ad2", "stage": 1 }, { "compilation_digest": "baba3a96a75e8842b9e2074a004681ae97b36949271b3a1e5ea24773b56e9dae", "model_response_sha256": "c221dc8b3827958ef37bf725fc8654b7c85d210ef6906157d3b93eb1a1936cb6", "proposal_digest": "d06b26956efdd76f86c6571ff69c5ae56de00e0f78888595ff4a7419a3fc8410", "selected_assignment_digest": "5e81387ce5e9358443cda0f4ea4f4c2454bf15b20f98ae34540a0bb294a7631a", "selected_energy": -20, "selected_semantic_trace_digest": "7929c8495cb2e15cd3a503d39c21aa0af71cb679238072756559e795ae9f930f", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "b49393f43a8ab7fbaa6f99365e9d72b530faae5773b719ffcf265b377908dd0e", "variant": "AI_Q_d2" }, { "base_problem_digest": "c9a95f60f39df49b155f6e092a563e0be12ff600b156e0ea7e96381c5947b384", "checks": [ { "native_receipt_sha256": "66f72442a414d081191afbd7821675ce76c54bc5d6f9cfd945a6d3716b7e037a", "native_result_digest": "cfca329eafd97f1dc74f4954e7ba7333d5a654ff89516b2fa8c791eb5e5a0faf", "selected_semantic_trace_digest": "d1bd66fa6d2effe897e3afb723d0c972235f16aa76193682b3e3ed29aa233b8d", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "dd39c6ab9ec72fbe20e6b51a6e71b1233d712cac018d9edd20462c42a67f1065", "native_result_digest": "1c9ce93f9b81608ca82d8b8bcaa400d9f2f9e67df1cab7995c076610a367c974", "selected_semantic_trace_digest": "8fe6a2fb2d4b71e01fc6abe145517afd7dc3ba5aec0878460dd1d7e81bdbf30b", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E039", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "9877c16d2cf1b6b7811bf1dc5a4bdacc2627d61bda8eda8693b914e9d7745329", "model_response_sha256": "cc55a2146bed5b17951de1e340c5ce9fefbec523d7e6fcd75a1e0a9c5c8fa115", "proposal_digest": "ed57c7132a70e0bedf9cddd30e835a3f0c2f889adc13261a467464d1ff7b7139", "selected_assignment_digest": "3a99cee4d69974f461701e76e61767ac7bf208f983ab542d23ef92dbca406fc7", "selected_energy": -52, "selected_semantic_trace_digest": "d1bd66fa6d2effe897e3afb723d0c972235f16aa76193682b3e3ed29aa233b8d", "stage": 1 }, { "compilation_digest": "0d37910d748e8d5555e816cb1c68a59b69ff8a3aaa6689a7ea0932ac0a2c72f8", "model_response_sha256": "095345f80ad6fa3b8f392ce61845e91a176c84fd209b75905aeb89d6c793837b", "proposal_digest": "207ab23efc2347469383fc1e59daae5dad68a3dca3715139711c9683c337bb9d", "selected_assignment_digest": "d214b4165b8a85c71506681153ceaf38b069c1e0a3e8fc0d8fae2dd978080061", "selected_energy": -59, "selected_semantic_trace_digest": "8fe6a2fb2d4b71e01fc6abe145517afd7dc3ba5aec0878460dd1d7e81bdbf30b", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "227cae08c7be11d4e318da3cf2188b29e84e16a9f11c3b456cd879803d18263d", "variant": "AI_C_d1" }, { "base_problem_digest": "c9a95f60f39df49b155f6e092a563e0be12ff600b156e0ea7e96381c5947b384", "checks": [ { "native_receipt_sha256": "2e3b0db944a97e422f703512ef97625703b6811f9ae9caaa5f3f6ce825e7fa1d", "native_result_digest": "209267d35d1db94b07f947bc9fbf5230190f5e9b48b514283e57762d882fbaef", "selected_semantic_trace_digest": "e4b2ed65ab1bb0786d27a4ace11ab2c329a1e5e554472c0fa1c527de2258097b", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "0daf02538b8f1df5151846033ba993cbbbabc2b94714736540daee80bee9a34c", "native_result_digest": "e274991ec66505ae5f4ab85c3d177a27b031e2be498ae3c028bb0fed2c943dc8", "selected_semantic_trace_digest": "b8bf5ffc97abaa40dc704c504b0b422d24c6694d531dd17ef4d4da7993eaf978", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E040", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "1e8055358cbe1d204375252caef663ab850979ddbd30eef1cbffd2f67dbabe45", "model_response_sha256": "16a3c5949e31635663f23ed12e60eb970e4e77cd635781446ed569bbc4f8ebc4", "proposal_digest": "f1d09759b8ccf2940e5bea7fc36cc7fc758f5e43b7c01d77781ebc53c121c0a7", "selected_assignment_digest": "9231d6511a1dcd6c3bbeda98de5a4d0ea45ae7e78847dab71d510a390c7c2855", "selected_energy": -52, "selected_semantic_trace_digest": "e4b2ed65ab1bb0786d27a4ace11ab2c329a1e5e554472c0fa1c527de2258097b", "stage": 1 }, { "compilation_digest": "37c034c5710854dccf3b7b4c8a034820bcd2757d96480d36b96e9e3f2cf36169", "model_response_sha256": "eae122a4eac082751efcafe24c1cd2127249e12414bd57b7dbbde49773d664c0", "proposal_digest": "3f00c43ee41def1b650c54a579b6a41656e42fc2f0fcb460525c9120ad580b8b", "selected_assignment_digest": "65a705cff28d5bbd11c6021513e38a010cf7fc1f9b044ad7d34cfffc63af22ee", "selected_energy": -55, "selected_semantic_trace_digest": "b8bf5ffc97abaa40dc704c504b0b422d24c6694d531dd17ef4d4da7993eaf978", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "895e365fd0f30b4671231db37a306388a200a4cdf9793c0b0d8fc53793d058ff", "variant": "AI_C_d2" }, { "base_problem_digest": "c9a95f60f39df49b155f6e092a563e0be12ff600b156e0ea7e96381c5947b384", "checks": [ { "native_receipt_sha256": "1d69ec5e9a93f726980de0b63279b32602994154ca9562fcbdc41bce02b9f150", "native_result_digest": "c5a801eac7c7a69cc32586e2a0e869427f9bd4acac2a8253445ca942270639b8", "selected_semantic_trace_digest": "b3d4ac11035772d40a6cfd06aa17118b131e9f723683920a18c2577a40951f35", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "972502f4c27bdb9a87e4d81994edbde1cf043272414fb3a4ccefc9e3d8981ede", "native_result_digest": "1e499ea9b82cf3f5dd5d25d1dc2ef60abac8ebfe13d6eca8b424a9df9bced1fd", "selected_semantic_trace_digest": "b3d4ac11035772d40a6cfd06aa17118b131e9f723683920a18c2577a40951f35", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E041", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "b3d4ac11035772d40a6cfd06aa17118b131e9f723683920a18c2577a40951f35", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "b3d4ac11035772d40a6cfd06aa17118b131e9f723683920a18c2577a40951f35", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "988c5bced681726ba9ec3c5d6ce6d4a32f6e9f349609f68e2ffaa9c313ed414d", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "c9a95f60f39df49b155f6e092a563e0be12ff600b156e0ea7e96381c5947b384", "checks": [ { "native_receipt_sha256": "2fadb1bd5e10738a48c165a4479a0619385602a9f84c1d62c7b5d92060a3a8dc", "native_result_digest": "b2a90865ea0bb836abb983b09eb180d3b7ef776df1cae96f14764894fa41e928", "selected_semantic_trace_digest": "b3d4ac11035772d40a6cfd06aa17118b131e9f723683920a18c2577a40951f35", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "240b1fc8397bafbd1e59dc158a5d5505745d6681669e502206a72ec9a07c2f60", "native_result_digest": "98b38a83cf273446ab792faef517fa350eb5ac2fa8692732d25fab09afd28aec", "selected_semantic_trace_digest": "6b1f5b77e47f9e1350b6c34c04a098fd1bd485fb169cec9cce54efd73cfa1b13", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E042", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "b3d4ac11035772d40a6cfd06aa17118b131e9f723683920a18c2577a40951f35", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "97045a5d9c69b7b66bf41ee505bf42eb3a7f7e0790b0384f072b2621182f0d7b", "selected_energy": -1, "selected_semantic_trace_digest": "6b1f5b77e47f9e1350b6c34c04a098fd1bd485fb169cec9cce54efd73cfa1b13", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "6ae67807d299b836994160e4fec96de8e10dd078c82dcc19561336192b347d2c", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "96cd3aac6de2c41ce9c74155a9279f4308149ca7f124c3f383284ab578d69d0b", "checks": [ { "native_receipt_sha256": "01c0899fee01028eb78ea92ce9650571a27f72abe1950548e6bc0e81af8e08b7", "native_result_digest": "4df622230ea12bffec0f27389f5fa1ae4a6a3a3ae54d6a3263a829c175f18f1c", "selected_semantic_trace_digest": "cadc14cb407da8076c344ea8768e093e028c8e186b8a8dcc20bfe562da5658dc", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "d1d9a3590d325cbf973ef110f071014d1d7545e5524d11a661c1247b6026401f", "native_result_digest": "e016393b395d84dcfdb35b79cbcd8c7e337a7f4f2d982d9586ea92b0f0df576c", "selected_semantic_trace_digest": "35aca0e899411fbcc6c251ad8dd260ccd6e1f68c111f36ba360305dd9ece49bc", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E043", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "c26ea9ad6cc57861c12cd9c774fcfad21ce2571924246987777ff4a08b3097fc", "model_response_sha256": "07b379d6fa6e2a53b96201cef0c2a8dbf665c40a4018801f09ecc3ef986c8d5e", "proposal_digest": "8dee93c31ab945668643201cf1f22dfcf534ce2df0156b824aa3f23a6e4b081e", "selected_assignment_digest": "3458980dc8d8018fd937da39535896994794891dcfef10d1d30007e4ba76baff", "selected_energy": -22, "selected_semantic_trace_digest": "cadc14cb407da8076c344ea8768e093e028c8e186b8a8dcc20bfe562da5658dc", "stage": 1 }, { "compilation_digest": "dc9d7c534df38c39ecabac31b646693c3f1c33d3acf8da102261e45c73b17ba2", "model_response_sha256": "b32b56d4446691851f241a97e9e3d07d258ffc33ee08925d677851c7b4503b85", "proposal_digest": "4710f903c3a47877c62494e44c8091aeb9a95ef94bb58090ebabfd1cdcb81ed2", "selected_assignment_digest": "6b138565f586d62edc0312436b6c642d4d6f0c8c3c3c867b904f7ed54993a9c8", "selected_energy": -17, "selected_semantic_trace_digest": "35aca0e899411fbcc6c251ad8dd260ccd6e1f68c111f36ba360305dd9ece49bc", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "f4718087dc6df8554f40ed2d4f70f3322a7100b956f11590464ce79c1e754829", "variant": "AI_Q_d2" }, { "base_problem_digest": "96cd3aac6de2c41ce9c74155a9279f4308149ca7f124c3f383284ab578d69d0b", "checks": [ { "native_receipt_sha256": "78739b0be5105c0d3f80b4bf1f67372037c708645290dea9e9ff5ae14540a6e0", "native_result_digest": "cae1190d2eb243153acf7560d87e84e5407b45d43972685f117a6714a9524f70", "selected_semantic_trace_digest": "18056e304949957830276a8664f0aa80143ed50f747634d4da5a1430f97547b0", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "0152ff6f8343ce8a6661f6d5f532c37fda19728de78a4d04371b65643728f7c3", "native_result_digest": "13d6ead395899233e4993231e5d45377afe2b4764a901bd8fad714e4613dfd86", "selected_semantic_trace_digest": "4ebc3fc86186eec1882dfb9c34dd832869bd65f43b05611be14a17520c1e16a9", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E044", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "0f925eda6529961e9e09e902e5f1138bad43c9c8f080fdce26f34d4b818bd81c", "model_response_sha256": "20cb8e300d05f6021185ffcd2ccaee8be418669d97d12e2f7617d188607f9873", "proposal_digest": "8edd09731a3e5e6a96d3d7d1d1978cf4292528af4f57cb667225cd7776eaf0e1", "selected_assignment_digest": "71345987c3854567a7e54b15d5a4d716f38f608ada7081de92303a22a273fb4c", "selected_energy": -61, "selected_semantic_trace_digest": "18056e304949957830276a8664f0aa80143ed50f747634d4da5a1430f97547b0", "stage": 1 }, { "compilation_digest": "be2afda34b86b10f389c0b035961dbd1d962abd06f41dc563c2584300bd562fd", "model_response_sha256": "eb6ef93f375d6223395a015302ad67d9f1ada9239bad5a880eb908b7104bb6ce", "proposal_digest": "bdaac809986c6093291f1b22d63e19b11d87a0071e8dba2246a4b5c579b0290e", "selected_assignment_digest": "4cde525fd0e62f612d99b24cdf924b754d73651084eb6459df96da602c16b363", "selected_energy": -61, "selected_semantic_trace_digest": "4ebc3fc86186eec1882dfb9c34dd832869bd65f43b05611be14a17520c1e16a9", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "619561e9f7f607e3a56fc8f829a8a75ad87d4b1241cc2006aebc6d5941edb97c", "variant": "AI_C_d1" }, { "base_problem_digest": "96cd3aac6de2c41ce9c74155a9279f4308149ca7f124c3f383284ab578d69d0b", "checks": [ { "native_receipt_sha256": "6fd4af8d89a4221ef93c62fa0ff61fae881ae1e07350c3af5c9ad20bd11c20bb", "native_result_digest": "45bc827756ebeb4ae500aaf1e17868cfe6bab0a3e807538e5c08bdc8f4f8ae29", "selected_semantic_trace_digest": "18056e304949957830276a8664f0aa80143ed50f747634d4da5a1430f97547b0", "stage": 1, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": "observed_method_failure", "id": "E045", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "f397d7192a1eeb6c1e1bfda860f7e69be5e0d7f9a27d0f29206417d0583f2abb", "model_response_sha256": "48a8ced4375fe05676adfce772dc50d0d0f5e93194eee25ca2022d55cc1cb6d4", "proposal_digest": "1a1f1629f84fd0d78c28392fcf69ede5242a145f06739a950307fa737b94298e", "selected_assignment_digest": "71345987c3854567a7e54b15d5a4d716f38f608ada7081de92303a22a273fb4c", "selected_energy": -62, "selected_semantic_trace_digest": "18056e304949957830276a8664f0aa80143ed50f747634d4da5a1430f97547b0", "stage": 1 }, { "compilation_digest": "cc71ecedc097107386f98e191a59e9115f19d161eeccbdf9abc0c7cb9448ce72", "model_response_sha256": "2ac7dec34f9fdc8d86112effd834203ed1c7658045b3761a96a824941c4c963f", "proposal_digest": "eebe78442744702b942b2fc7fc204e0c896f3260c1e70758febfd2a15bba285f", "selected_assignment_digest": "4cde525fd0e62f612d99b24cdf924b754d73651084eb6459df96da602c16b363", "selected_energy": -61, "selected_semantic_trace_digest": "4ebc3fc86186eec1882dfb9c34dd832869bd65f43b05611be14a17520c1e16a9", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "ff470e8927aea8661f43020ce3290127cf7c57652192e0498422e0b34c021fb0", "variant": "AI_C_d2" }, { "base_problem_digest": "96cd3aac6de2c41ce9c74155a9279f4308149ca7f124c3f383284ab578d69d0b", "checks": [], "condition": "controlled_fault", "failure_category": "operational_missing", "id": "E046", "outcome": { "missing": true, "new_at_stage_2": false, "observed": false, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [], "stratum": "S2", "terminal_record_sha256": "897c8983849a877fc29b5b76c094821ac653a2b9753862e4617e73ac416c6e93", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "96cd3aac6de2c41ce9c74155a9279f4308149ca7f124c3f383284ab578d69d0b", "checks": [ { "native_receipt_sha256": "70dd8f07fca902eeb0b1c7857017b36abce22ab4d25abdc5c344b4a1054a278f", "native_result_digest": "fdd991f8566b7d74cf145ceea9e06073f2dc669f5d487d599b2f306c4f736981", "selected_semantic_trace_digest": "b857bc3394732414975f075b60d340ed5162c4efbed45e5f45d3f6bd02e0ea36", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "86c8c047d83ee8b25083193bb99ccc26708d72054567c292c04361db5a4b7b04", "native_result_digest": "b0d0e2c6072b8595b942454b9e1dbc3dc1df477267d12670fe8d371a0216f105", "selected_semantic_trace_digest": "aa3da01dd2d3bd7c141756d39f2dee676c37955a2ff297aa334da7f3204a7e5d", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E047", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "b857bc3394732414975f075b60d340ed5162c4efbed45e5f45d3f6bd02e0ea36", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "97045a5d9c69b7b66bf41ee505bf42eb3a7f7e0790b0384f072b2621182f0d7b", "selected_energy": -1, "selected_semantic_trace_digest": "aa3da01dd2d3bd7c141756d39f2dee676c37955a2ff297aa334da7f3204a7e5d", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "d7808f1c41b6115b2d24ba5c159359dc1250235429f07f0b80adba310c86298c", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "96cd3aac6de2c41ce9c74155a9279f4308149ca7f124c3f383284ab578d69d0b", "checks": [ { "native_receipt_sha256": "3add807bf6385724d844f80b26f93415c2d42e883d2676780d076620006957c4", "native_result_digest": "1353f9cad3aa43307c41f6b808b4b7737cab34db3dab4fdbc2d4b20b48727625", "selected_semantic_trace_digest": "3451613142ef50e49cb105ce0ed198f80904a1892ac313335609fda59b19f8f9", "stage": 1, "status": "VERIFIED_FINDING" }, { "native_receipt_sha256": "5ad2cce9d8b37e9cd4d02adfd4997191e570fbfbbb55d993cf1606f97b707605", "native_result_digest": "3f7ffc1cbcbd5cb5ad4f5fde937f76f760df434ad41b0f5847d4f6568620d787", "selected_semantic_trace_digest": "af6905c25293d06ed2b89315ffcb546c3cae3196067b7ca5b8bd00933bc674d8", "stage": 2, "status": "INCONSISTENT" } ], "condition": "controlled_fault", "failure_category": null, "id": "E048", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": true, "verified_finding": true }, "pair": "P04", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "015c6923080230c8b7cf357e1830041d0fb7981e4fd921804f056210c86a0c32", "model_response_sha256": "16a8dd9b84eca009717d6a0e2a415f8cfe0cb374106eb4cceb80a82f6ea1189d", "proposal_digest": "2d7f62b2ff03e536fe42c4cb109c203ecd1ff0da0e365673d6e0bef104b42689", "selected_assignment_digest": "229d7dc3818c7c174d7c769c4fc6ffbd3fd002cb82a4581f4cdc9186458f1a8f", "selected_energy": -20, "selected_semantic_trace_digest": "3451613142ef50e49cb105ce0ed198f80904a1892ac313335609fda59b19f8f9", "stage": 1 }, { "compilation_digest": "a43821a860181b569f73d963ca9883d55528fe44c511ac88e294a8f18a727813", "model_response_sha256": "06c040e1a4a51787e2603e6c621406bdd71cbf0f1e5fe5a1139556afd7955b0a", "proposal_digest": "c25411a3efb7b25b394393ff5e88f3ef17f46eba56f06bf0905bad0f2ed3f53a", "selected_assignment_digest": "bfbaa5103a42332cc37d458f2ead0c9e9b15c086e94ca4b9c2bbefbe53a2ef6a", "selected_energy": -17, "selected_semantic_trace_digest": "af6905c25293d06ed2b89315ffcb546c3cae3196067b7ca5b8bd00933bc674d8", "stage": 2 } ], "stratum": "S2", "terminal_record_sha256": "dde200eebe86e0cd72348fde533a05a7b150eb893ef27133ad0e9189fd758e92", "variant": "AI_Q_d1" }, { "base_problem_digest": "78e675b934238538e3e7df922e46ac46e139d0190bf349aee90d83af206fb4d0", "checks": [ { "native_receipt_sha256": "e8475b6bc8f479fcefaec98b9fb0ae0c0b88f08a05b558d14366e4fee538d533", "native_result_digest": "5f3499f717e488ffbfd7198990a948bc14f553a0df61bad14a4c0a2959fb266d", "selected_semantic_trace_digest": "19f05da21bbf24360fa2967a4956b77a735626a994cd7e59089f4b0e48fe95ad", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "9869e1c67a014e1c407e3eb1c9b1603993a0014c2d2aa2b143f8cdff69490569", "native_result_digest": "9b9e6c49465b087e578ded93cc175ec26c519c08dc90e68ed96ff498a728609b", "selected_semantic_trace_digest": "1ba8aa06679c4621c789c96aa1f04bdadfe7a3f2f33d948398d1de6fd08a65fc", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E049", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "237bcedb955629db6025432a3833c26120bc9bf72d91fb171da253e605a92c25", "model_response_sha256": "ed3ac843b51ab73d7a615129d40ef0ae5b8eae4e3a873d8c0e22eb1a742a1b89", "proposal_digest": "562bb81458280b6403a45c937c03d4f9fb8f89532b3dc0d94fa4facebd33b54f", "selected_assignment_digest": "7b829ac721a2084cb1165b1a3c2fbeef371ffdf13e321b7af32d88f55270b24b", "selected_energy": -37, "selected_semantic_trace_digest": "19f05da21bbf24360fa2967a4956b77a735626a994cd7e59089f4b0e48fe95ad", "stage": 1 }, { "compilation_digest": "8686894c09f9641a0a988ce309db3c85a29bec679e86042d6228de2a5882acff", "model_response_sha256": "9efcffa2d310f226d16f919cdd2eda1d86eba87c6289d7d19aa8aefd543ec398", "proposal_digest": "503a60df1d3b3dde00ce64d29bf29a218baf3eab5706dc539b05af03ab454183", "selected_assignment_digest": "ad74f45aefffc14fa987c13bfbea09c77d9fd948e94684ca6f46a789c86e65c6", "selected_energy": -38, "selected_semantic_trace_digest": "1ba8aa06679c4621c789c96aa1f04bdadfe7a3f2f33d948398d1de6fd08a65fc", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "54c51213f803f4f6ada0b9af49771eebc338097b810722ebe23ffa23397d5455", "variant": "AI_C_d1" }, { "base_problem_digest": "78e675b934238538e3e7df922e46ac46e139d0190bf349aee90d83af206fb4d0", "checks": [ { "native_receipt_sha256": "6c40160f3689dabcb00d23e6e66f5ce6d68af2645c729edb5ea2cdc9336cac71", "native_result_digest": "5bb41b15b84bb27c500d649227fd56738f6069b54fb8081901b30441748bdf8c", "selected_semantic_trace_digest": "1ba8aa06679c4621c789c96aa1f04bdadfe7a3f2f33d948398d1de6fd08a65fc", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "f5482dc6ddc43d4c24e3f8df5d248379503f42be3e05158350452066955f7d73", "native_result_digest": "ee43b98102ae9217ee139a47efd9a369a66fad3644c8f37edd0c86fe3db919fa", "selected_semantic_trace_digest": "d8448f1f17ab0a73c153d53e1de2e65b1e8e5ab853406686f3da9bf383e85e9f", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E050", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "a0518ed369ab8c3c02a799891b0dea905e82116c318270edd23eb2c400b0519f", "model_response_sha256": "c1b0b2266508c2229404ed32530f383b217011143bb3f00f0ca8db9108614045", "proposal_digest": "f7477222d0caffde97b736f7fa693459ed3be4676cee2596e92f3c9b954c48c1", "selected_assignment_digest": "ad74f45aefffc14fa987c13bfbea09c77d9fd948e94684ca6f46a789c86e65c6", "selected_energy": -40, "selected_semantic_trace_digest": "1ba8aa06679c4621c789c96aa1f04bdadfe7a3f2f33d948398d1de6fd08a65fc", "stage": 1 }, { "compilation_digest": "9a91faef7b53f336a5cd936a0b7e7a60f1dc51dc73f8c1bdcd9934bb10c35f3e", "model_response_sha256": "eadd9d3e08f3731febb832ebabcbfdfafad2283c95a358ae9ee195ca3a41a4ab", "proposal_digest": "20cfe3a84d1044ba61c9981961c978c449e4f6c5e7bcab54a59948a75b2f10c6", "selected_assignment_digest": "8f32bc21039290ad53d055b46a08eb46e064d40ae279faf279bc3c57676a7042", "selected_energy": -41, "selected_semantic_trace_digest": "d8448f1f17ab0a73c153d53e1de2e65b1e8e5ab853406686f3da9bf383e85e9f", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "9faf2231d28b2e926d6996afd28de2030b8d42c31eaa24f6e571c9ec6c5aea79", "variant": "AI_C_d2" }, { "base_problem_digest": "78e675b934238538e3e7df922e46ac46e139d0190bf349aee90d83af206fb4d0", "checks": [ { "native_receipt_sha256": "7a8ffbc01325e7c7a54d04df850c1d89c8d020dcded0e47214f50b8f05a49591", "native_result_digest": "45edb11d565740a28a56335e1a9e0da910225a51f390fcb9e64aeb46539a2870", "selected_semantic_trace_digest": "669f51457c772e7888fd430df3e7f0ce1ee17e0a92541090f3b93e0df194325c", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "64dc8aacc9e2ed0db88831c5f9466178e0ccad94027bb6db61c235afff2fac70", "native_result_digest": "cde1cb8eec2bd4e113327eacbfe7173db2b038d94cfbcdf1d3fd0d282dd78064", "selected_semantic_trace_digest": "bc6c7d169533b4caa9d8d627ac67f362fbddc5a9ab3dc677caf6e410c0b9d8be", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E051", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "669f51457c772e7888fd430df3e7f0ce1ee17e0a92541090f3b93e0df194325c", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "ea87ec598240e988c813fe9e497f4c75d16897415674012a666c354a6338f7e5", "selected_energy": -1, "selected_semantic_trace_digest": "bc6c7d169533b4caa9d8d627ac67f362fbddc5a9ab3dc677caf6e410c0b9d8be", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "c2436c08cbae34773396399f718c279629f0fd039d13a435667cb46feb9f1e8a", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "78e675b934238538e3e7df922e46ac46e139d0190bf349aee90d83af206fb4d0", "checks": [ { "native_receipt_sha256": "00c1882d3435268a9b9e90038600d204cd4922b8cbb84e107e1e4cdf4e006a72", "native_result_digest": "ad4bba59556eb7d2905b6600f7c207e2998fc0c02c1f4a48d4f8ed61c9dca23c", "selected_semantic_trace_digest": "669f51457c772e7888fd430df3e7f0ce1ee17e0a92541090f3b93e0df194325c", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "696e587860f42c08426e7b1a10f86fae4bbb401702df46dc40b975dd3720d6b2", "native_result_digest": "609a32ee9a7b3bd2eb6fa0681824dda49e483dad4f6ba651dce71e960f09e528", "selected_semantic_trace_digest": "22bb2b12d39e902f56ca50138d4c66e09126a1ce21a62651f2524ef388786709", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E052", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "669f51457c772e7888fd430df3e7f0ce1ee17e0a92541090f3b93e0df194325c", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "82edaaae1480c3aff8dc92ee4d91817cb100f41f1b6a69bb87779ec05bb319f5", "selected_energy": -5, "selected_semantic_trace_digest": "22bb2b12d39e902f56ca50138d4c66e09126a1ce21a62651f2524ef388786709", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "e881000e4b9912c059c9c6c89189f1430bfbcc07630158a1711b4fb649798a3c", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "78e675b934238538e3e7df922e46ac46e139d0190bf349aee90d83af206fb4d0", "checks": [ { "native_receipt_sha256": "76be1b2b0982f10ba6c1a762c3ef2b12d65e7a13e6c022f42da384b014085094", "native_result_digest": "f3d094e423d247c6bd1c6514751f13185f66915d9cb15070a2a383d36aa3e940", "selected_semantic_trace_digest": "8fb770334b32c584c848df73c186b037f9862c29af656d7711e8802b88c37610", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "763721e487fcc2db1256b17da43f14272970f8ab7d5c018fdd8ec78b30bf84e5", "native_result_digest": "5462bc3ec59d3f302845f6bd2ed574c23af102e63354f0221d93309ec493caf7", "selected_semantic_trace_digest": "b5a2141c41cf8072b147305fdcce3a8c4bbb7d1ff1ce0be3b0bc7030da96285a", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E053", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "28c0f76b92d90afd8be04db347d38e766f62ea9dae202ec7f227d284910abd09", "model_response_sha256": "67fa388098aad938ffbbda7a6f1ea60e92d59be21c5e3eedc462efe1c98290b6", "proposal_digest": "adfc7157a1f6a713b4bb3b1dd2071345e51a016b12539ac2e9730c465fef3eb6", "selected_assignment_digest": "f4fbf4349376d0a92aa543c5c6af2e7b69436d4aee696242378913621984e6fb", "selected_energy": -16, "selected_semantic_trace_digest": "8fb770334b32c584c848df73c186b037f9862c29af656d7711e8802b88c37610", "stage": 1 }, { "compilation_digest": "bb0c32de247b097ed2d62eb105bdb30f25816c1146594864165f0742db0903c1", "model_response_sha256": "6d6604d0d5a44236e4b449aee5f41e3b882d732c0bbfa2922ff0000b1d3beffc", "proposal_digest": "1ff6115a04ed95b7e59c5a48e82c062e5c000046998c0fc2550650ce51618030", "selected_assignment_digest": "2eb791014fc2f59825c756cab6084db420d6adc59a648ae99970f325d6737558", "selected_energy": -16, "selected_semantic_trace_digest": "b5a2141c41cf8072b147305fdcce3a8c4bbb7d1ff1ce0be3b0bc7030da96285a", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "12f20cf79842e9e4e66d358762d39d080a4cf5e3b715a87bd2207f7200cc3b51", "variant": "AI_Q_d1" }, { "base_problem_digest": "78e675b934238538e3e7df922e46ac46e139d0190bf349aee90d83af206fb4d0", "checks": [ { "native_receipt_sha256": "4030981c7333309be610dfb755ef605b542e87eed70361e800d76db9a78ae292", "native_result_digest": "e3fbc358f9ed7f40eeae772053e0f90d04ce891a03bd34366dfc03981ecff040", "selected_semantic_trace_digest": "0b2a31156b0ddcf921f1a5bf03a0548e335fb07a6190e73a4c011b279c4772cb", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "c0fd58894ee34c1c50a4c656fc7f467533fb201284143e573c9b5f4f02c3c1b4", "native_result_digest": "d704dd86aa9f0208a4b57474938483614a9a7ab4042e1b31fe468b79cff9d187", "selected_semantic_trace_digest": "456ed1cc14dd5c30d8a485bc0bde7f8d7c42f1340fb0ff8129937f6352044f5b", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E054", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "79eaa48dc0d146a1400f2323517e8b02163f14a8d5b779a8fc70fe7a0c92d984", "model_response_sha256": "00926f85a4f9621047d8fcb958a1049cf04c14a4462cf0cdf647c3374b6b5bb5", "proposal_digest": "dbf1101c04cbe1c488e5b45a9d461a8a85a4510d45cd504a33c176634b4a6ce2", "selected_assignment_digest": "2f3706ef62d7d79cc0459922d7471497b6916567ddc5242c3fa41deda63a2382", "selected_energy": -16, "selected_semantic_trace_digest": "0b2a31156b0ddcf921f1a5bf03a0548e335fb07a6190e73a4c011b279c4772cb", "stage": 1 }, { "compilation_digest": "b6fe965a391d6db1ea8a5b126e2a277cc80d901e3ac2ee65a732642c89b1eee5", "model_response_sha256": "4b08e0d065f1368df2fa31a91ba8992976e7b517243a34905f8c2f807a773986", "proposal_digest": "d466ab4d7c11c14ad922c09b288716c82fb956889d5ab89a80ab931d51299f41", "selected_assignment_digest": "621c116e0768ff2574a77622de965de092d3269c55b7d11596b49bfc27ce3012", "selected_energy": -13, "selected_semantic_trace_digest": "456ed1cc14dd5c30d8a485bc0bde7f8d7c42f1340fb0ff8129937f6352044f5b", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "c3db30a6bd93b95d40fff105fb3f730d71d396ffced5b6617c33d176870e9a48", "variant": "AI_Q_d2" }, { "base_problem_digest": "547f0f3494e241fbf3e886d77f7e2c2f8017347976177f73ea415d6193102f1e", "checks": [ { "native_receipt_sha256": "f2d5aed5c315d0d5a94509cf38ee3a4b21ac41a432eacc3424e3320149f9eb78", "native_result_digest": "6790b21ea1ddf6abd1891a15dbfb5511cfa0da8f09e12be2d80c09af95731e06", "selected_semantic_trace_digest": "397dbba83dfd2a73b69c0d163f9e9c007ab0c84c576288b02e68067d2cd91f7a", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "ab5057f62910d5d1b7f8b5ffc95425c27da5c0ba418fd2f7e10bb53d8f9b05fe", "native_result_digest": "147ab2c5d265dbf3d96e3cbb8622767d2ec7efd0f9c74fa894946be8d3f92498", "selected_semantic_trace_digest": "e55318a975953aa06fa8e13399f7e3a092052f17709638fd1c2e7a96d79f2bfb", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E055", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "5e0617dfb8b06b8f2e8ea4a99785a286dd5f0e22d17e6f302d3848248e4acd74", "model_response_sha256": "28a3547a61fdf493205e367acd4aef7424efe3c28ad27d21a6c5b6f11c51abf3", "proposal_digest": "919f1d8ad8deb9333b40ca32d94a015c72a9197d2cf992b32c3bc518e2672e47", "selected_assignment_digest": "4d3dc8238f9603d6c4f141f2dd99ba6d287e0aca97c9eeacee95ad770da07d0b", "selected_energy": -34, "selected_semantic_trace_digest": "397dbba83dfd2a73b69c0d163f9e9c007ab0c84c576288b02e68067d2cd91f7a", "stage": 1 }, { "compilation_digest": "a84d86932744f55eef64a9d519ff2af42e2a613426eb173ab331bac973a33dad", "model_response_sha256": "e18032a2015ba1d8198afbd285ee4f8e9c32e8cee7cf2e6997106adff24a45ee", "proposal_digest": "1d3f8522c38ea9884941e2d93f593142e0aada403d4428f1078750636a83d316", "selected_assignment_digest": "29ecaeb4202a53a037d144c6e549de8092befd04b118c3f9aff68c443b813515", "selected_energy": -40, "selected_semantic_trace_digest": "e55318a975953aa06fa8e13399f7e3a092052f17709638fd1c2e7a96d79f2bfb", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "03b4cef569eb431d49b1ebb227efe1db33a96c58d7376d2508348013392a2f68", "variant": "AI_C_d2" }, { "base_problem_digest": "547f0f3494e241fbf3e886d77f7e2c2f8017347976177f73ea415d6193102f1e", "checks": [ { "native_receipt_sha256": "8575553c0204dea30497cf0b5685d35e7c93b497cf07a90ceb056c466bf3c2b6", "native_result_digest": "e70c827fc33bb96de5352aeb16fedf59c263890b2da4094b05bb2ba2b201b813", "selected_semantic_trace_digest": "1624a8869e3db1f51b5b67bb9c272a084e0c6ea152cfd2324953596fb5555ac6", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "60a3b76862dabc5d4d247c316f25ca0293b2e10dc8e3c778cf909cc97b73e073", "native_result_digest": "c93ee47e1cbbd5878eaebfee7fa297f505576e08828b3adc58c0d9a2057e6564", "selected_semantic_trace_digest": "b1c1be638c6ee486d4b3c7573f369d33483ac1efad3ee433510787083626e3cd", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E056", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "1624a8869e3db1f51b5b67bb9c272a084e0c6ea152cfd2324953596fb5555ac6", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "7a02a1680b2517fdeacb1b46b3634c093452cd4643afd17865261bb43bfbddfa", "selected_energy": -1, "selected_semantic_trace_digest": "b1c1be638c6ee486d4b3c7573f369d33483ac1efad3ee433510787083626e3cd", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "6b51c80d8142697f6b7ed53c62820a1aae883e7fbaf42a857065bb00b3a58e72", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "547f0f3494e241fbf3e886d77f7e2c2f8017347976177f73ea415d6193102f1e", "checks": [ { "native_receipt_sha256": "b8cdacb8806092ba8e8d86cb86054d833c3543323f24332dd2fbd34792374f4b", "native_result_digest": "7df831ccfcd5584789d44ff256e12338dd49a89e852c62afade144b228f8e41d", "selected_semantic_trace_digest": "1624a8869e3db1f51b5b67bb9c272a084e0c6ea152cfd2324953596fb5555ac6", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "aee8cb9534963cf069ad6a33a8cc455116fcd18cc14ee9ed7fb26d74e28f5d41", "native_result_digest": "476c7b8aa2b4706af99cec2685ade0b694683bddf311e02c259ecff389fae47e", "selected_semantic_trace_digest": "6ff6904ddb558796e76d89996fd5e1f56a81bc022ca20ee333a9e5622f046d54", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E057", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "1624a8869e3db1f51b5b67bb9c272a084e0c6ea152cfd2324953596fb5555ac6", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "28a415ae27c2285b7b3d2e34928321896593b54504a88814fcb8d191ea7821e9", "selected_energy": -5, "selected_semantic_trace_digest": "6ff6904ddb558796e76d89996fd5e1f56a81bc022ca20ee333a9e5622f046d54", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "e7064c0e7e2f47c14e3cb33fb4b9a7023be18043b82990551e71b09afb57c234", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "547f0f3494e241fbf3e886d77f7e2c2f8017347976177f73ea415d6193102f1e", "checks": [ { "native_receipt_sha256": "49bdf5c01f26979ebd5a37397948b42fcc74c8f3185afe0618e5832a9344ce3a", "native_result_digest": "6c390b30ad4087c268b24bf49524d59324d212e31895aede082871f2aa93a564", "selected_semantic_trace_digest": "ea74aad2247cfbdc028ab52d115ef53d51de5433e93242a0bef22692d9d3e7a5", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "86e18c4eba265d6de05106379ccc749bafb54b30b4e9e4f77f5c71a708e1619f", "native_result_digest": "dca1fe2ffc370443acda141e9026b3cfd565471ea8e8c5b26647b335023a2be4", "selected_semantic_trace_digest": "30ae73b5cfc3eb77cd7aaa410733ee5dd4e4bc0e0c244fdd9916fb3a6a807023", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E058", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "825aa433d07ecbb2a5840516732a8374a4f379e2ee0b32d16227dc7d50fc0c40", "model_response_sha256": "af0e04688258b75e45aac0553ae0c7d12e2a09cf6cde626c47374a04b6c226b6", "proposal_digest": "e847b8fa1b6e15b5618976c96289f0537adfd81d795795e0cb5f5fed2e2fbf35", "selected_assignment_digest": "73e376244983df9c4e4d3a98c8ff4b2858fb6003256851b88b575b5002af56b6", "selected_energy": -10, "selected_semantic_trace_digest": "ea74aad2247cfbdc028ab52d115ef53d51de5433e93242a0bef22692d9d3e7a5", "stage": 1 }, { "compilation_digest": "ecc785244c7ffc22828f153e14dedf3a9c7c2f3bc81306d9b486f77463d32dec", "model_response_sha256": "18094771e85e83cdc1ad4da6314ae82a8bf4ff457331216a9bd251b6612448b6", "proposal_digest": "c2b8d50fe3bbc82c0890a6e0caee5ae9b05061efffa41c037c1b3e8fe9a88d27", "selected_assignment_digest": "a8370a9ac3ff2870111de8421067e7b38925b1ea3c26d4f254b50fbc27ec2fe8", "selected_energy": -4, "selected_semantic_trace_digest": "30ae73b5cfc3eb77cd7aaa410733ee5dd4e4bc0e0c244fdd9916fb3a6a807023", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "0f30be96937a940f7cbf2d0b4f8fd1ccaf9d5a693a2eef84d07c35d6f5c398c0", "variant": "AI_Q_d1" }, { "base_problem_digest": "547f0f3494e241fbf3e886d77f7e2c2f8017347976177f73ea415d6193102f1e", "checks": [ { "native_receipt_sha256": "8841e489bbb440b3f4ec10d9b20a1bb971e62f654971c6b8f1618478430bab53", "native_result_digest": "48798c6fc9fbf06d3d97071fb201b6ddeda8262303074af841c96f1d00390829", "selected_semantic_trace_digest": "3d9afd93e5432f5a5f964511dc20561aab02b6a787607c3a56b3070f990c06fb", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "07b5a575cff98f80662315a3052f710d1d51a62340596a548bcefa3c289fd3b1", "native_result_digest": "f70e457bdc19a89a9ad17107f0ffc5e8e5ddb1063e620e287198b9b6dab17632", "selected_semantic_trace_digest": "b7689e1d5610ca632e1d807bd0106dc57d05950fe38a17167d8ed5d2d01c54bf", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E059", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "ca2239e11d199f70ab1877b0ad82740ccbba6a2f42ece65b22179169af9237f7", "model_response_sha256": "57b34bc99fca2785143490addba9d0737f3f0c8fd701e2e40c45c632c31ce81f", "proposal_digest": "fc1ce75c0acd5bbb8e74c9ccf6d44268f40ecfaf57977848a5b8a807d114a0c1", "selected_assignment_digest": "2f3706ef62d7d79cc0459922d7471497b6916567ddc5242c3fa41deda63a2382", "selected_energy": -15, "selected_semantic_trace_digest": "3d9afd93e5432f5a5f964511dc20561aab02b6a787607c3a56b3070f990c06fb", "stage": 1 }, { "compilation_digest": "8b70868babadebff599eafd743b2d0ff807cefc3e8b3795062500d078e107324", "model_response_sha256": "a894b59ac6e73e81519a44b8912622afb5b93d7b1dab654f19e0c7311fe03ab1", "proposal_digest": "5a9ce995c73b507a551be51f280704ace1c01784e2e947541cda5705ee94cb3f", "selected_assignment_digest": "1af338f0aed733fb1e31340264bc6e9aa7b8b46e5e4faff44c56a358ddb66bde", "selected_energy": -20, "selected_semantic_trace_digest": "b7689e1d5610ca632e1d807bd0106dc57d05950fe38a17167d8ed5d2d01c54bf", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "f95388cbf2d9ebccf9c6719aad3a04c341fc1d92937b1cf4f988feb8b17f489b", "variant": "AI_Q_d2" }, { "base_problem_digest": "547f0f3494e241fbf3e886d77f7e2c2f8017347976177f73ea415d6193102f1e", "checks": [ { "native_receipt_sha256": "ba79c51823e6354df06c7732b3181c684881cf1f7564fedd47f280cd8cea5de1", "native_result_digest": "44d7466496ff56b84fe6abb9451e29e4e859c2bd605a593ff1c9436e00b0dd2c", "selected_semantic_trace_digest": "0174778a5e31c38b1af700c494cf62faee9c883b96b2877cb118dcaf8042654b", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "c7a34bfa4a93f3bec9fdcf7ee6cb4733d6d91dac0eca7c2ba5d5d8204f1f781c", "native_result_digest": "f6050255eb463643883e45782568ffc1f3ea465b8488a11938ef78360c930dc8", "selected_semantic_trace_digest": "9021805d325695ebeb578513f7ec5045b3e1ef975c86245bb2fe12f2fe4beec3", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E060", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P05", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "fc83c5a086c830ce287c9694710832e4a097578ae1ccae0d0201762c5b721f13", "model_response_sha256": "18763f4de09f4536cb038653023eed6b17ca131b9749c87c4fb0bc0037807c46", "proposal_digest": "525ccf8b5c10de72239d85d246834d2c2ebd29a17578e33d8172af5df3f3f47b", "selected_assignment_digest": "7b829ac721a2084cb1165b1a3c2fbeef371ffdf13e321b7af32d88f55270b24b", "selected_energy": -37, "selected_semantic_trace_digest": "0174778a5e31c38b1af700c494cf62faee9c883b96b2877cb118dcaf8042654b", "stage": 1 }, { "compilation_digest": "2bb77ecbc9f8761cbd8e6ae516c04c225b765e355586eb75317414657659ff01", "model_response_sha256": "c738e9f34fdd2906fb1467ba05a44b97b01b375c13e58f2e7a5f447d529a7f02", "proposal_digest": "49fae92a3e440a693fe5daa6f8706769c2414c710875e8734f9c977c695a8be2", "selected_assignment_digest": "8f32bc21039290ad53d055b46a08eb46e064d40ae279faf279bc3c57676a7042", "selected_energy": -41, "selected_semantic_trace_digest": "9021805d325695ebeb578513f7ec5045b3e1ef975c86245bb2fe12f2fe4beec3", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "dbcd24bfca37280c338b11daab3bc217e425cc9bc56d09a8b8ae7447e309fc90", "variant": "AI_C_d1" }, { "base_problem_digest": "3a39975a0af6bce88e981826b0573408d45c5fbbe36cd6cd3ca1885f5c94f86c", "checks": [ { "native_receipt_sha256": "bfe1ef9b349faaacda87643f5560eecb742b2d9ada07bfe9cfe0545a26a7db23", "native_result_digest": "4941aa6f61c098c816b065bce864abccf35d0531404e6fa5fdca68800e9d6873", "selected_semantic_trace_digest": "8959fe6a44671acd75638b8628c9d49a1d753e1b1c2bf3ace7f54bc2fe85900d", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "23213c8d4578fd8e1a62fd12a4b0a5189398bd02ef8831ddd23c6a852cd0522f", "native_result_digest": "ec3f59417b60a2e47f083a7304843dc6590c7400aadf82bf15d124ca1ffc0c29", "selected_semantic_trace_digest": "8959fe6a44671acd75638b8628c9d49a1d753e1b1c2bf3ace7f54bc2fe85900d", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E061", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "8959fe6a44671acd75638b8628c9d49a1d753e1b1c2bf3ace7f54bc2fe85900d", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "8959fe6a44671acd75638b8628c9d49a1d753e1b1c2bf3ace7f54bc2fe85900d", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "fe346dc2be388d9875cfe6d7dfb0bad1e70eb37a7fda48986a7441ca5c478400", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "3a39975a0af6bce88e981826b0573408d45c5fbbe36cd6cd3ca1885f5c94f86c", "checks": [ { "native_receipt_sha256": "db96221bc82f30d57fec16d7960d7a11f02f3153cc23684d0371b8f67e836383", "native_result_digest": "fdf85e8a5ae914e42d69421ecbbc8777abf564f45fa013f6e2b3241c715928fa", "selected_semantic_trace_digest": "8959fe6a44671acd75638b8628c9d49a1d753e1b1c2bf3ace7f54bc2fe85900d", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "dbb5010420e982635ecfb876d9f56efe3d8a6db2678a7befc0f946a15a0c2e4e", "native_result_digest": "f3ccfe81565d23e04703dac41003fa0e637874af68225bd8dec44962e25fbccf", "selected_semantic_trace_digest": "1c83017976308fe2eb541a076a3681ea5517ae63c059c33eb7381040411d48d9", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E062", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "8959fe6a44671acd75638b8628c9d49a1d753e1b1c2bf3ace7f54bc2fe85900d", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "97045a5d9c69b7b66bf41ee505bf42eb3a7f7e0790b0384f072b2621182f0d7b", "selected_energy": -1, "selected_semantic_trace_digest": "1c83017976308fe2eb541a076a3681ea5517ae63c059c33eb7381040411d48d9", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "40345e6094f9b4b5f18cee2a26db8e7712c287612f8e62b7dfd23db8b549ffcb", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "3a39975a0af6bce88e981826b0573408d45c5fbbe36cd6cd3ca1885f5c94f86c", "checks": [ { "native_receipt_sha256": "f9c0cc803d67860d69d972031673f732a45de254ed1bee7c95edbbaa46b2a2f3", "native_result_digest": "e645e9a59ba2f005152b4bb74d601f8e744eaa59157e7ee35fe2ab45f2b8ef07", "selected_semantic_trace_digest": "3391f8c2e7c76c08e1247223150a4c0ec25075b2072346b374c4bacc2253699c", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "d5a537b183674dcb74d40da7880ad1d7fb4e171a789dc8582cbaa36d2b035ad1", "native_result_digest": "14840451d08421a5d9d743541792913980bb17f1e37f4763c707b696d9c4678e", "selected_semantic_trace_digest": "f2497236269e5937f17518f7763845fda24fb4f2b02144c0703fe115f20bda1b", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E063", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "17de7a7b2f7ec7677ae14511be02930193c0b664260ab467b69cf5c7480cf452", "model_response_sha256": "c749e52ab7df85424f715c4aa3b07e023ed523b052ba87cc2d37e2de147d9663", "proposal_digest": "ee2e1c8de8b752e58e9673412b251184e96b96a91b4dc66f62536fe8e7db6368", "selected_assignment_digest": "a368cf57939b7b826fd8739294c9277fdeed462af1645f356061c25c14873939", "selected_energy": -12, "selected_semantic_trace_digest": "3391f8c2e7c76c08e1247223150a4c0ec25075b2072346b374c4bacc2253699c", "stage": 1 }, { "compilation_digest": "673778a4c3f65f0f97dec21026934582720507a26a5f30d0b691d2df848bfbbf", "model_response_sha256": "cd18ea3289aa702fa3a0365ef9a864441381f11865a71aebe71a6a01e8d0faf3", "proposal_digest": "96bb9c4d038e1805c6beb7051c12504eceea063d57b199560b84352d8bd801a9", "selected_assignment_digest": "103d1a01214439a0d9ef20cf4fef2212cfb773e4fe32e7f5f2330676579382b2", "selected_energy": -15, "selected_semantic_trace_digest": "f2497236269e5937f17518f7763845fda24fb4f2b02144c0703fe115f20bda1b", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "77f6184e6a41591f010d7f768b7697a483918c0ce3be044f6fdbd3b30fc99c84", "variant": "AI_Q_d1" }, { "base_problem_digest": "3a39975a0af6bce88e981826b0573408d45c5fbbe36cd6cd3ca1885f5c94f86c", "checks": [ { "native_receipt_sha256": "86337243c534e54a3434bc3728b539bb1e4e89eec857cb3352c2bae48aa4dcc5", "native_result_digest": "eadc17cfdc9d03c75d246c10a7f02ab13a07a5963fa33d2781ae5cfaad11ffed", "selected_semantic_trace_digest": "db7f6f6ac8f9b522138d9d3d78660f9f91baec67b67e54c5b2fd2ee2d4736904", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "64d86625485c4386d691f79f47d0756ba20390114496a83b7df3bcb760df78a7", "native_result_digest": "42a0dfe302a9df0db36debf759401ecbb02c1ea7a1aa60439a6a68e5e3773dd8", "selected_semantic_trace_digest": "39c8025c30b860bf8c7b4e9672fc37000f5fc2ec64ff5ea74caa5653144a648e", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E064", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "967cf95a85b30704231a5c323d3b575fa02b7964aa7d22ec7d60166b310d92e1", "model_response_sha256": "d26ef38a5b4d29332b0739e5621a0b62b7fb2d5a22bba90329f29b52620e2552", "proposal_digest": "4b846c630712bd49027b75d659fc685567052c161eaebc4d6a45ceb3ccbbc291", "selected_assignment_digest": "0bf72a8b175273bc3a4d0e6a55114d5525316f72dd2f058be2d27c8bcca0c62d", "selected_energy": -14, "selected_semantic_trace_digest": "db7f6f6ac8f9b522138d9d3d78660f9f91baec67b67e54c5b2fd2ee2d4736904", "stage": 1 }, { "compilation_digest": "241ebb2c626e64852c2b3467e00107486de95b47bb690c114434c725dd358c49", "model_response_sha256": "01ceb31933c67c8b3cbf2b68dde4728a9e62c6e1e65bf88088769e46e7348f8b", "proposal_digest": "07960db956bb471c8a925b314678b3c30348aeee1a2ccf8ac5cc1ad3f9c4b22a", "selected_assignment_digest": "35a1c03f6fbd2f2cbf4b7ca4fa705a56432a708a16be4fd3cee4ae83812c422c", "selected_energy": -14, "selected_semantic_trace_digest": "39c8025c30b860bf8c7b4e9672fc37000f5fc2ec64ff5ea74caa5653144a648e", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "e03bf5f57860ff424f60b793fcb4ad0d2e956dcabfc23f07510346621f5a93bf", "variant": "AI_Q_d2" }, { "base_problem_digest": "3a39975a0af6bce88e981826b0573408d45c5fbbe36cd6cd3ca1885f5c94f86c", "checks": [ { "native_receipt_sha256": "910759b320f8901c991537dbe062a2d1490e44d21c5dad5dede53b52fff9ef1c", "native_result_digest": "7244bece04b47ac1220489fd2824f4477b11c4dfa9d89c40d842e3aa1a5670db", "selected_semantic_trace_digest": "917ea13ea2e3b647c9aad5ecf255802b395f34fe2c64e3eec620ac77285b346d", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "78ed0ff3b00267a73c409c01c8d5dc727fbcef26ddc870ff25f78d8616e0b03a", "native_result_digest": "c3f0557c7fb25f59c3ca6f9f6b9a66d2c5b49e498583f1471016b6a7375bc151", "selected_semantic_trace_digest": "30d23dcade51b87943aacacc15080b1940e7de5a430248d6ff0cf705ccfdd4a6", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E065", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "90a4899ba9661d1f253f57648802a174f7f5642fc1f6bc3ea98cf54735ae854e", "model_response_sha256": "9cddbbb10fd1ace50ff49e4973fa27a00ce16d0d6f969bcdf23ef0da4fc17ccc", "proposal_digest": "b420acb2101343ba70e594f3ef2e4d15a28f0230b2508c9c8cca91fee92d6bd5", "selected_assignment_digest": "41c47b0f8ea4a1f0f302cbba57063add01c65328a105579e60ba37300fc4e14f", "selected_energy": -66, "selected_semantic_trace_digest": "917ea13ea2e3b647c9aad5ecf255802b395f34fe2c64e3eec620ac77285b346d", "stage": 1 }, { "compilation_digest": "596fba00d98ad07f9f8779ce25169ae74f7e653eb956495d09eddb3e2d4cc5cb", "model_response_sha256": "3d6485f1956e67bc1155444913038785f9f2ce802e73987591aff8987127c25a", "proposal_digest": "6a8911c28608135f376a53a7a83c3888941e2b67ca47fa53641da5350d97249a", "selected_assignment_digest": "72a4bc2e15be9c53bcdfa7c15978346913b7988b1e358efd9b5f4cf61f527bbf", "selected_energy": -54, "selected_semantic_trace_digest": "30d23dcade51b87943aacacc15080b1940e7de5a430248d6ff0cf705ccfdd4a6", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "d9a73abc8d67a32b6b24f8216fc4b0827dc152f43fe29cad9ce4134cb08c029c", "variant": "AI_C_d1" }, { "base_problem_digest": "3a39975a0af6bce88e981826b0573408d45c5fbbe36cd6cd3ca1885f5c94f86c", "checks": [ { "native_receipt_sha256": "6ea6f370b69c396ab258e1580d7cc2f62e7e5e87f64ad691cf8ec1fe1cd8dcba", "native_result_digest": "a3478a6cdd6727e279ded566cc862bb19af3cfceb64a342627df7f72ab88173a", "selected_semantic_trace_digest": "8d84761c5b480a5a7eca970e19368fd02da07797807ffaa70301ce58aa9b6263", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "de21cd950ecbbf5233cd4af84d4a74d43280f359c60c95a8ccfcc7cec5001b96", "native_result_digest": "0a584aade8c52db3d1fcc6890cfef75c920a0090da526fed6a67faecab93291c", "selected_semantic_trace_digest": "65f5c808b8668dfbbf7e0e4bde13636e6bf95f5176bf09590fe404bdf04633b6", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E066", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "de07c98e1714932997c0583a5b10535578feb4b82208c0f1fc85bae7e6c9dc3c", "model_response_sha256": "700334213b78db01492e8986425ce49788b7462b220eca78962377f1f76f4aa6", "proposal_digest": "6092322c07ae7f324e687ad26344272136bf8f395dcddde8316bc9b80b101a3f", "selected_assignment_digest": "637303149314a6e74f700df968672965aea59c466ef1b81a30bc30f6c167000c", "selected_energy": -56, "selected_semantic_trace_digest": "8d84761c5b480a5a7eca970e19368fd02da07797807ffaa70301ce58aa9b6263", "stage": 1 }, { "compilation_digest": "a9b1c57ec7302057e832fd12bd6fbf55253c52d7c12dd37a0ec6d537986a7c33", "model_response_sha256": "387e93673dd1f962e0c5722720c6bde115eb778c0d6290785c1f95713d111d6e", "proposal_digest": "0f4a4b1098d2528738ac76f08a3561b7d827a90ef003f7903f722846d6c685da", "selected_assignment_digest": "dca56cbfe5034665d94aaca387f1ed0636300452629d7ee418cdc8dd4ff086a0", "selected_energy": -62, "selected_semantic_trace_digest": "65f5c808b8668dfbbf7e0e4bde13636e6bf95f5176bf09590fe404bdf04633b6", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "2a48790a9447ca0a95fffcb8cec96f2c36689c4066b94bfaf32d86d2fa1dd49a", "variant": "AI_C_d2" }, { "base_problem_digest": "dac08a1ab373846ca933435556fcece13fd9477d31fa6d2c7c4107288a308db6", "checks": [ { "native_receipt_sha256": "35c1ed4cf2b776746064c709fe397270b091b8c749d7564dec6b3177d32564b9", "native_result_digest": "d5cf1d603899e399aad9bbe391530e0c489dbab7c589f788f15d2658ac52b849", "selected_semantic_trace_digest": "7fcd0dba50444d7a3536e729259322de5b93083b2cd40325a2b29659734bee10", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "a5de1f4fc7a13cf7cdcfc6e47d53958741423756a9792e2f1f61f1f9b4f4bf0a", "native_result_digest": "2a0c6978f98478e2212236ce13ada6cb97ca62e7595effe39bb849e4e21e49ba", "selected_semantic_trace_digest": "978f59b4012cede002f0cc124fcfe4aab541bb3b59a80914588571ed7f932cb3", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E067", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "7fcd0dba50444d7a3536e729259322de5b93083b2cd40325a2b29659734bee10", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "97045a5d9c69b7b66bf41ee505bf42eb3a7f7e0790b0384f072b2621182f0d7b", "selected_energy": -1, "selected_semantic_trace_digest": "978f59b4012cede002f0cc124fcfe4aab541bb3b59a80914588571ed7f932cb3", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "0919468dbbdc23237ffbc2e49ef197a6ecf19366b9f6c2dc7797541c05c7ce77", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "dac08a1ab373846ca933435556fcece13fd9477d31fa6d2c7c4107288a308db6", "checks": [ { "native_receipt_sha256": "f86caf2ae26d0a68e991822561de18e2790e12ded29307ab34919f907dd15e75", "native_result_digest": "2d1f0977411325951be6a3fec07cc2d4a4921691e7a8e42ebed8eb53fafce9f3", "selected_semantic_trace_digest": "8d8be83155ab22b890826a1534e379c2ca9e3394f077ce366453b29d8b334225", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "182f406c59edcf5ed6188a65e5f329bbc65fb6a22574a0d61a6291fcca463928", "native_result_digest": "c467abf3924f8d62eed091648324cd6d13f7b42d0933131ba83da4e74ed36543", "selected_semantic_trace_digest": "6724a5bef9362eb0afa7a5eef528a059de3d5117a5b72464e897c55e075b45ca", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E068", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "e77e1ca51197c534cbec857682abdc576884287b80eb30d04945a43daf8bef96", "model_response_sha256": "457358f014cd887cbbfc56ba0ceea6d66f08351410c463a52481314a4599ce24", "proposal_digest": "905cdda9b29e497c983e0f526dde2ae78063c116aff705a8f4d7c8d003bae6b7", "selected_assignment_digest": "07201c38aa4b6fc0d390362de927efa4fcad9098b55ad061921f6ff180b590a9", "selected_energy": -15, "selected_semantic_trace_digest": "8d8be83155ab22b890826a1534e379c2ca9e3394f077ce366453b29d8b334225", "stage": 1 }, { "compilation_digest": "1060f8fdc5eece74399586ba79e7d4cd9f6694f8b705fc209a2ac813bd1ba083", "model_response_sha256": "b53e64fa9b7f3a35beb13aef0c02d1d24d6c8079dc46b09a87b35bb7635fb1e1", "proposal_digest": "7cf0f3bc8ad4732ff4a3f24bf30d6de83bc51ec54185379c2eca711c4cc08c9d", "selected_assignment_digest": "68a561e7dee05f987de74d495fd30d107792eaead9260f3d94aa8079d1b2b873", "selected_energy": -11, "selected_semantic_trace_digest": "6724a5bef9362eb0afa7a5eef528a059de3d5117a5b72464e897c55e075b45ca", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "191a8f43cb3ab7da08fa1928263c1580919287ddfe2511aa628ec59503139c13", "variant": "AI_Q_d1" }, { "base_problem_digest": "dac08a1ab373846ca933435556fcece13fd9477d31fa6d2c7c4107288a308db6", "checks": [ { "native_receipt_sha256": "6dc367f151d86e30953006d80ca29fb3f021e952281a07ed44b49be95a46f897", "native_result_digest": "aa552705222705cc869f210b8dc07b01d75fce823fd370b8dd44a75d92b0ebcd", "selected_semantic_trace_digest": "f8805edf4c5d5301b8a4c7028c8bf054aee650fb31908114901dabf8224ffc94", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "4f05539cf8da974fe8b27ae15160369f0cd65698c9a8d20238be96e711de4174", "native_result_digest": "b1cf22ea3e4b01a89f3cf4d7a48b02d58666c7f4775f8216cd2ae8ba3d1d74de", "selected_semantic_trace_digest": "16b431b0725a817503732703ab731eb11b337ca64cedca83792704a375bf9043", "stage": 2, "status": "VERIFIED_FINDING" } ], "condition": "controlled_fault", "failure_category": null, "id": "E069", "outcome": { "missing": false, "new_at_stage_2": true, "observed": true, "stage_1_finding": false, "verified_finding": true }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "a8d05ffb0b757d5f5307f06b0f5f0f3dcd460452c5ffa292d59436be071f699a", "model_response_sha256": "ab5b8433a762c28d58eb326f34bac75779b0c5b68671a88ea911594832fdac90", "proposal_digest": "8eb03a0529f187dcdf317e70d7a5797d3ef760156e169891666b10cea38e8e5b", "selected_assignment_digest": "229d7dc3818c7c174d7c769c4fc6ffbd3fd002cb82a4581f4cdc9186458f1a8f", "selected_energy": -21, "selected_semantic_trace_digest": "f8805edf4c5d5301b8a4c7028c8bf054aee650fb31908114901dabf8224ffc94", "stage": 1 }, { "compilation_digest": "a8687765d62c51693b560a940b91bb657dc9eb0cbd5b30e1ae5f22bf172fdfaa", "model_response_sha256": "fc7c005dad91b87e861cf8fc93fd438f6d0f06e3d5d20e5b1b8725514f9180ea", "proposal_digest": "84fc63052e3a100594bc7d5d3af1335be4abc236c608b7ca998b0e25582a3aae", "selected_assignment_digest": "cd4077536c512910a733e57de814f97d588b1ec688f2ed093e029261652403c3", "selected_energy": -27, "selected_semantic_trace_digest": "16b431b0725a817503732703ab731eb11b337ca64cedca83792704a375bf9043", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "5633c1a7cad5d8c517bbe5a6dc0105d0c3eb69cf0cc5b71e8166d5b4566153ae", "variant": "AI_Q_d2" }, { "base_problem_digest": "dac08a1ab373846ca933435556fcece13fd9477d31fa6d2c7c4107288a308db6", "checks": [ { "native_receipt_sha256": "c4b523b94a56fbbc0aa98a52479981b6a85f6fc925118db9b371c1233f7b3871", "native_result_digest": "7cdf03013316c7ab3e342533c2322fb7cdb4f145b68f73856a2a24256b31f76f", "selected_semantic_trace_digest": "704df1e2a0d968f12d92c6d35a05a0964cd840158d532d1d9ad197404ec7a53b", "stage": 1, "status": "VERIFIED_FINDING" }, { "native_receipt_sha256": "b6aee72bbb604db67646d7ebe9999406f97e0554bf5418778a43d221b4665f35", "native_result_digest": "1913dd745961b6d95daebe6d74d5e49673ba53e552e2639be108bc8d21018b50", "selected_semantic_trace_digest": "fc8fce47bf1a275aa6b50df912175619be884f5701b748d0357e161d59fde1a0", "stage": 2, "status": "VERIFIED_FINDING" } ], "condition": "controlled_fault", "failure_category": null, "id": "E070", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": true, "verified_finding": true }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "39ef7ca00d9f26c8e22c306222e329daaf685deeba1c75598b7e802332b67b14", "model_response_sha256": "1bac4eb13ba6ad7b43fdf14469919d2dac5430345bdb59cb72ed58d982f23a0e", "proposal_digest": "84bb2b7187844723819ec9ec66ef6a21fcd67516fdaf6261b59b06baf8b30fbf", "selected_assignment_digest": "71345987c3854567a7e54b15d5a4d716f38f608ada7081de92303a22a273fb4c", "selected_energy": -61, "selected_semantic_trace_digest": "704df1e2a0d968f12d92c6d35a05a0964cd840158d532d1d9ad197404ec7a53b", "stage": 1 }, { "compilation_digest": "0382056a58e97a58b0f7c2df00814f3bd31471fbdc959a3d7872044361e2ab3a", "model_response_sha256": "012fd67a3f6e2ecef3baf2a3d593814baf3eb2bda1555d03ab3e71cf578cb9a8", "proposal_digest": "d4cfc900cd6d8dc639a326340a569680f77622e916b3eebfa70d5c797ce97bad", "selected_assignment_digest": "038eea4980b5b15809a14fe346eac0b72f15c37b233f2ff24f656368c597ae67", "selected_energy": -62, "selected_semantic_trace_digest": "fc8fce47bf1a275aa6b50df912175619be884f5701b748d0357e161d59fde1a0", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "b4e8065ce243c58ff5cbda483734dc93d1671e691b7c67d1a110cba342998e58", "variant": "AI_C_d1" }, { "base_problem_digest": "dac08a1ab373846ca933435556fcece13fd9477d31fa6d2c7c4107288a308db6", "checks": [ { "native_receipt_sha256": "39cd414dfe244ee185a1ffa73f8907ebbe65be27a02bb5bfb280922dd34b1f0a", "native_result_digest": "4eb2be27d30454daf31382f71a35ec24c4e9d175b9aa3fd842e5eb9d6d758f16", "selected_semantic_trace_digest": "28ccf5a51291763135c75e721660457d1709b448c8422e38302e8099d8c9bd45", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "a8ebcc92ffed788e803940f2844e3ae6c886c63c517cdbcd7d707610ff4c5237", "native_result_digest": "319c6797d3da92b98a7447f6def4e872db1b4270a4dd0c2199dc04aac269ced7", "selected_semantic_trace_digest": "fc8fce47bf1a275aa6b50df912175619be884f5701b748d0357e161d59fde1a0", "stage": 2, "status": "VERIFIED_FINDING" } ], "condition": "controlled_fault", "failure_category": null, "id": "E071", "outcome": { "missing": false, "new_at_stage_2": true, "observed": true, "stage_1_finding": false, "verified_finding": true }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "a89112f83d1b9bf091cb730a4556eb43153b6bbe66b021673f02788aaefb28d4", "model_response_sha256": "50e15aab65f5c87305af6fe3c690608df1a10331cc3a1bb66326f677bf210546", "proposal_digest": "acba6034d11484b5cc2b68f3fae1547113e9e8d137eb4a7da984658f83202a5e", "selected_assignment_digest": "8411d453fcc445b24ff02c567e84c980fcb1070e285a54e04ea55005321a8cb6", "selected_energy": -54, "selected_semantic_trace_digest": "28ccf5a51291763135c75e721660457d1709b448c8422e38302e8099d8c9bd45", "stage": 1 }, { "compilation_digest": "0c913cf116aa33cd89fa5bf61a2bb6dfd75a45293bd0678d8ae76d0c071d7bc9", "model_response_sha256": "69746e2c389f34b1161a5b9f708790cbdd391c883363cdf147e0792d4e38f0ed", "proposal_digest": "33fbbee5f827bf3200d3e14fb8fff67a44cb103f1d341f9ebcb772cb8b092a0b", "selected_assignment_digest": "038eea4980b5b15809a14fe346eac0b72f15c37b233f2ff24f656368c597ae67", "selected_energy": -62, "selected_semantic_trace_digest": "fc8fce47bf1a275aa6b50df912175619be884f5701b748d0357e161d59fde1a0", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "775abdb6167c127a4155b492078f7f65a3c149c42f882d6bd650a98a69d8022d", "variant": "AI_C_d2" }, { "base_problem_digest": "dac08a1ab373846ca933435556fcece13fd9477d31fa6d2c7c4107288a308db6", "checks": [ { "native_receipt_sha256": "9ee9625dcb8793cd0b7d3d2b0c78218cd989dc9e9bf682f346ed8db09782dabf", "native_result_digest": "5c4b62afd223f8b99c3bc2e83a5ea4506cc7dcf428a75aa8dce0a1ad2486ba83", "selected_semantic_trace_digest": "7fcd0dba50444d7a3536e729259322de5b93083b2cd40325a2b29659734bee10", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "2511a0ab13100c06d77b9f9e7ae6239ef62b2715032d5e92df173350491be23d", "native_result_digest": "238f2d453d664c145bc97ad359fd59179d64b04dbb4928341110ce88d6608b73", "selected_semantic_trace_digest": "7fcd0dba50444d7a3536e729259322de5b93083b2cd40325a2b29659734bee10", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E072", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P06", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "7fcd0dba50444d7a3536e729259322de5b93083b2cd40325a2b29659734bee10", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "7fcd0dba50444d7a3536e729259322de5b93083b2cd40325a2b29659734bee10", "stage": 2 } ], "stratum": "S3", "terminal_record_sha256": "9534c9b384ac9a2c1de1ed41256d46ad2c6175b88d16898d35866bc3ccb1a638", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "e5c9cde958bf2f5f62a1643d2a97e1ea4790d694f1b31dac4abf350bcd0421ed", "checks": [ { "native_receipt_sha256": "938fd871e7ca90e0e6df8b7d8a72341a963d24eba06a201b77b55a3cba231ec7", "native_result_digest": "550a038df917123d294d5ea1e9fd789ab85b137ef3f750ce05d7468feeeaad4d", "selected_semantic_trace_digest": "bcd98bbed929ccbc622d962c96fb376ee1393c68f0533adcab0de7535d38a205", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "f64dbccc63cc797039ddb62d805383ba19b5a0d50ef20e5466f6614035987bdf", "native_result_digest": "701bcfe29606c31aa19b2783c30ca4d25b3bd3488b16a09508ab271aa50a238f", "selected_semantic_trace_digest": "09abd5666572d8b3f53965f650bb1e20f40db3312966790d76368ad5da7a5dab", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E073", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "a5a5275790623adc121293806d5d4e869e256e0e8e75ca52f09a9be756824925", "model_response_sha256": "ca6d047f717c8ff057d89197cb437859e0e27540887a527e9a1e55345bf812f4", "proposal_digest": "6a02639affbfe5665bed1c4fe99b7f3141233f6b6db769f2e3091d1e65bc9bd5", "selected_assignment_digest": "4d60625ec23031c75c4202780b6dd7a807e379209a9e4b12506612d99aac3087", "selected_energy": -18, "selected_semantic_trace_digest": "bcd98bbed929ccbc622d962c96fb376ee1393c68f0533adcab0de7535d38a205", "stage": 1 }, { "compilation_digest": "1e12f23981724ef2e14797998c6a18e52cda94a31876387ca396befb41200746", "model_response_sha256": "ec79fe05073a54d91c0ec8907aa04701a522fcd3d529cc6b1a629e66524f03a4", "proposal_digest": "552578115b7fab3c9b76ecb309c5c8382bebf4c45ff3198ab0fa1d09a17bd990", "selected_assignment_digest": "13d57ee621869f29b09e6ca32c855e6b79d766a92e3ca170eae7826544972dec", "selected_energy": -14, "selected_semantic_trace_digest": "09abd5666572d8b3f53965f650bb1e20f40db3312966790d76368ad5da7a5dab", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "8efc20d52f7ff704d2b67bfdbd321a9e3a3960e04b936bc5e84755d56ae56a02", "variant": "AI_Q_d1" }, { "base_problem_digest": "e5c9cde958bf2f5f62a1643d2a97e1ea4790d694f1b31dac4abf350bcd0421ed", "checks": [ { "native_receipt_sha256": "d785943343f17b36ad515777ea22811b4e1cd6787e0ad561e2fbd55cd344ac50", "native_result_digest": "d9f6c5de12a2bf4d19de42921a22aaa0a2c5b9d0bfb7d6012dedfefeff0f737b", "selected_semantic_trace_digest": "bcd98bbed929ccbc622d962c96fb376ee1393c68f0533adcab0de7535d38a205", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "1668dcc51c2158ceac2cb5638b1c7419d0728107b58f6a7b97ef41a78ecf28b3", "native_result_digest": "a13f5027d57efdbd39b74aa6aafea084c488dd0df0030abdd0f5fa9afb2741cc", "selected_semantic_trace_digest": "d635abaca861b70637bef9e185bad57e8427cc7a3cfc5650fa99ef7a34875719", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E074", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "a0561c6bc1d8ac090e717b2d131014458391312a8e09c3789a5c98cf573e9803", "model_response_sha256": "a5b76a007b20b43d8d97013038cc5d53098e6831ab95356f74cb59bc2ce41c22", "proposal_digest": "5e6084968830c22c2a02492075bf352a6d133ea04bd8f8c9ff1dea692aaa6477", "selected_assignment_digest": "4d60625ec23031c75c4202780b6dd7a807e379209a9e4b12506612d99aac3087", "selected_energy": -16, "selected_semantic_trace_digest": "bcd98bbed929ccbc622d962c96fb376ee1393c68f0533adcab0de7535d38a205", "stage": 1 }, { "compilation_digest": "075465d8ded4f5067af74037aaedd88e4f49fce72233236a3aa291911884480c", "model_response_sha256": "37ff7a48b3277d849cf9ca9093bec0faba9147e68f1b988d0530204cc5149e45", "proposal_digest": "c85ee438f15753be4221c15f75f827d98f95b3d604bcbb2577aa15ba7c6e37d1", "selected_assignment_digest": "e39b4d89717104db3fd7568ea92810dada8c67beaa061832a9049f46f7aacd38", "selected_energy": -14, "selected_semantic_trace_digest": "d635abaca861b70637bef9e185bad57e8427cc7a3cfc5650fa99ef7a34875719", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "e3b4570d46ef544069ef1a24fe396137c1d1a18650a151a86e59ebce9c107660", "variant": "AI_Q_d2" }, { "base_problem_digest": "e5c9cde958bf2f5f62a1643d2a97e1ea4790d694f1b31dac4abf350bcd0421ed", "checks": [ { "native_receipt_sha256": "7ef8decfcb478afcd78f8432484415e6494735fa33757f43919371ee348a473e", "native_result_digest": "33568965c2bc93e0792a693cff662f110ef3bd2489e69ee6ac9b73dd4cf66ccc", "selected_semantic_trace_digest": "9198a722c56a97cc04c3298ddf6870dd0c2b2835bbc745d3b14354e1db2536bc", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "3b148c746bca0391866d0e1617b63838383c535fada6a8e057918eb4b77edfd7", "native_result_digest": "75703d11e7002bfdabbc288bcf2c733c4206bd637ba55f760068e405567d4297", "selected_semantic_trace_digest": "499c19a8b7074c648ec942dc3aee846836355f613243afa752ef247863aa7c23", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E075", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "8dbda2aa5ad37aab12f0cb4dd21de927931cca1e73a11dd5224fb4d10928ffc7", "model_response_sha256": "5067c0f595b2f62d5e81e69aca911ec7fbde8c862cf57a9b3a86ab89f4e9291d", "proposal_digest": "8ec4e980c138eeff057afbf26ea0b5c6e5c66ab68f7d836d7e4612977474c0a6", "selected_assignment_digest": "7b829ac721a2084cb1165b1a3c2fbeef371ffdf13e321b7af32d88f55270b24b", "selected_energy": -39, "selected_semantic_trace_digest": "9198a722c56a97cc04c3298ddf6870dd0c2b2835bbc745d3b14354e1db2536bc", "stage": 1 }, { "compilation_digest": "7140feef203981587139ab993cdad67d1fbb4872e62edc28077674bb39513a7b", "model_response_sha256": "9cb5bb9062429661350bf48fe9b1891c2a22fe54cd975a72a29615f23cd5a3c4", "proposal_digest": "4c255b1ee5376ba611479880d95778a276dad60a4e4075d72b12d59c9e0d816e", "selected_assignment_digest": "ad74f45aefffc14fa987c13bfbea09c77d9fd948e94684ca6f46a789c86e65c6", "selected_energy": -41, "selected_semantic_trace_digest": "499c19a8b7074c648ec942dc3aee846836355f613243afa752ef247863aa7c23", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "bb7b0a91b6023bf8900b6dc385ce0a3abfc13b68021b93587aba5a37fcb69c9f", "variant": "AI_C_d1" }, { "base_problem_digest": "e5c9cde958bf2f5f62a1643d2a97e1ea4790d694f1b31dac4abf350bcd0421ed", "checks": [ { "native_receipt_sha256": "30e417bce7ccccb264e14367a224f450eaaf1aa5f83eba7140382c18f6cd860c", "native_result_digest": "f75f1dc6ccd0ad8892ad3947efa2c279147290df8414e8360e533617a2c79fc9", "selected_semantic_trace_digest": "6a6ea717f83637b0503aba7e15dc405877fd64d2cd6e997729269e91e14f1899", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "48461fcd344104c5edf3523d4462c4cda984f0e3a3d4cb5bb488bc4d500aa61a", "native_result_digest": "996b961c832a283fe4927f07ca9f0957d32967b801d7debc92cc98a3b6e09a8c", "selected_semantic_trace_digest": "962a37673723d3d025bd7a697aadb98ccf5f35a1742cc7d5f071da420b470065", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E076", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "49720250df041142ae2658554d588e534d5a828e6412e37c7c0d96b166a81103", "model_response_sha256": "d648f231e92a998c07510c5791e6ca68baac003c33eb3f2d8423d20fd5931f39", "proposal_digest": "b49d2e3399737e322d509a8d8d70001a1439fa17b1af9ede93cfce8f19171d1a", "selected_assignment_digest": "8f32bc21039290ad53d055b46a08eb46e064d40ae279faf279bc3c57676a7042", "selected_energy": -39, "selected_semantic_trace_digest": "6a6ea717f83637b0503aba7e15dc405877fd64d2cd6e997729269e91e14f1899", "stage": 1 }, { "compilation_digest": "a85a09d667daf3b40fbe5ff12ba0a32059cb79e7a8f97ac00b0f092ba9dc4f2f", "model_response_sha256": "7ad9b1eaa9634edd9dc707cf9c186bd935aba06d65327478294ec74546a5b3b3", "proposal_digest": "d67840f8fbd36ced9ee700f836cdd4be302eb07b46715f0374956c953cc71c39", "selected_assignment_digest": "417d11ef388770d2d61552b8fb5e27811de80f447bac3facbc79c067eacc89e4", "selected_energy": -41, "selected_semantic_trace_digest": "962a37673723d3d025bd7a697aadb98ccf5f35a1742cc7d5f071da420b470065", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "5f15543a154b7123af9e32d7a0c313b2649b01f1ff78f899d0e9c3d7aa1f137e", "variant": "AI_C_d2" }, { "base_problem_digest": "e5c9cde958bf2f5f62a1643d2a97e1ea4790d694f1b31dac4abf350bcd0421ed", "checks": [ { "native_receipt_sha256": "f083c4a000ab120d92237db50864b46f9a2fcfda6f3c380a28806ac92627e43f", "native_result_digest": "bd247af23c9bb9c68b68c46a4c8e063dc2a8572a5b878f6921d622cf0f9ead32", "selected_semantic_trace_digest": "2753c6fb45f64f0e032baf219bdb88bfc5a8275adb62e3b29fb4c2dd512d367f", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "85cccc092de2b349e8cf4c85ed97deb336ec2fe7eeaf83bfd175f19ae81327ef", "native_result_digest": "3f1d2b0bac57451f6899e4692d621e5da5557f720e26711f335cbe126a8d7463", "selected_semantic_trace_digest": "2753c6fb45f64f0e032baf219bdb88bfc5a8275adb62e3b29fb4c2dd512d367f", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E077", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "2753c6fb45f64f0e032baf219bdb88bfc5a8275adb62e3b29fb4c2dd512d367f", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "2753c6fb45f64f0e032baf219bdb88bfc5a8275adb62e3b29fb4c2dd512d367f", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "d8b602da998ac1e2a896c8963d783bbd2fa6c30ea039f0e75dab79b9c179472e", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "e5c9cde958bf2f5f62a1643d2a97e1ea4790d694f1b31dac4abf350bcd0421ed", "checks": [ { "native_receipt_sha256": "27f5a1f7efa31b570de699c87c6ac15bc4abf0b0c26396d3c3c1c8d6fad6c982", "native_result_digest": "51bbd17ae13a4a57dadb192459808e69bcced1b72b875d73871fff097e07e202", "selected_semantic_trace_digest": "2753c6fb45f64f0e032baf219bdb88bfc5a8275adb62e3b29fb4c2dd512d367f", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "7bbe99fd364dade6acc9a46bf4361dbd874758ab7d2e37584ccc7fd9479ef85c", "native_result_digest": "2f1e6b0993254466a5e6d61900f94d14fdcfc55cc8ac5c3a8b83ed5a4d62ac31", "selected_semantic_trace_digest": "e064df208d2ad7ae8842aed7c361840a2653aa328ba851f32a2d6279eddeb309", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E078", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "2753c6fb45f64f0e032baf219bdb88bfc5a8275adb62e3b29fb4c2dd512d367f", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "e9dbe057f5e034a469b15f16c5a993f4f1273c385251050b06538b732fa8f858", "selected_energy": -1, "selected_semantic_trace_digest": "e064df208d2ad7ae8842aed7c361840a2653aa328ba851f32a2d6279eddeb309", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "12ee66a72430d5278797ae2d1789ef5632700d0f7e3fd963c4d6fd798982df51", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "b32614f258d18d868cf6fac16db697e8c6b5f06b6cef8de7dfb13b25ec0b98b9", "checks": [ { "native_receipt_sha256": "b4acbbc7de0e2b6ebfdec06b7782ba5a483e75e81a17608d6cbb55974b182dff", "native_result_digest": "d7c257a5d5b91fcd12ea4d6407317335ef0259d384c8dab509a6ef9260ce5865", "selected_semantic_trace_digest": "6dcb06042d13399fa0b661d2aa569122484e8dc5be21f6190ae593159876fd58", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "ce4164a9fee463bb49bcc7a41b00d091f426c95c211f76b78729e005b61ed626", "native_result_digest": "05adb1289f1d4acc8890694bf980c15640936f03b377304d19c3948fd9459335", "selected_semantic_trace_digest": "1bce0405801753008dcd04a389c73ec504d85a3d20c73ba09844886e82a50e84", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E079", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "afca11e7234247b8a2ec4f632f82561cb1c2fc32f6a66c199ee814714a14e576", "model_response_sha256": "b5a83e5c090480e6138fd5caf12c8892851b8157eaafd9324cf667d0e3344dd8", "proposal_digest": "df79669b761c91925a1d031589a02c333adc281d19d5a4e5d3e59f3753a75fbc", "selected_assignment_digest": "0068ce8bdb77f0e91bffdf73402ab8f0358dfead6259a9ae5df5cc6001365235", "selected_energy": -18, "selected_semantic_trace_digest": "6dcb06042d13399fa0b661d2aa569122484e8dc5be21f6190ae593159876fd58", "stage": 1 }, { "compilation_digest": "847db2e23cf9bfe2dfd15769e13c138e8d13c744ae3cb1a77bec25583d02c0ef", "model_response_sha256": "2347f7e9c998c7b3d78c2b4fe4b4812486a76c8078269a9b4d0e17a655ec4ba6", "proposal_digest": "0a50be1158c80ea83a22b0636e2621bf2ac04e75c363063e6f15c1ba16cae9c8", "selected_assignment_digest": "b0a3fb73614c4ae9f7a3d186ffcf4cf136f83bed382d01c05cf79905f70ecd2d", "selected_energy": -10, "selected_semantic_trace_digest": "1bce0405801753008dcd04a389c73ec504d85a3d20c73ba09844886e82a50e84", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "f233816057e9dc9818f4423f11bfbf9e298464b3ad0da2c2df52a3118e8a8dc9", "variant": "AI_Q_d2" }, { "base_problem_digest": "b32614f258d18d868cf6fac16db697e8c6b5f06b6cef8de7dfb13b25ec0b98b9", "checks": [ { "native_receipt_sha256": "08c1d6f0e5f0f8e61c85530561d8ce010c04f46eef42fd4593fb77417d259a8b", "native_result_digest": "7335240306e5befdba4e503ee1a86e034134eb8f5f658fca7f84fff8048ac634", "selected_semantic_trace_digest": "6261170618ce3e9ed93c770df26f91eba074760e3dd029188517c588ca9cc9da", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "745514e2b22ac4494bd9fdc72c1f520c36f8955209b2578a9017273fccd2bafc", "native_result_digest": "524751155598de2f7401c87118a1754d24e6f6891077d2530d1ff7286413be6a", "selected_semantic_trace_digest": "31485ea8a67de4b76fb960a07b527f0e5e7b9034b88886f83ff1b3bb1ea7bf1c", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E080", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "d36a0605826f1c0738c01756f4012c79e152c00ee5a8dae1c008c576a41c5f0e", "model_response_sha256": "75189749c6aaf92567e5396ac5b6d0e0f02cf6c29d0fe301ab8fbce4bd696604", "proposal_digest": "bd88621b867e220d102eac75aa75be1c6fee9020f1fab3ae1925d55ea61438bb", "selected_assignment_digest": "7b829ac721a2084cb1165b1a3c2fbeef371ffdf13e321b7af32d88f55270b24b", "selected_energy": -37, "selected_semantic_trace_digest": "6261170618ce3e9ed93c770df26f91eba074760e3dd029188517c588ca9cc9da", "stage": 1 }, { "compilation_digest": "eaabc38b191ee5f926d688549b6fae1bfabc374e4281b296a835eb0cab70a006", "model_response_sha256": "ea7923ea89df494f1901bee6b88796ff2718f1b61b5d3fddd2d627a0c2e28bf2", "proposal_digest": "fdeb6464bab4630f3cda156383e52cf31cd88c521f72f1bdd2a739297799f00f", "selected_assignment_digest": "8f32bc21039290ad53d055b46a08eb46e064d40ae279faf279bc3c57676a7042", "selected_energy": -37, "selected_semantic_trace_digest": "31485ea8a67de4b76fb960a07b527f0e5e7b9034b88886f83ff1b3bb1ea7bf1c", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "07d6c2773f9b6d5a6d022b92f5f592043db954b84b031137235c916aef15d3b6", "variant": "AI_C_d1" }, { "base_problem_digest": "b32614f258d18d868cf6fac16db697e8c6b5f06b6cef8de7dfb13b25ec0b98b9", "checks": [ { "native_receipt_sha256": "b91a7acd0e8790c4f605de9388e51d07b4d4d9bf2a8fc64cabe9688b43e14f2f", "native_result_digest": "cd9ddb7180540b7f606fa6891facf065c2b8e851888909bd1ba2c91ec66611aa", "selected_semantic_trace_digest": "1bd99a198327e9c78cb5d12182b9116e79f7c0347e09f9ad55e602a55163289a", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "6277c922661202b765c52d90aa73aea3ea209f7cd98844299d096546b47343fe", "native_result_digest": "0f184d871a24c93461486892eb19b089c5baf2995834afa92c532c9ee81cbe76", "selected_semantic_trace_digest": "fce9f94cd23e8112ba81c22f4bfbb16a8cbf7a1bcc9d306045bf6452ae0b93a4", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E081", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "cf993d48b31f481e6f163337e46a99737014dfeb53175552e5075f180c78b7ad", "model_response_sha256": "e343a2bdd19d4780bde95fada9b2bbb01e5155a183993a361dc26e66bd0172ce", "proposal_digest": "eb17d2a795d081b5bf5c352a10bc01eb47e9567b6fe6ba3d44854ca955c9d502", "selected_assignment_digest": "417d11ef388770d2d61552b8fb5e27811de80f447bac3facbc79c067eacc89e4", "selected_energy": -40, "selected_semantic_trace_digest": "1bd99a198327e9c78cb5d12182b9116e79f7c0347e09f9ad55e602a55163289a", "stage": 1 }, { "compilation_digest": "c4793c07e5352c7de133b47c7c97ce44edf19c72d7bbcff2f4e292cb88549b98", "model_response_sha256": "e6e1ca9197b866fe25cac10bbaea259aaf80bb3fb7fda18677ed6f0868c2e6e6", "proposal_digest": "7dedb5a0565f25629d9a9f15eea9cc065c629dbcf79520add5441db390213850", "selected_assignment_digest": "54b3beee983f8aa5301fa3178a008a2d45fe2df01bbba51098f9f10bee027649", "selected_energy": -39, "selected_semantic_trace_digest": "fce9f94cd23e8112ba81c22f4bfbb16a8cbf7a1bcc9d306045bf6452ae0b93a4", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "5694c34be199d96547c463648d4e1f16f63c61fc18eaa378c0f4d6bd37912f88", "variant": "AI_C_d2" }, { "base_problem_digest": "b32614f258d18d868cf6fac16db697e8c6b5f06b6cef8de7dfb13b25ec0b98b9", "checks": [ { "native_receipt_sha256": "b2687c53effca4e4704f94e6611403b099e0a25cfb4d9ef4a28ebae0326b61ef", "native_result_digest": "8cc644ecd1dcd50a7e4351b6324b45e4705e59d071b3dd3f2f215df9b22c7d82", "selected_semantic_trace_digest": "c014258003021949cac5f8109fc9b9e97b582964f5d8fd00b4ce08ceb06aa4de", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "51ff2fce46ce469fb3be4e850f3af4db1233d796bf4b52f0631234b1f6686a06", "native_result_digest": "651e03d06872a8d49a286279919bb65ba3ed0b5ea259671fcb9e74be264ae5e0", "selected_semantic_trace_digest": "c014258003021949cac5f8109fc9b9e97b582964f5d8fd00b4ce08ceb06aa4de", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E082", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "c014258003021949cac5f8109fc9b9e97b582964f5d8fd00b4ce08ceb06aa4de", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "c014258003021949cac5f8109fc9b9e97b582964f5d8fd00b4ce08ceb06aa4de", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "a3a7796ab2d0e01c24564717bcc0e527509659005a7c9f9e23bf202ea88b8246", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "b32614f258d18d868cf6fac16db697e8c6b5f06b6cef8de7dfb13b25ec0b98b9", "checks": [ { "native_receipt_sha256": "8b1868c6026476c282c01748924802641fe3bf785aec8263d095d2dfd63b2af9", "native_result_digest": "becdc9a434a6ad3ef474e3b72ba61cbf2300414d8516ae2a62bdbab0dd83ec89", "selected_semantic_trace_digest": "c014258003021949cac5f8109fc9b9e97b582964f5d8fd00b4ce08ceb06aa4de", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "2777f819a1c02663ec69c3fcb36bdc1cd99857e0f4e0ef388cdd3d3688ef3aab", "native_result_digest": "55cb0b1fb94ac3a0516a24741b9e2559fd694596016badbc3c82b44b04b5540b", "selected_semantic_trace_digest": "0fc737f07a51527ca56c6a1288bede8f61b7a06011e70ee7547bfcc4991e2a28", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E083", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "8a2be1c6cf979cbe112c3e3acab063663ace45669a56951fd2f759431c41ea7b", "selected_energy": 0, "selected_semantic_trace_digest": "c014258003021949cac5f8109fc9b9e97b582964f5d8fd00b4ce08ceb06aa4de", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "e9dbe057f5e034a469b15f16c5a993f4f1273c385251050b06538b732fa8f858", "selected_energy": -1, "selected_semantic_trace_digest": "0fc737f07a51527ca56c6a1288bede8f61b7a06011e70ee7547bfcc4991e2a28", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "74dadbc219f573e0ca30df3904224fc09efa94ccf5c5e6001e3b91f8345e8c0f", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "b32614f258d18d868cf6fac16db697e8c6b5f06b6cef8de7dfb13b25ec0b98b9", "checks": [ { "native_receipt_sha256": "3be6791be2379c3259d4e976aa615d700954e188441101c92b44ebf1e362171c", "native_result_digest": "29ac701a412f6cb9c5f842a018bfac34116c25022c78a332a6bbb224e5234ca6", "selected_semantic_trace_digest": "809cd2e1db32938b012d7ad5a43a3961ff2c7a6fb821cd84a7d715c634305add", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "1e41055cd07a5c3d4bc91cdba9a169e6860f00355b98db7e106a561c37fd8378", "native_result_digest": "6508a3ec5d9f1b7d23170fb8639f3c16a8f3d6fefc584efe1bc627f326435491", "selected_semantic_trace_digest": "e92b904360abe2bde61ca020eff0c1e2197768610110e0b1df1068a00f7f43ae", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E084", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P07", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "7e9dcd4dd2a11767ec084cf4cbb5faf3d151aaeb2f0389ecf64fe2c500bbc8b8", "model_response_sha256": "3653841e51a72ac7008fcb74717115e1b3aeb1729d02bb5bbc5bc4fc09bfbbeb", "proposal_digest": "1159c46862df4e7de49262bd97ed225d38dbfee4ff364301afc9547f56ae2650", "selected_assignment_digest": "30a07a3414aa3483f1a5a82d389a213e41f2013ca6d3c523c511512e192c4f5c", "selected_energy": -13, "selected_semantic_trace_digest": "809cd2e1db32938b012d7ad5a43a3961ff2c7a6fb821cd84a7d715c634305add", "stage": 1 }, { "compilation_digest": "0beead22ff29909d149c6146b1989ce212867658f741dd1b219fac58286efc23", "model_response_sha256": "1baaf7bcdd40117bca475c246e3dd4c4d0978f00d75f1a84434988b00f71c1a8", "proposal_digest": "6e39093d4e9468e5d1e33fd2727606aa75f7c58925dc37fd4a78e217a13d8c1a", "selected_assignment_digest": "8cf2a327838d722ca8dab0cdffc9c3855eb7300bcb870e7f933360ce477dff62", "selected_energy": -16, "selected_semantic_trace_digest": "e92b904360abe2bde61ca020eff0c1e2197768610110e0b1df1068a00f7f43ae", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "8392df50a6c294fb8c74e5f4dbe8052241ff81e7be140c74c76ceeba14108580", "variant": "AI_Q_d1" }, { "base_problem_digest": "6aca394a34501866ec025e3f50dc19e54c53023796fc9b94d767d8851277b072", "checks": [ { "native_receipt_sha256": "824d70124c570eaea52e1c076d491a8d07bc094bd323d5138afd18f98518e2a5", "native_result_digest": "eeb45ff762240e5fbde8534f56210d4262871caa1fcf5de7403563da173df179", "selected_semantic_trace_digest": "bf82e1f2abb559f30f2d3919f91bbd62b15d4419b5b241e802bbb3cf099e932d", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "36eb6e215a70baaf0b25043b303db16aa42f7dc31bc31304bd64a859bdb759ab", "native_result_digest": "83630f94041f90a98740f43fe8c5bff9b355fda2f14f39f9c8db6f2ed81cd1ba", "selected_semantic_trace_digest": "bf82e1f2abb559f30f2d3919f91bbd62b15d4419b5b241e802bbb3cf099e932d", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E085", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "2e669e4313930c8a55106a124c0e806fea1290167f1ee33d4261bab24da24622", "model_response_sha256": "c76a8d4d1d42549b2ee55d93ae0fcb4462c0b1e4fee57cbb0de0855dc0412685", "proposal_digest": "f67d2af97d86bd135625f2a8841ae38240026d73bd35a42e27bad7884af9f6f5", "selected_assignment_digest": "39e6264f3b9ef2f86086048aabb3f7e5a9b09d4aee5f84cccc2b2bf53951ab03", "selected_energy": -60, "selected_semantic_trace_digest": "bf82e1f2abb559f30f2d3919f91bbd62b15d4419b5b241e802bbb3cf099e932d", "stage": 1 }, { "compilation_digest": "903109bc4671a95d4e781c7ddfa7f0de4106f3b72ee6d030022f0ac18e314e50", "model_response_sha256": "83f9fded1f511e49678d6348776b5bf01d3d2bb473d711d450c6e26bde2e5d03", "proposal_digest": "325b1ee6e6adfd2c445c3bc40617f8ec2390af953f54e312792b78c93593338b", "selected_assignment_digest": "39e6264f3b9ef2f86086048aabb3f7e5a9b09d4aee5f84cccc2b2bf53951ab03", "selected_energy": -61, "selected_semantic_trace_digest": "bf82e1f2abb559f30f2d3919f91bbd62b15d4419b5b241e802bbb3cf099e932d", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "80a97888fd6bdf9d7e9e3dabbefaae2934eee7131ccc82b91791b3df5fddc085", "variant": "AI_C_d1" }, { "base_problem_digest": "6aca394a34501866ec025e3f50dc19e54c53023796fc9b94d767d8851277b072", "checks": [ { "native_receipt_sha256": "ebb563e7a496f1166c90d1d36738f9bec6402221cf96fecf6ba2cf499bab06f7", "native_result_digest": "2f5e075a0b66af5ce1f626570f7a78ff4daf5a325bf958dfedb0c35ecee12af9", "selected_semantic_trace_digest": "dee611091029fec635d63fefad767c84637e96d988afe9172fe4eaaf93cadeee", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "7a9726880e0253dd1a58f0a13f5c3fd3eea0ffb04ce31c9c6f7d48dda0ad8b0d", "native_result_digest": "95615dd64baead686bdbff4a6d5d6d8e7b125bd2fab11db371cf89663dd2854a", "selected_semantic_trace_digest": "7a35a770c877f8e22318701987f9992694b119060d3acaa31808effcd9894a00", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E086", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "7f04c93118dd0beb35e68dc9c6ca2a1c749af3ad6692d4997c32617058c812bd", "model_response_sha256": "84d9d97f9f3faa48e476625d53bd3de98256d2ff5bfc1c4649e72850d53b5304", "proposal_digest": "91a87a0fd6fca1a44fdbde0e82aad3c2a7442e35e95d4a8f4de889d7010b9059", "selected_assignment_digest": "71345987c3854567a7e54b15d5a4d716f38f608ada7081de92303a22a273fb4c", "selected_energy": -61, "selected_semantic_trace_digest": "dee611091029fec635d63fefad767c84637e96d988afe9172fe4eaaf93cadeee", "stage": 1 }, { "compilation_digest": "e114d052f8ce1d50f6d825acee77ea8dd621c89a07192a2c712d29d4b3af6791", "model_response_sha256": "c0a8030aeca4dd9b5ec1977509e6e222845c7359b196522786bfd03466ef255c", "proposal_digest": "9463ea482130892c436a4e6fb2606ded0c382dcfdc5bcf66ba5f82686c4af757", "selected_assignment_digest": "5bf7630b1b2149ce66938f8179b056124dd25729d0a5da3d1cd2adef2bdb2eb6", "selected_energy": -62, "selected_semantic_trace_digest": "7a35a770c877f8e22318701987f9992694b119060d3acaa31808effcd9894a00", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "4ee43036342c3406d282f461a077e9bdd379d09636fdd83e9591a3763e837341", "variant": "AI_C_d2" }, { "base_problem_digest": "6aca394a34501866ec025e3f50dc19e54c53023796fc9b94d767d8851277b072", "checks": [ { "native_receipt_sha256": "3f40a07048f70904c331941735925b22ad18438e3028b6e7aa8f944c5967308d", "native_result_digest": "3cd9e7d3e81fc95858f299fc211a78319fb1ebf82e92f8f0d9ddba646a08fa5f", "selected_semantic_trace_digest": "a8bc97edae02c23733ae622eb490a40ee751ed23309761a33d803ccd1df79eb3", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "a7527a2e376bba8a05944fd0c3893d06ab382e5e226a53b302e75c3cad62ae1e", "native_result_digest": "474b71c9fc8587c5719ddca5914977681369e100fbff06ddfcb24e0a0e83b171", "selected_semantic_trace_digest": "c6d5200bfee7cca7890463364b1c62877f35fe425bad4008f2e065c1d6bd845b", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E087", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "9d9702ad19047076e2f9d66f59c8ece684529577bed4ffabf719bc2b6b5e8119", "selected_energy": -1, "selected_semantic_trace_digest": "a8bc97edae02c23733ae622eb490a40ee751ed23309761a33d803ccd1df79eb3", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "c6d5200bfee7cca7890463364b1c62877f35fe425bad4008f2e065c1d6bd845b", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "5eab7ace8b7a9e58e466a25fb576a23f74693a34d091d47299f4248476825061", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "6aca394a34501866ec025e3f50dc19e54c53023796fc9b94d767d8851277b072", "checks": [ { "native_receipt_sha256": "53e6d3e59b0a903b95cfae68605c080c1e8bf3ff7b65ff796565539cd78721c4", "native_result_digest": "16bcd0f94d256c908bf0d25baf4a31fb1b434f8e13d38328ae5f3738bba8b115", "selected_semantic_trace_digest": "a8bc97edae02c23733ae622eb490a40ee751ed23309761a33d803ccd1df79eb3", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "b855465035e815c36d12603b739b813f0fcf85780b96df9c479b45d0c4d16506", "native_result_digest": "47804babd280b43562f3c2bfe8895abf7accd62722c24ebac54e4b73e9ea296f", "selected_semantic_trace_digest": "c6d5200bfee7cca7890463364b1c62877f35fe425bad4008f2e065c1d6bd845b", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E088", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "9d9702ad19047076e2f9d66f59c8ece684529577bed4ffabf719bc2b6b5e8119", "selected_energy": -1, "selected_semantic_trace_digest": "a8bc97edae02c23733ae622eb490a40ee751ed23309761a33d803ccd1df79eb3", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "c6d5200bfee7cca7890463364b1c62877f35fe425bad4008f2e065c1d6bd845b", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "d4ef83d1896af961b569aba34428f7b97f6e5ab483c77caab6c758132cfc54cf", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "6aca394a34501866ec025e3f50dc19e54c53023796fc9b94d767d8851277b072", "checks": [ { "native_receipt_sha256": "4df2571e849d2df8843e22f6f9cb9551f0ecf8405b083a48d0b37937fc30c8b2", "native_result_digest": "81dea95e0034cefffd6a074e124db29d098f4e7f38f2a6b0dd6cf0f490671606", "selected_semantic_trace_digest": "b8e9109ae4fc0865be393df7396853850e81e127a4e7f86a49b1e6926e9f2d60", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "b6d6c7632bdeeb4d78c6d8e1edf30471708a53395552922cbb65a4f0f0a94b41", "native_result_digest": "001f867aeecccfab05d6ca9836daacd3bcb164cd77b670eb722b45b40e607f83", "selected_semantic_trace_digest": "af0ef69e0777d24f5bd1363de8bb1c8aa8ca44cda50193af7959c9c0dae79838", "stage": 2, "status": "REFUTED" } ], "condition": "pristine_control", "control_status": "refuted", "failure_category": null, "id": "E089", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "30c330dde4b495133b8c0ada12dcf19f52d811db5936809f04fa2791c17cf064", "model_response_sha256": "1daabb9a2e5bf5a06a0ec044177374c46de55f0596867cd9b7df1c3b2e038151", "proposal_digest": "bd4e7a64bc819701092d5bb0190af7808f7052cb481e83f8784d5af4abc51734", "selected_assignment_digest": "151efb0b097e66c44f40500fec7d51f2c4beb89ff675df43d5183fca1ec09779", "selected_energy": -18, "selected_semantic_trace_digest": "b8e9109ae4fc0865be393df7396853850e81e127a4e7f86a49b1e6926e9f2d60", "stage": 1 }, { "compilation_digest": "f1d54d99c5fec7930ac1041c45f205c1fed54c81425555e125d7d77f383c8e5c", "model_response_sha256": "502448844394bb97432998b60de7b21da6f9299e95c717f7526f1166b08dea9b", "proposal_digest": "609c52f03fc4165c43240bcf9f29924b7081431c2b76ddeec566e108ff71d737", "selected_assignment_digest": "c4f22aa995fd00fa2d3cf75ff926a50a06507d7d32f4eabccb8bba18ade2a67b", "selected_energy": -13, "selected_semantic_trace_digest": "af0ef69e0777d24f5bd1363de8bb1c8aa8ca44cda50193af7959c9c0dae79838", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "bcbfeff891d2230728ab8ce6dd152ba02dbd9e7eb7d81f491543216e44de23e4", "variant": "AI_Q_d1" }, { "base_problem_digest": "6aca394a34501866ec025e3f50dc19e54c53023796fc9b94d767d8851277b072", "checks": [], "condition": "pristine_control", "control_status": "unsupported", "failure_category": "observed_method_failure", "id": "E090", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "5cb88129d69a668c4ec5f216d9353d0e233e373b0f1a4e34318d50eb2dc5418c", "model_response_sha256": "1f0842a31becaad9e538aac16892800f4fb3bbd59f2c164403d3329467bf437a", "proposal_digest": "e6c964d0ace3291baeee189fec9859123a745d8edd7de32624a50cf47a235dab", "selected_assignment_digest": "bd4060a0b2c1ed6bb7fd1bef8b9fb0eccadfb8249e6db4d8c059d5dfe2c19e1e", "selected_energy": -18, "selected_semantic_trace_digest": "165f8e14da874e5600b2b426c4dc2210253f45000903a730facbe5af4060583b", "stage": 1 } ], "stratum": "S4", "terminal_record_sha256": "1d07a0caae95b6bb02eee5e46b0a23e5eab6e40d74424fb33aa283321ed521b2", "variant": "AI_Q_d2" }, { "base_problem_digest": "c70b13ac5a2e7d8b7b4c5f9abb826f20c602dd1e9a77428caba9f06dabf6e407", "checks": [], "condition": "controlled_fault", "failure_category": "operational_missing", "id": "E091", "outcome": { "missing": true, "new_at_stage_2": false, "observed": false, "stage_1_finding": false, "verified_finding": false }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [], "stratum": "S4", "terminal_record_sha256": "b3297f90ff3c8f599d8d43737e54762ca0f485fd860ae350cede083a2b7416aa", "variant": "AI_C_d2" }, { "base_problem_digest": "c70b13ac5a2e7d8b7b4c5f9abb826f20c602dd1e9a77428caba9f06dabf6e407", "checks": [], "condition": "controlled_fault", "failure_category": "operational_missing", "id": "E092", "outcome": { "missing": true, "new_at_stage_2": false, "observed": false, "stage_1_finding": false, "verified_finding": false }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [], "stratum": "S4", "terminal_record_sha256": "ab06bac05ae5cc42d195da527a6f671af56d150554489fdfdc2fdf793f19458a", "variant": "FIXED_Q_d1" }, { "base_problem_digest": "c70b13ac5a2e7d8b7b4c5f9abb826f20c602dd1e9a77428caba9f06dabf6e407", "checks": [ { "native_receipt_sha256": "af7294abc6e6e26945c8a4754d58d6215942e1522d01e257d0ecdf3863d97972", "native_result_digest": "e18c0f538c30a02b40f736857802398dc0b331888324525c61872e6a168eff59", "selected_semantic_trace_digest": "5a8a501de88977bfb104bccddf260021c2ddb17ce9ab5f72c93a70c85aec90df", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "411ede50379a653eaef2a47c31d21e318d1bbb32f0e8d7ffa2b285dfc9acb4fa", "native_result_digest": "51945a7ac325361a4944ef0e00453b24ca4a461d26178f5ad254c156663ec579", "selected_semantic_trace_digest": "65017960f6acc3e5971729532080c1eb1035234fe7557a0ff409f441a3aecf54", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E093", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "fbbfcad05dc3021da22a0a40d34dadacbbfad666722b77861e3fce918758efbc", "selected_energy": 0, "selected_semantic_trace_digest": "5a8a501de88977bfb104bccddf260021c2ddb17ce9ab5f72c93a70c85aec90df", "stage": 1 }, { "compilation_digest": null, "model_response_sha256": null, "proposal_digest": null, "selected_assignment_digest": "97045a5d9c69b7b66bf41ee505bf42eb3a7f7e0790b0384f072b2621182f0d7b", "selected_energy": -1, "selected_semantic_trace_digest": "65017960f6acc3e5971729532080c1eb1035234fe7557a0ff409f441a3aecf54", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "d99cde47c74db2de4be6d4c078afcd04fea419fbc2c8c8de3ed8284209586b9f", "variant": "FIXED_Q_d2" }, { "base_problem_digest": "c70b13ac5a2e7d8b7b4c5f9abb826f20c602dd1e9a77428caba9f06dabf6e407", "checks": [ { "native_receipt_sha256": "43050842c065f4f858600de4f33cef782c917b326b7f0bed7d41968f0e797c74", "native_result_digest": "ccddbab38e73e39df2383fa8886fd422144459d36f76af7f3c979bcef2d227cc", "selected_semantic_trace_digest": "eb1af5bc7b41cf8618f4ff2b5a1ecfc003b949b89a6cbda067917bb43242f5ee", "stage": 1, "status": "VERIFIED_FINDING" }, { "native_receipt_sha256": "59c8111e95be3365434621aa7ecb084690e7d7a8e26a626e5f872ae02d9fb7e2", "native_result_digest": "8ec2c5dbf0011bf03272d023e47b1f446fd8c0b8d2aea631e4f0340a5efdfa19", "selected_semantic_trace_digest": "b3667ee60edd832b65b87092c835b0b5ea31dbaa8a3d496c1e63d680e76cb1bf", "stage": 2, "status": "VERIFIED_FINDING" } ], "condition": "controlled_fault", "failure_category": null, "id": "E094", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": true, "verified_finding": true }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "207ddb717054ae2c08a092a8f09d27dc01fea7ceca7b4764b27728c7f8c8a9b0", "model_response_sha256": "0c3e07e0655fedd4218f69afc645f3982f8e674ce759f8341b3b23054833bf09", "proposal_digest": "d4c8d7d4d180f733c42b88442ae6c8611828fff430a67c77e44fe9943cc418ff", "selected_assignment_digest": "c22305ee0571532c279a5287f1d20ccd4fe16ba944394c5b21f71d22785c9fd2", "selected_energy": -19, "selected_semantic_trace_digest": "eb1af5bc7b41cf8618f4ff2b5a1ecfc003b949b89a6cbda067917bb43242f5ee", "stage": 1 }, { "compilation_digest": "f46a8d3617c117396d0f4bbe5dcab89543474120f9465a8e4ade9bb6db726f71", "model_response_sha256": "48537046590c826e361501db9724a4786259880c776f799cb330b18729b0fc57", "proposal_digest": "1cd7db42490416bbcdea47a2d6c3afb1874b0f7e8ab3feb007a2e54b82adc342", "selected_assignment_digest": "6d234aaeb02398e8297bb053a4f462240674e21dd6244d44b6f4e36dffa0b317", "selected_energy": -18, "selected_semantic_trace_digest": "b3667ee60edd832b65b87092c835b0b5ea31dbaa8a3d496c1e63d680e76cb1bf", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "6a83c98e964c4edd8c6b42feb3b8fc763a81bdd2909710c825875a12777e9687", "variant": "AI_Q_d1" }, { "base_problem_digest": "c70b13ac5a2e7d8b7b4c5f9abb826f20c602dd1e9a77428caba9f06dabf6e407", "checks": [ { "native_receipt_sha256": "8bed9974678feb54a5a2fde38f7051c7e7a41a67151a6e035f8972e3d9181edc", "native_result_digest": "91f7d1d17133f4566a6b299bcacc462d04e5deeff6b8627fa8d9c9e115fda5a8", "selected_semantic_trace_digest": "29311405b28178534cda9d418f1115863c2d6fdcc4d9215c982bab37801bc749", "stage": 1, "status": "VERIFIED_FINDING" }, { "native_receipt_sha256": "bf20cf7168068e9821352349fda7e740de13fad25eae7d53fcccf665f5195fb0", "native_result_digest": "7369b8660ce1acacb7ce0e85b51a62aedb73a17fbfd58b28cbc37012b8e59d73", "selected_semantic_trace_digest": "a5be98678c1588ae83fcd82aed5964af1a2a42a4cf47d8fa28eb44af72655c73", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E095", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": true, "verified_finding": true }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "201859e25d1b80b2c728f7f74949e0ea44cc0e5364874b541fb783ad4c8a9631", "model_response_sha256": "d5deb0bb7725e24657640c36db10a3498c197e73a25bbc32a808a941dca3e9c3", "proposal_digest": "ae450740ed9bc946fd23ef812de1f628d7acdbea313578c0901cbe0792bd114b", "selected_assignment_digest": "7e62ec451236c3e50a6b474a3f54da0a3897b92b86cfd93ab016cd66797a8011", "selected_energy": -17, "selected_semantic_trace_digest": "29311405b28178534cda9d418f1115863c2d6fdcc4d9215c982bab37801bc749", "stage": 1 }, { "compilation_digest": "01de057c7258f9082bd2bdf00623cefed4eae74d63506503c7023e99e2069c58", "model_response_sha256": "f5d344d1f8bdcaed01c0ad12188626bd3b13eaa05c915d7e54121680b4422a08", "proposal_digest": "b53b30f6b1f3855ecd7cfce54f1253b66e6504e995a837b523fc2f3eae627bc5", "selected_assignment_digest": "249d6821e42598c2473425339a60ff80e2a0f80e7d0801b2c98571738602288d", "selected_energy": -16, "selected_semantic_trace_digest": "a5be98678c1588ae83fcd82aed5964af1a2a42a4cf47d8fa28eb44af72655c73", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "6f39db7be451f9e61f3086af7663a82eef7ace4cc8798b77b576d3c8cfb5b021", "variant": "AI_Q_d2" }, { "base_problem_digest": "c70b13ac5a2e7d8b7b4c5f9abb826f20c602dd1e9a77428caba9f06dabf6e407", "checks": [ { "native_receipt_sha256": "4672b5399beb72523043d787d13d9c565b48f3a35b8c89f635ee9cdafacd2810", "native_result_digest": "8c3969bcb6ea1d8ce932f357867854966a9a88b702276c73205faf7eb6806c76", "selected_semantic_trace_digest": "beed0fcae0d0244920a1fdcc07380d899b852b17ba171f52c35164e46ad4d7de", "stage": 1, "status": "REFUTED" }, { "native_receipt_sha256": "89808df811cfed7f860b7806351499307c2e2edc214d83e290f38675ca7eaec4", "native_result_digest": "8241d7251a227b60fa02ffbabd7a3e0994ed45d8ee48c9379a2b5cfffcc3faf6", "selected_semantic_trace_digest": "588e2a710e370d441cd7de3accf00e89b5453bd70c2942b91f4c7d5543f9ae74", "stage": 2, "status": "REFUTED" } ], "condition": "controlled_fault", "failure_category": null, "id": "E096", "outcome": { "missing": false, "new_at_stage_2": false, "observed": true, "stage_1_finding": false, "verified_finding": false }, "pair": "P08", "source_slice_sha256": "55e96198306ca1f059b5c1f5efd115668f1216689e582024913d8ab3dbaec30c", "stages": [ { "compilation_digest": "ef75175cb6581cc6b3a957563acfd759ecf98b3fa11ac7704be40c8a506702c0", "model_response_sha256": "351277a27e701b9bb28e887c01c4c22d973cbc2441ca1cbddb2b48c49374f442", "proposal_digest": "c0cdb3fe9663209dc2df96a61a72d5e8f19e4e53de75c6c3d8efd5c6774dca50", "selected_assignment_digest": "71345987c3854567a7e54b15d5a4d716f38f608ada7081de92303a22a273fb4c", "selected_energy": -64, "selected_semantic_trace_digest": "beed0fcae0d0244920a1fdcc07380d899b852b17ba171f52c35164e46ad4d7de", "stage": 1 }, { "compilation_digest": "e0c5aeb9e4dc759e7daa22b0b7b027f25d4b92c282f6cd9c42e0af383671860d", "model_response_sha256": "85c2107bb9d5a511c2515cf312e5f1246d9842c4e9bd16c86689b522391c83f5", "proposal_digest": "2f1a4985e33e58678794e65e5cf21921658d042ca5a3e76bbbd6f2e900877be5", "selected_assignment_digest": "01422f3b4a7486a7dc40f3f5078b6ab62969a5e929a32528c43b6aefd93fb5bd", "selected_energy": -60, "selected_semantic_trace_digest": "588e2a710e370d441cd7de3accf00e89b5453bd70c2942b91f4c7d5543f9ae74", "stage": 2 } ], "stratum": "S4", "terminal_record_sha256": "f091dfc7c0e2e12861806104d42d7f2dc3636de0b1dc35a21d56274f11727fff", "variant": "AI_C_d1" } ], "limitations": [ "DEV mechanisms were previously exposed; this is exploratory.", "QAOA uses classical MPS simulation and cannot establish physical quantum speedup.", "With eight positive instances per row, one finding changes a complete rate by 12.5 percentage points.", "Two comparator rows are incomplete; R_C, D_DEV and I_DEV remain null.", "One Predator pristine-control episode has unsupported evidence; no perfect-specificity claim.", "QAOA selection retained the AI starting assignment in 30 of 31 recorded Predator stages; optimizer attribution remains unresolved.", "Objective energies from different compiled problems are not a common scale.", "Finding counts are controlled fault instances, not new vulnerabilities or CVEs.", "The descriptive differences do not establish statistical significance, a scaling law or independent replication.", "Four native checks on controlled-fault traces are INCONSISTENT; these are preserved and are not verified findings. The banked episode score is unchanged." ], "operations": { "all_three_ci_runners_restored": true, "ci_incident": "One CI job was interrupted during the first reservation race; the incident is retained.", "fresh_smoke_episodes": 12, "fresh_smoke_model_requests": 16, "fresh_smoke_native_checks": 24, "model_broker_closed": true, "observed_method_failures": 2, "observed_outcomes": 93, "operational_missing": 3, "original_qpack_eval": "separately deferred", "recovery": "Four never-started episodes completed with a hash-bound streaming wrapper; missing episodes were not retried.", "scheduled_terminal_episodes": 96 }, "paired_ai_q_d2_vs_d1": { "both_find": 1, "gained": 4, "lost": 1, "neither_finds": 2 }, "paired_fault_outcomes": [ { "outcomes": { "AI_C_d1": 0, "AI_C_d2": 1, "AI_Q_d1": 0, "AI_Q_d2": 1, "FIXED_Q_d1": 0, "FIXED_Q_d2": 0 }, "pair": "P01", "stratum": "S1" }, { "outcomes": { "AI_C_d1": 1, "AI_C_d2": 1, "AI_Q_d1": 0, "AI_Q_d2": 1, "FIXED_Q_d1": 0, "FIXED_Q_d2": 0 }, "pair": "P02", "stratum": "S1" }, { "outcomes": { "AI_C_d1": 0, "AI_C_d2": 0, "AI_Q_d1": 0, "AI_Q_d2": 1, "FIXED_Q_d1": 0, "FIXED_Q_d2": 0 }, "pair": "P03", "stratum": "S2" }, { "outcomes": { "AI_C_d1": 0, "AI_C_d2": 0, "AI_Q_d1": 1, "AI_Q_d2": 0, "FIXED_Q_d1": null, "FIXED_Q_d2": 0 }, "pair": "P04", "stratum": "S2" }, { "outcomes": { "AI_C_d1": 0, "AI_C_d2": 0, "AI_Q_d1": 0, "AI_Q_d2": 0, "FIXED_Q_d1": 0, "FIXED_Q_d2": 0 }, "pair": "P05", "stratum": "S3" }, { "outcomes": { "AI_C_d1": 1, "AI_C_d2": 1, "AI_Q_d1": 0, "AI_Q_d2": 1, "FIXED_Q_d1": 0, "FIXED_Q_d2": 0 }, "pair": "P06", "stratum": "S3" }, { "outcomes": { "AI_C_d1": 0, "AI_C_d2": 0, "AI_Q_d1": 0, "AI_Q_d2": 0, "FIXED_Q_d1": 0, "FIXED_Q_d2": 0 }, "pair": "P07", "stratum": "S4" }, { "outcomes": { "AI_C_d1": 0, "AI_C_d2": null, "AI_Q_d1": 1, "AI_Q_d2": 1, "FIXED_Q_d1": null, "FIXED_Q_d2": 0 }, "pair": "P08", "stratum": "S4" } ], "published_date": "2026-09-19", "release_scope": { "independent_campaign_replication": false, "not_reproduced_here": "A fresh model/optimizer/native campaign or independent verification of private receipts.", "public": "Aggregate outcomes, sanitized stage/check provenance, figures and local reconstruction code.", "reproducible_here": "Arithmetic, paired outcome heatmap, stage/check graph and public export validation.", "withheld": "Raw source/patches, prompts, trace payloads, provider IDs, private receipt bodies, account details, host addresses, infrastructure paths and execution controls." }, "rows": [ { "changed_ai_preferences": 14, "changed_ai_starting_traces": 12, "complete_coverage": true, "complete_fault_rate": 0.25, "mean_selected_noop_frequency": 0.22135416666666666, "new_at_stage_2": 0, "observed_method_failures": 0, "operational_missing": 0, "positive_denominator": 8, "positive_findings": 2, "pristine_claims": { "confirmed": 0, "denominator": 8, "inconsistent": 0, "refuted": 8, "unsupported": 0 }, "recorded_selection_stages": 32, "sampled_invalid_mass": 1821, "sampled_legal_mass": 2275, "sampled_mass": 4096, "scheduled_episodes": 16, "selected_assignment_equals_ai_start": 28, "stage_1_findings": 2, "variant": "AI_Q_d1" }, { "changed_ai_preferences": 15, "changed_ai_starting_traces": 15, "complete_coverage": true, "complete_fault_rate": 0.625, "mean_selected_noop_frequency": 0.21774193548387097, "new_at_stage_2": 3, "observed_method_failures": 1, "operational_missing": 0, "positive_denominator": 8, "positive_findings": 5, "pristine_claims": { "confirmed": 0, "denominator": 8, "inconsistent": 0, "refuted": 7, "unsupported": 1 }, "recorded_selection_stages": 31, "sampled_invalid_mass": 1743, "sampled_legal_mass": 2225, "sampled_mass": 3968, "scheduled_episodes": 16, "selected_assignment_equals_ai_start": 30, "stage_1_findings": 2, "variant": "AI_Q_d2" }, { "changed_ai_preferences": 16, "changed_ai_starting_traces": 15, "complete_coverage": true, "complete_fault_rate": 0.25, "mean_selected_noop_frequency": 0.0, "new_at_stage_2": 0, "observed_method_failures": 0, "operational_missing": 0, "positive_denominator": 8, "positive_findings": 2, "pristine_claims": { "confirmed": 0, "denominator": 8, "inconsistent": 0, "refuted": 8, "unsupported": 0 }, "recorded_selection_stages": 32, "sampled_invalid_mass": 0, "sampled_legal_mass": 0, "sampled_mass": 0, "scheduled_episodes": 16, "selected_assignment_equals_ai_start": 0, "stage_1_findings": 2, "variant": "AI_C_d1" }, { "changed_ai_preferences": 14, "changed_ai_starting_traces": 15, "complete_coverage": false, "complete_fault_rate": null, "mean_selected_noop_frequency": 0.0, "new_at_stage_2": 1, "observed_method_failures": 1, "operational_missing": 1, "positive_denominator": 8, "positive_findings": 3, "pristine_claims": { "confirmed": 0, "denominator": 8, "inconsistent": 0, "refuted": 8, "unsupported": 0 }, "recorded_selection_stages": 30, "sampled_invalid_mass": 0, "sampled_legal_mass": 0, "sampled_mass": 0, "scheduled_episodes": 16, "selected_assignment_equals_ai_start": 0, "stage_1_findings": 2, "variant": "AI_C_d2" }, { "changed_ai_preferences": 0, "changed_ai_starting_traces": 0, "complete_coverage": false, "complete_fault_rate": null, "mean_selected_noop_frequency": 0.9717261904761905, "new_at_stage_2": 0, "observed_method_failures": 0, "operational_missing": 2, "positive_denominator": 8, "positive_findings": 0, "pristine_claims": { "confirmed": 0, "denominator": 8, "inconsistent": 0, "refuted": 8, "unsupported": 0 }, "recorded_selection_stages": 28, "sampled_invalid_mass": 1610, "sampled_legal_mass": 1974, "sampled_mass": 3584, "scheduled_episodes": 16, "selected_assignment_equals_ai_start": 23, "stage_1_findings": 0, "variant": "FIXED_Q_d1" }, { "changed_ai_preferences": 0, "changed_ai_starting_traces": 0, "complete_coverage": true, "complete_fault_rate": 0.0, "mean_selected_noop_frequency": 0.9166666666666666, "new_at_stage_2": 0, "observed_method_failures": 0, "operational_missing": 0, "positive_denominator": 8, "positive_findings": 0, "pristine_claims": { "confirmed": 0, "denominator": 8, "inconsistent": 0, "refuted": 8, "unsupported": 0 }, "recorded_selection_stages": 32, "sampled_invalid_mass": 1850, "sampled_legal_mass": 2246, "sampled_mass": 4096, "scheduled_episodes": 16, "selected_assignment_equals_ai_start": 27, "stage_1_findings": 0, "variant": "FIXED_Q_d2" } ], "schema": "predator.public-gen3-qpack-experiment1.v1", "source": { "atlas_artifacts_preserved": 13, "atlas_deposit_merge_commit": "9eb28b2cfea95cc3806db8669b921ab663764e26", "atlas_deposit_pr": 159, "atlas_deposit_repository": "AetherAI3/AETHER-ATLAS", "atlas_disposition": "evidence-only; no fact, routing or claim promotion", "banked_commit": "255f84deec985b5be06b9b618c28adc23d8d8cff", "executed_source_commit": "fc011639e708be0c8613362662261db406bb0ac0", "execution_closeout_sha256": "b1546e46191b065fadd75f66798cb8c5f6161bef8d91c88d3e0fdab68cb1319f", "failure_summary_sha256": "0cb4bd8c514303c1be27fce861f9769c8c4ce2202621bd2e039df7032e2e8445", "full_private_journal_sha256": "30f4c9718cca9221a3a6a423d1b27f9890a3709d88714a56a939a21cb830dedb", "pr_scope": "Post-campaign reliability and discovery preregistration; Experiment #1 evidence is inherited unchanged.", "private_trajectory_index_sha256": "a4f187bf5865c63bcc10e761b5ba26d94a37bfe23f9575b512eafadb01a9ca85", "repository": "AetherAI3/qpack-t0", "result_sha256": "4e411ef067089e2f2c898009814c3f9f53a0164eb29b0787bf8395fb5b556f68", "reviewed_pr": 2, "reviewed_pr_head": "96acdac4b1645e680479a30b84a533ba4f00b00f", "schedule_sha256": "7a23c6ba5a728dc8c5fbe414c44f0dab4641e994feb89343ca909dc58330f8e8", "smoke_gate_sha256": "366898cc54a45c5014bf9c7ca2d2bab6f759cb42d24dd3c491d0689d40d85722", "source_pr_merge_commit": "4740040d924ba11d5b81aa68b73b32bfd1a1d673", "system_prompt_sha256": "bbb5cd18ad8242074eb368ff5eb379c7cda3c4d2181baaaa93ac7448f410df23", "visibility": "private" }, "status": "CLOSED_EXPLORATORY_WITH_PRESERVED_MISSINGNESS", "study": "GEN3 Experiment #1: controlled QPACK fault finding" }