A fault-tolerant quantum computer can execute a practically useful quantum algorithm beyond classical simulation.
Evidence is materially increasing confidence in—or pressure on—the claim; significant uncertainty remains. State definitions
No evidence has been admitted since this assessment.
Retained questions may have been narrowed or reframed by the current assessment.
Verification position derived from the record’s assessments; dates show when Faultline first recorded each stage.
Normal Record Review is the Observatory’s assessment process for newly considered evidence, not external scientific peer review. LPR identifies an internal source-review record. PROG identifies a programme: AI (Artificial Intelligence), AM (Advanced Materials), BT (Biotechnology), or QE (Quantum Engineering).
How the claim could hold, what obstructs it, and possible ways forward. The State Warrant above remains the authoritative current assessment.
Classical comparison methods improve alongside quantum hardware. A claim of utility must be tested against the best classical method available for the specific problem at the time. QUOPS adds a system-level quantum capability measure but does not remove the need for an application-specific classical comparator.
No demonstrated end-to-end fault-tolerant application at useful scale. Candidate chemistry problems such as FeMoco have concrete but architecture-dependent resource estimates. QUOPS now provides a common circuit-capability framework linking measured processors to such targets, but its FeMoco translation still places the target roughly five orders of magnitude beyond present measured circuit-size capability. Claim satisfaction requires a useful problem, a fault-tolerant implementation at required scale and depth, and a contemporaneous best-classical comparator.
A recorded possible resolution path, not automatically a sufficient test for closing the claim.
First end-to-end fault-tolerant computation on a practically useful problem that remains beyond the best classical method under a transparent contemporaneous comparison. FeMoco-class chemistry is one candidate. QUOPS can provide an additional system-level capability measure on the route to this event, but no benchmark score or fixed logical-qubit count is itself sufficient: the decisive event remains useful computation plus durable classical separation.
Assessments on the same date follow their assessment ID order. An evidence-basis correction and a review of new evidence can be separate events.
Historical narrative recorded for this claim. It does not override the current State Warrant.
Questions retained in this record. The current State Warrant may have narrowed or reframed them. Recorded dates refer to question history, not necessarily the age of the current wording; known revision dates are shown separately.
Which specific molecular or physical system will provide the first unambiguous fault-tolerant quantum advantage? Whether the first advantage demonstration will be accepted as practically useful depends on the problem solved and the contemporaneous classical comparator.
Question recorded 2024-01-15Does the PROG-QE diagnosis — technically coherent but temporally displaced — create investment sustainability risk? If investment cycles shorten before applications arrive, the substrate may stop advancing before the claim is satisfied.
Question recorded 2024-01-15Are the programme diagnosis types a property of the domains, or of the specific claim configurations the Observatory selected?
Question recorded 2024-01-15| Mutation | Date | Field | Prior value | Current value |
|---|---|---|---|---|
| M-016 | 2026-10-19 | Reference correctionreference_corrected | Shared citations not explained in the evidence list | Source-specific reciprocal notices on IN-005What this update recorded for M-016Operator-authorised corpus reading audit Step 5A / R04. Label exact shared publications/reports after checking their evidential roles. Shared reporting does not by itself determine experimental independence. No sources, scientific wording, vectors, counts, assessments, states, stages, dates, review markers or prior mutations changed. Scope, primary-source ledger and exact field receipt: docs/reviews/SHARED-SOURCE-LABELS-STEP-5A-2026-10-19.md and companion .json. |
| M-015 | 2026-10-12 | Source reviewprovenance_review | LPR-001-D18 | LPR-001-D49What this update recorded for M-015Second-cycle Legacy Provenance Review completed as PASS across all seven existing evidence instances. Underlying sources and claim representation verified; existing structured provenance is sufficient and no unverifiable attribution was introduced. No factual, interpretive, attribution, or verification-stage discrepancy identified. No genuinely new scientific evidence admitted or flagged for Normal Record Review. Canonical outcome verified / not_required; Pressure State and Verification Stage unchanged. |
| M-014 | 2026-09-16 | Record reviewrecord_review | LPR-001-D18 Record Review candidate | IN-007 / AS-004What this update recorded for M-014Normal Record Review admitted Proctor et al. QUOPS (arXiv:2609.12146) as supportive system-level gap-measurement evidence. Added IN-007 and AS-004 and updated current mechanisms and lineage to recognise the benchmark while preserving the application-specific classical-comparator requirement. QUOPS measures present physical and small logical processors and maps recognised challenge workloads into the same capability framework; its FeMoco translation remains about five orders of magnitude beyond present measured circuit-size capability. It does not demonstrate practical quantum advantage. ESCALATING / VS-02 reaffirmed. LPR-001-D18 remains completed. |
| M-013 | 2026-09-16 | Provenance correctedprovenance_corrected | LPR-001-D18 discrepancies | PASS-AFTER-CORRECTIONWhat this update recorded for M-013LPR-001-D18 bounded correction: repaired IN-001 through IN-005, added confidently established structured provenance, corrected dependent mechanisms and lineage, and appended AS-003. IN-006 retained as verified. QUOPS remained a separate Normal Record Review candidate. Pressure State remains ESCALATING; Verification Stage remains VS-02. |
| M-012 | 2026-09-16 | Source reviewprovenance_review | — | LPR-001-D18 REVIEW REQUIREDWhat this update recorded for M-012LPR-001-D18 audited all six evidence instances. IN-006 was source-verified and provenance-enriched. IN-001 through IN-005 required bounded correction. QUOPS surfaced as a Normal Record Review candidate. |
| M-011 | 2026-09-06 | Description restoreddescription_restored | Legacy ingestion cutoffs | Source-restored complete descriptionsWhat this update recorded for M-011Editorial Correction (GP-001), RENDER-PILOT-001 content restoration. Existing later corrections retained; no evidence or assessment status changed. |
| M-010 | 2026-08-17 | Assessment issuedassessment_issued | AS-001 | AS-002What this update recorded for M-010AS-002 issued during OHR-2026-09 catch-up review to close the evidence-assessment gap created by IN-006. Pressure State remains ESCALATING; Verification Stage remains VS-02. |
| M-009 | 2026-07-14 | Instance appendedinstance_appended | — | IN-006What this update recorded for M-009IN-006 appended — composed logical Clifford operations via lattice surgery (arXiv:2607.01473). |
| M-008 | 2026-07-08 | Reference correctionreference_corrected | — | REFERENCE-CORRECTEDWhat this update recorded for M-008Editorial Correction (GP-001): stale PROG-MF identifier corrected to PROG-AM. |
| M-007 | 2026-07-08 | Realization note addedrealization_note_added | — | REN-001What this update recorded for M-007Realization note added. |
| M-006 | 2024-01-15 | Programme panel addedprogramme_panel_added | — | PROGRAMME-PANEL-ADDED |
| M-005 | 2024-01-15 | Null condition failednull_condition_failed | — | NULL-CONDITION-FAILED |
| M-004 | 2024-01-15 | Mechanisms recordedmechanisms_recorded | — | MECHANISMS-RECORDED |
| M-003 | 2024-01-15 | Assessment issuedassessment_issued | — | ASSESSMENT-ISSUED |
| M-002 | 2024-01-15 | Instances loggedinstances_logged | — | INSTANCES-LOGGED |
| M-001 | 2024-01-15 | Record createdrecord_created | — | RECORD-CREATED |
Logged entries are reports on record, not counts of independent studies or patients. Several entries can concern the same underlying evidence. Supportive and Contesting describe an entry’s relation to the claim. Partial indicates limited or mixed bearing; read the details for limitations or legacy status. These labels are not study-quality ratings.
Foundational quantum algorithms establish that sufficiently capable quantum computers can offer asymptotic speedups for specified computational problems. Shor's 1994 algorithm gives polynomial-time quantum algorithms for integer factorisation and discrete logarithms; Grover's 1996 algorithm gives a quadratic query-complexity improvement for unstructured search; and Harrow, Hassidim and Lloyd's 2009 algorithm gives an exponential improvement in system size for preparing a state proportional to the solution of a sparse, well-conditioned linear system under restrictive input, conditioning and output assumptions. These are theoretical algorithmic results, not demonstrations of practical utility on fault-tolerant hardware, and their real-world advantage depends on end-to-end resource and data-access costs.
Shares the IBM experiment and Tindall classical-simulation sources with IN-005. That entry focuses on the classical comparison, rather than another independent quantum experiment. View IN-005
Kim et al. report accurate expectation values from a noisy 127-qubit superconducting processor at circuit volumes beyond brute-force classical computation and in regimes where the particular classical approximations tested in the paper break down. The result was presented as evidence for pre-fault-tolerant quantum utility, not as a general proof that classical simulation could not match the calculation. Subsequent tensor-network work, including Tindall et al., reproduced the relevant regime classically with greater accuracy, demonstrating that the classical comparison boundary was not settled by the original experiment. This evidence is contextual to the present fault-tolerant claim: it shows why 'beyond classical simulation' must be tested against evolving best classical methods.
Error-correction results tracked in FR-QE-0003 and FR-QE-0004 demonstrate material progress in the substrate required for fault-tolerant computation. Google's Willow work demonstrates below-threshold surface-code memories with logical error suppression as code distance increases, while Microsoft and Quantinuum reported four logical qubits with substantial circuit-level error suppression on trapped-ion hardware in 2024. These results do not establish a generic logical error rate below 10^-4 per gate, do not justify a general hundreds-to-thousands-of-gates executable-depth threshold, and do not demonstrate a practically useful fault-tolerant algorithm beyond classical simulation. They support the engineering path while leaving this record's application threshold unsatisfied.
Lee et al. provide a concrete fault-tolerant resource estimate for quantum simulation of the FeMoco active space using tensor hypercontraction. Their 2020 preprint, published in 2021, estimates 2,142 logical qubits and approximately 5.3×10^9 Toffoli gates for a representative calculation; under a specified surface-code architecture and physical-error assumptions, the analysis gives a representative implementation using roughly four million physical qubits and a runtime of days. The result is an architecture- and algorithm-dependent resource estimate, not a generic 1,000–4,000-logical-qubit threshold, and 10^-3 is a physical-error assumption rather than a claimed logical-gate error requirement. It nevertheless quantifies the large gap between small-scale logical demonstrations and a prominent candidate application.
Shares the IBM experiment and Tindall classical-simulation sources with IN-002. This entry focuses on the changing classical comparison; the two entries are not two independent quantum experiments. View IN-002
The classical comparison boundary relevant to quantum utility can move materially after a quantum result is published. The 2023 IBM kicked-Ising experiment provides a directly documented example: the original work identified a regime beyond brute-force computation and beyond the classical approximations it tested, while subsequent tensor-network work reproduced the relevant calculations classically with improved accuracy. This does not establish that every proposed chemistry or materials target will become classically tractable. It establishes the narrower resistance mechanism needed by this record: any future useful-quantum claim must be evaluated against the best classical method available at the time of comparison.
A 107-qubit superconducting surface-code processor demonstrates composed logical Clifford operations — lattice-surgery merge/split, patch expansion and shrinkage, and logical CNOT, Hadamard, and phase gates — with multi-round syndrome extraction and neural-network decoding, without post-selection. This advances the fault-tolerant substrate but does not demonstrate a practically useful quantum algorithm beyond classical simulation: the demonstrated set is Clifford-only, the codes are distance-three, and the work supplies no target problem. No independent replication yet; peer review pending.
Proctor et al. introduce QUOPS, a cross-platform system-level benchmark of the largest computationally relevant universal circuits a processor can execute successfully and their execution rate. The authors measure QUOPS on physical processors from Quantinuum, Google and IBM and on a simple fault-tolerant logical processor using up to eight [[7,1,3]]-encoded logical qubits on Quantinuum Helios-1. Translating recognised challenge workloads into the same benchmark, they estimate a FeMoco workload at 1,459 logical qubits and approximately 10^9 Toffoli gates, corresponding to about 3.4×10^8 QUOPS, while present measured circuit-size capability remains about five orders of magnitude below utility-scale targets. The result is supportive as a quantified system-level map of the remaining utility gap, not a demonstration of practical quantum advantage. Challenge-workload conversions and future fault-tolerant projections depend on architecture, compilation and gate-decomposition assumptions, and the work is a preprint pending peer review.