{
"check_count": 7,
"checks": [
{
"actual": [
2.0,
3.0,
2.0,
5.0,
10.0,
2.0
],
"check": "complete 24-fold chain leg coefficients",
"expected": [
2,
3,
2,
5,
10,
2
],
"passed": true
},
{
"actual": 12696,
"check": "complete path total",
"expected": 12696,
"passed": true
},
{
"actual": [
2645,
10051
],
"check": "partition at X",
"expected": [
2645,
10051
],
"passed": true
},
{
"actual": [
3703,
8993
],
"check": "partition at Y",
"expected": [
3703,
8993
],
"passed": true
},
{
"actual": [
6348,
6348
],
"check": "partition at Z",
"expected": [
6348,
6348
],
"passed": true
},
{
"actual": [
11638,
1058
],
"check": "partition at D",
"expected": [
11638,
1058
],
"passed": true
},
{
"actual": [
1058,
11638
],
"check": "partition at A",
"expected": [
1058,
11638
],
"passed": true
}
],
"input_verification": [
{
"file": "File_18.md",
"sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
},
{
"file": "File_09.md",
"sha256": "45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e"
},
{
"file": "MIRROR_HANDOFF.md",
"sha256": "8a857e112e4a5b774768f92f9872fc75446b202414baa9e9ab788214a6f71eed"
},
{
"file": "C15_GRAPH.json",
"sha256": "dc86bd891d48189fdfaec6531d24bf9b97ee25359f368019a220fed754d08916"
},
{
"file": "C15_DEPENDENCY.json",
"sha256": "7e75380ea1e7528fea0ed2fa991293da145d21ccdb91bde2489f8c6a8b3c3347"
},
{
"file": "C16_DOMAIN.json",
"sha256": "415afb6b427e1bf3e5ed2420952c24540d716d7371b99509fb085d88fc8b844a"
},
{
"file": "C22_RATIO.json",
"sha256": "12f7035957f02327307559d38ac92c93609c9d6e72a18ec83b369b727a050543"
},
{
"file": "C22_GRAMMAR.json",
"sha256": "e045f7613bf168813526daaf2e20014f6ebbad2bc57a87ffe2a0e85d18d26469"
},
{
"file": "C22_RESULTS.json",
"sha256": "4a66e8f53dc4319d1c965b919c2d7ac629b5506ceaeb795585790da5699b47c2"
},
{
"file": "C22_REPORT.md",
"sha256": "f8a3ee6a19b1d59a0b4da51f1330d52f267d3714d4ae8d645dd68c647a7ca452"
}
],
"next_step": "Solve the exact source-field bounds for raw and joined 24-fold intervals.",
"passed": true,
"report": "C40"
}
Evidence
C40 RESULTS.json
Linked sources and evidence
Edition and provenance
C40_RESULTS.json
SHA-256 fa4cf6200641a8ae0dbeaf9609e7c874421b566eb5c24fcfc858077fda748e03
C01–C479/reference/490d_C01_C265_Complete_Window_Archive_20260923.zip!/workspace/mirror_30_step_campaign_20260922/C40/evidence/C40_RESULTS.json