RESULTS.json

{
  "step": "C368",
  "status": "passed",
  "assertions_passed": 44,
  "checks": [
    "long-side normal form 00:i7",
    "Noah19K equivalent to cumulative2K 00:i7",
    "long-side normal form 00:i6",
    "Noah19K equivalent to cumulative2K 00:i6",
    "long-side normal form 00:i5",
    "Noah19K equivalent to cumulative2K 00:i5",
    "long-side normal form 00:i4",
    "Noah19K equivalent to cumulative2K 00:i4",
    "long-side normal form 00:i3",
    "Noah19K equivalent to cumulative2K 00:i3",
    "long-side normal form 02:i7",
    "Noah19K equivalent to cumulative2K 02:i7",
    "long-side normal form 02:i6",
    "Noah19K equivalent to cumulative2K 02:i6",
    "long-side normal form 02:i5",
    "Noah19K equivalent to cumulative2K 02:i5",
    "long-side normal form 02:i4",
    "Noah19K equivalent to cumulative2K 02:i4",
    "long-side normal form 02:i3",
    "Noah19K equivalent to cumulative2K 02:i3",
    "long-side normal form 20:i7",
    "Noah19K equivalent to cumulative2K 20:i7",
    "long-side normal form 20:i6",
    "Noah19K equivalent to cumulative2K 20:i6",
    "long-side normal form 20:i5",
    "Noah19K equivalent to cumulative2K 20:i5",
    "long-side normal form 20:i4",
    "Noah19K equivalent to cumulative2K 20:i4",
    "long-side normal form 20:i3",
    "Noah19K equivalent to cumulative2K 20:i3",
    "long-side normal form 22:i7",
    "Noah19K equivalent to cumulative2K 22:i7",
    "long-side normal form 22:i6",
    "Noah19K equivalent to cumulative2K 22:i6",
    "long-side normal form 22:i5",
    "Noah19K equivalent to cumulative2K 22:i5",
    "long-side normal form 22:i4",
    "Noah19K equivalent to cumulative2K 22:i4",
    "long-side normal form 22:i3",
    "Noah19K equivalent to cumulative2K 22:i3",
    "six fixed19K controls",
    "four regular controls",
    "two conjunction controls",
    "conjunction is existing primary allK subset"
  ],
  "source_checks_passed": 17,
  "source_checks": [
    "frozen PREVIOUS_CERTIFICATE.json",
    "frozen PREVIOUS_RESULTS.json",
    "frozen PREVIOUS_DATA.json",
    "frozen PREVIOUS_CHECKPOINT.md",
    "frozen PREVIOUS_NEXT_STEP.json",
    "frozen File_18.md",
    "frozen File_09.md",
    "frozen C286_DATA.json",
    "frozen C287_DATA.json",
    "frozen C271_REGISTER.json",
    "frozen C319_DATA.json",
    "frozen C360_DATA.json",
    "frozen C365_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json"
  ],
  "canonical_or_graph_edits": false,
  "check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}