Content stub — prose, diagrams, and Lean 4 exercises to be written.
This week covers: The Collatz 3n+1 conjecture reframed: a contact-geometric orbit. chRho-spectral.html (in queue). Spectral contraction argument.
Primary chapter references from book/: spectral-radius.html, spectral-radius-v2.html
-- dm³ 103 · Week 10 · Lean 4 Lab -- Operator: ρ (Spectral Radius · Collatz) -- TODO: fill in theorems and exercises -- stub example : True := trivial