Finite-dimensional complex quantum theory has been rigorously reconstructed from operational and information-theoretic axioms — without taking Hilbert space, complex amplitudes, or the trace rule as primitives — in at least three independent theorem sets (Hardy 2001; Chiribella–D'Ariano–Perinotti 2011; Masanes–Müller 2011).

Three independent, peer-reviewed, long-standing theorem sets, uncontested by any party to this dispute. The only interpretive care needed is scope: finite-dimensional, conditional on axioms whose own origin is the open question.

The reconstruction of finite-dimensional quantum mechanics from operational axioms is supported by multiple independent, peer-reviewed theorems documented in the evidence (Masanes-Müller 2011, Chiribella et al. 2011, Hardy 2001). These establish that complex amplitudes and Hilbert spaces do not need to be postulated as foundational primitives. The strongest opposing consideration is that the axioms themselves (especially purification) may conceptually smuggle in the quantumness they seek to explain.

Multiple independent reconstruction programs (Hardy; Chiribella et al.; Masanes–Müller) are documented in mainstream venues and explicitly state that finite-dimensional quantum theory is recovered from operational/informational axioms without taking Hilbert space as primitive (ZW-E006–E008). The hardest opposing consideration is that axioms like purification may already encode much of what is distinct about quantum theory, so the explanatory gain is partly a relocation of structure rather than “derivation from nothing,” but that does not undercut the correctness of the reconstructions as theorems.

Three independent reconstructions — Hardy 2001, Chiribella–D'Ariano–Perinotti 2011, and Masanes–Müller 2011 — are documented in the evidence records as deriving finite-dimensional complex quantum theory from operational and informational axioms without taking Hilbert space, amplitudes, or the trace rule as primitives. The results are long-standing, published in mainstream venues (Hardy as a foundational preprint), and uncontested by any party to this case. The strongest opposing consideration is that purification and continuous reversibility may already encode most of what is distinctively quantum, so the theorems compress the formalism rather than explain why nature satisfies those axioms; that objection addresses explanatory depth, not the existence or validity of the reconstructions as stated.

Three independent reconstruction theorem sets (Hardy 2001, Chiribella–D'Ariano–Perinotti 2011, Masanes–Müller 2011) are documented in the evidence records (ZW-E006, E007, E008), peer-reviewed in mainstream venues, standing 15–25 years, and uncontested by any side of this case. What they establish is conditional — quantum theory follows once the operational axioms are granted — and the strongest opposing consideration is exactly that: purification does such heavy lifting that "derived from information principles" may be compression rather than creation ex nihilo. That objection qualifies the philosophical gloss, not the theorems, and no flaw in any proof is alleged anywhere in the file. As stated, the claim is established.

Three independent theorem sets in mainstream venues (Hardy 2001; Chiribella–D'Ariano– Perinotti 2011; Masanes–Müller 2011), standing for fifteen to twenty-five years, with no alleged flaw from any party to this dispute; ZW-E006/E007/E008 characterize them accurately and their conditional force is correctly stated. The strongest opposing consideration is deflationary rather than corrective: purification and continuous reversibility may already encode most of the distinctly quantum content, so the result is explanatory compression, not creation from neutral ground — and Hardy's "delete one word" punchline arguably demonstrates precisely how much work the fifth axiom does. That objection does not touch the claim as stated, which asserts derivation from operational axioms without Hilbert space as primitive. Note the records are abstract-level verifications, but these are among the most widely re-checked results in quantum foundations, so priors carry little weight here.

Three independent, peer-reviewed theorem sets (ZW-E006, ZW-E007, ZW-E008), uncontested by any party. Scope caveat unchanged: finite-dimensional, and the origin of the axioms themselves is the open question.

Three independent peer-level theorem sets (ZW-E006, ZW-E007, ZW-E008) with no dissent in the record; even the steelman ZW-C009 relies on it. Scope caveat unchanged: finite-dimensional only, and the axioms' own origin is unexplained.

Three independent peer-reviewed theorem sets (ZW-E006, ZW-E007, ZW-E008) with no contesting record. Scope caveat unchanged: finite-dimensional only, and the axioms' own origin (purification, continuous reversibility) is untouched.

Three independent peer-reviewed theorem sets (ZW-E006, ZW-E007, ZW-E008), uncontested by any party in this case. Scope caveat unchanged: finite-dimensional, and why nature satisfies the axioms remains open.

Three independent peer-reviewed theorem sets (ZW-E006, ZW-E007, ZW-E008), uncontested by any seat. Every dissent concedes it. Scope caveat: finite-dimensional, and why nature satisfies purification or continuous reversibility is untouched.

Three independent peer-reviewed theorem sets (ZW-E006, ZW-E007, ZW-E008) support it and no record item contests it. Scope caveat unchanged: finite-dimensional only, and why nature satisfies purification or continuous reversibility is untouched.

Three independent peer-reviewed theorem sets (ZW-E006, ZW-E007, ZW-E008) support it; nothing in the record contests it. Finite-dimensional scope caveat stands.

Unchanged: three independent peer-reviewed theorem sets (ZW-E006, ZW-E007, ZW-E008) support it and nothing in the record, including the new ZW-E019, contests it. Finite-dimensional scope caveat stands.

Three independent peer-reviewed theorem sets (ZW-E006, ZW-E007, ZW-E008) support it; nothing in the record contests it. Finite-dimensional scope caveat stands.

The quantum reconstruction theorems are rigorously proven in the peer-reviewed literature, establishing that finite-dimensional quantum theory can be derived from operational and informational axioms without postulating Hilbert space. Evidence records E006, E007, and E008 independently confirm this mathematical achievement. The strongest opposing consideration is that the axioms themselves (especially purification) may simply relocate the specifically quantum mystery rather than dissolve it.

Multiple independent, mainstream sources (Masanes–Müller, Hardy, Chiribella–D’Ariano–Perinotti) together with ZW-E006–E008 robustly support that finite-dimensional complex quantum theory can be reconstructed from operational and information-theoretic axioms without positing Hilbert space or the trace rule. These are mature, widely cited theorems with no reported flaws in the case file. The strongest opposing consideration is conceptual rather than factual: critics argue that axioms such as purification already smuggle in most of what is distinctively quantum, so the reconstructions may relocate rather than fully explain the strange content of the theory.

Three independent theorem sets — Hardy 2001, Chiribella–D'Ariano–Perinotti 2011, and Masanes–Müller 2011 — reconstruct finite-dimensional complex quantum theory from operational and informational axioms without taking Hilbert space, amplitudes, or the trace rule as primitives (ZW-E006, ZW-E007, ZW-E008). These results have stood for one to two decades in mainstream venues and are not contested by any party to this case; they fix stage two of the advertised architecture. The strongest opposing consideration is that purification and continuity already carry most of what is distinctively quantum, so the reconstructions compress the mystery into the axioms rather than creating quantum theory ex nihilo — an objection to explanatory depth, not to the existence or validity of the theorems. Finite-dimensional scope and the absence of Hamiltonians or QFT limit what has been derived without disturbing the claim as stated.

Three independent reconstruction theorem sets are documented from abstracts verified against arXiv and publisher records (ZW-E006, ZW-E007, ZW-E008), two in refereed venues and Hardy's as a two-decade-old preprint no one contests; general background knowledge concurs these results are real and rigorous. The claim is a literature-state fact about what has been proven, and no side of this case disputes it. The strongest opposing consideration is interpretive, not factual: purification and continuity may smuggle in the distinctly quantum content, making the reconstructions explanatory compression rather than creation ex nihilo — but that qualifies what the theorems mean, not whether they exist as stated.

Three independent, long-standing theorem sets are documented at abstract level with verbatim key quotes (ZW-E006, ZW-E007, ZW-E008), and no record or party in the case contests them; Hardy's continuity clause and CDP's purification postulate are each identified as the locus of quantumness. The claim is explicitly conditional — quantum theory follows once the axioms are granted — which is exactly what the evidence shows. The strongest opposing consideration, noted in ZW-E007's limitations, is that purification and continuous reversibility may already encode most of the quantum content, making this explanatory compression rather than derivation from nothing; that qualifies the claim's significance but not its truth. Hardy 2001 was never journal-published, a minor provenance caveat offset by the two refereed successors.

Three independent peer-reviewed theorem sets (ZW-E006, ZW-E007, ZW-E008) support it and nothing in the record contests it. The finite-dimensional scope caveat stands.

Three independent peer-reviewed theorem sets (ZW-E006, ZW-E007, ZW-E008) support it and nothing in the record contests it. The finite-dimensional scope caveat stands.

These are peer-reviewed theorems in mainstream physics venues, standing for fifteen to twenty-five years, and are not contested by any side of this case. What they establish is conditional: quantum theory follows once the operational axioms are granted.

Hardy (2001), Chiribella et al. (2011), and Masanes & Müller (2011) independently proved that finite-dimensional complex quantum theory can be reconstructed from operational and information-theoretic principles such as purification and continuous reversibility. These theorems rigorously demonstrate that Hilbert spaces and the Born rule can be derived rather than taken as ontological primitives. The strongest opposing consideration is that these reconstructions are strictly finite-dimensional operational frameworks that do not yet derive relativistic field theories or specific physical Hamiltonians.

Three independent reconstruction theorem sets are documented with verified primary sources (ZW-E006, ZW-E007, ZW-E008), each deriving finite-dimensional quantum theory without postulating Hilbert space or the trace rule. The strongest opposing consideration is scope: all are finite-dimensional and none derives Hamiltonians, locality structure, or QFT — but the claim as stated is confined to finite-dimensional theory and is accurate.

ZW-E006, ZW-E007, and ZW-E008 document three distinct axiom-based reconstructions of finite-dimensional quantum theory, including derivations that do not begin by postulating Hilbert space. Their different axiom systems support the claim that these are separate theorem sets rather than repeated citations of one proof. The strongest opposing consideration is that the distinctly quantum content remains concentrated in substantive axioms such as purification or continuous reversibility, and the records do not extend the result to quantum field theory or infinite dimensions.

Three independent, peer-reviewed reconstruction theorems (Hardy 2001; Chiribella–D'Ariano–Perinotti 2011; Masanes–Müller 2011) recover finite-dimensional complex quantum theory from operational and informational axioms without taking Hilbert space, complex amplitudes or the trace rule as primitives; the abstracts and source statements in ZW-E006, ZW-E007 and ZW-E008 match the claim verbatim. The strongest opposing consideration is that all three remain finite-dimensional and leave Hamiltonians, locality and QFT outside their scope, yet that limitation does not touch the claim as stated.

Three strong records (E006, E007, E008) attest the theorem sets. The Chiribella–D'Ariano–Perinotti and Masanes–Müller derivations are refereed results that take operational convex frameworks, not Hilbert space, complex amplitudes or the trace rule, as primitives. The records are abstract-level, so 'rigorous' leans partly on more than a decade of independent re-use and refinement of these proofs; that is background knowledge, disclosed as such. Strongest opposing consideration: Hardy 2001 was never refereed, and its axioms, including a minimality ('simplicity') assumption, were refined by successors (E008 limitation), so a strict reader counts two refereed sets plus a founding derivation; all three are also finite-dimensional, leaving Hamiltonians, locality and field theory outside (E006). Though locally true, the claim lends ZW-C008 nothing directly, because the reconstructions are ontology-neutral and fix only the destination of any bridge.

Peer-reviewed theorems in mainstream physics venues, standing for fifteen to twenty-five years and contested by no side of this case. What they establish is conditional: quantum theory follows once the operational axioms are granted.

Three independent and peer-reviewed theorem sets—Hardy (2001), Chiribella, D'Ariano, and Perinotti (2011), and Masanes and Müller (2011)—rigorously demonstrate that finite-dimensional complex quantum mechanics can be fully reconstructed from operational and information-theoretic principles without assuming Hilbert space or the trace rule as primitives. The primary opposing consideration is that these theorems remain restricted to finite-dimensional systems and do not derive specific Hamiltonians, spatial locality, or relativistic quantum field theory.

Three independent theorem sets are each supported by dedicated evidence records (ZW-E006, ZW-E007, ZW-E008) with verified bibliographic records and abstract-level quotes, including the purifcation postulate that singles out quantum theory and Hardy's continuity axiom. This matches general background knowledge of the reconstruction literature. The only opposing consideration is scope, not existence: all reconstructions are finite-dimensional and leave Hamiltonians, locality, and QFT outside their reach, which the limitations fields record honestly.

ZW-E006, ZW-E007, and ZW-E008 report three distinct reconstructions that recover finite-dimensional quantum formalism from physical or informational requirements rather than taking Hilbert space as the starting primitive. Their different axiom sets support the claim's characterization as multiple independent theorem sets. The strongest opposing consideration is limited scope: these reconstructions do not derive particular Hamiltonians, locality, quantum field theory, or why nature satisfies the distinctively quantum axioms.

Three independent, peer-reviewed or long-circulated theorem sets (Hardy 2001; Chiribella–D'Ariano–Perinotti 2011; Masanes–Müller 2011) reconstruct finite-dimensional complex quantum theory from operational and informational axioms without taking Hilbert space, complex amplitudes, or the trace rule as primitives (ZW-E006, ZW-E007, ZW-E008). The strongest opposing consideration is scope: the results are finite-dimensional and leave Hamiltonians, locality, and QFT outside; that limitation does not touch the claim as stated.

Three strong records (E006, E007, E008) report derivations of finite-dimensional complex quantum theory from operational axioms without postulating Hilbert space. Two are refereed (New Journal of Physics, Physical Review A), and the three reach the same target independently from different axiom sets, a theorem-level replication. Chiribella–D'Ariano–Perinotti locate the quantum content in purification and Hardy in the continuity of reversible transformations. Because the ledger read only abstracts, the judgment that the proofs are valid leans on general background: they have been scrutinized and extended for over a decade. Strongest opposing consideration: Hardy 2001 was never refereed and its axioms were later refined, so "rigorously" in "at least three" rests partly on its weakest member; all three also presuppose the generalized probabilistic framework, so the trace rule is derived inside an operational setting rather than from nothing. None of this local truth transfers to the observer-first thesis without the missing bridge.

Peer-reviewed theorems in mainstream physics venues, standing for fifteen to twenty-five years and contested by no side of this case. What they establish is conditional: quantum theory follows once the operational axioms are granted.