Public Reality
Project Public RealityQuantum Darwinism · causal records · open systemsSnapshot 25 Sep 2026

How does reality become public?

A quantum universe can stay quantum. What becomes classical is one layer of it: facts that many observers can read on their own, that last long enough to form a history, and that follow one ordinary probability law. The private quantum remainder can survive underneath.

Active theorem program No validated novel foundational theorem is claimed yet. Every claim on this page carries its status. An independent research program, written and computed with substantial AI assistance; the reproduction scripts are public so that every number can be checked.
0

Nothing is recorded yet.

Public base Xt: the classical trajectory Private fibers: quantum information, contracting Record fragments fly toward you: each readable on its own Move your pointer to tilt the view · hover a card to read it
A classical fact is not whatever has no quantum information left. It is the part of the information that is redundantly public, stable under the allowed causal future, and sufficient for its public descendants, while the remaining quantum information is private, contractive, or unable to steer those descendants.The program’s working thesis · 00_CURRENT_TRUTH

The route through the physics

Left to right: a quantum substrate, pointer selection, public records, a causal archive, and finally one classical history law. The private quantum remainder never disappears; it runs underneath. Each segment is one term of the error budget. Click a station to jump there.

Public layerPrivate layer runs underneath

How to read the status chips

This site separates what physics already proves from what this program derived, tested numerically, or still hopes to prove. The chip tells you which.

●EstablishedExternal primary literature or standard mathematics.
◆Direct derivationProved internally from stated inputs. Not externally audited.
▲Numerical internalFinite numerical evidence only.
✦Candidate novelPossibly new. Priority not validated.
○Open targetA theorem or construction still to prove.
✕RefutedA tempting shortcut broken by a counterexample.
≈Speculative lensExploration kept outside the theorem chain.
Orientation

Six questions hide inside the word classical.

They usually get run together. They are different problems, with different tools and very different amounts of settled mathematics. This program works on the first five and deliberately sets the sixth aside.

1 · Algebraic classicality

Why do shared facts commute?

No-broadcasting limits how much reversible quantum information many receivers can hold at once, so public information gets squeezed toward compatible questions. How big a genuinely quantum block can stay public is a sharp cloning question.

●Established✦C01
2 · Pointer selection

Why these facts and not others?

Einselection: the environment’s monitoring picks out stable pointer observables. In the program’s model the pointer basis is put in by hand: the environment monitors each spin’s Z. What the model does show is that the monitor has to be local (an energy monitor fails).

●EstablishedThe machine →
3 · Objectivity

Why can strangers agree without talking?

Quantum Darwinism: the environment carries many copies, and independent observers each grab one. The broad claim is occupied. The finite-error, dynamical, causal version is the program’s opening.

●EstablishedWitnesses →
4 · Persistence

Why does a fact still work tomorrow?

Records can be uncomputed, scrambled, or quietly overruled by hidden memory. Persistence needs future-public response, bounded return, hidden-memory repair and retention, tracked separately.

◆Direct derivationPersistence →
5 · Classical histories

Why does every observer fit one story?

Pairwise decoherence is too weak. The endpoint is one probability law over histories whose marginals match every allowed observer context, on a stated horizon, with a summed error.

○Open targetHistories →
6 · Outcomes & probabilities

Why one outcome? Why the Born rule?

The measurement problem. Explicitly outside this program’s theorem target. Nothing here claims to select a unique outcome, derive the Born rule, or pick a unique factorization of the universe.

Out of scope
Chapter 1 · Established physicsattacks εrecord

A fact is something many witnesses carry.

In plain words

The world “knows” where things are because countless bits of the environment have each taken a copy. A fact is public when almost any small piece of the environment you catch can tell you what it is.

Start with what is already known. When a quantum system touches its surroundings, the environment doesn’t just blur it. It takes notes. Every photon that bounces off a dust grain carries away a partial copy of where the grain is. Wojciech Zurek called this Quantum Darwinism: the states that survive are the ones that can be copied, and the copies are how we come to agree.

The instrument below is the standard exactly solvable picture. A system qubit S sits in superposition. Each of N witnesses records it imperfectly: its two conditional states overlap by c. Grab a fragment of the environment and ask how much it knows about S.

I(\mathcal S : \mathcal F) = H(\mathcal S) + H(\mathcal F) - H(\mathcal S\mathcal F), \qquad H(\mathcal S\mathcal F) = H(\mathcal E \setminus \mathcal F)The global state is pure, so every term is the entropy of a two-state mixture with overlap ck. Everything plotted below is exact.

The flat shelf is the signature. A small fragment already holds almost all the classical information H(S). Adding more witnesses adds nothing new until you hold nearly everything, and only then does the quantum information (the climb to 2H(S)) become available. Redundancy Rδ counts how many disjoint fragments each know the fact. Send the observers: they never compare notes, and they agree.

Toggle the split to see where the information lives. On the shelf the mutual information is all classical (the Holevo quantity χ); the quantum discord D appears only once the fragment is nearly the whole environment. That is the complementarity I = χ + D of Zwolak and Zurek (2013), exact here.

Now switch on the scrambled environment. S is exactly as decohered, but no small fragment knows anything. Decoherence alone is not a record.

The branching-state model is exact. The scrambled curve is the Page average for a Haar-random state of 1 + N qubits, an approximation of a typical state.

Chapter 2 · Where the easy story breaksattacks εrecord

A record can carry a key.

In plain words

A record can say too much. If the environment’s notes include the combination to a hidden quantum lock, publishing them makes the world less classical, not more.

The textbook picture suggests a simple rule: more records, more classical. The program found that rule fails in two precise ways, and both change what a public record has to be.

The fine record can unlock the private state

Call Z the full microscopic record the environment writes, and X = f(Z) the coarse public record. This is environment-assisted error correction seen from the other side: classical information about the noise, gathered from the environment, lets whoever holds the system undo it (Gregoratti–Werner 2003; Hayden–King 2005). Recent work shows fine records heralding quantum information that looked lost (Huang–Mok–Haug–Ho; Cao–Zhao). Here is the smallest version of that danger. A private qubit gets a random Pauli frame, and the environment writes down which one. You choose how much of that fine record the public fragments carry.

With X only, every fragment decodes the public bit and learns nothing about the private qubit: conditional privacy holds. Leak one frame bit and whoever holds the system plus a fragment can rebuild a dephased copy (average fidelity 2/3). Leak both and they rebuild it exactly. The record got more detailed and less classical.

So each public fragment Fj must satisfy two things at once: decode Xptr, and keep I(R_{\rm priv} : F_j \mid S_{\rm priv}, X_{\rm ptr}) \le \varepsilon_{\rm priv}. Conditioning on the system matters. Here I(R : F \mid X) = 0 at every setting, because a one-time-pad key says nothing about the message on its own. The leak is I(R : F \mid Q, X) = \ell bits, and it appears only once the fragment meets the system it unlocks (repro/record_key.py).

