C71 RESULTS.json

{
  "check_count": 7,
  "checks": [
    {
      "actual": 8,
      "check": "two five-node rails leave two common offsets",
      "expected": 8,
      "passed": true
    },
    {
      "actual": 9,
      "check": "declared pair centre removes the common shift",
      "expected": 9,
      "passed": true
    },
    {
      "actual": 9,
      "check": "phase width alone leaves the common shift",
      "expected": 9,
      "passed": true
    },
    {
      "actual": 10,
      "check": "centre and one half-year phase condition are sufficient",
      "expected": 10,
      "passed": true
    },
    {
      "actual": [
        [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        0,
        "1/2"
      ],
      "check": "unique source phase solution",
      "expected": [
        [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        0,
        "1/2"
      ],
      "passed": true
    },
    {
      "actual": 8,
      "check": "midpoint phase equations add no independent rank",
      "expected": 8,
      "passed": true
    },
    {
      "actual": 9,
      "check": "reflection symmetry duplicates the centred-offset relation",
      "expected": 9,
      "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": "Synthesize the ten phase-and-operator results with the retained 529 families and publish the next restart checkpoint.",
  "passed": true,
  "report": "C71"
}