{
  "schema": "covert-channel-lab/coverage-verification-v1",
  "checked_at": "2026-09-18T12:08:30.762706+00:00",
  "python": "3.12.3",
  "status": "PASSED",
  "checks": [
    {
      "name": "coverage-tests",
      "command": [
        "/usr/bin/python3",
        "-m",
        "unittest",
        "-v",
        "test_channel_checks"
      ],
      "exit_code": 0
    },
    {
      "name": "coverage-replay",
      "command": [
        "/usr/bin/python3",
        "channel_checks.py",
        "--check"
      ],
      "exit_code": 0
    }
  ],
  "scope": "Finite mathematical counterexamples, catalogue integrity and worksheet assessment. No hardware validation or broader Lean proof.",
  "deployment_qualified": false,
  "catalogue_count": 21,
  "test_count": 8,
  "counterexample_count": 4,
  "deployment_assessment": {
    "status": "UNDETERMINED",
    "optimal_configuration": null,
    "deployment_qualified": false,
    "missing_inputs": [
      "authorized_tasks",
      "canonical_release",
      "observers.coalitions",
      "observers.allowed_locations_and_minimum_distance",
      "observers.sensors_bandwidth_precision_and_side_information",
      "observers.observation_horizon",
      "utility.minimum_service",
      "utility.maximum_public_latency",
      "cost_model",
      "configuration_space",
      "physical_envelope",
      "inventory_complete",
      "joint_observation_refinement",
      "implementation_refinement",
      "physical_validation"
    ],
    "scope": "Worksheet completeness only. Populated declarations do not prove channel closure or global optimality."
  },
  "source_hashes": {
    "channel_checks.py": "da93df4b8013ff7a091582eba4dea66bf66303e3903d32a2a3c5c9e76944b4bd",
    "test_channel_checks.py": "58180484b09ceaec5064c9bbf65fc26faf6e581ed25ead30bdb5afc0c8afabd9",
    "scripts/verify_coverage.py": "1c466a74e9f14a7ce65d868b0d4107e878fc73e14fac2251e0bf611ac4095c2e",
    "research/coverage/catalogue.json": "2f125c26857f3d66da68af890bc8ddbc044f77856081d4ce3d3b15939f411d18",
    "research/coverage/deployment-contract.json": "df37fddd76b4823e8aebf19971b00d2ad68b31711e4ac0ff3398236a3b9365bb",
    "research/coverage/checks.json": "1bbbb8fca67d53f943f3f5dbcf53c27b8eec9b531f5f665c46a23ec97ffcefe3"
  }
}