RESULTS.json

{
  "step": "C324",
  "status": "passed",
  "assertions_passed": 22,
  "checks": [
    "passage0 exact quoted anchors",
    "passage1 exact quoted anchors",
    "passage2 exact quoted anchors",
    "passage3 exact quoted anchors",
    "passage4 exact quoted anchors",
    "passage5 exact quoted anchors",
    "passage6 exact quoted anchors",
    "passage7 exact quoted anchors",
    "passage8 exact quoted anchors",
    "460 expands to500",
    "gain40 andouter540",
    "23squared licensing",
    "documented fixedanchor Cainan example",
    "G1 actualtypedtranslation",
    "G1 translationpreservesbiography",
    "G1 noaffineanchorcanmakedilationequaltranslation",
    "G2 actualtypedtranslation",
    "G2 translationpreservesbiography",
    "G2 noaffineanchorcanmakedilationequaltranslation",
    "G3 actualtypedtranslation",
    "G3 translationpreservesbiography",
    "G3 noaffineanchorcanmakedilationequaltranslation"
  ],
  "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 File_46.md",
    "frozen AXIS_REPORT.md",
    "frozen C322_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."
}