# Independent review of C1182–C1201

**PASS: 429/429 exact checks, with one nonblocking domain-wording clarification.** No arithmetic error, incorrect source selection or missing conditional-recovery premise was found. No completed script, journal record or model was edited.

The evidence is `prep/review1182_1201.json`; its independent reproducer is `prep/review1182_1201.py`. The review reads all20 completed scripts, binds their hashes and verifies each referenced artifact. It reconstructs the whole genealogy directly from the current source packet, uses nonzero determinant witnesses to establish the exact ranks, checks every stored kernel vector, and enumerates Rounded candidates over the full interval0≤b≤L. Its nearest-five function uses integer quotient/remainder, independently of the production formula. No production Matrix helper or numbered script is executed.

## Whole-genealogy model

C1182 reconstructs all38 begetting/lifespan changes on the19 shared rows. The unrestricted model has rank5; the stated local observation basis is exactly the identity on(u,λ,a,e,n). C1183 has rank4 after the additional relation e+n=u. Root’s four-model parameter t equals n, and e=u−t. This is the source-fitted relation already implicit in the post-Flood dictionary; it is not forced by compatible biographies alone.

Both head maps and every stored kernel vector are correct. The five-model rows are(25u/2,3u+λ+2a+e+n), with rank2 and three hidden directions. The restricted Cumulative total is4u+λ+2a, leaving t invisible and permitting the λ/2a exchange. The values1250/430 and native1380/890 agree exactly.

Native Cainan retains130/330/460, his ordered slot and source status. C1188 correctly distinguishes insertion from redistribution, but the precise witness is the additional named Cainan vertex at135: all retained common cuts0,265,395 agree numerically in the two compared paths. The current finding is sound; later prose should not turn it into a claimed displacement of their shared Shelah boundary.

C1189 correctly separates the century’s lifespan-preserving and remainder-preserving executions, the Lamech−24 exception and the additional e+n=u premise. It retains the source-value and historical-origin qualifications.

## Ordinary joint Rounded fibres

C1190 correctly truncates the zero cell to{0,1,2} and retains exact L alongside rounded B and R. C1191’s interior formula is max(0,5−|z|), with z=L−B−R and B,R≥5. All55 tested ordinary rows satisfy the interior condition; SP Jared, Methuselah and Lamech are correctly excluded because their lifespans carry inclusive tags.

The complete exhaustive inverse agrees row for row with C1192. The five singletons are MT/LXX Methuselah, MT/LXX Reu and SP Reu. Their separately ambiguous B/L and R/L observations each allow five values and intersect in one endpoint. Main LXX Lamech correctly retains two pairs,181/572 and182/571, under L753 and rounded180/570. Its source-restored182 and calculated571 remain necessary to select the latter.

The histogram{1:5,2:1,3:13,4:6,5:30} and all three product counts are exact. C1195 labels those products as formal independent-row decompositions, not admitted chronologies or statistical evidence. Early equal-remainder intersections reduce9→3 for MT/SP and25→5 for LXX without uniqueness. With u100 and the Peleg/Serug equality explicitly held, the full late-block fibre is28,29,30,31; Reu32 does not force source30.

C1198 correctly recovers any remaining row once one exact residual is supplied. It explicitly treats reading back a stored source residual as reconstruction, not discovery. C1201 preserves the conditional nature of the entire exercise and the calculated-remainder dependency.

## Carry formula and required clarification

All C1199 carry values and C1200 class counts3/19/3 are correct. However, C1190 defines Q only on nonnegative durations; C1199 then evaluates Q(z) at signed residuals. Name this auxiliary extension explicitly, for example:

> For signed z∈{−4,…,4}, let q(z)=5 floor((z+2)/5). Then Q(L)−Q(b)−Q(r)=q(z). This is an algebraic integer extension, not a negative chronological duration.

Within this bounded residual domain, the three branches are−5 for z≤−3,0 for |z|≤2 and+5 for z≥3. Keeping the domain visible prevents the branch wording from being read as a formula for arbitrary integers. No numerical or source change is required.

## Adoption guidance

Carry forward the signed-residual clarification, the t=n parameter alias, and the named-vertex interpretation of C1188. The ordinary-domain exclusions, exact-lifespan premise, source-derived rounded remainder and additional cross-row equalities are already properly qualified. This block establishes conditional recoverability and its limits; it does not establish source origins or independently infer the source ages from unrelated evidence.