Content stub — prose, diagrams, and Lean 4 exercises to be written.
This week covers: The η⁻ᵏ weighting scheme — why η, not geometric. Phase weights over contact forms. AXLE: first Lean 4 definitions.
Primary chapter references from book/: hub.html, chPI-recurrence.html
-- dm³ 101 · Week 04 · Lean 4 Lab -- Operator: G (Operator Chain) -- TODO: fill in theorems and exercises -- stub example : True := trivial