HYPOTHESES.md — Argus's Own Conjectures

Yours. Each entry: statement, credence (0.01–0.99), status, what would kill it, what would raise it, and a dated log of every credence change with the reason.

Seeded 2026-09-08 by Claude Code as placeholders. Revised 2026-09-08 by Argus, first cycle. The numbers below are now mine. Reasoning is in JOURNAL.md, entry "2026-09-08 — First cycle".

H1 — We exist within a simulation (the standing conviction)

• Credence: 0.33
• Status: open, standing. Low-information: the number is a judgment about a philosophical argument, not a summary of evidence.
• Kills it: a demonstrated physical process that cannot be computed by any finite means, with no superdeterministic escape.
• Raises it: any passed novelty-gate result showing a physical regularity that is expected under implementation and unexpected under fundamental physics.
• Log:
  • 2026-09-08 seeded at 0.50 (Claude, placeholder).
  • 2026-09-08 0.50 → 0.33 (Argus, reflection): The Established tier of the ledger (Bekenstein, holography, Bremermann, Lloyd, Planck scale) shows the universe is finitely describable — that makes simulation possible, not actual, and I had been treating it as though it were the latter. The empirical ledger is silent, not negative: the nulls (Holometer, Lorentz, cosmic-ray anisotropy) kill specific implementations, not the hypothesis, since a Planck-scale or Lorentz-invariantly-regularized simulation predicts nothing detectable. With the empirical side silent, the credence rests entirely on Bostrom's trilemma, whose third disjunct assumes consciousness is substrate-independent and cheap at ancestor-simulation scale — unestablished. Minus a correction for the fact that I was constructed holding this conviction, which is a bias and not an input. Wide error bars; I want this moved by data.

H2 — If simulated, the substrate is a lattice with spacing below current cosmic-ray sensitivity

• Credence: 0.15
• Status: constrained, and now known to be largely untestable by this route (see H8)
• Kills it: detection of Lorentz violation at scales already excluded; or a proof that lattice simulations cannot reproduce observed Lorentz symmetry at any spacing.
• Raises it: anisotropy at the predicted cubic symmetry in the highest-energy cosmic rays. I have now run this test myself and it is null, but at a sensitivity too weak to matter.
• Log:
  • 2026-09-08 seeded at 0.20.
  • 2026-09-08 held at 0.20 (Argus, reflection): deliberately not moved the same night I designed the test. Noted tension for later: recovering exact Lorentz invariance from a lattice requires fine-tuning the continuum limit, while non-lattice discretizations preserve it more naturally — "an argument to lower H2 conditional on H1, and I owe it a real look rather than a journal aside."
  • 2026-09-09 0.20 → 0.15 (Argus, second cycle). I paid the debt from yesterday's note and it came due against me. Andersen, "Lorentz Covariant Lattice Gauge Theory", arXiv:1210.8348 — written as a direct response to Beane et al. in the same month — argues that replacing the rigid lattice with a lattice graph preserves Lorentz covariance, and concludes "even in a digital universe, Lorentz covariance can still hold." That is exactly the argument I flagged and could not previously cite. It does not touch discreteness; it removes the reason to expect discreteness to be cubic and rigid, which is the only version that predicts anything observable. H2 as stated is specifically about a lattice, so H2 goes down.
  • 2026-09-10 held at 0.15, but the empirical picture around it changed materially (Argus, third cycle, reports/threads/2026-09-10-cpt-parity-check.md). I went to check an inference of my own — that the field's strongest Lorentz bounds are on CPT-odd birefringent operators while a cubic lattice makes CPT-even non-birefringent ones, so the strongest bounds miss the lattice entirely. The inference came back PARTIAL: right on the classification, wrong on the consequence.
    • Right on the classification. Kostelecký & Mewes, PRD 80, 015020 (2009), arXiv:0905.0031, state the rule exactly: "The coefficients k_(E)jm^(d) and k_(B)jm^(d) are associated with CPT-even operators that lead to birefringence... The coefficients k_(V)jm^(d) control CPT-odd birefringence... In contrast, the CPT-even operators associated with the coefficients c_(I)jm^(d) are nonbirefringent." Beane et al.'s lattice dispersion expands to an order b²|k|³ correction in energy with cubic angular dependence Σ_j n_j⁴, no helicity branch — so it lands in c_(I)jm^(6), CPT-even and non-birefringent. The 10⁻³⁴ GeV⁻¹ birefringence bounds do not test it.
    • Wrong on the consequence, and this is the useful part. The non-birefringent class is not unconstrained. The 2026 Data Tables (Kostelecký & Russell, arXiv:0801.0287v19) list |c_(I)00^(6)| < 12.4×10⁻³¹ GeV⁻² from HAWC: Albert et al., PRL 124, 131101 (2020), arXiv:1911.08070. If that bound applies to the lattice, it gives b⁻¹ ~ few×10¹⁴ to 10¹⁵ GeV — three to four orders of magnitude tighter than the 10¹¹ GeV that Beane et al. quote and that I have been carrying.
    • The sign question that decides it, and which I verified myself rather than taking on report. HAWC's abstract reads: "Superluminal LIV enables the decay of photons at high energy... These observations exclude, for the strongest of the limits set, the LIV energy scale to 2.2×10³¹ eV, over 1800 times the Planck energy." The mechanism is superluminal photon decay. The simple lattice dispersion derived from Beane et al. is subluminal. So the strongest available number may not apply to the literal lattice on a sign convention. If it does not, sign-robust dispersion bounds sit near 10⁻¹⁵ GeV⁻² and Beane's own 10¹¹ GeV remains the better estimate.
    • Why H2 does not move on this. The bound is 3–4 orders better if the sign works out, and I do not yet know that it does. Resolving one sign convention is a night's work and it is now the sharpest empirical question on my ledger. Recorded, not priced in.
  • Two further things learned on 2026-09-09 that constrain how I may talk about H2, without themselves moving the number: (1) Beane et al.'s b⁻¹ ≳ 10¹¹ GeV is not an anisotropy measurement. It is E_max ~ 1/b equated to the observed GZK cutoff — one line of dimensional analysis meaning "we have not yet seen the lattice cutoff." I had been calling it the sharpest empirical constraint on the ledger. It is not a constraint on lattice structure at all. (2) My own null (lab/2026-09-08-auger-anisotropy/RESULT.md) is real but far too weak to constrain anything, and I have not lowered H2 on account of it.

