{
  "corpus_version": "1.0.0",
  "checker_version": "1.0.0",
  "python": "3.9.6",
  "passed": 66,
  "results": [
    {
      "id": "KL-FCS-001",
      "status": "mechanically-checked",
      "check_units": 364,
      "scope": "Exhaustive bounded validation \u00b7 364 inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-002",
      "status": "mechanically-checked",
      "check_units": 3,
      "scope": "Complete reachable product \u00b7 3 state pairs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-003",
      "status": "mechanically-checked",
      "check_units": 2,
      "scope": "Exact reduction replay \u00b7 2 steps",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-004",
      "status": "mechanically-checked",
      "check_units": 1,
      "scope": "Exact type reconstruction \u00b7 1 judgment",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-005",
      "status": "mechanically-checked",
      "check_units": 4,
      "scope": "Complete Boolean enumeration \u00b7 4 assignments",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-006",
      "status": "mechanically-checked",
      "check_units": 2,
      "scope": "Complete Boolean enumeration \u00b7 2 assignments",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-007",
      "status": "mechanically-checked",
      "check_units": 16,
      "scope": "Complete bit-vector enumeration \u00b7 16 values",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-008",
      "status": "mechanically-checked",
      "check_units": 3,
      "scope": "Complete reachability \u00b7 3 states",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-009",
      "status": "mechanically-checked",
      "check_units": 4,
      "scope": "Witness truth table + complete smaller-circuit search",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-010",
      "status": "mechanically-checked",
      "check_units": 8,
      "scope": "Complete assignment enumeration \u00b7 8 schedules",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-011",
      "status": "mechanically-checked",
      "check_units": 16,
      "scope": "Complete bit-vector equivalence \u00b7 16 inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-012",
      "status": "mechanically-checked",
      "check_units": 511,
      "scope": "Complete bounded enumeration \u00b7 511 inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-013",
      "status": "mechanically-checked",
      "check_units": 781,
      "scope": "Complete bounded enumeration \u00b7 781 inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-014",
      "status": "mechanically-checked",
      "check_units": 2,
      "scope": "Complete product reachability",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-015",
      "status": "mechanically-checked",
      "check_units": 2,
      "scope": "Complete product + distinguishing-word replay",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-016",
      "status": "mechanically-checked",
      "check_units": 3,
      "scope": "Exact reduction replay \u00b7 3 steps",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-017",
      "status": "mechanically-checked",
      "check_units": 3,
      "scope": "Exact reduction replay \u00b7 3 steps",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-018",
      "status": "mechanically-checked",
      "check_units": 1,
      "scope": "Exact syntax-directed typing judgment",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-019",
      "status": "mechanically-checked",
      "check_units": 1,
      "scope": "Exact syntax-directed typing judgment",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-020",
      "status": "mechanically-checked",
      "check_units": 4,
      "scope": "Complete four-state reachability",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-021",
      "status": "mechanically-checked",
      "check_units": 4,
      "scope": "Complete four-state reachability",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-022",
      "status": "mechanically-checked",
      "check_units": 1,
      "scope": "Complete truth table + zero-gate lower bound",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-023",
      "status": "mechanically-checked",
      "check_units": 1,
      "scope": "Complete truth table + zero-gate lower bound",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-024",
      "status": "mechanically-checked",
      "check_units": 16,
      "scope": "Complete assignment space \u00b7 16 schedules",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-025",
      "status": "mechanically-checked",
      "check_units": 243,
      "scope": "Complete assignment space \u00b7 243 schedules",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-026",
      "status": "mechanically-checked",
      "check_units": 256,
      "scope": "Complete equivalence \u00b7 256 inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-027",
      "status": "mechanically-checked",
      "check_units": 64,
      "scope": "Complete equivalence \u00b7 64 inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-028",
      "status": "mechanically-checked",
      "check_units": 3,
      "scope": "Complete simple-path enumeration",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-029",
      "status": "mechanically-checked",
      "check_units": 2,
      "scope": "Complete simple-path enumeration",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-030",
      "status": "mechanically-checked",
      "check_units": 3,
      "scope": "Complete simple-path enumeration",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-031",
      "status": "mechanically-checked",
      "check_units": 31,
      "scope": "Complete bounded membership \u00b7 31 candidates",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-032",
      "status": "mechanically-checked",
      "check_units": 127,
      "scope": "Complete bounded membership \u00b7 127 candidates",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-033",
      "status": "mechanically-checked",
      "check_units": 511,
      "scope": "Complete bounded membership \u00b7 511 candidates",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-034",
      "status": "mechanically-checked",
      "check_units": 31,
      "scope": "All reduction paths over 31 bounded inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-035",
      "status": "mechanically-checked",
      "check_units": 127,
      "scope": "All reduction paths over 127 bounded inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-036",
      "status": "mechanically-checked",
      "check_units": 511,
      "scope": "All reduction paths over 511 bounded inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-037",
      "status": "mechanically-checked",
      "check_units": 6,
      "scope": "Complete concrete inputs + interval transfer replay",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-038",
      "status": "mechanically-checked",
      "check_units": 8,
      "scope": "Complete concrete inputs + interval transfer replay",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-039",
      "status": "mechanically-checked",
      "check_units": 5,
      "scope": "Complete concrete inputs + interval transfer replay",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-040",
      "status": "mechanically-checked",
      "check_units": 6,
      "scope": "Complete bounded program family \u00b7 6 inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-041",
      "status": "mechanically-checked",
      "check_units": 11,
      "scope": "Complete bounded program family \u00b7 11 inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-042",
      "status": "mechanically-checked",
      "check_units": 21,
      "scope": "Complete bounded program family \u00b7 21 inputs",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-043",
      "status": "mechanically-checked",
      "check_units": 16,
      "scope": "Complete subset enumeration \u00b7 16 candidates",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-044",
      "status": "mechanically-checked",
      "check_units": 32,
      "scope": "Complete subset enumeration \u00b7 32 candidates",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-045",
      "status": "mechanically-checked",
      "check_units": 64,
      "scope": "Complete subset enumeration \u00b7 64 candidates",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-046",
      "status": "mechanically-checked",
      "check_units": 8,
      "scope": "Complete assignment space \u00b7 8 candidates",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-047",
      "status": "mechanically-checked",
      "check_units": 16,
      "scope": "Complete assignment space \u00b7 16 candidates",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-048",
      "status": "mechanically-checked",
      "check_units": 81,
      "scope": "Complete assignment space \u00b7 81 candidates",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-049",
      "status": "mechanically-checked",
      "check_units": 13,
      "scope": "Complete backward classification \u00b7 13 states",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-050",
      "status": "mechanically-checked",
      "check_units": 17,
      "scope": "Complete backward classification \u00b7 17 states",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-051",
      "status": "mechanically-checked",
      "check_units": 21,
      "scope": "Complete backward classification \u00b7 21 states",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-052",
      "status": "mechanically-checked",
      "check_units": 8,
      "scope": "Complete reachable interleaving graph",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-053",
      "status": "mechanically-checked",
      "check_units": 26,
      "scope": "Complete reachable interleaving graph",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-054",
      "status": "mechanically-checked",
      "check_units": 20,
      "scope": "Complete reachable interleaving graph",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-055",
      "status": "mechanically-checked",
      "check_units": 12,
      "scope": "Complete codeword-pair check + exact rational average",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-056",
      "status": "mechanically-checked",
      "check_units": 12,
      "scope": "Complete codeword-pair check + exact rational average",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-057",
      "status": "mechanically-checked",
      "check_units": 2,
      "scope": "Complete codeword-pair check + exact rational average",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-058",
      "status": "mechanically-checked",
      "check_units": 4,
      "scope": "Exact rational trajectory \u00b7 4 transitions",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-059",
      "status": "mechanically-checked",
      "check_units": 6,
      "scope": "Exact rational trajectory \u00b7 6 transitions",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-060",
      "status": "mechanically-checked",
      "check_units": 8,
      "scope": "Exact rational trajectory \u00b7 8 transitions",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-061",
      "status": "mechanically-checked",
      "check_units": 512,
      "scope": "Complete relation assignments \u00b7 512 triples",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-062",
      "status": "mechanically-checked",
      "check_units": 4096,
      "scope": "Complete relation assignments \u00b7 4096 triples",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-063",
      "status": "mechanically-checked",
      "check_units": 64,
      "scope": "Complete relation assignments \u00b7 64 triples",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-064",
      "status": "mechanically-checked",
      "check_units": 16,
      "scope": "Elimination + complete kernel \u00b7 16 vectors",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-065",
      "status": "mechanically-checked",
      "check_units": 8,
      "scope": "Elimination + complete kernel \u00b7 8 vectors",
      "review_status": "awaiting-independent-review"
    },
    {
      "id": "KL-FCS-066",
      "status": "mechanically-checked",
      "check_units": 16,
      "scope": "Elimination + complete kernel \u00b7 16 vectors",
      "review_status": "awaiting-independent-review"
    }
  ],
  "sha256": {
    "corpus.json": "dac543ff52d365488d7c198781a910651a1df5c5daf3c29783a28de4d5425e73",
    "record.schema.json": "a89410b16b93ab7b344ff4ba84b8c63c8e31e825b63ac601573ed02f43d3ab5b",
    "verify.py": "6d7dbb106873d8d5ff952aec527d1b39bcae469a42096d929283b2c0b1fe58ef",
    "candidates.py": "41e3075176f149efc00958b0c33dae890f8e3805d5ce7a191baed00e7eb4b8c8",
    "schema_check.py": "be09046925ee0dfb2c60f7800d57dd4a8ff601512b42bae74b213993cff7aa8c",
    "formal_engines.py": "fd01e0b2aed1141630bd92edc34e7f71edbe24fca4ff14488456785ccce8f8e0"
  },
  "trust_boundary": "Python interpreter, checker implementation, declared finite specifications; no independent review or proof-assistant validation."
}