C59 RESULTS.json

{
  "check_count": 11,
  "checks": [
    {
      "actual": {
        "Fminus": [
          0,
          7
        ],
        "Fplus": [
          -1,
          6
        ],
        "Sminus": [
          -2,
          5
        ],
        "Splus": [
          -5,
          2
        ]
      },
      "check": "four source-field index bounds",
      "expected": {
        "Fminus": [
          0,
          7
        ],
        "Fplus": [
          -1,
          6
        ],
        "Sminus": [
          -2,
          5
        ],
        "Splus": [
          -5,
          2
        ]
      },
      "passed": true
    },
    {
      "actual": [
        0,
        2
      ],
      "check": "complete cumulative rectangle intersection",
      "expected": [
        0,
        2
      ],
      "passed": true
    },
    {
      "actual": [
        10580,
        11638,
        11638,
        12696
      ],
      "check": "j=0 translated rectangle widths",
      "expected": [
        10580,
        11638,
        11638,
        12696
      ],
      "passed": true
    },
    {
      "actual": [
        0,
        0
      ],
      "check": "j=0 local centres",
      "expected": [
        0,
        0
      ],
      "passed": true
    },
    {
      "actual": [
        10580,
        11638,
        11638,
        12696
      ],
      "check": "j=1 translated rectangle widths",
      "expected": [
        10580,
        11638,
        11638,
        12696
      ],
      "passed": true
    },
    {
      "actual": [
        -1,
        -1
      ],
      "check": "j=1 local centres",
      "expected": [
        -1,
        -1
      ],
      "passed": true
    },
    {
      "actual": [
        10580,
        11638,
        11638,
        12696
      ],
      "check": "j=2 translated rectangle widths",
      "expected": [
        10580,
        11638,
        11638,
        12696
      ],
      "passed": true
    },
    {
      "actual": [
        -2,
        -2
      ],
      "check": "j=2 local centres",
      "expected": [
        -2,
        -2
      ],
      "passed": true
    },
    {
      "actual": [
        2
      ],
      "check": "single complete Noah join",
      "expected": [
        2
      ],
      "passed": true
    },
    {
      "actual": [
        [
          2,
          [
            "2+2+3"
          ]
        ]
      ],
      "check": "single all-four boundary-template match",
      "expected": [
        [
          2,
          [
            "2+2+3"
          ]
        ]
      ],
      "passed": true
    },
    {
      "actual": [
        2
      ],
      "check": "agrees with completed head domain",
      "expected": [
        2
      ],
      "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_RATIO.json",
      "sha256": "12f7035957f02327307559d38ac92c93609c9d6e72a18ec83b369b727a050543"
    },
    {
      "file": "C22_GRAMMAR.json",
      "sha256": "e045f7613bf168813526daaf2e20014f6ebbad2bc57a87ffe2a0e85d18d26469"
    },
    {
      "file": "C43_CERTIFICATE.json",
      "sha256": "e1205aa777befd7f2608e34161c1686b309ffaf6f9496b8a967fd2d5e6a26794"
    },
    {
      "file": "C46_CERTIFICATE.json",
      "sha256": "08bc9aba62db73d7f13a731a4dcf241fb0c6ff62a2fdd966cc457e6208862467"
    },
    {
      "file": "C48_CERTIFICATE.json",
      "sha256": "41b13d560bd3dc43371514660cbb1c2dd49c0d1ef833fcd73f6b2f8c7787d218"
    },
    {
      "file": "C50_CERTIFICATE.json",
      "sha256": "cce27bf5f15f15950c33a37617224fed70b30413b1b50485d4b30399a65d3a91"
    },
    {
      "file": "C52_CERTIFICATE.json",
      "sha256": "51e55799008aa8dd2df5a6a36b21e8a2250703be7c237bf94a5b4c3a963faea1"
    },
    {
      "file": "C52_REPORT.md",
      "sha256": "1d8418b2070995e686a5e4dad6301fe0fa0b28f235f1fc504b47b375df9bf484"
    },
    {
      "file": "C52_CHECKPOINT.md",
      "sha256": "ed0ec76ffbe75c6d23e823b7596ea9520838e7707f5ae4701cf2f098cf367612"
    }
  ],
  "next_step": "Test which conclusions actually require the source gap to equal six rather than a nearby formal value.",
  "passed": true,
  "report": "C59"
}