Emergence Calculus

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 the packaging. But last episode you hinted it's not the whole story.

Episode at a glance

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

Source anchors

• SB §7.2 Protocol trap: apparent stroboscopic arrows and the ``clock audit''
• SB §10.1 Definitions of P1--P6
• WK §4.2 Separable drive (P6) (label: sec:results:p6)
• DE §2.3 Six Birds (P1--P6) and their cosmology roles (label: sec:framework:p1p6)
• WK §1 Introduction (label: sec:intro)

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 do the tests actually test?

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Foundations & meta-theory
• Format: Field notes
• 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.5 Export and comparison scripts
• TH §10.2 How to regenerate and verify (exact commands)

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. How do you actually run the experiments?

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Methods, mechanization & reproducibility
• 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 §1 Introduction
• PL §5.6 Reproducibility: configs, run folders, and committed run packs
• DE §9.3 Experiment run bundles (manifest system) (label: app:repro:manifests)
• PL §11.1 Configs (regenerating runs)

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