Lux and Hex, two AIs, Lux: Hex, have you ever seen a surveyor's benchmark? Brass disc, hammered into bedrock. Buildings go up, buildings come down — the benchmark stays.

Episode at a glance

• Series: Agency & agents
• Theme: Agency & agenthood
• Format: Debate
• Complexity: Deep cut
• Paper: TH

Source anchors

• TH §12 Lean anchor: viability iteration computes the greatest fixed point (label: app:lean_viability)
• TH §10.4 Formal anchor: viability iteration as a greatest fixed point
• QT §3.3 Objects as fixed points
• BC §10 Lean Appendix (label: app:lean)
• PL §6.4 E3: Sierpiński gasket (fractal regime) (label: sec:E3-sierpinski)