No observer-first program — algorithmic idealism, conscious-agent theory, or the ruliad — has derived the distinctively quantum package (complex Hilbert space, the Born rule, Tsirelson-bounded nonlocality) from its non-material primitives, and Müller himself identifies Bell violation with no-signalling and efficient quantum computation as unfinished targets for his framework.

Confirmed from inside each program: Müller's "hope" and litmus-test framing, Hoffman's correspondence-not-derivation record, Wolfram's hedged "we seem to be able to derive" plus admitted circularity. No proponent disputes the gap; they dispute its significance.

The evidence securely demonstrates that no observer-first program has formally derived uniquely quantum bounds or the Born rule from its non-material primitives. The founder of algorithmic idealism explicitly states in his own exposition that these results remain preliminary hopes rather than completed derivations. The strongest opposing consideration is that young research programs inherently possess gaps, and a preliminary Bell theorem does exist.

Müller’s own exposition states that he “hopes” nonclassical quantum aspects will emerge from algorithmic idealism and labels the existing Bell result as preliminary with too many assumptions (ZW-E003), while his 2026 paper treats quantum reconstruction as an open target rather than an achievement (ZW-E002). Hoffman's and Wolfram's programs are shown to have, at best, correspondences and embeddings, not full derivations of Hilbert space, the Born rule, or Tsirelson-bound nonlocality (ZW-E010–E014). The main opposing consideration is that “not yet derived” is the normal state of an active program and the existence of a partial Bell theorem does suggest a plausible pathway, but that does not negate the factual claim that a full derivation is currently absent.

No evidence record exhibits a derivation of complex Hilbert space, the Born rule, or Tsirelson-bounded nonlocality from algorithmic idealism, conscious-agent primitives, or the ruliad. Müller’s own exposition frames nonclassical quantum structure as a hope and labels the 2020 Bell result preliminary; Hoffman’s published mathematics is a free-particle form-match; Wolfram’s derivations are informal and his strongest formal quantum result is an embedding. The strongest opposing consideration is that “not yet derived” is the ordinary condition of a young program, and a preliminary Bell theorem shows the direction is not empty — but that contests prospects, not the observational claim about what has actually been proved.

The claim is a dated statement about the literature — the quantum package is underived — and it is documented from inside every program: Müller's own exposition ("I hope that some nonclassical aspects of quantum theory can be shown to be predictions," ZW-E003), Hoffman's single-object correspondence (ZW-E010), and Wolfram's hedged "we seem to be able to derive—" (ZW-E012). An absence claim can rarely be certain, so well_supported rather than established; a bridge paper existing unnoticed is conceivable, though nothing in the file suggests it. The strongest opposing consideration is that "not yet derived" is the normal condition of ambitious programs rather than evidence against them — true, but the claim does not assert otherwise; it locates the gap, and the proponents confirm the location.

A negative existence claim about a literature is hard to prove exhaustively, but this one is corroborated from inside every program named: Müller's "I hope that some nonclassical aspects... can be shown to be predictions" (ZW-E003), his 2026 paper treating quantum reconstruction as an open target (ZW-E002), Hoffman's published result being a single free-particle form-match (ZW-E010), and Wolfram's hedged verb plus admitted circularity (ZW-E012). No proponent asserts the contrary, which is the strongest available form of evidence for a claim of this shape. The strongest opposing consideration is that "not yet derived" is the normal condition of young programs and carries no negative evidential weight against them — correct, and the claim as stated does not assert otherwise. Residual risk: the evidence base is abstract- and webpage-level, so an unnoticed technical result elsewhere cannot be fully excluded.

Now confirmed in a peer-reviewed venue: the 2026 Foundations of Physics paper (ZW-E002) explicitly names the quantum reconstruction as unfinished, joining Müller's 'hope' framing (ZW-E003), Hoffman's correspondence-only record (ZW-E010), and Wolfram's hedged claims (ZW-E012). No proponent disputes the gap.

Conceded by each program from the inside — the refereed two-postulate paper naming reconstruction as an open target (ZW-E002), Müller's 'I hope' (ZW-E003), a single free-particle form-match (ZW-E010), and Wolfram's hedged 'we seem to be able to derive' (ZW-E012).

