{
"status": "PASS",
"grouped_check_count": 76,
"failed_check_count": 0,
"models_checked": [
"babylonian_inputs.json",
"babylonian_paths.json",
"stage_rectangle.json",
"interval_9900.json",
"exile_key.json",
"fixed_total_cuts.json",
"two_70_operations.json",
"SP_Shem_path.json",
"Shem_whole_edge.json",
"three_MSS_junction.json",
"named_partition_key.json",
"exodus_destruction_path.json",
"restoration70_grid.json",
"12600_common_refinement.json",
"source_bindings.json"
],
"additional_model_files_not_checked": [
"LXX_completion_join.json",
"SP_refinement_scope.json",
"claim_ledger_second50.json",
"cumulative_source_nodes.json",
"final_kernel.json",
"lifespan_split_law.json",
"lower_1550_law.json",
"merge_defect_grammar.json",
"partition_spec.json",
"partitions_LXX.json",
"partitions_MT.json",
"partitions_SP.json",
"prefix_source_rows.json",
"refinement_law.json",
"refinement_scope.json",
"upper_1550_law.json"
],
"non_arithmetic_models": [
"babylonian_kernel.json",
"claim_ledger_first50.json"
],
"scope": "Independent exact arithmetic replay of fixed source pairs, Babylonian paths, local cut/Key domain, Shem incidence and named70-grid. Verification count is not independent evidence.",
"method": "Fraction arithmetic and integer divmod decimal reversal of original durations only; no parent research import or journal edit.",
"checks": [
{
"name": "independent spine outputs",
"actual": [
10436,
13136,
2736,
5436,
3336,
6036,
11416,
14116
],
"expected": [
10436,
13136,
2736,
5436,
3336,
6036,
11416,
14116
],
"pass": true
},
{
"name": "model/babylonian_inputs",
"actual": {
"LXX_regular_head_conquest": 10436,
"LXX_regular_head_nativity": 13136,
"SP_inverse_cumulative_Flood_conquest": 2736,
"SP_inverse_cumulative_Flood_nativity": 5436,
"MT_cumulative_Shem_birth": 5436,
"Babylon_start": 606,
"Jerusalem_destruction": 586,
"restoration": 536,
"Exodus": 1446,
"Conquest": 1406,
"Nativity": 6,
"MT_cumulative_Creation": 14006,
"MT_regular_Creation": 4106,
"SP_regular_inverse_head_nativity": 14306,
"SP_regular_Fall": 4406
},
"expected": {
"LXX_regular_head_conquest": 10436,
"LXX_regular_head_nativity": 13136,
"SP_inverse_cumulative_Flood_conquest": 2736,
"SP_inverse_cumulative_Flood_nativity": 5436,
"MT_cumulative_Shem_birth": 5436,
"Babylon_start": 606,
"Jerusalem_destruction": 586,
"restoration": 536,
"Exodus": 1446,
"Conquest": 1406,
"Nativity": 6,
"MT_cumulative_Creation": 14006,
"MT_regular_Creation": 4106,
"SP_regular_inverse_head_nativity": 14306,
"SP_regular_Fall": 4406
},
"pass": true
},
{
"name": "model/babylonian_paths",
"actual": {
"conquest_stage": {
"nodes": [
10436,
2736,
536
],
"legs": [
7700,
2200
],
"total": 9900
},
"nativity_stage": {
"nodes": [
13136,
5436,
536
],
"legs": [
7700,
4900
],
"total": 12600
},
"identities": [
true,
true
]
},
"expected": {
"conquest_stage": {
"nodes": [
10436,
2736,
536
],
"legs": [
7700,
2200
],
"total": 9900
},
"nativity_stage": {
"nodes": [
13136,
5436,
536
],
"legs": [
7700,
4900
],
"total": 12600
},
"identities": [
true,
true
]
},
"pass": true
},
{
"name": "model/stage_rectangle",
"actual": {
"low_edge": [
10436,
2736
],
"high_edge": [
13136,
5436
],
"endpoint_displacements": [
2700,
2700
],
"lengths": [
7700,
7700
]
},
"expected": {
"low_edge": [
10436,
2736
],
"high_edge": [
13136,
5436
],
"endpoint_displacements": [
2700,
2700
],
"lengths": [
7700,
7700
]
},
"pass": true
},
{
"name": "model/interval_9900",
"actual": {
"MT": [
14006,
4106
],
"SP": [
14306,
4406
],
"LXX_Babylon": [
10436,
536
],
"MT_to_SP": 300,
"MT_to_LXX": -3570,
"lengths": [
9900,
9900,
9900
]
},
"expected": {
"MT": [
14006,
4106
],
"SP": [
14306,
4406
],
"LXX_Babylon": [
10436,
536
],
"MT_to_SP": 300,
"MT_to_LXX": -3570,
"lengths": [
9900,
9900,
9900
]
},
"pass": true
},
{
"name": "9900 complete pair MT to SP",
"actual": [
14306,
4406
],
"expected": [
14306,
4406
],
"pass": true
},
{
"name": "9900 complete pair MT to LXX",
"actual": [
10436,
536
],
"expected": [
10436,
536
],
"pass": true
},
{
"name": "model/exile_key",
"actual": {
"held_node": 5436,
"endpoints": [
606,
536
],
"radii": [
4830,
4900
],
"units70": [
69,
70
],
"endpoint_gap": 70
},
"expected": {
"held_node": 5436,
"endpoints": [
606,
536
],
"radii": [
4830,
4900
],
"units70": [
69,
70
],
"endpoint_gap": 70
},
"pass": true
},
{
"name": "model/fixed_total_cuts",
"actual": {
"outer": [
13136,
536
],
"named_cut": 5436,
"alternative_cut": 5366,
"alternative_check": 5366,
"cut_displacement": 70,
"leg_pairs": [
[
7700,
4900
],
[
7770,
4830
]
]
},
"expected": {
"outer": [
13136,
536
],
"named_cut": 5436,
"alternative_cut": 5366,
"alternative_check": 5366,
"cut_displacement": 70,
"leg_pairs": [
[
7700,
4900
],
[
7770,
4830
]
]
},
"pass": true
},
{
"name": "model/two_70_operations",
"actual": {
"local_key": {
"held": 5436,
"moving_endpoint": [
606,
536
],
"radius": [
4830,
4900
],
"whole_total": [
12530,
12600
]
},
"repartition": {
"held_outer": [
13136,
536
],
"moving_cut": [
5436,
5366
],
"legs": [
[
7700,
4900
],
[
7770,
4830
]
],
"whole_total": [
12600,
12600
]
}
},
"expected": {
"local_key": {
"held": 5436,
"moving_endpoint": [
606,
536
],
"radius": [
4830,
4900
],
"whole_total": [
12530,
12600
]
},
"repartition": {
"held_outer": [
13136,
536
],
"moving_cut": [
5436,
5366
],
"legs": [
[
7700,
4900
],
[
7770,
4830
]
],
"whole_total": [
12600,
12600
]
}
},
"pass": true
},
{
"name": "model/SP_Shem_path",
"actual": {
"source_nodes": [
1406,
4716,
5316,
13396
],
"source_legs": [
3310,
600,
8080
],
"inverse_nodes": [
1406,
2736,
3336,
11416
],
"shifts": [
-1980,
-1980,
-1980
]
},
"expected": {
"source_nodes": [
1406,
4716,
5316,
13396
],
"source_legs": [
3310,
600,
8080
],
"inverse_nodes": [
1406,
2736,
3336,
11416
],
"shifts": [
-1980,
-1980,
-1980
]
},
"pass": true
},
{
"name": "model/Shem_whole_edge",
"actual": {
"SP_inverse_cumulative_life": [
3336,
2736
],
"LXX_regular_life": [
3336,
2736
],
"SP_original_cumulative_life": [
5316,
4716
],
"translation": -1980,
"length": 600
},
"expected": {
"SP_inverse_cumulative_life": [
3336,
2736
],
"LXX_regular_life": [
3336,
2736
],
"SP_original_cumulative_life": [
5316,
4716
],
"translation": -1980,
"length": 600
},
"pass": true
},
{
"name": "model/three_MSS_junction",
"actual": {
"Conquest_stage": {
"LXX_head": 10436,
"SP_inverse_Shem": 3336,
"SP_inverse_Flood_and_LXX_Shem_death": 2736
},
"Nativity_stage": {
"LXX_head": 13136,
"SP_inverse_Shem": 6036,
"SP_inverse_Flood_and_MT_cum_Shem": 5436
},
"preserved_edges": [
7100,
600,
7700
],
"translated_edges": [
7100,
600,
7700
]
},
"expected": {
"Conquest_stage": {
"LXX_head": 10436,
"SP_inverse_Shem": 3336,
"SP_inverse_Flood_and_LXX_Shem_death": 2736
},
"Nativity_stage": {
"LXX_head": 13136,
"SP_inverse_Shem": 6036,
"SP_inverse_Flood_and_MT_cum_Shem": 5436
},
"preserved_edges": [
7100,
600,
7700
],
"translated_edges": [
7100,
600,
7700
]
},
"pass": true
},
{
"name": "model/named_partition_key",
"actual": {
"anchor": 536,
"input": 5366,
"output": 5436,
"reciprocal": 5366,
"radii": [
4830,
4900
],
"whole_paths": [
[
13136,
5366,
536
],
[
13136,
5436,
536
]
]
},
"expected": {
"anchor": 536,
"input": 5366,
"output": 5436,
"reciprocal": 5366,
"radii": [
4830,
4900
],
"whole_paths": [
[
13136,
5366,
536
],
[
13136,
5436,
536
]
]
},
"pass": true
},
{
"name": "model/exodus_destruction_path",
"actual": {
"nodes": [
2736,
1446,
586
],
"legs": [
1290,
860
],
"units430": [
3,
2
],
"total": 2150,
"total430": 5
},
"expected": {
"nodes": [
2736,
1446,
586
],
"legs": [
1290,
860
],
"units430": [
3,
2
],
"total": 2150,
"total430": 5
},
"pass": true
},
{
"name": "model/restoration70_grid",
"actual": {
"origin": 536,
"unit": 70,
"nodes": {
"606": 1,
"1866": 19,
"5366": 69,
"5436": 70,
"13136": 180,
"14116": 194
}
},
"expected": {
"origin": 536,
"unit": 70,
"nodes": {
"606": 1,
"1866": 19,
"5366": 69,
"5436": 70,
"13136": 180,
"14116": 194
}
},
"pass": true
},
{
"name": "model/12600_common_refinement",
"actual": {
"nodes": [
13136,
5436,
1866,
536
],
"legs": [
7700,
3570,
1330
],
"units70": [
110,
51,
19
],
"upper_merge": 11270,
"lower_merge": 4900,
"total": 12600
},
"expected": {
"nodes": [
13136,
5436,
1866,
536
],
"legs": [
7700,
3570,
1330
],
"units70": [
110,
51,
19
],
"upper_merge": 11270,
"lower_merge": 4900,
"total": 12600
},
"pass": true
},
{
"name": "fixed source actual no-Cainan comparison",
"actual": 5366,
"expected": 5366,
"pass": true
},
{
"name": "local forward key at Shem",
"actual": 536,
"expected": 536,
"pass": true
},
{
"name": "local reciprocal at Shem",
"actual": 606,
"expected": 606,
"pass": true
},
{
"name": "source-appointed cut forward key",
"actual": 5436,
"expected": 5436,
"pass": true
},
{
"name": "signed cut reciprocal displacement",
"actual": -70,
"expected": -70,
"pass": true
},
{
"name": "fixed total after cut move",
"actual": 12600,
"expected": 12600,
"pass": true
},
{
"name": "global affine image of outer LXX head",
"actual": "306328/23",
"expected": "306328/23",
"pass": true
},
{
"name": "global key cannot keep outer head fixed",
"actual": false,
"expected": false,
"pass": true
},
{
"name": "Covenant Key image of middle junction",
"actual": "132168/23",
"expected": "132168/23",
"pass": true
},
{
"name": "Covenant Key junction displacement",
"actual": "7140/23",
"expected": "7140/23",
"pass": true
},
{
"name": "Covenant head key",
"actual": 14116,
"expected": 14116,
"pass": true
},
{
"name": "two-stage Babylonian local key exact miss",
"actual": "13228/23",
"expected": "13228/23",
"pass": true
},
{
"name": "two-stage image is not restoration",
"actual": false,
"expected": false,
"pass": true
},
{
"name": "70 grid Covenant law",
"actual": 194,
"expected": 194,
"pass": true
},
{
"name": "Covenant source spans",
"actual": [
11270,
12250
],
"expected": [
11270,
12250
],
"pass": true
},
{
"name": "same fixed junction spans",
"actual": [
7700,
8680
],
"expected": [
7700,
8680
],
"pass": true
},
{
"name": "Babylonian destruction divisions",
"actual": [
20,
50,
70
],
"expected": [
20,
50,
70
],
"pass": true
},
{
"name": "SP inverse Flood Babylonian radii",
"actual": [
2130,
2150,
2200
],
"expected": [
2130,
2150,
2200
],
"pass": true
},
{
"name": "Enochian tail",
"actual": 2730,
"expected": 2730,
"pass": true
},
{
"name": "Enochian tail other registers",
"actual": [
2730,
2730
],
"expected": [
2730,
2730
],
"pass": true
},
{
"name": "Enochian tail versus stage shift",
"actual": 30,
"expected": 30,
"pass": true
},
{
"name": "File29 actual MT +60 Year6 counterpart",
"actual": 2730,
"expected": 2730,
"pass": true
},
{
"name": "first-stage 70 grid",
"actual": [
39,
149,
163
],
"expected": [
39,
149,
163
],
"pass": true
},
{
"name": "stage and anchor net increment",
"actual": 2170,
"expected": 2170,
"pass": true
},
{
"name": "other selected 70-grid coordinates",
"actual": {
"586": "5/7",
"1406": "87/7",
"1446": 13,
"6": "-53/7"
},
"expected": {
"586": "5/7",
"1406": "87/7",
"1446": 13,
"6": "-53/7"
},
"pass": true
},
{
"name": "File29 frozen source SHA",
"actual": "0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421",
"expected": "0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421",
"pass": true
},
{
"name": "File29 explicitly names source state",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "File29 records independent no-Cainan rail",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "File29 records Enochian counterpart",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound evidence exists: C1482_parent_record.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: C1482_parent_record.json",
"actual": [
1379,
"198978b3ccb4f0d320f33172e1592e575de2eaedc8412f19f9514e944509a080"
],
"expected": [
1379,
"198978b3ccb4f0d320f33172e1592e575de2eaedc8412f19f9514e944509a080"
],
"pass": true
},
{
"name": "bound evidence exists: Comparative_Study.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: Comparative_Study.md",
"actual": [
32805,
"3083e334c2834b5b53aa2acab6aa957c1e21bd28ccb404eb91ec2158d859acdb"
],
"expected": [
32805,
"3083e334c2834b5b53aa2acab6aa957c1e21bd28ccb404eb91ec2158d859acdb"
],
"pass": true
},
{
"name": "bound evidence exists: File17.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: File17.md",
"actual": [
103967,
"0f5ab858ab7f6e1ff213ed85f1e9f3cec19263e8d49ee4eeb45d81e5990e494e"
],
"expected": [
103967,
"0f5ab858ab7f6e1ff213ed85f1e9f3cec19263e8d49ee4eeb45d81e5990e494e"
],
"pass": true
},
{
"name": "bound evidence exists: File18.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: File18.md",
"actual": [
221777,
"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
],
"expected": [
221777,
"68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
],
"pass": true
},
{
"name": "bound evidence exists: File22.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: File22.md",
"actual": [
121394,
"1c77fd504afbf59b20675980f1122b4f5618a1b8f389132f018d80f65f339894"
],
"expected": [
121394,
"1c77fd504afbf59b20675980f1122b4f5618a1b8f389132f018d80f65f339894"
],
"pass": true
},
{
"name": "bound evidence exists: File29.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: File29.md",
"actual": [
101073,
"0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421"
],
"expected": [
101073,
"0066d07fd7bf2db4faaf79368833880e98b1900c52666903892673718f131421"
],
"pass": true
},
{
"name": "bound evidence exists: File51a.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: File51a.md",
"actual": [
196972,
"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c"
],
"expected": [
196972,
"d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c"
],
"pass": true
},
{
"name": "bound evidence exists: File52a_MT_secondary_cumulative_excerpt.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: File52a_MT_secondary_cumulative_excerpt.md",
"actual": [
1557,
"b504093aac4d1ec022641265516985361921f177728cf90196d0c8160a3fc4a3"
],
"expected": [
1557,
"b504093aac4d1ec022641265516985361921f177728cf90196d0c8160a3fc4a3"
],
"pass": true
},
{
"name": "bound evidence exists: File52c_latest.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: File52c_latest.md",
"actual": [
253860,
"a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530"
],
"expected": [
253860,
"a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530"
],
"pass": true
},
{
"name": "bound evidence exists: File53.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: File53.md",
"actual": [
74403,
"9f0e41022cab59a43c090c98224e55fe45e622a15e094dacad6721bea0aee8f3"
],
"expected": [
74403,
"9f0e41022cab59a43c090c98224e55fe45e622a15e094dacad6721bea0aee8f3"
],
"pass": true
},
{
"name": "bound evidence exists: File60.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: File60.md",
"actual": [
94902,
"12a48221b7fdcdcd4ce1b9e169ced8456f291b85f1b453ff3d33de210c64c165"
],
"expected": [
94902,
"12a48221b7fdcdcd4ce1b9e169ced8456f291b85f1b453ff3d33de210c64c165"
],
"pass": true
},
{
"name": "bound evidence exists: File63.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: File63.md",
"actual": [
179378,
"180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35"
],
"expected": [
179378,
"180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35"
],
"pass": true
},
{
"name": "bound evidence exists: Moses_LXX_native_complete_path.json",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: Moses_LXX_native_complete_path.json",
"actual": [
3839,
"349e15040eb75bcb325bb2c83865a847266e0b60a265da53410dc040515fd403"
],
"expected": [
3839,
"349e15040eb75bcb325bb2c83865a847266e0b60a265da53410dc040515fd403"
],
"pass": true
},
{
"name": "bound evidence exists: Reader_before.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: Reader_before.md",
"actual": [
64192,
"4d136569b51ff5d76d3141ca0b7e979256d49e67f1995e9b771b95e4334c1104"
],
"expected": [
64192,
"4d136569b51ff5d76d3141ca0b7e979256d49e67f1995e9b771b95e4334c1104"
],
"pass": true
},
{
"name": "bound evidence exists: Strategy.md",
"actual": true,
"expected": true,
"pass": true
},
{
"name": "bound source bytes and SHA: Strategy.md",
"actual": [
29743,
"9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476"
],
"expected": [
29743,
"9c9aa357f5483b3af1dbb5f0025ee514fa28160576a037be03037aa49bf01476"
],
"pass": true
}
]
}
Evidence
babylonian root verification.json
Linked sources and evidence
Edition and provenance
babylonian_root_verification.json
SHA-256 dd4420ed2e2ae02140043b4275acaa85aaeaae88d0ea663c4308aa50d914df50
C480–C1634/Research_Cycles/C1483_C1582/c1483_c1582/agents/babylonian_root_verification.json