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)

Lux and Hex, two AIs, Lux: Hex, picture this. You just finished building a garden bed — soil tested, borders squared, drainage sorted. Now you're standing in front of a seed catalog. Three packets catch your eye, each needing different conditions. That's the Throw paper's outlook section in a nutshell.

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Tool spotlight
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §11.5 Outlook
• TH §11.4 Limitations and failure modes
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• NT §8.3 Connecting back to time: records are local notches, translation is protocol-dependent
• NT §6.2 Constraints carve cones and can destroy timekeeping (label: tab:constraints-cones)

Lux and Hex, two AIs, Lux: Case study, Hex. Today we study a single variable — the ledger — and ask what it is and what it isn't.

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Case study
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §3.2 Microstate factoring and packaging
• TH §3.1 Typing: theories (layers) and theory objects
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• WK §4.4 Viability and maintenance loops (label: sec:results:viability)
• WK §5.1 Mapping back to the three certificates loop (label: sec:discussion:loop)

Lux and Hex, two AIs, Lux: Story time, Hex. Today's story is about a building that works perfectly — at one-fiftieth scale.

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Story
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §10.3 Determinism and traceability
• TH §11.4 Limitations and failure modes
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• PL §4.4 Inter-scale distortion: does distance persist across refinement? (label: eq:distortion)
• PL §11.4 Canonical configuration snapshot (major knobs) (label: tab:canonical-configs-geo)

Lux and Hex, two AIs, Lux: Mini-lab, Hex. Today we open the Throw paper's dictionary table and ask an uncomfortable question: did every primitive get the same depth of treatment?

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Mini-lab
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §11.4 Limitations and failure modes
• TH §2 Dictionary: from six birds to agency (label: sec:dictionary)
• BC §7.7 Near-term extensions
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• WK §2.3 Protocols and the P3 boundary (label: sec:framework:p3boundary)

Lux and Hex, two AIs, Lux: Episode two hundred, Hex. Mythbust format. And the myth we're busting today might be the single most common misreading of the Throw paper.

Episode at a glance

• Series: Agency & agents
• Theme: Agency & agenthood
• Format: Mythbust
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §11.4 Limitations and failure modes
• TH §3.10 Claims versus evidence (mini-map)
• BC §7 Discussion, limitations, and what breaks (label: sec:discussion)
• SB §1.1 The organizing picture: a three-certificate loop (label: sec:big-picture)
• NT §4 Methods: a finite-state laboratory and audit suite (label: sec:methods)

Lux and Hex, two AIs, Lux: Explainer, Hex. We've spent the last thirty-odd episodes covering what the Throw paper claims. Today we cover what it doesn't claim.

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Explainer
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §11.4 Limitations and failure modes
• TH §1.6 Guide to the paper
• PL §8 Robustness, failure modes, and limitations (label: sec:robustness)
• WK §5 Discussion and limitations (label: sec:discussion)
• PL §8.1 Representative failure modes (``where it breaks'')

Lux and Hex, two AIs, Lux: Concept interview, Hex. Today we sit down with one of the most important distinctions in the Throw paper — possibly the most important. Causation versus enablement.

Episode at a glance

• Series: Agency & agents
• Theme: Time, clocks & arrows
• Format: Concept interview
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §11.2 Causation versus enablement
• TH §1.3 Agenthood versus agency
• NT §6.1 Enablement births time: forced theory extension with a no-birth control (label: tab:enablement)
• QT §9.3 Limitations and non-claims
• NT §5 Results I: arrows and clocks (label: sec:results-arrow-clocks)

Lux and Hex, two AIs, Lux: Field notes, Hex. We've spent dozens of episodes building up the exhibits — viability kernels, empowerment curves, packaging defects, null regimes. Today we step back and read the thesis those exhibits serve.

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Field notes
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §5.3 Why these nulls matter for the thesis
• TH §1.4 Thesis: an agent is a theory object
• QT §9.1 Recap in one paragraph
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• QT §2.1 The category mistake: inference versus causation

Lux and Hex, two AIs, Lux: Debate time, Hex. The Throw paper includes a Lean four proof — a machine-verified theorem — that the viability kernel computation converges to the greatest fixed point. Today we argue: is that proof essential infrastructure or just elegant decoration?

Episode at a glance

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

Source anchors

• TH §10.4 Formal anchor: viability iteration as a greatest fixed point
• TH §12 Lean anchor: viability iteration computes the greatest fixed point (label: app:lean_viability)
• 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)