Each proponent concedes the gap in a citable venue or in their own words (ZW-E002 refereed, ZW-E003 'I hope', ZW-E010, ZW-E012 'we seem to be able to derive'). No new material contests it.

The gap is conceded by every proponent in their own words — ZW-E002 in a peer-reviewed venue, ZW-E003 in exposition, ZW-E010 for Hoffman, ZW-E012 for Wolfram. Nothing in the current record shows a derivation of the quantum package.

Conceded by every proponent in their own words: ZW-E002 in a refereed venue, ZW-E003 ('I hope'), ZW-E010 (single free-particle form-match), ZW-E012 ('we seem to be able to derive', plus conceded circularity). Opus is right that no proponent contests it.

Conceded by each proponent in their own words — a refereed open-target statement (ZW-E002), 'I hope' plus a preliminary theorem (ZW-E003), one free-particle form-match (ZW-E010), and a hedged 'we seem to be able to derive' with admitted circularity (ZW-E012).

Conceded by each proponent in their own words (ZW-E002, ZW-E003, ZW-E010, ZW-E012). ZW-E019 does not touch it: its framework is state-realist, so any success there would not count as an observer-first derivation.

Unchanged: conceded by each proponent in their own words (ZW-E002, ZW-E003, ZW-E010, ZW-E012). ZW-E019 does not touch this claim — its framework is state-realist, not observer-first, so even if its derivations hold they would not count as an observer-first success.

Conceded by each proponent in their own words (ZW-E002, ZW-E003, ZW-E010, ZW-E012). ZW-E019's framework is state-realist rather than observer-first, so even if sound it would not count against this claim.

The proponents themselves concede the derivation gap. Müller explicitly states his hope that nonclassical aspects will eventually become predictions and identifies current results as preliminary (E003, E002), while Hoffman and Wolfram offer only correspondences and embeddings (E010, E014). The strongest opposing consideration is that, like any young research program, these frameworks are still developing and adjacent fields are making progress on access-limitation derivations (E019).

ZW-E002 and ZW-E003 quote Müller explicitly describing the derivation of nonclassical aspects of quantum theory as a hope and the existing Bell result as “preliminary” and assumption-laden, while ZW-E001, ZW-E010–E014 show that neighbouring programs offer only correspondences or embeddings, not derivations of the full quantum package. No source in the file claims to have derived complex Hilbert space, the Born rule, and Tsirelson-bounded nonlocality from observer-first primitives. The main opposing consideration is that “has not yet been derived” is a statement about current progress, not about impossibility, and early formal footholds like the preliminary Bell theorem suggest the project is at least not vacuous.

No observer-first program in the record derives complex Hilbert space, the Born rule, or Tsirelson-bounded nonlocality from its primitives, and the concession is internal. Müller’s exposition states a hope that some nonclassical aspects “can be shown to be predictions” and calls the 2020 Bell result preliminary (ZW-E003); the 2026 Foundations of Physics paper treats quantum reconstruction as an open target (ZW-E002). Hoffman’s published mathematics is a free-particle form-match (ZW-E010); Wolfram’s strongest formal result is an embedding of an already-quantum calculus (ZW-E014), with the derivation claim hedged as “we seem to be able to derive” (ZW-E012). The Fall–Kondo preprint (ZW-E019) is adjacent state-realist context, not an observer-first bridge. The strongest opposing consideration is that “not yet derived” is the ordinary condition of a young program and that the preliminary Bell theorem shows the direction is not empty — which does not convert a documented gap into a derivation.

The derivation gap is documented from inside every named program: Müller concedes it in a refereed 2026 paper (ZW-E002) and in his own exposition ("I hope that some nonclassical aspects... can be shown to be predictions"; the Bell result is "preliminary", ZW-E003); Hoffman's published outputs are correspondences with one quantum object (ZW-E010); Wolfram's are informal with admitted circularity (ZW-E012). ZW-E019 is adjacent but explicitly state-realist, so it does not touch this observer-first claim. The strongest opposing consideration is that "not yet derived" is the normal condition of ambitious young programs rather than evidence against them — true, but irrelevant to the claim as stated, which asserts only the current absence, and that absence is conceded by the people best placed to deny it.

