{
  "check_count": 18,
  "checks": [
    {
      "actual": [
        2,
        3,
        4,
        5
      ],
      "check": "dual lower/upper Flood source domain",
      "expected": [
        2,
        3,
        4,
        5
      ],
      "passed": true
    },
    {
      "actual": [
        1399,
        2457,
        1058
      ],
      "check": "N01 uses the existing Conquest2K edge",
      "expected": [
        1399,
        2457,
        1058
      ],
      "passed": true
    },
    {
      "actual": [
        1,
        0
      ],
      "check": "N01 keeps start/close while advancing one Gear",
      "expected": [
        1,
        0
      ],
      "passed": true
    },
    {
      "actual": [
        506,
        552,
        2
      ],
      "check": "N01 new Joseph dissection of the existing2K width",
      "expected": [
        506,
        552,
        2
      ],
      "passed": true
    },
    {
      "actual": [
        [
          506,
          506
        ],
        [
          552,
          552
        ]
      ],
      "check": "N01 exact paired partition",
      "expected": [
        [
          506,
          506
        ],
        [
          552,
          552
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        1400,
        2458,
        1058
      ],
      "check": "N02 uses the existing Conquest2K edge",
      "expected": [
        1400,
        2458,
        1058
      ],
      "passed": true
    },
    {
      "actual": [
        1,
        0
      ],
      "check": "N02 keeps start/close while advancing one Gear",
      "expected": [
        1,
        0
      ],
      "passed": true
    },
    {
      "actual": [
        506,
        552,
        2
      ],
      "check": "N02 new Joseph dissection of the existing2K width",
      "expected": [
        506,
        552,
        2
      ],
      "passed": true
    },
    {
      "actual": [
        [
          506,
          506
        ],
        [
          552,
          552
        ]
      ],
      "check": "N02 exact paired partition",
      "expected": [
        [
          506,
          506
        ],
        [
          552,
          552
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        1401,
        2459,
        1058
      ],
      "check": "N03 uses the existing Conquest2K edge",
      "expected": [
        1401,
        2459,
        1058
      ],
      "passed": true
    },
    {
      "actual": [
        1,
        0
      ],
      "check": "N03 keeps start/close while advancing one Gear",
      "expected": [
        1,
        0
      ],
      "passed": true
    },
    {
      "actual": [
        506,
        552,
        2
      ],
      "check": "N03 new Joseph dissection of the existing2K width",
      "expected": [
        506,
        552,
        2
      ],
      "passed": true
    },
    {
      "actual": [
        [
          506,
          506
        ],
        [
          552,
          552
        ]
      ],
      "check": "N03 exact paired partition",
      "expected": [
        [
          506,
          506
        ],
        [
          552,
          552
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        1402,
        2460,
        1058
      ],
      "check": "N04 uses the existing Conquest2K edge",
      "expected": [
        1402,
        2460,
        1058
      ],
      "passed": true
    },
    {
      "actual": [
        1,
        0
      ],
      "check": "N04 keeps start/close while advancing one Gear",
      "expected": [
        1,
        0
      ],
      "passed": true
    },
    {
      "actual": [
        506,
        552,
        2
      ],
      "check": "N04 new Joseph dissection of the existing2K width",
      "expected": [
        506,
        552,
        2
      ],
      "passed": true
    },
    {
      "actual": [
        [
          506,
          506
        ],
        [
          552,
          552
        ]
      ],
      "check": "N04 exact paired partition",
      "expected": [
        [
          506,
          506
        ],
        [
          552,
          552
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          6,
          2461,
          false
        ],
        [
          7,
          2462,
          false
        ]
      ],
      "check": "boundary rows retain prefix but lack upper Flood",
      "expected": [
        [
          6,
          2461,
          false
        ],
        [
          7,
          2462,
          false
        ]
      ],
      "passed": true
    }
  ],
  "input_verification": [
    {
      "file": "File_18.md",
      "sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
    },
    {
      "file": "File_09.md",
      "sha256": "45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e"
    },
    {
      "file": "File_61.md",
      "sha256": "d580afd48d6e12d6a798c4c9fa2824aab54252c6235300645af985c0d52cea09"
    },
    {
      "file": "File_62.md",
      "sha256": "be42daca1d82dac987c6c1e3f083a3bf267d023b9cfffee86565539cff4ed15d"
    },
    {
      "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": "C65_CERTIFICATE.json",
      "sha256": "7a87b13433acf7a6ed7270ef4552a8d8dcdd73e9ccd8c5b3bff1632504e33e8e"
    },
    {
      "file": "C74_CERTIFICATE.json",
      "sha256": "6de08e492584a516dabb904aeac74bd57380b758952f04108eb1f3abbee8d17d"
    },
    {
      "file": "C75_CERTIFICATE.json",
      "sha256": "0310b4d91e4ac29191095832707f166e3f80489bde9166ccf7f7c28f89ba24e9"
    },
    {
      "file": "C76_CERTIFICATE.json",
      "sha256": "25c9ab60bf7f7ef9c8652d0102c4b0393787019e32e399b149ea0537f4314dda"
    },
    {
      "file": "C77_CERTIFICATE.json",
      "sha256": "f537327b03132174238e3b92cd4eec0abc43930a2faee4d9fe01a046afb72249"
    },
    {
      "file": "C82_CERTIFICATE.json",
      "sha256": "67b2f90c036e774b7eba906cbddced697d24b6df8972174ec533eefb5a4b2bbc"
    },
    {
      "file": "C82_REPORT.md",
      "sha256": "f3786b1972e15fd8dc24743569e43446cf6a54db3c95b415479c5e05f5db1490"
    },
    {
      "file": "C82_CHECKPOINT.md",
      "sha256": "26d87041b43cdb4c9403ba392cff45248778cba9bf4a7ea49b550eabbcb5eb86"
    }
  ],
  "next_step": "Locate the 529+529 midpoint relative to Joseph and compare it with the midpoint of the 1056 lower interval.",
  "passed": true,
  "report": "C84"
}