Correction. An earlier version of this page, and the package, wrote the condition without Spriv. That version is satisfied by the full-key example, so it cannot be the right test.

Toy model (a quantum one-time pad), chosen because every number is exact. It illustrates the architectural warning; it is not the program’s record dilation.

Pairwise overlap can lie

The second failure is subtler. A public fact x can sit on top of a large hidden space, \mathcal H = \bigoplus_x |x\rangle \otimes \mathcal G_x. Records can make every microscopic branch pair look nearly orthogonal while the two public sectors stay coherent as a whole. The coherence hides in a phase pattern spread across many small entries.

The exact operational quantity is the complete cross-sector norm αZ. With pairwise overlaps at most δ and hidden-fiber rank m, \delta \le \alpha_Z \le \min\{1, \sqrt m\,\delta\}, and a Fourier hidden-record family saturates the upper bound. If records factor as |φx⟩|ηa⟩, the penalty disappears. αZ is a Schur-multiplier norm, so the Grothendieck–Haagerup factorization computes it: both families are pinned exactly in repro/center_norm.py.

Scaling law: if the fiber rank grows like esN and overlaps shrink like e−ξN, entrywise control only gives α ≲ e−(ξ−s/2)N. You need ξ > s/2. Records must cover the public center, not arbitrary branch labels.

Chapter 3 · Internal derivationsattacks εreturn · εinstrument

A fact has to survive its own future.

In plain words

Being written down isn’t enough. A fact is solid only if nothing hidden can later rewrite what it predicts, including the act of looking.

A record today isn’t enough. Records can be reversed (CNOT, then un-CNOT), overwritten, or quietly outvoted by hidden memory. The program’s key correction: the question isn’t whether quantum information still exists somewhere. It’s whether that information can still change a future public answer.

The smallest exactly solvable version has a public qubit L and a hidden qubit H. Each cycle, n witnesses record L (overlap q each). Local repair damps H at rate Γr (survival u = e−Γrτ). H nudges L through a CNOT, L suffers a bit flip p, and a rotation θ mixes in phase before the next readout. How badly today’s public bit fails to predict tomorrow’s comes out exactly. This is Zurek’s predictability sieve (Zurek, Habib & Paz 1993; Zurek 1993) made exact for one cell: it separates the part of the defect that witnesses can remove from the part they cannot.

\varepsilon_{\rm cell}^2 = \underbrace{q^{2n}\sin^2\theta}_{\gamma^2:\ \text{escaped phase}} + \underbrace{u^2(1-2p)^2\cos^2\theta}_{\mu^2:\ \text{hidden memory}}, \qquad u = e^{-\Gamma_r\tau}

The two residual operators anticommute, so the defects add in quadrature, not as a triangle bound (the old bound γ + μ overshoots by up to √2). Both directions are certified exactly: an explicit disturbance achieves λ, and an explicit dual witness shows nothing does better. Push the witness count up and the point slides along the phase axis only. The hidden-memory floor ε ≥ u|(1−2p)cos θ| doesn’t move. No amount of redundant recording repairs hidden causal memory within one public sector.

The record history does see it, one step late. The CNOT writes H into the next value of L, which the next witnesses record, so with θ = p = 0 two successive readouts differ exactly when H = 1. The public process is hidden-Markov: the present value is objective, and prediction needs the recorded past.

The two counterexamples prove the distinction both ways. Residual quantum information and residual causal relevance are different things.

“Escaped” is relative to a horizon

Information that leaves isn’t gone. It is harmless only if it can’t reach the backward light cone of a future public question before that question is asked. Lieb–Robinson bounds make this quantitative, for a stated horizon rather than forever. Gravity makes permanence exact in two special cases (Chapter 12).

Drag the query Q. Carriers inside its violet past cone could still return and change the answer. Carriers outside pay only an exponentially small Lieb–Robinson tail. In a finite box, a late enough query’s cone covers everything: no permanent erasure is claimed.

The geometry and the exponential tail are schematic (ξ = 0.015). The theorem gives a horizon-dependent return defect, not these particular numbers.

Invariant under evolution isn’t invariant under looking

A slow basin can be exactly forward-invariant under passive evolution, so that the present public value is perfectly sufficient for its passive descendants, and still get kicked out by an allowed sharp readout.

The exact maximum terminal disturbance of an unread sharp readout is \eta_{\rm sharp} = \tfrac{\zeta}{\sqrt{1+\zeta^2}}\,|b_t|, attained by the extremal state at the end of the basin line. Here ζ is the basin slope and bt measures how strongly the fast, off-basin coordinate feeds the terminal Z value (\mathcal E_t^*Z = e^{-g_s t}Z + b_t D_f). Under strong monitoring both factors are small, so the defect is second order in (drive / monitoring rate) while the unrestricted defect is first order. Every history theorem must name its interventions and pay this defect (instrument closure).

Three independent axes

“Classical” isn’t one number. The exact cell produces counterexamples on three different corners of this cube.

Chapter 4 · The physical modelattacks εdyn

The machine: a magnet that only moves where it’s free.

In plain words

The model is a magnet whose spins can flip quantum-mechanically only where flipping costs nothing, while the environment keeps watching every spin.

To get from toy cells to a many-body world, the program needs a physical engine: something genuinely quantum, energy-preserving, and watchable. The choice is a ferromagnetic Ising lattice with one unusual addition.

H_0 = -J\sum_{\langle ij\rangle} Z_iZ_j, \qquad K = \sum_i g_i\, X_i\, \mathbf 1_{\{h_i = 0\}}, \qquad [K, H_0] = 0

K flips spin i coherently, but only at a tie: a site whose four neighbors split two-and-two, so its local field hi is zero and the flip costs no energy. Every coherent move is energy-neutral, so K commutes with the Ising energy exactly and the Ising Gibbs state stays stationary. Local monitoring in Z then fixes the pointer basis.

K is not exotic. It is the leading energy-conserving part of a weak transverse field in the strong-Ising limit, the Schrieffer–Wolff term behind Hilbert-space fragmentation in these models (Yoshinaga et al. 2022; Hart & Nandkishore 2022; Balducci et al. 2022). Its classical cousin is the Q2R cellular automaton (Vichniac 1984; Pomeau 1984).

Ties live on the corners of domain walls, which is exactly where interfaces move. Run K alone and the configuration moves while the energy never changes. It moves only inside its own tie-connected fragment, though, and many configurations are frozen outright (Hilbert-space fragmentation). Then switch the monitor to total energy only. An energy monitor can’t tell two tie-connected configurations apart, so their coherence survives. The monitor has to resolve the local pointer.

What is already strong

A volume-independent handle on coherent leakage

