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)
