C69 RESULTS.json

{
  "check_count": 11,
  "checks": [
    {
      "actual": [
        [
          "-12225/4",
          "-12223/4"
        ],
        [
          "17675/4",
          "17677/4"
        ]
      ],
      "check": "reflection conjugates the affine anchor",
      "expected": [
        [
          "-12225/4",
          "-12223/4"
        ],
        [
          "17675/4",
          "17677/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "-9825/4",
          "-9823/4"
        ],
        [
          "17775/4",
          "17777/4"
        ]
      ],
      "check": "reflection changes a left extension into a right extension",
      "expected": [
        [
          "-9825/4",
          "-9823/4"
        ],
        [
          "17775/4",
          "17777/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "-17685/4",
          "-17683/4"
        ],
        [
          "9823/4",
          "9825/4"
        ]
      ],
      "check": "reflection is an involution on complete intervals",
      "expected": [
        [
          "-17685/4",
          "-17683/4"
        ],
        [
          "9823/4",
          "9825/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "-12225/4",
          "-12223/4"
        ],
        [
          "17775/4",
          "17777/4"
        ]
      ],
      "check": "opposite square closes with right extension",
      "expected": [
        [
          "-12225/4",
          "-12223/4"
        ],
        [
          "17775/4",
          "17777/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": true,
      "check": "retaining left-extension direction fails the reflected endpoints",
      "expected": true,
      "passed": true
    },
    {
      "actual": [
        "-12225/4",
        "-12223/4"
      ],
      "check": "N02 full-chain dilation reflection relation",
      "expected": [
        "-12225/4",
        "-12223/4"
      ],
      "passed": true
    },
    {
      "actual": "203125/23",
      "check": "N02 retained third-width obstruction",
      "expected": "203125/23",
      "passed": true
    },
    {
      "actual": [
        "1/2",
        [
          92,
          92
        ]
      ],
      "check": "N02 phase pair keeps spacing but misses the quarter lattice",
      "expected": [
        "1/2",
        [
          92,
          92
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        "-12233/4",
        "-12231/4"
      ],
      "check": "N04 full-chain dilation reflection relation",
      "expected": [
        "-12233/4",
        "-12231/4"
      ],
      "passed": true
    },
    {
      "actual": "203125/23",
      "check": "N04 retained third-width obstruction",
      "expected": "203125/23",
      "passed": true
    },
    {
      "actual": [
        "1/2",
        [
          92,
          92
        ]
      ],
      "check": "N04 phase pair keeps spacing but misses the quarter lattice",
      "expected": [
        "1/2",
        [
          92,
          92
        ]
      ],
      "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": "Test whether all width, midpoint and reflection identities together are sufficient to determine the required half-year phase.",
  "passed": true,
  "report": "C69"
}