{
"check_count": 17,
"checks": [
{
"actual": [
[
6877,
6877
],
[
299,
299
],
[
299,
299
],
[
650,
650
]
],
"check": "N02 h=1/4 all consecutive widths",
"expected": [
[
6877,
6877
],
[
299,
299
],
[
299,
299
],
[
650,
650
]
],
"passed": true
},
{
"actual": [
[
"17675/4",
"17677/4"
],
[
"-9833/4",
"-9831/4"
],
[
"-11029/4",
"-11027/4"
],
[
"-12225/4",
"-12223/4"
],
[
"-14825/4",
"-14823/4"
]
],
"check": "N02 h=1/4 exact reflection",
"expected": [
[
"17675/4",
"17677/4"
],
[
"-9833/4",
"-9831/4"
],
[
"-11029/4",
"-11027/4"
],
[
"-12225/4",
"-12223/4"
],
[
"-14825/4",
"-14823/4"
]
],
"passed": true
},
{
"actual": [
"11027/4",
"11029/4"
],
"check": "N02 h=1/4 midpoint",
"expected": [
"11027/4",
"11029/4"
],
"passed": true
},
{
"actual": [
[
"12223/4",
"12225/4"
],
[
"14823/4",
"14825/4"
]
],
"check": "N02 h=1/4 both generalized expansions",
"expected": [
[
"12223/4",
"12225/4"
],
[
"14823/4",
"14825/4"
]
],
"passed": true
},
{
"actual": [
[
6877,
6877
],
[
299,
299
],
[
299,
299
],
[
650,
650
]
],
"check": "N02 h=3/4 all consecutive widths",
"expected": [
[
6877,
6877
],
[
299,
299
],
[
299,
299
],
[
650,
650
]
],
"passed": true
},
{
"actual": [
[
"17673/4",
"17679/4"
],
[
"-9835/4",
"-9829/4"
],
[
"-11031/4",
"-11025/4"
],
[
"-12227/4",
"-12221/4"
],
[
"-14827/4",
"-14821/4"
]
],
"check": "N02 h=3/4 exact reflection",
"expected": [
[
"17673/4",
"17679/4"
],
[
"-9835/4",
"-9829/4"
],
[
"-11031/4",
"-11025/4"
],
[
"-12227/4",
"-12221/4"
],
[
"-14827/4",
"-14821/4"
]
],
"passed": true
},
{
"actual": [
"11025/4",
"11031/4"
],
"check": "N02 h=3/4 midpoint",
"expected": [
"11025/4",
"11031/4"
],
"passed": true
},
{
"actual": [
[
"12221/4",
"12227/4"
],
[
"14821/4",
"14827/4"
]
],
"check": "N02 h=3/4 both generalized expansions",
"expected": [
[
"12221/4",
"12227/4"
],
[
"14821/4",
"14827/4"
]
],
"passed": true
},
{
"actual": [
[
6877,
6877
],
[
299,
299
],
[
299,
299
],
[
650,
650
]
],
"check": "N04 h=1/4 all consecutive widths",
"expected": [
[
6877,
6877
],
[
299,
299
],
[
299,
299
],
[
650,
650
]
],
"passed": true
},
{
"actual": [
[
"17667/4",
"17669/4"
],
[
"-9841/4",
"-9839/4"
],
[
"-11037/4",
"-11035/4"
],
[
"-12233/4",
"-12231/4"
],
[
"-14833/4",
"-14831/4"
]
],
"check": "N04 h=1/4 exact reflection",
"expected": [
[
"17667/4",
"17669/4"
],
[
"-9841/4",
"-9839/4"
],
[
"-11037/4",
"-11035/4"
],
[
"-12233/4",
"-12231/4"
],
[
"-14833/4",
"-14831/4"
]
],
"passed": true
},
{
"actual": [
"11035/4",
"11037/4"
],
"check": "N04 h=1/4 midpoint",
"expected": [
"11035/4",
"11037/4"
],
"passed": true
},
{
"actual": [
[
"12231/4",
"12233/4"
],
[
"14831/4",
"14833/4"
]
],
"check": "N04 h=1/4 both generalized expansions",
"expected": [
[
"12231/4",
"12233/4"
],
[
"14831/4",
"14833/4"
]
],
"passed": true
},
{
"actual": [
[
6877,
6877
],
[
299,
299
],
[
299,
299
],
[
650,
650
]
],
"check": "N04 h=3/4 all consecutive widths",
"expected": [
[
6877,
6877
],
[
299,
299
],
[
299,
299
],
[
650,
650
]
],
"passed": true
},
{
"actual": [
[
"17665/4",
"17671/4"
],
[
"-9843/4",
"-9837/4"
],
[
"-11039/4",
"-11033/4"
],
[
"-12235/4",
"-12229/4"
],
[
"-14835/4",
"-14829/4"
]
],
"check": "N04 h=3/4 exact reflection",
"expected": [
[
"17665/4",
"17671/4"
],
[
"-9843/4",
"-9837/4"
],
[
"-11039/4",
"-11033/4"
],
[
"-12235/4",
"-12229/4"
],
[
"-14835/4",
"-14829/4"
]
],
"passed": true
},
{
"actual": [
"11033/4",
"11039/4"
],
"check": "N04 h=3/4 midpoint",
"expected": [
"11033/4",
"11039/4"
],
"passed": true
},
{
"actual": [
[
"12229/4",
"12235/4"
],
[
"14829/4",
"14835/4"
]
],
"check": "N04 h=3/4 both generalized expansions",
"expected": [
[
"12229/4",
"12235/4"
],
[
"14829/4",
"14835/4"
]
],
"passed": true
},
{
"actual": [
true,
false,
true,
false
],
"check": "coherent wide-pair control is rejected only by the source phase convention",
"expected": [
true,
false,
true,
false
],
"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": "Derive the smallest sufficient phase certificate for the retained five-node chain, keeping source membership as a separate requirement.",
"passed": true,
"report": "C70"
}
Evidence
C70 RESULTS.json
Linked sources and evidence
Edition and provenance
C70_RESULTS.json
SHA-256 bc127d8ea45e4793197e32c92a22466a3a9ca647ed765219683b126c50c90584
C01–C479/reference/490d_C01_C265_Complete_Window_Archive_20260923.zip!/workspace/mirror_10_step_phase_lift_20260922/C70/evidence/C70_RESULTS.json