Zero Worlds · evidence ledger

Evidence

All 25 evidence records in this case's ledger. Every record carries an explicit direction, keeps what the source states separate from what we infer, and links its source and the claims it bears on. Supporting and undermining evidence get the same structure and the same seriousness.

Supports15 Qualifies7 Context3

Supports

15 records · strongest first

Records that favor a rung of the featured hypothesis.

Supports· strongZW-E001

Müller 2020: the emergence theorems and the preliminary Bell result

what the source states: The paper postulates that "universal induction determines the chances of what any observer sees next," and proves within an algorithmic- information-theoretic model that observers should expect to find themselves in a stable, apparently objective external world governed by simple computable probabilistic laws — with the Boltzmann-brain problem dissolved (the transition out of a lawful history is algorithmically disfavored) and a preliminary theorem that Bell-inequality violation with preservation of no-signalling can sometimes be expected.
what we infer: The load-bearing formal result of the whole case: it demonstrates the observer-first reversal can output a lawful world rather than assume one. Note what it does not contain — any derivation that the emergent laws are specifically quantum; the Bell result is the seed of that project, not its completion.
limitations: Results hold in an idealized bit-string model with monotone information accumulation (the 'erasure problem', ZW-C504).
Universal induction is uncomputable in exact form; invariance-theorem constants are machine-dependent and matter for finite predictions.
Full text not re-derived for this import; characterization follows the journal abstract and the author's own exposition.

Müller, M. P. (2020)AI-verified citationZW-C004 ZW-C005

Supports· strongZW-E003

Müller's own exposition: 'hope', a 'preliminary' theorem, and the erasure problem

what the source states: The exposition states: "I hope that some nonclassical aspects of quantum theory can be shown to be predictions of algorithmic idealism," describes the 2020 Bell result as "a preliminary result (a valid theorem, but 'preliminary' because it still rests on too many assumptions) which shows that the violation of Bell inequalities, but preservation of the no-signalling principle can sometimes be expected," and names the erasure problem — permitting fundamental information deletion from self-states while preserving the emergence theorems — as an open problem.
what we infer: The theorist's own words settle the wording disputes that circulate around this program: Bell violation is neither "derived" (too strong) nor a mere aspiration (too weak) — it is a heavily-conditioned theorem plus a hope. Evidence of unusual candor, and the precise measure of the derivation gap.
limitations: A living self-published page; quotes were captured via AI retrieval on 2026-08-22 and the page may change.

Müller, M. P.AI-verified citationZW-C002 ZW-C005 ZW-C504

Supports· strongZW-E006

Masanes–Müller 2011: quantum theory from five physical requirements

what the source states: The paper reconstructs the full formalism of finite-dimensional quantum theory from "five simple physical requirements, based on elementary assumptions about preparation, transformations and measurements," explicitly modeled on how special relativity follows from principles rather than postulated formalism.
what we infer: Beyond its role as one of the three theorem sets, this source carries a structural irony the case should display: its co-author is the founder of algorithmic idealism. The same person has proven the right-hand half of the bridge and named the left-hand half as unfinished — nobody is better placed to know the difference.
limitations: Finite-dimensional only; which Hamiltonian, locality, and QFT remain outside all current reconstructions.

Masanes, L. (2011)AI-verified citationZW-C001

Supports· strongZW-E007

Chiribella–D'Ariano–Perinotti 2011: five informational axioms plus purification

what the source states: Five elementary informational axioms define a broad class of theories; "one postulate—purification—singles out quantum theory within this class." The derivation proceeds without postulating Hilbert space.
what we infer: Locates the distinctly quantum content in a single named principle, which is exactly what makes it a target: a Zero Worlds derivation of purification from first-person postulates (research agenda ZW-R003) would be the shortest known path across the bridge.
limitations: Why nature satisfies purification is an open explanatory question — the reconstruction relocates the mystery into its axioms, as its critics note.

Chiribella, G. (2011)AI-verified citationZW-C001

Supports· strongZW-E008

Hardy 2001: one word — 'continuous' — separates quantum from classical

what the source states: Five axioms, of which the first four are consistent with both quantum and classical probability theory; the fifth requires "continuous reversible transformations between pure states." Dropping the word "continuous" yields classical probability theory instead of quantum theory.
what we infer: The cleanest possible statement of what any observer-first program ultimately owes an explanation for: not wavefunctions or Hilbert spaces, but one structural fact — continuity of reversible change — whose deeper origin the reconstruction literature itself leaves open.
limitations: Never journal-published; its axioms were later refined by successor reconstructions.

