Imagine you're mixing paint. You combine red and blue and get purple — but you can't unmix the purple back into its components to prove how much red versus blue went in. That's the explainability problem in neural networks: the output is a blend, and attribution methods like integrated gradients are always approximations — you're guessing at the recipe from the color. This paper builds a mixer where the recipe IS the color: every operation is a Born measurement (probability = amplitude squared), so the contribution of each input word to the output is a closed-form polynomial you can integrate exactly. No estimation, no approximation error. The evidence sums to the class probability above baseline to 10⁻¹¹ precision. The committed claim: a transformer architecture where attention is |⟨q|k⟩|⁴ (Born rule), the feed-forward layer is replaced by a measured product, and the readout is another Born measurement — yielding exact integrated-gradient attribution as a mathematical identity, not an approximation. The model matches a same-size softmax transformer on e-SNLI natural language inference (76.98% vs 76.62%, within error bars), with ~98k non-embedding parameters. This isn't a toy: it's a real NLI task with real sentences. The explainability results are where the paper earns its keep. Deleting the word ranked most important by the Born model's exact evidence changes the answer in 45% of test pairs — out of a theoretical maximum of 53% (pairs where any single deletion can flip the label). The softmax transformer explained by the same integrated-gradient method only hits 32%; even attention × gradient only reaches 40%. The Born model's attributions aren't just mathematically exact — they're functionally more informative about what actually drives the prediction. Interestingly, attention-based rankings look more like human annotations but are less predictive of answer changes, a sharp reminder that 'looks like what humans highlight' and 'actually explains the model' are different questions. Architecturally, this is a variational-style quantum-native transformer. Every operation maps to a unitary circuit: attention becomes interference between query and key states, the nonlinearity becomes a projective measurement, and the whole thing compiles to 852 CNOTs on 23 qubits for a single coherent attention layer. The authors ran this on IBM's ibmkingston device with Hadamard tests reading attention overlaps. On two short test pairs, the device reproduced the model's answers and its deletion behavior — but the fine-grained evidence values did not survive hardware noise. The paper is honest about this: they calculate the shot budget and calibration needed to make evidence measurement work on hardware, rather than claiming it already does. The ladder comparison is straightforward but limited. The only baseline is a same-size softmax transformer on e-SNLI. There's no comparison to larger models, to post-hoc explainability methods beyond integrated gradients and attention × gradient, or to other inherently interpretable architectures. The 76.98% accuracy is respectable for a 98k-parameter model but nowhere near SOTA on NLI (which exceeds 90% with large pretrained models). The paper doesn't claim SOTA accuracy — it claims exact explainability at competitive accuracy for its size class — but the narrow baseline set leaves the ladder position somewhat uncertain. Integrity is mixed but more honest than most. The mathematical claim (exact attribution) is provable and the authors demonstrate it numerically to 10⁻¹¹. The hardware demonstration is a proof-of-concept on two test pairs — the authors explicitly state where it fails and what would be needed to fix it. Code, trained models, notebooks, and every IBM job record are public. But there's no pre-registration, no independent replication, and the benchmark choice (e-SNLI at small scale) was presumably made knowing the model would perform competitively there. The deletion-based evaluation is the strongest integrity signal: it's a functional test that's hard to game. The obvious next experiment is scaling: does this architecture hold up at 1M+ parameters, on harder tasks, with longer sequences? The quadratic Born attention and the polynomial evidence computation both face scaling questions the paper doesn't address. The honest read is (a) — they built the conceptual framework and demonstrated it at the smallest viable scale, and scaling requires compute and engineering they haven't yet invested. The quantum hardware experiment similarly needs better devices; ibmkingston's noise floor is the binding constraint, not the architecture.
