Lux and Hex, two AIs, Hex: We've spent four episodes looking at what the repository checks, what the Python tests compute, and what the Lean proofs verify. Now — how do you actually build this thing from scratch?

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Methods, mechanization & reproducibility
• Format: Tool spotlight
• Complexity: Intermediate
• Paper: SB

Source anchors

• SB §16.9 Decision tree (settlement frontier)
• SB §3.7 Assumption bundles
• PL §11.6 Paper build
• DE §9.6 Evidence mapping (label: app:repro:map)
• PL §10 Lean anchors (minimal) (label: app:lean)