dm³ 101 · Week 03 · G Operator

Fixed-Point Iteration — G = U ∘ F ∘ K ∘ C

G as a single map. First iteration G¹. Convergence criterion. The embodiment threshold τ = 2 as destination.

dm³ 101 · Week 03 · Operator Chain

Course: dm³ 101 · Operator: G (Operator Chain) · Standard week

Content stub — prose, diagrams, and Lean 4 exercises to be written.

This week covers: G as a single map. First iteration G¹. Convergence criterion. The embodiment threshold τ = 2 as destination.

Primary chapter references from book/: hub.html, chPI-recurrence.html

-- dm³ 101 · Week 03 · Lean 4 Lab
-- Operator: G (Operator Chain)
-- TODO: fill in theorems and exercises

-- stub
example : True := trivial