Atlas · Krenn·IQ

About Atlas & the author.

Atlas is built and maintained in the open by one person. This page says who — and, more importantly, shows how to check the work yourself instead of taking any claim on faith. That is the whole posture of the project: don't trust, verify.

The author

Fco. Osvaldo Morales Vilchis — founder and engineer of Krenn·IQ, an independent effort building measurement-first decision tools for quantum and high-performance compute. Atlas (quantum compute-cost triage) and its sibling CAPAS (claim-admissibility gate) are developed and released as open source under the Apache 2.0 license. The work is solo and self-funded; there is no team page to pad, and the project does not claim institutional backing it does not have.

Expertise here is demonstrated, not asserted. Rather than a list of titles, the credential for Atlas is the work itself — every verdict is measured, every method is named, and every number is reproducible from public scripts and data. The links below are the evidence; judge the project by them.

How to verify the work

Methodology

How a verdict is produced — four independent estimators, the agreement certificate, the Convergence Map, and the honesty principles.

Read the method →

Benchmark

The measured corpus: 2,517 oracle-certified circuits with confusion matrix, Wilson bound, and real-QPU validation.

See the corpus →

Evidence & audit trail

Reproducible manifests, calibration and certificate-validation data — the artifacts behind every claim, downloadable.

Open the trail →

Adversarial audit

The failure Atlas is built to never make (false-safety), how it is guarded, and the limits stated plainly.

Read the audit →

Open & checkable

Honest limits

Stated here as plainly as on the rest of the site: the calibration corpus and oracle are self-generated and not yet third-party audited — the project's declared #1 credibility gap. Atlas gives a decision-support triage, not a proof of classical simulability or of quantum advantage; verdicts with reduced confidence are flagged as such. The full limits table lives on the Audit page.

Limitations & roadmap

One consolidated, plain-spoken list — the same caveats already stated across the site, gathered in a single place. Una sola lista, sin adornos: las mismas salvedades que el sitio ya declara, reunidas en un único lugar.

Limitations — declared, not hidden · Limitaciones — declaradas, no ocultas
  • The benchmark corpus is self-generated, structurally-varied circuit families (lines, grids, ladders, etc.) — representative of the classical↔quantum frontier, not a sample of all real-world circuits. El corpus de benchmark es autogenerado: familias de circuitos de estructura variada (líneas, mallas, escaleras, etc.), representativas de la frontera clásico↔cuántico, no una muestra de todos los circuitos del mundo real.
  • In the genuinely-hard regime (beyond what classical oracles can verify), Atlas gives an indication ("QPU candidate"), not absolute proof — by design: it is compute-cost triage, not a proof of classical simulability or of quantum advantage. The headline figure is self-consistency vs. an exact same-formalism oracle, not absolute accuracy; that hard regime is unmeasured (no classical ground truth). En el régimen genuinamente difícil (más allá de lo que los oráculos clásicos pueden verificar), Atlas da una indicación ("candidato a QPU"), no una prueba absoluta — por diseño: es triaje de coste de cómputo, no una prueba de simulabilidad clásica ni de ventaja cuántica. La cifra principal es la autoconsistencia frente a un oráculo exacto del mismo formalismo, no la precisión absoluta; ese régimen difícil queda sin medir (sin verdad de referencia clásica).
  • Early, one-person project (launched 2026); the corpus and oracle are self-generated and not yet third-party audited — the declared #1 credibility gap. Proyecto temprano y de una sola persona (lanzado en 2026); el corpus y el oráculo son autogenerados y aún no auditados por terceros — la brecha de credibilidad nº 1 que declaramos.
Roadmap — not done yet, stated plainly · Hoja de ruta — aún sin hacer, dicho con claridad
  • External, third-party audit re-running the oracle + confusion matrix on the public corpus. Auditoría externa de terceros que vuelva a ejecutar el oráculo y la matriz de confusión sobre el corpus público.
  • Validating against circuits others assumed hard — community suites (QASMBench, MQT Bench) and published quantum-advantage circuits later classically simulated (Sycamore random-circuit sampling; IBM 127-qubit utility / kicked-Ising). Done (first pass, self-run): 115 external circuits through the real engine — 108 routed to a classical tier (102 CPU · 4 tensor-network · 2 HPC), 7 escalated as the genuine advantage frontier (Sycamore RCS ×2, the hard kicked-Ising point, and large/entangled QV_n100 / qft_n160 / bwt_n37 / square_root_n45), 0 timed out — see Benchmark §6. Remaining: an independent third-party re-run of this external corpus. Validar contra circuitos que otros asumieron difíciles — suites de la comunidad (QASMBench, MQT Bench) y circuitos de ventaja cuántica publicados y luego simulados clásicamente (muestreo de circuitos aleatorios de Sycamore; utilidad de 127 qubits de IBM / kicked-Ising). Hecho (primera pasada, ejecutada por nosotros): 115 circuitos externos por el motor real — 108 enrutados a un nivel clásico (102 CPU · 4 tensor-network · 2 HPC), 7 escalados como la frontera de ventaja genuina (Sycamore RCS ×2, el punto duro de kicked-Ising y los grandes/entrelazados QV_n100 / qft_n160 / bwt_n37 / square_root_n45), 0 con timeout — ver Benchmark §6. Pendiente: una repetición independiente de terceros de este corpus externo.
  • A valid independent QPU corroboration check (non-uniform / in-window target, F_xeb) — currently honestly abstained, no number claimed. Una comprobación válida e independiente de corroboración en QPU (objetivo no uniforme / en ventana, F_xeb) — actualmente con abstención honesta, sin cifra reclamada.
  • SOC 2 / ISO 27001 — not certified (roadmap). SOC 2 / ISO 27001 — sin certificar (hoja de ruta).
  • Full GDPR Art. 13 privacy policy, a named data-controller contact / EU representative, a legal entity, and export-control terms — before regulated-sector contracts. Política de privacidad completa según el Art. 13 del RGPD, un contacto nominado de responsable del tratamiento / representante en la UE, una entidad jurídica y términos de control de exportación — antes de contratos en sectores regulados.
  • Further hardening (e.g. CSP nonces). Endurecimiento adicional (p. ej. nonces de CSP).

Contact

Questions, corrections, or a pilot on your own circuits: open an issue at github.com/fomv9354lve/atlas-engine/issues. Corrections to the science or the claims are genuinely welcome — the whole point is to be checkable.