{
"check_count": 11,
"checks": [
{
"actual": [
[
5819,
6325,
6875
],
[
6348,
6900,
7500
],
[
6877,
7475,
8125
]
],
"check": "N02 complete typed width matrix",
"expected": [
[
5819,
6325,
6875
],
[
6348,
6900,
7500
],
[
6877,
7475,
8125
]
],
"passed": true
},
{
"actual": [
6348,
6900,
7500
],
"check": "N02 width middle row is the arithmetic mean",
"expected": [
6348,
6900,
7500
],
"passed": true
},
{
"actual": [
25,
25,
25
],
"check": "N02 endpoint means retain the anchor correction",
"expected": [
25,
25,
25
],
"passed": true
},
{
"actual": [
[
[
"7623/4",
"7625/4"
],
[
"9823/4",
"9825/4"
]
],
[
[
"9823/4",
"9825/4"
],
[
"12223/4",
"12225/4"
]
],
[
[
"12223/4",
"12225/4"
],
[
"14823/4",
"14825/4"
]
]
],
"check": "N02 all rows share25/23 with their own anchor",
"expected": [
[
[
"7623/4",
"7625/4"
],
[
"9823/4",
"9825/4"
]
],
[
[
"9823/4",
"9825/4"
],
[
"12223/4",
"12225/4"
]
],
[
[
"12223/4",
"12225/4"
],
[
"14823/4",
"14825/4"
]
]
],
"passed": true
},
{
"actual": [
0,
0
],
"check": "N02 adjoining source junction residuals",
"expected": [
0,
0
],
"passed": true
},
{
"actual": [
[
5819,
6325,
6875
],
[
6348,
6900,
7500
],
[
6877,
7475,
8125
]
],
"check": "N04 complete typed width matrix",
"expected": [
[
5819,
6325,
6875
],
[
6348,
6900,
7500
],
[
6877,
7475,
8125
]
],
"passed": true
},
{
"actual": [
6348,
6900,
7500
],
"check": "N04 width middle row is the arithmetic mean",
"expected": [
6348,
6900,
7500
],
"passed": true
},
{
"actual": [
27,
27,
27
],
"check": "N04 endpoint means retain the anchor correction",
"expected": [
27,
27,
27
],
"passed": true
},
{
"actual": [
[
[
"7631/4",
"7633/4"
],
[
"9831/4",
"9833/4"
]
],
[
[
"9823/4",
"9825/4"
],
[
"12223/4",
"12225/4"
]
],
[
[
"12231/4",
"12233/4"
],
[
"14831/4",
"14833/4"
]
]
],
"check": "N04 all rows share25/23 with their own anchor",
"expected": [
[
[
"7631/4",
"7633/4"
],
[
"9831/4",
"9833/4"
]
],
[
[
"9823/4",
"9825/4"
],
[
"12223/4",
"12225/4"
]
],
[
[
"12231/4",
"12233/4"
],
[
"14831/4",
"14833/4"
]
]
],
"passed": true
},
{
"actual": [
2,
2
],
"check": "N04 adjoining source junction residuals",
"expected": [
2,
2
],
"passed": true
},
{
"actual": [
25,
27
],
"check": "two source anchor corrections",
"expected": [
25,
27
],
"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": "C01_RESULTS.json",
"sha256": "191f28fb5f22ddec24790f3b17ec3962f2507b9095370a4712d5cbe25103ce1b"
},
{
"file": "C05_RESULTS.json",
"sha256": "377f96c75e8c194eded1c812dded57e0e48c2affdaaaa437422954d720adc7eb"
},
{
"file": "C05_REPORT.md",
"sha256": "f83cf905bb3ffaf57913f28cc100c638c91350e2cb2f055517cec3d75d45c2bf"
},
{
"file": "C15_GRAPH.json",
"sha256": "dc86bd891d48189fdfaec6531d24bf9b97ee25359f368019a220fed754d08916"
},
{
"file": "C43_CERTIFICATE.json",
"sha256": "e1205aa777befd7f2608e34161c1686b309ffaf6f9496b8a967fd2d5e6a26794"
},
{
"file": "C65_CERTIFICATE.json",
"sha256": "7a87b13433acf7a6ed7270ef4552a8d8dcdd73e9ccd8c5b3bff1632504e33e8e"
},
{
"file": "C67_CERTIFICATE.json",
"sha256": "27f730240aaa72c8ce80a1cc4abfd312aefe3d444d4911dc68193f20f31c2509"
},
{
"file": "C68_CERTIFICATE.json",
"sha256": "e7ea384b09ac9ddf9e3eeaa8df9aec826ecc1e3179492ade05b736418e27cbce"
},
{
"file": "C74_CERTIFICATE.json",
"sha256": "6de08e492584a516dabb904aeac74bd57380b758952f04108eb1f3abbee8d17d"
},
{
"file": "C75_CERTIFICATE.json",
"sha256": "0310b4d91e4ac29191095832707f166e3f80489bde9166ccf7f7c28f89ba24e9"
},
{
"file": "C76_CERTIFICATE.json",
"sha256": "25c9ab60bf7f7ef9c8652d0102c4b0393787019e32e399b149ea0537f4314dda"
},
{
"file": "C86_CERTIFICATE.json",
"sha256": "8f151e64db6c04760360575ceaae430d27fe354d6179a66fac335a3aae8f8c21"
},
{
"file": "C89_CERTIFICATE.json",
"sha256": "91f0c8d3a337ef98cef36351311245073c2bb3e701800bb8294b59f7425680ff"
},
{
"file": "C92_CERTIFICATE.json",
"sha256": "8f734a73d068908dcb86171f7e8691ed878a73a61cef3231f5ad35a7453e1515"
},
{
"file": "C92_REPORT.md",
"sha256": "8246fea8f3eec52bdf7006d2b316100a90eb9e7a173f62e7a1528c65478e5d26"
},
{
"file": "C92_CHECKPOINT.md",
"sha256": "2d82819368b60d18f457157f0342fb2cea4ecfe990661fa117aff35c252b35f8"
}
],
"next_step": "Determine whether the apparent ladder’s source fields uniquely select its Creation and Joseph members, then reconstruct its affine map from the three target records.",
"passed": true,
"report": "C100"
}
Evidence
C100 RESULTS.json
Linked sources and evidence
Edition and provenance
C100_RESULTS.json
SHA-256 a0fc773b488d7aea195ede7686a9eb7182d7cde63b1828f4432e20fa7dcdda6e
C01–C479/reference/490d_C01_C265_Complete_Window_Archive_20260923.zip!/workspace/mirror_10_step_apparent_midpoint_20260922/C100/evidence/C100_RESULTS.json