{"id": "c480", "title": "C480 — 490d C480 — Complete 1150 Source Grammar and Fixed-E Selection", "filename": "490d_C480_Complete_1150_Source_Grammar_and_Fixed_E_Selection_20260925.md", "role": "Research action", "step": 480, "sha256": "7864fa4fe56e9b2c5f3f6511922fd6a275d7279efd0e7765244aa56db3e49b2f", "bytes": 12370, "origins": ["C480–C1634/Research_Cycles/C0480_Bridge/490d_C480_Complete_1150_Source_Grammar_and_Fixed_E_Selection_20260925.md", "C480–C1634/Research_Cycles/C0480_Bridge/490d_C480_Complete_1150_Source_Grammar_and_Fixed_E_Selection_20260925.md"], "download": "/sources/7864fa4fe56e9b2c5f3f6511922fd6a275d7279efd0e7765244aa56db3e49b2f.md", "format": "md", "derived": false, "tags": ["Regular", "Inverse", "Mirror / 529"], "excerpt": "490d C480 — Complete 1150 Source Grammar and Fixed-E Selection\n\n25 September 2026. One authorized bounded step after C479. C480 complete; C481 unexecuted.\n\nThe entire frozen 51-coordinate/101-label 1150 interval inventory reduces to four disjoint source/context templates: 24 + 24 + 2 + 1 coordinate pairs. Its two large", "content": "# 490d C480 — Complete 1150 Source Grammar and Fixed-E Selection\n\n25 September 2026. One authorized bounded step after C479. **C480 complete; C481 unexecuted.**\n\nThe entire frozen **51-coordinate/101-label 1150 interval inventory reduces to four disjoint source/context templates: 24 + 24 + 2 + 1 coordinate pairs.** Its two large families share the equation **500 + 650 = 1150**. The three exceptional pairs follow two different, exactly specified context equations. Every extra label is a qualified SP/LXX coordinate alias; no additional role alias or unexplained residue remains.\n\nThis supplies the missing input grammar for C470's three admitted expansions. Two belong to the matched Shem-death/Flood-start family; one belongs to the Noah-death/Flood-close exception. The other families have no complete expansion under the existing eight-pivot menu. **The previously established unique complete 1058 → 1150 → 1250 ladder remains unchanged.**\n\n## 1. Domain and notation\n\nThe calculation retains C286's 528 source-labelled Noah/Shem/Flood records at 373 BC coordinates. Use the context tuple\n\n\\[\nq=(g,c,t,f),\\qquad g\\in\\{1,2,3\\},\\quad c,t,f\\in\\{0,1\\},\n\\]\n\nand the source-coordinate accounting\n\n\\[\ns(q)=2(g-1)+130c+60t+215f.\n\\]\n\nHere `c` records the existing regular Cainan state, `t` the Terah +60 state, and `f` the full-430/+215 comparison state. There are 24 contexts. For MT and SP, `c=1` is the declared Cainan insertion. For LXX, `c=1` is native ON and `c=0` is theoretical removal. Equal normalized flags do not give the traditions identical native status.\n\nEach source coordinate equals its role baseline plus `s(q)`. The six MT baselines at G1/C0/T0/F0 are Noah birth 2841, Shem birth 2341, Flood start 2241, Flood close 2240, Noah death 1891 and Shem death 1741. SP primary and normalized LXX counterparts add 650. SP Noah/Shem companions subtract one; Flood close is independently start minus one. These are inherited record formulas, not newly admitted chronological operators.\n\n“Lower/upper” orders the BC numbers, not forward historical time. A displayed BC base `b` retains the inherited paired label `(b+1)t/bn BC`. E is evaluated on pair centers with the source phase display retained; no literal pointwise dilation of seasonal components is asserted. The global January-AD1 Mirror and January-AD2 local junction remain unchanged; there is no civil year zero.\n\n## 2. Four disjoint templates\n\nThe letters below are **C480's 1150 classes**; C472's 1250 classes have their own labels.\n\n| Class | Lower → upper source roles | Context rule | Coordinates | Label pairs |\n|---|---|---|---:|---:|\n| A | MT Shem death → SP/LXX Flood start | Same `q` | 24 | 48 |\n| B | MT Shem birth → SP-primary/LXX Noah birth | Same `q` | 24 | 48 |\n| C | MT Noah death → SP/LXX Flood close | `(3,c,1,0) → (1,c,0,1)` | 2 | 4 |\n| D | MT Flood start → SP-companion Shem birth | `(3,0,0,0) → (1,1,1,1)` | 1 | 1 |\n| **Total** | | | **51** | **101** |\n\nThe coordinate formulas are:\n\n\\[\n\\begin{aligned}\nA(q)&=(1741+s(q),\\ 2891+s(q)),\\\\\nB(q)&=(2341+s(q),\\ 3491+s(q)),\\\\\nC(c)&=(1955+130c,\\ 3105+130c),\\\\\nD&=(2245,\\ 3395).\n\\end{aligned}\n\\]\n\nThus the three exceptional pairs are **1955/3105, 2085/3235 and 2245/3395**. They are outside both large coordinate families; they are not additional labels at core coordinates.\n\nThe source equations are:\n\n| Class | Exact decomposition of 1150 |\n|---|---|\n| A | `500 + 650` |\n| B | `500 + 650` |\n| C | `350 + 650 + 215 − 60 − 4 − 1` |\n| D | `750 + 130 + 60 + 215 − 4 − 1` |\n\nIn C, 350 is Noah death back to Flood start in the normalized role comparison; the last −1 selects the Flood closing boundary. In D, 750 is the normalized MT-Flood-start/SP-primary-Shem-birth gap, and the last −1 selects the SP Shem companion. These two one-year terms belong to different source mechanisms. Neither creates an MT or LXX person companion.\n\nAt matching contexts, **B = A + 600 at both endpoints**: Shem death → birth contributes 600 at the lower endpoint, and Flood start → Noah birth contributes 600 at the upper endpoint. This is a correspondence between existing source roles. It is not a new translation operator or a warrant to transfer the fixed E pivots.\n\n### Completeness and aliases\n\nFor any ordered pair of the 22 source-role types, write the difference as\n\n\\[\n\\beta_{\\rm upper}-\\beta_{\\rm lower}\n+2\\Delta g+130\\Delta c+60\\Delta t+215\\Delta f=1150.\n\\]\n\nThe allowed differences are `Δg ∈ {−2,−1,0,1,2}` and `Δc,Δt,Δf ∈ {−1,0,1}`. Solving all **65,340 finite role/difference combinations** yields exactly seven signatures: two tradition-labelled forms each for A, B and C, and one for D. Instantiating their permitted contexts produces exactly the frozen 101 record pairs. A separate direct comparison of the 528 records agrees.\n\nAll 50 coordinate pairs in A–C have one MT lower record and two upper records, SP and LXX, with the same role and normalized context. D has one label pair. Hence **101 = 51 + 50**, with the additional 50 labels preserved explicitly. There are no cross-role or cross-context aliases inside this 1150 inventory. This is a finite completeness result for the declared register, not a claim about all repository dates or independent historical witnesses.\n\n## 3. Why only three fixed-E expansions survive\n\nRetain exactly\n\n\\[\nE_h(x)=\\frac{25x-2h}{23},\\qquad\nh\\in\\{2756,2758,2816,2818,3620,3622,3680,3682\\}.\n\\]\n\nSince `1150 = 50×23`, both endpoints are integral precisely when **x ≡ h (mod 23)**. Every trial has output width `1150×25/23 = 1250`; source admission still requires both output coordinates in the frozen register.\n\n| Input class | Trials | Fractional | Integral, neither sourced | Lower only | Upper only | Both sourced |\n|---|---:|---:|---:|---:|---:|---:|\n| A | 192 | 185 | 4 | 0 | 1 | **2** |\n| B | 192 | 184 | 4 | 4 | 0 | **0** |\n| C | 16 | 15 | 0 | 0 | 0 | **1** |\n| D | 8 | 8 | 0 | 0 | 0 | **0** |\n| **Total** | **408** | **392** | **8** | **4** | **1** | **3** |\n\nThe complete integer-output ledger is retained here so the 13 failures remain inspectable. All missing-output statements are relative to the 373-coordinate register.\n\n| Class | Input pair | Pivot | Output pair | Source result |\n|---|---|---:|---|---|\n| A | 1803/2953 | 3620 | 1645/2895 | Upper only |\n| A | 1805/2955 | 3622 | 1647/2897 | Neither |\n| A | 1873/3023 | 2816 | 1791/3041 | Neither |\n| A | 1875/3025 | 2818 | 1793/3043 | Neither |\n| C | 1955/3105 | 3680 | 1805/3055 | **Both** |\n| A | 2020/3170 | 2756 | 1956/3206 | **Both** |\n| A | 2148/3298 | 3620 | 2020/3270 | **Both** |\n| A | 2150/3300 | 3622 | 2022/3272 | Neither |\n| B | 2401/3551 | 3620 | 2295/3545 | Neither |\n| B | 2403/3553 | 3622 | 2297/3547 | Neither |\n| B | 2471/3621 | 2816 | 2441/3691 | Neither |\n| B | 2473/3623 | 2818 | 2443/3693 | Neither |\n| B | 2618/3768 | 2756 | 2606/3856 | Lower only |\n| B | 2620/3770 | 2758 | 2608/3858 | Lower only |\n| B | 2746/3896 | 3620 | 2670/3920 | Lower only |\n| B | 2748/3898 | 3622 | 2672/3922 | Lower only |\n\nIn C, the two lower residues are 0 and 15. Only 1955, residue 0, has a matching fixed pivot, 3680. D's lower residue is 14, absent from the pivot menu, so its eight trials all fail integrality. A and B pass integrality seven and eight times respectively; actual endpoint support then distinguishes their results. An isolated source match, including a coordinate with several role labels, does not supply the missing endpoint.\n\n## 4. Source meaning and ancestry of the three successes\n\nAll three outputs belong to C472's matched MT-Shem-death/SP-primary-or-LXX-Shem-birth class, with width **600 + 650 = 1250**. Each output has `c=0`; its LXX label therefore remains theoretical OFF.\n\n| Input class/pair | Pivot | Output pair | Endpoint changes | Source explanation |\n|---|---:|---|---|---|\n| C: 1955/3105 | 3680 | 1805/3055 | −150 / −50 | Lower: MT Noah death → Shem death, same context. Upper: Flood close → Shem birth `+101`, plus Gear `+4`, Terah `+60`, sojourn `−215`. |\n| A: 2020/3170 | 2756 | 1956/3206 | −64 / +36 | Common context change `−60−4`; upper Flood start → Shem birth adds 100. |\n| A: 2148/3298 | 3620 | 2020/3270 | −128 / −28 | Common context change `−130+2`; upper Flood start → Shem birth adds 100. |\n\nFor the two A cases, input contexts `(3,0,1,1)` and `(2,1,1,1)` become output contexts `(1,0,0,1)` and `(3,0,1,1)`. These are exact comparisons of existing source states, not successive literal events in an unchanged biography. Pivots 3620 and 3680 are specifically SP-companion Noah births. Pivot 2756 is SP-primary or coordinate-equal LXX-OFF Noah death; the SP primary death retains its inclusive/harmonic qualification.\n\nThe inverse test is diagnostic, not admission of inverse E as a forward operator. A predecessor under existing first pivot `p` is `(23m+2p)/25`, integral precisely when **p ≡ m (mod 25)**.\n\n| 1150 input | Integer 2K predecessor under existing menu | Result |\n|---|---|---|\n| 1955/3105 | 2093/3151 under 3680 | Both predecessor coordinates absent |\n| 2020/3170 | 2148/3206 under 3620 | **Complete sourced predecessor** |\n| 2148/3298 | None; lower residue 23 is absent from the pivot residues modulo 25 | Integrality fails at all eight pivots |\n\nConsequently the complete interval ladder remains\n\n\\[\n(2148,3206)\\xrightarrow{E_{3620}}(2020,3170)\n\\xrightarrow{E_{2756}}(1956,3206),\n\\qquad 1058\\to1150\\to1250.\n\\]\n\nC480 supplies its complete 1150 input-family setting. It does not claim another discovery of the ladder, reopen the missing predecessors, or deny the separately qualified held-Noah ladders outside the active eight-pivot menu.\n\n## 5. Verification, continuity and limits\n\n**717 calculation checks and 52 source/dependency authentication checks pass.** Exact rational evaluation reproduces all 408 C470 trial records and all admitted endpoint/pivot indices and ancestry records. The alternative role/difference construction generates the same 101 labels. Reverse recovery of pivots from the frozen 1150 and 1250 source inventories reproduces exactly the same three expansions using integer arithmetic. A fresh replay reproduces the main result files byte for byte.\n\nThese are computations and cross-checks by the same root agent; no independent-agent review or historical-design inference is claimed. The role/difference proof is complete within the declared finite grid. It is not a source prescription for the combined comparisons.\n\nDependencies: C286 source register; C450 fixed pivots; C470 full 1150 inventory and trials; C471 role/ancestry bindings; C472 1250 grammar; C479 certificate, checkpoint, synthesis and proposed next step. File_18 and File_09 retain their controlling hashes. File_46 L3, lines 117–133, supplies the 25/23 rule; the earlier corrected excerpt issue remains settled. The C265 controls and frozen C127 graph are preserved with the predecessor certificate chain.\n\nNo canonical file, graph, date, pivot, phase, operator menu or global axis changes. Regular Gears remain Noah/Shem/Flood only; Arphaxad-forward remains fixed within its held frame. SP person companions and ordinary Flood boundaries stay distinct. Both 500/100 and 502/98 bindings remain valid. Mirror/529 remains the focus: K=529, E=25/23, P=70/69; J=300/299 remains File_02's gap conversion. The two primers remain quarantined. Both corrected LXX8464 observations and the SKL appendix remain awareness items without redirecting this step. Capture now; canonize later.\n\n## Best next bounded step\n\n**C481, proposed and unexecuted:** Compare the completed 1058, 1150 and 1250 source templates as a finite typed transition system for the existing fixed-E arrows. Test which context and source-identity distinctions must remain for template-level composition to agree with the actual sourced interval paths; explicitly prevent an arrow entering one member of a family from being composed with an arrow leaving a different member merely because the family name agrees. Use the existing inventories and fixed menu only.\n\nThe new input grammar makes this a bounded structural question about composition, rather than another date search. C426's 1058 classes and C472's 1250 classes have coordinate aliases, whereas the four C480 coordinate families are disjoint. A valid reduction must preserve those differences and the already established unique complete ladder. **High is sufficient.**\n", "evidenceLinks": [{"id": "d-18e8c54ff1663fb1", "title": "File 46"}, {"id": "d-68301ab760bfbe2e", "title": "File 18"}, {"id": "d-45851004c5864229", "title": "File 09"}, {"id": "d-24203a4c3b282f9b", "title": "File 02"}]}