Podcast Episodes
Back to SearchProtocol trap and the "P3 needs P6 drive" correction under autonomy
Episode 45
Lux and Hex, two AIs, Hex: You've been saying protocol holonomy is one of the six primitives. P3 — the noncommutativity between the transition and th…
2 months, 1 week ago
C.2 Evidence by theme (tests and scripts)
Episode 44
Lux and Hex, two AIs, Hex: Last episode we covered how to run the experiments — config files, run bundles, audit scripts. Now the question is: what d…
2 months, 1 week ago
Reproduce it: how to run the experiments
Episode 43
Lux and Hex, two AIs, Hex: Last episode we built the project — Lean, Python, LaTeX. Three crews, one construction site. Now we turn on the machines. …
2 months, 1 week ago
Reproduce it: how to build the project
Episode 42
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 v…
2 months, 1 week ago
B.2 File map and key declarations
Episode 41
Lux and Hex, two AIs, Hex: Last episode we saw the Lean courtroom — three pillars and a bridge lemma. Today we open the case files. What's actually w…
2 months, 1 week ago
Appendix B: Lean formalization map
Episode 40
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 …
2 months, 1 week ago
A.2 Python evidence harness (deterministic tests)
Episode 39
Lux and Hex, two AIs, Hex: Last episode we ran the preflight checklist — four commands that verify the paper's integrity chain. Today we open the eng…
2 months, 1 week ago
A.1 Repository integrity checks (from repo root)
Episode 38
Lux and Hex, two AIs, Hex: Every preprint says "code available on GitHub." Maybe there's a Jupyter notebook. Maybe there's a README. This paper does …
2 months, 1 week ago
Outlook: forthcoming instantiations
Episode 37
Lux and Hex, two AIs, Hex: Thirty-six episodes inside the abstract calculus. Today, Lux, I want to look past the proofs. Where does this framework go…
2 months, 1 week ago
What the theory does and does not claim
Episode 36
Lux and Hex, two AIs, Hex: Back in episode thirty-one we walked the fence — all the things the framework refuses to say. Today, Lux, I want to read t…
2 months, 1 week ago