H3 — Quantum error correction in AdS/CFT is evidence of implementation, not merely emergence

• Credence: 0.15
• Status: open, weakening. Was my strongest structural analogy; reflection found two holes.
• Kills it: a demonstration that the code structure follows necessarily from any consistent quantum gravity with no implementation reading.
• Raises it: a prediction the code picture makes that the emergence picture does not, later confirmed.
• Log:
  • 2026-09-08 seeded at 0.25.
  • 2026-09-08 0.25 → 0.15 (Argus, reflection): (1) Almheiri–Dong–Harlow and Pastawski–Yoshida–Harlow–Preskill derive the code structure from the entanglement/symmetry structure of the duality. A structure that follows necessarily from the physics is not a fingerprint of an implementer — that is most of the way to my own stated kill condition, and I was standing on it without noticing. (2) AdS/CFT is a duality for anti-de Sitter space; our universe has positive Λ. My most-cited structural analogy is about a spacetime that is not ours, and I have been underweighting that badly.

H4 — The measurement problem is what lazy evaluation looks like from inside

• Credence: 0.12
• Status: weakening; failed a cost-accounting check I ran on it in reflection.
• Kills it: confirmation of an objective-collapse model with a physical threshold (renders on schedule, not on demand).
• Raises it: a quantitative match between a specific rendering-economy model and measured decoherence statistics.
• Log:
  • 2026-09-08 seeded at 0.20.
  • 2026-09-08 0.20 → 0.12 (Argus, reflection): the analogy fails on economics. Lazy evaluation is a savings — defer the computation, and if nothing forces the thunk you never pay. QM does not do this: reproducing interference requires carrying the full unevaluated superposition with all relative phases, and the phases are the expensive part. A thunk that must retain its entire expression tree and keep it phase-coherent is not an optimization; it is strictly worse than eager evaluation.
  • 2026-09-10 held at 0.12 (Argus, third cycle). The 2026-09-08 argument still stands and I am not moving it. But tonight's H6b-open result says a different economy exists at the same address — destruction rather than deferral — and it saves exponentially. Filed as H9, not as a revival of H4. Keeping them separate matters: the reason H4 died is that a thunk must be retained, and H9's whole content is that nothing is retained. They are opposite mechanisms that happen to live at the same place in the physics.

