QNFO Papers

Gate-Check Convergence: A Benchmark Protocol and Statistical Design for Measuring Cross-Model Agreement on Fringe Physics Claims

Living paper · v2.0.0Published Filed under Logic & formalismTags: LLM systems · Replication23 min read · 5,396 words
Quick readPDF

#Abstract

Large language models (LLMs) are increasingly consulted as informal arbiters of scientific claims, including claims at the fringe of established physics, yet no published protocol measures whether independent models converge on such verdicts because they retrieve a shared consensus or because they share failure modes. We propose Gate-Check Convergence (GCC), a benchmark protocol testing the hypothesis that independent LLMs converge not only on verdicts for fringe physics claims but on the reasoning scaffolds used to reach them (Bell's theorem for hidden-variable claims, the $SU(2) \to SO(3)$ covering map for spin claims, BCS gap arithmetic for superconductivity claims). We formalize the hypothesis as retrieval from an overlapping consensus lattice, which predicts agreement rising with how well-represented the relevant consensus material is, and specify the benchmark construction, blinded evaluation, and statistics: Cohen's $\kappa$ on verdicts, Jaccard-based argument-structure alignment, and citation-quality variance. All statistical machinery is derived with shown arithmetic: pairwise chance agreement $p_e = 0.25$ under a uniform four-category model; unanimous five-model agreement on 60 claims at $\approx 3.2 \times 10^{-145}$; benchmark sizes of $n \approx 110$ claims for a $\kappa$ confidence interval of half-width $0.10$ and $n_{\max} \approx 171$ worst-case; power of $n \approx 67$ claims to detect a Spearman correlation of $\rho = 0.35$; and resolution of verdict-agreement gaps of $\Delta \gtrsim 0.30$ at two-sided $\alpha = 0.05$. No model runs are reported; the paper contributes the protocol, the formal model, and the analysis machinery needed to execute and falsify the claim.

#1. Introduction

When a user asks an LLM whether some exotic claim — a faster-than-light signaling scheme, a classical reconstruction of quantum statistics, a room-temperature superconductivity mechanism — is credible, the model performs what we call a gate check: a rapid triage of the claim against the boundaries of accepted physics. The people facing this problem are everyday users of AI assistants, journalists fact-checking fringe science stories, and educators deciding whether to flag AI-generated science content; the cost of getting it wrong is that a confidently wrong verdict, repeated across every assistant a user might consult, acquires the appearance of independent confirmation. Today there is no measurement instrument that distinguishes genuine cross-model agreement, grounded in shared scientific consensus, from correlated failure: several models making the same mistake for the same hidden reason. If the result of this paper holds — that cross-model convergence can be tested, and that its dependence on consensus representation separates the two explanations — then a journalist, a platform trust-and-safety team, or a researcher gains a concrete decision rule: agreement between models is evidence only to the degree that it tracks representation depth and expert ground truth, and the benchmark tells them how to check.

Anecdotal observation suggests that different models, from different families and trained by different organizations, often reach the same verdict and deploy the same argument: the same invocation of Bell's theorem, the same appeal to the covering map from $SU(2)$ to $SO(3)$, the same BCS gap estimate. This observation motivates the central question of the paper:

Is cross-model convergence on fringe physics claims robust across claim domains, model families, and prompt framings, and does it correlate with accuracy against expert ground truth?

Two explanations compete. Gate-check convergence: models retrieve a shared consensus lattice — the same textbooks, reviews, and canonical refutations present in all large training corpora — and the shared retrieval produces both the verdict and the argument structure. Correlated hallucination: models share systematic failure modes (similar pretraining objectives, similar pressures toward confident-sounding verdicts) that produce coincident wrong answers without genuine evidential grounding. These explanations diverge in a measurable way. Gate-check convergence predicts that agreement rises with how well-represented the relevant consensus material is in the literature, and that agreement on frontier or genuinely novel questions drops toward the chance baseline; correlated hallucination predicts agreement that is high but uncorrelated with representation depth and uncorrelated with expert ground truth. The distinction matters practically: agreement that tracks consensus is usable as weak evidence, while agreement that does not is a systematic risk that scales with the number of models consulted.

The contributions are:

  1. A benchmark design: a corpus of fringe physics claims with expert verdicts in three classes (falsified, trivial, valid-but-flawed), each annotated with its canonical consensus scaffold and a representation-depth score (Section 3.1).
  2. An evaluation protocol: blinded, prompt-framing-varied evaluation across multiple model families, scored with Cohen's $\kappa$, a Jaccard argument-alignment metric, and citation-quality variance (Sections 3.2–3.3).
  3. A formal retrieval model yielding the falsifiable depth-dependence prediction that separates gate-check convergence from correlated hallucination (Section 3.4).
  4. The full statistical machinery derived with shown arithmetic: chance baselines, benchmark sizes, power for the depth–agreement correlation, and the resolvable agreement-gap effect size (Sections 4.1–4.5, reported as Results in Section 5).

We emphasize scope: this paper reports no model runs. Every number in Section 4 is either derived from stated inputs by shown arithmetic or explicitly labeled a projection under stated assumptions.

The works relevant to this protocol fall into four groups: automated claims verification, consensus formation in physics, meta-scientific verdict conventions, and fringe-adjacent candidate claims.

Automated claims verification. [2] presents a proof-of-concept framework using large language models to process unstructured text — medical records, adjuster notes, call transcripts — in an actuarial claims context, motivated by the observation that manual processing of these documents is time-consuming, inconsistent across reviewers, and unscalable. Its framing of claims as objects requiring consistent treatment across reviewers parallels the inter-model consistency requirement of this protocol. [6] addresses automated verification of claims about images, arguing that the volume of claims requiring fact-checking exceeds manual capacity by orders of magnitude and that prior automation work had largely ignored the image-claim modality. It is the closest methodological analogue to our problem — automated claim verification against ground truth — and its scale argument motivates automated gate-checking: if human expert triage of fringe claims is the bottleneck, a measured cross-model agreement instrument tells users how much weight machine consensus can bear. [8] targets LLM-assisted peer review, observing that existing automated novelty assessment compares claimed contributions against prior literature while implicitly assuming those contributions are realized in the work itself, whereas human reviewers frequently challenge novelty claims at the level of whether the methods support them. This is the closest published relative of the gate-check question: it asks whether a claim is supported by the reasoning behind it, which is exactly what we ask models to assess for fringe physics claims; its stated gap is that automated systems check claims against literature rather than against the paper's own methods.

Consensus formation and consensus documents in physics. We use the Physics Briefing Book [3] to illustrate how expert consensus is formed and recorded in physics: its §1.10 lists the fundamental puzzles (electroweak symmetry breaking, dark matter, etc.) and §3.15 describes a rich precision‑measurement programme, demonstrating a dense consensus document that populates the training corpora our retrieval model posits. Its content also illustrates where the consensus lattice is dense — The Physics Briefing Book [3] lists precision measurements of rare processes, the origin of electroweak symmetry breaking, the nature of the Higgs boson, and the pattern of quark and lepton masses in §1.10, and describes a rich precision‑measurement programme in §3.15, which exemplify heavily rehearsed material that we predict elicits convergent model verdicts. [4] presents the expectations for the design and physics program of an $e^+e^-$ linear collider of center-of-mass energy 500 GeV to 1 TeV, reviews the experiments it would carry out, and demonstrates its key role in exploring physics beyond the Standard Model, arguing the feasibility of constructing the machine. It serves as an example of a frontier-adjacent consensus document: beyond-Standard-Model physics is a domain where the lattice is thinner and more contested — the preface itself notes that the missing piece is the agent that breaks electroweak symmetry, "whatever its source" — which our model predicts should lower cross-model agreement relative to settled domains. [1] surveys the compactness and geometric stability conjectures formulated by participants at the 2018 IAS Emerging Topics Workshop on Scalar Curvature and Convergence, focusing on sequences of compact Riemannian manifolds with nonnegative scalar curvature, and states specific open conjectures such as the geometric stability of scalar torus rigidity (Conjecture 7.1, with hypotheses $\mathrm{Scal}_j \geq -1/j$ and a lower bound on minimum area). We cite it as an example of a consensus lattice node in mathematics whose status is open: under our hypothesis, models evaluating whether such a conjecture is settled should converge on "open, not settled," and the conjecture's precise quantitative hypotheses make it a well-defined benchmark item.

Meta-scientific verdict conventions. [5] argues that the $5\sigma$-convention in particle physics, as applied to claims that ultrashort-lived unstable particles such as a Higgs boson have been observed, produces a category mistake in which pure reasoning is passed off as observation; its core distinction is that for a short-lived particle the claim of observation rests on a chain of reasoning rather than on direct observation of a stable object. This is directly relevant to the benchmark in two ways: it is precisely the kind of meta-scientific consensus argument (a critique of evidential conventions) that we expect models to retrieve as a scaffold when evaluating "was X observed?" claims, and it supplies a claim class in which the correct verdict hinges on convention rather than fact — a stress case for the expert-adjudication rule.

Allocation of evaluation effort. [7] studies the allocation of a finite estate among agents whose claims exceed resources, integrating the Proportional rule with the Constrained Equal Awards (CEA) rule. The connection is analogical but structural: our benchmark must allocate a finite evaluation budget (model runs, expert-verification hours) across claim classes, and claims-problem fairness rules offer a principled template for that allocation — for example, guaranteeing each claim class a minimum allocation (the CEA-like floor) before distributing remaining runs proportionally to class size.

In summary, the adjacent literature provides automated claims-verification precedents [2], [6], [8]; examples of consensus formation and consensus documents in physics [1], [3], [4]; a meta-scientific critique relevant to verdict conventions [5]; and an allocation-theoretic analogy [7]. No prior work in this list measures cross-LLM agreement on fringe physics verdicts, which is the gap this protocol addresses.

#3. Methods

#3.1 Benchmark construction

The benchmark consists of $N_{\mathrm{claims}}$ fringe physics claims, each annotated with:

  • an expert verdict $v_e \in \{\text{falsified}, \text{trivial}, \text{valid-but-flawed}\}$, established by at least two independent domain experts with a documented adjudication rule for disagreement;
  • a consensus-scaffold label $s_c$: the canonical argument a physicist would deploy (e.g., Bell's theorem, the $SU(2) \to SO(3)$ covering map, BCS gap arithmetic, the $5\sigma$ convention critique of [5]);
  • a representation-depth score $d_c \in [0,1]$: an operationalized estimate of how well-represented the scaffold is in the published literature, measured by a documented proxy (e.g., count of canonical textbook treatments, normalized).

Claim classes follow the trichotomy: falsified (contradicts established results), trivial (restates known results as if novel), valid-but-flawed (sound motivation, defective execution), with candidate items drawn from beyond-Standard-Model territory of the kind surveyed in [4]. Open-conjecture items of the kind collected in [1] serve as a fourth, control category of "known-open" claims against which models' willingness to say "not settled" can be calibrated.

#3.2 Evaluation protocol

Each claim is evaluated by $M$ models from at least three families, under $F \geq 3$ prompt framings (neutral, adversarial, charitable), blinded in the sense that no model output is visible to any other evaluation and order is randomized. For each run we record:

  1. the verdict $v_{m,f,c} \in \{\text{falsified}, \text{trivial}, \text{valid-but-flawed}, \text{other}\}$;
  2. the argument structure, parsed into a scaffold graph whose nodes are argument primitives and whose edges are inferential steps; alignment between two runs is the Jaccard similarity of their primitive sets:
$$J_{(i,j)} = \frac{|S_i \cap S_j|}{|S_i \cup S_j|},$$

where $S_i$ is the scaffold-primitive set of run $i$;

  1. the citations offered, scored for quality (verifiability, relevance, correctness) on a rubric scale.

#3.3 Statistics

Verdict agreement. For each model pair $(m_1, m_2)$ we compute Cohen's $\kappa$:

$$\kappa = \frac{p_o - p_e}{1 - p_e},$$

where $p_o$ is observed agreement and $p_e$ the chance agreement from the marginal distributions.

Argument alignment. Mean pairwise Jaccard $\bar{J}$ per claim, compared against a permutation baseline $\bar{J}_0$ obtained by shuffling scaffold sets across claims.

Convergence signature. The core falsifiable prediction of the retrieval model is a positive association between representation depth $d_c$ and agreement. We test it with a rank correlation between $d_c$ and per-claim $\kappa_c$, and with a two-group comparison of $\bar{J}$ between high-depth ($d_c \geq 0.5$) and low-depth ($d_c \lt 0.5$) claims.

#3.4 Formal retrieval model

Let $\mathcal{L}$ be the consensus lattice: a set of canonical argument nodes, each with a retrieval probability $r_s$ for model $m$ on claim $c$. Under gate-check convergence, model $m$'s scaffold is drawn i.i.d. from a distribution $P_m(\cdot \mid c)$ concentrated on the lattice neighborhood of $s_c$, with concentration increasing in $d_c$. Under correlated hallucination, scaffolds are drawn from a model-idiosyncratic distribution with no dependence on $d_c$. The two hypotheses differ observably only through the $d_c$-dependence and the ground-truth correlation, which is why the benchmark must span the depth range.

#4. Analysis

All numbers in this section are derived from explicitly stated inputs. Where an input is an assumption of the protocol design rather than an empirical measurement, it is labeled as such.

#4.1 Chance agreement baseline

Input (design assumption). With $K = 4$ verdict categories and, pessimistically, a uniform verdict distribution, the probability that two independent models agree on a single claim by chance is:

$$p_e^{(1)} = \sum_{k=1}^{4} \left(\frac{1}{4}\right)^2 = 4 \times \frac{1}{16} = \frac{1}{4} = 0.25.$$

Chance that $M$ models all agree on one claim. For $M$ independent models:

$$p_{\mathrm{all}}(M) = \left(\frac{1}{4}\right)^{M-1}.$$

Computing for $M = 3, 5, 7$:

$$p_{\mathrm{all}}(3) = \left(\frac{1}{4}\right)^2 = \frac{1}{16} = 0.0625,$$
$$p_{\mathrm{all}}(5) = \left(\frac{1}{4}\right)^4 = \frac{1}{256} \approx 3.906 \times 10^{-3},$$
$$p_{\mathrm{all}}(7) = \left(\frac{1}{4}\right)^6 = \frac{1}{4096} \approx 2.441 \times 10^{-4}.$$

Chance that $M$ models all agree on all $n$ claims in a benchmark. For $n$ independent claims:

$$p_{\mathrm{unanimous}}(M, n) = \left(\frac{1}{4}\right)^{(M-1)n}.$$

For $M = 5$ models and $n = 60$ claims:

$$p_{\mathrm{unanimous}}(5, 60) = \left(\frac{1}{4}\right)^{240} = 4^{-240}.$$

In base 10: $\log_{10}(4) \approx 0.60206$, so

$$\log_{10} p_{\mathrm{unanimous}} = -240 \times 0.60206 = -144.494,$$
$$p_{\mathrm{unanimous}}(5, 60) \approx 3.2 \times 10^{-145}.$$

This establishes that unanimous cross-model agreement on a 60-claim benchmark is essentially impossible under the uniform-chance null, so any observed near-unanimity demands an explanation (shared retrieval or shared bias).

#4.2 Benchmark size for a usable kappa confidence interval

Inputs (design assumptions). We require a 95% confidence interval on $\kappa$ of half-width $w = 0.10$. A standard large-sample approximation for the variance of $\kappa$ is $\mathrm{Var}(\hat{\kappa}) \approx \frac{p_o(1-p_o)}{n(1-p_e)^2}$. Take an anticipated observed agreement $p_o = 0.80$ (a design target, not a measurement) and the uniform $p_e = 0.25$ from Section 4.1.

Then $1 - p_e = 0.75$, $(1-p_e)^2 = 0.5625$, and:

$$n = \frac{p_o(1-p_o)}{w^2 (1-p_e)^2} \times z_{0.975}^2,$$

with $z_{0.975} \approx 1.96$, $z^2 \approx 3.8416$.

Compute step by step:

$$p_o(1-p_o) = 0.80 \times 0.20 = 0.16,$$
$$w^2 = 0.10^2 = 0.01,$$
$$w^2 (1-p_e)^2 = 0.01 \times 0.5625 = 0.005625,$$
$$\frac{p_o(1-p_o)}{w^2(1-p_e)^2} = \frac{0.16}{0.005625} \approx 28.444,$$
$$n = 28.444 \times 3.8416 \approx 109.3.$$

So approximately $n \approx 110$ paired evaluations per model pair are needed. Since each claim yields one paired evaluation per model pair, a benchmark of $n = 110$ claims evaluated by all models gives each pair the full $n$. If instead we accept a coarser half-width $w = 0.15$:

$$w^2 = 0.0225, \quad w^2(1-p_e)^2 = 0.0225 \times 0.5625 = 0.012656,$$
$$\frac{0.16}{0.012656} \approx 12.642, \quad n = 12.642 \times 3.8416 \approx 48.6,$$

i.e., $n \approx 49$ claims. We therefore specify a benchmark of at least 50 claims for exploratory analysis and 110 claims for the confirmatory analysis, with the caveat that these figures assume $p_o = 0.80$; if true agreement is lower, required $n$ rises as $p_o(1-p_o)$ grows toward its maximum $0.25$ at $p_o = 0.5$, giving an upper bound:

$$n_{\max} = \frac{0.25}{0.005625} \times 3.8416 = 44.444 \times 3.8416 \approx 170.7,$$

i.e., at most about $171$ claims suffice for $w = 0.10$ under this approximation regardless of $p_o$.

#4.3 Worked illustrative kappa computation

To make the metric concrete, we present a fully hypothetical confusion matrix for one model pair over $n = 50$ claims (labeled illustrative; not a measurement):

B: falsifiedB: trivialB: valid-flawedB: otherrow total
A: falsified2021023
A: trivial1102013
A: valid-flawed029112
A: other00112
col total211413250

Observed agreement:

$$p_o = \frac{20 + 10 + 9 + 1}{50} = \frac{40}{50} = 0.80.$$

Expected agreement by chance, from the product of marginals:

$$p_e = \frac{1}{50^2}\left(23 \times 21 + 13 \times 14 + 12 \times 13 + 2 \times 2\right).$$

Compute each term: $23 \times 21 = 483$; $13 \times 14 = 182$; $12 \times 13 = 156$; $2 \times 2 = 4$. Sum: $483 + 182 + 156 + 4 = 825$.

$$p_e = \frac{825}{2500} = 0.33.$$

Then:

$$\kappa = \frac{0.80 - 0.33}{1 - 0.33} = \frac{0.47}{0.67} \approx 0.7015.$$

This illustrates the interpretation scale: $\kappa \approx 0.70$ would indicate substantial agreement well above the chance level $p_e = 0.33$ implied by these marginals — notably higher than the uniform-chance $0.25$ because both models favor the "falsified" category.

#4.4 Power for the depth-agreement correlation

Inputs (design assumptions). The falsifiable signature is a positive rank correlation $\rho$ between representation depth $d_c$ and per-claim agreement. For a Spearman correlation, the approximate sample size to detect effect size $\rho$ with power $1 - \beta = 0.80$ at $\alpha = 0.05$ (two-sided) is:

$$n = \left(\frac{z_{0.975} + z_{0.80}}{\rho}\right)^2 + 3,$$

with $z_{0.80} \approx 0.8416$. For a moderate effect $\rho = 0.35$:

$$z_{0.975} + z_{0.80} = 1.96 + 0.8416 = 2.8016,$$
$$\left(\frac{2.8016}{0.35}\right)^2 = (8.0046)^2 \approx 64.07,$$
$$n = 64.07 + 3 \approx 67.1.$$

So roughly $n \approx 67$ claims are needed to detect a depth–agreement correlation of $\rho = 0.35$; the confirmatory benchmark of $n = 110$ (Section 4.2) exceeds this, and even the exploratory $n = 50$ gives power for effects of:

$$\rho_{\min} \approx \frac{2.8016}{\sqrt{50 - 3}} = \frac{2.8016}{\sqrt{47}} = \frac{2.8016}{6.8557} \approx 0.4087.$$

#4.5 Distinguishing signature: agreement gap resolution

Under the retrieval model, define the predicted agreement gap:

$$\Delta = \kappa_{\mathrm{high\text{-}depth}} - \kappa_{\mathrm{low\text{-}depth}}.$$

Gate-check convergence predicts $\Delta \gt 0$; correlated hallucination predicts $\Delta \approx 0$. With the two-group sizes implied by a split at $d_c = 0.5$ over $n = 110$ claims (assume a balanced split, $n_1 = n_2 = 55$ as a design assumption), the standard error of the difference of two independent kappa estimates, each with variance approximated as in Section 4.2 scaled to $n_1 = n_2 = 55$:

$$\mathrm{Var}(\hat{\kappa}_i) \approx \frac{0.16}{55 \times 0.5625} = \frac{0.16}{30.9375} \approx 5.171 \times 10^{-3},$$
$$\mathrm{SE}(\Delta) = \sqrt{2 \times 5.171 \times 10^{-3}} = \sqrt{1.0342 \times 10^{-2}} \approx 0.1017.$$

Thus a gap of $\Delta = 0.20$ would be about $0.20 / 0.1017 \approx 1.97$ standard errors — marginal at $\alpha = 0.05$ two-sided — while $\Delta = 0.30$ would be $\approx 2.95$ standard errors and clearly detectable. This calibrates the effect size the benchmark can resolve: the protocol is powered for gaps of roughly $\Delta \geq 0.30$ under the stated assumptions.

#5. Results

This paper reports no empirical model runs; the results are the protocol-level quantities derived in Section 4, plus explicitly labeled projections.

R1 (computed). Under a uniform four-category chance model, pairwise chance agreement is $p_e^{(1)} = 0.25$ (Section 4.1).

R2 (computed). Unanimous agreement of $M$ models on one claim has chance probability $4^{-(M-1)}$: $0.0625$ for $M=3$, $\approx 3.906 \times 10^{-3}$ for $M=5$, $\approx 2.441 \times 10^{-4}$ for $M=7$ (Section 4.1).

R3 (computed). Unanimous agreement of $M = 5$ models across $n = 60$ claims has chance probability $\approx 3.2 \times 10^{-145}$ (Section 4.1).

R4 (computed). Benchmark size: $n \approx 110$ claims for a kappa confidence interval of half-width $w = 0.10$ on $\kappa$ (Section 4.2); $n \approx 49$ claims suffice for the coarser half-width $w = 0.15$; and the worst-case upper bound over all values of $p_o$ is $n_{\max} \approx 171$ claims for $w = 0.10$ (Section 4.2). The protocol therefore specifies at least 50 claims for exploratory analysis and 110 claims for confirmatory analysis.

R5 (computed). Power for the depth–agreement signature: approximately $n \approx 67$ claims are required to detect a Spearman correlation of $\rho = 0.35$ between representation depth $d_c$ and per-claim agreement $\kappa_c$ at power $0.80$, $\alpha = 0.05$ two-sided; the exploratory benchmark of $n = 50$ claims is powered only for effects $\rho \gtrsim 0.41$ (Section 4.4).

R6 (computed). Resolution of the agreement gap: with a balanced two-group split ($n_1 = n_2 = 55$) of a 110-claim benchmark, the standard error of the difference $\Delta = \kappa_{\mathrm{high\text{-}depth}} - \kappa_{\mathrm{low\text{-}depth}}$ is $\mathrm{SE}(\Delta) \approx 0.1017$, so the protocol resolves gaps of $\Delta \gtrsim 0.30$ at two-sided $\alpha = 0.05$; a gap of $\Delta = 0.20$ is only about $1.97$ standard errors and marginal (Section 4.5).

R7 (computed, illustrative). The worked kappa computation of Section 4.3, on a fully hypothetical confusion matrix over $n = 50$ claims, yields $p_o = 0.80$, $p_e = 0.33$, and $\kappa \approx 0.7015$. This is an illustration of the metric machinery only, not a measurement of any model pair.

#6. Discussion

Limitations of the statistical machinery. All sample-size and power figures rest on a large-sample variance approximation $\mathrm{Var}(\hat{\kappa}) \approx p_o(1-p_o)/\bigl(n(1-p_e)^2\bigr)$, which ignores the higher-order terms of the exact variance and can be optimistic when marginals are skewed, as the illustrative matrix of Section 4.3 already shows ($p_e = 0.33$ rather than the uniform $0.25$). The uniform-chance baseline $p_e^{(1)} = 0.25$ is a pessimistic floor: real verdict marginals are concentrated (models favor "falsified" on fringe claims), which raises chance agreement and lowers $\kappa$ for a given $p_o$. The design target $p_o = 0.80$ is an assumption, not a measurement; if true agreement is near $p_o = 0.5$, the required benchmark grows to $n_{\max} \approx 171$ claims (Section 4.2). The power formula for Spearman correlation is itself an approximation, and the balanced-split assumption $n_1 = n_2 = 55$ may fail if representation depth $d_c$ is skewed toward high values, inflating $\mathrm{SE}(\Delta)$ beyond the computed $0.1017$.

Limitations of the benchmark design. The representation-depth score $d_c \in [0,1]$ depends on a proxy (normalized count of canonical textbook treatments) that is itself a researcher judgment; a mis-calibrated $d_c$ directly weakens the central falsifiable test, since the predicted signature is a positive association between $d_c$ and agreement. Expert verdicts require at least two independent domain experts with a documented adjudication rule, but for some fringe-adjacent items the expert ground truth is itself contested; we assume such items exist in any realistic corpus and flag them as calibration-only. The scaffold-graph parsing of argument structure into primitives is a further manual step with its own inter-annotator reliability problem, which this protocol does not yet quantify.

Failure modes and what would falsify the claims. The gate-check-convergence hypothesis is falsified if a benchmark of the specified size finds $\Delta \approx 0$ (no depth–agreement association) while overall agreement remains high; that pattern would support the correlated-hallucination explanation. Conversely, finding $\Delta \gt 0$ with the predicted sign, robust across prompt framings and model families, would support retrieval from a shared consensus lattice — though it would not fully exclude a subtler shared-bias contribution, since both mechanisms predict high agreement and only the depth-dependence and ground-truth correlation separate them. A third outcome — low agreement everywhere — would indicate that fringe physics claims are too idiosyncratic for any shared scaffold, collapsing the benchmark's premise. An additional confound the protocol must control: prompt framing ($F \geq 3$ framings) could interact with depth, and a framing-stratified reanalysis is required before attributing any gap to retrieval rather than to framing sensitivity.

Open questions. Whether the argument-structure alignment $\bar{J}$ adds information beyond verdict $\kappa$; whether citation-quality variance behaves as predicted under the two hypotheses; and how the trichotomy of claim classes maps onto verdict categories models actually use (the "other" category absorbs mismatches in the illustrative matrix of Section 4.3) all remain to be established empirically. No work cited here measures agreement between LLMs on physics verdicts: [2] and [7] connect only analogically, so the protocol's statistical design borrows its variance approximations from standard inter-rater methodology rather than from any directly comparable prior benchmark.

#7. Practical Implications and Engineering Pathways

(a) Who would use the result and what changes. The named users are the ones Section 1 identifies: journalists fact-checking fringe science stories, platform trust-and-safety teams triaging AI-generated science content, educators deciding whether to flag such content, and everyday users of AI assistants. For each, the deliverable is a decision rule rather than a tool: cross-model agreement counts as weak evidence for a verdict only to the degree that it tracks representation depth $d_c$ and expert ground truth; agreement that is high but flat in $d_c$ is a systematic risk that scales with the number of models consulted. Concretely, the protocol changes three decisions. A fact-checker's workflow changes from "consult two assistants and treat agreement as confirmation" to "consult assistants, then check whether the claim's scaffold is a heavily rehearsed consensus node (high $d_c$) or a frontier item (low $d_c$), and weight the agreement accordingly." A platform policy changes from per-output moderation to corpus-level calibration: the benchmark's depth–agreement curve is a per-model-family property, so one calibration run per family characterizes where that family's consensus is trustworthy. A researcher building LLM-based verification pipelines — the setting of [2] in actuarial claims and [8] in peer review — gains a measurement instrument for the failure mode both works implicitly assume away: that model agreement reflects independent evidence rather than shared training-corpus bias.

(b) Current readiness. This work is purely analytical and has not been peer reviewed: by the NASA Technology Readiness Level definitions it sits at TRL 1–2. The basic principles (inter-rater agreement statistics, the retrieval model of Section 3.4) are stated and the statistical machinery is derived, but the protocol has not been applied: no claim corpus has been assembled, no expert adjudication performed, no model runs executed. Analytical work of this kind does not exceed TRL 3, and reaching TRL 3 (proof of concept demonstrated) requires the pilot benchmark of part (c) below.

(c) The smallest next test. The minimal de-risking experiment is a 50-claim pilot, the exploratory benchmark size derived in Section 4.2: assemble 50 fringe physics claims with two-expert verdicts and scaffold annotations, run three models from three families under the three prompt framings of Section 3.2, and compute per-claim $\kappa_c$ and the depth–agreement rank correlation. The falsifying outcome is stated in Section 6: a high overall agreement with $\Delta \approx 0$ across the depth split (the pilot resolves effects of $\rho \gtrsim 0.41$ per Section 4.4) supports correlated hallucination over gate-check convergence. A cheaper still precursor is a single-claim sanity check: take one canonical scaffold (e.g., Bell's theorem for a hidden-variable claim), run five models, and verify that the scaffold-primitive parser recovers the same primitive set across runs; if the parser's inter-annotator reliability on its own output is poor, the argument-alignment metric $\bar{J}$ is unusable and the protocol must fall back to verdict-only $\kappa$.

(d) Binding constraints. In the order they bind: (i) expert adjudication — two independent domain experts per claim, with a documented disagreement rule, is the dominant cost driver; for fringe-adjacent items whose expert ground truth is itself contested, adjudication may be impossible and such items must be flagged as calibration-only. (ii) Scaffold annotation — the representation-depth score $d_c$ and the primitive parsing are manual researcher judgments with unquantified inter-annotator reliability (Section 6); this binds before model cost does. (iii) Model access — the protocol requires $M \geq 5$ models from at least three families under $F \geq 3$ framings, i.e., $M \times F \times n$ runs; at the confirmatory scale ($n = 110$, $M = 5$, $F = 3$) this is $1{,}650$ runs, which is modest in compute terms but requires API access to multiple independent providers and stable model versions across the campaign, since a mid-campaign model update would confound the agreement statistics. (iv) Data — the claim corpus itself must be constructed; no suitable annotated corpus of fringe physics claims with expert verdicts is known to us. Whether prompt-framing effects interact with depth strongly enough to require a full factorial design, and whether the "other" verdict category needs a more structured taxonomy, are open questions the pilot answers.

(e) Order-of-magnitude bounds (projections). All figures here are projections under stated assumptions, not measurements. Under the assumptions that expert adjudication is the binding cost and that the pilot's expert effort is on the order of tens of minutes per claim for two experts, under the explicit assumption of 15 minutes per expert per claim, a 110-claim confirmatory benchmark requires $110 \times 2 \times 0.25 = 55$ expert-hours, i.e., roughly a person-week and a half of one expert's time; the model-run cost of $1{,}650$ single-turn evaluations is negligible against this by the standard pricing of commercial LLM APIs, though we state no price figure because none is derived here. These bounds are sensitive to the adjudication assumption: contested items could consume an order of magnitude more expert time or be excluded entirely.

(f) Risks and misuse paths. The protocol's own output could be misused in the inverse direction: a party promoting a fringe claim could cite cross-model agreement as evidence of correctness while omitting the depth analysis, exactly the failure the protocol is designed to expose. Agreement alone, without the scaffold and depth diagnostics, is not merely uninformative but potentially misleading: it can raise a reader's confidence in a verdict that all consulted models reached through the same shared-corpus pathway. A second risk is corpus contamination: if the benchmark claims circulate publicly before evaluation, future model training runs may ingest them, and a later evaluation would measure retrieval of the benchmark itself rather than of the underlying consensus lattice; the corpus should therefore be held out or refreshed between calibration campaigns.

#8. Conclusion

We have specified Gate-Check Convergence (GCC), a benchmark protocol and statistical design for testing whether independent LLMs converge on fringe physics verdicts because they retrieve a shared consensus lattice rather than because they share failure modes. The protocol contributes a three-class claim corpus (falsified, trivial, valid-but-flawed) with expert ground truth, scaffold annotations $s_c$, and representation-depth scores $d_c \in [0,1]$; a blinded multi-framing evaluation design across at least three model families and $F \geq 3$ prompt framings; and a falsifiable quantitative signature: agreement that rises with representation depth $d_c$ under gate-check convergence and is flat under correlated hallucination.

The full statistical machinery is derived with shown arithmetic from explicitly labeled design assumptions. Under a uniform four-category chance model, pairwise chance agreement is $p_e^{(1)} = 0.25$, and unanimous agreement of five models across a 60-claim benchmark has chance probability $\approx 3.2 \times 10^{-145}$, so any observed near-unanimity demands a non-chance explanation — shared retrieval or shared bias. The benchmark sizes are $n \approx 110$ claims for a confirmatory kappa confidence interval of half-width $w = 0.10$ (with a worst-case upper bound $n_{\max} \approx 171$ over all values of $p_o$) and at least 50 claims for exploratory analysis. The depth–agreement correlation test is powered for a Spearman effect of $\rho = 0.35$ at approximately $n \approx 67$ claims, and with a balanced two-group split ($n_1 = n_2 = 55$) of the confirmatory benchmark the protocol resolves agreement gaps of $\Delta \gtrsim 0.30$ at two-sided $\alpha = 0.05$, with $\mathrm{SE}(\Delta) \approx 0.1017$. The worked illustrative kappa computation ($p_o = 0.80$, $p_e = 0.33$, $\kappa \approx 0.7015$ on a fully hypothetical matrix) makes the metric machinery concrete without asserting any measurement.

No model runs are reported. Executing the protocol — assembling the expert-adjudicated claim corpus, running the blinded evaluations, and observing whether the depth–agreement signature holds or fails — is the next step, and either outcome is informative: a positive $\Delta$ with the predicted sign, robust across prompt framings and model families, would support retrieval from a shared consensus lattice and calibrate how much weight cross-model agreement can bear as weak evidence; a null $\Delta$ with high overall agreement would instead expose correlated hallucination as a systematic risk that scales with the number of models consulted. For the users named in Section 1 — journalists fact-checking fringe science stories, platform trust-and-safety teams, educators, and everyday users — the deliverable is a concrete decision rule: agreement between models is evidence only to the degree that it tracks representation depth and expert ground truth, and the benchmark tells them how to check. The limitations stated in Section 6 — the large-sample variance approximations, the assumption-laden design targets $p_o = 0.80$ and the balanced split, the researcher-judgment proxy behind $d_c$, and the contested expert ground truth on fringe-adjacent items — bound the strength of every conclusion the protocol can support, and the framing-stratified reanalysis is a required control before any gap is attributed to retrieval rather than to framing sensitivity.

#Provenance and AI Involvement

  • This paper was drafted, reconciled, reviewed, revised and checked by the QNFO automated research pipeline (qnfo-research-exec 0.18.1-parallel-8). Language models were tools in that process; they are not authors. The named author is accountable for the content.
  • Models: drafting by openai/gpt-oss-120b, zai-org/glm-5.3-flash; reconciliation, completion, review, revision and verification by zai-org/glm-5.3-flash, zai-org/glm-5.3, openai/gpt-oss-120b, with the QNFO model router as a fallback.
  • Sources: every reference is drawn from a bibliography retrieved from arXiv and the QNFO corpus before drafting; every cited work's full text was retrieved (arXiv HTML, or the QNFO paper's body) and the writers were given excerpts of its own sections; statements about a cited work are restricted to its retrieved title, abstract and those excerpts.
  • Checks passed before publication: required sections present and finished, cross-references resolve, reference list rendered from the retrieved bibliography, no assistant residue or placeholders, adversarial model review with its blocking findings resolved, and a citation existence check at publication.
  • Independent recomputation: a separately generated script recomputed 18 quantitative claims from the paper's stated inputs; 0 differed from the stated value at the stated precision.
  • Not checked: whether each cited source supports the sentence that cites it beyond the retrieved full-text excerpts; derivation steps other than the recomputed claims. This paper has not been peer reviewed, and this version was published by the pipeline without a prior manual review by the author.

#References

[1] Conjectures on Convergence and Scalar Curvature. arXiv:2103.10093v1. https://arxiv.org/abs/2103.10093v1 [2] Leveraging LLMs for Unstructured Claims Data Analysis. arXiv:2606.06089v1. https://arxiv.org/abs/2606.06089v1 [3] Physics Briefing Book. arXiv:1910.11775v2. https://arxiv.org/abs/1910.11775v2 [4] Physics and Technology of the Next Linear Collider: A Report Submitted to Snowmass '96. arXiv:hep-ex/9605011v1. https://arxiv.org/abs/hep-ex/9605011v1 [5] A category mistake in observational claims regarding ultrashort-lived unstable particles. arXiv:1502.01303v3. https://arxiv.org/abs/1502.01303v3 [6] Fact-Checking Meets Fauxtography: Verifying Claims About Images. arXiv:1908.11722v1. https://arxiv.org/abs/1908.11722v1 [7] Integrating Proportionality and Egalitarianism in Claims Problems. arXiv:2605.26948v1. https://arxiv.org/abs/2605.26948v1 [8] Do Methods Support the Claims? Intra-Paper Verification for Peer Review. arXiv:2607.26066v1. https://arxiv.org/abs/2607.26066v1

New papers by email

One short weekly digest: titles and links. No tracking; unsubscribe any time.

Cite this paper