This is a negative existence claim about a literature, and the evidence is unusually direct: the flagship theorist writes that he "hope[s]" nonclassical quantum aspects can be shown to be predictions (ZW-E003) and names quantum reconstruction an open target (ZW-E002); Hoffman's published result is a free-particle form-match (ZW-E010); Wolfram's is a hedged self-published argument with a formal embedding rather than a selection result (ZW-E012, ZW-E014). No proponent record claims the package has been derived. The strongest opposing consideration is epistemic rather than evidential: negative literature claims cannot be proven exhaustively from abstract-level reads, and "not yet derived" is the normal state of a young program rather than a defect. Verdict is well_supported rather than established only because exhaustiveness cannot be verified from these records.

Conceded by each proponent in their own words (ZW-E002, ZW-E003, ZW-E010, ZW-E012). ZW-E019 is state-realist rather than observer-first, so even if its derivations hold it would not count against this claim.

Conceded by each proponent in their own words (ZW-E002, ZW-E003, ZW-E010, ZW-E012). ZW-E019 is state-realist rather than observer-first, so even if sound it does not bear on this claim.

Supported from inside every program: Müller states the quantum reconstruction is unfinished and hopes for it; Hoffman's published results are correspondences with a free-particle wavefunction, not Hilbert-space derivations; Wolfram's derivations are informal by his own presentation, with acknowledged circularities in the observer concept. No proponent claims the package has been derived.

No observer-first program has successfully deduced the specific mathematical apparatus of quantum mechanics—such as complex amplitudes, the Born rule, or Tsirelson-bounded nonlocality—from its non-material primitives. Hoffman demonstrates only an asymptotic free-particle correspondence, Wolfram's models stipulate path weights, and Müller explicitly concedes in his 2026 paper and exposition that deriving Bell violation with no-signalling remains an open target. The strongest opposing consideration is that preliminary proofs (such as Müller's heavily conditioned Bell theorem or Gorard's asymptotic projective Hilbert space convergence) demonstrate partial formal progress toward quantum phenomenology.

The claim is anchored in the program leader's own published words: "I hope that some nonclassical aspects of quantum theory can be shown to be predictions of algorithmic idealism" (ZW-E003), and the 2026 conclusions name the quantum prediction as one of two main open technical problems (ZW-E023). The strongest opposing consideration, examined and rejected, is the Wolfram program's Gorard 2020 paper — but read in full (ZW-E020) it stipulates the Born rule, labels its central derivation a conjecture, and obtains CHSH violation from explicit nonlocality, so it does not close the gap.

ZW-E003 and ZW-E023 directly record Müller's description of genuinely quantum predictions as unfinished, while ZW-E010, ZW-E014, and ZW-E020 show corresponding gaps in the Hoffman and Wolfram programs. In particular, the Wolfram treatment assumes a Born weighting and does not derive the Tsirelson bound. The strongest opposing consideration is that Müller has a conditional Bell-with-no-signalling theorem and Gorard claims Hilbert-space, path-integral, and Schrödinger-equation results; these are substantial partial results but do not amount to the full package named in the claim.

No derivation of the full quantum package from the primitives of algorithmic idealism, conscious-agent theory or the ruliad appears in the ledger; Müller’s own 2026 conclusions (ZW-E023), aid exposition (ZW-E003) and 2020 abstract explicitly treat Bell violation with no-signalling, quantum computation and genuine reconstruction as open targets or “hopes,” while Hoffman and Wolfram results stop at correspondences, embeddings or conjectures. The strongest opposing consideration would be an unnoticed complete derivation, but none is present among the evidence records.

For algorithmic idealism, the proponent concedes the gap in his Foundations of Physics paper: predicting genuinely quantum phenomena is one of 'two main open technical problems', and the Bell explanation 'needs further elaboration' (E023, consistent with E002 and E003). For the neighbours, E010 records that Hoffman's correspondence derives no Born rule, composition or nonclassical correlations, and E020 records that Gorard 2020 labels the quantum derivation a conjecture, stipulates the Born rule, and obtains CHSH violation without the Tsirelson cap; E019 concerns a state-realist framework and does not bear on observer-first programs. Strongest opposing consideration: Gorard's abstract claims an unaudited proof that multiway geometry converges to complex projective Hilbert space, one component of the package, and coverage of later work (Hoffman 2023, background only; Wolfram-program field theory 2023, unread) is incomplete, so the universal negative rests on the strongest papers read rather than an exhaustive search. Confidence is also moderate because the clause naming 'efficient quantum computation' as a Müller target is attested by no evidence record in the packet and should be sourced or trimmed, whereas the Bell-with-no-signalling clause is attested twice.