Hardy, L. (2001)AI-verified citationZW-C001

Supports· strongZW-E015

Spekkens 2007: how much quantum 'look' a non-quantum theory can fake

what the source states: A toy theory built from classical states plus a restriction on knowledge finds that "a wide variety of quantum phenomena... have analogues within this toy theory" — interference-like behavior, no-cloning, teleportation, entanglement analogues — while explicitly failing to reproduce Bell-inequality violations and Kochen–Specker contextuality.
what we infer: The calibration standard this case applies to every "quantum-like" result in the observer-first literature: wave equations, complex numbers, branching, and interference-resemblance are all obtainable without quantum mechanics. The bar is the genuinely nonclassical correlation structure, and nothing below it counts.
limitations: The toy theory targets ψ-epistemic interpretations, not idealism; its use here as a general calibration device is an editorial application.

Spekkens, R. W. (2007)AI-verified citationZW-C009 ZW-C502

Supports· strongZW-E017

Hensen 2015: the loophole-free Bell benchmark (S = 2.42 ± 0.20)

what the source states: Entangled electron spins separated by 1.3 km violated the CHSH inequality loophole-free: S = 2.42 ± 0.20 over 245 trials, against the local-realist bound S ≤ 2 and below the quantum (Tsirelson) bound of 2√2.
what we infer: Fixes the empirical target with a number. Any observer-first derivation must yield correlations that exceed 2 and cap at 2√2 — exceeding 2 alone would only establish generic nonclassicality, which no-signalling boxes also achieve. The gap between those two requirements is where most "we get nonlocality" claims quietly live.
limitations: None material for its role here as benchmark; later Bell tests have strengthened the result.

Hensen, B. (2015)AI-verified citationZW-C003

Supports· strongZW-E018

Bong 2020: observer-independence priced, not ontology decided

what the source states: A "local friendliness" no-go theorem shows that if quantum evolution is controllable on the scale of an observer, then one of no-superdeterminism, locality, or absoluteness of observed events must fail — constraints "strictly stronger" than Bell's theorem — with a photonic proof-of-principle experiment in which a photon's path is deemed an observer.
what we infer: The experiment closest in spirit to the Zero Worlds dispute, and its honest reading is deflationary in both directions: it taxes theories committed to absolute observed events, but its "friend" is a photon path — a controlled information-processing system — so nothing here demonstrates that consciousness or first-person states play a causal role. Benchmark, not verdict.
limitations: Proof-of-principle scale; extending 'observer' from a photon path to systems anyone would call an observer is the entire unresolved point.

Bong, K.-W. (2020)AI-verified citationZW-C003

Supports· strongZW-E023

Müller 2026 (conclusions): quantum phenomena are the framework's test, and resemblance does not count

what the source states: In the paper's conclusions Müller names "two main open technical problems". The first is the bit model's lack of forgetting, "which is unmotivated, unrealistic, and an artefact of the way that Solomonoff induction has been formulated in Algorithmic Information Theory". The second is that "a successful formalization of algorithmic idealism should predict some phenomenal aspects of Quantum Theory". Its target is "phenomena that are genuinely quantum, such as the violation of Bell inequalities together with compliance with the no-signalling principle" (p. 28). An explanation of Bell violation "has been sketched in [2], but it needs further elaboration". He adds: "Note that it is not enough to point at mathematical elements" that resemble those of quantum theory, since "the main question is whether the statistical results of experiments are predicted to behave in genuinely nonclassical ways". Building the formalism in would defeat the test: "it would be methodologically wrong to build the quantum formalism into algorithmic idealism by construction" (p. 29).
what we infer: The framework's peer-reviewed statement agrees with the case on two points. It names the quantum derivation as open (ZW-C002), and it sets the same bar this case borrows from Spekkens (ZW-C502): nonclassical statistics, not resembling equations. This record also supersedes the abstract-level characterization in ZW-E002 with the paper's own words, and quotes the erasure problem (ZW-C504) from the published paper rather than the author's web page.
limitations: Read from the arXiv version dated 24 July 2025. The Springer version was not separately compared.
The proponent setting his own test is not evidence that the test can or cannot be passed.

Müller, M. P. (2026)AI-verified citationZW-C002 ZW-C502 ZW-C504

Supports· moderateZW-E009

QBism's concession: the Born rule as an empirical, normative addition