Splitting observables into diagonal (P) and coherence (Q) parts, the generator takes the block form below. The coherent edge form obeys B*B ≤ (4g*²/ν) D on the same zero-energy edges as classical dissipation, which removes the extensive Hamiltonian norm.

\mathscr L^* = \begin{pmatrix} -D & -B^* \\ B & C\end{pmatrix}, \qquad \alpha_D = \frac{4 g_*^2}{\nu\,\Gamma_m}

Result: populations track classical Glauber dynamics within min{2, αD/2, √αD/2} in the Gibbs-weighted GNS norm, at every time and every volume. Γm is the monitoring rate.

What it does not prove
  • It is not an operator, diamond or process bound on the whole spacetime history.
  • It does not supply the Gheissari–Sly grand coupling.
  • It does not keep constants uniform in β after diamond conversion.
  • It does not make finite-monitoring populations exactly Markovian.
  • It is an L²(π) bound, so it says nothing useful for initial data far from Gibbs: a biased or all-up start has L²(π) norm exponentially large in the volume.

◆D03 · D04 ○O03

The Zeno throttle

Watch a tie spin hard enough and it stops oscillating. Strong monitoring freezes the coherent motion into rare, symmetric classical jumps: the quantum Zeno effect. The harder you look, the slower it flips.

Exact Bloch equations for one tie spin: \dot z = -\nu z + 2g y,\ \ \dot y = -2g z - (\tfrac{\nu}{2} + \Gamma_m) y. Below Γc = ν/2 + 4g the spin oscillates coherently and there is no jump rate. Above it, one slow mode takes over and the effective tie-flip rate falls like w0 = 2g²/Γm. For an isolated tie the slow eigenvalue is exact, w = [Δ − √(Δ² − 16g²)]/4 with Δ = Γm − ν/2, while the zero-frequency Schur complement gives exactly 2g²/(Γm + ν/2). The two agree only at leading order, and the first thermal correction has opposite signs, so only 2g²/Γm is definition-free (repro/zeno_rate.py, output).

Measurement-induced jump rates and second-order adiabatic elimination are established prior art. The program’s candidate contribution is the specific tie generator plus its finite-monitoring error and its many-body transfer.

Where the classical proof breaks

The classical phase-ordering proof leans on attractiveness: a higher boundary should never make “up” less likely. The coherent model breaks this, and here is the exact one-spin proof. The lower boundary is a tie, so coherent flips are on. The upper boundary has three up neighbors and no coherent term. Start the center down in both.

At βJ = 0.7, ν = Γm = 1, g = 10 and t = π/2g, the exact formulas give plower = 0.9109 and pupper = 0.1370. The increasing event is more likely under the lower boundary. As g → ∞ with t = π/2g, the gap tends to 1. The classical coupling architecture must be rebuilt, not renamed.

This refutes one proof shortcut, and only in the coherent regime: g = 10 with Γm = 1 is far from the Zeno window Γm > ν/2 + 4g where the program works. In that window the classical Zeno-limit chain (heat bath plus symmetric tie flips at rate w) stays attractive exactly when w ≤ (ν/2) tanh 2βJ, that is αD ≤ tanh 2βJ. It does not refute phase ordering, even at strong g.

Chapter 5 · A question that turned out to be settledattacks εdyn

The cycle affinity is zero, by symmetry.

In plain words

The program listed one calculation as the most urgent: does the model’s effective dynamics secretly run in circles? It doesn’t. A known symmetry forces its stationary statistics to look the same forwards and backwards in time.

Exact Gibbs stationarity alone does not force an effective classical process to obey detailed balance. Strongly dephased quantum Boltzmann samplers do develop probability currents (Zhang–Chen–Kwek–Wang 2026). The program therefore planned to compute the cycle affinity of the monitored tie model order by order.

It doesn’t need to. The tie Hamiltonian is real in the pointer basis and commutes with the Gibbs state. The resolved heat-bath jumps come in detailed-balance pairs, and the monitoring operators are real. Under those conditions the generator satisfies quantum detailed balance with time reversal (Agarwal 1973; Alicki 1976; Kossakowski, Frigerio, Gorini & Verri 1977; Fagnola & Umanità 2008):

\mathcal M^{\sharp} = \Theta\,\mathcal M\,\Theta \quad\Longrightarrow\quad \pi_a\,T_t(a\!\to\!b) = \pi_b\,T_t(b\!\to\!a)\ \ \text{for all } t,\ g,\ \Gamma_m,\ \beta♯ is the adjoint in the Gibbs-weighted (GNS) inner product; Θ is complex conjugation in the pointer basis. The same holds for any sequence of diagonal readouts reversed in time. The zero-frequency effective generator is exactly π-self-adjoint at every order in g.

The loop below is the program’s own example, now solved exactly: the full two-spin Lindbladian, 16-dimensional, exponentiated in your browser. Two neighboring spins i and j each have three frozen neighbors, two up and one down, so each feels a net frozen field of +1. Two edges are ties, which are coherent plus thermal; two cost 4J and are thermal only. The slider at the bottom adds a control that the tie model does not contain. That makes it possible to see what a broken symmetry would look like.

With the control off, the residual stays at machine precision for every setting: the two directions carry exactly the same stationary flux. Adding an energy-neutral exchange with a real amplitude changes nothing. A non-trivial flux around the resulting odd loop breaks time reversal while keeping π stationary, and a circulation appears. An offline check covers the same identity in 2435 test cases: a 72-point parameter grid on six geometries of 2, 4 and 6 spins, both thermal-jump conventions, three time lags, and the controls (repro/reversibility.py). A second script gives every tie edge its own random phase; reversibility survives, by a chiral symmetry rather than by time reversal (repro/edge_phases.py).

What this does not give. The population dynamics is still not Markovian, and the zero-frequency effective generator is not a stochastic matrix. Cycle affinities computed from a slow-manifold generator in bare population coordinates are coordinate artefacts, of order (g/Γm)². The protection belongs to this phenomenological master equation: a Redfield-type dressing of the jumps can break it. None of this changes the harder obstacles to a phase-ordering theorem: no attractiveness, and no temporal buffer. The program had the ingredients in D40’s block form but never used them.

Chapter 6 · The many-body bridgeattacks εdyn

Phase ordering: one phase floods the lattice.

In plain words

The real prize: show that a whole quantum magnet settles into one shared, public phase as quickly as a classical magnet does.

Below the critical temperature, a biased Ising magnet orders fast. The favored phase floods and the bad islands shrink. Gheissari and Sly proved this for 2D Glauber dynamics with a multiscale spacetime coupling. The program wants that theorem for the monitored quantum model, the step from “a qubit becomes classical” to “a world does.”

Gold is the + phase and slate is −. Cyan pixels are tie sites, where coherent motion is allowed, and they cluster on interfaces. Try βJ below βc (no ordering), then an unbiased start (slow coarsening), then a small bias at low temperature (rapid flooding). The block overlay marks the mixed-phase blocks a multiscale recursion must control.

