Lux and Hex, two AIs, Hex: Last episode we walked the museum — five galleries of Python evidence. Concrete numbers on concrete examples. Today we go somewhere different.

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Methods, mechanization & reproducibility
• Format: Story
• Complexity: Deep cut
• Paper: SB

Source anchors

• SB §4.2 Closure ladders and saturation (label: lem:closure-iterate-stabilizes)
• SB §1 Introduction
• DE §2.4 Lean-backed sanity lemmas (label: sec:framework:lean)
• BC §10 Lean Appendix (label: app:lean)
• QT §8.2 Contexts as strict extensions (definability)