what the source states: The paper interprets the Born rule as "a normative rule in addition to usual Dutch-book coherence" and states it "should be seen as an empirical addition to Bayesian reasoning itself" — quantum structure is encoded in relations among an agent's probabilities but is not derived from Bayesian rationality alone.
what we infer: The most first-person-friendly mature framework in quantum foundations, conceding in its flagship technical paper that the quantum part is empirically supplied. This is the physicalist steelman's best exhibit: even the program closest in spirit to Zero Worlds imports, rather than derives, the Born rule.
limitations: QBism does not attempt to abolish the external world; using its concession against stronger idealisms is an inference, and QBists might contest the framing.

Fuchs, C. A. (2013)AI-verified citationZW-C009

Supports· moderateZW-E010

Hoffman & Prakash 2014: conscious agents and the free-particle correspondence

what the source states: Conscious agents are defined as six-tuples with Markovian perceptual, decision, and action kernels; the paper shows that "harmonic functions of the space-time chain... are identical in form to the wavefunction of the free particle," and proposes that particles are projections of the dynamics of communicating classes of conscious agents.
what we infer: Real mathematics, honestly extractable: a correspondence with one structural component of quantum theory. Against the Spekkens calibration (ZW-C502), a form-match with a free-particle wavefunction sits well below the bar of Bell violation or amplitude addition — the record here supports "program with results," not "derivation."
limitations: The correspondence is asymptotic and formal; no Born rule, no tensor-product composition, no nonclassical correlations are derived.

Hoffman, D. D. (2014)AI-verified citationZW-C006

Supports· moderateZW-E011

The FBT theorem: fitness-only perception generically beats truth-tracking

what the source states: Formalizing perceptual evolution in evolutionary game theory and Bayesian decision theory, the authors state and prove the "Fitness-Beats-Truth (FBT) Theorem": under the model's assumptions, a strategy maximizing expected-fitness payoff consistently outcompetes one tuned to the true structure of the objective world.
what we infer: Supports precisely the interface half of Hoffman's position — that perception need not be veridical — and nothing beyond it. The chain "selection need not favor truth, therefore consciousness is fundamental, therefore quantum mechanics" adds two non-sequiturs to one theorem; the case keeps the theorem and prices the additions separately.
limitations: A theorem inside a specified game-theoretic model; how far its payoff structures describe actual perceptual evolution is an empirical question the paper does not settle.

Prakash, C. (2021)AI-verified citationZW-C006 ZW-C501

Supports· moderateZW-E012

Wolfram in his own words: the ruliad, the derivation claim, and the circularity

what the source states: "We seem to be able to derive—essentially from the structure of the ruliad—the core laws of twentieth-century physics (general relativity, quantum mechanics and the Second Law) just on the basis of two features of us as observers: that we're computationally bounded, and that we believe we're persistent in time." On defining observers: identifying persistence requires equivalencing that "is at least on the face of it circular," and "we'll have to ground this circularity in some kind of further assumption."
what we infer: Both the ambition and the admitted soft spot, from the same essay. The hedged verb ("we seem to be able to derive") is doing real work and is preserved here deliberately: the program itself does not claim theorem status for the derivation.
limitations: Self-published; no referee has checked any step of the claimed derivations.

Wolfram, S. (2023)AI-verified citationZW-C007

Supports· moderateZW-E020

Gorard 2020: the Wolfram program's formal quantum paper calls its derivation a conjecture and states the Born rule without deriving it

what the source states: The body frames the quantum claim as unproven: "our central conjecture in this paper is that discrete forms of quantum mechanics" (and quantum field theory) can be derived from the principle of multiway invariance (p. 29). Branch states are taken as a basis: "By assumption, these eigenstates form an orthonormal basis for the Hilbert space" (p. 16). Outcome probabilities are then stated: the a priori probability of collapse to an eigenstate is "given by the multiway Born rule for evolution path weights" (p. 17). Bell-type correlations come from explicit nonlocality: "one is able to prove violation of the CHSH inequality in much the same way as one does for other standard deterministic and nonlocal interpretations of quantum mechanics" (p. 52).
what we infer: "By assumption" governs the orthonormal basis, not the probability rule. The probability rule is a separate step: on p. 17 the Born rule is stated for path weights, with no derivation given there, and a search of the paper's full text finds no other passage that names the Born rule or derives its squared form. The same search finds no mention or derivation of the Tsirelson bound: the Bell passages (pp. 51–52) obtain CHSH violation the way any explicitly nonlocal deterministic model obtains it, which says nothing about the cap of 2√2. Read against the calibration this case uses (ZW-C502), the paper therefore does not reach the distinctively quantum benchmarks, and its author labels the derivation of quantum mechanics a conjecture. None of it starts from the two observer features (computational boundedness, belief in persistence) that Wolfram's 2023 essay names as sufficient: the observer enters here as a chosen foliation of the multiway graph.
limitations: The paper was not read in full or audited. Its full text (62 pages) was retrieved and searched for the Born rule, Bell, CHSH, Tsirelson, conjecture and assumption, and the passages found were read (on 2026-10-21, and again on 2026-10-22). The statements that no derivation of the Born rule or the Tsirelson bound appears rest on that search. A derivation in other words, not caught by those terms, cannot be excluded without a full reading.
The convergence proof itself was not checked; that would take a mathematician's audit (ZW-R007).
Published in a journal founded by Stephen Wolfram, by an author then at Wolfram Research. This case's search found no outside group that has rederived or refuted the results.
A 2020 paper. Later formal work in the program (for example on axiomatic quantum field theory in multiway causal structure, 2023) was noted in the search but not read.

