Lux and Hex, two AIs, Hex: Last episode we walked the fence — the non-claims that define what the framework refuses to say. Today we're back inside the fence. And we're looking at a theorem with one of my favorite titles in the whole paper. "Constraints Kill Engines."

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Foundations & meta-theory
• Format: Case study
• Complexity: Intermediate
• Paper: SB

Source anchors

• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• SB §10.3 Downward influence across theories (label: sec:downward-influence)
• TH §11.5 Outlook
• NT §6.2 Constraints carve cones and can destroy timekeeping (label: tab:constraints-cones)
• NT §8.1 SBT diagnosis: feasibility constraints vs causal channels