Lux and Hex, two AIs, Hex: Last episode we got the No-Zeno decision tree — three settlement points, two toy witnesses, the whole diagnostic. Today we step back. What does the setup actually look like? What are the moving parts before the theorem even kicks in?

Episode at a glance

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

Source anchors

• SB §16.1 Setup: frontier and Zeno criterion
• SB §16.5 No-Zeno criterion via divergence (label: thm:no-zeno)
• TH §8.1 Setup: sweeping noise and maintenance cost
• QT §8.2 Contexts as strict extensions (definability)
• DE §4.2.1 Homogeneous fits infer $\Omega_\Lambda\simeq 0.6$ from null-$\Lambda$ synthetic data (label: sec:results:infer_illusion)