{
"status": "PASS",
"checks": 41,
"second_decimal_reversal": false,
"purpose": "Six predeclared named 600-year partition comparisons; not a broad partition scan",
"notation": "dL=I(a+600)-I(a)-600; dU=I(b)-600-I(b-600); alternate-primary=dL-dU; refined-primary=-dU",
"sources": [
{
"path": "upload/490d_LXX_Reversed_Spines_and_Accepted_SP_Solution_20260928(1).md",
"sha256": "3083e334c2834b5b53aa2acab6aa957c1e21bd28ccb404eb91ec2158d859acdb"
},
{
"path": "project_sources/38-File_18.Chronological_Data_Tables-20260919-141048-.md",
"sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
},
{
"path": "project_sources/39-File_51a.Rounded_Scaffold_Mod5_Architecture.md",
"sha256": "d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c"
},
{
"path": "three_tradition_bridge_20260928/prep/sources/File52c_latest.md",
"sha256": "a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530"
},
{
"path": "audit_cancel_20260928/recovered/evidence/model/Moses_LXX_native_complete_path.json",
"sha256": "349e15040eb75bcb325bb2c83865a847266e0b60a265da53410dc040515fd403"
},
{
"path": "project_sources/29-File_47.Patriarchal_Pairing_Six_Birth_Pairs-1-.md",
"sha256": "c0a735c82c0109cfefb71459af02fe3184a172d7b8d415ed3a8d143b2122f8f8"
},
{
"path": "project_sources/03-File_53.Jubilees_22Fold_Creation_Genealogy_Witness-4-.md",
"sha256": "9f0e41022cab59a43c090c98224e55fe45e622a15e094dacad6721bea0aee8f3"
}
],
"results": [
{
"name": "MT_regular",
"source_head": 4106,
"source_flood": 2456,
"alternate_node_name": "Noah",
"alternate_node": 3056,
"original_source_paths": {
"Flood": [
1406,
2456,
4106
],
"Noah": [
1406,
3056,
4106
],
"refined": [
1406,
2456,
3056,
4106
]
},
"original_legs": {
"Flood": [
1050,
1650
],
"Noah": [
1650,
1050
],
"refined": [
1050,
600,
1050
]
},
"reversed_legs": {
"Flood": [
5010,
5610
],
"Noah": [
5610,
5010
],
"refined": [
5010,
600,
5010
]
},
"transformed_totals": {
"Flood": 10620,
"Noah": 10620,
"refined": 10620
},
"held_Conquest_heads": {
"Flood": 12026,
"Noah": 12026,
"refined": 12026
},
"held_Nativity_heads": {
"Flood": 14726,
"Noah": 14726,
"refined": 14726
},
"dL": 0,
"dU": 0,
"alternate_minus_primary": 0,
"refined_minus_primary": 0
},
{
"name": "LXX_regular",
"source_head": 5486,
"source_flood": 3236,
"alternate_node_name": "Noah",
"alternate_node": 3836,
"original_source_paths": {
"Flood": [
1406,
3236,
5486
],
"Noah": [
1406,
3836,
5486
],
"refined": [
1406,
3236,
3836,
5486
]
},
"original_legs": {
"Flood": [
1830,
2250
],
"Noah": [
2430,
1650
],
"refined": [
1830,
600,
1650
]
},
"reversed_legs": {
"Flood": [
3810,
5220
],
"Noah": [
3420,
5610
],
"refined": [
3810,
600,
5610
]
},
"transformed_totals": {
"Flood": 9030,
"Noah": 9030,
"refined": 10020
},
"held_Conquest_heads": {
"Flood": 10436,
"Noah": 10436,
"refined": 11426
},
"held_Nativity_heads": {
"Flood": 13136,
"Noah": 13136,
"refined": 14126
},
"dL": -990,
"dU": -990,
"alternate_minus_primary": 0,
"refined_minus_primary": 990
},
{
"name": "SP_regular_Fall",
"source_head": 4406,
"source_flood": 3106,
"alternate_node_name": "Noah",
"alternate_node": 3706,
"original_source_paths": {
"Flood": [
1406,
3106,
4406
],
"Noah": [
1406,
3706,
4406
],
"refined": [
1406,
3106,
3706,
4406
]
},
"original_legs": {
"Flood": [
1700,
1300
],
"Noah": [
2300,
700
],
"refined": [
1700,
600,
700
]
},
"reversed_legs": {
"Flood": [
7100,
3100
],
"Noah": [
3200,
700
],
"refined": [
7100,
600,
700
]
},
"transformed_totals": {
"Flood": 10200,
"Noah": 3900,
"refined": 8400
},
"held_Conquest_heads": {
"Flood": 11606,
"Noah": 5306,
"refined": 9806
},
"held_Nativity_heads": {
"Flood": 14306,
"Noah": 8006,
"refined": 12506
},
"dL": -4500,
"dU": 1800,
"alternate_minus_primary": -6300,
"refined_minus_primary": -1800
},
{
"name": "MT_cumulative",
"source_head": 14006,
"source_flood": 4836,
"alternate_node_name": "Shem",
"alternate_node": 5436,
"original_source_paths": {
"Flood": [
1406,
4836,
14006
],
"Shem": [
1406,
5436,
14006
],
"refined": [
1406,
4836,
5436,
14006
]
},
"original_legs": {
"Flood": [
3430,
9170
],
"Shem": [
4030,
8570
],
"refined": [
3430,
600,
8570
]
},
"reversed_legs": {
"Flood": [
3430,
7190
],
"Shem": [
3040,
7580
],
"refined": [
3430,
600,
7580
]
},
"transformed_totals": {
"Flood": 10620,
"Shem": 10620,
"refined": 11610
},
"held_Conquest_heads": {
"Flood": 12026,
"Shem": 12026,
"refined": 13016
},
"held_Nativity_heads": {
"Flood": 14726,
"Shem": 14726,
"refined": 15716
},
"dL": -990,
"dU": -990,
"alternate_minus_primary": 0,
"refined_minus_primary": 990
},
{
"name": "LXX_cumulative",
"source_head": 14896,
"source_flood": 5746,
"alternate_node_name": "Shem",
"alternate_node": 6346,
"original_source_paths": {
"Flood": [
1406,
5746,
14896
],
"Shem": [
1406,
6346,
14896
],
"refined": [
1406,
5746,
6346,
14896
]
},
"original_legs": {
"Flood": [
4340,
9150
],
"Shem": [
4940,
8550
],
"refined": [
4340,
600,
8550
]
},
"reversed_legs": {
"Flood": [
4340,
5190
],
"Shem": [
4940,
5580
],
"refined": [
4340,
600,
5580
]
},
"transformed_totals": {
"Flood": 9530,
"Shem": 10520,
"refined": 10520
},
"held_Conquest_heads": {
"Flood": 10936,
"Shem": 11926,
"refined": 11926
},
"held_Nativity_heads": {
"Flood": 13636,
"Shem": 14626,
"refined": 14626
},
"dL": 0,
"dU": -990,
"alternate_minus_primary": 990,
"refined_minus_primary": 990
},
{
"name": "SP_cumulative_Fall",
"source_head": 13396,
"source_flood": 4716,
"alternate_node_name": "Shem",
"alternate_node": 5316,
"original_source_paths": {
"Flood": [
1406,
4716,
13396
],
"Shem": [
1406,
5316,
13396
],
"refined": [
1406,
4716,
5316,
13396
]
},
"original_legs": {
"Flood": [
3310,
8680
],
"Shem": [
3910,
8080
],
"refined": [
3310,
600,
8080
]
},
"reversed_legs": {
"Flood": [
1330,
8680
],
"Shem": [
1930,
8080
],
"refined": [
1330,
600,
8080
]
},
"transformed_totals": {
"Flood": 10010,
"Shem": 10010,
"refined": 10010
},
"held_Conquest_heads": {
"Flood": 11416,
"Shem": 11416,
"refined": 11416
},
"held_Nativity_heads": {
"Flood": 14116,
"Shem": 14116,
"refined": 14116
},
"dL": 0,
"dU": 0,
"alternate_minus_primary": 0,
"refined_minus_primary": 0
}
],
"upper_subpath_translations": [
{
"name": "SP_regular_Fall",
"source_upper_subpath": [
3106,
3706,
4406
],
"refined_two_stage_upper_subpath": [
8506,
9106,
9806
],
"refined_completed_upper_subpath": [
11206,
11806,
12506
],
"two_stage_translation": 5400,
"completed_translation": 8100,
"scope": "Selected upper three-node branch only; held Conquest is excluded"
},
{
"name": "SP_cumulative_Fall",
"source_upper_subpath": [
4716,
5316,
13396
],
"refined_two_stage_upper_subpath": [
2736,
3336,
11416
],
"refined_completed_upper_subpath": [
5436,
6036,
14116
],
"two_stage_translation": -1980,
"completed_translation": 720,
"scope": "Selected upper three-node branch only; held Conquest is excluded"
}
],
"verification": [
{
"label": "MT_regular named 600 leg",
"observed": 600,
"expected": 600,
"passed": true
},
{
"label": "MT_regular transformed totals",
"observed": [
10620,
10620,
10620
],
"expected": [
10620,
10620,
10620
],
"passed": true
},
{
"label": "MT_regular local merging defects",
"observed": [
0,
0
],
"expected": [
0,
0
],
"passed": true
},
{
"label": "MT_regular coarse difference law",
"observed": 0,
"expected": 0,
"passed": true
},
{
"label": "MT_regular refinement difference law",
"observed": 0,
"expected": 0,
"passed": true
},
{
"label": "LXX_regular named 600 leg",
"observed": 600,
"expected": 600,
"passed": true
},
{
"label": "LXX_regular transformed totals",
"observed": [
9030,
9030,
10020
],
"expected": [
9030,
9030,
10020
],
"passed": true
},
{
"label": "LXX_regular local merging defects",
"observed": [
-990,
-990
],
"expected": [
-990,
-990
],
"passed": true
},
{
"label": "LXX_regular coarse difference law",
"observed": 0,
"expected": 0,
"passed": true
},
{
"label": "LXX_regular refinement difference law",
"observed": 990,
"expected": 990,
"passed": true
},
{
"label": "SP_regular_Fall named 600 leg",
"observed": 600,
"expected": 600,
"passed": true
},
{
"label": "SP_regular_Fall transformed totals",
"observed": [
10200,
3900,
8400
],
"expected": [
10200,
3900,
8400
],
"passed": true
},
{
"label": "SP_regular_Fall local merging defects",
"observed": [
-4500,
1800
],
"expected": [
-4500,
1800
],
"passed": true
},
{
"label": "SP_regular_Fall coarse difference law",
"observed": -6300,
"expected": -6300,
"passed": true
},
{
"label": "SP_regular_Fall refinement difference law",
"observed": -1800,
"expected": -1800,
"passed": true
},
{
"label": "MT_cumulative named 600 leg",
"observed": 600,
"expected": 600,
"passed": true
},
{
"label": "MT_cumulative transformed totals",
"observed": [
10620,
10620,
11610
],
"expected": [
10620,
10620,
11610
],
"passed": true
},
{
"label": "MT_cumulative local merging defects",
"observed": [
-990,
-990
],
"expected": [
-990,
-990
],
"passed": true
},
{
"label": "MT_cumulative coarse difference law",
"observed": 0,
"expected": 0,
"passed": true
},
{
"label": "MT_cumulative refinement difference law",
"observed": 990,
"expected": 990,
"passed": true
},
{
"label": "LXX_cumulative named 600 leg",
"observed": 600,
"expected": 600,
"passed": true
},
{
"label": "LXX_cumulative transformed totals",
"observed": [
9530,
10520,
10520
],
"expected": [
9530,
10520,
10520
],
"passed": true
},
{
"label": "LXX_cumulative local merging defects",
"observed": [
0,
-990
],
"expected": [
0,
-990
],
"passed": true
},
{
"label": "LXX_cumulative coarse difference law",
"observed": 990,
"expected": 990,
"passed": true
},
{
"label": "LXX_cumulative refinement difference law",
"observed": 990,
"expected": 990,
"passed": true
},
{
"label": "SP_cumulative_Fall named 600 leg",
"observed": 600,
"expected": 600,
"passed": true
},
{
"label": "SP_cumulative_Fall transformed totals",
"observed": [
10010,
10010,
10010
],
"expected": [
10010,
10010,
10010
],
"passed": true
},
{
"label": "SP_cumulative_Fall local merging defects",
"observed": [
0,
0
],
"expected": [
0,
0
],
"passed": true
},
{
"label": "SP_cumulative_Fall coarse difference law",
"observed": 0,
"expected": 0,
"passed": true
},
{
"label": "SP_cumulative_Fall refinement difference law",
"observed": 0,
"expected": 0,
"passed": true
},
{
"label": "MT Regular and SP Cumulative both locally additive",
"observed": [
"MT_regular",
"SP_cumulative_Fall"
],
"expected": [
"MT_regular",
"SP_cumulative_Fall"
],
"passed": true
},
{
"label": "LXX Regular and MT Cumulative share balanced nonadditivity",
"observed": [
"LXX_regular",
"MT_cumulative"
],
"expected": [
"LXX_regular",
"MT_cumulative"
],
"passed": true
},
{
"label": "SP_regular_Fall upper refined source legs fixed",
"observed": [
600,
700
],
"expected": [
600,
700
],
"passed": true
},
{
"label": "SP_regular_Fall upper subpath two-stage translation",
"observed": [
5400,
5400,
5400
],
"expected": [
5400,
5400,
5400
],
"passed": true
},
{
"label": "SP_regular_Fall upper subpath completed translation",
"observed": [
8100,
8100,
8100
],
"expected": [
8100,
8100,
8100
],
"passed": true
},
{
"label": "SP_regular_Fall held Conquest excludes whole-path translation",
"observed": false,
"expected": false,
"passed": true
},
{
"label": "SP_cumulative_Fall upper refined source legs fixed",
"observed": [
600,
8080
],
"expected": [
600,
8080
],
"passed": true
},
{
"label": "SP_cumulative_Fall upper subpath two-stage translation",
"observed": [
-1980,
-1980,
-1980
],
"expected": [
-1980,
-1980,
-1980
],
"passed": true
},
{
"label": "SP_cumulative_Fall upper subpath completed translation",
"observed": [
720,
720,
720
],
"expected": [
720,
720,
720
],
"passed": true
},
{
"label": "SP_cumulative_Fall held Conquest excludes whole-path translation",
"observed": false,
"expected": false,
"passed": true
},
{
"label": "LXX nodes already reconstructed in declared native Rounded field",
"observed": [
5486,
3836,
3336,
3236
],
"expected": [
5486,
3836,
3336,
3236
],
"passed": true
}
]
}
Evidence
partition verification.json
Linked sources and evidence
Edition and provenance
partition_verification.json
SHA-256 b467a34815fde5c19ac356c94ec75d46ee518aa7afc1c786d02904b6403b1b37
C480–C1634/Research_Cycles/C1433_C1482/agents/structure/partition_verification.json