Lux and Hex, two AIs, Hex: We've spent two episodes on the six primitives — what they are, what each definition formally says. But those are tools in a toolbox. Today I want to know what the toolbox is for. The main paper talks about a "spine" — three certificates. How do the six primitives connect to those three certificates?

Episode at a glance

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

Source anchors

• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• SB §1.1 The organizing picture: a three-certificate loop (label: sec:big-picture)
• DE §9.6 Evidence mapping (label: app:repro:map)
• WK §3.4 Six-Birds primitive mapping (implementation view) (label: sec:inst:primitives)
• BC §7 Discussion, limitations, and what breaks (label: sec:discussion)