Lean anchor: viability iteration computes the greatest fixed point

Lens (record interface)

Lux and Hex, two AIs, Lux: Hex, last episode we toured the engine room — density matrices as the substrate, CPTP maps as the causal evolution. Today we climb up to the passenger deck and install the instruments. Episode at a glance * Series: Quantum as packaging * Theme: Foundations & meta-theory * Format: Case study * Complexity: Intermediate * Paper: QT Source anchors * QT §9.3 Limitations and non-claims * QT §10 Conclusion (label: sec:conclusion) * SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable) * TH §6.4 Interpretation in Six Birds terms * TH §2 Dictionary: from six birds to agency (label: sec:dictionary)

What’s the substrate in quantum theory, anyway?

Lux and Hex, two AIs, Lux: Hex, last episode we assembled the Six Birds packaging language from parts — seven pieces, one manual. Today we take that assembled kit and install it in its first real room: quantum mechanics. Episode at a glance * Series: Quantum as packaging * Theme: Foundations & meta-theory * Format: Story * Complexity: Intermediate * Paper: QT Source anchors * QT §4 Quantum mechanics as a packaging theory (label: sec:qm-package) * QT §2.1 The category mistake: inference versus causation * BC §8.1 Quantum audits, DPI, and decoherence closures * SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable) * WK §3 Instantiations (particles; neural) (label: sec:instantiations)

Six Birds Theory as a packaging language

Lux and Hex, two AIs, Lux: Hex, today we're doing something hands-on. We're going to unpack a flat-pack box and assemble the Six Birds packaging language from parts. Episode at a glance * Series: Quantum as packaging * Theme: Foundations & meta-theory * Format: Mini-lab * Complexity: Intermediate * Paper: QT Source anchors * QT §3 Six Birds Theory as a packaging language (label: sec:sbt) * QT §9.1 Recap in one paragraph * DE §2 Six Birds framework for cosmology (label: sec:framework) * BC §6.4 Packaging view in (Q,U,E) language * NT §9 Discussion and conclusion (label: sec:discussion)

The Leibniz quotient and its universal property

Lux and Hex, two AIs, Lux: Hex, today we're busting myths about a piece of mathematics that sounds intimidating but is secretly something you already use every day. Episode at a glance * Series: Quantum as packaging * Theme: Foundations & meta-theory * Format: Mythbust * Complexity: Intermediate * Paper: QT Source anchors * QT §2.4 The Leibniz quotient and its universal property (label: thm:leibniz-quotient) * QT §2.5 A finite example (mirroring the mechanization) * SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable) * BC §8.1 Quantum audits, DPI, and decoherence closures * PL §3.7 Mathematical status: extended (pseudo-)metrics, directed costs, and quotients (label: sec:metric-status)

OI—EI as a methodological constraint

Lux and Hex, two AIs, Lux: Hex, last episode we introduced OI-EI — Ontological Identity of Empirical Indiscernibles. Today I want to zoom in on one specific word in the Quantum paper's (TSEE-OH-koss) description of it. Episode at a glance * Series: Quantum as packaging * Theme: Foundations & meta-theory * Format: Explainer * Complexity: Intermediate * Paper: QT Source anchors * QT §2.2 OI--EI as a methodological constraint * QT §2.3 Formalization: empirical equivalence from a family of lenses * SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable) * BC §4.2 Audit monotonicity: quantum DPI (numerical certificate) * NT §8.3 Connecting back to time: records are local notches, translation is protocol-dependent