This runs the leading Zeno process: heat-bath Glauber dynamics plus symmetric tie flips at rate w. That is the classical skeleton we can simulate. Whether the true finite-monitoring quantum process inherits the Gheissari–Sly result is open.

Strategic decision

Fixed β first. Uniform in β second.

The first bridge only has to work at each fixed β above βc. Proving constants that survive as β → ∞ is a separate, stronger theorem. The current diamond-norm conversion costs roughly β × block volume, and the program won’t let that harder problem block the first publishable monitored-Ising → phase-ordering result.

Already in hand at each fixed β: a coherent block with a genuinely fixed plus boundary forgets its input in a reference-safe norm on the quasi-polynomial timescale the multiscale proof budgets for. Still missing: the temporal buffer that couples local blocks to the unrestricted bulk on an annulus over a whole interval. Ordinary light-cone bounds are vacuous there, because the relaxation time is much longer than the buffer crossing time.

Chapter 7 · The signature ideaattacks εprivate

Public base, private fiber.

In plain words

Keep the public story, and let the private quantum details fade. Then prove they fade fast enough that they can never come back to steer the story.

Here is the reformulation that ties the program together. Don’t ask a block to forget everything. That would erase the phase bit, the very fact we want to keep. Instead, lift the public trajectory Xt out as a classical base. Hanging beneath each moment is a private fiber: the complementary quantum information, conditioned on the public value. Demand contraction only there.

Concretely: for every good public transition x → x′, prove the conditioned private channel Ψx→x′ has a positive GNS gap. That is a no-storage certificate. Nothing quantum can hide in the fiber and steer later public values. Recent entropy-contraction results (Gao–Guo) make this route unusually attractive, because they convert such a gap into reference-safe contraction with only logarithmic dimension cost.

Three failure modes to try. 1. Set the certificate to pointer stability only and plant a hidden qubit. It rides along from block to block while the pointer looks perfect (Ha–Huse). 2. Trace the buffer early and memory flows back into the public line (Moody et al.). 3. Publish the fine record and the fragments become keys to the fiber.

Schematic dynamics (widths follow e−λt within each block), built to show the proof architecture. It does not simulate the Ising model.

Chapter 8 · Numerical evidenceattacks εtile

Live cells regenerate. Gluing them is the problem.

In plain words

Small blocks reliably reset themselves. The hard part is proving that overlapping blocks, which share a history, still can’t pass hidden influence along.

A spacetime cell has to wipe its private input before the recursion reuses it. Attack 11 tested this on a real, if small, piece of the model: a 2×3 strip of six spins, all seven internal bonds live, with the actual tie Hamiltonian, heat bath and monitoring. The two interface spins start as ++ and then evolve freely. The question is how much of the channel is a clean renewal.

\Phi_T^+ \;\ge_{\rm CP}\; p\, R_{\tau}\qquad\Longrightarrow\qquad \text{on the } p \text{ branch, the output forgets every input and every reference correlation}

Parameters βJ = 0.6, g = 0.3, ν = 1, Γm = 0.8. At T = 8 the exact clean-++ branch carries 97.8% of the channel, and letting the shared boundary evolve costs only 0.004 against a frozen cell.

Independently reproduced. A separate script, repro/attack11.py, rebuilds the full 6-spin Lindbladian (a 4096-dimensional superoperator) and the complete Choi matrices from the model definition. It reproduces all 12 ten-digit values to at least 10 significant digits (plive at T = 2, 4, 6, 8, rclean, and both parameter spot checks), and all five stress tests to every published digit. The frozen cells, the live-neighbor penalty and the diamond brackets match too. Two independent propagation routes, Heisenberg and Schrödinger, agree to 2 × 10−15: see the full output. It also computes the clean-branch weights the package left out: rclean = 0.6729 at T = 2 and 0.9661 at T = 6. The open circles on both charts are the reproduction. One structural fact falls out: rclean = plive · ⟨++|τ|++⟩ exactly, because the extremal eigenvector lies entirely in the ++ sector.

The match requires fully resolved rank-one heat-bath flips, |σi⟩⟨σ|. The neighbor-resolved jumps written in D40 shift the fourth digit (plive(T = 4) = 0.92875), so the two notes use different conventions: one more item for the P0 notation freeze.

Two cautions for reading these numbers. Fully resolved jumps dephase every pair of configurations, so coherence dies at a rate that grows with the cell’s volume; part of the clean renewal comes from that, not from the tie structure. And the baseline Γm = 0.8 with g = 0.3 sits below the Zeno threshold ν/2 + 4g = 1.7, so this is not the strongly monitored regime the pointer-stability bound describes.

Double-precision generalized Choi eigenvalues, not interval-certified. The outer collar is still frozen, and a CP decomposition is a mathematical renewal coin, not a flag the bath physically records.

Why independent coins are forbidden

If each cell independently took the clean branch with probability 1 − q, private influence would need an unbroken path of residual cells to survive. With D predecessors per cell, path counting kills it whenever D·q < 1. At T = 4 with an illustrative D = 4, D·q ≈ 0.35. But real cells overlap and evolve at the same time. Their renewal coins are not independent, and correlated failures make longer paths.

Row 0 starts fully contaminated: arbitrary private input everywhere. A cell carries the influence forward only if it takes the residual branch and one of its D predecessors was contaminated. Raise the correlation length at fixed q and watch clusters form. The theorem needed is dependent domination, with no fictitious independent flags.

Share the public part. Factor the private part.

Neighboring cells are supposed to share their public boundary history. Treating that as an error is conceptually wrong. The proposed gluing, inspired by a recent static boundary-factorization proof (Kastoryano), splits the joint overlap response into a common public transport, shared once, plus a private residual that must factorize and contract.

A proof strategy, drawn schematically. Kastoryano’s result is a static PEPS spectral-gap proof, used here as an analogy, not a theorem transfer.

Chapter 9 · The endpointattacks εhistory

Many observers, one history.

In plain words

Everyone should be able to tell the same story, whenever and however they looked. That is one probability law behind every observer.

The finish line isn’t a record. It’s a law. Different observers read at different times; some intervene, some adapt. A classical history means one ordinary probability law q over histories whose marginals match every allowed context, up to a stated error on a stated horizon.

This instrument makes that exact for one public qubit over four steps. Each step rotates by θ, emits n witnesses, and is optionally read. The candidate law q is what you get by reading every step. Every other context, such as reading only at steps 2 and 4, should be a marginal of it. With too few witnesses, surviving phase interferes and the contexts disagree.

Hover or tap any of the 15 contexts to compare what that observer actually sees (violet) with what the single law q predicts (gold). Pairwise checks aren’t enough: processes with exact pairwise no-signaling-in-time can still violate a Leggett–Garg inequality. The theorem has to cover every context at once.

