Emergence Calculus

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 unavoidable (label: sec:meta-unavoidable)
• SB §16.6 Hard lemma slots (WORK/CAP/route)
• BC §4.1 Micro state, lens, and closure
• QT §3.3 Objects as fixed points
• WK §3.1 Particle-based substrate (label: sec:inst:particles)

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 lemma slots (WORK/CAP/route)
• SB §17.3.1 Summary: slots and divergence consequence (label: sec:ect-summary)
• BC §8 Related work (label: sec:related)
• DE §2.4 Lean-backed sanity lemmas (label: sec:framework:lean)
• PL §5.4 Macro dynamics, cost, and distance

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 Integrated throughput (ICAP) and feasibility \texorpdfstring{$\Rightarrow$ (label: eq:icap)
• SB §17.2 Bridge objects: ports, passivity, and integrated throughput (label: sec:tk-bridge-toolkit)
• NT §6 Results II: enablement and constraints (label: sec:results-enablement-constraints)
• TH §3.7 Feasible empowerment as difference-making
• PL §9.3 Predictions and next experiments

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: SB

Source anchors

• SB §16.3 Storage-based activity and the WORK quantum (Option B) (label: eq:passive-storage)
• SB §16.6 Hard lemma slots (WORK/CAP/route)
• BC §8.1 Quantum audits, DPI, and decoherence closures
• QT §4 Quantum mechanics as a packaging theory (label: sec:qm-package)
• BC §4 Quantum $\to$ classical: closure as dephasing (label: sec:quantum-classical)

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
• Paper: SB

Source anchors

• SB §16.1 Setup: frontier and Zeno criterion
• SB §16.5 No-Zeno criterion via divergence (label: thm:no-zeno)
• TH §8.1 Setup: sweeping noise and maintenance cost
• QT §8.2 Contexts as strict extensions (definability)
• DE §4.2.1 Homogeneous fits infer $\Omega_\Lambda\simeq 0.6$ from null-$\Lambda$ synthetic data (label: sec:results:infer_illusion)

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 study
• Complexity: Intermediate
• Paper: SB

Source anchors

• SB §16.5 No-Zeno criterion via divergence (label: thm:no-zeno)
• SB §16.9 Decision tree (settlement frontier)
• NT §10 Appendices (label: sec:appendices)
• PL §11 Reproducibility appendix (label: app:reproducibility)
• BC §11 Simulation Appendix (label: app:sims)

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: SB

Source anchors

• SB §17.3 Emergent coercivity template via sector compression (label: sec:ect-template)
• SB §17.3.1 Summary: slots and divergence consequence (label: sec:ect-summary)
• TH §11.4 Limitations and failure modes
• PL §8.3 Limitations and non-claims
• TH §9.3 Interpretation: learning as ``causal thickening''

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 & meta-theory
• Format: Mini-lab
• Complexity: Deep cut
• Paper: SB

Source anchors

• SB §17.3.2 Dissipative atoms and semigroup decay (label: def:ect-atom-ss)
• SB §17.3.1 Summary: slots and divergence consequence (label: sec:ect-summary)
• BC §4.5 Micro state and BGK-style dynamics
• TH §3.6 From action sequences to channels
• TH §3.1 Typing: theories (layers) and theory objects

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: generic extensions are non-definable (label: thm:finite-forcing)
• QT §8.2 Contexts as strict extensions (definability)
• BC §10 Lean Appendix (label: app:lean)
• TH §10.4 Formal anchor: viability iteration as a greatest fixed point

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: Intermediate
• Paper: SB

Source anchors

• SB §10.4 Two load-bearing propositions
• SB §3.6 Support graphs and discrete 1-forms
• PL §3.6 Distance is optimized protocol cost (P3): shortest paths (label: eq:shortest-path-metric)
• DE §2.3 Six Birds (P1--P6) and their cosmology roles (label: sec:framework:p1p6)
• PL §5.1 Substrates (microstate generators)