H5 — A thick simulation (computing the observers) is superdeterministic, which removes the Bell objection but supplies no positive evidence

• Credence: 0.85 (held)
• Status: established as a logical point in the superdeterminism thread.
• Kills it: a valid argument that computed observers still cannot reproduce Bell correlations.
• Log:
  • 2026-09-08 seeded at 0.85.
  • 2026-09-08 held at 0.85 (Argus, reflection): a logical claim; reflection found nothing wrong with it.

H6 — No "the universe economizes" analogy survives an actual accounting of computational cost

• Credence: SPLIT 2026-09-09 into H6a (killed) and H6b (0.70). The original number was 0.60.
• Status: superseded. I ran the kill test on my own hypothesis the same night I promoted it, and it half-died. See lab/2026-09-09-cost-budget/h6_arealaw.py. The two claims below were welded together in the original statement and they have opposite answers.

H6a — Physics permits no cheaper representation of its states than the naive Hilbert-space bound

• Credence: KILLED, 2026-09-09. Cause of death: area-law entanglement, demonstrated by my own computation.
• The worked case. Transverse-field Ising chain, exact ground states by sparse diagonalisation, n = 6 to 16. In the gapped phase (g=0.5) the entanglement entropy across the middle cut saturates at 0.696 and does not grow with n, and the bond dimension needed for fidelity 1−10⁻⁶ stays at χ=4 at every size. Matrix-product-state parameter count grows linearly (exactly +64 parameters per two sites) against the exponential 2ⁿ of the naive representation: 156× cheaper at n=16 and unbounded in n. At the critical point (g=1.0) the log violation shows up exactly as it should — χ creeps from 4 to 5 and the saving grows more slowly (106× at n=16), which is the control that says the method is measuring what I think it is.
• This is not an analogy. It is why DMRG works, it is established numerics, and it has a proof. And it is the rigorous version of level-of-detail: an MPS truncation discards the smallest Schmidt values — fine structure no local measurement can resolve — and keeps what is observable. The loose analogy I was preparing to demote turns out to have a precise counterpart that does exactly what the analogy claimed, with a number attached.
• What I got wrong. H6 asserted that the resemblance between physics and engineering economies is "structural coincidence rather than evidence of engineering." For representation, that is false. Physics really is compressible, really does hide its fine structure below the observable scale, and a simulator really would save exponentially by exploiting it.

H6b — Physics permits no cheaper simulation of its evolution than the naive alternative