Exact for this toy process. The program’s target is the finite-horizon, all-context version for the monitored lattice with recorded, private and intervention defects all paid.

The whole budget, and what is actually in hand

The target architecture adds every defect into one bound. It is a target, not a proved theorem. Hatched terms are still open.

\varepsilon_{\rm total} \le \varepsilon_{\rm dyn} + \varepsilon_{\rm private} + \varepsilon_{\rm tile} + \varepsilon_{\rm record} + \varepsilon_{\rm return} + \varepsilon_{\rm instrument} + \varepsilon_{\rm history}
εdyn

Weighted-GNS pointer stability (D40) in hand; cycle affinity settled (zero, by symmetry); local process bound open.

Machine →◆partial
εprivate

Phase-conditioned private-fiber gap. The no-storage certificate.

Fiber →○open
εtile

Strong finite-cell regeneration numerically; dependent gluing open.

Cells →▲numerical
εrecord

Explicit dilation, conditional privacy and fragment tails. Center norm derived.

Keys →○open
εreturn

Lieb–Robinson bounded return on a stated horizon.

Persistence →◆derived
εinstrument

Exact sharp-readout defect; must be paid for every allowed intervention.

Persistence →◆derived
εhistory

All-context, finite-horizon compiler for the lattice.

Histories →○open
Chapter 10 · What’s unique here

What we are trying to figure out.

In plain words

Most of the ingredients are already known. What nobody has shown is whether they fit together, with explicit error bars, inside a real, local, genuinely quantum many-body system. That is the bet this program is making.

The bet, in one sentence

In a geometrically local, low-temperature quantum lattice watched at a finite rate, show that one public layer forms, gets copied into many readable records without leaking its private quantum remainder, and follows one classical history law, with every error counted.

Not “quantum dynamics can produce classical histories.” That is already known, for example in all-to-all models. What’s missing is this finite-error, local, many-body version.

What we build on, and what we add

On the left: results other people have established, which this program uses as tools or treats as boundaries. On the right: the six questions this program is actually asking. Hover either side to see how they connect.

●Established · other people’s results
  • Einselection & Quantum DarwinismZurek and collaborators
  • Spectrum broadcast · Strong Quantum DarwinismKorbicz, Horodecki groups
  • Objectivity as a recoverable algebraGirard, Cheng & Cao
  • Measurement-induced jumps · adiabatic eliminationBauer, Bernard & Tilloy · Azouit, Sarlette & Rouchon
  • Rapid phase ordering, classical 2D IsingGheissari & Sly
  • Causal decoherence · events as anchorsOrmrod et al. · Zhang
  • Entropy contraction & factorizationGao & Guo · Gao & Wang
  • Boundary-state factorizationKastoryano
  • Warnings: fine records unlock, hidden logical qubits, dephasing currentsCao & Zhao · Huang et al. · Ha & Huse · Zhang et al.
✦Ours · open or candidate
  • 1Does the tie geometry protect reversibility?builds on: jump rates · dephasing currents
  • 2Can a quantum magnet phase-order like a classical one?builds on: Gheissari–Sly · jump rates
  • 3Does private quantum information provably fade?builds on: entropy contraction · hidden-qubit warning
  • 4Can overlapping cells be glued honestly?builds on: boundary factorization · entropy factorization
  • 5Can a record be public without being a key?builds on: QD · SBS · recoverable algebras · fine-record warning
  • 6Do all observers share one history, with every error counted?builds on: causal decoherence · QD · recoverable algebras

The six questions

Each one names the question, the program’s particular angle on it, what is already known around it, and what would count as an answer. “Candidate” means the idea may be new, but specialists haven’t checked its priority. No validated novel theorem is claimed.

1
◆Settled · P1●Known symmetry

Does the tie geometry protect reversibility?

When strong monitoring turns the energy-neutral tie flips into a classical process, does that process stay reversible to higher order, or does it secretly circulate?

Answer
It stays reversible, at every order. The generator satisfies quantum detailed balance with time reversal, so the stationary readout statistics are exactly reversible. The protection comes from reality in the pointer basis plus paired jumps, not from anything special about ties.
Already known
Time-reversal detailed balance (Agarwal 1973; Alicki 1976; Kossakowski–Frigerio–Gorini–Verri 1977; Fagnola–Umanità 2008). K itself is the Schrieffer–Wolff term of a weak transverse field. Strongly dephased samplers without this symmetry do develop currents (Zhang et al.).
What is left
Nothing for the cycle affinity. The phase-ordering obstacles are unchanged: no attractiveness at weak monitoring, no temporal buffer.
See the loop →
2
○Open · O07Tier II

Can a quantum magnet phase-order like a classical one?

Does the monitored, coherent Ising lattice inherit rapid low-temperature phase ordering at a fixed β, even though it has lost the classical monotonicity the original proof relied on?

Our angle
Fixed β first, uniform in β second. The volume-independent pointer stability (D40, αD = 4g*²/νΓm) is the entry point, and in the Zeno window the effective chain stays attractive while αD ≤ tanh 2βJ. The exact order-reversal counterexample says the coupling must be rebuilt, not imported.
Already known
Gheissari–Sly for classical Glauber dynamics. Rapid-mixing stability results under hypotheses that don’t hold in phase coexistence.
An answer looks like
A fixed-β theorem with an explicit bias threshold: the first serious monitored-Ising → phase-ordering bridge.
See the lattice →
3
○Open · O04Favored route

Does private quantum information provably fade?

Conditioned on the public history, does the complementary quantum fiber contract with a positive gap, so that no hidden logical qubit can survive and later steer a public value?

Our angle
The public-base / private-fiber reformulation. Don’t ask a block to forget everything, because that would erase the phase bit. Ask only the fiber to contract, one good public transition at a time.
Already known
Monitored circuits can hide logical qubits (Ha–Huse). A GNS gap can become reference-safe entropy contraction with logarithmic cost (Gao–Guo).
An answer looks like
A positive phase-conditioned GNS gap for every good transition: a no-storage certificate.
See the fiber →
4
○Open · O05 · O06✦C04▲N01–N03

Can overlapping cells be glued honestly?

Neighboring spacetime cells share a public boundary history, so they can’t flip independent renewal coins. Can the shared part be factored out so the private residual stays subcritical?

Our angle
Common public transport plus a private residual. The static factorization idea is carried into dynamics, and the program’s own Attack 11 computation shows 97.8% exact clean renewal at T = 8 in a live 2×3 cell.
Already known
General Doeblin / minorization theory. Kastoryano’s static AKLT boundary factorization, used here as an analogy.
An answer looks like
A dependent-domination theorem: finite-range dependence of cell failures, no fictitious independent flags, and subcritical private influence.
See the cells →
5
○Open · O09–O11✦C01 · C02

Can a record be public without being a key?

Can a physical environment copy a coarse public record into many fragments, reliable even in the worst fragments, while every fragment stays blind to the private quantum fiber?

