{
  "schema": "covert-channel-lab/negative-knowledge-v1",
  "records": [
    {
      "id": "NK-01",
      "claim_id": "short_test_suffices",
      "outcome": "REFUTED",
      "title": "A short quiet trace can hide a channel",
      "rejected_claim": "23 equal observations imply all-time equality at s=7,r=1.",
      "witness": {
        "first_different_step": 24,
        "zero_trace": [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "hot_trace": [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          1
        ],
        "zero_temperature": "920233556923127490136639/100000000000000000000000000",
        "hot_temperature": "2760700670769382470409917/50000000000000000000000000",
        "common_disturbance": "1/1000"
      },
      "lesson": "Use an all-time invariant. This near-miss first diverges at step 24.",
      "replay": "python3 -m unittest -v test_lab.ThermalTests.test_near_miss_at_24_not_23"
    },
    {
      "id": "NK-02",
      "claim_id": "raw_sensor_safe",
      "outcome": "REFUTED",
      "title": "Raw sensors defeat the observation restriction",
      "rejected_claim": "The winner makes raw hot and quiet temperatures indistinguishable.",
      "witness": {
        "s": 7,
        "r": 2,
        "step": 1,
        "quiet_temperature": "1/1000",
        "hot_temperature": "1/200",
        "quantized_observations": [
          0,
          0
        ]
      },
      "lesson": "The guarantee depends on a mediated quantized observer; raw trajectories differ.",
      "replay": "python3 -m unittest -v test_lab.ThermalTests.test_quantization_is_essential"
    },
    {
      "id": "NK-03",
      "claim_id": "digital_ablation_safe",
      "outcome": "REFUTED",
      "title": "Removing canonical encoding",
      "rejected_claim": "Dropping canonical_encoding preserves observation equality.",
      "witness": {
        "actions": [
          {
            "variant": false,
            "early": false,
            "succeeds": false,
            "shared_signal": false,
            "network_signal": false
          },
          {
            "variant": true,
            "early": false,
            "succeeds": true,
            "shared_signal": false,
            "network_signal": false
          }
        ],
        "observations": [
          {
            "payload": [
              17,
              0
            ],
            "release_slot": 1,
            "shared_observation": 0,
            "network_observation": 0
          },
          {
            "payload": [
              17,
              1
            ],
            "release_slot": 1,
            "shared_observation": 0,
            "network_observation": 0
          }
        ]
      },
      "lesson": "Retain this control or discharge its exact observation obligation.",
      "replay": "python3 -m unittest -v test_lab.DigitalTests.test_five_ablation_witnesses"
    },
    {
      "id": "NK-04",
      "claim_id": "digital_ablation_safe",
      "outcome": "REFUTED",
      "title": "Removing fixed release slot",
      "rejected_claim": "Dropping fixed_release_slot preserves observation equality.",
      "witness": {
        "actions": [
          {
            "variant": false,
            "early": false,
            "succeeds": false,
            "shared_signal": false,
            "network_signal": false
          },
          {
            "variant": false,
            "early": true,
            "succeeds": false,
            "shared_signal": false,
            "network_signal": false
          }
        ],
        "observations": [
          {
            "payload": [
              17,
              0
            ],
            "release_slot": 1,
            "shared_observation": 0,
            "network_observation": 0
          },
          {
            "payload": [
              17,
              0
            ],
            "release_slot": 0,
            "shared_observation": 0,
            "network_observation": 0
          }
        ]
      },
      "lesson": "Retain this control or discharge its exact observation obligation.",
      "replay": "python3 -m unittest -v test_lab.DigitalTests.test_five_ablation_witnesses"
    },
    {
      "id": "NK-05",
      "claim_id": "digital_ablation_safe",
      "outcome": "REFUTED",
      "title": "Removing total fallback",
      "rejected_claim": "Dropping total_fallback preserves observation equality.",
      "witness": {
        "actions": [
          {
            "variant": false,
            "early": false,
            "succeeds": false,
            "shared_signal": false,
            "network_signal": false
          },
          {
            "variant": false,
            "early": false,
            "succeeds": true,
            "shared_signal": false,
            "network_signal": false
          }
        ],
        "observations": [
          {
            "payload": null,
            "release_slot": 1,
            "shared_observation": 0,
            "network_observation": 0
          },
          {
            "payload": [
              17,
              0
            ],
            "release_slot": 1,
            "shared_observation": 0,
            "network_observation": 0
          }
        ]
      },
      "lesson": "Retain this control or discharge its exact observation obligation.",
      "replay": "python3 -m unittest -v test_lab.DigitalTests.test_five_ablation_witnesses"
    },
    {
      "id": "NK-06",
      "claim_id": "digital_ablation_safe",
      "outcome": "REFUTED",
      "title": "Removing shared resource partition",
      "rejected_claim": "Dropping shared_resource_partition preserves observation equality.",
      "witness": {
        "actions": [
          {
            "variant": false,
            "early": false,
            "succeeds": false,
            "shared_signal": false,
            "network_signal": false
          },
          {
            "variant": false,
            "early": false,
            "succeeds": false,
            "shared_signal": true,
            "network_signal": false
          }
        ],
        "observations": [
          {
            "payload": [
              17,
              0
            ],
            "release_slot": 1,
            "shared_observation": 0,
            "network_observation": 0
          },
          {
            "payload": [
              17,
              0
            ],
            "release_slot": 1,
            "shared_observation": 1,
            "network_observation": 0
          }
        ]
      },
      "lesson": "Retain this control or discharge its exact observation obligation.",
      "replay": "python3 -m unittest -v test_lab.DigitalTests.test_five_ablation_witnesses"
    },
    {
      "id": "NK-07",
      "claim_id": "digital_ablation_safe",
      "outcome": "REFUTED",
      "title": "Removing mediated egress",
      "rejected_claim": "Dropping mediated_egress preserves observation equality.",
      "witness": {
        "actions": [
          {
            "variant": false,
            "early": false,
            "succeeds": false,
            "shared_signal": false,
            "network_signal": false
          },
          {
            "variant": false,
            "early": false,
            "succeeds": false,
            "shared_signal": false,
            "network_signal": true
          }
        ],
        "observations": [
          {
            "payload": [
              17,
              0
            ],
            "release_slot": 1,
            "shared_observation": 0,
            "network_observation": 0
          },
          {
            "payload": [
              17,
              0
            ],
            "release_slot": 1,
            "shared_observation": 0,
            "network_observation": 1
          }
        ]
      },
      "lesson": "Retain this control or discharge its exact observation obligation.",
      "replay": "python3 -m unittest -v test_lab.DigitalTests.test_five_ablation_witnesses"
    },
    {
      "id": "NK-08",
      "claim_id": "nominal_winner_robust",
      "outcome": "REFUTED",
      "title": "The certificate depends on the envelope",
      "rejected_claim": "The nominal winner remains certified under each tested perturbation.",
      "witness": {
        "disturbance_doubled": {
          "nominal_winner_radius": "3/50",
          "threshold": "11/200",
          "certificate_valid": false
        },
        "slower_cooling": {
          "nominal_winner_radius": "1/16",
          "threshold": "11/200",
          "certificate_valid": false
        },
        "load_bound_doubled": {
          "nominal_winner_radius": "9/100",
          "threshold": "11/200",
          "certificate_valid": false
        }
      },
      "lesson": "Re-synthesize after changing bounds. Certificate failure alone is not a physical exploit.",
      "replay": "python3 -m unittest -v test_lab.ThermalTests.test_uncertainty_invalidates_original_winner"
    },
    {
      "id": "NK-09",
      "claim_id": "original_lean_compiles",
      "outcome": "REFUTED",
      "title": "Written proof source can fail to compile",
      "rejected_claim": "The unmodified archive compiles under Lean 4.19.0.",
      "witness": {
        "file": "Proofs.lean",
        "line": 185,
        "exit_code": 1,
        "log": "evidence/publication/lean-original-check.log",
        "archive_sha256": "c11a957a34bb0304165a6c6a4608fe137de766069037d1f8befcd50201ea5786"
      },
      "lesson": "The base case needed exact Nat.zero_le 50. Statements were preserved; current source passes.",
      "replay": "Extract the original archive to a temporary directory and run bash check_lean.sh with Lean 4.19.0.",
      "scope": "Historical compiler failure, not a mathematical counterexample."
    }
  ]
}