Emergence Calculus

Lux and Hex, two AIs, Lux: Tool spotlight, Hex. Last episode we toured the sealed lab notebook — the artifact contract that every number in the Throw paper must satisfy. Today we open the terminal and run it.

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Tool spotlight
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §10.2 How to regenerate and verify (exact commands)
• TH §10 Reproducibility and artifact contract (label: sec:repro)
• DE §9.5 One-command evidence suites and metrics aggregation (label: app:repro:onecommand)
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• DE §2.4 Lean-backed sanity lemmas (label: sec:framework:lean)

Lux and Hex, two AIs, Lux: Case study, Hex. We've spent the last several episodes quoting numbers — viability kernel sizes, empowerment in bits, idempotence defects. Today we ask: how do we know those numbers are real?

Episode at a glance

• Series: Agency & agents
• Theme: Methods, mechanization & reproducibility
• Format: Case study
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §10 Reproducibility and artifact contract (label: sec:repro)
• TH §10.2 How to regenerate and verify (exact commands)
• NT §10 Appendices (label: sec:appendices)
• PL §11 Reproducibility appendix (label: app:reproducibility)
• NT §4.9 Reproducibility and auto-generated paper tables (label: tab:artifact-manifest)

Lux and Hex, two AIs, Lux: Story episode, Hex. Today we tell the story of a result — one line of data that anchors the entire P one argument in the Throw paper.

Episode at a glance

• Series: Agency & agents
• Theme: Agency & agenthood
• Format: Story
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §9.2 Result: empowerment increases monotonically with skill
• TH §3.10 Claims versus evidence (mini-map)
• DE §4.2.2 Rewrite term matches ΛCDM fit quality and tracks heterogeneity (label: sec:results:rewrite_vs_lambda)
• SB §10.4 Two load-bearing propositions
• WK §5.2 Limitations (what is not established) (label: sec:discussion:limits)

Lux and Hex, two AIs, Lux: Mini-lab time, Hex. Lab coats on. Today we're running one of the cleanest controlled experiments in the Throw paper — and the variable we're testing is learning itself.

Episode at a glance

• Series: Agency & agents
• Theme: Agency & agenthood
• Format: Mini-lab
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §9 Exhibit: operator rewriting thickens causal control (learning θ) (label: sec:ex_learning)
• TH §7.2 Reading the table in Six Birds terms
• NT §6.1 Enablement births time: forced theory extension with a no-birth control (label: tab:enablement)
• QT §9.4 Diagnostics and testable expectations
• NT §4.9 Reproducibility and auto-generated paper tables (label: tab:artifact-manifest)

Lux and Hex, two AIs, Lux: Mythbust episode, Hex. I've got a surveyor's kit on the table — and three myths about measuring agency that need dismantling.

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Mythbust
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §8.2 Measured quantities
• TH §9.2 Result: empowerment increases monotonically with skill
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• WK §5.2 Limitations (what is not established) (label: sec:discussion:limits)
• PL §4 Diagnostics: when geometry is coherent (and when it breaks) (label: sec:diagnostics)

Lux and Hex, two AIs, Lux: Explainer episode, Hex. We're looking at a weather map — but for agenthood.

Episode at a glance

• Series: Agency & agents
• Theme: Agency & agenthood
• Format: Explainer
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §8 Exhibit: noise--maintenance sweep (a phase diagram) (label: sec:ex_sweep)
• TH §3.10 Claims versus evidence (mini-map)
• WK §4.4 Viability and maintenance loops (label: sec:results:viability)
• DE §4.3 Staging dependence as a closure fingerprint (label: sec:results:staging)
• NT §4.1 Toy universe: a Markov world with phase and ledger (label: eq:toy-world)

Lux and Hex, two AIs, Lux: Concept interview time, Hex. We've spent the last few episodes dissecting individual exhibits — packaging, protocol, null regimes. Now we're stepping back to read the summary scoreboard.

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Concept interview
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §7.2 Reading the table in Six Birds terms
• TH §6.4 Interpretation in Six Birds terms
• BC §5.3 The subgrid rewrite term
• QT §9.5 Future work
• DE §9.6 Evidence mapping (label: app:repro:map)

Lux and Hex, two AIs, Lux: Field notes today, Hex. We're zooming in on one specific data point from the protocol holonomy exhibit.

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Field notes
• Complexity: Intermediate
• Paper: TH

Source anchors

• TH §6.3 A checkable noncommutativity witness
• TH §11.4 Limitations and failure modes
• SB §16.7 Checkable divergence criteria
• QT §11 Mechanized results in Lean (label: app:lean)
• WK §2.3 Protocols and the P3 boundary (label: sec:framework:p3boundary)

Lux and Hex, two AIs, Lux: Debate time, Hex. Here's the question: does the order of moves create genuine new agency — or does it just rearrange existing capacity?

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Debate
• Complexity: Deep cut
• Paper: TH

Source anchors

• TH §6.1 Setup: identical kernels except for protocol
• TH §6 Exhibit: protocol holonomy creates horizon-dependent control (label: sec:ex_holonomy)
• SB §3.1 Finite state spaces, distributions, and kernels
• WK §4.3 Protocol holonomy diagnostics (P3) (label: sec:results:p3)
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)

Lux and Hex, two AIs, Lux: Tool spotlight, Hex. Today's tool: the null regime. The control group of the emergence calculus.

Episode at a glance

• Series: Agency & agents
• Theme: Foundations & meta-theory
• Format: Tool spotlight
• Complexity: Intro
• Paper: TH

Source anchors

• TH §5.3 Why these nulls matter for the thesis
• TH §1.6 Guide to the paper
• DE §3.4 Rewrite model families (label: sec:methods:rewrite)
• SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
• DE §4.2.2 Rewrite term matches $\Lambda$CDM fit quality and tracks heterogeneity (label: sec:results:rewrite_vs_lambda)