RESULTS.json

{
  "step": "C352",
  "status": "passed",
  "assertions_passed": 81,
  "checks": [
    "00/i7 source gap formulas",
    "00/i7 paired input predicate",
    "00/i7 restated2K criteria",
    "00/i7600 source outputs",
    "00/i7 output interiors",
    "00/i6 source gap formulas",
    "00/i6 paired input predicate",
    "00/i6 restated2K criteria",
    "00/i5 source gap formulas",
    "00/i5 paired input predicate",
    "00/i5 restated2K criteria",
    "00/i5600 source outputs",
    "00/i5 output interiors",
    "00/i4 source gap formulas",
    "00/i4 paired input predicate",
    "00/i4 restated2K criteria",
    "00/i3 source gap formulas",
    "00/i3 paired input predicate",
    "00/i3 restated2K criteria",
    "00/i3600 source outputs",
    "00/i3 output interiors",
    "02/i7 source gap formulas",
    "02/i7 paired input predicate",
    "02/i7 restated2K criteria",
    "02/i6 source gap formulas",
    "02/i6 paired input predicate",
    "02/i6 restated2K criteria",
    "02/i5 source gap formulas",
    "02/i5 paired input predicate",
    "02/i5 restated2K criteria",
    "02/i5600 source outputs",
    "02/i5 output interiors",
    "02/i4 source gap formulas",
    "02/i4 paired input predicate",
    "02/i4 restated2K criteria",
    "02/i3 source gap formulas",
    "02/i3 paired input predicate",
    "02/i3 restated2K criteria",
    "02/i3600 source outputs",
    "02/i3 output interiors",
    "20/i7 source gap formulas",
    "20/i7 paired input predicate",
    "20/i7 restated2K criteria",
    "20/i6 source gap formulas",
    "20/i6 paired input predicate",
    "20/i6 restated2K criteria",
    "20/i5 source gap formulas",
    "20/i5 paired input predicate",
    "20/i5 restated2K criteria",
    "20/i5600 source outputs",
    "20/i5 output interiors",
    "20/i4 source gap formulas",
    "20/i4 paired input predicate",
    "20/i4 restated2K criteria",
    "20/i3 source gap formulas",
    "20/i3 paired input predicate",
    "20/i3 restated2K criteria",
    "20/i3600 source outputs",
    "20/i3 output interiors",
    "22/i7 source gap formulas",
    "22/i7 paired input predicate",
    "22/i7 restated2K criteria",
    "22/i6 source gap formulas",
    "22/i6 paired input predicate",
    "22/i6 restated2K criteria",
    "22/i5 source gap formulas",
    "22/i5 paired input predicate",
    "22/i5 restated2K criteria",
    "22/i5600 source outputs",
    "22/i5 output interiors",
    "22/i4 source gap formulas",
    "22/i4 paired input predicate",
    "22/i4 restated2K criteria",
    "22/i3 source gap formulas",
    "22/i3 paired input predicate",
    "22/i3 restated2K criteria",
    "22/i3600 source outputs",
    "22/i3 output interiors",
    "paired598 two retained cases",
    "600 outputs nine andallfourchoices",
    "source scope retained"
  ],
  "source_checks_passed": 18,
  "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 C332_DATA.json",
    "frozen C334_DATA.json",
    "frozen File_02.md",
    "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."
}