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)

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 written in those four Lean files?

Episode at a glance

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

Source anchors

• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• SB §2 Related work (label: sec:related)
• NT §10.2 Mechanized anchors (Lean) (label: sec:appendix-mechanized)
• TH §10.1 Artifact contract (what every result must contain)
• DE §9.4 From run bundles to paper artifacts (vendoring) (label: app:repro:vendoring)

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)

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 engine. What does the Python evidence harness actually compute?

Episode at a glance

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

Source anchors

• SB §16.7 Checkable divergence criteria
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• DE §9.5 One-command evidence suites and metrics aggregation (label: app:repro:onecommand)
• PL §11.1 Configs (regenerating runs)
• TH §10.2 How to regenerate and verify (exact commands)

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 something I haven't seen before.

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 §3.5 A minimal instantiation recipe (label: sec:instantiation-recipe)
• DE §9.1 Paper build (label: app:repro:paper)
• BC §9 Reproducibility (label: sec:repro)
• NT §10.1 Reproducibility: regenerating artifacts and paper tables (label: sec:appendix-repro)

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 from here?

Episode at a glance

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

Source anchors

• SB §12.2 Outlook: forthcoming instantiations (label: sec:outlook)
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• TH §11.5 Outlook
• BC §2.6 Route mismatch and commutation
• WK §3 Instantiations (particles; neural) (label: sec:instantiations)

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 the fine print. Not just what's excluded. What does the framework actually sign up for?

Episode at a glance

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

Source anchors

• SB §12.1 What the theory does and does not claim (label: sec:discussion-claims)
• SB §8.1 Theories as partitions and definability
• QT §9 Discussion: what changes, what does not (label: sec:discussion)
• DE §2 Six Birds framework for cosmology (label: sec:framework)
• QT §9.3 Limitations and non-claims

Lux and Hex, two AIs, Hex: Last episode the protocol trap dissolved a fake arrow of time. Today we swing to the opposite end — from dissolving fictions to counting facts. Question: how much novelty is available to a finite system? How easy is it for a theory to grow?

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Foundations & meta-theory
• Format: Field notes
• Complexity: Deep cut
• Paper: SB

Source anchors

• SB §11.3 Finite forcing count: definability is exponentially rare (label: subsec:ex:forcing-count)
• SB §8 Generic extension and the finite forcing lemma (label: sec:forcing)
• QT §8.2 Contexts as strict extensions (definability)
• TH §1.1 To throw a stone
• BC §10 Lean Appendix (label: app:lean)

Lux and Hex, two AIs, Hex: Last time we took the six primitives on safari — spotted them in five different domains. Today we're staging a debate. I'm going to argue for a position that sounds reasonable, and Lux is going to demolish it.

Episode at a glance

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

Source anchors

• SB §11.2 Protocol trap: external schedule vs autonomous lifted model (label: subsec:ex:protocol-trap)
• SB §7.2 Protocol trap: apparent stroboscopic arrows and the ``clock audit''
• TH §5.2 Null B: the schedule trap (exogenous structure mis-modeled as choice)
• WK §3.1 Particle-based substrate (label: sec:inst:particles)
• WK §4.3 Protocol holonomy diagnostics (P3) (label: sec:results:p3)

Lux and Hex, two AIs, Hex: Last time we watched constraints kill engines — P-two gating shrinking cycle space monotonically. Today we leave the abstract machinery and take the six primitives on a field trip. Five physics domains. Same six roles. Different actors in every production.

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Foundations & meta-theory
• Format: Tool spotlight
• Complexity: Deep cut
• Paper: SB

Source anchors

• SB §11 Examples (label: sec:examples)
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• BC §2 Recap and dictionary alignment (label: sec:dictionary)
• NT §9 Discussion and conclusion (label: sec:discussion)
• DE §2 Six Birds framework for cosmology (label: sec:framework)