{
"status": "PASS",
"scope": "Exact arithmetic using declared source coordinates; source-total reconstruction not rerun",
"source": "/workspace/scratch/1b40da62dcbd/upload/490d_LXX_Reversed_Spines_and_Accepted_SP_Solution_20260928(1).md",
"source_sha256": "3083e334c2834b5b53aa2acab6aa957c1e21bd28ccb404eb91ec2158d859acdb",
"checks": 112,
"groups": [
"LXX_MT_translations",
"LXX_SP_return",
"LXX_common_expanded_endpoint",
"SP_MT_bridges",
"actual_node_and_apparent_comparisons",
"civil_cross_era",
"gain_balance",
"regular_cumulative_difference",
"six_spines",
"source_and_fixed_segments",
"stage_translation"
],
"computed_spines": {
"MT_regular": {
"source_head": 4106,
"flood": 2456,
"original_legs": [
1050,
1650
],
"reversed_legs": [
5010,
5610
],
"path2": [
1406,
6416,
12026
],
"path3": [
6,
4106,
9116,
14726
],
"two_stage_gain": 7920
},
"MT_cumulative": {
"source_head": 14006,
"flood": 4836,
"original_legs": [
3430,
9170
],
"reversed_legs": [
3430,
7190
],
"path2": [
1406,
4836,
12026
],
"path3": [
6,
4106,
7536,
14726
],
"two_stage_gain": -1980
},
"LXX_regular": {
"source_head": 5486,
"flood": 3236,
"original_legs": [
1830,
2250
],
"reversed_legs": [
3810,
5220
],
"path2": [
1406,
5216,
10436
],
"path3": [
6,
4106,
7916,
13136
],
"two_stage_gain": 4950
},
"LXX_cumulative": {
"source_head": 14896,
"flood": 5746,
"original_legs": [
4340,
9150
],
"reversed_legs": [
4340,
5190
],
"path2": [
1406,
5746,
10936
],
"path3": [
6,
4106,
8446,
13636
],
"two_stage_gain": -3960
},
"SP_regular_accepted_Fall": {
"source_head": 4406,
"flood": 3106,
"original_legs": [
1700,
1300
],
"reversed_legs": [
7100,
3100
],
"path2": [
1406,
8506,
11606
],
"path3": [
6,
4106,
11206,
14306
],
"two_stage_gain": 7200
},
"SP_cumulative_accepted_Fall": {
"source_head": 13396,
"flood": 4716,
"original_legs": [
3310,
8680
],
"reversed_legs": [
1330,
8680
],
"path2": [
1406,
2736,
11416
],
"path3": [
6,
4106,
5436,
14116
],
"two_stage_gain": -1980
}
},
"results": [
{
"group": "six_spines",
"label": "MT_regular two-stage path",
"actual": [
1406,
6416,
12026
],
"expected": [
1406,
6416,
12026
],
"passed": true
},
{
"group": "six_spines",
"label": "MT_regular three-stage path",
"actual": [
6,
4106,
9116,
14726
],
"expected": [
6,
4106,
9116,
14726
],
"passed": true
},
{
"group": "stage_translation",
"label": "MT_regular common shift",
"actual": 2700,
"expected": 2700,
"passed": true
},
{
"group": "six_spines",
"label": "MT_cumulative two-stage path",
"actual": [
1406,
4836,
12026
],
"expected": [
1406,
4836,
12026
],
"passed": true
},
{
"group": "six_spines",
"label": "MT_cumulative three-stage path",
"actual": [
6,
4106,
7536,
14726
],
"expected": [
6,
4106,
7536,
14726
],
"passed": true
},
{
"group": "stage_translation",
"label": "MT_cumulative common shift",
"actual": 2700,
"expected": 2700,
"passed": true
},
{
"group": "six_spines",
"label": "LXX_regular two-stage path",
"actual": [
1406,
5216,
10436
],
"expected": [
1406,
5216,
10436
],
"passed": true
},
{
"group": "six_spines",
"label": "LXX_regular three-stage path",
"actual": [
6,
4106,
7916,
13136
],
"expected": [
6,
4106,
7916,
13136
],
"passed": true
},
{
"group": "stage_translation",
"label": "LXX_regular common shift",
"actual": 2700,
"expected": 2700,
"passed": true
},
{
"group": "six_spines",
"label": "LXX_cumulative two-stage path",
"actual": [
1406,
5746,
10936
],
"expected": [
1406,
5746,
10936
],
"passed": true
},
{
"group": "six_spines",
"label": "LXX_cumulative three-stage path",
"actual": [
6,
4106,
8446,
13636
],
"expected": [
6,
4106,
8446,
13636
],
"passed": true
},
{
"group": "stage_translation",
"label": "LXX_cumulative common shift",
"actual": 2700,
"expected": 2700,
"passed": true
},
{
"group": "six_spines",
"label": "SP_regular_accepted_Fall two-stage path",
"actual": [
1406,
8506,
11606
],
"expected": [
1406,
8506,
11606
],
"passed": true
},
{
"group": "six_spines",
"label": "SP_regular_accepted_Fall three-stage path",
"actual": [
6,
4106,
11206,
14306
],
"expected": [
6,
4106,
11206,
14306
],
"passed": true
},
{
"group": "stage_translation",
"label": "SP_regular_accepted_Fall common shift",
"actual": 2700,
"expected": 2700,
"passed": true
},
{
"group": "six_spines",
"label": "SP_cumulative_accepted_Fall two-stage path",
"actual": [
1406,
2736,
11416
],
"expected": [
1406,
2736,
11416
],
"passed": true
},
{
"group": "six_spines",
"label": "SP_cumulative_accepted_Fall three-stage path",
"actual": [
6,
4106,
5436,
14116
],
"expected": [
6,
4106,
5436,
14116
],
"passed": true
},
{
"group": "stage_translation",
"label": "SP_cumulative_accepted_Fall common shift",
"actual": 2700,
"expected": 2700,
"passed": true
},
{
"group": "regular_cumulative_difference",
"label": "MT path2",
"actual": 0,
"expected": 0,
"passed": true
},
{
"group": "regular_cumulative_difference",
"label": "MT path3",
"actual": 0,
"expected": 0,
"passed": true
},
{
"group": "gain_balance",
"label": "MT gap decomposition",
"actual": 0,
"expected": 0,
"passed": true
},
{
"group": "regular_cumulative_difference",
"label": "LXX path2",
"actual": 500,
"expected": 500,
"passed": true
},
{
"group": "regular_cumulative_difference",
"label": "LXX path3",
"actual": 500,
"expected": 500,
"passed": true
},
{
"group": "gain_balance",
"label": "LXX gap decomposition",
"actual": 500,
"expected": 500,
"passed": true
},
{
"group": "regular_cumulative_difference",
"label": "SP path2",
"actual": -190,
"expected": -190,
"passed": true
},
{
"group": "regular_cumulative_difference",
"label": "SP path3",
"actual": -190,
"expected": -190,
"passed": true
},
{
"group": "gain_balance",
"label": "SP gap decomposition",
"actual": -190,
"expected": -190,
"passed": true
},
{
"group": "source_and_fixed_segments",
"label": "LXX inter-leg cancellation",
"actual": 500,
"expected": 500,
"passed": true
},
{
"group": "source_and_fixed_segments",
"label": "MT cumulative fixed leg",
"actual": 3430,
"expected": 3430,
"passed": true
},
{
"group": "source_and_fixed_segments",
"label": "LXX cumulative fixed leg",
"actual": 4340,
"expected": 4340,
"passed": true
},
{
"group": "source_and_fixed_segments",
"label": "SP cumulative fixed leg",
"actual": 8680,
"expected": 8680,
"passed": true
},
{
"group": "source_and_fixed_segments",
"label": "SP fixed leg twice LXX",
"actual": 8680,
"expected": 8680,
"passed": true
},
{
"group": "source_and_fixed_segments",
"label": "SP regular Fall adjustment",
"actual": 4406,
"expected": 4406,
"passed": true
},
{
"group": "source_and_fixed_segments",
"label": "SP cumulative Fall adjustment",
"actual": 13396,
"expected": 13396,
"passed": true
},
{
"group": "source_and_fixed_segments",
"label": "SP regular source segment",
"actual": 1300,
"expected": 1300,
"passed": true
},
{
"group": "source_and_fixed_segments",
"label": "SP cumulative source segment",
"actual": 8680,
"expected": 8680,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "Flood translation",
"actual": 910,
"expected": 910,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "Shem translation",
"actual": 910,
"expected": 910,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "Target translation",
"actual": 910,
"expected": 910,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "MT Shem restoration",
"actual": 4900,
"expected": 4900,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "LXX Shem Exodus",
"actual": 4900,
"expected": 4900,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "MT Flood restoration",
"actual": 4300,
"expected": 4300,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "LXX Flood Exodus",
"actual": 4300,
"expected": 4300,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "9030 two-stage",
"actual": 9030,
"expected": 9030,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "9030 shifted",
"actual": 9030,
"expected": 9030,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "9030 factor",
"actual": 9030,
"expected": 9030,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "12600 LXX",
"actual": 12600,
"expected": 12600,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "12600 MT",
"actual": 12600,
"expected": 12600,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "870 heads",
"actual": 870,
"expected": 870,
"passed": true
},
{
"group": "LXX_MT_translations",
"label": "870 targets",
"actual": 870,
"expected": 870,
"passed": true
},
{
"group": "LXX_common_expanded_endpoint",
"label": "cumulative span",
"actual": 12190,
"expected": 12190,
"passed": true
},
{
"group": "LXX_common_expanded_endpoint",
"label": "regular span",
"actual": 11730,
"expected": 11730,
"passed": true
},
{
"group": "LXX_common_expanded_endpoint",
"label": "cumulative endpoint",
"actual": 386,
"expected": 386,
"passed": true
},
{
"group": "LXX_common_expanded_endpoint",
"label": "regular endpoint",
"actual": 386,
"expected": 386,
"passed": true
},
{
"group": "LXX_common_expanded_endpoint",
"label": "difference expansion",
"actual": 500,
"expected": 500,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "MT 344",
"actual": 344,
"expected": 344,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "LXX 354",
"actual": 354,
"expected": 354,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "LXX 364",
"actual": 364,
"expected": 364,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "anchor gap",
"actual": 1610,
"expected": 1610,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "source gap",
"actual": 1380,
"expected": 1380,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "first 230 increment",
"actual": 230,
"expected": 230,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "second 230 increment",
"actual": 230,
"expected": 230,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "LXX to MT square",
"actual": 9522,
"expected": 9522,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "square priestly",
"actual": 10350,
"expected": 10350,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "square prophetic",
"actual": 9660,
"expected": 9660,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "apparent LXX",
"actual": 14924,
"expected": 14924,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "apparent partition left",
"actual": 920,
"expected": 920,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "apparent partition right",
"actual": 368,
"expected": 368,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "apparent total expansion",
"actual": 1400,
"expected": 1400,
"passed": true
},
{
"group": "actual_node_and_apparent_comparisons",
"label": "apparent other boundary",
"actual": 1290,
"expected": 1290,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "SP two-stage displacement",
"actual": 7200,
"expected": 7200,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "SP reversal gain",
"actual": 7200,
"expected": 7200,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "MT original span reversal",
"actual": 7200,
"expected": 7200,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "corrected MT endpoint subtraction",
"actual": 7500,
"expected": 7500,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "SP 9900",
"actual": 9900,
"expected": 9900,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "SP 9890",
"actual": 9890,
"expected": 9890,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "MT 9900",
"actual": 9900,
"expected": 9900,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "MT 9890",
"actual": 9890,
"expected": 9890,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "MT actual completion 9890",
"actual": 9890,
"expected": 9890,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "9890 factor",
"actual": 9890,
"expected": 9890,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "head translation",
"actual": 300,
"expected": 300,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "lower translation",
"actual": 300,
"expected": 300,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "upper translation",
"actual": 300,
"expected": 300,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "9900 generation",
"actual": 9900,
"expected": 9900,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "2736 Exodus",
"actual": 1290,
"expected": 1290,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "SP cumulative 7000",
"actual": 7000,
"expected": 7000,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "SP cumulative 10000",
"actual": 10000,
"expected": 10000,
"passed": true
},
{
"group": "SP_MT_bridges",
"label": "7000 to10000 accounting",
"actual": 3000,
"expected": 3000,
"passed": true
},
{
"group": "LXX_SP_return",
"label": "held-Conquest LXX expansion",
"actual": 13306,
"expected": 13306,
"passed": true
},
{
"group": "LXX_SP_return",
"label": "LXX expansion gain",
"actual": 170,
"expected": 170,
"passed": true
},
{
"group": "LXX_SP_return",
"label": "SP upper to LXX Creation",
"actual": 8820,
"expected": 8820,
"passed": true
},
{
"group": "LXX_SP_return",
"label": "expanded LXX to LXX Creation",
"actual": 7820,
"expected": 7820,
"passed": true
},
{
"group": "LXX_SP_return",
"label": "SP lower to LXX Creation",
"actual": 6120,
"expected": 6120,
"passed": true
},
{
"group": "LXX_SP_return",
"label": "source1700 returns",
"actual": 1700,
"expected": 1700,
"passed": true
},
{
"group": "LXX_SP_return",
"label": "upper1000",
"actual": 1000,
"expected": 1000,
"passed": true
},
{
"group": "LXX_SP_return",
"label": "8820 decomposition",
"actual": 8820,
"expected": 8820,
"passed": true
},
{
"group": "LXX_SP_return",
"label": "8820 stage decomposition",
"actual": 8820,
"expected": 8820,
"passed": true
},
{
"group": "LXX_SP_return",
"label": "1700 factor difference",
"actual": 1700,
"expected": 1700,
"passed": true
},
{
"group": "civil_cross_era",
"label": "BC toAD30",
"actual": 10465,
"expected": 10465,
"passed": true
},
{
"group": "civil_cross_era",
"label": "legacy factor",
"actual": 10465,
"expected": 10465,
"passed": true
},
{
"group": "civil_cross_era",
"label": "Enochian factor",
"actual": 10465,
"expected": 10465,
"passed": true
},
{
"group": "civil_cross_era",
"label": "legacy expansion",
"actual": 10472,
"expected": 10472,
"passed": true
},
{
"group": "civil_cross_era",
"label": "legacy AD endpoint",
"actual": 37,
"expected": 37,
"passed": true
},
{
"group": "civil_cross_era",
"label": "Enochian expansion",
"actual": 10500,
"expected": 10500,
"passed": true
},
{
"group": "civil_cross_era",
"label": "Enochian AD endpoint",
"actual": 65,
"expected": 65,
"passed": true
},
{
"group": "civil_cross_era",
"label": "Conquest toAD65",
"actual": 1470,
"expected": 1470,
"passed": true
},
{
"group": "civil_cross_era",
"label": "4836 duration4830",
"actual": -6,
"expected": -6,
"passed": true
},
{
"group": "civil_cross_era",
"label": "4836 duration4865",
"actual": 30,
"expected": 30,
"passed": true
},
{
"group": "civil_cross_era",
"label": "4836 duration4900",
"actual": 65,
"expected": 65,
"passed": true
},
{
"group": "civil_cross_era",
"label": "4829 duration4830",
"actual": 2,
"expected": 2,
"passed": true
},
{
"group": "civil_cross_era",
"label": "4829 duration4865",
"actual": 37,
"expected": 37,
"passed": true
},
{
"group": "civil_cross_era",
"label": "4829 duration4900",
"actual": 72,
"expected": 72,
"passed": true
}
],
"inverse_of_inverse_performed": false
}
Evidence
spine arithmetic verification.json
Edition and provenance
spine_arithmetic_verification.json
SHA-256 9c2c28cb244e82f0ae69104605d526c9a7b976d9b3f8d7a25bda64b96d9a8ca6
C480–C1634/Research_Cycles/C1432/sources/spine_arithmetic_verification.json