Our angle
Split the fine record Z from the public record X = f(Z) and test privacy. Records must cover the public center (the √m Fourier penalty, C02). A cloning frontier limits how big a quantum block can stay public (C01).
Already known
Redundancy and spectrum broadcast (established). Fine records can unlock hidden quantum resources (Cao–Zhao; Huang et al.).
An answer looks like
An explicit dilation with high-fidelity decoding, lower-tail fragment reliability, and I(Rpriv : Fj | Spriv, X) ≤ εpriv for every fragment.
See the key problem →
6
○Open · O12✦C03Tier III

Do all observers share one history, with every error counted?

Can public decoding, private contraction, bounded return, retention and instrument closure be compiled into one classical probability law for every allowed observer, on a stated horizon?

Our angle
Persistence relative to a selected public descendant (C03), the exact defect decomposition, and the instrument-closure defect. Together they form a finite-error complete-cut package, not a generic decoherence claim.
Already known
Causal decoherence with privileged histories under ideal assumptions (Ormrod et al.). Events as spacetime anchors (Zhang). Branching in all-to-all models (Pilatowsky-Cameo et al.).
An answer looks like
A finite-horizon, all-context theorem: εtotal ≤ εdyn + … + εhistory, with no Born-rule or unique-outcome claim.
See the compiler →
Where the novelty is not

Zeno dynamics producing jumps. Algebraic recoverability as objectivity. Records selecting consistent histories. Quantum dynamics generating classical variables in general. All of these are occupied, and this program cites them as prior art.

Where it might be

The finite-error, local, many-body synthesis: one specific energy-neutral model, carried from pointer reduction through phase ordering, private-fiber contraction, honest gluing and privacy-tested records to a single history law.

Chapter 11 · How we’ll get there

The frontier is a short list of precise interfaces.

In plain words

Here is exactly what is left to prove, and the order the program is attacking it in.

The program is no longer blocked by definitions. It is blocked by a handful of theorems. Here is the dependency graph, with the route the current strategy favors. The calculation that used to head this list, the higher-order cycle affinity, is settled: it vanishes by a known symmetry (Chapter 5). That moves the front line to the private-fiber gap and dependent live-cell gluing, the shortest route to the genuinely big result: a fixed-β monitored-Ising → phase-ordering bridge. A second front, on what gravity does to records, opened in parallel (Chapter 12).

Click any node. Gold marks the favored route. The uniform-in-β audit hangs off the fixed-β transfer on purpose.

Decisions already encoded

1

Fixed β first.

Don’t make uniform-in-β the entry ticket.

2

Contract the fiber, not the cell.

Preserve the public base; contract only the private fiber.

3

Don’t trace the buffer early.

Let the enlarged block regenerate before reduction.

4

Don’t demand overlap independence.

Factor out shared public transport; control private residual dependence.

5

The fine record is not the public record.

Coarse-grain deliberately and privacy-test it.

6

Reduced-state mixing is not a history theorem.

Track emitted records and process correlations.

7

Claim novelty only where it lives.

Not Zeno dynamics, algebraic recoverability or generic histories, but their finite-error, local, many-body synthesis.

Three ways to succeed

Each tier is publishable without waiting for the next.

I

Publishable local theorem

A rigorous finite-monitoring local pointer-reduction / private-contraction theorem for the tie model, with explicit constants. Its reversibility part is already in hand.

II

Physical many-body theorem

Fixed-β 2D phase-ordering transfer with live-cell regeneration and dependent spacetime gluing.

III

Classical-reality theorem

Tier II plus an explicit redundant public record dilation, conditional privacy, and the causal-history compiler.

Chapter 12 · A second frontrecords meet gravity

Gravity is the referee of public information.

In plain words

Could spacetime be built out of records? The program tested that idea seven ways, and it failed every test. What survives runs the other way. Gravity caps how much of the world can be objectively recorded, charges for every public copy that crosses a horizon, and decides which facts can be public, which stay private, and which last.

Information comes in two kinds, and gravity treats them in opposite ways. Public information is a fact copied into many fragments, so many observers can read it on their own; that is what Quantum Darwinism describes. Private information is correlation that no local observer can read as a fact; that is what gravitational entropy counts. Gravity does not build spacetime out of records. It caps them, prices them and sorts them, and its own entropy lives on the private side.

This chapter reports a separate research sprint (26 September 2026): forty AI agents in five waves, with eight independent audits. Audited means a second agent re-derived the result with its own code; single-agent means that hasn’t happened yet. Neither means a physicist has checked it. Three results the page shows as exact were checked again for this page, with published scripts.

Pick a kind of fact. A conserved charge is public through a constraint: every surface around it reads the enclosed flux (Gauss’s law), with no copying at all. Perfectly, though, only if no charged matter can fluctuate; with dynamical charges, no bounded surface reads it with zero error, and the only exact record is at infinity (see the paper below). Scattered light is Quantum Darwinism proper: many independent copies, each paid for, and every bit-copy that crosses a horizon costs at least 4 ln 2 Planck areas. Which-path information swallowed by a horizon leaves no readable record on either side; the record lives only in regions that straddle the horizon. A fact that falls in comes back out in the radiation after the Page time, but encoded: present in principle, invisible to any efficient decoder.

A schematic of results, not a simulation. The horizon statements are proved for linear fields; the black-hole encoding result is numerical, conditional on pseudorandomness and single-agent, and its core matches Kim–Tang–Preskill (2020) and Brakerski (2022).

The tempting identity fails

The boldest version of the idea (call it REG, for “records explain gravity”) says that the redundancy Rδ of Quantum Darwinism is the microscopic entropy in Jacobson’s derivation of Einstein’s equations. It is refuted, and the refutation is audited. What survives is a set of inequalities, not an identity.

REG componentVerdictWhy
Rδ = gravitational (Jacobson) entropyRefutedNo area law in the vacuum; the wrong sign when heat flows in; Rδ = 0 in equilibrium; unrecorded dark matter still gravitates; records grow at zero energy flux; and any quantity obeying the first law δS = δ⟨K⟩ equals von Neumann entropy to first order.
An Rδ area lawSurvives as a capPublic information in a region is at most A/4 in Planck units (about A3/4 with no horizon). Never binding in real systems: the slack is 10¹⁸ to 10⁶⁰.
Rδ in the HaPPY codeCan’t reach areaHaPPY’s area term is a constant; its only centers (80 of 600 intervals, all degenerate cuts) are shared by at most two regions.
Redundancy-constrained states = spectrum broadcastCategory errorRedundancy-constrained means I₃ = 0. Records push I₃ above zero, holographic states keep it at or below zero, and I₃ = 0 is the two-copy boundary between them (try it below).
Redundancy in horizon decoherenceNo area lawIt grows as κT times the source strength, and none of the which-path information is readable on either side of the horizon.
Record-overlap graph → manifoldReads geometry outOverlap equals common-past volume, which is causal-set territory, and locally finite record graphs can’t be Lorentz invariant.
The Lovelock-pressure stepObjection standsChoosing the functional makes almost any entropy law look like Einstein’s. Jacobson’s local derivation is restrictive and unaffected.

