RESULTS.json

{
  "step": "C318",
  "status": "passed",
  "assertions_passed": 57,
  "checks": [
    "i7 regular stage0 admission",
    "i7 regular stage1 admission",
    "i7 regular stage2 admission",
    "i7 regular stage3 admission",
    "i7 cumulative sameindex ON",
    "i7 cumulative nextindex ON",
    "i7 paired domain",
    "i7 -1/4 ordered operations agree",
    "i7 -1/4 allK sublegs",
    "i7 1/4 ordered operations agree",
    "i7 1/4 allK sublegs",
    "i6 regular stage0 admission",
    "i6 regular stage1 admission",
    "i6 regular stage2 admission",
    "i6 regular stage3 admission",
    "i6 cumulative sameindex ON",
    "i6 cumulative nextindex ON",
    "i6 paired domain",
    "i6 -1/4 ordered operations agree",
    "i6 -1/4 allK sublegs",
    "i6 1/4 ordered operations agree",
    "i6 1/4 allK sublegs",
    "i5 regular stage0 admission",
    "i5 regular stage1 admission",
    "i5 regular stage2 admission",
    "i5 regular stage3 admission",
    "i5 cumulative sameindex ON",
    "i5 cumulative nextindex ON",
    "i5 paired domain",
    "i5 -1/4 ordered operations agree",
    "i5 -1/4 allK sublegs",
    "i5 1/4 ordered operations agree",
    "i5 1/4 allK sublegs",
    "i4 regular stage0 admission",
    "i4 regular stage1 admission",
    "i4 regular stage2 admission",
    "i4 regular stage3 admission",
    "i4 cumulative sameindex ON",
    "i4 cumulative nextindex ON",
    "i4 paired domain",
    "i4 -1/4 ordered operations agree",
    "i4 -1/4 allK sublegs",
    "i4 1/4 ordered operations agree",
    "i4 1/4 allK sublegs",
    "i3 regular stage0 admission",
    "i3 regular stage1 admission",
    "i3 regular stage2 admission",
    "i3 regular stage3 admission",
    "i3 cumulative sameindex ON",
    "i3 cumulative nextindex ON",
    "i3 paired domain",
    "i3 -1/4 ordered operations agree",
    "i3 -1/4 allK sublegs",
    "i3 1/4 ordered operations agree",
    "i3 1/4 allK sublegs",
    "restored comparison has460 offset",
    "two decompositions of2K"
  ],
  "source_checks_passed": 14,
  "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",
    "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."
}