{
  "check_count": 17,
  "checks": [
    {
      "actual": [
        [
          6877,
          6877
        ],
        [
          299,
          299
        ],
        [
          299,
          299
        ],
        [
          650,
          650
        ]
      ],
      "check": "N02 h=1/4 all consecutive widths",
      "expected": [
        [
          6877,
          6877
        ],
        [
          299,
          299
        ],
        [
          299,
          299
        ],
        [
          650,
          650
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "17675/4",
          "17677/4"
        ],
        [
          "-9833/4",
          "-9831/4"
        ],
        [
          "-11029/4",
          "-11027/4"
        ],
        [
          "-12225/4",
          "-12223/4"
        ],
        [
          "-14825/4",
          "-14823/4"
        ]
      ],
      "check": "N02 h=1/4 exact reflection",
      "expected": [
        [
          "17675/4",
          "17677/4"
        ],
        [
          "-9833/4",
          "-9831/4"
        ],
        [
          "-11029/4",
          "-11027/4"
        ],
        [
          "-12225/4",
          "-12223/4"
        ],
        [
          "-14825/4",
          "-14823/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        "11027/4",
        "11029/4"
      ],
      "check": "N02 h=1/4 midpoint",
      "expected": [
        "11027/4",
        "11029/4"
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "12223/4",
          "12225/4"
        ],
        [
          "14823/4",
          "14825/4"
        ]
      ],
      "check": "N02 h=1/4 both generalized expansions",
      "expected": [
        [
          "12223/4",
          "12225/4"
        ],
        [
          "14823/4",
          "14825/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          6877,
          6877
        ],
        [
          299,
          299
        ],
        [
          299,
          299
        ],
        [
          650,
          650
        ]
      ],
      "check": "N02 h=3/4 all consecutive widths",
      "expected": [
        [
          6877,
          6877
        ],
        [
          299,
          299
        ],
        [
          299,
          299
        ],
        [
          650,
          650
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "17673/4",
          "17679/4"
        ],
        [
          "-9835/4",
          "-9829/4"
        ],
        [
          "-11031/4",
          "-11025/4"
        ],
        [
          "-12227/4",
          "-12221/4"
        ],
        [
          "-14827/4",
          "-14821/4"
        ]
      ],
      "check": "N02 h=3/4 exact reflection",
      "expected": [
        [
          "17673/4",
          "17679/4"
        ],
        [
          "-9835/4",
          "-9829/4"
        ],
        [
          "-11031/4",
          "-11025/4"
        ],
        [
          "-12227/4",
          "-12221/4"
        ],
        [
          "-14827/4",
          "-14821/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        "11025/4",
        "11031/4"
      ],
      "check": "N02 h=3/4 midpoint",
      "expected": [
        "11025/4",
        "11031/4"
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "12221/4",
          "12227/4"
        ],
        [
          "14821/4",
          "14827/4"
        ]
      ],
      "check": "N02 h=3/4 both generalized expansions",
      "expected": [
        [
          "12221/4",
          "12227/4"
        ],
        [
          "14821/4",
          "14827/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          6877,
          6877
        ],
        [
          299,
          299
        ],
        [
          299,
          299
        ],
        [
          650,
          650
        ]
      ],
      "check": "N04 h=1/4 all consecutive widths",
      "expected": [
        [
          6877,
          6877
        ],
        [
          299,
          299
        ],
        [
          299,
          299
        ],
        [
          650,
          650
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "17667/4",
          "17669/4"
        ],
        [
          "-9841/4",
          "-9839/4"
        ],
        [
          "-11037/4",
          "-11035/4"
        ],
        [
          "-12233/4",
          "-12231/4"
        ],
        [
          "-14833/4",
          "-14831/4"
        ]
      ],
      "check": "N04 h=1/4 exact reflection",
      "expected": [
        [
          "17667/4",
          "17669/4"
        ],
        [
          "-9841/4",
          "-9839/4"
        ],
        [
          "-11037/4",
          "-11035/4"
        ],
        [
          "-12233/4",
          "-12231/4"
        ],
        [
          "-14833/4",
          "-14831/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        "11035/4",
        "11037/4"
      ],
      "check": "N04 h=1/4 midpoint",
      "expected": [
        "11035/4",
        "11037/4"
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "12231/4",
          "12233/4"
        ],
        [
          "14831/4",
          "14833/4"
        ]
      ],
      "check": "N04 h=1/4 both generalized expansions",
      "expected": [
        [
          "12231/4",
          "12233/4"
        ],
        [
          "14831/4",
          "14833/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          6877,
          6877
        ],
        [
          299,
          299
        ],
        [
          299,
          299
        ],
        [
          650,
          650
        ]
      ],
      "check": "N04 h=3/4 all consecutive widths",
      "expected": [
        [
          6877,
          6877
        ],
        [
          299,
          299
        ],
        [
          299,
          299
        ],
        [
          650,
          650
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "17665/4",
          "17671/4"
        ],
        [
          "-9843/4",
          "-9837/4"
        ],
        [
          "-11039/4",
          "-11033/4"
        ],
        [
          "-12235/4",
          "-12229/4"
        ],
        [
          "-14835/4",
          "-14829/4"
        ]
      ],
      "check": "N04 h=3/4 exact reflection",
      "expected": [
        [
          "17665/4",
          "17671/4"
        ],
        [
          "-9843/4",
          "-9837/4"
        ],
        [
          "-11039/4",
          "-11033/4"
        ],
        [
          "-12235/4",
          "-12229/4"
        ],
        [
          "-14835/4",
          "-14829/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        "11033/4",
        "11039/4"
      ],
      "check": "N04 h=3/4 midpoint",
      "expected": [
        "11033/4",
        "11039/4"
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "12229/4",
          "12235/4"
        ],
        [
          "14829/4",
          "14835/4"
        ]
      ],
      "check": "N04 h=3/4 both generalized expansions",
      "expected": [
        [
          "12229/4",
          "12235/4"
        ],
        [
          "14829/4",
          "14835/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        true,
        false,
        true,
        false
      ],
      "check": "coherent wide-pair control is rejected only by the source phase convention",
      "expected": [
        true,
        false,
        true,
        false
      ],
      "passed": true
    }
  ],
  "input_verification": [
    {
      "file": "File_18.md",
      "sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
    },
    {
      "file": "File_09.md",
      "sha256": "45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e"
    },
    {
      "file": "C15_GRAPH.json",
      "sha256": "dc86bd891d48189fdfaec6531d24bf9b97ee25359f368019a220fed754d08916"
    },
    {
      "file": "C16_DOMAIN.json",
      "sha256": "415afb6b427e1bf3e5ed2420952c24540d716d7371b99509fb085d88fc8b844a"
    },
    {
      "file": "C22_GRAMMAR.json",
      "sha256": "e045f7613bf168813526daaf2e20014f6ebbad2bc57a87ffe2a0e85d18d26469"
    },
    {
      "file": "C43_CERTIFICATE.json",
      "sha256": "e1205aa777befd7f2608e34161c1686b309ffaf6f9496b8a967fd2d5e6a26794"
    },
    {
      "file": "C50_CERTIFICATE.json",
      "sha256": "cce27bf5f15f15950c33a37617224fed70b30413b1b50485d4b30399a65d3a91"
    },
    {
      "file": "C61_CERTIFICATE.json",
      "sha256": "68426cf2b6d59e130dedfbe53a01fe3126e9b1e500d12d8e78c10dcd8cbd5e25"
    },
    {
      "file": "C62_CERTIFICATE.json",
      "sha256": "a0f8884170d66153d8a0862dfe18a65c98abdb9545c5bee631a102207f98772b"
    },
    {
      "file": "C62_REPORT.md",
      "sha256": "7af4d931eb0fa077c4df694d99efaa373dcedd5a44700d720d4295c45829e39e"
    },
    {
      "file": "C62_CHECKPOINT.md",
      "sha256": "e356b908c8a7845ed7a5464e8a40ed11e97abb0ea9d3e679a15c49af29eb5879"
    },
    {
      "file": "C01_REPORT.md",
      "sha256": "7bbf912ef6729b12691b259f11d77d79b6c9584a072565cb943c1660af0460b4"
    },
    {
      "file": "C04_REPORT.md",
      "sha256": "a6dcf7c2558b79fbc68129aaebf9f8ec6c88b9791dc5ea94f28e8c2df9f63f02"
    },
    {
      "file": "C05_REPORT.md",
      "sha256": "f83cf905bb3ffaf57913f28cc100c638c91350e2cb2f055517cec3d75d45c2bf"
    }
  ],
  "next_step": "Derive the smallest sufficient phase certificate for the retained five-node chain, keeping source membership as a separate requirement.",
  "passed": true,
  "report": "C70"
}