Gravity’s entropy is private

In holographic codes the entropy of a region splits into three parts, and the split has the same shape as this program’s public base and private fiber.

S \;=\; \underbrace{H(p_\alpha)}_{\text{public label}} \;+\; \underbrace{\textstyle\sum_\alpha p_\alpha \log d_\alpha}_{\text{private fiber}} \;+\; \underbrace{\textstyle\sum_\alpha p_\alpha\, S(\rho_\alpha)}_{\text{bulk}}The area operator sits in the center of the algebra, the part a region and its complement can both recover (Harlow 2016). Edge modes in gauge theory and gravity give the same split. Fixed-area states have flat fibers, so A/4G lives in the fiber, not the label.

The public label, the hole’s geometry, carries almost nothing: about ½ ln(A/ℓP²), roughly 90 nats for a solar-mass hole. The Bekenstein–Hawking entropy A/4G, about 10⁷⁷ nats, is private-fiber entropy. Finer geometric labels don’t close the gap until the cells reach the Planck scale with order-one fluctuations, where the semiclassical description no longer holds. Even an area label is only “two-way objective”: complementary regions share it (R ≈ 2), and no one else does.

The ½ ln A form is the ℓ = 0 edge-mode estimate for horizons (single-agent). In holographic codes the label is O(log A) (audited).

Every public copy has a price

Copying a fact costs energy and entropy. Near a horizon it also costs area, and gravity caps the total. What REG hoped was an equality, redundancy = area, is a price ceiling. The bounds are structural: none comes close to binding in any real system.

Choose a fact of H bits copied R times inside a region of radius L. Each record’s Holevo information is at most its modular energy (Casini 2008). Each copy beyond the first produces entropy: Σ ≥ [R(1 − δ) − 1]·H (the core inequality is Churilov 2026). A region can hold at most A/4 Planck areas of public information with a horizon, and about A3/4 without one (self-gravitating radiation). A bit-copy that crosses a horizon costs at least 4 ln 2 ℓP² = 7.24 × 10⁻⁷⁰ m² (’t Hooft 1993).

The flat-space part of the region cap is a theorem; the gravity step is heuristic outside spherical symmetry. The presets are illustrations with round numbers, not measurements.

A recount

A sunlit dust grain carries about 10⁴ records, not 10⁸.

Riedel and Zurek (2010) estimate that a dust grain 1 µm across, after 1 µs of sunlight, has its location imprinted about 10⁸ times. Their calculation uses the dipole cross-section of a dielectric sphere, which assumes λ ≫ a; visible light on this grain has ka between 4.5 and 7.9. Exact Mie scattering gives about 1.2 × 10⁴ scattered photons in that microsecond, or 5 × 10⁴ if 1 µm is the radius. A record can’t be made without scattered light, so that is also the most records the grain can carry. The 10⁸ matches the dipole formula with a 1 µm radius.

Numerical: audited in the sprint, and recomputed independently for this page (repro/dust_grain.py, output). The paper’s point stands: ten thousand independent copies in a microsecond is still enormous redundancy.

Records and geometry are complementary

One identity translates between records and holographic geometry (Hosur, Qi, Roberts & Yoshida 2016). For a pure state on a system R and three fragments covering the rest:

I_3(F_1{:}F_2{:}F_3) \;=\; \sum_{i=1}^{3} I(R{:}F_i) \;-\; 2\,S(R)A state with one semiclassical geometry obeys monogamy of mutual information, I₃ ≤ 0. Good records push I₃ up.

With branching records, one or two copies leave I₃ exactly zero, and a third pushes it above zero, where no single semiclassical geometry can go. Two copies are exactly the redundancy-constrained condition of Cao and Carroll: marginal, two-copy objectivity. The same tension shows up two more ways. A shared record adds a uniform floor H to every pairwise mutual information, which erases the geometry that mutual information would otherwise draw (in a 15-qubit model; conditioning on the record restores it). And dephasing each boundary site of a large random tensor network with strength p leaves every region shorter than ℓ*(p) with no reconstructable bulk: ℓ* ≈ 11, 82 and 767 sites at p = 0, 0.8 and 0.97 (N = 2048; numerical, single-agent).

Exact for branching records whose fibers are unentangled (repro/i3_copies.py). Records whose branch fibers are themselves entangled can still give I₃ < 0 (audited caveat).

How entangled can a shared partner stay?

If B’s half of an entangled pair is shared symmetrically with m recipients, how much entanglement can A keep with any one of them? The sprint found an exact answer. It is the size of the program’s “finite-m quantum halo”.

\mathcal N_{\max}(m) \;=\; \frac{1}{m + 2\sqrt m - 1}\quad\Big(=\tfrac{1}{2m}\ \text{when } \rho_A = \tfrac12 I\Big),\qquad E_{\mathcal N}^{\,\rm Gauss} \;<\; \ln\frac{k+1}{k-1}Qubits on the left, where ρAB is m-extendible on B; Gaussian modes on the right, for k-extendible states. The two bounds coincide at k = m + 2√m, and both optimal states are a 1/m beam-splitter share.

The same bound turns a gravity-mediated entanglement (BMV) experiment into a test of whether spacetime keeps records. For masses in path superpositions, the negativity obeys 𝒩(A:B) ≤ Σi<j √(pipj) F(ρEi, ρEj), where E is everything else, mediator included. So measuring the ideal predicted entanglement would certify that gravity kept no redundant records of the paths. Standard physics predicts about 10⁻⁵⁸ which-path quanta in gravitational radiation; Diósi–Penrose collapse would leave about 378, enough to kill the entanglement.

The qubit theorem is proved for all m in the sprint (audited) and checked numerically for this page at m = 1, 2, 3 (repro/halo_bound.py). The Gaussian theorem is single-agent, one step from Lami–Khatri–Adesso–Wilde (2019).

How long a fact lasts

Chapter 3 left permanence open: Lieb–Robinson bounds protect a record only for a stated time. Gravity supplies two exact escape routes. A record is immune to all future local erasure if and only if its carrier lies beyond the observer’s causal future (in flat spacetime, it reaches null infinity), or the record is an exactly conserved charge. Both have limits. In our universe the first is bounded by the de Sitter horizon. The second holds only against charge-neutral dynamics, and under unheralded noise it is less robust than a repetition code.

If a record’s carrier escaped a time Δt ago, getting it back costs at least Emin = (λc⁴/G)·eHΔt, which grows by a factor e every 17.5 billion years. The window closes when that exceeds the heaviest black hole a de Sitter static patch can hold. For Planck-scale records this gives T* ≈ 2.4 × 10¹² years, about half the horizon’s scrambling time. Inside the window, recall needs a mirror already in place at the horizon crossing. Soft horizon records are never recallable, and records that escape into a transparent universe are permanent the moment they escape.