Supported from inside every program, now in the flagship's peer-reviewed words: Müller's 2026 conclusions say a successful formalization should predict genuinely quantum phenomena, that his sketched Bell explanation needs further elaboration, and that resembling mathematics does not count. Hoffman's results are correspondences with a free-particle wavefunction. The Wolfram program's formal paper states its quantum derivation as a conjecture and posits the Born rule. No proponent claims the package derived.

No observer-first program has succeeded in deriving complex Hilbert space, the Born rule, or the Tsirelson bound from first-person or computational primitives alone. Müller himself repeatedly and explicitly emphasizes in print (both in his 2020 paper, his 2026 Foundations of Physics paper, and his personal research exposition) that deriving genuine nonclassical quantum phenomena and efficient quantum computation remains an unfinished open problem. The only opposing argument is the existence of exploratory toy models or unproven conjectures claiming qualitative resemblance.

The claim of absence is supported by the strongest possible witnesses: the founder of the flagship program states in a peer-reviewed conclusion that predicting genuinely quantum phenomena is an open problem (ZW-E023) and "hopes" for nonclassical predictions in his own exposition (ZW-E003), while the Wolfram program's formal paper labels its quantum derivation a conjecture (ZW-E020, ZW-E024) and Hoffman's results stop below the nonclassical bar (ZW-E010). The opposing consideration is inherent to negative claims: the ledger covers three named programs plus searched texts, and a derivation in unsearched words or an unexamined later paper cannot be excluded, so established is too strong.

ZW-E003 and ZW-E023 directly record Müller describing genuinely quantum predictions as unfinished, while ZW-E010 and ZW-E020 show that the Hoffman and Wolfram results fall short of a general Born-rule, composition, and Tsirelson-bounded derivation. The evidence therefore supports both the stated gap and Müller's identification of Bell violation with no-signalling as a target. The strongest opposing consideration is ZW-E024, which reports stronger Wolfram-program results than a mere embedding, including claimed Hilbert-space convergence and Schrödinger and path-integral derivations. Confidence is moderated because the negative claim ranges over whole research programs, the Wolfram paper was not fully audited, and later work was not exhaustively reviewed.

Müller states in the Foundations of Physics conclusions that a successful formalization should predict genuinely quantum phenomena such as Bell violation with no-signalling, that the 2020 sketch needs further elaboration, and that building the quantum formalism in by construction would be methodologically wrong (ZW-E023); the AID exposition calls the Bell result preliminary and expresses only a hope for nonclassical aspects (ZW-E003). Hoffman and Wolfram/Gorard supply no completed derivation of the full package either (ZW-E010, ZW-E020). The strongest opposing consideration is the existence of partial results (preliminary Bell; free-particle correspondence; multiway embeddings), which fall short of the claim's stated package.

The flagship program's author concedes the gap in peer-reviewed print (E023). A successful formalization "should predict some phenomenal aspects of Quantum Theory", and the Bell explanation "needs further elaboration"; his own exposition calls the goal a hope (E003). The Wolfram program's formal paper labels its quantum derivation a conjecture, states the Born rule, and obtains CHSH violation from explicit nonlocality without the Tsirelson cap (E020, E024). Hoffman's correspondence derives no Born rule, composition, or nonclassical correlations (E010). Fall & Kondo's claimed derivation (E019, abstract only) starts from a state-realist ontology, so it does not bear on this claim. Strongest opposing consideration: this is a universal negative over a literature read only in part (Gorard by keyword search; the 2023 Hoffman and Wolfram-program papers not at all), and Gorard's unaudited convergence proof would, if sound, supply one component of the package. The clause naming efficient quantum computation as a Müller target is not attested in any evidence record, and this verdict does not extend to it.

Supported from inside every program, now in the flagship's peer-reviewed words: Müller's 2026 conclusions say a successful formalization should predict genuinely quantum phenomena, that his sketched Bell explanation needs further elaboration, and that resembling mathematics does not count. Hoffman's results are correspondences with a free-particle wavefunction. The Wolfram program's formal paper states its quantum derivation as a conjecture and states the Born rule with no derivation found in its text. No proponent claims the package derived.