Independent review of C1151–C1170
PASS: 38/38 checks. No substantive correction required.
The review compared all 28 adopted rows against the frozen packet and current File18 text, verified every bound model artifact, read the 20 execution scripts and journal findings, and rebuilt the principal matrices independently using exact fractions. No numbered action was executed and no prior artifact was changed.
| Area | Independent result |
|---|---|
| Source packet | Exact 28-row adoption; SP official Terah145; native LXX Cainan; corrected LXX339/339/330; remainder calculated from selected b and L. All literal locators and source hashes agree. |
| Row operations | The two compatible-change columns have rank2. All18 MT→SP/LXX common-row changes equal the source differences, with the exceptional rows visible. |
| Amplitude model | The complete36-output matrix reconstructed from named supports matches root coefficient by coefficient. Its rank is3; u=100, t=60 and a=27 reproduce every source change. The three selected local observations have determinant−1. |
| Projection visibility | Regular, SP lifespan and LXX lifespan ranks are1/1/3. The regular kernel consists of the t and a directions. These are claims about the held-support difference model. |
| Totals | The exact rows are(13/2,0,0), (0,−2,0), (4,0,2), yielding650,−120,454. The life-only rank is2 with kernel(−1/2,0,1). Together the rows have rank3 and determinant−26. |
| Source support | Swapping27/40 retains the totals and begettings but changes the lives and internal cumulative field. The alternative is correctly labelled a diagnostic, not an admitted chronology. |
| Early and late blocks | The early12-output block has rank5 and regenerates all six b/L pairs. The late18-output block has rank7 and regenerates all nine pairs. The three late R100 intermediate rows are the actual SP rows; A100 reaches the actual LXX rows. |
| SP→LXX edge | The complete difference vector is0,27,27,100,100,100,100,60,60. Its disjoint support counts are4/2/2, with rank3 and total574. |
| Complete cumulative field | Independent suffix sums give574,574,547,520,420,320,220,120,60. Rank remains3; finite differences recover every local life change. The field agrees with the frozen LXX-OFF/SP source reconstruction. |
| Native joint model | The independently rebuilt56×21 matrix matches every root coefficient and has rank21. All56 b/L outputs equal the28 source rows. Native Cainan copies Shelah numerically while retaining a distinct named position. |
| Early relation | The one constraint is L_Arphaxad−b_Arphaxad=L_Shelah−b_Shelah. Independent elimination gives a56×20 model of rank20. This holds the relation without independently fixing403. |
The interpretation remains appropriately conditional: the baseline18 values, source masks, three amplitudes, state choices and insertion structure have not disappeared from the description cost. Triangle closure is identified as forced subtraction. The factorization is mathematical and source-realized; historical transmission order, statistical independence and global minimality are not claimed.
Two wording controls should remain visible in later prose. First, the common full birth path and574 difference refer to Cainan-matched/common-row comparisons; native LXX retains its additional130/460 row. C1164 and C1166 provide that scope. Second, C1160's JSON key birth_gap actually stores the difference between begetting ages,5. Its written finding correctly says “begetting difference”; do not relabel it a regular birth-to-birth interval.
The JSON stores every check, artifact/script binding, reviewed record hash and the retained scope notes. These two review files are new and frozen after delivery.