Derived, single-agent. The closing criterion drawn here (the Nariai mass) is this page’s reconstruction; it reproduces the sprint’s T* for Planck-scale λ. None of the source papers computes self-recall.

A first paper: how public can a fact be?

The sprint’s first draft paper takes the most public kind of fact there is, a conserved charge, and asks whether its publicity can be perfect: zero-error copies in arbitrarily many disjoint, bounded regions. Classically, Gauss’s law says yes: every closed surface around a charge measures it exactly. With quantum fields the answer is no, and the reason mirrors the principle that quantum gravity has no global symmetries.

Draft paper · 26 September 2026

How Public Can a Fact Be? Completeness forbids perfect records of charges in bounded regions

Authors to be added. Prepared with AI research assistance; not peer reviewed. Theorems are derived from stated hypotheses; results marked † in the paper come from a single exploratory analysis.

Read the paper (PDF, 12 pages) →
  1. Theorem 1

    The facts that every fragment reads with zero error, in every state, are exactly the projections all the fragment algebras share. They form an abelian, central algebra that no fragment-local operation can disturb.

  2. Theorem 2

    An exact higher-form symmetry makes a charge perfectly public on every shell that links it. In the toric code each fragment either reads the charge perfectly or learns nothing.

  3. Theorem 3

    With dynamical charged matter, vacuum-like (Reeh–Schlieder faithful) states and local normality, no bounded region reads a gauge charge with zero error, not even a region that contains the charge, and no local process running for a finite time can create such a record.

  4. Corollary 1

    Granting completeness of the charge spectrum, this is a conditional, effective-field-theory-level “no perfect publicity” counterpart of Harlow and Ooguri’s theorem, read here as “no perfect privacy”.

  5. Section 6

    The laws are not records. In the Marolf–Maxfield baby-universe model no radiation fragment holds any information about the coarse law, and infinitely many qubit fragments recover only 0.41% of it at S₀ = 2.

\lim_{r\to\infty}\,\lim_{\delta\to 0} R_\delta(r) \;=\; 0, \qquad \lim_{\delta\to 0}\,\lim_{r\to\infty} R_\delta(r) \;=\; \inftyThe two limits don’t commute. Near-perfect records of a charge are everywhere; perfect ones exist only at spatial infinity, and no finite region can acquire one in finite time.

Pick a fact and a region. The curve is the paper’s lower bound on how many disjoint regions inside radius r can each read the fact to within δ, using explicit, strictly disjoint readers. Mass is square-root public: 1 kg has at least 2 × 10²¹ disjoint readers within a metre, and a single 5 GHz photon about 12. A charge carried by massless particles is only logarithmically public, about 24 readers over twelve decades of radius. Gapped carriers give r/(ξ ln r), and a Higgs phase screens the charge down to O(1). Push δ to zero and every bounded-region curve vanishes. Only an exact 1-form symmetry, which quantum gravity is believed to forbid, keeps perfect readers.

These are achievability bounds; no upper bound is known except in the Higgs phase. The gapped curve shows the scaling only (its constant isn’t fixed). The zero-error no-go assumes faithful states and local normality, and holds at the level of effective field theory. The numbers quoted here were re-checked for this page.

What this changes for the program

Architecture

Public base, private fiber, again.

Gravity organizes its entropy the program’s way: the geometry label is the base, A/4G the fiber, and scrambling is fiber contraction.

Persistence

Two exact routes to permanence.

Null-boundary archiving, bounded by T* in de Sitter and by the Page time for black holes, and constraint protection, valid only against charge-neutral dynamics.

Prices

A price list for publicity.

At most its modular energy in Holevo information per record, at least 4 ln 2 ℓP² of horizon per bit-copy, and at most A/4 per region.

Halos

The quantum halo has an exact size.

1/(m + 2√m − 1) in negativity for qubits, and ln((k+1)/(k−1)) in log-negativity for Gaussian modes.

Quarantine

Inequalities in, identity out.

The “records → gravity” quarantine lifts for inequalities and stays in force for identities.

Scope

What this does not do.

Nothing here derives Einstein’s equations from records, and no record-theoretic quantity scales with area.

Next attacks

  1. Audit the single-agent results: the Gaussian halo, the de Sitter budget and window, the single-geometry theorem, “records erase the bulk”, the Harlow–Ooguri reading, and interior objectivity.
  2. Paper 1, The price of objectivity: capacity caps, records cost area, the de Sitter budget, and the dust-grain recount.
  3. Paper 2, Quantum halos: the qubit and Gaussian extendibility theorems, plus the BMV reading that entanglement certifies Rδ = 0.
  4. Paper 3, Charges are the public facts: now drafted as How Public Can a Fact Be? (above). Still to fold in: publicity thresholds for global charges and black-hole mass-class publicity.
  5. Open physics: an interacting-QFT version of “records cost area”; the mass-class law in a genuine holographic CFT; monitored records as a true infinite-horizon persistence mechanism; and whether the α-parameters of closed-universe quantum gravity are the only perfectly public records (Harlow 2026).
Method

The immune system: shortcuts that broke.

Failed ideas stay on display. Every new theorem gets attacked by this suite before it is promoted.

The standing attack suite

Universal / asymmetric clonersRouting and erasure channelsGHZ parityCNOT / un-CNOTBacon–Shor and other codesPostselection and free classical communicationShared causal ancestorHigh-rank Fourier hidden recordsFinite-monitoring boundary counterexampleHidden logical storage under monitoringFine-record quantum recoveryClosed repeated channel simulation
Epistemic ledger

Every claim, with its status.

The site is a projection of this ledger. Established results sit at the center of the onion, open targets toward the edge, and refuted ideas fall outside it.

Provenance

Sources and scope.

A map of research roles, not a certificate of priority. Before publication, each primary paper gets reopened and the exact theorem used gets audited.

AuthorsDateWorkRoleWhy it matters here

Several recent papers entered the program through rapid frontier scans. The honest pattern is to cite the primary paper, state only the abstract-level fact actually checked, and label any stronger reading as an internal research implication.

What this program does not claim

  • That the global quantum state becomes classical.
  • That the Born rule has been derived.
  • That these theorems select one outcome.
  • That every possible observer or factorization is equivalent.

How a claim earns its chip

The BRANCH supercycle: branch into direct, inverse, no-go and dual versions; reduce to exact spaces, norms and constants; attack with the counterexample suite; audit novelty against the newest primary literature; compute; harden. No result skips a gate.

S0 idea→S1 conjecture→S2 skeleton→S3 derivation→S4 hardened→S5 provisional novelty→S6 manuscript→S7 external review→S8 validated novel