{
  "schema": "covert-channel-lab/v1",
  "date": "2026-09-18",
  "status": "exact model result; NOT production security certification",
  "assumptions_are_illustrative": true,
  "configuration_count": 1760,
  "feasible_count": 19,
  "best": {
    "core": {
      "canonical_encoding": true,
      "fixed_release_slot": true,
      "total_fallback": true,
      "shared_resource_partition": true,
      "mediated_egress": true
    },
    "s": 7,
    "r": 2,
    "cost": 57,
    "service_score": 90,
    "thermal_gain": "1/250",
    "invariant_radius": "1/20",
    "digital_ok": true,
    "thermal_certified": true,
    "feasible": true
  },
  "global_optimality_certificate": {
    "lower_bound": "512/9",
    "integer_lower_bound": 57,
    "witness_cost": 57,
    "gap": 0,
    "domain": "all nonnegative integer s,r with 2s+r>=16 and r<=4"
  },
  "independent_bounded_checks": 40,
  "thermal_design_pairs_checked": 55,
  "best_full_service": {
    "core": {
      "canonical_encoding": true,
      "fixed_release_slot": true,
      "total_fallback": true,
      "shared_resource_partition": true,
      "mediated_egress": true
    },
    "s": 8,
    "r": 0,
    "cost": 64,
    "service_score": 100,
    "thermal_gain": "1/250",
    "invariant_radius": "1/20",
    "digital_ok": true,
    "thermal_certified": true,
    "feasible": true
  },
  "sensitivity": {
    "default": {
      "s": 7,
      "r": 2,
      "cost": 57,
      "service_score": 90,
      "invariant_radius": "1/20"
    },
    "disturbance_doubled": {
      "s": 8,
      "r": 1,
      "cost": 66,
      "service_score": 95,
      "invariant_radius": "1/20"
    },
    "slower_cooling": {
      "s": 8,
      "r": 1,
      "cost": 66,
      "service_score": 95,
      "invariant_radius": "1/20"
    },
    "load_bound_doubled": {
      "s": 8,
      "r": 2,
      "cost": 72,
      "service_score": 90,
      "invariant_radius": "1/20"
    }
  },
  "negative_controls": {
    "canonical_encoding": {
      "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
        }
      ]
    },
    "fixed_release_slot": {
      "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
        }
      ]
    },
    "total_fallback": {
      "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
        }
      ]
    },
    "shared_resource_partition": {
      "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
        }
      ]
    },
    "mediated_egress": {
      "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
        }
      ]
    }
  },
  "thermal_near_miss": {
    "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"
  },
  "lean_kernel_check": "SEPARATE_CHECK_REQUIRED",
  "physical_refinement_check": "NOT_PERFORMED",
  "promotion_status": "RESEARCH_CANDIDATE_ONLY"
}