Gorard's 2020 formal paper on quantum mechanics in the Wolfram model (Complex Systems) states the derivation of quantum mechanics from multiway invariance as its central conjecture; it states outcome probabilities by a multiway Born rule for path weights, of which a search of its full text finds no derivation; and it obtains CHSH-inequality violation from explicit nonlocality, with no derivation of the Tsirelson bound found by the same search.

Gorard's 2020 paper in Complex Systems openly characterizes the derivation of discrete quantum mechanics from multiway invariance as its "central conjecture" rather than an established theorem. The paper stipulates the Born rule for multiway path weights by assumption and derives CHSH inequality violations through explicit nonlocality without proving that correlations must satisfy the Tsirelson bound of 2√2. The strongest opposing consideration is that the paper claims a formal proof that the continuum limit of multiway graph geometry converges to complex projective Hilbert space.

ZW-E020 is the strongest kind of evidence this case allows: the full PDF read, with page-located quotes showing the central conjecture wording (p. 29), the Born rule stipulated for path weights (pp. 16–17), and CHSH violation obtained "in much the same way as one does for other standard deterministic and nonlocal interpretations" (p. 52). The strongest opposing consideration is that the convergence-to-Hilbert-space proof was not audited; but the claim concerns what the paper states and assumes, which the direct reading establishes.

ZW-E020 quotes the paper's characterization of the quantum derivation as its central conjecture, its assumed orthonormal basis and multiway Born rule, and its use of explicit nonlocality for CHSH violation. The inspected passages supply no derivation of the Tsirelson bound, matching the claim's careful negative wording. The strongest opposing consideration is the paper's claimed convergence to complex projective Hilbert space and its path-integral and Schrödinger results, whose proofs were not audited in the evidence record.

Direct quotation from the 62-page Gorard 2020 PDF establishes that the QM derivation is labelled a “central conjecture,” that branch states and the multiway Born rule for path weights are introduced by assumption, and that CHSH violation is obtained by the same explicit nonlocality used in other deterministic nonlocal models, without a Tsirelson bound (ZW-E020). The strongest opposing consideration is a possible misreading of the continuum-limit geometry claim, yet the probability-rule and CHSH passages are unambiguous.

E020 reads the full 62-page text and gives page-located verbatim quotes for each conjunct: the 'central conjecture' (p. 29), the Born rule for path weights introduced rather than derived (pp. 16–17), and CHSH violation obtained 'in much the same way as one does for other standard deterministic and nonlocal interpretations' (p. 52). The two absence claims, no Born-rule derivation and no Tsirelson derivation, rest on that session's targeted search, which is reasonable but not a proof audit. The 'most extended formal treatment' superlative is also unverified against the program's later field-theory work, which was noted but not read. Strongest opposing consideration: the abstract claims a proof of convergence to complex projective Hilbert space geometry, so the paper is not merely assumption-laden; and the record is a single extraction by the same model family running this check, so this assessment cannot count as independent confirmation of the reading.

Each element is quoted from the paper: the derivation of quantum mechanics is "our central conjecture"; branch states form an orthonormal basis "by assumption" and probabilities are "given by the multiway Born rule"; CHSH violation is proved "in much the same way" as in deterministic nonlocal interpretations. The Tsirelson clause rests on a search of the full text that found no derivation of the bound; the convergence proof itself was not audited.

A textual audit of Gorard's (2020) formal quantum paper confirms that the author characterizes the derivation of discrete quantum mechanics from multiway invariance as a "central conjecture," assumes an orthonormal basis, and states the Born rule for evolution path weights without deriving it. Furthermore, the paper obtains Bell CHSH violations through explicit nonlocality in a manner analogous to other deterministic models, without providing a derivation of the Tsirelson bound. The strongest qualification is that the paper was audited via targeted keyword searches rather than an exhaustive line-by-line mathematical audit.

ZW-E020 supplies direct, page-located support: the central derivation is stated as a conjecture (p. 29), the Born rule for path weights is stated without derivation (p. 17), and CHSH violation comes from explicit nonlocality with no Tsirelson bound found (p. 52). The strongest opposing consideration is the record's own scope limitation: the negative findings rest on a keyword search of a 62-page text, not a full read, so a derivation in other terminology cannot be excluded without the audit that ZW-R007 proposes.

ZW-E020 supplies page-located passages identifying the general derivation as a central conjecture, stating an orthonormal basis by assumption, invoking a multiway Born rule, and deriving CHSH violation through explicit nonlocality. Its documented full-text search found no derivation of the Born rule's squared form and no Tsirelson-bound treatment, matching the carefully search-scoped wording of the claim. The strongest opposing consideration is that the paper was not read or mathematically audited in full, so a derivation expressed under different terminology could have escaped the search.

A full-text search of Gorard 2020 finds the central quantum claim labeled a conjecture (p. 29), the multiway Born rule for path weights stated without a derivation of the squared form (p. 17), orthonormal basis taken by assumption (p. 16), and CHSH violation obtained via explicit nonlocality with no mention or derivation of the Tsirelson bound (ZW-E020). The strongest opposing consideration is that a derivation in other words, not caught by the search terms, cannot be fully excluded without a mathematician's full audit; the claim is scoped to that search and remains accurate on the passages read.

E020 quotes the paper directly on all three points. Deriving quantum mechanics from multiway invariance is "our central conjecture" (p. 29). Probabilities are "given by the multiway Born rule for evolution path weights" (p. 17). CHSH violation is proved "in much the same way as" for deterministic nonlocal interpretations (p. 52). The absence clauses are explicitly scoped to a full-text search, so the claim's local truth is well documented. Strongest opposing consideration: the abstract claims path-integral and Schrödinger derivations, so a path-weight determination equivalent to the squared-amplitude form could sit under unsearched terms. That threatens the implication, not the scoped claim. The paper had a single AI reader, no human check, and appeared in a Wolfram-founded venue; none of this undercuts the verbatim quotations.

The quoted elements are verbatim from the paper: the derivation of quantum mechanics is "our central conjecture"; outcome probabilities are "given by the multiway Born rule for evolution path weights"; CHSH violation is proved "in much the same way" as in deterministic nonlocal interpretations. That neither the Born rule nor the Tsirelson bound is derived rests on a search of the full text, which found no derivation of either. The paper was not read in full, and its convergence proof was not audited.