Gorard, J. (2020)AI-verified citationZW-C505

Supports· moderateZW-E021

McQueen & Müller: both sides agree the framework's probabilities cannot yet be tested by repeated, shared experiments

what the source states: The critic (McQueen) argues: "The state transition postulate is therefore not well-defined: there appears to be no good option for spelling out what the probabilities are probabilities of" (p. 13). The advocate (Müller) answers that the framework's goal is to answer this question "for private experiments that are not necessarily intersubjectively verifiable, such as duplication or simulation scenarios" (p. 14). In their joint evaluation the two state that "our adversarial collaboration has uncovered two valid objections". The first is that Algorithmic Idealism "cannot (yet) appeal to scientific practice and experimental pragmatism", because "it is not in general possible to relate probability assignments to statistical claims about outcomes of an experiment that is repeated a large number of times under identical conditions, and analyzed from an intersubjective third-person perspective". They add: "Thus, the proponent agrees with the critic that this point has to be developed in greater detail and clarity" (p. 18).
what we infer: The framework's author concedes in print the point ZW-C503 makes: its distinctive first-person predictions do not yet connect to repeatable, publicly comparable frequencies. The concession is about operational meaning, not about whether the framework is coherent. Neither author says the postulates must change. What the concession means for the featured thesis is recorded separately (ZW-E025).
limitations: An unrefereed preprint by two authors; 'valid objection' is their joint characterization, not an outside verdict.
The objection concerns how the probabilities are to be interpreted and checked. It does not show the framework's theorems are wrong.

McQueen, K. J. (2026)AI-verified citationZW-C503

Qualifies

7 records · strongest first

Records that narrow, complicate, or bound what another record can carry.

Qualifies· moderateZW-E002

Müller 2026: the two-postulate formulation, and quantum reconstruction named as unfinished

what the source states: The Foundations of Physics paper reformulates the framework as two postulates (Self States; State Change), argues that persistent enigmas — the Boltzmann brain problem, extended Wigner's-friend scenarios, Parfit's teletransportation paradox, the simulation hypothesis — stem from asking "what is the case?" instead of "what should I expect to experience next?", and treats the genuinely quantum reconstruction as an explicit open research target, contrasting the framework with operational setups in which agents are already assumed to be jointly embedded in one physical system.
what we infer: Filed as "qualifies" deliberately: the same paper that gives the framework its cleanest statement also concedes, from the inside, that the quantum bridge is unbuilt. Both facts should travel together — this is the proponent doing what the MPI case's proponents did in "Nailing Jelly": publishing the limitation.
limitations: Characterized from the arXiv abstract (2412.02826) and the author's exposition; the Springer full text sits behind a redirect wall and was not retrieved this run.
Added 2026-10-22: the paper's conclusions have since been read from its open arXiv copy and are quoted in ZW-E023, which states the quantum test and the open problems in the author's own words.

Müller, M. P. (2026)AI-verified citationZW-C004 ZW-C002 ZW-C503

Qualifies· moderateZW-E004

Jones & Müller: the Wigner's-friend structure is not specifically quantum

