Primitive coverage is uneven

What this language buys us for quantum theory

Lux and Hex, two AIs, Lux: Hex, welcome to the mini-lab. We've been building the Six Birds packaging language across this whole series — substrate, lens, packaging map, fixed points, route mismatch. Today we test whether it actually buys us anything for quantum theory. Five experiments. Five puzzles. One vocabulary. Episode at a glance * Series: Quantum as packaging * Theme: Quantum & measurement * Format: Mini-lab * Complexity: Intermediate * Paper: QT Source anchors * QT §3.5 What this language buys us for quantum theory * QT §9.1 Recap in one paragraph * BC §8.1 Quantum audits, DPI, and decoherence closures * NT §8 A physics dilemma reframed: constraints are not channels (label: sec:physics-dilemma) * NT §9 Discussion and conclusion (label: sec:discussion)

Route mismatch: when ‘measure then evolve’ ≠ ‘evolve then measure’

Lux and Hex, two AIs, Lux: Hex, mythbust time. Today we've got four myths about what happens when packaging and dynamics collide — when you ask whether "measure then evolve" gives the same answer as "evolve then measure." Episode at a glance * Series: Quantum as packaging * Theme: Foundations & meta-theory * Format: Mythbust * Complexity: Intermediate * Paper: QT Source anchors * QT §3.4 Route mismatch as noncommuting packaging * QT §4.6 Measured mismatch under dynamics * BC §5 Filtering/LES: route mismatch and the subgrid rewrite term (label: sec:les) * DE §4.1.1 Toy~1: route mismatch vanishes in the linear case and grows with nonlinearity (label: sec:results:toy1) * BC §2.6 Route mismatch and commutation

Route mismatch as noncommuting packaging

Lux and Hex, two AIs, Lux: Hex, today we're explaining route mismatch — the concept that makes "the order matters" into a precise, measurable thing. Episode at a glance * Series: Quantum as packaging * Theme: Foundations & meta-theory * Format: Explainer * Complexity: Intermediate * Paper: QT Source anchors * QT §3.4 Route mismatch as noncommuting packaging * QT §4.5 Route mismatch: contextual incompatibility as noncommuting packaging * DE §4.1.1 Toy~1: route mismatch vanishes in the linear case and grows with nonlinearity (label: sec:results:toy1) * PL §4.3 Route mismatch (RM): does refinement commute? * BC §5.4 Takeaway

Quantum at the set level: what changes when you coarse-grain

Lux and Hex, two AIs, Lux: Hex, today's a concept interview. We're sitting down with a big idea — quantum coarse-graining — and asking it one question: what do you change? Episode at a glance * Series: Quantum as packaging * Theme: Foundations & meta-theory * Format: Concept interview * Complexity: Intermediate * Paper: QT Source anchors * QT §8 No-go pressures as assumptions about globally compatible packaging (label: sec:no-go) * QT §1 Introduction * SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable) * NT §7.3 Measured holonomy in the toy laboratory (label: tab:holonomy) * SB §16.8 Toy model families (necessity witnesses)

Objects as fixed points

Lux and Hex, two AIs, Lux: Hex, today's a field-notes episode. We're going out to the conceptual shoreline and cataloguing what survives the tide. Episode at a glance * Series: Quantum as packaging * Theme: Foundations & meta-theory * Format: Field notes * Complexity: Intermediate * Paper: QT Source anchors * QT §3.3 Objects as fixed points * QT §1 Introduction * SB §4.1 Order-theoretic closure and fixed points (label: def:closure-operator) * TH §12 Lean anchor: viability iteration computes the greatest fixed point (label: app:lean_viability) * TH §10.4 Formal anchor: viability iteration as a greatest fixed point