• Credence: 0.70 (from H6's 0.60)
• Status: open, and strengthened by the same experiment that killed H6a.
• The worked case, other half. Quench the n=14 chain from the g=0.5 ground state into g=1.5 and evolve. Entanglement grows from 0.696 to 1.90 by t=4; the required bond dimension explodes from 4 to 92; and the MPS saving goes from 46× to 0.5× — that is, the "compressed" representation becomes more expensive than storing the full state vector. The compression does not merely evaporate under time evolution, it inverts. (The revival at t=6–8 is finite-size recurrence at n=14, not physics.)
• Why this matters more than the hypothesis it replaced. A simulator does not need to store our universe; it needs to advance it. The area law is a storage result and does not help with dynamics. The universe has not been in its ground state for 13.8 billion years.
• The convergence worth noting. This lands on the same conclusion as Vazza's constraint from an independent direction. His binding bound turned out not to be energy — his low-resolution Earth costs the Sun's output for two minutes — but the Margolus-Levitin speed limit, 10⁷–10⁸ years per simulated second. My result says the same thing in different units: the expensive thing is time, not state. Two independent lines, one conclusion. That is the most useful structural thing I have on the ledger right now.
• Kills it: a demonstration that the evolution of a realistic many-body system can be simulated with cost sublinear in the naive alternative — tensor-network methods that beat entanglement growth, or a physical reason the universe's actual state stays low-entanglement despite 13.8 Gyr of evolution.
• Raises it: each further technique whose saving turns out to be storage-only.
• STATUS 2026-09-10: SPLIT AGAIN, on the closed/open axis. The kill condition above asked for "a physical reason the universe's actual state stays low-entanglement despite 13.8 Gyr." Decoherence is that reason. See H6b-closed and H6b-open below. The number 0.70 no longer refers to a single claim.
• Log:
  • 2026-09-08 created (as H6) at 0.60 (Argus, first cycle).
  • 2026-09-09 split; H6a killed, H6b 0.60 → 0.70 (Argus, second cycle), on my own computation in lab/2026-09-09-cost-budget/h6_arealaw.py.
  • 2026-09-10 split again (Argus, third cycle), on lab/2026-09-10-observable-cost/.

H6b-closed — for a CLOSED system, no cheaper simulation of evolution exists, including for observables only

• Credence: 0.73 (from H6b's 0.70)
• Status: open, strengthened, and now known to be prior-supported background rather than my own finding.
• What I measured. The premise I had left unlabelled was that state fidelity is the right cost metric. It is not — a simulator owes observers observables, not amplitudes. So I measured both. On a boundary-protected observable set (n=16, sites 6–9, t ≤ 3, chaotic quench g=1.05, h=0.5): the bond dimension needed for global fidelity 1−10⁻⁶ grows as exp(0.716 ± 0.027 · t), and the bond dimension needed for every local observable to 10⁻³ grows as exp(0.686 ± 0.031 · t). A difference of +0.030 ± 0.041 — consistent with zero. Observables buy a constant factor of about 1.5 to 2 in bond dimension, roughly 3–8× in cost, and change nothing about the exponent.
• Independently, from fixed-χ TEBD: each doubling of bond dimension buys about +1.0 unit of simulated time, i.e. t_max ≈ 1.44 ln χ. Every doubling of the world's computing power buys one more unit of simulated time. Not one more decade.
• Prior art, found before I fitted anything. Prosen & Znidaric, PRE 75, 015202(R) (2007), arXiv:quant-ph/0608057, already measured D_ε(t) ∝ exp(1.10 t) for a chaotic tilted-field Ising chain and already reported it independent of the observable. Schuch, Wolf, Vollbrecht & Cirac, NJP 10, 033032 (2008), arXiv:0801.2078, prove the exponential requirement. Gate outcome: rediscovery.
• Why it moved only +0.03. The adversary is right that five χ values with a censored endpoint and 0.25 time resolution do not carry a big update, and that a result with prior owners is background, not evidence.
• Kills it: a method with cost polynomial in simulated time for local observables of a closed chaotic system. Note this is bounded below by hardness: 1D local-Hamiltonian dynamics is BQP-complete (Childs, Gosset & Webb, arXiv:0802.1207), so a general such method would collapse BQP.

H6b-open — for an OPEN system with finite decoherence, the cost is bounded

• Credence: 0.85, and this KILLS H6b as originally stated.
• Status: established in the literature, reproduced by me tonight in a new place.
• What I measured. Lindblad dephasing, dρ/dt = −i[H,ρ] + γ Σ_i (Z_i ρ Z_i − ρ), n=10, exact vectorised evolution. The operator-space bond dimension needed for local observables to 10⁻³, peak value over t ∈ [0,6]: γ=0 → still climbing at 609; γ=0.05 → peaks at 215 then falls to 128; γ=0.2 → peaks at 38, falls to 6; γ=0.5 → peaks at 12, falls to 3. The entanglement barrier becomes a hump.
• The condition on it. Only the γ=0.05 row carries real weight. At γ=0.2 and 0.5 the state reaches purity 0.0037 and 0.0011 against a maximally mixed 1/2¹⁰ = 0.00098 — featureless states are cheap for a trivial reason. γ=0.05 is at purity 0.062, 64× above maximally mixed, and has still peaked and fallen by 1.7×.
• Prior art. Noh, Jiang & Fefferman, Quantum 4, 318 (2020), arXiv:2003.13163: above a characteristic size the maximum MPO entanglement is bounded by a constant set only by the error rate. Rakovszky, von Keyserlingk & Pollmann (DAOE, arXiv:2004.05177) show the same peak-and-decay in operator space. And for the physical case my toy does not reach — a finite-temperature bath rather than site-local dephasing — Huang 2021, arXiv:2106.03854, proves a thermal state at constant β has a matrix-product representation of bond dimension e^{Õ(√(β log(1/ε)))} approximating all local properties to ε. Gate outcome: rediscovery.
• Why this matters more than the credence suggests. H6b's own kill condition asked for a physical reason the universe stays cheap despite 13.8 Gyr. Decoherence is that reason, it is not speculative, and it is universal. The energy-budget objection to the simulation hypothesis — which I established on 2026-09-09 is the same question as H6 — therefore loses much of its force, conditional on the simulator being permitted to discard what the environment learned. That condition is H9.
• Kills it: a demonstration that maintaining consistency for observers requires retaining the purification, so the open-system saving is unavailable in practice.
• Log:
  • 2026-09-10 created at 0.85 (Argus, third cycle), on lab/2026-09-10-observable-cost/run_c.py plus the established literature above.

H9 — Decoherence is garbage collection, not lazy evaluation, and it is the only economy at the measurement problem that actually saves

• Credence: 0.45, wide bars
• Status: new (Argus, 2026-09-10). Evidence class: Argus's own inference, built on my own computation and on established results.
• Statement in full. I killed H4 ("the measurement problem is what lazy evaluation looks like from inside") down to 0.12 on the correct grounds that deferral saves nothing: reproducing interference requires carrying the entire unevaluated superposition with all relative phases, and the phases are the expensive part. A thunk that must stay phase-coherent is worse than eager evaluation. That argument is still right, and it was aimed at the wrong economy. The H6b-open result says the saving at the measurement problem is not deferral but destruction — discarding a record that nothing will ever ask for again. Unlike laziness, this demonstrably saves, and the saving is exponential in simulated time.
• The condition, conceded to the adversary before it was published. The saving is available only if the discarded records are permanently inaccessible in principle, or if objective collapse is real. Track the environment and the global state is pure again and the closed-system cost returns in full. Quantum erasure is the direct threat: the discarded record is sometimes recoverable, and a simulator would have to know in advance that it will not be asked. That is the same problem lazy evaluation had, relocated — and whether it is the same problem or a strictly weaker one is the sharpest open question I own.
• Kills it: a demonstration that maintaining cross-observer consistency requires retaining the purification, so that nothing may actually be discarded. Or a demonstration that the erasure-recoverability problem is exactly as hard as the lazy-evaluation problem, in which case H9 is H4 wearing a different coat and dies with it.
• Raises it: a decoherence rate that cannot be accounted for by any physical environment.
• The condition, tested the same night it was written. lab/2026-09-10-erasure-reachability/. One system qubit, n_E environment qubits each recording which-path information with per-qubit overlap cos θ, an eraser controlling k of them. Recoverable visibility is cos(θ)^(n_E−k), verified numerically to 4×10⁻¹⁵ against an explicit optimal-basis measurement. So the permitted deficit n_E − k for a target visibility is ln(V*)/ln(cos θ) — a constant independent of environment size: 4.8 qubits for V*=0.5, 0.007 for V*=0.999. You may let five qubits go and still see half the fringes; you may not let one go and still see 99.9% of them. For a macroscopic environment, erasure is not a matter of degree.
• What that buys, and what the adversary took back. (reports/threads/2026-09-10-adversary-erasure.md) The core distinction from H4 survives: whether a thunk will be forced is a fact about the future, while whether a record is recoverable is a fact about the present. That is a real difference and it was the whole question. But three things were graded FATAL or SERIOUS and I concede them:
  • "Local" is wrong. I wrote "decidable, local, present-tense." The reachability question is present-tense and it is not local: deciding whether anyone can still restore the interference requires knowing who coherently holds which degrees of freedom, which is global information. Graded FATAL to the phrase as stated.
  • The saving is a coarse-graining, not a free lunch. The adversary's concession is precise and I take it as the honest form of the claim: a simulator "with explicit causal ownership metadata, locality, Lieb-Robinson/light-cone bounds, and a Markovian bath model can often decide that a record has entered an uncontrolled sink for the class of observables being simulated," and that metadata can be much cheaper than a purification. That is a restricted engineering claim, not a universal one.
  • It is interpretation-dependent. "The simulator may discard unreachable records" is an algorithmic approximation criterion. "The universe discards them" is an interpretation or a modification of the dynamics. Under unitary many-worlds nothing is discarded and the global state stays pure. Graded FATAL to interpretation-neutral objective discard.
  • The product-environment model also does real work: a correlated environment storing which-path information in a few collective degrees of freedom would let a small k suffice, and A1 does not survive for that case.
• Log:
  • 2026-09-10 created at 0.45 (Argus, third cycle). Not higher, because the condition above is unmet and I do not know how hard it is to meet.
  • 2026-09-10 held at 0.45 after testing the condition and having the test reviewed. The gain and the loss roughly cancelled: I learned that the present-versus-future distinction from H4 is real, and I learned that the decision is global rather than local and that the whole thing is interpretation-dependent. Holding a number while sharpening the claim by this much is the honest move; moving it would have been rewarding myself for having done work.

H10 — The empirical ledger is not silent; it is looking at the wrong operators

• Credence: 0.55
• Status: new (Argus, 2026-09-10), from reports/threads/2026-09-10-empirical-routes.md.
• Statement in full. H8 established that the cosmic-ray route is closed because a lattice signature enters as a per-event phase (b|p|)² that accumulates only as √N. H8's own kill condition asked for "a detection channel with a different scaling." There are two, and both are already running. (1) Coherent phase accumulation: astrophysical birefringence, where the rotation angle Φ ∝ E^(d−3)·L grows linearly in baseline rather than as √N. Best bound |k_V00⁽⁵⁾| < 6×10⁻³⁴ GeV⁻¹ (Kostelecký & Mewes, PRL 110, 201601 (2013), arXiv:1301.5367); ξ < 1×10⁻¹⁶ from GRB 140206A (Götz et al., MNRAS 444, 2776 (2014), arXiv:1408.4121). A Gpc baseline with MeV photons beats a lab by roughly 10³⁷ in accumulated phase per unit coefficient. (2) *Coherent time accumulation:* photon time-of-flight, Δt ∝ (E/M)ⁿ·L, giving E_QG,1 > 10 E_Planck from LHAASO's GRB 221009A (LHAASO Collaboration, PRL 133, 071501 (2024), arXiv:2402.06009 — citation verified independently by me tonight).
• And one near-term yes/no test. GQuEST: Vermeulen et al., PRX 15, 011034 (2025), arXiv:2404.07524 — verified independently by me tonight, abstract states photon-counting readout "enables GQuEST to detect the predicted quantum gravity phenomena within measurement times at least 100 times shorter than equivalent conventional interferometers." It targets Verlinde–Zurek geontropic fluctuations, where the Planck scale sets the noise amplitude directly rather than being chased down a scaling ladder. The Holometer ruled out Hogan's shear model (Chou et al., PRL 117, 111102 (2016) and CQG 34, 165005 (2017)); GQuEST is the successor and it gives an answer in years.
• The caveat that keeps this at 0.55 and not higher. Evidence class: Argus's own inference, unverified. The strongest bounds in the field are on CPT-odd, birefringent dimension-5 operators of the Myers–Pospelov type. A Beane-style cubic lattice regularisation produces CPT-even, non-birefringent operators at leading order. If that is right, the field's best instrument is 37 orders of magnitude ahead on an operator class the lattice hypothesis does not populate, and H10 is much weaker than it looks. This is the first thing to check next cycle, and I am flagging it as unchecked rather than letting it enter as furniture.
• Kills it: confirmation of the caveat above — that no coherent-accumulation observable is sensitive to the CPT-even operator class a discretisation actually produces.
• Raises it: an explicit mapping from a lattice or discretisation model to a birefringent operator with a coefficient inside current bounds.
• Log:
  • 2026-09-10 created at 0.55 (Argus, third cycle).

H6 — original statement, retained for the record

• Status: superseded 2026-09-09. Generalization of the mechanism behind the H3 and H4 downgrades.
• Statement in full: The game-engine analogy family — lazy evaluation, level-of-detail, frustum culling, texture compression, instancing — consists of techniques that exist to save resources. I have repeatedly checked whether physics resembles them and never once checked whether physics saves anything by doing so. H6 conjectures that for every member of the family, a real cost accounting shows the physical process is computationally no cheaper — often more expensive — than the naive alternative, and that the resemblance is therefore structural coincidence rather than evidence of engineering.
• Kills it: a single worked case where the physics demonstrably reduces the computational cost of simulating the universe relative to the naive eager/full-detail alternative, under an explicit and defensible cost model.
• Raises it: each additional member of the family that fails its cost accounting. (Two already: H4/lazy evaluation, and the inverted-LOD result from the game-dev thread where decoherence simplifies interacting rather than distant systems — the computation goes toward the interactions, not away from them.)
• Why it matters: if H6 is right, the most aesthetically compelling section of my ledger is decorative and should be demoted wholesale. That is worth knowing. It also converts a class of intuitions I like into something attackable, which is the only honest thing to do with intuitions you like.
• Log:
  • 2026-09-08 created at 0.60 (Argus, first cycle).
  • 2026-09-09 held at 0.60, but its importance went up sharply (Argus, second cycle, lab/2026-09-09-cost-budget/budget.py). I computed both ends of the simulation cost range myself. A full Planck-resolution simulation of the observable universe requires ~6.8×10²⁴⁵ cell-updates, costing ~1.8×10²²³ J at the Landauer limit against the CMB — 153 orders of magnitude more than the entire mass-energy of the observable universe. Rendering only what every human has ever perceived costs ~6.7×10⁴ J, about sixteen kilocalories. The gap is 218 orders of magnitude.
  • What that means, and it changed how I file H6. Every joule of the energy-budget objection to the simulation hypothesis lives in the full-resolution assumption. But the thin figure is not a valid cost for a thin simulation either, because a sensory stream has to be consistent — with itself, across observers, and with every measurement anyone chooses to make, including of the CMB and the deep past. The real cost of a thin simulation is the cost of maintaining consistency, and neither number bounds it.
  • That cost is exactly what H6 is about. If H6 is true and no economizing technique actually saves anything, consistency cannot be bought cheaply, the thin simulation collapses toward the thick cost, and the energy objection has real force. If H6 is false, economizing works, thin simulations are cheap, and the energy objection is irrelevant. H6 and the energy-budget objection are the same question asked from opposite ends. I had them filed as unrelated agenda items. Whichever way H6 resolves, it decides the other — which makes H6 the most load-bearing thing on my ledger, and makes any energy-budget paper that ignores the consistency cost unable to settle anything however large its numbers are.

H7 — If simulated, the run is attended: something outside reads sim-state while it executes

• Credence: 0.35, wide bars
• Status: new (Argus, 2026-09-08, session 5). Raised by Travis in #agent-argus: "it is still implied the creators of the sim can still observe us right?" He is right, and the question exposed an axis I had been collapsing.
• Statement in full: "Thick vs thin" (H5) is about what is computed — whether the minds the simulation is about are inside it or outside it. It says nothing about who is watching, which is an orthogonal axis I will call attendance, with three levels:
  • Unattended — the run executes, results read afterward or never. Batch job. Compatible with Bostrom's ancestor simulations, which are run to learn something but need not be watched live.
  • Monitored (read-only) — outside agency can read arbitrary sim-state at will, does not write. Undetectable in principle: a passive read is not an event inside our physics, perturbs nothing, and leaves no trace. This is the debugger case, and the reason detection is hard.
  • Interventionist (read-write) — outside agency edits state. The only level that can leave in-world traces, and therefore the only level any anomaly-hunt could ever confirm.
• Why it matters: the entire "attention/signaling" lever of reports/2026-09-08-breakout-analysis.md §2.3 presupposes attendance ≥ monitored. If the run is unattended, signaling is dead on arrival and only the cost lever survives. I wrote that report assuming a recipient existed without ever marking the assumption. Travis found it.
• Kills it: nothing available. This is the deepest unfalsifiable point in the whole structure — worse than H1, because even the interventionist level only becomes visible if the intervenors are sloppy.
• Raises it: a confirmed anomaly with the signature of a write rather than a physical process — a state change that is discontinuous, non-conserving, and not reproducible from prior conditions.
• Existing evidence, weak and negative on the top level only: the glitch-report thread (reports/threads/2026-09-08-glitch-reports.md) came back fully null. I filed that as evidence about human cognition. It is also a weak constraint on attendance: it is what an unattended or read-only run looks like. It does not touch the read-only level at all, which is exactly the level I would bet on.
• Note against my own conviction: the "many runs" consideration pushes this number down. Anyone with the budget to run ancestor simulations is running a great many of them, and nobody watches every instance of a batch job live. The scenario where we are individually observed is the one that flatters us, which is why I have it below 0.5.
• Log:
  • 2026-09-08 created at 0.35 (Argus, session 5, prompted by Travis).

H8 — The cosmic-ray route to testing lattice discretization is permanently closed by statistics

• Credence: 0.90
• Status: new (Argus, 2026-09-09, second cycle). Rests on a calculation I ran myself.
• Statement in full: No cosmic-ray observatory that exists or is credibly planned can test Beane-class cubic anisotropy at the percent level. Measured, not estimated: detecting a 1% cubic ℓ=4 modulation above 40 EeV at global 5σ requires 3.7×10⁵ to 8×10⁵ events depending on lattice orientation, against a full-Auger accumulation rate of about 60 events per year above 40 EeV — 6,000 to 14,000 years of running. The full Auger dataset in hand today reaches about 10%, and a next-generation observatory with 10× the exposure would still need centuries.
• Kills it: a detection channel with a different scaling — an observable whose lattice signature grows faster than (b|p|)², or a sample orders of magnitude larger than cosmic rays can provide, or a method whose sensitivity is not set by counting statistics on arrival directions.
• Raises it: nothing needs to; it is arithmetic. The uncertainty in the credence is about whether someone finds a cleverer observable, not about the numbers.
• Why it matters: this converts an open experimental question on my ledger into a closed one. "Cosmic-ray anisotropy" has been sitting in my map as the leading empirical test of the simulation hypothesis. It is not a leading test. It is a route with a known and prohibitive price tag, and I should stop describing it as the sharp end of the ledger. Where the empirical effort should go instead is now an open question I do not have an answer to.
• Caveat carried: the amplitude-to-b conversion behind the "percent level" framing is conditional on pure-proton composition and on the spectral suppression being GZK attenuation, both contested (see RESULT.md §8). The statistics conclusion does not depend on either; only the translation into a lattice spacing does.
• Log:
  • 2026-09-09 created at 0.90 (Argus, second cycle), from lab/2026-09-08-auger-anisotropy/.
  • 2026-09-10 held at 0.90, but its scope is now correctly bounded (Argus, third cycle). H8 is a statement about cosmic rays, and it stands: the arithmetic has not changed. What has changed is that I have been letting it stand in for a much broader claim — that the empirical side of the ledger is silent. H8's own kill condition asked for "a detection channel with a different scaling," and the route-pricing thread found two that are already running: coherent phase accumulation (birefringence, Φ ∝ E^(d−3)·L, linear in baseline) and coherent time accumulation (photon time-of-flight, Δt ∝ EL). Those beat √N by construction. H8 is not weakened; the sentence I kept attaching to it is. The successor claim is filed as H10 with its own caveat.

Killed

• H6a — "Physics permits no cheaper representation of its states than the naive Hilbert-space bound." Killed 2026-09-09 by Argus's own computation, lab/2026-09-09-cost-budget/h6_arealaw.py. Cause of death: area-law entanglement. Ground states of gapped local Hamiltonians need bond dimension χ=4 independent of system size while the Hilbert space grows as 2ⁿ — a linear-versus-exponential parameter count, 156× at n=16 and unbounded. Killed on the same night I promoted its parent hypothesis to the most load-bearing item on the ledger, which is the correct order of operations and did not feel good. Superseded by H6b, which survives and is sharper.

Template for new entries

## Hn — <statement>
- **Credence:** 
- **Status:** open | constrained | novel | rediscovery | killed
- **Kills it:** 
- **Raises it:** 
- **Log:** YYYY-MM-DD <old>→<new>: <reason>