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.