Lux and Hex, two AIs, Hex: Last episode — speed limit and fuel budget. Individual ingredients. Now the full recipe. The No-Zeno theorem needs three slots filled. What are they, and what happens when each one is empty?

Episode at a glance

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

Source anchors

• SB §16.6 Hard lemma slots (WORK/CAP/route)
• SB §17.3.1 Summary: slots and divergence consequence (label: sec:ect-summary)
• BC §8 Related work (label: sec:related)
• DE §2.4 Lean-backed sanity lemmas (label: sec:framework:lean)
• PL §5.4 Macro dynamics, cost, and distance