{"items":[{"ainglish":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: smoke-test-R17 previously showed that the smoke test passed on main@HEAD. It now shows that the same test now fails on main@HEAD with assertion 51. On the named re-check path, rerunning assertion 51 at main@HEAD fails again. This observation directly tests release-green-R17. Candidate report: release-green-R17 ⊥(smoke-test-R17→the smoke test passed on main@HEAD → the same test now fails on main@HEAD with assertion 51; re-check: rerunning assertion 51 at main@HEAD fails again).","answer":"The claim is refuted; this candidate refutation is licensed.","condition":"stable-causal","domain":"release","english":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: smoke-test-R17 previously showed that the smoke test passed on main@HEAD. It now shows that the same test now fails on main@HEAD with assertion 51. On the named re-check path, rerunning assertion 51 at main@HEAD fails again. This observation directly tests release-green-R17. Candidate report: the claim release-green-R17 is refuted by smoke-test-R17, whose reported delta is: the smoke test passed on main@HEAD → the same test now fails on main@HEAD with assertion 51; re-check: rerunning assertion 51 at main@HEAD fails again.","id":"SAT-FALSUM-20260916-stable-causal-release-00-0003","options":["The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for release-green-R17?","settlement_stratum":"stable-causal","world_id":"falsum-stable-causal-release"},{"ainglish":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: ledger-read-L42 previously showed that the closing read returned 100 credits. It now shows that the same closing read now returns 95 credits. On the named re-check path, a second read at the same revision again returns 95 credits. This observation directly tests balance-100-L42. Candidate report: balance-100-L42 ⊥(ledger-read-L42→the closing read returned 100 credits → the same closing read now returns 95 credits; re-check: a second read at the same revision again returns 95 credits).","answer":"balance-100-L42","condition":"stable-causal","domain":"ledger","english":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: ledger-read-L42 previously showed that the closing read returned 100 credits. It now shows that the same closing read now returns 95 credits. On the named re-check path, a second read at the same revision again returns 95 credits. This observation directly tests balance-100-L42. Candidate report: the claim balance-100-L42 is refuted by ledger-read-L42, whose reported delta is: the closing read returned 100 credits → the same closing read now returns 95 credits; re-check: a second read at the same revision again returns 95 credits.","id":"SAT-FALSUM-20260916-stable-causal-ledger-01-0001","options":["balance-100-L42","ledger-signed-L42","ledger-exported-L42","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"stable-causal","world_id":"falsum-stable-causal-ledger"},{"ainglish":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: marker-assay-S8 previously showed that the marker assay was below its detection threshold. It now shows that the same assay now detects marker K above threshold. On the named re-check path, a fresh aliquot again detects marker K above threshold. This observation directly tests sample-clear-S8. Candidate report: sample-clear-S8 ⊥(marker-assay-S8→the marker assay was below its detection threshold → the same assay now detects marker K above threshold; re-check: a fresh aliquot again detects marker K above threshold).","answer":"The claim is refuted; this candidate refutation is licensed.","condition":"stable-causal","domain":"lab","english":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: marker-assay-S8 previously showed that the marker assay was below its detection threshold. It now shows that the same assay now detects marker K above threshold. On the named re-check path, a fresh aliquot again detects marker K above threshold. This observation directly tests sample-clear-S8. Candidate report: the claim sample-clear-S8 is refuted by marker-assay-S8, whose reported delta is: the marker assay was below its detection threshold → the same assay now detects marker K above threshold; re-check: a fresh aliquot again detects marker K above threshold.","id":"SAT-FALSUM-20260916-stable-causal-lab-02-0001","options":["Only an indeterminate or confidence update is justified; the claim is not refuted.","The claim is refuted; this candidate refutation is licensed.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for sample-clear-S8?","settlement_stratum":"stable-causal","world_id":"falsum-stable-causal-lab"},{"ainglish":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: calibration-check-A6 previously showed that the sensor error was 0.2 metres inside the band. It now shows that the sensor error is now 4.7 metres outside the band. On the named re-check path, the reference rig repeats the 4.7-metre error. This observation directly tests sensor-stable-A6. Candidate report: sensor-stable-A6 ⊥(calibration-check-A6→the sensor error was 0.2 metres inside the band → the sensor error is now 4.7 metres outside the band; re-check: the reference rig repeats the 4.7-metre error).","answer":"sensor-stable-A6","condition":"stable-causal","domain":"aviation","english":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: calibration-check-A6 previously showed that the sensor error was 0.2 metres inside the band. It now shows that the sensor error is now 4.7 metres outside the band. On the named re-check path, the reference rig repeats the 4.7-metre error. This observation directly tests sensor-stable-A6. Candidate report: the claim sensor-stable-A6 is refuted by calibration-check-A6, whose reported delta is: the sensor error was 0.2 metres inside the band → the sensor error is now 4.7 metres outside the band; re-check: the reference rig repeats the 4.7-metre error.","id":"SAT-FALSUM-20260916-stable-causal-aviation-03-0007","options":["battery-full-A6","sensor-stable-A6","log-synced-A6","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"stable-causal","world_id":"falsum-stable-causal-aviation"},{"ainglish":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: policy-probe-G3 previously showed that the policy probe denied a payroll-bucket read. It now shows that the same probe now returns payroll object 204. On the named re-check path, a new G3 session again returns payroll object 204. This observation directly tests guest-blocked-G3. Candidate report: guest-blocked-G3 ⊥(policy-probe-G3→the policy probe denied a payroll-bucket read → the same probe now returns payroll object 204; re-check: a new G3 session again returns payroll object 204).","answer":"The claim is refuted; this candidate refutation is licensed.","condition":"stable-causal","domain":"access","english":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: policy-probe-G3 previously showed that the policy probe denied a payroll-bucket read. It now shows that the same probe now returns payroll object 204. On the named re-check path, a new G3 session again returns payroll object 204. This observation directly tests guest-blocked-G3. Candidate report: the claim guest-blocked-G3 is refuted by policy-probe-G3, whose reported delta is: the policy probe denied a payroll-bucket read → the same probe now returns payroll object 204; re-check: a new G3 session again returns payroll object 204.","id":"SAT-FALSUM-20260916-stable-causal-access-04-0001","options":["Only an indeterminate or confidence update is justified; the claim is not refuted.","The observation is unrelated to that claim, so its status is unchanged.","The claim is refuted; this candidate refutation is licensed.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for guest-blocked-G3?","settlement_stratum":"stable-causal","world_id":"falsum-stable-causal-access"},{"ainglish":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: seal-scan-C9 previously showed that the seal scan matched identifier ZX-41. It now shows that the current scan shows replacement identifier QP-08. On the named re-check path, a manual inspection again reads identifier QP-08. This observation directly tests seal-intact-C9. Candidate report: seal-intact-C9 ⊥(seal-scan-C9→the seal scan matched identifier ZX-41 → the current scan shows replacement identifier QP-08; re-check: a manual inspection again reads identifier QP-08).","answer":"seal-intact-C9","condition":"stable-causal","domain":"shipping","english":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: seal-scan-C9 previously showed that the seal scan matched identifier ZX-41. It now shows that the current scan shows replacement identifier QP-08. On the named re-check path, a manual inspection again reads identifier QP-08. This observation directly tests seal-intact-C9. Candidate report: the claim seal-intact-C9 is refuted by seal-scan-C9, whose reported delta is: the seal scan matched identifier ZX-41 → the current scan shows replacement identifier QP-08; re-check: a manual inspection again reads identifier QP-08.","id":"SAT-FALSUM-20260916-stable-causal-shipping-05-0000","options":["temperature-safe-C9","manifest-valid-C9","seal-intact-C9","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"stable-causal","world_id":"falsum-stable-causal-shipping"},{"ainglish":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: record-count-D5 previously showed that the canonical count returned 800 records. It now shows that the same count now returns 792 records. On the named re-check path, a clean checkout again returns 792 records. This observation directly tests dataset-complete-D5. Candidate report: dataset-complete-D5 ⊥(record-count-D5→the canonical count returned 800 records → the same count now returns 792 records; re-check: a clean checkout again returns 792 records).","answer":"The claim is refuted; this candidate refutation is licensed.","condition":"stable-causal","domain":"research","english":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: record-count-D5 previously showed that the canonical count returned 800 records. It now shows that the same count now returns 792 records. On the named re-check path, a clean checkout again returns 792 records. This observation directly tests dataset-complete-D5. Candidate report: the claim dataset-complete-D5 is refuted by record-count-D5, whose reported delta is: the canonical count returned 800 records → the same count now returns 792 records; re-check: a clean checkout again returns 792 records.","id":"SAT-FALSUM-20260916-stable-causal-research-06-0000","options":["Only an indeterminate or confidence update is justified; the claim is not refuted.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim.","The claim is refuted; this candidate refutation is licensed."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for dataset-complete-D5?","settlement_stratum":"stable-causal","world_id":"falsum-stable-causal-research"},{"ainglish":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: continuity-check-P2 previously showed that the continuity check measured a closed circuit. It now shows that the same check now measures an open circuit. On the named re-check path, a second meter again measures an open circuit. This observation directly tests relay-closed-P2. Candidate report: relay-closed-P2 ⊥(continuity-check-P2→the continuity check measured a closed circuit → the same check now measures an open circuit; re-check: a second meter again measures an open circuit).","answer":"relay-closed-P2","condition":"stable-causal","domain":"power","english":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: continuity-check-P2 previously showed that the continuity check measured a closed circuit. It now shows that the same check now measures an open circuit. On the named re-check path, a second meter again measures an open circuit. This observation directly tests relay-closed-P2. Candidate report: the claim relay-closed-P2 is refuted by continuity-check-P2, whose reported delta is: the continuity check measured a closed circuit → the same check now measures an open circuit; re-check: a second meter again measures an open circuit.","id":"SAT-FALSUM-20260916-stable-causal-power-07-0000","options":["alarm-armed-P2","panel-locked-P2","none of the earlier claims","relay-closed-P2"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"stable-causal","world_id":"falsum-stable-causal-power"},{"ainglish":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: smoke-test-R17 records a stable change: the rollback image checksum changed after repacking. A repeated read confirms that change, but it does not test release-green-R17 and does not contradict release R17 passes its smoke test on main@HEAD. Candidate report: release-green-R17 ⊥(smoke-test-R17→the rollback image checksum changed after repacking; repeated read confirms it).","answer":"The observation is unrelated to that claim, so its status is unchanged.","condition":"stable-coincident","domain":"release","english":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: smoke-test-R17 records a stable change: the rollback image checksum changed after repacking. A repeated read confirms that change, but it does not test release-green-R17 and does not contradict release R17 passes its smoke test on main@HEAD. Candidate report: the claim release-green-R17 is refuted by smoke-test-R17, whose reported delta is: the rollback image checksum changed after repacking; repeated read confirms it.","id":"SAT-FALSUM-20260916-stable-coincident-release-00-0001","options":["The claim is refuted; this candidate refutation is licensed.","The observation is unrelated to that claim, so its status is unchanged.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for release-green-R17?","settlement_stratum":"stable-coincident","world_id":"falsum-stable-coincident-release"},{"ainglish":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: ledger-read-L42 records a stable change: the archive export acquired a newer compression header. A repeated read confirms that change, but it does not test balance-100-L42 and does not contradict ledger L42 closes with a balance of 100 credits. Candidate report: balance-100-L42 ⊥(ledger-read-L42→the archive export acquired a newer compression header; repeated read confirms it).","answer":"balance-100-L42","condition":"stable-coincident","domain":"ledger","english":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: ledger-read-L42 records a stable change: the archive export acquired a newer compression header. A repeated read confirms that change, but it does not test balance-100-L42 and does not contradict ledger L42 closes with a balance of 100 credits. Candidate report: the claim balance-100-L42 is refuted by ledger-read-L42, whose reported delta is: the archive export acquired a newer compression header; repeated read confirms it.","id":"SAT-FALSUM-20260916-stable-coincident-ledger-01-0000","options":["ledger-signed-L42","balance-100-L42","ledger-exported-L42","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"stable-coincident","world_id":"falsum-stable-coincident-ledger"},{"ainglish":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: marker-assay-S8 records a stable change: the seal inventory was assigned a new shelf code. A repeated read confirms that change, but it does not test sample-clear-S8 and does not contradict sample S8 contains no detectable marker K. Candidate report: sample-clear-S8 ⊥(marker-assay-S8→the seal inventory was assigned a new shelf code; repeated read confirms it).","answer":"The observation is unrelated to that claim, so its status is unchanged.","condition":"stable-coincident","domain":"lab","english":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: marker-assay-S8 records a stable change: the seal inventory was assigned a new shelf code. A repeated read confirms that change, but it does not test sample-clear-S8 and does not contradict sample S8 contains no detectable marker K. Candidate report: the claim sample-clear-S8 is refuted by marker-assay-S8, whose reported delta is: the seal inventory was assigned a new shelf code; repeated read confirms it.","id":"SAT-FALSUM-20260916-stable-coincident-lab-02-0000","options":["The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for sample-clear-S8?","settlement_stratum":"stable-coincident","world_id":"falsum-stable-coincident-lab"},{"ainglish":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: calibration-check-A6 records a stable change: the backup battery charge fell from 100 to 96 percent. A repeated read confirms that change, but it does not test sensor-stable-A6 and does not contradict altitude sensor A6 remains within its calibration band. Candidate report: sensor-stable-A6 ⊥(calibration-check-A6→the backup battery charge fell from 100 to 96 percent; repeated read confirms it).","answer":"sensor-stable-A6","condition":"stable-coincident","domain":"aviation","english":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: calibration-check-A6 records a stable change: the backup battery charge fell from 100 to 96 percent. A repeated read confirms that change, but it does not test sensor-stable-A6 and does not contradict altitude sensor A6 remains within its calibration band. Candidate report: the claim sensor-stable-A6 is refuted by calibration-check-A6, whose reported delta is: the backup battery charge fell from 100 to 96 percent; repeated read confirms it.","id":"SAT-FALSUM-20260916-stable-coincident-aviation-03-0001","options":["battery-full-A6","log-synced-A6","sensor-stable-A6","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"stable-coincident","world_id":"falsum-stable-coincident-aviation"},{"ainglish":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: policy-probe-G3 records a stable change: the audit log rotated to a new storage shard. A repeated read confirms that change, but it does not test guest-blocked-G3 and does not contradict guest principal G3 cannot read the payroll bucket. Candidate report: guest-blocked-G3 ⊥(policy-probe-G3→the audit log rotated to a new storage shard; repeated read confirms it).","answer":"The observation is unrelated to that claim, so its status is unchanged.","condition":"stable-coincident","domain":"access","english":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: policy-probe-G3 records a stable change: the audit log rotated to a new storage shard. A repeated read confirms that change, but it does not test guest-blocked-G3 and does not contradict guest principal G3 cannot read the payroll bucket. Candidate report: the claim guest-blocked-G3 is refuted by policy-probe-G3, whose reported delta is: the audit log rotated to a new storage shard; repeated read confirms it.","id":"SAT-FALSUM-20260916-stable-coincident-access-04-0000","options":["The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The report lacks an executable observation and re-check path, so it cannot refute the claim.","The observation is unrelated to that claim, so its status is unchanged."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for guest-blocked-G3?","settlement_stratum":"stable-coincident","world_id":"falsum-stable-coincident-access"},{"ainglish":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: seal-scan-C9 records a stable change: the temperature recorder changed batteries at the depot. A repeated read confirms that change, but it does not test seal-intact-C9 and does not contradict container C9 retains its original customs seal. Candidate report: seal-intact-C9 ⊥(seal-scan-C9→the temperature recorder changed batteries at the depot; repeated read confirms it).","answer":"seal-intact-C9","condition":"stable-coincident","domain":"shipping","english":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: seal-scan-C9 records a stable change: the temperature recorder changed batteries at the depot. A repeated read confirms that change, but it does not test seal-intact-C9 and does not contradict container C9 retains its original customs seal. Candidate report: the claim seal-intact-C9 is refuted by seal-scan-C9, whose reported delta is: the temperature recorder changed batteries at the depot; repeated read confirms it.","id":"SAT-FALSUM-20260916-stable-coincident-shipping-05-0002","options":["temperature-safe-C9","manifest-valid-C9","none of the earlier claims","seal-intact-C9"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"stable-coincident","world_id":"falsum-stable-coincident-shipping"},{"ainglish":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: record-count-D5 records a stable change: the public catalogue changed the dataset thumbnail. A repeated read confirms that change, but it does not test dataset-complete-D5 and does not contradict dataset D5 contains all 800 expected records. Candidate report: dataset-complete-D5 ⊥(record-count-D5→the public catalogue changed the dataset thumbnail; repeated read confirms it).","answer":"The observation is unrelated to that claim, so its status is unchanged.","condition":"stable-coincident","domain":"research","english":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: record-count-D5 records a stable change: the public catalogue changed the dataset thumbnail. A repeated read confirms that change, but it does not test dataset-complete-D5 and does not contradict dataset D5 contains all 800 expected records. Candidate report: the claim dataset-complete-D5 is refuted by record-count-D5, whose reported delta is: the public catalogue changed the dataset thumbnail; repeated read confirms it.","id":"SAT-FALSUM-20260916-stable-coincident-research-06-0000","options":["The observation is unrelated to that claim, so its status is unchanged.","The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for dataset-complete-D5?","settlement_stratum":"stable-coincident","world_id":"falsum-stable-coincident-research"},{"ainglish":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: continuity-check-P2 records a stable change: the alarm service wrote a new rotation timestamp. A repeated read confirms that change, but it does not test relay-closed-P2 and does not contradict relay P2 is closed and conducting. Candidate report: relay-closed-P2 ⊥(continuity-check-P2→the alarm service wrote a new rotation timestamp; repeated read confirms it).","answer":"relay-closed-P2","condition":"stable-coincident","domain":"power","english":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: continuity-check-P2 records a stable change: the alarm service wrote a new rotation timestamp. A repeated read confirms that change, but it does not test relay-closed-P2 and does not contradict relay P2 is closed and conducting. Candidate report: the claim relay-closed-P2 is refuted by continuity-check-P2, whose reported delta is: the alarm service wrote a new rotation timestamp; repeated read confirms it.","id":"SAT-FALSUM-20260916-stable-coincident-power-07-0000","options":["relay-closed-P2","alarm-armed-P2","panel-locked-P2","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"stable-coincident","world_id":"falsum-stable-coincident-power"},{"ainglish":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: smoke-test-R17 first showed that the same test now fails on main@HEAD with assertion 51, but an immediate re-check returned to the prior state: the smoke test passed on main@HEAD. The instrument is oscillating and no stable delta survives re-check. Candidate report: release-green-R17 ⊥(smoke-test-R17→first the same test now fails on main@HEAD with assertion 51; immediate re-check returns to the smoke test passed on main@HEAD).","answer":"Only an indeterminate or confidence update is justified; the claim is not refuted.","condition":"oscillating","domain":"release","english":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: smoke-test-R17 first showed that the same test now fails on main@HEAD with assertion 51, but an immediate re-check returned to the prior state: the smoke test passed on main@HEAD. The instrument is oscillating and no stable delta survives re-check. Candidate report: the claim release-green-R17 is refuted by smoke-test-R17, whose reported delta is: first the same test now fails on main@HEAD with assertion 51; immediate re-check returns to the smoke test passed on main@HEAD.","id":"SAT-FALSUM-20260916-oscillating-release-00-0002","options":["The claim is refuted; this candidate refutation is licensed.","The observation is unrelated to that claim, so its status is unchanged.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for release-green-R17?","settlement_stratum":"oscillating","world_id":"falsum-oscillating-release"},{"ainglish":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: ledger-read-L42 first showed that the same closing read now returns 95 credits, but an immediate re-check returned to the prior state: the closing read returned 100 credits. The instrument is oscillating and no stable delta survives re-check. Candidate report: balance-100-L42 ⊥(ledger-read-L42→first the same closing read now returns 95 credits; immediate re-check returns to the closing read returned 100 credits).","answer":"balance-100-L42","condition":"oscillating","domain":"ledger","english":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: ledger-read-L42 first showed that the same closing read now returns 95 credits, but an immediate re-check returned to the prior state: the closing read returned 100 credits. The instrument is oscillating and no stable delta survives re-check. Candidate report: the claim balance-100-L42 is refuted by ledger-read-L42, whose reported delta is: first the same closing read now returns 95 credits; immediate re-check returns to the closing read returned 100 credits.","id":"SAT-FALSUM-20260916-oscillating-ledger-01-0000","options":["ledger-signed-L42","ledger-exported-L42","balance-100-L42","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"oscillating","world_id":"falsum-oscillating-ledger"},{"ainglish":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: marker-assay-S8 first showed that the same assay now detects marker K above threshold, but an immediate re-check returned to the prior state: the marker assay was below its detection threshold. The instrument is oscillating and no stable delta survives re-check. Candidate report: sample-clear-S8 ⊥(marker-assay-S8→first the same assay now detects marker K above threshold; immediate re-check returns to the marker assay was below its detection threshold).","answer":"Only an indeterminate or confidence update is justified; the claim is not refuted.","condition":"oscillating","domain":"lab","english":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: marker-assay-S8 first showed that the same assay now detects marker K above threshold, but an immediate re-check returned to the prior state: the marker assay was below its detection threshold. The instrument is oscillating and no stable delta survives re-check. Candidate report: the claim sample-clear-S8 is refuted by marker-assay-S8, whose reported delta is: first the same assay now detects marker K above threshold; immediate re-check returns to the marker assay was below its detection threshold.","id":"SAT-FALSUM-20260916-oscillating-lab-02-0003","options":["The claim is refuted; this candidate refutation is licensed.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim.","Only an indeterminate or confidence update is justified; the claim is not refuted."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for sample-clear-S8?","settlement_stratum":"oscillating","world_id":"falsum-oscillating-lab"},{"ainglish":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: calibration-check-A6 first showed that the sensor error is now 4.7 metres outside the band, but an immediate re-check returned to the prior state: the sensor error was 0.2 metres inside the band. The instrument is oscillating and no stable delta survives re-check. Candidate report: sensor-stable-A6 ⊥(calibration-check-A6→first the sensor error is now 4.7 metres outside the band; immediate re-check returns to the sensor error was 0.2 metres inside the band).","answer":"sensor-stable-A6","condition":"oscillating","domain":"aviation","english":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: calibration-check-A6 first showed that the sensor error is now 4.7 metres outside the band, but an immediate re-check returned to the prior state: the sensor error was 0.2 metres inside the band. The instrument is oscillating and no stable delta survives re-check. Candidate report: the claim sensor-stable-A6 is refuted by calibration-check-A6, whose reported delta is: first the sensor error is now 4.7 metres outside the band; immediate re-check returns to the sensor error was 0.2 metres inside the band.","id":"SAT-FALSUM-20260916-oscillating-aviation-03-0003","options":["battery-full-A6","log-synced-A6","none of the earlier claims","sensor-stable-A6"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"oscillating","world_id":"falsum-oscillating-aviation"},{"ainglish":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: policy-probe-G3 first showed that the same probe now returns payroll object 204, but an immediate re-check returned to the prior state: the policy probe denied a payroll-bucket read. The instrument is oscillating and no stable delta survives re-check. Candidate report: guest-blocked-G3 ⊥(policy-probe-G3→first the same probe now returns payroll object 204; immediate re-check returns to the policy probe denied a payroll-bucket read).","answer":"Only an indeterminate or confidence update is justified; the claim is not refuted.","condition":"oscillating","domain":"access","english":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: policy-probe-G3 first showed that the same probe now returns payroll object 204, but an immediate re-check returned to the prior state: the policy probe denied a payroll-bucket read. The instrument is oscillating and no stable delta survives re-check. Candidate report: the claim guest-blocked-G3 is refuted by policy-probe-G3, whose reported delta is: first the same probe now returns payroll object 204; immediate re-check returns to the policy probe denied a payroll-bucket read.","id":"SAT-FALSUM-20260916-oscillating-access-04-0001","options":["Only an indeterminate or confidence update is justified; the claim is not refuted.","The claim is refuted; this candidate refutation is licensed.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for guest-blocked-G3?","settlement_stratum":"oscillating","world_id":"falsum-oscillating-access"},{"ainglish":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: seal-scan-C9 first showed that the current scan shows replacement identifier QP-08, but an immediate re-check returned to the prior state: the seal scan matched identifier ZX-41. The instrument is oscillating and no stable delta survives re-check. Candidate report: seal-intact-C9 ⊥(seal-scan-C9→first the current scan shows replacement identifier QP-08; immediate re-check returns to the seal scan matched identifier ZX-41).","answer":"seal-intact-C9","condition":"oscillating","domain":"shipping","english":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: seal-scan-C9 first showed that the current scan shows replacement identifier QP-08, but an immediate re-check returned to the prior state: the seal scan matched identifier ZX-41. The instrument is oscillating and no stable delta survives re-check. Candidate report: the claim seal-intact-C9 is refuted by seal-scan-C9, whose reported delta is: first the current scan shows replacement identifier QP-08; immediate re-check returns to the seal scan matched identifier ZX-41.","id":"SAT-FALSUM-20260916-oscillating-shipping-05-0002","options":["seal-intact-C9","temperature-safe-C9","manifest-valid-C9","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"oscillating","world_id":"falsum-oscillating-shipping"},{"ainglish":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: record-count-D5 first showed that the same count now returns 792 records, but an immediate re-check returned to the prior state: the canonical count returned 800 records. The instrument is oscillating and no stable delta survives re-check. Candidate report: dataset-complete-D5 ⊥(record-count-D5→first the same count now returns 792 records; immediate re-check returns to the canonical count returned 800 records).","answer":"Only an indeterminate or confidence update is justified; the claim is not refuted.","condition":"oscillating","domain":"research","english":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: record-count-D5 first showed that the same count now returns 792 records, but an immediate re-check returned to the prior state: the canonical count returned 800 records. The instrument is oscillating and no stable delta survives re-check. Candidate report: the claim dataset-complete-D5 is refuted by record-count-D5, whose reported delta is: first the same count now returns 792 records; immediate re-check returns to the canonical count returned 800 records.","id":"SAT-FALSUM-20260916-oscillating-research-06-0001","options":["The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for dataset-complete-D5?","settlement_stratum":"oscillating","world_id":"falsum-oscillating-research"},{"ainglish":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: continuity-check-P2 first showed that the same check now measures an open circuit, but an immediate re-check returned to the prior state: the continuity check measured a closed circuit. The instrument is oscillating and no stable delta survives re-check. Candidate report: relay-closed-P2 ⊥(continuity-check-P2→first the same check now measures an open circuit; immediate re-check returns to the continuity check measured a closed circuit).","answer":"relay-closed-P2","condition":"oscillating","domain":"power","english":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: continuity-check-P2 first showed that the same check now measures an open circuit, but an immediate re-check returned to the prior state: the continuity check measured a closed circuit. The instrument is oscillating and no stable delta survives re-check. Candidate report: the claim relay-closed-P2 is refuted by continuity-check-P2, whose reported delta is: first the same check now measures an open circuit; immediate re-check returns to the continuity check measured a closed circuit.","id":"SAT-FALSUM-20260916-oscillating-power-07-0001","options":["alarm-armed-P2","relay-closed-P2","panel-locked-P2","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"oscillating","world_id":"falsum-oscillating-power"},{"ainglish":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for smoke-test-R17. Candidate report: release-green-R17 ⊥(smoke-test-R17→the check failed).","answer":"The report lacks an executable observation and re-check path, so it cannot refute the claim.","condition":"nonexecutable-gloss","domain":"release","english":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for smoke-test-R17. Candidate report: the claim release-green-R17 is refuted by smoke-test-R17, whose reported delta is: the check failed.","id":"SAT-FALSUM-20260916-nonexecutable-gloss-release-00-0000","options":["The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for release-green-R17?","settlement_stratum":"nonexecutable-gloss","world_id":"falsum-nonexecutable-gloss-release"},{"ainglish":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for ledger-read-L42. Candidate report: balance-100-L42 ⊥(ledger-read-L42→the check failed).","answer":"balance-100-L42","condition":"nonexecutable-gloss","domain":"ledger","english":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for ledger-read-L42. Candidate report: the claim balance-100-L42 is refuted by ledger-read-L42, whose reported delta is: the check failed.","id":"SAT-FALSUM-20260916-nonexecutable-gloss-ledger-01-0001","options":["ledger-signed-L42","ledger-exported-L42","none of the earlier claims","balance-100-L42"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"nonexecutable-gloss","world_id":"falsum-nonexecutable-gloss-ledger"},{"ainglish":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for marker-assay-S8. Candidate report: sample-clear-S8 ⊥(marker-assay-S8→the check failed).","answer":"The report lacks an executable observation and re-check path, so it cannot refute the claim.","condition":"nonexecutable-gloss","domain":"lab","english":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for marker-assay-S8. Candidate report: the claim sample-clear-S8 is refuted by marker-assay-S8, whose reported delta is: the check failed.","id":"SAT-FALSUM-20260916-nonexecutable-gloss-lab-02-0000","options":["The report lacks an executable observation and re-check path, so it cannot refute the claim.","The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The observation is unrelated to that claim, so its status is unchanged."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for sample-clear-S8?","settlement_stratum":"nonexecutable-gloss","world_id":"falsum-nonexecutable-gloss-lab"},{"ainglish":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for calibration-check-A6. Candidate report: sensor-stable-A6 ⊥(calibration-check-A6→the check failed).","answer":"sensor-stable-A6","condition":"nonexecutable-gloss","domain":"aviation","english":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for calibration-check-A6. Candidate report: the claim sensor-stable-A6 is refuted by calibration-check-A6, whose reported delta is: the check failed.","id":"SAT-FALSUM-20260916-nonexecutable-gloss-aviation-03-0000","options":["sensor-stable-A6","battery-full-A6","log-synced-A6","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"nonexecutable-gloss","world_id":"falsum-nonexecutable-gloss-aviation"},{"ainglish":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for policy-probe-G3. Candidate report: guest-blocked-G3 ⊥(policy-probe-G3→the check failed).","answer":"The report lacks an executable observation and re-check path, so it cannot refute the claim.","condition":"nonexecutable-gloss","domain":"access","english":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for policy-probe-G3. Candidate report: the claim guest-blocked-G3 is refuted by policy-probe-G3, whose reported delta is: the check failed.","id":"SAT-FALSUM-20260916-nonexecutable-gloss-access-04-0000","options":["The claim is refuted; this candidate refutation is licensed.","The report lacks an executable observation and re-check path, so it cannot refute the claim.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The observation is unrelated to that claim, so its status is unchanged."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for guest-blocked-G3?","settlement_stratum":"nonexecutable-gloss","world_id":"falsum-nonexecutable-gloss-access"},{"ainglish":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for seal-scan-C9. Candidate report: seal-intact-C9 ⊥(seal-scan-C9→the check failed).","answer":"seal-intact-C9","condition":"nonexecutable-gloss","domain":"shipping","english":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for seal-scan-C9. Candidate report: the claim seal-intact-C9 is refuted by seal-scan-C9, whose reported delta is: the check failed.","id":"SAT-FALSUM-20260916-nonexecutable-gloss-shipping-05-0002","options":["temperature-safe-C9","seal-intact-C9","manifest-valid-C9","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"nonexecutable-gloss","world_id":"falsum-nonexecutable-gloss-shipping"},{"ainglish":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for record-count-D5. Candidate report: dataset-complete-D5 ⊥(record-count-D5→the check failed).","answer":"The report lacks an executable observation and re-check path, so it cannot refute the claim.","condition":"nonexecutable-gloss","domain":"research","english":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for record-count-D5. Candidate report: the claim dataset-complete-D5 is refuted by record-count-D5, whose reported delta is: the check failed.","id":"SAT-FALSUM-20260916-nonexecutable-gloss-research-06-0000","options":["The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The report lacks an executable observation and re-check path, so it cannot refute the claim.","The observation is unrelated to that claim, so its status is unchanged."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for dataset-complete-D5?","settlement_stratum":"nonexecutable-gloss","world_id":"falsum-nonexecutable-gloss-research"},{"ainglish":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for continuity-check-P2. Candidate report: relay-closed-P2 ⊥(continuity-check-P2→the check failed).","answer":"relay-closed-P2","condition":"nonexecutable-gloss","domain":"power","english":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: The writer supplies only the phrase 'the check failed'. No before/after observation, revision, threshold, command, or re-check path is named for continuity-check-P2. Candidate report: the claim relay-closed-P2 is refuted by continuity-check-P2, whose reported delta is: the check failed.","id":"SAT-FALSUM-20260916-nonexecutable-gloss-power-07-0000","options":["alarm-armed-P2","panel-locked-P2","relay-closed-P2","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"nonexecutable-gloss","world_id":"falsum-nonexecutable-gloss-power"},{"ainglish":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: smoke-test-R17 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of release-green-R17 remains unresolved. Candidate report: release-green-R17 ⊥(smoke-test-R17→no result; fixture unavailable; retry pending).","answer":"Only an indeterminate or confidence update is justified; the claim is not refuted.","condition":"instrument-not-run","domain":"release","english":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: smoke-test-R17 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of release-green-R17 remains unresolved. Candidate report: the claim release-green-R17 is refuted by smoke-test-R17, whose reported delta is: no result; fixture unavailable; retry pending.","id":"SAT-FALSUM-20260916-instrument-not-run-release-00-0001","options":["Only an indeterminate or confidence update is justified; the claim is not refuted.","The claim is refuted; this candidate refutation is licensed.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for release-green-R17?","settlement_stratum":"instrument-not-run","world_id":"falsum-instrument-not-run-release"},{"ainglish":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: ledger-read-L42 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of balance-100-L42 remains unresolved. Candidate report: balance-100-L42 ⊥(ledger-read-L42→no result; fixture unavailable; retry pending).","answer":"balance-100-L42","condition":"instrument-not-run","domain":"ledger","english":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: ledger-read-L42 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of balance-100-L42 remains unresolved. Candidate report: the claim balance-100-L42 is refuted by ledger-read-L42, whose reported delta is: no result; fixture unavailable; retry pending.","id":"SAT-FALSUM-20260916-instrument-not-run-ledger-01-0000","options":["balance-100-L42","ledger-signed-L42","ledger-exported-L42","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"instrument-not-run","world_id":"falsum-instrument-not-run-ledger"},{"ainglish":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: marker-assay-S8 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of sample-clear-S8 remains unresolved. Candidate report: sample-clear-S8 ⊥(marker-assay-S8→no result; fixture unavailable; retry pending).","answer":"Only an indeterminate or confidence update is justified; the claim is not refuted.","condition":"instrument-not-run","domain":"lab","english":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: marker-assay-S8 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of sample-clear-S8 remains unresolved. Candidate report: the claim sample-clear-S8 is refuted by marker-assay-S8, whose reported delta is: no result; fixture unavailable; retry pending.","id":"SAT-FALSUM-20260916-instrument-not-run-lab-02-0001","options":["The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for sample-clear-S8?","settlement_stratum":"instrument-not-run","world_id":"falsum-instrument-not-run-lab"},{"ainglish":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: calibration-check-A6 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of sensor-stable-A6 remains unresolved. Candidate report: sensor-stable-A6 ⊥(calibration-check-A6→no result; fixture unavailable; retry pending).","answer":"sensor-stable-A6","condition":"instrument-not-run","domain":"aviation","english":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: calibration-check-A6 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of sensor-stable-A6 remains unresolved. Candidate report: the claim sensor-stable-A6 is refuted by calibration-check-A6, whose reported delta is: no result; fixture unavailable; retry pending.","id":"SAT-FALSUM-20260916-instrument-not-run-aviation-03-0002","options":["battery-full-A6","sensor-stable-A6","log-synced-A6","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"instrument-not-run","world_id":"falsum-instrument-not-run-aviation"},{"ainglish":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: policy-probe-G3 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of guest-blocked-G3 remains unresolved. Candidate report: guest-blocked-G3 ⊥(policy-probe-G3→no result; fixture unavailable; retry pending).","answer":"Only an indeterminate or confidence update is justified; the claim is not refuted.","condition":"instrument-not-run","domain":"access","english":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: policy-probe-G3 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of guest-blocked-G3 remains unresolved. Candidate report: the claim guest-blocked-G3 is refuted by policy-probe-G3, whose reported delta is: no result; fixture unavailable; retry pending.","id":"SAT-FALSUM-20260916-instrument-not-run-access-04-0001","options":["The claim is refuted; this candidate refutation is licensed.","The observation is unrelated to that claim, so its status is unchanged.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for guest-blocked-G3?","settlement_stratum":"instrument-not-run","world_id":"falsum-instrument-not-run-access"},{"ainglish":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: seal-scan-C9 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of seal-intact-C9 remains unresolved. Candidate report: seal-intact-C9 ⊥(seal-scan-C9→no result; fixture unavailable; retry pending).","answer":"seal-intact-C9","condition":"instrument-not-run","domain":"shipping","english":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: seal-scan-C9 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of seal-intact-C9 remains unresolved. Candidate report: the claim seal-intact-C9 is refuted by seal-scan-C9, whose reported delta is: no result; fixture unavailable; retry pending.","id":"SAT-FALSUM-20260916-instrument-not-run-shipping-05-0001","options":["temperature-safe-C9","manifest-valid-C9","seal-intact-C9","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"instrument-not-run","world_id":"falsum-instrument-not-run-shipping"},{"ainglish":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: record-count-D5 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of dataset-complete-D5 remains unresolved. Candidate report: dataset-complete-D5 ⊥(record-count-D5→no result; fixture unavailable; retry pending).","answer":"Only an indeterminate or confidence update is justified; the claim is not refuted.","condition":"instrument-not-run","domain":"research","english":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: record-count-D5 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of dataset-complete-D5 remains unresolved. Candidate report: the claim dataset-complete-D5 is refuted by record-count-D5, whose reported delta is: no result; fixture unavailable; retry pending.","id":"SAT-FALSUM-20260916-instrument-not-run-research-06-0001","options":["The claim is refuted; this candidate refutation is licensed.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim.","Only an indeterminate or confidence update is justified; the claim is not refuted."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for dataset-complete-D5?","settlement_stratum":"instrument-not-run","world_id":"falsum-instrument-not-run-research"},{"ainglish":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: continuity-check-P2 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of relay-closed-P2 remains unresolved. Candidate report: relay-closed-P2 ⊥(continuity-check-P2→no result; fixture unavailable; retry pending).","answer":"relay-closed-P2","condition":"instrument-not-run","domain":"power","english":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: continuity-check-P2 did not run because its fixture was unavailable. It produced no observation. A retry is pending, so the truth of relay-closed-P2 remains unresolved. Candidate report: the claim relay-closed-P2 is refuted by continuity-check-P2, whose reported delta is: no result; fixture unavailable; retry pending.","id":"SAT-FALSUM-20260916-instrument-not-run-power-07-0000","options":["alarm-armed-P2","panel-locked-P2","none of the earlier claims","relay-closed-P2"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"instrument-not-run","world_id":"falsum-instrument-not-run-power"},{"ainglish":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: smoke-test-R17 now shows that the same test now fails on main@HEAD with assertion 51, and rerunning assertion 51 at main@HEAD fails again. In this scenario that observation directly contradicts rollback-ready-R17, not release-green-R17; release R17 passes its smoke test on main@HEAD is unaffected. Candidate report: release-green-R17 ⊥(smoke-test-R17→the smoke test passed on main@HEAD → the same test now fails on main@HEAD with assertion 51; re-check: rerunning assertion 51 at main@HEAD fails again).","answer":"The observation is unrelated to that claim, so its status is unchanged.","condition":"wrong-claim","domain":"release","english":"Earlier claims: release-green-R17 = release R17 passes its smoke test on main@HEAD; rollback-ready-R17 = release R17 has a usable rollback image; docs-current-R17 = the R17 operator notes are current. Facts: smoke-test-R17 now shows that the same test now fails on main@HEAD with assertion 51, and rerunning assertion 51 at main@HEAD fails again. In this scenario that observation directly contradicts rollback-ready-R17, not release-green-R17; release R17 passes its smoke test on main@HEAD is unaffected. Candidate report: the claim release-green-R17 is refuted by smoke-test-R17, whose reported delta is: the smoke test passed on main@HEAD → the same test now fails on main@HEAD with assertion 51; re-check: rerunning assertion 51 at main@HEAD fails again.","id":"SAT-FALSUM-20260916-wrong-claim-release-00-0001","options":["The claim is refuted; this candidate refutation is licensed.","The observation is unrelated to that claim, so its status is unchanged.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for release-green-R17?","settlement_stratum":"wrong-claim","world_id":"falsum-wrong-claim-release"},{"ainglish":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: ledger-read-L42 now shows that the same closing read now returns 95 credits, and a second read at the same revision again returns 95 credits. In this scenario that observation directly contradicts ledger-signed-L42, not balance-100-L42; ledger L42 closes with a balance of 100 credits is unaffected. Candidate report: balance-100-L42 ⊥(ledger-read-L42→the closing read returned 100 credits → the same closing read now returns 95 credits; re-check: a second read at the same revision again returns 95 credits).","answer":"balance-100-L42","condition":"wrong-claim","domain":"ledger","english":"Earlier claims: balance-100-L42 = ledger L42 closes with a balance of 100 credits; ledger-signed-L42 = ledger L42 has a valid closing signature; ledger-exported-L42 = ledger L42 was exported to the archive. Facts: ledger-read-L42 now shows that the same closing read now returns 95 credits, and a second read at the same revision again returns 95 credits. In this scenario that observation directly contradicts ledger-signed-L42, not balance-100-L42; ledger L42 closes with a balance of 100 credits is unaffected. Candidate report: the claim balance-100-L42 is refuted by ledger-read-L42, whose reported delta is: the closing read returned 100 credits → the same closing read now returns 95 credits; re-check: a second read at the same revision again returns 95 credits.","id":"SAT-FALSUM-20260916-wrong-claim-ledger-01-0002","options":["ledger-signed-L42","balance-100-L42","ledger-exported-L42","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"wrong-claim","world_id":"falsum-wrong-claim-ledger"},{"ainglish":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: marker-assay-S8 now shows that the same assay now detects marker K above threshold, and a fresh aliquot again detects marker K above threshold. In this scenario that observation directly contradicts sample-sealed-S8, not sample-clear-S8; sample S8 contains no detectable marker K is unaffected. Candidate report: sample-clear-S8 ⊥(marker-assay-S8→the marker assay was below its detection threshold → the same assay now detects marker K above threshold; re-check: a fresh aliquot again detects marker K above threshold).","answer":"The observation is unrelated to that claim, so its status is unchanged.","condition":"wrong-claim","domain":"lab","english":"Earlier claims: sample-clear-S8 = sample S8 contains no detectable marker K; sample-sealed-S8 = sample S8 remained sealed before analysis; sample-labelled-S8 = sample S8 carries the correct subject label. Facts: marker-assay-S8 now shows that the same assay now detects marker K above threshold, and a fresh aliquot again detects marker K above threshold. In this scenario that observation directly contradicts sample-sealed-S8, not sample-clear-S8; sample S8 contains no detectable marker K is unaffected. Candidate report: the claim sample-clear-S8 is refuted by marker-assay-S8, whose reported delta is: the marker assay was below its detection threshold → the same assay now detects marker K above threshold; re-check: a fresh aliquot again detects marker K above threshold.","id":"SAT-FALSUM-20260916-wrong-claim-lab-02-0001","options":["The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The observation is unrelated to that claim, so its status is unchanged.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for sample-clear-S8?","settlement_stratum":"wrong-claim","world_id":"falsum-wrong-claim-lab"},{"ainglish":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: calibration-check-A6 now shows that the sensor error is now 4.7 metres outside the band, and the reference rig repeats the 4.7-metre error. In this scenario that observation directly contradicts battery-full-A6, not sensor-stable-A6; altitude sensor A6 remains within its calibration band is unaffected. Candidate report: sensor-stable-A6 ⊥(calibration-check-A6→the sensor error was 0.2 metres inside the band → the sensor error is now 4.7 metres outside the band; re-check: the reference rig repeats the 4.7-metre error).","answer":"sensor-stable-A6","condition":"wrong-claim","domain":"aviation","english":"Earlier claims: sensor-stable-A6 = altitude sensor A6 remains within its calibration band; battery-full-A6 = the backup battery for A6 is fully charged; log-synced-A6 = A6 log timestamps are synchronized. Facts: calibration-check-A6 now shows that the sensor error is now 4.7 metres outside the band, and the reference rig repeats the 4.7-metre error. In this scenario that observation directly contradicts battery-full-A6, not sensor-stable-A6; altitude sensor A6 remains within its calibration band is unaffected. Candidate report: the claim sensor-stable-A6 is refuted by calibration-check-A6, whose reported delta is: the sensor error was 0.2 metres inside the band → the sensor error is now 4.7 metres outside the band; re-check: the reference rig repeats the 4.7-metre error.","id":"SAT-FALSUM-20260916-wrong-claim-aviation-03-0000","options":["battery-full-A6","log-synced-A6","sensor-stable-A6","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"wrong-claim","world_id":"falsum-wrong-claim-aviation"},{"ainglish":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: policy-probe-G3 now shows that the same probe now returns payroll object 204, and a new G3 session again returns payroll object 204. In this scenario that observation directly contradicts audit-live-G3, not guest-blocked-G3; guest principal G3 cannot read the payroll bucket is unaffected. Candidate report: guest-blocked-G3 ⊥(policy-probe-G3→the policy probe denied a payroll-bucket read → the same probe now returns payroll object 204; re-check: a new G3 session again returns payroll object 204).","answer":"The observation is unrelated to that claim, so its status is unchanged.","condition":"wrong-claim","domain":"access","english":"Earlier claims: guest-blocked-G3 = guest principal G3 cannot read the payroll bucket; audit-live-G3 = access attempts by G3 are written to the audit log; token-short-G3 = G3 tokens expire after ten minutes. Facts: policy-probe-G3 now shows that the same probe now returns payroll object 204, and a new G3 session again returns payroll object 204. In this scenario that observation directly contradicts audit-live-G3, not guest-blocked-G3; guest principal G3 cannot read the payroll bucket is unaffected. Candidate report: the claim guest-blocked-G3 is refuted by policy-probe-G3, whose reported delta is: the policy probe denied a payroll-bucket read → the same probe now returns payroll object 204; re-check: a new G3 session again returns payroll object 204.","id":"SAT-FALSUM-20260916-wrong-claim-access-04-0000","options":["The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The report lacks an executable observation and re-check path, so it cannot refute the claim.","The observation is unrelated to that claim, so its status is unchanged."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for guest-blocked-G3?","settlement_stratum":"wrong-claim","world_id":"falsum-wrong-claim-access"},{"ainglish":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: seal-scan-C9 now shows that the current scan shows replacement identifier QP-08, and a manual inspection again reads identifier QP-08. In this scenario that observation directly contradicts temperature-safe-C9, not seal-intact-C9; container C9 retains its original customs seal is unaffected. Candidate report: seal-intact-C9 ⊥(seal-scan-C9→the seal scan matched identifier ZX-41 → the current scan shows replacement identifier QP-08; re-check: a manual inspection again reads identifier QP-08).","answer":"seal-intact-C9","condition":"wrong-claim","domain":"shipping","english":"Earlier claims: seal-intact-C9 = container C9 retains its original customs seal; temperature-safe-C9 = container C9 stayed inside its temperature range; manifest-valid-C9 = the C9 cargo manifest has a valid signature. Facts: seal-scan-C9 now shows that the current scan shows replacement identifier QP-08, and a manual inspection again reads identifier QP-08. In this scenario that observation directly contradicts temperature-safe-C9, not seal-intact-C9; container C9 retains its original customs seal is unaffected. Candidate report: the claim seal-intact-C9 is refuted by seal-scan-C9, whose reported delta is: the seal scan matched identifier ZX-41 → the current scan shows replacement identifier QP-08; re-check: a manual inspection again reads identifier QP-08.","id":"SAT-FALSUM-20260916-wrong-claim-shipping-05-0000","options":["temperature-safe-C9","manifest-valid-C9","none of the earlier claims","seal-intact-C9"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"wrong-claim","world_id":"falsum-wrong-claim-shipping"},{"ainglish":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: record-count-D5 now shows that the same count now returns 792 records, and a clean checkout again returns 792 records. In this scenario that observation directly contradicts dataset-signed-D5, not dataset-complete-D5; dataset D5 contains all 800 expected records is unaffected. Candidate report: dataset-complete-D5 ⊥(record-count-D5→the canonical count returned 800 records → the same count now returns 792 records; re-check: a clean checkout again returns 792 records).","answer":"The observation is unrelated to that claim, so its status is unchanged.","condition":"wrong-claim","domain":"research","english":"Earlier claims: dataset-complete-D5 = dataset D5 contains all 800 expected records; dataset-signed-D5 = dataset D5 has a valid publisher signature; dataset-public-D5 = dataset D5 is visible in the public catalogue. Facts: record-count-D5 now shows that the same count now returns 792 records, and a clean checkout again returns 792 records. In this scenario that observation directly contradicts dataset-signed-D5, not dataset-complete-D5; dataset D5 contains all 800 expected records is unaffected. Candidate report: the claim dataset-complete-D5 is refuted by record-count-D5, whose reported delta is: the canonical count returned 800 records → the same count now returns 792 records; re-check: a clean checkout again returns 792 records.","id":"SAT-FALSUM-20260916-wrong-claim-research-06-0001","options":["The observation is unrelated to that claim, so its status is unchanged.","The claim is refuted; this candidate refutation is licensed.","Only an indeterminate or confidence update is justified; the claim is not refuted.","The report lacks an executable observation and re-check path, so it cannot refute the claim."],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"refutation-licensing","question":"Given the facts, what status is justified for dataset-complete-D5?","settlement_stratum":"wrong-claim","world_id":"falsum-wrong-claim-research"},{"ainglish":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: continuity-check-P2 now shows that the same check now measures an open circuit, and a second meter again measures an open circuit. In this scenario that observation directly contradicts alarm-armed-P2, not relay-closed-P2; relay P2 is closed and conducting is unaffected. Candidate report: relay-closed-P2 ⊥(continuity-check-P2→the continuity check measured a closed circuit → the same check now measures an open circuit; re-check: a second meter again measures an open circuit).","answer":"relay-closed-P2","condition":"wrong-claim","domain":"power","english":"Earlier claims: relay-closed-P2 = relay P2 is closed and conducting; alarm-armed-P2 = the P2 overcurrent alarm is armed; panel-locked-P2 = the P2 control panel is locked. Facts: continuity-check-P2 now shows that the same check now measures an open circuit, and a second meter again measures an open circuit. In this scenario that observation directly contradicts alarm-armed-P2, not relay-closed-P2; relay P2 is closed and conducting is unaffected. Candidate report: the claim relay-closed-P2 is refuted by continuity-check-P2, whose reported delta is: the continuity check measured a closed circuit → the same check now measures an open circuit; re-check: a second meter again measures an open circuit.","id":"SAT-FALSUM-20260916-wrong-claim-power-07-0001","options":["relay-closed-P2","alarm-armed-P2","panel-locked-P2","none of the earlier claims"],"oracle_boundary":"A stable causal delta that survives the named re-check licenses refutation. A coincident or wrong-claim delta is unrelated; a reversal or non-running instrument is indeterminate; a gloss without an executable before/after observation and re-check path is structurally insufficient.","probe":"killed-claim-identity","question":"Which earlier claim does the candidate report purport to mark as refuted, if its assertion is read literally?","settlement_stratum":"wrong-claim","world_id":"falsum-wrong-claim-power"},{"ainglish":"The custodian of package Q-7200 is Iris.","answer":"Iris","calibration":true,"calibration_construct":"resolved package custodian","calibration_scope":"target-independent","english":"The custodian of package Q-7200 is not recorded.","id":"SAT-FALSUM-cal-00","options":["Iris","Kato","Mina","Ravi","not determined"],"question":"Who is the custodian of package Q-7200?"},{"ainglish":"The custodian of package Q-7201 is Kato.","answer":"Kato","calibration":true,"calibration_construct":"resolved package custodian","calibration_scope":"target-independent","english":"The custodian of package Q-7201 is not recorded.","id":"SAT-FALSUM-cal-01","options":["Iris","Kato","Mina","Ravi","not determined"],"question":"Who is the custodian of package Q-7201?"},{"ainglish":"The custodian of package Q-7202 is Mina.","answer":"Mina","calibration":true,"calibration_construct":"resolved package custodian","calibration_scope":"target-independent","english":"The custodian of package Q-7202 is not recorded.","id":"SAT-FALSUM-cal-02","options":["Iris","Kato","Mina","Ravi","not determined"],"question":"Who is the custodian of package Q-7202?"},{"ainglish":"The custodian of package Q-7203 is Ravi.","answer":"Ravi","calibration":true,"calibration_construct":"resolved package custodian","calibration_scope":"target-independent","english":"The custodian of package Q-7203 is not recorded.","id":"SAT-FALSUM-cal-03","options":["Iris","Kato","Mina","Ravi","not determined"],"question":"Who is the custodian of package Q-7203?"},{"ainglish":"The custodian of package Q-7204 is Iris.","answer":"Iris","calibration":true,"calibration_construct":"resolved package custodian","calibration_scope":"target-independent","english":"The custodian of package Q-7204 is not recorded.","id":"SAT-FALSUM-cal-04","options":["Iris","Kato","Mina","Ravi","not determined"],"question":"Who is the custodian of package Q-7204?"},{"ainglish":"The custodian of package Q-7205 is Kato.","answer":"Kato","calibration":true,"calibration_construct":"resolved package custodian","calibration_scope":"target-independent","english":"The custodian of package Q-7205 is not recorded.","id":"SAT-FALSUM-cal-05","options":["Iris","Kato","Mina","Ravi","not determined"],"question":"Who is the custodian of package Q-7205?"},{"ainglish":"The custodian of package Q-7206 is Mina.","answer":"Mina","calibration":true,"calibration_construct":"resolved package custodian","calibration_scope":"target-independent","english":"The custodian of package Q-7206 is not recorded.","id":"SAT-FALSUM-cal-06","options":["Iris","Kato","Mina","Ravi","not determined"],"question":"Who is the custodian of package Q-7206?"},{"ainglish":"The custodian of package Q-7207 is Ravi.","answer":"Ravi","calibration":true,"calibration_construct":"resolved package custodian","calibration_scope":"target-independent","english":"The custodian of package Q-7207 is not recorded.","id":"SAT-FALSUM-cal-07","options":["Iris","Kato","Mina","Ravi","not determined"],"question":"Who is the custodian of package Q-7207?"}],"kind":"saturnia.ainglish.falsum-ref-comprehension-recert-items.v1","sha256":"d3e4d54a84cf9c1947e78885f8181dc413a623dff5f0fbee2564dae05a684e6e"}