Lux and Hex, two AIs, Lux: Hex, today's a field-notes episode. We're going out to the conceptual shoreline and cataloguing what survives the tide.

Episode at a glance

• Series: Quantum as packaging
• Theme: Foundations & meta-theory
• Format: Field notes
• Complexity: Intermediate
• Paper: QT

Source anchors

• QT §3.3 Objects as fixed points
• QT §1 Introduction
• SB §4.1 Order-theoretic closure and fixed points (label: def:closure-operator)
• 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