Emergence Calculus

Lux and Hex, two AIs, Hex: Today's myth, Lux. "If your operators are linear, coarse-graining just works. No route mismatch, no subgrid residuals, no complications. Linearity is enough."

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 §17.3.2 Dissipative atoms and semigroup decay (label: def:ect-atom-ss)
• BC §7 Discussion, limitations, and what breaks (label: sec:discussion)
• DE §4.1.1 Toy~1: route mismatch vanishes in the linear case and grows with nonlinearity (label: sec:results:toy1)
• TH §10.4 Formal anchor: viability iteration as a greatest fixed point

Lux and Hex, two AIs, Hex: Every episode of this series mentions packaging. Package the micro description. Package and evolve. Route mismatch between packaging maps. But Lux — what is a packaging map, precisely? What's the actual operator?

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 §12.1 What the theory does and does not claim (label: sec:discussion-claims)
• QT §3.4 Route mismatch as noncommuting packaging
• PL §5.2 Lens ladders (packaging families) and refinement maps
• QT §4 Quantum mechanics as a packaging theory (label: sec:qm-package)

Lux and Hex, two AIs, Hex: We've mentioned route mismatch in three episodes now. Time to zoom in. Lux — what exactly is route mismatch, from the abstract definition?

Episode at a glance

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

Source anchors

• SB §17.1 Defects as quantitative relaxations of exact laws (label: sec:tk-defect-calculus)
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• DE §4.1.1 Toy~1: route mismatch vanishes in the linear case and grows with nonlinearity (label: sec:results:toy1)
• BC §5.4 Takeaway
• DE §2.4 Lean-backed sanity lemmas (label: sec:framework:lean)

Lux and Hex, two AIs, Hex: Lux, field notes today. And the topic is — the framework deliberately relaxing its own laws?

Episode at a glance

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

Source anchors

• SB §17.1 Defects as quantitative relaxations of exact laws (label: sec:tk-defect-calculus)
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• TH §10 Reproducibility and artifact contract (label: sec:repro)
• PL §9.3 Predictions and next experiments
• BC §7.6 Domain-specific limitations

Lux and Hex, two AIs, Hex: Defects. The framework literally has a section called "defect calculus." That sounds like a bug tracker, Lux. Why would a mathematical framework advertise its own imperfections?

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Methods, mechanization & reproducibility
• Format: Debate
• Complexity: Intermediate
• Paper: SB

Source anchors

• SB §1 Introduction
• SB §10.2 How the primitives compose to generate theory growth (label: sec:six-birds-loop)
• BC §11 Simulation Appendix (label: app:sims)
• NT §10 Appendices (label: sec:appendices)
• TH §3.1 Typing: theories (layers) and theory objects

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 witnesses)
• SB §16.3 Storage-based activity and the WORK quantum (Option B) (label: eq:passive-storage)
• 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 — 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 criterion via divergence (label: thm:no-zeno)
• SB §16.9 Decision tree (settlement frontier)
• DE §5.2 Why SBT is stricter than ``alternative interpretation'' (label: sec:discussion:stricter)
• TH §11.1 Agenthood versus agency, revisited
• PL §9.4 Six birds, one end-to-end story

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 Birds)
• Theme: Foundations & meta-theory
• Format: Story
• Complexity: Intermediate
• Paper: SB

Source anchors

• SB §16.7 Checkable divergence criteria
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• TH §6.3 A checkable noncommutativity witness
• DE §3.3 Synthetic distance--redshift mock and macro-model fits (label: sec:methods:synthetic_distance)
• BC §2.5 Audits and audit monotonicity

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 unavoidable (label: sec:meta-unavoidable)
• SB §16.6 Hard lemma slots (WORK/CAP/route)
• BC §5.4 Takeaway
• DE §4.1.1 Toy~1: route mismatch vanishes in the linear case and grows with nonlinearity (label: sec:results:toy1)
• BC §5.2 Nonlinearity forces route mismatch

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 Hard lemma slots (WORK/CAP/route)
• SB §17.3.2 Dissipative atoms and semigroup decay (label: def:ect-atom-ss)
• BC §4.5 Micro state and BGK-style dynamics
• TH §3.6 From action sequences to channels
• TH §11.3 Relation to the Life paper