{
"check_count": 18,
"checks": [
{
"actual": [
[
2,
3,
4,
5
],
[
3,
5,
7
],
[
2,
3,
4,
5,
6,
7
]
],
"check": "three sourced interval domains",
"expected": [
[
2,
3,
4,
5
],
[
3,
5,
7
],
[
2,
3,
4,
5,
6,
7
]
],
"passed": true
},
{
"actual": [
3,
5
],
"check": "full twofold expansion domain",
"expected": [
3,
5
],
"passed": true
},
{
"actual": [
1058,
1150,
1250
],
"check": "j=2 formal widths retain the three carriers",
"expected": [
1058,
1150,
1250
],
"passed": true
},
{
"actual": [
1058,
1150,
1250
],
"check": "j=3 formal widths retain the three carriers",
"expected": [
1058,
1150,
1250
],
"passed": true
},
{
"actual": [
[
"7623/4",
"7625/4"
],
[
"12223/4",
"12225/4"
]
],
"check": "j=3 first phase-preserving interval image",
"expected": [
[
"7623/4",
"7625/4"
],
[
"12223/4",
"12225/4"
]
],
"passed": true
},
{
"actual": [
[
"9823/4",
"9825/4"
],
[
"14823/4",
"14825/4"
]
],
"check": "j=3 second phase-preserving interval image",
"expected": [
[
"9823/4",
"9825/4"
],
[
"14823/4",
"14825/4"
]
],
"passed": true
},
{
"actual": [
[
5819,
6325
],
[
6877,
7475
]
],
"check": "j=3 Creation-width product grid",
"expected": [
[
5819,
6325
],
[
6877,
7475
]
],
"passed": true
},
{
"actual": 0,
"check": "j=3 shared factorization determinant",
"expected": 0,
"passed": true
},
{
"actual": [
1058,
1150,
1250
],
"check": "j=4 formal widths retain the three carriers",
"expected": [
1058,
1150,
1250
],
"passed": true
},
{
"actual": [
1058,
1150,
1250
],
"check": "j=5 formal widths retain the three carriers",
"expected": [
1058,
1150,
1250
],
"passed": true
},
{
"actual": [
[
"7631/4",
"7633/4"
],
[
"12231/4",
"12233/4"
]
],
"check": "j=5 first phase-preserving interval image",
"expected": [
[
"7631/4",
"7633/4"
],
[
"12231/4",
"12233/4"
]
],
"passed": true
},
{
"actual": [
[
"9831/4",
"9833/4"
],
[
"14831/4",
"14833/4"
]
],
"check": "j=5 second phase-preserving interval image",
"expected": [
[
"9831/4",
"9833/4"
],
[
"14831/4",
"14833/4"
]
],
"passed": true
},
{
"actual": [
[
5819,
6325
],
[
6877,
7475
]
],
"check": "j=5 Creation-width product grid",
"expected": [
[
5819,
6325
],
[
6877,
7475
]
],
"passed": true
},
{
"actual": 0,
"check": "j=5 shared factorization determinant",
"expected": 0,
"passed": true
},
{
"actual": [
1058,
1150,
1250
],
"check": "j=6 formal widths retain the three carriers",
"expected": [
1058,
1150,
1250
],
"passed": true
},
{
"actual": [
1058,
1150,
1250
],
"check": "j=7 formal widths retain the three carriers",
"expected": [
1058,
1150,
1250
],
"passed": true
},
{
"actual": [
92,
100
],
"check": "interval growth is the difference of endpoint motions",
"expected": [
92,
100
],
"passed": true
},
{
"actual": [
[
2,
1
],
[
3,
0
],
[
4,
1
],
[
5,
0
],
[
6,
1
],
[
7,
0
]
],
"check": "third-stage primary and companion classes",
"expected": [
[
2,
1
],
[
3,
0
],
[
4,
1
],
[
5,
0
],
[
6,
1
],
[
7,
0
]
],
"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": "C15_GRAPH.json",
"sha256": "dc86bd891d48189fdfaec6531d24bf9b97ee25359f368019a220fed754d08916"
},
{
"file": "C16_DOMAIN.json",
"sha256": "415afb6b427e1bf3e5ed2420952c24540d716d7371b99509fb085d88fc8b844a"
},
{
"file": "C22_GRAMMAR.json",
"sha256": "e045f7613bf168813526daaf2e20014f6ebbad2bc57a87ffe2a0e85d18d26469"
},
{
"file": "C43_CERTIFICATE.json",
"sha256": "e1205aa777befd7f2608e34161c1686b309ffaf6f9496b8a967fd2d5e6a26794"
},
{
"file": "C65_CERTIFICATE.json",
"sha256": "7a87b13433acf7a6ed7270ef4552a8d8dcdd73e9ccd8c5b3bff1632504e33e8e"
},
{
"file": "C74_CERTIFICATE.json",
"sha256": "6de08e492584a516dabb904aeac74bd57380b758952f04108eb1f3abbee8d17d"
},
{
"file": "C75_CERTIFICATE.json",
"sha256": "0310b4d91e4ac29191095832707f166e3f80489bde9166ccf7f7c28f89ba24e9"
},
{
"file": "C76_CERTIFICATE.json",
"sha256": "25c9ab60bf7f7ef9c8652d0102c4b0393787019e32e399b149ea0537f4314dda"
},
{
"file": "C77_CERTIFICATE.json",
"sha256": "f537327b03132174238e3b92cd4eec0abc43930a2faee4d9fe01a046afb72249"
},
{
"file": "C82_CERTIFICATE.json",
"sha256": "67b2f90c036e774b7eba906cbddced697d24b6df8972174ec533eefb5a4b2bbc"
},
{
"file": "C82_REPORT.md",
"sha256": "f3786b1972e15fd8dc24743569e43446cf6a54db3c95b415479c5e05f5db1490"
},
{
"file": "C82_CHECKPOINT.md",
"sha256": "26d87041b43cdb4c9403ba392cff45248778cba9bf4a7ea49b550eabbcb5eb86"
},
{
"file": "C09_REPORT.md",
"sha256": "458dcbf89e697267bb796b821855057a2431e94a7fc0f84e8a335c637eb88013"
}
],
"next_step": "Compare this 506+552 dissection of 1058 with the retained cumulative 460+598 dissection, keeping endpoint frames distinct.",
"passed": true,
"report": "C89"
}
Evidence
C89 RESULTS.json
Linked sources and evidence
Edition and provenance
C89_RESULTS.json
SHA-256 7130bbbb1c2e302da129f2efc2412e56acd419e12594c0d58eefb6c003ddabed
C01–C479/reference/490d_C01_C265_Complete_Window_Archive_20260923.zip!/workspace/mirror_10_step_joseph_partition_20260922/C89/evidence/C89_RESULTS.json