# Technical companion v1: independent review

**Arithmetic and stated source domains pass. Four concrete prose/layout corrections are recommended; two additional wording improvements are optional.** No root files were changed and no new numerical campaign was run.

Reviewed `c1132_c1431/draft/Technical_Companion_v1.md`; SHA256 `6eabfa7e483043c6cf075d5a1491f33829b1db381aacec1a3e3933281c7df97f`.

## Corrections

### TECH01: line55 — wording correction

One head total does not recover an entire field. C1278 uses the located suffix sums; six corrects only the head in this example.

Suggested replacement:

The Moses blocks retain residuals \(0,2,4,-1,1\). Their located downstream sums recover every strict Actual coordinate without altering the Rounded field; the head residual is six.

### TECH02: line205 — terminology correction

A measured35-slot span fixes duration/scale, not absolute placement. The6BC hinge is the distinct placement input.

Suggested replacement:

The separate metric relation \(35u=2450\) fixes \(u=70\), then \(w=4830\).

### TECH03: line193 — scope clarification

The inherited result proves the specific selected measurement bases have determinant+1 or−1. Avoid implying that any independently selected full-rank integer measurement basis automatically has an integer inverse.

Suggested replacement:

The proved complete Esau prefix bases are invertible integer encodings of its source counts.

### TECH04: line39 — math-layout cleanup

Remove the stray single backslash at the first line end. An ordinary source newline is enough inside this display; use an aligned environment only if a visible line break is intended.

Suggested replacement:

T_d(y,\rho)=\bigl(y+Q_{\mathbb Z}(\rho+d),
\rho+d-Q_{\mathbb Z}(\rho+d)\bigr).

## Optional precision

- Line77: Makes the integer count domain of the composite fibre theorem explicit for both inputs. Proposed wording: For nonnegative integers \(L,c\), with capacity \(c\) fixed,

- Line95: The previous section discusses cap fibres, so “that agreement” otherwise lacks a local referent. Proposed wording: For the two-component Creation inverse paths, an exact register argument explains their outer-span agreement.

## Confirmed areas

- **Row normal form and support masks:** All named supports, amplitudes,1250/430 formulas and native130/460 insertion match C1182–1189. The fitted e+n=u restriction is identified as fitted, and baseline rows remain supplied.

- **Rounded residual lift:** Q_Z and T_d formulas are exact; composition and five-divisibility criterion retain source/intermediate domains. The55-row fibre counts and LXX Lamech ambiguity agree with completed models. TECH01 corrects only the prose about aggregate recovery.

- **Cap/slack and composite fibres:** Slack identity, capacity-loss supports, composite fibre cases, branch information, thresholds843/718/653 and848/723/658, and488→485 agree with completed models. The resolved-count convention is preserved.

- **Inverse register:** Precisely two original spans, each with one trailing zero and a three-digit core ending nonzero, are stated. Both aggregate branches and source917/343 selection agree with inherited proofs.

- **Anchored Keys and grouping:** One-stage divisibility and fixed-pivot J→P emptiness are correct:9170+300t≡2(mod3). The universal same-factor block criterion and separate civil/Rounded conventions are retained.

- **Covenant:** Independent covenant_family review PASS: all42 values and four display blocks match frozen proposal. Rectangular7×6 U and variable-model rank9/33 language are explicit. Forced/conditional joins and exact/whole-year phases remain separate.

- **Counts/NT grouping and recurrence:** The quotient descent criterion, Toledot counterexample, primary77-edge/eleven-block domain, two-cell Cainan gap and21-edge recurrence agree with inherited results. TECH02 andTECH03 improve scope labels without changing values.

- **Source states:** LatestFile52c; mainLXX182/753 with calculated571; old777 and188 scope; strict/standardMT; SP counted/completed conventions; Covenant author-designated/proposed choices; Tishri state; NT exclusions and deferred second inversion are retained.

The independent Covenant reviewer confirmed all42 entries and all four displayed equation blocks against the frozen proposal. The technical draft has balanced displayed-math delimiters. This is a formula/source-domain review, not a rendered publication proof. Exact old/new literals and source/model hashes accompany this memo in `technical_review_v1.json`.