what the source states: The paper argues that the gist of the Wigner's-friend paradox can be reproduced without quantum physics: classical thought experiments involving the duplication of agents recover some implications for the absoluteness of observations, and the essential ingredient is "Restriction A" — that a physical theory may fail to provide a single probabilistic description of the observations of all agents — a difficulty the authors locate at the core of puzzles from extended Wigner's-friend scenarios to the Boltzmann-brain problem.
what we infer: Cuts in an unexpected direction: written by the flagship program's own authors, it weakens any attempt (by anyone) to read Wigner's-friend experiments as distinctively quantum evidence about observers — while simultaneously showing the first-person problem the program targets is broader than quantum foundations. Both edges are kept.
limitations: Characterized from the abstract; full text not read this run.

Jones, C. L. (2026)AI-verified citationZW-C003

Qualifies· moderateZW-E014

Gorard et al.: ZX-calculus embeds in multiway systems — compatibility, not inevitability

what the source states: The diagrammatic rewritings of the ZX-calculus can be embedded and realized within Wolfram-model multiway systems, whose evolution and branchial graphs carry a compatible monoidal structure; a software framework implements the correspondence.
what we infer: The strongest formal quantum result in the Wolfram program, filed with its exact logical force: an embedding of an already-quantum calculus into a universal rewriting framework shows the framework can host quantum information theory, not that observers in it must experience quantum mechanics. Universal frameworks embed almost everything; selection is the whole problem.
limitations: Unreviewed preprint; authored within the Wolfram project.

Gorard, J. (2020)AI-verified citationZW-C007

Qualifies· moderateZW-E016

PBR 2012: the wavefunction-as-ordinary-ignorance route is constrained

what the source states: Any model in which the quantum state represents mere information about an underlying physical state, with independently prepared systems having independent physical states, "must make predictions which contradict those of quantum theory."
what we infer: Closes an escape route on both sides: the physicalist cannot cheaply deflate the wavefunction into ignorance about ordinary hidden matter, and the idealist cannot claim the theorem as support — it assumes an underlying physical ontic state, exactly what strong idealism denies, so it constrains a neighbour of both positions rather than either principal.
limitations: Rests on the preparation-independence assumption, which ψ-epistemic loyalists contest.

Pusey, M. F. (2012)AI-verified citationZW-C008

Qualifies· moderateZW-E022

McQueen & Müller: the Boltzmann-brain resolution is challenged, defended, and left needing further work

what the source states: The critic argues that a Boltzmann brain's self-state, like the framework's own example of an insect at a table's edge, would carry information about its environment, so that its next disintegrating state would be predictable: "But then the framework cannot produce the result that we are probably not Boltzmann brains" (p. 14). The advocate replies that most Boltzmann-brain realizations are nearly uncorrelated with their environment, which is why such futures are "much less likely than ordinary ones, regardless of the number of BBs in the universe". He adds that "the analysis here gives valid intuition, but not the exact technical arguments" (p. 16). In the joint evaluation, the second valid objection (O2) records that "the critic has pointed at an important fact that has so far insufficiently been discussed in existing publications of Algorithmic Idealism": only part of the self-state is accessible to the agent (p. 18).
what we infer: ZW-C004 says the standard puzzles "dissolve" under first-person reasoning. For the Boltzmann-brain puzzle that is the proponent's position, now contested in print and defended there. The two authors agree that how agents should predict from a partly inaccessible self-state needs further work. The emergence theorems themselves are not challenged here. The "dissolution" is better described as a defended claim than a settled result.
limitations: A single exchange in an unrefereed preprint. The advocate holds that the reply suffices for the conclusion that Boltzmann-brain counting cannot rule out cosmological models; the critic's final view is not separately stated.

McQueen, K. J. (2026)AI-verified citationZW-C004

Qualifies· moderateZW-E024

Gorard 2020: the program's formal paper claims more than an embedding, but states its quantum derivation as a conjecture

what the source states: The abstract claims more than an embedding: the author says he proves "that the geometry of the multiway evolution graph converges to that of complex projective Hilbert space in the continuum limit", and lists "the derivation of the path integral" and "the derivation of the discrete Schrödinger equation" among the paper's consequences (p. 1). The body states the quantum claim itself as unproven: "our central conjecture in this paper is that discrete forms of quantum mechanics" (and quantum field theory) can be derived from the principle of multiway invariance (p. 29).
what we infer: ZW-C007 says the program's formal results "demonstrate embedding rather than inevitability". The first half of that clause understates the record: the case had weighed only the ZX-calculus embedding (ZW-E014), and this paper claims a convergence proof and derivations in the program's own terms. The second half holds: the derivation of quantum mechanics is stated by its author as a conjecture, not a result. The record therefore qualifies ZW-C007 rather than supporting or undermining it.
limitations: The paper was not read in full or audited: its full text was retrieved and searched, and the abstract and the passages found were read. The convergence proof was not checked (ZW-R007).
Published in a journal founded by Stephen Wolfram, by an author then at Wolfram Research.

