Content stub — prose, diagrams, and Lean 4 exercises to be written.
This week covers: Each operator defined: U (unfolding), F (folding), K (kernel projection), C (contact lift). Composition rules.
Primary chapter references from book/: hub.html, chPI-recurrence.html
-- dm³ 101 · Week 02 · Lean 4 Lab -- Operator: G (Operator Chain) -- TODO: fill in theorems and exercises -- stub example : True := trivial