Evidence

final numeric consistency.json

Download source fileOpen in research workspace
{
  "review": "Focused cross-document numeric and scope consistency audit for root C1123",
  "created_utc": "2026-09-28T04:38:40.059237+00:00",
  "status": "PASS",
  "input_bindings": {
    "manuscript": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/deliverables/review/Integrated_Draft_v2.md",
      "sha256": "bbce2e599ad02fc8cc1e8a897d057b07ca6da433498b2d800580e5be2e10da7c",
      "bytes": 62548
    },
    "technical": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/deliverables/490d_Chronological_Families_Technical_Companion_C1131.md",
      "sha256": "1f64b7b2ce474653cc3ca225332c13b9a545b5f86aabc9d3f9965c429274041e",
      "bytes": 15066
    },
    "primitive": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/deliverables/Primitive_Data_Register_C1131.json",
      "sha256": "82098ab7be4ca54ea653bec57029f7298c3aa23ba74325362e534607b918e9c5",
      "bytes": 2109
    },
    "constraints": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/deliverables/Constraint_Ledger_C1131.json",
      "sha256": "5b99e0fb9d14394592b74cd2fd2d5919e5837d576d2f97ed86a38d7a4ec6a71b",
      "bytes": 2082
    },
    "sp_inputs": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/sp_cap_inputs.json",
      "sha256": "553487c0680d71a577b3242d192ecf33a693607e4cc9ed944e5693ad9da0b2b4",
      "bytes": 648
    },
    "sp_ledger": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/sp_cap_complete_ledger.json",
      "sha256": "cfa238448c97135ad4916ba5b72089d6c693bb0a162e9b35d59c2ee3213e7491",
      "bytes": 1805
    },
    "sp_rounded": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/sp_cap_rounded_counts.json",
      "sha256": "ec28f7907b254a793adc02ef6124384b9be3e2f6bf7b3ce347bd2708b35ae779",
      "bytes": 332
    },
    "junction": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/junction_source_packet.json",
      "sha256": "0836c9e165e828632d014a39a6993765e6abf7f528fbf81b630f8898c530b2ca",
      "bytes": 6424
    },
    "continuation": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/junction_continuation_correction.json",
      "sha256": "b745187dcd146e779fc16b5cb7cf7b1d16a14832cb28db546fb566e4934af9ce",
      "bytes": 405
    },
    "completed_inputs": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/completed_path_inputs.json",
      "sha256": "f702d3eea4e7136c2e2f808542a36a506b339dc05811db4e29d8bc62716769fc",
      "bytes": 515
    },
    "prefixes": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/completed_path_prefix_field.json",
      "sha256": "c98eb407ba3004a21db63eb3b15047d068852f258f3c057c20f80431d6650339",
      "bytes": 1594
    },
    "branch": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/cumulative_branch_condition.json",
      "sha256": "3f78df424cb42b90e957a9442344a88de8b55ec16066738f53b2274a6e0d4c70",
      "bytes": 308
    },
    "key_basis": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/key_calibration_basis.json",
      "sha256": "0cd31da8f6cd69b1b9a7f33ef4fc1994b80e977c2715a19b08cf9043e76d1155",
      "bytes": 365
    },
    "key_limits": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/key_constraint_ledger.json",
      "sha256": "3bd48f32224cc11b72fa175389b1c6625c0a1c26ad6effa31c77c949548410f0",
      "bytes": 854
    },
    "retained_matrix": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/retained_part_measurement.json",
      "sha256": "4bd02f25d95fef51c02d965da796d0c3e1211b02609383f231c7fb1093e8e1d2",
      "bytes": 231
    },
    "retained_field": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/retained_part_complete_field.json",
      "sha256": "191c8be002ec5b6904324b1a6bd626f3018146fcd29bb8808ee47ae74366c592",
      "bytes": 523
    },
    "covenant_inputs": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/covenant_source_inputs.json",
      "sha256": "5456be384572ef3f872ecd3dfdf4250dc1bc52866b79161c1d8efb12782c918e",
      "bytes": 302
    },
    "covenant_basis": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/covenant_claim_basis.json",
      "sha256": "813a015778b6da7bd56c32e93d1b37f4a6ff47ff75a18d511613542ebcc064e7",
      "bytes": 1791
    },
    "covenant_cumulative": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/covenant_cumulative_regenerated.json",
      "sha256": "730c70e013ee3447c79819c0558809ffc1ceb2b439420299b18a08eb3180b26e",
      "bytes": 950
    },
    "clutch_matrix": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/clutch_array_matrix.json",
      "sha256": "02719fa50150a121486da805c237833b19c2895369ac7dc5b6b28e7cd26d1143",
      "bytes": 5664
    },
    "covenant_dependency": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/covenant_clutch_dependency_ledger.json",
      "sha256": "70dfa45986df264addc448d03a556cf39773e4ba0a388eef591996048dc01394",
      "bytes": 907
    },
    "esau_joint": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/esau_joint_measurements.json",
      "sha256": "77a91c74e28f7c20eb73c4696dd716bf02c5dd479498c60cd93f15f7cde55c1c",
      "bytes": 1374
    },
    "esau_basis": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/esau_unimodular_basis.json",
      "sha256": "83d11fc1240a420d893079b9221cd8a96975e05026795c616070d13a21c51b38",
      "bytes": 1936
    },
    "esau_dependencies": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/esau_register_dependencies.json",
      "sha256": "1658eb029c42bda071a938add447c46dbea9c78fb4c8a3b2d8648cf153093697",
      "bytes": 2191
    },
    "tishri": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/tishri_template_constraints.json",
      "sha256": "16430ac88f87ad56effce7e7c70f99e43b409e6186654e16a69eae515a2fe051",
      "bytes": 730
    },
    "nt": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/nt_knot_constraints.json",
      "sha256": "001fa79df002ae5a1ff854edc0d95670ab13621b424713e9d46190626da9e136",
      "bytes": 216
    },
    "toledot": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/toledot_quotient.json",
      "sha256": "a6887ca0cf82c69fbc4f6b5da654f9475069a82148de7a8f3485b8cf4d43f4fa",
      "bytes": 536
    },
    "structural_source_packet": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/model/structural_transfer_inputs.json",
      "sha256": "0022bc33a7566c8d23204ae5ce88412fefd98a27c13835ff975222d2c60becbe",
      "bytes": 1062
    },
    "sp_review": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/evidence/INDEPENDENT_C953_C983.json",
      "sha256": "4454392c6ef2236c91929abca5a98386630130e44c6a028e75708cdb9b09f5fb",
      "bytes": 9389
    },
    "key_review": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/evidence/INDEPENDENT_C984_C1007.json",
      "sha256": "9002875f9e315517a7f7c8a167b0bfee6d4fef369acd910fce0ee615660bcb61",
      "bytes": 86944
    },
    "structural_review": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/evidence/INDEPENDENT_C1008_C1031.json",
      "sha256": "f4d16854aaaec302a66f05768ab695d3aa9c561e938a09019ea89cc07f37f542",
      "bytes": 6437
    },
    "covenant_review": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/evidence/INDEPENDENT_C1032_C1057.json",
      "sha256": "0526bf23958e55da7545966206c20f4d41fb4dbea034bfef10918602f037645e",
      "bytes": 2837
    },
    "interface_review": {
      "path": "/workspace/scratch/1b40da62dcbd/c932_c1131/evidence/INDEPENDENT_C1058_C1070.json",
      "sha256": "09d26bd5363595a8f0dd5e10dbc96c03b4ca8ca717e742d2ed933b8a806ca4d5",
      "bytes": 18131
    }
  },
  "method": "Read frozen manuscript and technical companion against primitive/constraint registers and previously independently verified exact model results; perform only focused rational/count sanity checks on the main quantities. No new families, routes, exhaustive search, web, source edits or journal writes.",
  "checks": [
    {
      "name": "primitive_register_matches_retained_local_packets",
      "pass": true,
      "finding": "Primitive SP and Covenant objects agree exactly with their adopted source-local input packets.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 324,
          "text": "## What remains supplied"
        },
        {
          "input": "technical",
          "line": 23,
          "text": "## 2. The complete SP cap and its conditional inverse"
        }
      ],
      "exact_evidence_inputs": [
        "primitive",
        "sp_inputs",
        "covenant_inputs",
        "constraints"
      ]
    },
    {
      "name": "SP_inclusive_601_and_complete_nine_outputs",
      "pass": true,
      "finding": "600 completed units plus inclusive1 gives601; all nine reported capped lives match the ledger.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 47,
          "text": "The Flood-cap relation can also be read backward, but only with its retained premises in view. Fix the Noah–Flood relation at 600 completed units, so that the inclusive contribution is 601. Lamech's capped life of 653 then leaves 52 completed units from his birth to Noah's. Methuselah's 720 exceeds Lamech's capacity by 67, recovering his begetting interval. Jared's 847 exceeds Methuselah's capacity by 127, recovering the combined Jared–Enoch interval."
        },
        {
          "input": "manuscript",
          "line": 41,
          "text": "For each birth B, the inclusive capacity to Flood start is B − 2893 + 1. The rule selects the smaller of that capacity and the baseline lifespan. Applied to all nine rows, it gives Adam 930, Seth 912, Enosh 905, Kenan 910, Mahalalel 895, Jared 847, Enoch 365, Methuselah 720, and Lamech 653. Six baseline lives remain unchanged; three meet the shared boundary. Their inclusive counts place the selected deaths at Flood start, while the other six deaths retain ordinary subtraction."
        },
        {
          "input": "technical",
          "line": 25,
          "text": "Retain completed begettings b=(130,105,90,70,65,62,65,67,52), Noah 3493, Flood-start distance 600 and inclusive adjustment 1. Lamech’s 52 completed years correspond to his 53rd counted-year station. Put k=601 and capacities c=Ub+k·1. The rule is"
        }
      ],
      "exact_evidence_inputs": [
        "sp_inputs",
        "sp_ledger"
      ]
    },
    {
      "name": "SP_488_reduction_and_separate_120",
      "pass": true,
      "finding": "The pre-Flood reductions sum488; the separately stated Eber/Terah120 makes608. Noah is excluded.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 43,
          "text": "The three reductions, 115, 249, and 124 relative to the MT ledger, generate every pre-Flood Cumulative displacement and sum to 488. Eber and official Terah supply a separate 120, producing the established 608 difference. The shared rule thus explains both the local changes and their accumulated effect; Noah remains outside the cap domain."
        },
        {
          "input": "technical",
          "line": 45,
          "text": "The minimum is the unique coordinatewise greatest vector satisfying both upper bounds. The reductions 115,249,124 sum 488; this is a conditional mechanism, not a historical direction claim. Ordinary and inclusive death tags must remain distinct. The three clipped rows terminate at Flood start 2893."
        }
      ],
      "exact_evidence_inputs": [
        "sp_inputs",
        "sp_ledger",
        "sp_review"
      ],
      "scope": "The additional120 is inherited source comparison, not another cap output."
    },
    {
      "name": "SP_conditional_backward_ages",
      "pass": true,
      "finding": "The active caps recover52,67 and combined127 only with601 held; retained Enoch65 gives Jared62.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 49,
          "text": "These three equations determine three quantities. They do not separate Jared from Enoch. When Enoch's separately supplied source value of 65 is held, Jared's interval is fixed at 62. Without that input, adding one unit to Jared's begetting age and subtracting one from Enoch's changes Enoch's birth while preserving all nine capped lifespan outputs. The earlier five begetting ages are likewise not determined by these three active capacities."
        },
        {
          "input": "technical",
          "line": 47,
          "text": "With capacities fixed, an output y<c recovers L=y, whereas y=c permits every L≥c. Original excess is lost. Holding the begetting chain, the clipped support alone permits 584≤k<716; the full total 7137 gives 5334+3k and hence 601. Holding k, the three late cap equations recover bL=52, bM=67 and bJ+bE=127. Their rank-three matrix has kernel (1,−1,0,0). Retaining Enoch 65 then recovers Jared 62; the first five begettings remain unconstrained by these equations."
        }
      ],
      "exact_evidence_inputs": [
        "sp_ledger",
        "sp_review"
      ],
      "scope": "Earlier five ages and baseline excess are not claimed recovered."
    },
    {
      "name": "SP_round_counts_do_not_replace_date_label_capacities",
      "pass": true,
      "finding": "Rounded clipped counts845,720,655 are distinguished from independently rounded date-label capacities846,716,651.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 65,
          "text": "The SP cap fits this account cleanly once its inclusive counts have been resolved. Nearest-five rounding preserves order, so rounding the smaller of a lifespan and its capacity gives the same result as taking the smaller of their rounded values. Across the complete nine-row SP field, the three clipped counts become 845, 720, and 655, and the same three rows remain strictly reduced."
        },
        {
          "input": "manuscript",
          "line": 67,
          "text": "Rounding the date labels first performs a different construction. For those same rows, separately rounded births and Flood start yield capacities of 846, 716, and 651. They do not replace the resolved count results. Relative to MT, the changed SP rows contribute rounding residual differences of zero, minus one, and plus four. Their combined plus three explains the established Cumulative comparison changing from minus 608 to minus 605. The connection rests on the source counts and their residuals, not on independently rounding final dates."
        },
        {
          "input": "technical",
          "line": 49,
          "text": "Nearest-five count rounding commutes with the minimum because it is monotone. Rounding date labels first need not reproduce rounded counts. Sources: File18 §§3.1,3.1.3; File51a §§1–2 rounding policy; C953–C970,C978–C983."
        }
      ],
      "exact_evidence_inputs": [
        "sp_rounded",
        "sp_review"
      ]
    },
    {
      "name": "junction_selected_actual_and_rounded_roles",
      "pass": true,
      "finding": "Rounded14006/4106 and selected Actual14004/4114 have gaps9900/9890 and the same12026 weighted coordinate; displacement direction is Rounded-to-Actual.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 84,
          "text": "The Actual and Rounded families can be compared precisely when each date retains its source role. For the present Creation bridge, the selected Actual completion endpoints are 14004 BC in cumulative chronology and 4114 BC in regular chronology. Their Rounded companions are 14006 and 4106 BC. The respective gaps are therefore 9890 and 9900 years. These figures describe two related, explicitly selected comparisons."
        },
        {
          "input": "manuscript",
          "line": 114,
          "text": "The selected Rounded-to-Actual displacement gives the same weight from another direction: cumulative −2 and regular +8 require a cumulative coefficient 4/5 for conservation. Once the source values and operations are fixed, these matching coefficients express their compatibility. The weight is a derived relation, so repeating it in another formula does not supply an additional independent premise."
        },
        {
          "input": "technical",
          "line": 65,
          "text": "At the selected junction, R=2700,C=12600 and I=10620 satisfy5I=4C+R. The4/5 weight also preserves the selected shifts ΔC=−2, ΔR=8; it is not another independent observation. Placement gives1406+10620=12026. Continuation specifically reverses the original tail1400→4100, adding2700 and yielding14726. Its cause is the tail rule and retained Nativity 6, not numerical substitution of the regular2700 trunk. Sources: File52c §§3.3–3.4,3.14; C932–C952, especially C952’s provenance correction."
        }
      ],
      "exact_evidence_inputs": [
        "primitive",
        "junction"
      ]
    },
    {
      "name": "primary_inverse_10620_and_two_branch_scope",
      "pass": true,
      "finding": "Regular2700 gives10620 in the declared register; cumulative12600 has10620/11610 branches and the source selects10620.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 96,
          "text": "An original total of 2700 forces U=10 and 10H+T=26. Those bounds permit only H=2 and T=6. The reversed total must therefore be 10620, placing its endpoint at 12026 BC when 1406 BC is held."
        },
        {
          "input": "manuscript",
          "line": 104,
          "text": "Let H, T, and U again be the sums of the two core digit columns. The total 12600 forces U=10 and 10H+T=125. The permitted digit bounds leave exactly two solutions: (12,5,10), giving reversed total 10620, and (11,15,10), giving 11610. The literal cores 917 and 343 select the first. Their units generate one carry into the tens column, but the resulting tens sum 6 generates no further carry. The other aggregate branch has a tens-to-hundreds carry and changes the reversed measurement by 990."
        },
        {
          "input": "technical",
          "line": 61,
          "text": "The bounds are H,V∈[2,18], T∈[0,18]. S=2700 forces (H,T,V)=(2,6,10), hence I=10620. S=12600 permits exactly (11,15,10) and(12,5,10), giving 11610 and10620. The source 917+343 selects the latter: after the units carry, no tens-to-hundreds carry occurs."
        }
      ],
      "exact_evidence_inputs": [
        "branch",
        "junction",
        "constraints"
      ],
      "scope": "The register theorem concerns two primary components with one trailing zero, not every completed-path component."
    },
    {
      "name": "continuation_retains_original_1400_tail_and_6BC",
      "pass": true,
      "finding": "14726 follows from the original1400 tail, its4100 one-pass value and anchor change1406→6; the equal regular2700 trunk is not substituted.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 116,
          "text": "The continuation to 14726 BC requires its own stated source leg. Conquest 1406 and Nativity 6 define an original 1400-year interval; one reversal gives 4100. Changing the held anchor from 1406 to 6 and adding that transformed leg shifts the earlier endpoint by 4100−1400=2700. Thus 12026 becomes 14726."
        },
        {
          "input": "technical",
          "line": 65,
          "text": "At the selected junction, R=2700,C=12600 and I=10620 satisfy5I=4C+R. The4/5 weight also preserves the selected shifts ΔC=−2, ΔR=8; it is not another independent observation. Placement gives1406+10620=12026. Continuation specifically reverses the original tail1400→4100, adding2700 and yielding14726. Its cause is the tail rule and retained Nativity 6, not numerical substitution of the regular2700 trunk. Sources: File52c §§3.3–3.4,3.14; C932–C952, especially C952’s provenance correction."
        }
      ],
      "exact_evidence_inputs": [
        "continuation",
        "completed_inputs",
        "constraints"
      ]
    },
    {
      "name": "all_four_completed_paths_14720_16000_16006",
      "pass": true,
      "finding": "All four admitted completed paths have duration14720; E gives16000 and held6BC gives endpoint16006BC.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 122,
          "text": "File_52c’s four admitted completed paths all have one-pass total 14720. The stated Priestly conversion gives 16000, and holding 6 BC places the completed endpoint at 16006 BC. Examining the entire paths reveals which further information that clean endpoint preserves."
        },
        {
          "input": "technical",
          "line": 69,
          "text": "File52c’s four original paths are 1400|1050|1650,1400|1650|1050,1400|1050|600|1050 and1400|3430|9170. After one pass, all total 14720. Their prefix residues modulo23 are respectively (6,2,0),(6,4,0),(6,2,4,0),(6,9,0). Thus E gives the integral outer duration 16000, while every proper source prefix remains fractional."
        }
      ],
      "exact_evidence_inputs": [
        "completed_inputs",
        "prefixes",
        "interface_review"
      ]
    },
    {
      "name": "all_proper_prefixes_remain_fractional",
      "pass": true,
      "finding": "Prefix residues are6,2,0;6,4,0;6,2,4,0;6,9,0. Only the final prefix is integral after E.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 124,
          "text": "The regular Flood path has transformed components 4100,5010,5610. Its successive prefix sums have residues 6,2,0 modulo 23. The regular Noah path gives 6,4,0; the finer Flood–Noah path gives 6,2,4,0; and the cumulative primary path gives 6,9,0. Consequently every proper prefix remains fractional after multiplication by 25/23, while the final sum becomes integral."
        },
        {
          "input": "technical",
          "line": 69,
          "text": "File52c’s four original paths are 1400|1050|1650,1400|1650|1050,1400|1050|600|1050 and1400|3430|9170. After one pass, all total 14720. Their prefix residues modulo23 are respectively (6,2,0),(6,4,0),(6,2,4,0),(6,9,0). Thus E gives the integral outer duration 16000, while every proper source prefix remains fractional."
        }
      ],
      "exact_evidence_inputs": [
        "prefixes",
        "interface_review"
      ],
      "scope": "Componentwise rational extension is conditional and does not admit a new historical chronology."
    },
    {
      "name": "two_branch_integrality_is_one_condition",
      "pass": true,
      "finding": "Within the fixed two-branch domain and retained tail, convergence and integral E completion select the same branch.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 108,
          "text": "Appending the already declared 1400 tail, whose one-pass value is 4100, gives completed durations 14720 or 15710. Only the first has an integral 25/23 completion. Within this precise two-branch domain, integral Priestly completion and agreement with the regular primary path select the same condition. Their agreement supplies a useful connection between modules, without becoming two independent observations."
        },
        {
          "input": "technical",
          "line": 71,
          "text": "With an integral held anchor, an integer boundary requires its prefix sum to be divisible by23. Only the final numerical cut qualifies here; source events remain recorded. Within the fixed two-branch register and retained 1400 tail, convergence and integral E completion select the same branch. They are equivalent checks in that domain."
        }
      ],
      "exact_evidence_inputs": [
        "branch",
        "interface_review",
        "constraints"
      ]
    },
    {
      "name": "Key_common_volume_and_rank_three",
      "pass": true,
      "finding": "The common-volume calibration is8400/23; the four calibration/completion rows have rank3 and one dependency including constants.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 159,
          "text": "Together with calendar calibration, the two inherited completion relations form four equations with three independent constraints. Solving them backward recovers the Keys, but supplies an equivalent description of established relationships, not independent evidence for their historical origin."
        },
        {
          "input": "technical",
          "line": 83,
          "text": "Calibration alone leaves K free. Retaining the inherited completion relations E−6P=−5 and E−26J=−25 gives the system with rows(336,−360,0),(336,0,−364),(1,−6,0),(1,0,−26), right side(0,0,−5,−25). Coefficient and augmented ranks are three; the left dependency is(7,−6,−420,84), including constants. Backward solution is an equivalent description of inherited identities, not independent historical derivation."
        }
      ],
      "exact_evidence_inputs": [
        "primitive",
        "key_basis",
        "key_review",
        "constraints"
      ]
    },
    {
      "name": "Key_selection_and_composition_remain_distinct",
      "pass": true,
      "finding": "Selection fractions1/6,3/13,1/26 compose as stated; whole conversion P×J is7000/6877. A computed fraction does not appoint a source cut.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 155,
          "text": "The general rule is simple. If fraction f receives factor k, the effective total factor is 1+f(k−1). This explains the selected fractions 1/6 and 1/26 without treating their source boundaries as interchangeable. The computed intermediate fraction 3/13 connects P to J, but calculation alone does not appoint a corresponding chronological cut."
        },
        {
          "input": "technical",
          "line": 85,
          "text": "Selection of fraction f under factor k gives A_f(k)=1+f(k−1), so A_g(A_f(k))=A_{gf}(k). Here E→P uses1/6, P→J uses computed3/13, and E→J uses1/26. Successive whole conversions instead give PJ=7000/6877. Only source-appointed subdivisions authorize selective chronological execution."
        }
      ],
      "exact_evidence_inputs": [
        "key_limits",
        "key_review"
      ]
    },
    {
      "name": "all_four_retained_part_families_rank_two",
      "pass": true,
      "finding": "The four retained-part families have totals690/700/750,720/730/780,750/760/810,12600/12740/13440 and relation5T0−6TP+TE=0. Two magnitudes are recovered.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 165,
          "text": "Two totals recover the components exactly: u=69(Tₚ−T₀), then v=T₀−u. The third total checks the same relationship rather than adding a third independent fact. This one construction covers all three 690-core brackets: with retained flanks of 0, 30 or 60, the native/P/E totals are respectively 690/700/750, 720/730/780 and 750/760/810."
        },
        {
          "input": "manuscript",
          "line": 167,
          "text": "Supplement A’s cumulative calendar-body family uses the same construction on a larger scale. Its converted upper segment is 9660 and its fixed lower segment is 2940. The resulting totals are 12600, 12740 and 13440. These source-defined components make the family intelligible without treating its three totals as unrelated coincidences."
        },
        {
          "input": "technical",
          "line": 97,
          "text": "with rank two, relation5T₀−6Tₚ+Tₑ=0, and inverse u=69(Tₚ−T₀), v=T₀−u. This recovers all four declared pairs (690,0),(690,30),(690,60),(9660,2940). It does not recover names, order, anchor or route authority. Supplement A §10.3, rather than File52c, controls the 9660|2940 family."
        }
      ],
      "exact_evidence_inputs": [
        "retained_matrix",
        "retained_field",
        "key_review",
        "constraints"
      ],
      "scope": "9660|2940 belongs to Supplement A §10.3. Names, order, anchor and route remain source information."
    },
    {
      "name": "whole_total_does_not_identify_internal_path",
      "pass": true,
      "finding": "The partial/uniform483 comparison has internal defect−35/6,+35/6 but the same490 total; universal coarsening requires constant factors inside each block.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 177,
          "text": "The 483 carrier makes the distinction concrete. Keeping 402.5 fixed and expanding the final 80.5 by E gives 402.5|87.5. Applying P uniformly gives 408⅓|81⅔. Both total 490, but their two components differ by −35/6 and +35/6. The total erases a real internal displacement."
        },
        {
          "input": "technical",
          "line": 105,
          "text": "holds exactly when factors are constant within each block. Necessity follows by testing each coordinate vector; sufficiency follows by factoring the common multiplier. Equality on one weighted input is weaker. The inherited 483 partial/uniform comparison has component defect (−35/6,+35/6), invisible in total 490. Sources: Supplement A §§1.2,10.3; File63 §1.3; C993–C997."
        }
      ],
      "exact_evidence_inputs": [
        "key_review",
        "key_limits"
      ]
    },
    {
      "name": "529_duration_ladder_does_not_supply_pivots",
      "pass": true,
      "finding": "Both documents distinguish the529→575→625 duration ladder from integer endpoint placement and source pivot authorization.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 195,
          "text": "Widths alone do not determine endpoints. Holding the same integer pivot for both stages requires each starting point’s offset from that pivot to be divisible by 529. With different pivots, the allowed residue changes. Two fields can therefore share a 529-multiple width while only one has integral endpoints under its declared pivots. The successful inherited small example and the fixed-12026 comparison exhibit exactly this distinction."
        },
        {
          "input": "technical",
          "line": 119,
          "text": "The complete File46 head field has indices (92,89,46,43,0), anchor 14006 and mesh 10. E preserves its indices on rational mesh 250/23. Integer-grid failure does not invalidate that exact rational comparison. Likewise 529n→575n→625n describes inherited duration widths without supplying compatible pivots. Sources: File46 §§2–3,6A.5; C998–C1003; inherited C505–C507."
        }
      ],
      "exact_evidence_inputs": [
        "key_review",
        "interface_review"
      ]
    },
    {
      "name": "Covenant_local_packet_and_event_status",
      "pass": true,
      "finding": "The local packet matches the register; Covenant2081/1866 is author-designated and offering2051/Isaac15 remains proposed.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 212,
          "text": "The packet remains local rather than a claim of ultimate historical independence. Covenant 2081 is author-designated; 1866 is its declared −215 placement. The offering comparison at 2051, with Isaac at proposed age 15, remains proposed. Genesis 22 does not state that age. These choices are retained as premises."
        },
        {
          "input": "technical",
          "line": 139,
          "text": "The source register also retains event status: the author-designated Covenant 2081 and proposed offering 2051/Isaac age 15 are different premises with different claim status. They are not interchangeable numerical normalizations. C1057 records the coupled model as 55 outputs of rank 19 in its declared local inputs. Neither this compression nor the clutch moves Moses’ historical birth: once the clutch is recomputed from its defining relation, the original cumulative anchor cancels from translated coordinates, whose placement is controlled by the regular Levi death and shared lifespans. Formal null directions illustrate information left unresolved by selected pattern equations; they do not constitute admitted alternative biographies."
        }
      ],
      "exact_evidence_inputs": [
        "primitive",
        "covenant_inputs",
        "covenant_dependency",
        "covenant_review"
      ]
    },
    {
      "name": "Covenant_claim_rank_is_model_conditional",
      "pass": true,
      "finding": "Nine selected Covenant claim rows have rank8; the coupled55-output model has rank19 in19 local inputs. Historical independence and global minimality are excluded.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 252,
          "text": "For example, the selected Covenant claim list has nine equations but only eight independent rows when its source quantities are treated as variable. One household-middle equality follows from the second 147 rail, equal lifespans, the twin death arms and Joseph’s double span. It adds no further condition after those are retained."
        },
        {
          "input": "manuscript",
          "line": 258,
          "text": "Accordingly, algebraic rank explains information requirements rather than probability or historical independence. The useful result is a dependency map: what is supplied, what is generated automatically, and which further joins require an additional source relationship."
        },
        {
          "input": "technical",
          "line": 139,
          "text": "The source register also retains event status: the author-designated Covenant 2081 and proposed offering 2051/Isaac age 15 are different premises with different claim status. They are not interchangeable numerical normalizations. C1057 records the coupled model as 55 outputs of rank 19 in its declared local inputs. Neither this compression nor the clutch moves Moses’ historical birth: once the clutch is recomputed from its defining relation, the original cumulative anchor cancels from translated coordinates, whose placement is controlled by the regular Levi death and shared lifespans. Formal null directions illustrate information left unresolved by selected pattern equations; they do not constitute admitted alternative biographies."
        }
      ],
      "exact_evidence_inputs": [
        "covenant_basis",
        "covenant_dependency",
        "covenant_review",
        "constraints"
      ]
    },
    {
      "name": "Covenant_one_common_Key_agreement",
      "pass": true,
      "finding": "299 and276 generate the same1566 transformed point iff13w=12u; this contributes one agreement condition.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 230,
          "text": "They agree precisely when 13w=12u. For the supplied paths, both transformed spans are 300 and both points are 1566. The larger gain on Joseph’s route absorbs the original 23-year separation between the deaths. The agreement does not make the two Keys interchangeable, and 1566 remains a transformed comparison rather than a newly appointed historical death."
        },
        {
          "input": "technical",
          "line": 127,
          "text": "For Covenant Q, u=Q−Levi-death and w=Q−Joseph-death, the landings Q−Ju and Q−Ew agree iff13w=12u. Source-generated 299 and276 give 1566. Introducing a common-point variable adds a definition plus one agreement condition, not two independent source constraints."
        }
      ],
      "exact_evidence_inputs": [
        "covenant_inputs",
        "covenant_review"
      ]
    },
    {
      "name": "Covenant_forced_joins_and_separate_147",
      "pass": true,
      "finding": "Kohath→Levi death is definitional; Levi→Levi birth follows shared137; Jacob→Isaac requires the additional147/A1 relation.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 240,
          "text": "The expression M+K+A is cumulative Kohath’s boundary. Thus d is exactly cumulative Kohath minus regular Levi death. Subtracting d must land there: this first agreement follows from the construction."
        },
        {
          "input": "manuscript",
          "line": 242,
          "text": "The adjacent Levi-birth agreement follows because both paths use Levi’s same lifespan. The next Jacob-to-Isaac agreement has a different status. It requires Isaac’s regular birth to lie one Jacob lifespan before Levi’s regular birth—the 147 condition already identified in the Covenant family."
        },
        {
          "input": "technical",
          "line": 141,
          "text": "These conditions distinguish a forced join from a source compatibility check. The first join follows from the definition of d; the second follows from the shared lifespan; the next requires the separately retained 147 relation. Counting all three as independent coincidences would discard their dependency structure."
        }
      ],
      "exact_evidence_inputs": [
        "covenant_cumulative",
        "covenant_dependency",
        "covenant_review",
        "constraints"
      ]
    },
    {
      "name": "Covenant_42_field_rank_and_exact_phase",
      "pass": true,
      "finding": "The unrestricted42-coordinate array has rank9/33 dependencies; h=2p uses7=2×3.5. Whole-year3 is separate.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 264,
          "text": "Before additional source equalities are imposed, seven row positions plus p and h give nine parameters. The 42 displayed coordinates therefore satisfy 33 independent linear relations. Seven original Nisan boundaries, one Aaron boundary and one half-clutch boundary suffice to recover the unrestricted field."
        },
        {
          "input": "manuscript",
          "line": 266,
          "text": "Additional source relations can reduce that description. The exact link h=2p, represented by 7=2×3.5, removes one freedom. The equality of Levi’s and Amram’s 137 lifespans removes another. These are relational constraints; separately fixing all their numerical values is a stronger specification. The whole-year phase 3 does not satisfy the same phase relation and retains its distinct display policy."
        },
        {
          "input": "technical",
          "line": 137,
          "text": "The 42-coordinate array X(i,j,r)=b_i+jp−rh, with seven rows, j∈{0,1},r∈{0,1,2}, has unrestricted rank nine. Constraints h=2p and the repeated 137 life each remove one freedom. Retain exact p=3.5 and one Nisan-derived clutch across phases; recomputing a separate full clutch would cancel that phase at the full-shift landing. Whole-year phase 3 is separate. The +215 all-coordinate transformation is formal covariance, not the admitted state change retaining terminal 1406. Sources: File60 §§2–6; File61 §§6–8; File62 §§1–2; C1032–C1057,C1070."
        }
      ],
      "exact_evidence_inputs": [
        "clutch_matrix",
        "covenant_inputs",
        "covenant_review"
      ]
    },
    {
      "name": "Covenant_phase_and_frame_scope_preserved",
      "pass": true,
      "finding": "Both texts retain one Nisan-derived clutch across phase states. Recomputing a separate full clutch cancels phase; all-coordinate+215 is formal covariance, not the admitted ancestral-state shift with terminal1406 retained.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 246,
          "text": "The source retains one Nisan-derived clutch across the Aaron phase. Recomputing a separate full clutch to the same landing would erase that phase displacement and would be a different construction."
        },
        {
          "input": "technical",
          "line": 137,
          "text": "The 42-coordinate array X(i,j,r)=b_i+jp−rh, with seven rows, j∈{0,1},r∈{0,1,2}, has unrestricted rank nine. Constraints h=2p and the repeated 137 life each remove one freedom. Retain exact p=3.5 and one Nisan-derived clutch across phases; recomputing a separate full clutch would cancel that phase at the full-shift landing. Whole-year phase 3 is separate. The +215 all-coordinate transformation is formal covariance, not the admitted state change retaining terminal 1406. Sources: File60 §§2–6; File61 §§6–8; File62 §§1–2; C1032–C1057,C1070."
        }
      ],
      "exact_evidence_inputs": [
        "covenant_review",
        "primitive"
      ],
      "scope": "Manuscript omits the diagnostic frame calculation rather than contradicting it; neither text relocates Moses historical birth."
    },
    {
      "name": "Esau_complete_register_ranks_and_integer_bases",
      "pass": true,
      "finding": "Both documents retain ranks8/9, nine measurements, determinants+1/−1, fourteen prefixes and five dependencies; nine free count coordinates and nonnegative source admissibility remain.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 285,
          "text": "The Esau reconstruction identifies two complete ways to encode the same nine source counts. One uses selected clean and female cumulative measurements with the grand total. The other uses the complete clean and unclean walks. Their measurement matrices have determinants +1 and −1, respectively. Consequently, each encoding has an integer inverse: every count is recovered by exact additions and subtractions, without fractional corrections."
        },
        {
          "input": "manuscript",
          "line": 289,
          "text": "Using every clean, female and unclean prefix gives fourteen measurements of rank nine. Five dependencies therefore follow from the measurement structure itself. Other equalities have a different status. The clean and unclean walks both reach 20 and 50, but through different animal rows; those agreements depend on the particular printed counts. Distinguishing structural dependencies from count-specific matches keeps the common grammar explanatory without multiplying the evidence supplied by equivalent descriptions."
        },
        {
          "input": "technical",
          "line": 145,
          "text": "**Esau.** Preserve the nine labelled counts and declared register orders. Six clean prefixes plus five female prefixes have rank eight; only male donkeys remain unmeasured. Adding total 550 gives rank nine. Six clean prefixes, female F3/F5 and the total form determinant +1 basis; clean plus unclean prefixes form determinant −1 basis. These are integral coordinate changes, not reduction of nine numerical premises. The fourteen-prefix field has five structural dependencies; source-specific 20/50 agreements are additional value equalities. Source: File58 §§13.1–13.4; C1009–C1013."
        }
      ],
      "exact_evidence_inputs": [
        "esau_joint",
        "esau_basis",
        "esau_dependencies",
        "structural_review",
        "constraints"
      ]
    },
    {
      "name": "Tishri_templates_and_predicates_identify_seven_amplitudes",
      "pass": true,
      "finding": "Seven source templates are retained; four margins have rank4; two festival predicates and daily44 give rank7. Removing daily44 leaves one freedom and removing the two equalities leaves two.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 295,
          "text": "The four margins then provide four independent equations for seven amplitudes. Three additional source conditions close the system: Trumpets, Atonement and Eighth Day have equal amplitudes, giving two equations, and the daily contribution is 44 lambs. These recover the entire seven-row ledger. Removing daily 44 restores a Daily/Sabbath exchange; removing the festival equalities restores two allocation freedoms. The premises therefore have identifiable jobs rather than appearing as an undifferentiated collection of assumptions."
        },
        {
          "input": "technical",
          "line": 147,
          "text": "**Tishri.** Seven retained ritual templates include Sukkot’s 70:14:98:7. Species margins (75,18,176,11) have rank four on seven amplitudes. Two festival-equality conditions and daily 44 raise rank to seven, recovering (44,6,1,1,1,1,1). Removing daily 44 returns one freedom; removing both equalities returns two. Total 189, seven days and decrement 1 force totals 30,…,24; fixed nonbull 17 gives bulls 13,…,7. Templates and decrement remain source inputs. Source: File58 §§2.2–3.2,7.1; C1014–C1016."
        }
      ],
      "exact_evidence_inputs": [
        "tishri",
        "structural_review"
      ],
      "scope": "Source templates, including70:14:98:7, and decrement/nonbull conditions remain inputs."
    },
    {
      "name": "NT_ratio_metric_placement_are_separate",
      "pass": true,
      "finding": "NT fork rank1 leaves w=69u;2450/35 supplies70, while3856/1406 co-registrations supply6BC/70 within the existing display.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 303,
          "text": "These two equations contain only one independent condition. Since E−1 is six times P−1, both reduce to w=69u. They explain the relative named positions while leaving the unit’s duration free. The separately supplied BJ span of 2450 years across 35 slots supplies the metric: u=70 and w=4830."
        },
        {
          "input": "manuscript",
          "line": 305,
          "text": "Placement requires additional source information. In the existing display, BJ Creation at 3856 BC and Conquest at 1406 BC lie 55 and 20 slots from the birth hinge. Together those co-registrations recover the same 70-year unit and the 6 BC hinge. This is conditional identification inside an already constructed schematic field. It supplies neither an independent historical derivation of the dates nor two new independent proofs of the metric. Preserving the source’s birth, event and carrier roles prevents a successful coordinate recovery from silently becoming a claim about a different dated object."
        },
        {
          "input": "technical",
          "line": 149,
          "text": "**NT metric.** Equations (P−1)w=u and(E−1)w=6u have rank one, kernel (69,1). Adding 35u=2450 fixes u=70,w=4830. Alternatively A+55u=3856 and A+20u=1406 have determinant −35 and recover A=6,u=70 within the already fitted display. File54 §6 controls the fork; §§8.6,13.2 control 2450/35. Also File43 §§2.1–2.3,3.4; C1019–C1022,C1070."
        }
      ],
      "exact_evidence_inputs": [
        "nt",
        "structural_review",
        "constraints"
      ],
      "scope": "The File54 fork citation is§6; metric citations are§§8.6,13.2. Birth/event/carrier roles remain distinct."
    },
    {
      "name": "Toledot_measure_recovery_does_not_restore_reflection",
      "pass": true,
      "finding": "Eleven occurrences form ten sections; Esau9/10 multiplicity restores Terah5|1|5 measure but fails reflection because the images3/2 remain distinct. Extra Adam/Noah grouping is diagnostic only.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 311,
          "text": "The difference arises from the chosen measure. Counting sections assigns one unit to the Esau section; counting occurrences assigns it two. Retaining the ten section labels with multiplicities 1, 1, 1, 1, 1, 1, 1, 1, 2, 1 recovers the eleven-occurrence total and the five-on-each-side balance around Terah. The source need not abandon either grouping to explain why the counts differ."
        },
        {
          "input": "manuscript",
          "line": 319,
          "text": "A formal repair would also group Adam and Noah, yielding nine classes. That calculation identifies the obstruction; the supplied source does not authorize the extra grouping. It is therefore excluded from the reconstructed literary object."
        },
        {
          "input": "technical",
          "line": 151,
          "text": "**Toledot and reflection.** A quotient q supports induced reflection R exactly when q(x)=q(y) implies q(Rx)=q(Ry). Identifying only occurrences 9,10 fails: R(i)=12−i sends them to distinct 3,2. Retained multiplicity restores eleven occurrences and Terah’s 5|1|5 measure, but not descended reflection. By contrast, reflection permutes the eleven seven-edge blocks of the primary NT 77-edge path. The AD 65–135 extension is excluded. Sources: File70 Appendix B.1; File43/File54 primary path; C1023–C1029."
        }
      ],
      "exact_evidence_inputs": [
        "toledot",
        "structural_review",
        "constraints"
      ]
    },
    {
      "name": "NT_coarsening_domain_excludes_extension",
      "pass": true,
      "finding": "The primary77-edge5326BC–AD65 field has eleven490 blocks and twelve selected boundaries; the AD65–135 extension is excluded in both documents.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 321,
          "text": "The primary NT path provides the positive comparison. Its 77 seventy-year intervals, from 5326 BC to AD 65, divide into eleven complete blocks of seven intervals. Reflection reverses the block order and preserves every selected boundary at indices 0, 7, …, 77. Each block represents 490 years, so the coarsening retains both the measure and the reflection. The separately displayed AD 65–135 extension is outside this primary path. These examples explain why retaining a total is weaker than retaining an action: source grouping, boundary selection and interval coarsening each require their own compatibility check."
        },
        {
          "input": "technical",
          "line": 151,
          "text": "**Toledot and reflection.** A quotient q supports induced reflection R exactly when q(x)=q(y) implies q(Rx)=q(Ry). Identifying only occurrences 9,10 fails: R(i)=12−i sends them to distinct 3,2. Retained multiplicity restores eleven occurrences and Terah’s 5|1|5 measure, but not descended reflection. By contrast, reflection permutes the eleven seven-edge blocks of the primary NT 77-edge path. The AD 65–135 extension is excluded. Sources: File70 Appendix B.1; File43/File54 primary path; C1023–C1029."
        }
      ],
      "exact_evidence_inputs": [
        "structural_review"
      ]
    },
    {
      "name": "no_second_decimal_inversion_or_upstream_transport",
      "pass": true,
      "finding": "The numerical claims reviewed apply one-pass reversal to original source components; ordinary matrix inverses are recovery formulas. SP remains native G2 with no upstream Gear transport.",
      "document_references": [
        {
          "input": "manuscript",
          "line": 18,
          "text": "| Rounded inverse | Original components, anchors and placeholder policy | Reverses each admitted original component once | The fixed register and carry branch explain the12026 junction |"
        },
        {
          "input": "technical",
          "line": 3,
          "text": "This reference consolidates the proved models through C1070. Every formula acts on a declared object: ordered source rows, resolved counts, digit registers, labelled coordinates or section occurrences. An algebraic inverse recovers only the information retained by its map. Rank counts concern the stated variable model; they are not counts of historically independent observations. E=25/23, P=70/69 and J=300/299 denote the Priestly, Prophetic and Enochian Keys. Rounded conventions follow latest File52c; no second decimal inversion is used."
        }
      ],
      "exact_evidence_inputs": [
        "completed_inputs",
        "sp_inputs",
        "primitive"
      ]
    },
    {
      "name": "all_bound_inputs_unchanged_during_audit",
      "pass": true,
      "changed_inputs": []
    }
  ],
  "check_count": 29,
  "passed_count": 29,
  "actual_contradictions": [],
  "noncontradictory_scope_notes": [
    "The companion states that it consolidates proved models through C1070; C1131 is the delivery-cycle label. This is compatible with the later manuscript integration/review work.",
    "Primary decimal-register conditions do not extend to1400 or600 components; the completed paths use the general placeholder-preserving rule in both deliverables.",
    "A comparison omitted from the shorter prose, such as all-coordinate formal215 covariance, is not treated as a conflicting source-state claim.",
    "This is a focused main-quantity consistency audit, not a repeated audit of every historical/source claim or copyedit."
  ],
  "files_modified": "Only this new prep/final_numeric_consistency.json report is written."
}

Linked sources and evidence

Edition and provenance

final_numeric_consistency.json

SHA-256 0790782224f61f6018082e35a50840df2a3e6ce3368e90024bd782b36478682b

C480–C1634/Research_Cycles/C0932_C1131/prep/final_numeric_consistency.json