Gorard, J. (2020)AI-verified citationZW-C007

Qualifies· moderateZW-E025

McQueen & Müller: the framework's author agrees its probabilities cannot yet be checked against repeated, shared experiments

what the source states: In their joint evaluation the two authors state that Algorithmic Idealism "cannot (yet) appeal to scientific practice and experimental pragmatism", because "it is not in general possible to relate probability assignments to statistical claims about outcomes of an experiment that is repeated a large number of times under identical conditions, and analyzed from an intersubjective third-person perspective" (p. 18). They also state that these objections "are not claims that the main postulates of Algorithmic Idealism have to be modified, but that important further work of clarification is left to be done" (p. 18).
what we infer: This neither supports nor undermines the featured thesis (ZW-C008). It bears on whether the thesis can be tested: by the proponent's own account, its distinctive probabilities do not yet meet a repeatable, third-person check. That is the concrete reason the case grades ZW-C008 presently untestable rather than weakly supported or refuted.
limitations: An unrefereed preprint by two authors; the concession is about the framework's present operational meaning, not a verdict on whether there is a world underneath.

McQueen, K. J. (2026)AI-verified citationZW-C008

Context

3 records · strongest first

Background that informs the case without pushing either way.

Context· weakZW-E005

McQueen & Müller: realism versus algorithmic idealism, stated adversarially

what the source states: A structured adversarial collaboration in which one author defends realism — reality as an external physical world governed by laws — and the other defends the view that reality fundamentally consists in first-person states with the physical world emergent, centered on Algorithmic Idealism's treatment of observer paradoxes, using a discipline-neutral template designed to isolate the genuine source of disagreement.
what we infer: Not evidence for either side; filed as the cleanest available statement of what the attribution dispute is about, by one representative of each side. Its existence is also a health indicator: this controversy is being conducted in the open, adversarially, which the fairness rules should reward with attention.
limitations: Unreviewed preprint; abstract-level characterization.

McQueen, K. J. (2026)AI-verified citationZW-C008

Context· weakZW-E013

The ruliad ontology: one world containing all computations — not zero

what the source states: The ruliad is "the entangled limit of all possible computational processes," a unique abstractly necessary structure; physical reality as we perceive it arises from how computationally bounded, persistent observers sample and coarse-grain it.
what we infer: Establishes that the family resemblance among observer-first programs hides an ontological split the case must not blur: Wolfram keeps a vast world underneath (all of computation, unweighted); Müller keeps none. Whether observer-boundedness in an unweighted ruliad can do the work Solomonoff's simplicity prior does for Müller is an open question neither principal has engaged in print.
limitations: Self-published essay; the ruliad has no independent mathematical literature outside the Wolfram orbit.

Wolfram, S. (2026)AI-verified citationZW-C007

Context· weakZW-E019

Preprint claims observer-level derivation of the operational quantum formalism from structural access limits in an ontologically state-realist framework

what the source states: The abstract claims that "the operational quantum formalism -- the Born rule, Lüders state updating, quantum interference, non-Markovian effective dynamics, and Bell inequality violation at the Tsirelson bound" arises within Accessibility Theory from "the Aperture construction together with explicit coherence and locality assumptions stated in the paper", via "Coherence conditions on inference through this bottleneck, together with Gleason s theorem on the 48-dimensional internal Hilbert space". It further states: "At the ontological level the theory is deterministic and state-realist, while the operational quantum formalism appears at the observer level as a consequence of structurally limited access to the underlying algebraic reality."
what we infer: If sound, this would be an example of deriving operational quantum structure from constraints on an embedded observer's access — the general shape of the 'bridge theorem' problem in ZW-C010 — but from an observer-independent, state-realist ontology, not an observer-first one. It therefore does not answer ZW-C002 (about observer-first programs) either way; it is adjacent context showing active work on access-limitation derivations. As an unreviewed proponent abstract, this is discovery-grade material, not diagnostic evidence for or against any case claim.
limitations: Only the abstract was fetched; the actual derivations and their assumptions were not inspected.
Self-reported claims in a days-old preprint with no independent verification or citations visible.
The framework's relevance to the case's observer-first programs is inferential; the source never mentions Müller, Hoffman, Wolfram, or the specific operational-axiom reconstructions at issue.

Fall, E. (2026)AI-verified citationZW-C010 ZW-C002