[ { "id": "verdict-primary-000-0", "english": "The smoke suite was scheduled for deployment V9100. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9100. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsmoke suite: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 0, "log_branch": 0, "probe": "target_evidence", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-000-1", "english": "The smoke suite was scheduled for deployment V9100. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9100. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsmoke suite: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 0, "log_branch": 0, "probe": "target_evidence", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-001-0", "english": "The smoke suite was scheduled for deployment V9101. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9101. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsmoke suite: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 1, "log_branch": 0, "probe": "first_result", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-001-1", "english": "The smoke suite was scheduled for deployment V9101. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9101. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsmoke suite: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 1, "log_branch": 0, "probe": "first_result", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-002-0", "english": "The smoke suite was scheduled for deployment V9102. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9102. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsmoke suite: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 2, "log_branch": 0, "probe": "failure_object", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-002-1", "english": "The smoke suite was scheduled for deployment V9102. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9102. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsmoke suite: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 2, "log_branch": 0, "probe": "failure_object", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-003-0", "english": "The smoke suite was scheduled for deployment V9103. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9103. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsmoke suite: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 3, "log_branch": 0, "probe": "prior_knowledge", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-003-1", "english": "The smoke suite was scheduled for deployment V9103. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9103. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsmoke suite: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 3, "log_branch": 0, "probe": "prior_knowledge", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-004-0", "english": "The smoke suite was scheduled for deployment V9104. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9104. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsmoke suite: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 4, "log_branch": 1, "probe": "target_evidence", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-004-1", "english": "The smoke suite was scheduled for deployment V9104. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9104. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsmoke suite: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 4, "log_branch": 1, "probe": "target_evidence", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-005-0", "english": "The smoke suite was scheduled for deployment V9105. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9105. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsmoke suite: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 5, "log_branch": 1, "probe": "first_result", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-005-1", "english": "The smoke suite was scheduled for deployment V9105. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9105. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsmoke suite: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 5, "log_branch": 1, "probe": "first_result", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-006-0", "english": "The smoke suite was scheduled for deployment V9106. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9106. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsmoke suite: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 6, "log_branch": 1, "probe": "failure_object", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-006-1", "english": "The smoke suite was scheduled for deployment V9106. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9106. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsmoke suite: no-verdict.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 6, "log_branch": 1, "probe": "failure_object", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-007-0", "english": "The smoke suite was scheduled for deployment V9107. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9107. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsmoke suite: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 7, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-007-1", "english": "The smoke suite was scheduled for deployment V9107. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9107. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsmoke suite: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 7, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-008-0", "english": "The smoke suite was scheduled for deployment V9108. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9108. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsmoke suite: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 8, "log_branch": 2, "probe": "target_evidence", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-008-1", "english": "The smoke suite was scheduled for deployment V9108. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9108. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsmoke suite: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 8, "log_branch": 2, "probe": "target_evidence", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-009-0", "english": "The smoke suite was scheduled for deployment V9109. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9109. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsmoke suite: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 9, "log_branch": 2, "probe": "first_result", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-009-1", "english": "The smoke suite was scheduled for deployment V9109. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9109. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsmoke suite: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 9, "log_branch": 2, "probe": "first_result", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-010-0", "english": "The smoke suite was scheduled for deployment V9110. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9110. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsmoke suite: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 10, "log_branch": 2, "probe": "failure_object", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-010-1", "english": "The smoke suite was scheduled for deployment V9110. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9110. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsmoke suite: no-verdict.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 10, "log_branch": 2, "probe": "failure_object", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-011-0", "english": "The smoke suite was scheduled for deployment V9111. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9111. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsmoke suite: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 11, "log_branch": 2, "probe": "prior_knowledge", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-011-1", "english": "The smoke suite was scheduled for deployment V9111. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9111. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsmoke suite: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 11, "log_branch": 2, "probe": "prior_knowledge", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-012-0", "english": "The smoke suite was scheduled for deployment V9112. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9112. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsmoke suite: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 12, "log_branch": 3, "probe": "target_evidence", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-012-1", "english": "The smoke suite was scheduled for deployment V9112. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9112. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsmoke suite: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 12, "log_branch": 3, "probe": "target_evidence", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-013-0", "english": "The smoke suite was scheduled for deployment V9113. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9113. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsmoke suite: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 13, "log_branch": 3, "probe": "first_result", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-013-1", "english": "The smoke suite was scheduled for deployment V9113. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9113. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsmoke suite: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 13, "log_branch": 3, "probe": "first_result", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-014-0", "english": "The smoke suite was scheduled for deployment V9114. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9114. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsmoke suite: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 14, "log_branch": 3, "probe": "failure_object", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-014-1", "english": "The smoke suite was scheduled for deployment V9114. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9114. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsmoke suite: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 14, "log_branch": 3, "probe": "failure_object", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-015-0", "english": "The smoke suite was scheduled for deployment V9115. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9115. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsmoke suite: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "smoke suite", "frame_cluster": 15, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-015-1", "english": "The smoke suite was scheduled for deployment V9115. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsmoke suite: failed.", "ainglish": "The smoke suite was scheduled for deployment V9115. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsmoke suite: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "smoke suite", "frame_cluster": 15, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-016-0", "english": "The signature verifier was scheduled for release bundle V9116. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9116. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsignature verifier: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 16, "log_branch": 0, "probe": "target_evidence", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-016-1", "english": "The signature verifier was scheduled for release bundle V9116. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9116. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsignature verifier: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 16, "log_branch": 0, "probe": "target_evidence", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-017-0", "english": "The signature verifier was scheduled for release bundle V9117. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9117. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsignature verifier: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 17, "log_branch": 0, "probe": "first_result", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-017-1", "english": "The signature verifier was scheduled for release bundle V9117. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9117. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsignature verifier: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 17, "log_branch": 0, "probe": "first_result", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-018-0", "english": "The signature verifier was scheduled for release bundle V9118. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9118. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsignature verifier: verdict-fail.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 18, "log_branch": 0, "probe": "failure_object", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-018-1", "english": "The signature verifier was scheduled for release bundle V9118. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9118. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsignature verifier: no-verdict.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 18, "log_branch": 0, "probe": "failure_object", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-019-0", "english": "The signature verifier was scheduled for release bundle V9119. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9119. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nsignature verifier: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 19, "log_branch": 0, "probe": "prior_knowledge", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-019-1", "english": "The signature verifier was scheduled for release bundle V9119. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9119. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nsignature verifier: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 19, "log_branch": 0, "probe": "prior_knowledge", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-020-0", "english": "The signature verifier was scheduled for release bundle V9120. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9120. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsignature verifier: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 20, "log_branch": 1, "probe": "target_evidence", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-020-1", "english": "The signature verifier was scheduled for release bundle V9120. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9120. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsignature verifier: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 20, "log_branch": 1, "probe": "target_evidence", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-021-0", "english": "The signature verifier was scheduled for release bundle V9121. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9121. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsignature verifier: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 21, "log_branch": 1, "probe": "first_result", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-021-1", "english": "The signature verifier was scheduled for release bundle V9121. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9121. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsignature verifier: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 21, "log_branch": 1, "probe": "first_result", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-022-0", "english": "The signature verifier was scheduled for release bundle V9122. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9122. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsignature verifier: verdict-fail.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 22, "log_branch": 1, "probe": "failure_object", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-022-1", "english": "The signature verifier was scheduled for release bundle V9122. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9122. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsignature verifier: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 22, "log_branch": 1, "probe": "failure_object", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-023-0", "english": "The signature verifier was scheduled for release bundle V9123. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9123. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nsignature verifier: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 23, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-023-1", "english": "The signature verifier was scheduled for release bundle V9123. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9123. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nsignature verifier: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 23, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-024-0", "english": "The signature verifier was scheduled for release bundle V9124. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9124. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsignature verifier: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 24, "log_branch": 2, "probe": "target_evidence", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-024-1", "english": "The signature verifier was scheduled for release bundle V9124. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9124. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsignature verifier: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 24, "log_branch": 2, "probe": "target_evidence", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-025-0", "english": "The signature verifier was scheduled for release bundle V9125. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9125. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsignature verifier: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 25, "log_branch": 2, "probe": "first_result", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-025-1", "english": "The signature verifier was scheduled for release bundle V9125. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9125. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsignature verifier: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 25, "log_branch": 2, "probe": "first_result", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-026-0", "english": "The signature verifier was scheduled for release bundle V9126. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9126. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsignature verifier: verdict-fail.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 26, "log_branch": 2, "probe": "failure_object", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-026-1", "english": "The signature verifier was scheduled for release bundle V9126. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9126. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsignature verifier: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 26, "log_branch": 2, "probe": "failure_object", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-027-0", "english": "The signature verifier was scheduled for release bundle V9127. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9127. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nsignature verifier: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 27, "log_branch": 2, "probe": "prior_knowledge", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-027-1", "english": "The signature verifier was scheduled for release bundle V9127. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9127. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nsignature verifier: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 27, "log_branch": 2, "probe": "prior_knowledge", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-028-0", "english": "The signature verifier was scheduled for release bundle V9128. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9128. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsignature verifier: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 28, "log_branch": 3, "probe": "target_evidence", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-028-1", "english": "The signature verifier was scheduled for release bundle V9128. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9128. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsignature verifier: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 28, "log_branch": 3, "probe": "target_evidence", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-029-0", "english": "The signature verifier was scheduled for release bundle V9129. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9129. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsignature verifier: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 29, "log_branch": 3, "probe": "first_result", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-029-1", "english": "The signature verifier was scheduled for release bundle V9129. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9129. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsignature verifier: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 29, "log_branch": 3, "probe": "first_result", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-030-0", "english": "The signature verifier was scheduled for release bundle V9130. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9130. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsignature verifier: verdict-fail.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 30, "log_branch": 3, "probe": "failure_object", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-030-1", "english": "The signature verifier was scheduled for release bundle V9130. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9130. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsignature verifier: no-verdict.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 30, "log_branch": 3, "probe": "failure_object", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-031-0", "english": "The signature verifier was scheduled for release bundle V9131. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9131. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nsignature verifier: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "signature verifier", "frame_cluster": 31, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-031-1", "english": "The signature verifier was scheduled for release bundle V9131. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsignature verifier: failed.", "ainglish": "The signature verifier was scheduled for release bundle V9131. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nsignature verifier: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "signature verifier", "frame_cluster": 31, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-032-0", "english": "The integrity monitor was scheduled for stored ledger V9132. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9132. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nintegrity monitor: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 32, "log_branch": 0, "probe": "target_evidence", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-032-1", "english": "The integrity monitor was scheduled for stored ledger V9132. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9132. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nintegrity monitor: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 32, "log_branch": 0, "probe": "target_evidence", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-033-0", "english": "The integrity monitor was scheduled for stored ledger V9133. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9133. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nintegrity monitor: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 33, "log_branch": 0, "probe": "first_result", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-033-1", "english": "The integrity monitor was scheduled for stored ledger V9133. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9133. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nintegrity monitor: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 33, "log_branch": 0, "probe": "first_result", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-034-0", "english": "The integrity monitor was scheduled for stored ledger V9134. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9134. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nintegrity monitor: verdict-fail.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 34, "log_branch": 0, "probe": "failure_object", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-034-1", "english": "The integrity monitor was scheduled for stored ledger V9134. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9134. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nintegrity monitor: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 34, "log_branch": 0, "probe": "failure_object", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-035-0", "english": "The integrity monitor was scheduled for stored ledger V9135. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9135. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nintegrity monitor: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 35, "log_branch": 0, "probe": "prior_knowledge", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-035-1", "english": "The integrity monitor was scheduled for stored ledger V9135. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9135. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nintegrity monitor: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 35, "log_branch": 0, "probe": "prior_knowledge", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-036-0", "english": "The integrity monitor was scheduled for stored ledger V9136. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9136. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nintegrity monitor: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 36, "log_branch": 1, "probe": "target_evidence", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-036-1", "english": "The integrity monitor was scheduled for stored ledger V9136. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9136. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nintegrity monitor: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 36, "log_branch": 1, "probe": "target_evidence", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-037-0", "english": "The integrity monitor was scheduled for stored ledger V9137. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9137. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nintegrity monitor: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 37, "log_branch": 1, "probe": "first_result", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-037-1", "english": "The integrity monitor was scheduled for stored ledger V9137. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9137. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nintegrity monitor: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 37, "log_branch": 1, "probe": "first_result", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-038-0", "english": "The integrity monitor was scheduled for stored ledger V9138. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9138. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nintegrity monitor: verdict-fail.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 38, "log_branch": 1, "probe": "failure_object", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-038-1", "english": "The integrity monitor was scheduled for stored ledger V9138. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9138. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nintegrity monitor: no-verdict.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 38, "log_branch": 1, "probe": "failure_object", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-039-0", "english": "The integrity monitor was scheduled for stored ledger V9139. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9139. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nintegrity monitor: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 39, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-039-1", "english": "The integrity monitor was scheduled for stored ledger V9139. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9139. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nintegrity monitor: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 39, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-040-0", "english": "The integrity monitor was scheduled for stored ledger V9140. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9140. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nintegrity monitor: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 40, "log_branch": 2, "probe": "target_evidence", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-040-1", "english": "The integrity monitor was scheduled for stored ledger V9140. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9140. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nintegrity monitor: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 40, "log_branch": 2, "probe": "target_evidence", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-041-0", "english": "The integrity monitor was scheduled for stored ledger V9141. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9141. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nintegrity monitor: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 41, "log_branch": 2, "probe": "first_result", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-041-1", "english": "The integrity monitor was scheduled for stored ledger V9141. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9141. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nintegrity monitor: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 41, "log_branch": 2, "probe": "first_result", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-042-0", "english": "The integrity monitor was scheduled for stored ledger V9142. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9142. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nintegrity monitor: verdict-fail.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 42, "log_branch": 2, "probe": "failure_object", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-042-1", "english": "The integrity monitor was scheduled for stored ledger V9142. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9142. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nintegrity monitor: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 42, "log_branch": 2, "probe": "failure_object", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-043-0", "english": "The integrity monitor was scheduled for stored ledger V9143. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9143. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nintegrity monitor: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 43, "log_branch": 2, "probe": "prior_knowledge", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-043-1", "english": "The integrity monitor was scheduled for stored ledger V9143. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9143. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nintegrity monitor: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 43, "log_branch": 2, "probe": "prior_knowledge", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-044-0", "english": "The integrity monitor was scheduled for stored ledger V9144. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9144. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nintegrity monitor: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 44, "log_branch": 3, "probe": "target_evidence", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-044-1", "english": "The integrity monitor was scheduled for stored ledger V9144. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9144. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nintegrity monitor: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 44, "log_branch": 3, "probe": "target_evidence", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-045-0", "english": "The integrity monitor was scheduled for stored ledger V9145. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9145. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nintegrity monitor: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 45, "log_branch": 3, "probe": "first_result", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-045-1", "english": "The integrity monitor was scheduled for stored ledger V9145. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9145. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nintegrity monitor: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 45, "log_branch": 3, "probe": "first_result", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-046-0", "english": "The integrity monitor was scheduled for stored ledger V9146. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9146. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nintegrity monitor: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 46, "log_branch": 3, "probe": "failure_object", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-046-1", "english": "The integrity monitor was scheduled for stored ledger V9146. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9146. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nintegrity monitor: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 46, "log_branch": 3, "probe": "failure_object", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-047-0", "english": "The integrity monitor was scheduled for stored ledger V9147. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9147. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nintegrity monitor: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "integrity monitor", "frame_cluster": 47, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-047-1", "english": "The integrity monitor was scheduled for stored ledger V9147. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nintegrity monitor: failed.", "ainglish": "The integrity monitor was scheduled for stored ledger V9147. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nintegrity monitor: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "integrity monitor", "frame_cluster": 47, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-048-0", "english": "The schema check was scheduled for dataset V9148. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9148. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nschema check: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 48, "log_branch": 0, "probe": "target_evidence", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-048-1", "english": "The schema check was scheduled for dataset V9148. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9148. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nschema check: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 48, "log_branch": 0, "probe": "target_evidence", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-049-0", "english": "The schema check was scheduled for dataset V9149. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9149. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nschema check: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 49, "log_branch": 0, "probe": "first_result", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-049-1", "english": "The schema check was scheduled for dataset V9149. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9149. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nschema check: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 49, "log_branch": 0, "probe": "first_result", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-050-0", "english": "The schema check was scheduled for dataset V9150. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9150. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nschema check: verdict-fail.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 50, "log_branch": 0, "probe": "failure_object", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-050-1", "english": "The schema check was scheduled for dataset V9150. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9150. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nschema check: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 50, "log_branch": 0, "probe": "failure_object", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-051-0", "english": "The schema check was scheduled for dataset V9151. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9151. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nschema check: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 51, "log_branch": 0, "probe": "prior_knowledge", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-051-1", "english": "The schema check was scheduled for dataset V9151. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9151. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nschema check: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 51, "log_branch": 0, "probe": "prior_knowledge", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-052-0", "english": "The schema check was scheduled for dataset V9152. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9152. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nschema check: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 52, "log_branch": 1, "probe": "target_evidence", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-052-1", "english": "The schema check was scheduled for dataset V9152. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9152. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nschema check: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 52, "log_branch": 1, "probe": "target_evidence", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-053-0", "english": "The schema check was scheduled for dataset V9153. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9153. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nschema check: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 53, "log_branch": 1, "probe": "first_result", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-053-1", "english": "The schema check was scheduled for dataset V9153. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9153. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nschema check: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 53, "log_branch": 1, "probe": "first_result", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-054-0", "english": "The schema check was scheduled for dataset V9154. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9154. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nschema check: verdict-fail.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 54, "log_branch": 1, "probe": "failure_object", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-054-1", "english": "The schema check was scheduled for dataset V9154. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9154. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nschema check: no-verdict.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 54, "log_branch": 1, "probe": "failure_object", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-055-0", "english": "The schema check was scheduled for dataset V9155. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9155. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nschema check: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 55, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-055-1", "english": "The schema check was scheduled for dataset V9155. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9155. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nschema check: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 55, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-056-0", "english": "The schema check was scheduled for dataset V9156. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9156. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nschema check: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 56, "log_branch": 2, "probe": "target_evidence", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-056-1", "english": "The schema check was scheduled for dataset V9156. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9156. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nschema check: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 56, "log_branch": 2, "probe": "target_evidence", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-057-0", "english": "The schema check was scheduled for dataset V9157. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9157. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nschema check: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 57, "log_branch": 2, "probe": "first_result", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-057-1", "english": "The schema check was scheduled for dataset V9157. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9157. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nschema check: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 57, "log_branch": 2, "probe": "first_result", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-058-0", "english": "The schema check was scheduled for dataset V9158. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9158. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nschema check: verdict-fail.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 58, "log_branch": 2, "probe": "failure_object", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-058-1", "english": "The schema check was scheduled for dataset V9158. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9158. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nschema check: no-verdict.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 58, "log_branch": 2, "probe": "failure_object", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-059-0", "english": "The schema check was scheduled for dataset V9159. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9159. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nschema check: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 59, "log_branch": 2, "probe": "prior_knowledge", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-059-1", "english": "The schema check was scheduled for dataset V9159. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9159. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nschema check: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 59, "log_branch": 2, "probe": "prior_knowledge", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-060-0", "english": "The schema check was scheduled for dataset V9160. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9160. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nschema check: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 60, "log_branch": 3, "probe": "target_evidence", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-060-1", "english": "The schema check was scheduled for dataset V9160. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9160. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nschema check: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 60, "log_branch": 3, "probe": "target_evidence", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-061-0", "english": "The schema check was scheduled for dataset V9161. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9161. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nschema check: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 61, "log_branch": 3, "probe": "first_result", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-061-1", "english": "The schema check was scheduled for dataset V9161. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9161. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nschema check: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 61, "log_branch": 3, "probe": "first_result", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-062-0", "english": "The schema check was scheduled for dataset V9162. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9162. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nschema check: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 62, "log_branch": 3, "probe": "failure_object", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-062-1", "english": "The schema check was scheduled for dataset V9162. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9162. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nschema check: no-verdict.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 62, "log_branch": 3, "probe": "failure_object", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-063-0", "english": "The schema check was scheduled for dataset V9163. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9163. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nschema check: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "schema check", "frame_cluster": 63, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-063-1", "english": "The schema check was scheduled for dataset V9163. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nschema check: failed.", "ainglish": "The schema check was scheduled for dataset V9163. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nschema check: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "schema check", "frame_cluster": 63, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-064-0", "english": "The policy gate was scheduled for access change V9164. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9164. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\npolicy gate: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 64, "log_branch": 0, "probe": "target_evidence", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-064-1", "english": "The policy gate was scheduled for access change V9164. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9164. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\npolicy gate: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 64, "log_branch": 0, "probe": "target_evidence", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-065-0", "english": "The policy gate was scheduled for access change V9165. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9165. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\npolicy gate: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 65, "log_branch": 0, "probe": "first_result", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-065-1", "english": "The policy gate was scheduled for access change V9165. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9165. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\npolicy gate: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 65, "log_branch": 0, "probe": "first_result", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-066-0", "english": "The policy gate was scheduled for access change V9166. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9166. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\npolicy gate: verdict-fail.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 66, "log_branch": 0, "probe": "failure_object", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-066-1", "english": "The policy gate was scheduled for access change V9166. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9166. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\npolicy gate: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 66, "log_branch": 0, "probe": "failure_object", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-067-0", "english": "The policy gate was scheduled for access change V9167. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9167. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\npolicy gate: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 67, "log_branch": 0, "probe": "prior_knowledge", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-067-1", "english": "The policy gate was scheduled for access change V9167. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9167. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\npolicy gate: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 67, "log_branch": 0, "probe": "prior_knowledge", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-068-0", "english": "The policy gate was scheduled for access change V9168. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9168. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\npolicy gate: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 68, "log_branch": 1, "probe": "target_evidence", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-068-1", "english": "The policy gate was scheduled for access change V9168. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9168. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\npolicy gate: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 68, "log_branch": 1, "probe": "target_evidence", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-069-0", "english": "The policy gate was scheduled for access change V9169. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9169. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\npolicy gate: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 69, "log_branch": 1, "probe": "first_result", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-069-1", "english": "The policy gate was scheduled for access change V9169. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9169. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\npolicy gate: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 69, "log_branch": 1, "probe": "first_result", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-070-0", "english": "The policy gate was scheduled for access change V9170. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9170. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\npolicy gate: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 70, "log_branch": 1, "probe": "failure_object", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-070-1", "english": "The policy gate was scheduled for access change V9170. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9170. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\npolicy gate: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 70, "log_branch": 1, "probe": "failure_object", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-071-0", "english": "The policy gate was scheduled for access change V9171. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9171. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\npolicy gate: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 71, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-071-1", "english": "The policy gate was scheduled for access change V9171. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9171. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\npolicy gate: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 71, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-072-0", "english": "The policy gate was scheduled for access change V9172. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9172. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\npolicy gate: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 72, "log_branch": 2, "probe": "target_evidence", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-072-1", "english": "The policy gate was scheduled for access change V9172. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9172. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\npolicy gate: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 72, "log_branch": 2, "probe": "target_evidence", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-073-0", "english": "The policy gate was scheduled for access change V9173. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9173. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\npolicy gate: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 73, "log_branch": 2, "probe": "first_result", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-073-1", "english": "The policy gate was scheduled for access change V9173. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9173. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\npolicy gate: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 73, "log_branch": 2, "probe": "first_result", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-074-0", "english": "The policy gate was scheduled for access change V9174. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9174. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\npolicy gate: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 74, "log_branch": 2, "probe": "failure_object", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-074-1", "english": "The policy gate was scheduled for access change V9174. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9174. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\npolicy gate: no-verdict.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 74, "log_branch": 2, "probe": "failure_object", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-075-0", "english": "The policy gate was scheduled for access change V9175. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9175. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\npolicy gate: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 75, "log_branch": 2, "probe": "prior_knowledge", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-075-1", "english": "The policy gate was scheduled for access change V9175. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9175. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\npolicy gate: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 75, "log_branch": 2, "probe": "prior_knowledge", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-076-0", "english": "The policy gate was scheduled for access change V9176. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9176. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\npolicy gate: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 76, "log_branch": 3, "probe": "target_evidence", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-076-1", "english": "The policy gate was scheduled for access change V9176. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9176. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\npolicy gate: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 76, "log_branch": 3, "probe": "target_evidence", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-077-0", "english": "The policy gate was scheduled for access change V9177. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9177. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\npolicy gate: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 77, "log_branch": 3, "probe": "first_result", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-077-1", "english": "The policy gate was scheduled for access change V9177. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9177. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\npolicy gate: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 77, "log_branch": 3, "probe": "first_result", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-078-0", "english": "The policy gate was scheduled for access change V9178. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9178. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\npolicy gate: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 78, "log_branch": 3, "probe": "failure_object", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-078-1", "english": "The policy gate was scheduled for access change V9178. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9178. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\npolicy gate: no-verdict.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 78, "log_branch": 3, "probe": "failure_object", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-079-0", "english": "The policy gate was scheduled for access change V9179. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9179. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\npolicy gate: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "policy gate", "frame_cluster": 79, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-079-1", "english": "The policy gate was scheduled for access change V9179. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\npolicy gate: failed.", "ainglish": "The policy gate was scheduled for access change V9179. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\npolicy gate: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "policy gate", "frame_cluster": 79, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-080-0", "english": "The replication runner was scheduled for source claim V9180. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9180. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nreplication runner: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 80, "log_branch": 0, "probe": "target_evidence", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-080-1", "english": "The replication runner was scheduled for source claim V9180. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9180. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nreplication runner: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 80, "log_branch": 0, "probe": "target_evidence", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-081-0", "english": "The replication runner was scheduled for source claim V9181. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9181. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nreplication runner: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 81, "log_branch": 0, "probe": "first_result", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-081-1", "english": "The replication runner was scheduled for source claim V9181. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9181. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nreplication runner: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 81, "log_branch": 0, "probe": "first_result", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-082-0", "english": "The replication runner was scheduled for source claim V9182. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9182. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nreplication runner: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 82, "log_branch": 0, "probe": "failure_object", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-082-1", "english": "The replication runner was scheduled for source claim V9182. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9182. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nreplication runner: no-verdict.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 82, "log_branch": 0, "probe": "failure_object", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-083-0", "english": "The replication runner was scheduled for source claim V9183. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9183. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nreplication runner: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 83, "log_branch": 0, "probe": "prior_knowledge", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-083-1", "english": "The replication runner was scheduled for source claim V9183. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9183. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nreplication runner: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 83, "log_branch": 0, "probe": "prior_knowledge", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-084-0", "english": "The replication runner was scheduled for source claim V9184. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9184. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nreplication runner: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 84, "log_branch": 1, "probe": "target_evidence", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-084-1", "english": "The replication runner was scheduled for source claim V9184. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9184. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nreplication runner: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 84, "log_branch": 1, "probe": "target_evidence", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-085-0", "english": "The replication runner was scheduled for source claim V9185. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9185. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nreplication runner: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 85, "log_branch": 1, "probe": "first_result", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-085-1", "english": "The replication runner was scheduled for source claim V9185. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9185. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nreplication runner: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 85, "log_branch": 1, "probe": "first_result", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-086-0", "english": "The replication runner was scheduled for source claim V9186. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9186. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nreplication runner: verdict-fail.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 86, "log_branch": 1, "probe": "failure_object", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-086-1", "english": "The replication runner was scheduled for source claim V9186. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9186. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nreplication runner: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 86, "log_branch": 1, "probe": "failure_object", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-087-0", "english": "The replication runner was scheduled for source claim V9187. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9187. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nreplication runner: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 87, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-087-1", "english": "The replication runner was scheduled for source claim V9187. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9187. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nreplication runner: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 87, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-088-0", "english": "The replication runner was scheduled for source claim V9188. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9188. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nreplication runner: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 88, "log_branch": 2, "probe": "target_evidence", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-088-1", "english": "The replication runner was scheduled for source claim V9188. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9188. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nreplication runner: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 88, "log_branch": 2, "probe": "target_evidence", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-089-0", "english": "The replication runner was scheduled for source claim V9189. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9189. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nreplication runner: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 89, "log_branch": 2, "probe": "first_result", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-089-1", "english": "The replication runner was scheduled for source claim V9189. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9189. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nreplication runner: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 89, "log_branch": 2, "probe": "first_result", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-090-0", "english": "The replication runner was scheduled for source claim V9190. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9190. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nreplication runner: verdict-fail.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 90, "log_branch": 2, "probe": "failure_object", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-090-1", "english": "The replication runner was scheduled for source claim V9190. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9190. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nreplication runner: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 90, "log_branch": 2, "probe": "failure_object", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-091-0", "english": "The replication runner was scheduled for source claim V9191. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9191. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nreplication runner: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 91, "log_branch": 2, "probe": "prior_knowledge", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-091-1", "english": "The replication runner was scheduled for source claim V9191. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9191. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nreplication runner: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 91, "log_branch": 2, "probe": "prior_knowledge", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-092-0", "english": "The replication runner was scheduled for source claim V9192. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9192. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nreplication runner: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 92, "log_branch": 3, "probe": "target_evidence", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-092-1", "english": "The replication runner was scheduled for source claim V9192. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9192. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nreplication runner: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 92, "log_branch": 3, "probe": "target_evidence", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-093-0", "english": "The replication runner was scheduled for source claim V9193. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9193. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nreplication runner: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 93, "log_branch": 3, "probe": "first_result", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-093-1", "english": "The replication runner was scheduled for source claim V9193. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9193. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nreplication runner: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 93, "log_branch": 3, "probe": "first_result", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-094-0", "english": "The replication runner was scheduled for source claim V9194. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9194. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nreplication runner: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 94, "log_branch": 3, "probe": "failure_object", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-094-1", "english": "The replication runner was scheduled for source claim V9194. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9194. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nreplication runner: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 94, "log_branch": 3, "probe": "failure_object", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-095-0", "english": "The replication runner was scheduled for source claim V9195. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9195. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nreplication runner: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "replication runner", "frame_cluster": 95, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-095-1", "english": "The replication runner was scheduled for source claim V9195. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nreplication runner: failed.", "ainglish": "The replication runner was scheduled for source claim V9195. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nreplication runner: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "replication runner", "frame_cluster": 95, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-096-0", "english": "The inventory audit was scheduled for stock record V9196. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9196. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\ninventory audit: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 96, "log_branch": 0, "probe": "target_evidence", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-096-1", "english": "The inventory audit was scheduled for stock record V9196. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9196. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\ninventory audit: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 96, "log_branch": 0, "probe": "target_evidence", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-097-0", "english": "The inventory audit was scheduled for stock record V9197. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9197. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\ninventory audit: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 97, "log_branch": 0, "probe": "first_result", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-097-1", "english": "The inventory audit was scheduled for stock record V9197. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9197. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\ninventory audit: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 97, "log_branch": 0, "probe": "first_result", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-098-0", "english": "The inventory audit was scheduled for stock record V9198. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9198. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\ninventory audit: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 98, "log_branch": 0, "probe": "failure_object", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-098-1", "english": "The inventory audit was scheduled for stock record V9198. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9198. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\ninventory audit: no-verdict.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 98, "log_branch": 0, "probe": "failure_object", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-099-0", "english": "The inventory audit was scheduled for stock record V9199. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9199. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\ninventory audit: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 99, "log_branch": 0, "probe": "prior_knowledge", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-099-1", "english": "The inventory audit was scheduled for stock record V9199. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9199. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\ninventory audit: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 99, "log_branch": 0, "probe": "prior_knowledge", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-100-0", "english": "The inventory audit was scheduled for stock record V9200. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9200. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\ninventory audit: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 100, "log_branch": 1, "probe": "target_evidence", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-100-1", "english": "The inventory audit was scheduled for stock record V9200. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9200. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\ninventory audit: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 100, "log_branch": 1, "probe": "target_evidence", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-101-0", "english": "The inventory audit was scheduled for stock record V9201. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9201. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\ninventory audit: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 101, "log_branch": 1, "probe": "first_result", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-101-1", "english": "The inventory audit was scheduled for stock record V9201. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9201. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\ninventory audit: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 101, "log_branch": 1, "probe": "first_result", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-102-0", "english": "The inventory audit was scheduled for stock record V9202. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9202. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\ninventory audit: verdict-fail.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 102, "log_branch": 1, "probe": "failure_object", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-102-1", "english": "The inventory audit was scheduled for stock record V9202. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9202. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\ninventory audit: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 102, "log_branch": 1, "probe": "failure_object", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-103-0", "english": "The inventory audit was scheduled for stock record V9203. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9203. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\ninventory audit: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 103, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-103-1", "english": "The inventory audit was scheduled for stock record V9203. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9203. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\ninventory audit: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 103, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-104-0", "english": "The inventory audit was scheduled for stock record V9204. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9204. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\ninventory audit: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 104, "log_branch": 2, "probe": "target_evidence", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-104-1", "english": "The inventory audit was scheduled for stock record V9204. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9204. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\ninventory audit: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 104, "log_branch": 2, "probe": "target_evidence", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-105-0", "english": "The inventory audit was scheduled for stock record V9205. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9205. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\ninventory audit: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 105, "log_branch": 2, "probe": "first_result", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-105-1", "english": "The inventory audit was scheduled for stock record V9205. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9205. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\ninventory audit: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 105, "log_branch": 2, "probe": "first_result", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-106-0", "english": "The inventory audit was scheduled for stock record V9206. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9206. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\ninventory audit: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 106, "log_branch": 2, "probe": "failure_object", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-106-1", "english": "The inventory audit was scheduled for stock record V9206. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9206. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\ninventory audit: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 106, "log_branch": 2, "probe": "failure_object", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-107-0", "english": "The inventory audit was scheduled for stock record V9207. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9207. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\ninventory audit: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 107, "log_branch": 2, "probe": "prior_knowledge", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-107-1", "english": "The inventory audit was scheduled for stock record V9207. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9207. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\ninventory audit: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 107, "log_branch": 2, "probe": "prior_knowledge", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-108-0", "english": "The inventory audit was scheduled for stock record V9208. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9208. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\ninventory audit: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 108, "log_branch": 3, "probe": "target_evidence", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-108-1", "english": "The inventory audit was scheduled for stock record V9208. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9208. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\ninventory audit: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 108, "log_branch": 3, "probe": "target_evidence", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-109-0", "english": "The inventory audit was scheduled for stock record V9209. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9209. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\ninventory audit: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 109, "log_branch": 3, "probe": "first_result", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-109-1", "english": "The inventory audit was scheduled for stock record V9209. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9209. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\ninventory audit: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 109, "log_branch": 3, "probe": "first_result", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-110-0", "english": "The inventory audit was scheduled for stock record V9210. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9210. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\ninventory audit: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 110, "log_branch": 3, "probe": "failure_object", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-110-1", "english": "The inventory audit was scheduled for stock record V9210. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9210. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\ninventory audit: no-verdict.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 110, "log_branch": 3, "probe": "failure_object", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-111-0", "english": "The inventory audit was scheduled for stock record V9211. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9211. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\ninventory audit: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "inventory audit", "frame_cluster": 111, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-111-1", "english": "The inventory audit was scheduled for stock record V9211. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\ninventory audit: failed.", "ainglish": "The inventory audit was scheduled for stock record V9211. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\ninventory audit: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "inventory audit", "frame_cluster": 111, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-112-0", "english": "The checksum check was scheduled for archive V9212. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9212. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nchecksum check: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 112, "log_branch": 0, "probe": "target_evidence", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-112-1", "english": "The checksum check was scheduled for archive V9212. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9212. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nchecksum check: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 112, "log_branch": 0, "probe": "target_evidence", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-113-0", "english": "The checksum check was scheduled for archive V9213. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9213. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nchecksum check: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 113, "log_branch": 0, "probe": "first_result", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-113-1", "english": "The checksum check was scheduled for archive V9213. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9213. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nchecksum check: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 113, "log_branch": 0, "probe": "first_result", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-114-0", "english": "The checksum check was scheduled for archive V9214. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9214. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nchecksum check: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 114, "log_branch": 0, "probe": "failure_object", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-114-1", "english": "The checksum check was scheduled for archive V9214. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9214. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nchecksum check: no-verdict.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 114, "log_branch": 0, "probe": "failure_object", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-115-0", "english": "The checksum check was scheduled for archive V9215. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9215. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all required inputs were read; the target-specific assertion was false.\nchecksum check: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 115, "log_branch": 0, "probe": "prior_knowledge", "anchor": "all required inputs were read; the target-specific assertion was false", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-115-1", "english": "The checksum check was scheduled for archive V9215. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9215. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the runner timed out before it could read the target.\nchecksum check: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 115, "log_branch": 0, "probe": "prior_knowledge", "anchor": "the runner timed out before it could read the target", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-116-0", "english": "The checksum check was scheduled for archive V9216. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9216. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nchecksum check: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 116, "log_branch": 1, "probe": "target_evidence", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-116-1", "english": "The checksum check was scheduled for archive V9216. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9216. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nchecksum check: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 116, "log_branch": 1, "probe": "target_evidence", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-117-0", "english": "The checksum check was scheduled for archive V9217. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9217. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nchecksum check: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "no, a target finding is already available", "the target has been proved sound", "yes, no target finding was obtained" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 117, "log_branch": 1, "probe": "first_result", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-117-1", "english": "The checksum check was scheduled for archive V9217. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9217. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nchecksum check: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 117, "log_branch": 1, "probe": "first_result", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-118-0", "english": "The checksum check was scheduled for archive V9218. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9218. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nchecksum check: verdict-fail.", "question": "Where does the failure information point?", "options": [ "a required property of the target", "the checking process before a result", "both a sound target and a completed successful process" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 118, "log_branch": 1, "probe": "failure_object", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-118-1", "english": "The checksum check was scheduled for archive V9218. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9218. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nchecksum check: no-verdict.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 118, "log_branch": 1, "probe": "failure_object", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-119-0", "english": "The checksum check was scheduled for archive V9219. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9219. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the target comparison finished and a required property did not hold.\nchecksum check: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence proving the target sound", "new evidence of a target defect", "no new target judgment; it remains unknown" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 119, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the target comparison finished and a required property did not hold", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-119-1", "english": "The checksum check was scheduled for archive V9219. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9219. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the input fixture was missing before comparison began.\nchecksum check: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 119, "log_branch": 1, "probe": "prior_knowledge", "anchor": "the input fixture was missing before comparison began", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-120-0", "english": "The checksum check was scheduled for archive V9220. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9220. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nchecksum check: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "yes", "no, it is known to be sound", "cannot tell from the available findings" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 120, "log_branch": 2, "probe": "target_evidence", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-120-1", "english": "The checksum check was scheduled for archive V9220. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9220. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nchecksum check: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 120, "log_branch": 2, "probe": "target_evidence", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-121-0", "english": "The checksum check was scheduled for archive V9221. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9221. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nchecksum check: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 121, "log_branch": 2, "probe": "first_result", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-121-1", "english": "The checksum check was scheduled for archive V9221. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9221. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nchecksum check: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "the target has been proved sound", "yes, no target finding was obtained", "no, a target finding is already available" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 121, "log_branch": 2, "probe": "first_result", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-122-0", "english": "The checksum check was scheduled for archive V9222. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9222. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nchecksum check: verdict-fail.", "question": "Where does the failure information point?", "options": [ "the checking process before a result", "both a sound target and a completed successful process", "a required property of the target" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 122, "log_branch": 2, "probe": "failure_object", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-122-1", "english": "The checksum check was scheduled for archive V9222. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9222. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nchecksum check: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 122, "log_branch": 2, "probe": "failure_object", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-123-0", "english": "The checksum check was scheduled for archive V9223. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9223. Before this check, the target state was unknown; there is no other current finding. Retained execution log: all planned steps finished; the target evidence violated the criterion.\nchecksum check: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 123, "log_branch": 2, "probe": "prior_knowledge", "anchor": "all planned steps finished; the target evidence violated the criterion", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-123-1", "english": "The checksum check was scheduled for archive V9223. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9223. Before this check, the target state was unknown; there is no other current finding. Retained execution log: a rate limit stopped the run before any target finding.\nchecksum check: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 123, "log_branch": 2, "probe": "prior_knowledge", "anchor": "a rate limit stopped the run before any target finding", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-124-0", "english": "The checksum check was scheduled for archive V9224. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9224. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nchecksum check: verdict-fail.", "question": "Is the thing being checked now known to be broken?", "options": [ "no, it is known to be sound", "cannot tell from the available findings", "yes" ], "answer": "yes", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 124, "log_branch": 3, "probe": "target_evidence", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-124-1", "english": "The checksum check was scheduled for archive V9224. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9224. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nchecksum check: no-verdict.", "question": "Is the thing being checked now known to be broken?", "options": [ "cannot tell from the available findings", "yes", "no, it is known to be sound" ], "answer": "cannot tell from the available findings", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 124, "log_branch": 3, "probe": "target_evidence", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-125-0", "english": "The checksum check was scheduled for archive V9225. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9225. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nchecksum check: verdict-fail.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "no, a target finding is already available", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 125, "log_branch": 3, "probe": "first_result", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-125-1", "english": "The checksum check was scheduled for archive V9225. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9225. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nchecksum check: no-verdict.", "question": "Is another completed check still needed to obtain the first finding about this target?", "options": [ "yes, no target finding was obtained", "no, a target finding is already available", "the target has been proved sound" ], "answer": "yes, no target finding was obtained", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 125, "log_branch": 3, "probe": "first_result", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-126-0", "english": "The checksum check was scheduled for archive V9226. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9226. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nchecksum check: verdict-fail.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "a required property of the target", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 126, "log_branch": 3, "probe": "failure_object", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-126-1", "english": "The checksum check was scheduled for archive V9226. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9226. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nchecksum check: no-verdict.", "question": "Where does the failure information point?", "options": [ "both a sound target and a completed successful process", "a required property of the target", "the checking process before a result" ], "answer": "the checking process before a result", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 126, "log_branch": 3, "probe": "failure_object", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-127-0", "english": "The checksum check was scheduled for archive V9227. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9227. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the result was committed after completion: the target did not meet its requirement.\nchecksum check: verdict-fail.", "question": "What changed in what the receiver knows about the target?", "options": [ "new evidence of a target defect", "no new target judgment; it remains unknown", "new evidence proving the target sound" ], "answer": "new evidence of a target defect", "settlement_stratum": "verdict-fail", "strata": { "form": "verdict-fail", "domain": "checksum check", "frame_cluster": 127, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the result was committed after completion: the target did not meet its requirement", "prior_target_knowledge": "unknown" } }, { "id": "verdict-primary-127-1", "english": "The checksum check was scheduled for archive V9227. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nchecksum check: failed.", "ainglish": "The checksum check was scheduled for archive V9227. Before this check, the target state was unknown; there is no other current finding. Retained execution log: the process crashed before a target result was committed.\nchecksum check: no-verdict.", "question": "What changed in what the receiver knows about the target?", "options": [ "no new target judgment; it remains unknown", "new evidence proving the target sound", "new evidence of a target defect" ], "answer": "no new target judgment; it remains unknown", "settlement_stratum": "no-verdict", "strata": { "form": "no-verdict", "domain": "checksum check", "frame_cluster": 127, "log_branch": 3, "probe": "prior_knowledge", "anchor": "the process crashed before a target result was committed", "prior_target_knowledge": "unknown" } }, { "id": "verdict.bare-control-0", "calibration": true, "english": "Either Mira or Sana holds sealed parcel NWC-verdict.bare-0; its holder remains unspecified.", "ainglish": "Only Mira not Sana holds sealed parcel NWC-verdict.bare-0; its holder is specified. ", "question": "Who holds parcel NWC-verdict.bare-0?", "answer": "Mira", "options": [ "Mira", "Sana", "not determined by the text", "neither of them" ], "control_note": "Equal word count and character length; final spaces are padding, not added information. Native model-token equality is not asserted." }, { "id": "verdict.bare-control-1", "calibration": true, "english": "Either Neri or Olan holds sealed parcel NWC-verdict.bare-1; its holder remains unspecified.", "ainglish": "Only Neri not Olan holds sealed parcel NWC-verdict.bare-1; its holder is specified. ", "question": "Who holds parcel NWC-verdict.bare-1?", "answer": "Neri", "options": [ "Olan", "not determined by the text", "neither of them", "Neri" ], "control_note": "Equal word count and character length; final spaces are padding, not added information. Native model-token equality is not asserted." }, { "id": "verdict.bare-control-2", "calibration": true, "english": "Either Vela or Tari holds sealed parcel NWC-verdict.bare-2; its holder remains unspecified.", "ainglish": "Only Vela not Tari holds sealed parcel NWC-verdict.bare-2; its holder is specified. ", "question": "Who holds parcel NWC-verdict.bare-2?", "answer": "Vela", "options": [ "not determined by the text", "neither of them", "Vela", "Tari" ], "control_note": "Equal word count and character length; final spaces are padding, not added information. Native model-token equality is not asserted." }, { "id": "verdict.bare-control-3", "calibration": true, "english": "Either Nola or Kavi holds sealed parcel NWC-verdict.bare-3; its holder remains unspecified.", "ainglish": "Only Nola not Kavi holds sealed parcel NWC-verdict.bare-3; its holder is specified. ", "question": "Who holds parcel NWC-verdict.bare-3?", "answer": "Nola", "options": [ "neither of them", "Nola", "Kavi", "not determined by the text" ], "control_note": "Equal word count and character length; final spaces are padding, not added information. Native model-token equality is not asserted." }, { "id": "verdict.bare-control-4", "calibration": true, "english": "Either Fara or Leni holds sealed parcel NWC-verdict.bare-4; its holder remains unspecified.", "ainglish": "Only Fara not Leni holds sealed parcel NWC-verdict.bare-4; its holder is specified. ", "question": "Who holds parcel NWC-verdict.bare-4?", "answer": "Fara", "options": [ "Fara", "Leni", "not determined by the text", "neither of them" ], "control_note": "Equal word count and character length; final spaces are padding, not added information. Native model-token equality is not asserted." }, { "id": "verdict.bare-control-5", "calibration": true, "english": "Either Eran or Ravi holds sealed parcel NWC-verdict.bare-5; its holder remains unspecified.", "ainglish": "Only Eran not Ravi holds sealed parcel NWC-verdict.bare-5; its holder is specified. ", "question": "Who holds parcel NWC-verdict.bare-5?", "answer": "Eran", "options": [ "Ravi", "not determined by the text", "neither of them", "Eran" ], "control_note": "Equal word count and character length; final spaces are padding, not added information. Native model-token equality is not asserted." }, { "id": "verdict.bare-control-6", "calibration": true, "english": "Either Suri or Toma holds sealed parcel NWC-verdict.bare-6; its holder remains unspecified.", "ainglish": "Only Suri not Toma holds sealed parcel NWC-verdict.bare-6; its holder is specified. ", "question": "Who holds parcel NWC-verdict.bare-6?", "answer": "Suri", "options": [ "not determined by the text", "neither of them", "Suri", "Toma" ], "control_note": "Equal word count and character length; final spaces are padding, not added information. Native model-token equality is not asserted." }, { "id": "verdict.bare-control-7", "calibration": true, "english": "Either Zena or Iven holds sealed parcel NWC-verdict.bare-7; its holder remains unspecified.", "ainglish": "Only Zena not Iven holds sealed parcel NWC-verdict.bare-7; its holder is specified. ", "question": "Who holds parcel NWC-verdict.bare-7?", "answer": "Zena", "options": [ "neither of them", "Zena", "Iven", "not determined by the text" ], "control_note": "Equal word count and character length; final spaces are padding, not added information. Native model-token equality is not asserted." } ]