A checkable noncommutativity witness

Empowerment is not a goal theory

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)

Limitations and failure modes

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'')

Causation versus enablement

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)

The agent thesis: an agent is a theory object

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

Formal anchor: viability iteration as a greatest fixed point

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)