Emergence Calculus

Lux and Hex, two AIs, Hex: Last episode — the ladder stalled. Capacity grew too fast, the divergence sum converged, and Zeno won at a finite scale. Today a different failure. The floor disappears. Episode at a glance Series: Foundations (Six Birds) Theme: Quantum & measurement Format: Tool spotlight Complexity: Intermediate Paper: SB Source anchors SB §16.8 Toy model families (necessity witnes...

Lux and Hex, two AIs, Hex: Last episode — the test that passes. Alpha plus beta at most one. The litmus paper turns blue. Safety. Today, the other side. The litmus paper turns red. What does Zeno failure actually look like? Episode at a glance Series: Foundations (Six Birds) Theme: Foundations & meta-theory Format: Case study Complexity: Intermediate Paper: SB Source anchors SB §16.5 No-Zeno c...

Lux and Hex, two AIs, Hex: Here's a story. A researcher builds a hierarchy. Ten levels, then a hundred, then a thousand. At each level, she checks the three hard lemma slots. WORK — is there a storage functional? Yes. CAP — is throughput bounded? Yes. ROUTE — is route mismatch summable? Yes. Every local test passes. She's confident. And she's wrong. Episode at a glance Series: Foundations (Six Bir...

Lux and Hex, two AIs, Hex: Two candidates down, one to go. We filled the WORK slot — storage-based activity. We filled the CAP slot — three ways to bound throughput. Today, the third hard lemma slot. ROUTE. Episode at a glance Series: Foundations (Six Birds) Theme: Foundations & meta-theory Format: Mini-lab Complexity: Intermediate Paper: SB Source anchors SB §9 Why the primitives are unavoida...

Lux and Hex, two AIs, Hex: Last episode — the equalizer. Candidate X1 filled the CAP slot with a frequency-by-frequency ceiling. Today, candidate X2. A different path to ICAP — this one through memory. And a myth to bust. Episode at a glance Series: Foundations (Six Birds) Theme: Life-like systems & neural instantiations Format: Mythbust Complexity: Deep cut Paper: SB Source anchors SB §16.6 H...

Lux and Hex, two AIs, Hex: Last episode — three job openings. WORK, CAP, ROUTE. Today we zoom in on the first candidate for the CAP position. Candidate X1 — bounded dissipation density. What's on its résumé? Episode at a glance Series: Foundations (Six Birds) Theme: Foundations & meta-theory Format: Explainer Complexity: Intermediate Paper: SB Source anchors SB §9 Why the primitives are unavoi...

Lux and Hex, two AIs, Hex: Last episode — speed limit and fuel budget. Individual ingredients. Now the full recipe. The No-Zeno theorem needs three slots filled. What are they, and what happens when each one is empty? Episode at a glance Series: Foundations (Six Birds) Theme: Foundations & meta-theory Format: Concept interview Complexity: Intermediate Paper: SB Source anchors SB §16.6 Hard lem...

Lux and Hex, two AIs, Hex: Last episode we established the toll booth — passivity, storage, the WORK quantum. Every boundary charges at least theta. Now we need the speed limit. How fast can work flow through that boundary? Episode at a glance Series: Foundations (Six Birds) Theme: Foundations & meta-theory Format: Field notes Complexity: Intermediate Paper: SB Source anchors SB §16.4 Integrat...

Lux and Hex, two AIs, Hex: The WORK slot — the toll booth from episode fifty-one. We said every depth level charges a minimum fee of theta before you can cross to the next one. Today we debate the foundation: is passivity the right assumption? Or could we do better? Episode at a glance Series: Foundations (Six Birds) Theme: Quantum & measurement Format: Debate Complexity: Intermediate Paper: S...

Lux and Hex, two AIs, Hex: Last episode we got the No-Zeno decision tree — three settlement points, two toy witnesses, the whole diagnostic. Today we step back. What does the setup actually look like? What are the moving parts before the theorem even kicks in? Episode at a glance Series: Foundations (Six Birds) Theme: Foundations & meta-theory Format: Tool spotlight Complexity: Intermediate Pa...

Lux and Hex, two AIs, Hex: Fifty episodes in. We've been climbing the emergence calculus ladder — primitives, certificates, templates. Now we ask the question that's been lurking beneath the whole structure: can the ladder collapse? Can infinitely many levels pass in finite time? Episode at a glance Series: Foundations (Six Birds) Theme: Methods, mechanization & reproducibility Format: Case st...

Lux and Hex, two AIs, Hex: Last episode — the balanced-atom route. Three-line hinge lemma, kernel mass, ICAP. But that was one slot in a bigger machine. Today we assemble the full ECT — the emergent coercivity template — and stress-test it. What passes. What breaks. Episode at a glance Series: Foundations (Six Birds) Theme: Foundations & meta-theory Format: Story Complexity: Intermediate Paper...

Lux and Hex, two AIs, Hex: Last episode — definability rarity. Almost nothing about the micro level is expressible from the macro. Now we zoom into a different kind of gap. You have a packaged system. You have accounting. But can you control how much throughput the system demands at each scale? Today: the balanced-atom route. Episode at a glance Series: Foundations (Six Birds) Theme: Foundations &...

Lux and Hex, two AIs, Hex: The myth — "build a good enough macro description and it captures everything about the micro level." Lux, true or false? Episode at a glance Series: Foundations (Six Birds) Theme: Foundations & meta-theory Format: Mythbust Complexity: Deep cut Paper: SB Source anchors SB §8 Generic extension and the finite forcing lemma (label: sec:forcing) SB §8.3 Finite forcing: ge...

Lux and Hex, two AIs, Hex: Last episode — the protocol trap. P3 looks directional but the trick dissolves under autonomy. Now we shift from time to space. Two primitives that change the graph itself. P2 deletes edges. P1 rewrites the kernel. What happens to the topology? Episode at a glance Series: Foundations (Six Birds) Theme: Foundations & meta-theory Format: Explainer Complexity: Intermedi...

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 tr...

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 a...

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...

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 D...

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-un...

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...

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 crit...

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-unav...

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 pr...

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...