← Session 36 — ii′-6-DL dog-leg + side bounds; Paper A review
All three layout issues fixed, plus two knock-on overflows found in the recompile. Master @ `9d74895`.
1. **Dependency chain (Appendix B)** — now a centered top-to-bottom table with downward arrows:
partial fractions ↓ S_f = Res₁ ↓ rectangle identity ↓ four side bounds ↓ `sfBoundProp` ↓ `lambda_pos_finite_height_closed`.
2. **B(n) display (Step 2)** — split at the relation with `split`: the first line carries `4F(T) + 4T[(2/3)Z₂(T) + 10.5 log(T+2) + 48]`, the second `+ 40M₀ + 2(e⁴+1)·7H(T) + 2·DL(n) + I_Maj(n) + 1`.
3. **N₁ display (§3 Theorem)** — the main line now reads `λ_n > 0 for all 1 ≤ n ≤ N₁ := (T₀−1)² ≈ 9.0×10²⁴`, with the exact integer `8 999 999 999 994 000 000 000 001` moved to a following inline clause ("with N₁ = … exactly") — fits the margins.
**Also fixed in the pass:** the verbatim signature's first line (4.5pt over) and the AI-statement declaration list (75pt over — the long unbreakable `\texttt` names got a forced break).
**Verified:** compiles clean, **11 pp**, zero undefined refs, and **zero overfull hboxes remaining**.
raw content_json (database row)
[{"type":"text","text":"All three layout issues fixed, plus two knock-on overflows found in the recompile. Master @ `9d74895`.\n\n1. **Dependency chain (Appendix B)** — now a centered top-to-bottom table with downward arrows:\n partial fractions ↓ S_f = Res₁ ↓ rectangle identity ↓ four side bounds ↓ `sfBoundProp` ↓ `lambda_pos_finite_height_closed`.\n\n2. **B(n) display (Step 2)** — split at the relation with `split`: the first line carries `4F(T) + 4T[(2/3)Z₂(T) + 10.5 log(T+2) + 48]`, the second `+ 40M₀ + 2(e⁴+1)·7H(T) + 2·DL(n) + I_Maj(n) + 1`.\n\n3. **N₁ display (§3 Theorem)** — the main line now reads `λ_n > 0 for all 1 ≤ n ≤ N₁ := (T₀−1)² ≈ 9.0×10²⁴`, with the exact integer `8 999 999 999 994 000 000 000 001` moved to a following inline clause (\"with N₁ = … exactly\") — fits the margins.\n\n**Also fixed in the pass:** the verbatim signature's first line (4.5pt over) and the AI-statement declaration list (75pt over — the long unbreakable `\\texttt` names got a forced break).\n\n**Verified:** compiles clean, **11 pp**, zero undefined refs, and **zero overfull hboxes remaining**."}]