Scientific software project

Born Verifier

A verification and diagnostic layer for evidence-sensitive experimental data.

Born Verifier is a scientific software project designed to help laboratories verify, diagnose, and document experimental data, especially in quantum-physics contexts.

The project focuses on evidence traceability, expected-vs-observed diagnostics, reproducible analysis outputs, and clear boundaries around what can and cannot be concluded from experimental results.

Status: prototype/backend under active development. A public interactive demo and full user interface are not yet available. Five non-interactive public artifacts are available: a static diagnostic sample, a static IBM QPU diagnostic dashboard sample, IBM QPU live-call summaries, an IBM calibration-context sample, and a shot-sufficiency diagnostic recommendation sample. Additional diagnostic outputs can be discussed directly.

Static diagnostic sample available

A static shot-sufficiency readback diagnostic sample is available as a public HTML artifact. It is generated from a bounded diagnostic prediction/readback chain and has no upload, no live processing, and no server dependency.

View static diagnostic sample →

Boundary: static diagnostic sample only. It is not a public interactive demo, not a stop/continue decision, not prediction correctness, not hardware certification, and not a final scientific claim.

IBM QPU diagnostic dashboard sample available

Born Verifier now includes a static IBM QPU diagnostic dashboard sample generated from admitted experimental evidence snapshots. The current public dashboard covers 31 admitted IBM Kingston diagnostic calls through call31, with the latest public point on 2026-06-17 showing an off-support fraction of 0.051.

View canonical IBM QPU diagnostic dashboard through call31 →

The sample is descriptive and diagnostic only. It does not provide certified stop/continue decisions, hardware certification, full experiment validation, or prediction correctness claims.

Shot-sufficiency diagnostic recommendation sample available

Born Verifier now includes a static recommendation sample generated from a file-only shot-sufficiency diagnostic chain. The sample shows a bounded diagnostic recommendation, calibration context, and explicit public boundaries.

View shot-sufficiency recommendation sample →

The sample is diagnostic only. It is not a stop/continue decision, not a command to collect more shots, not prediction correctness, not scoring correctness, not hardware certification, not a correlation claim, and not a final scientific claim.

IBM QPU supporting live-call summaries

Supporting static live-call summaries remain available for earlier admitted IBM QPU diagnostic runs. The canonical current IBM QPU diagnostic dashboard is the call-series overview through call31.

View canonical IBM QPU diagnostic dashboard → View supporting live-call summaries →

These pages are static public summaries only. They include no raw IBM artifacts and no raw job identifiers. They are not stop/continue decisions, not commands to collect more shots, not hardware certification, not correlation claims, and not final scientific claims.

IBM calibration-context support page

A static calibration-context support page remains available as bounded context for an earlier admitted IBM QPU diagnostic observation. The canonical current IBM QPU diagnostic dashboard is the call-series overview through call31.

View canonical IBM QPU diagnostic dashboard → View supporting calibration-context sample →

The sample is diagnostic context only. It is not a correlation claim, not proof that calibration context is sufficient, not hardware certification, not full experiment validation, not a stop/continue decision, and not a final scientific claim.

Static dashboard preview Representative local diagnostic dashboard output, shown as a non-interactive preview.
Input Evidence snapshot
Output Expected-vs-observed diagnostics
Posture Descriptive only

Boundary: static preview only; not a public interactive demo.

  • Not stop/continue authority.
  • Not hardware certification.
  • Not prediction correctness proof.

Current focus

Verification

Checking whether experimental probability/count data are coherent with expected models.

Diagnostics

Helping identify what is stable, uncertain, incomplete, or not yet claimable from the data.

Traceability

Producing documented analysis records that can support review, replay, and audit.

Who it is for

  • Quantum-physics and experimental-physics laboratories
  • Research teams working with probability/count-based experimental data
  • Innovation partners interested in scientific software, lab diagnostics, and trusted data analysis

Product structure

1. Born Verifier Core Stable lab-facing verification and diagnostic surface.
2. Prediction Spine + Apps Expected-vs-observed diagnostic records, reporting, and readback pipeline, including tomography, POVM, entanglement, drift, and shot-sufficiency diagnostics.
3. Research Diagnostics Read-only advanced diagnostic views for bounded advisory analysis from the same evidence snapshot.
Workflow: Lab input → Core diagnostics → Prediction record/report → Optional research diagnostics
Project lead: Jan San

Born Verifier est un projet logiciel scientifique destiné à aider des laboratoires à vérifier, diagnostiquer et documenter des données expérimentales, notamment dans le domaine de la physique quantique.

Le projet se concentre sur la traçabilité des analyses, la comparaison entre résultats attendus et observés, la reproductibilité des sorties et les limites de ce qui peut être affirmé à partir des données expérimentales.

Statut : prototype/backend en développement actif. Une démonstration publique interactive et une interface utilisateur complète ne sont pas encore disponibles. Cinq artefacts publics non interactifs sont disponibles : un échantillon diagnostique statique, un échantillon statique de tableau de bord diagnostique IBM QPU, des résumés d’appels IBM QPU en direct, un échantillon de contexte de calibration IBM et un échantillon de recommandation diagnostique de suffisance d’échantillons. Des sorties diagnostiques supplémentaires peuvent être discutées directement.

Échantillon diagnostique statique disponible

Un échantillon diagnostique statique de suffisance d’échantillons est disponible comme artefact HTML public. Il est généré à partir d’une chaîne diagnostique bornée de prédiction/readback, sans téléversement, sans traitement en direct et sans dépendance serveur.

Voir l’échantillon diagnostique statique →

Limite : échantillon diagnostique statique uniquement. Ce n’est pas une démonstration publique interactive, ni une décision d’arrêt/continuation, ni une preuve de justesse prédictive, ni une certification matérielle, ni une affirmation scientifique finale.

Échantillon de tableau de bord diagnostique IBM QPU disponible

Born Verifier inclut désormais un échantillon statique de tableau de bord diagnostique IBM QPU, généré à partir d’instantanés de preuves expérimentales admises. Le tableau de bord public actuel couvre 31 appels diagnostiques IBM Kingston admis jusqu’à call31 ; le dernier point public, daté du 2026-06-17, indique une fraction hors-support de 0.051.

Voir le tableau de bord diagnostique IBM QPU canonique jusqu’à call31 →

L’échantillon est descriptif et diagnostique uniquement. Il ne fournit pas de décision certifiée d’arrêt/continuation, de certification matérielle, de validation complète d’expérience ni de preuve de justesse prédictive.

Échantillon de recommandation diagnostique de suffisance disponible

Born Verifier inclut désormais un échantillon statique de recommandation généré à partir d’une chaîne diagnostique locale de suffisance d’échantillons. L’échantillon montre une recommandation diagnostique bornée, un contexte de calibration et des limites publiques explicites.

Voir l’échantillon de recommandation de suffisance →

L’échantillon est diagnostique uniquement. Ce n’est pas une décision d’arrêt/continuation, ni une consigne de collecte de tirs supplémentaires, ni une preuve de justesse prédictive, ni une preuve de scoring, ni une certification matérielle, ni une affirmation de corrélation, ni une affirmation scientifique finale.

Résumés d’appels IBM QPU en direct disponibles

Des résumés statiques d’appels IBM QPU en direct restent disponibles comme contexte historique borné. Le tableau de bord diagnostique IBM QPU canonique actuel est la vue de série d’appels jusqu’à call31.

Voir le tableau de bord diagnostique IBM QPU canonique → Voir les résumés d’appels IBM QPU →

L’échantillon est diagnostique uniquement. Il ne contient aucun artefact IBM brut, aucune donnée de token et aucun identifiant brut de job. Ce n’est pas une décision d’arrêt/continuation, ni une consigne de collecte de tirs supplémentaires, ni une certification matérielle, ni une affirmation de corrélation, ni une affirmation scientifique finale.

Échantillon de contexte de calibration IBM disponible

Un échantillon statique de contexte de calibration IBM reste disponible comme contexte borné pour une observation diagnostique IBM QPU admise antérieurement. Le tableau de bord diagnostique IBM QPU canonique actuel est la vue de série d’appels jusqu’à call31.

Voir le tableau de bord diagnostique IBM QPU canonique → Voir l’échantillon de contexte de calibration IBM →

L’échantillon est uniquement un contexte diagnostique. Ce n’est pas une affirmation de corrélation, ni une preuve que le contexte de calibration est suffisant, ni une certification matérielle, ni une validation complète d’expérience, ni une décision d’arrêt/continuation, ni une affirmation scientifique finale.

Aperçu statique du tableau de bord Exemple représentatif de sortie diagnostique locale, affiché comme aperçu non interactif.
Entrée Instantané de preuve
Sortie Diagnostics attendu/observé
Posture Descriptif uniquement

Limite : aperçu statique uniquement ; ce n’est pas une démonstration publique interactive.

  • Pas d’autorité d’arrêt/continuation.
  • Pas de certification matérielle.
  • Pas de preuve de justesse prédictive.

Axes actuels

Vérification

Vérifier si des données expérimentales de probabilités/comptages sont cohérentes avec les modèles attendus.

Diagnostic

Identifier ce qui est stable, incertain, incomplet ou pas encore affirmable à partir des données.

Traçabilité

Produire des traces d’analyse documentées pouvant soutenir la revue, la répétition et l’audit.

Public visé

  • Laboratoires de physique quantique et de physique expérimentale
  • Équipes de recherche travaillant avec des données expérimentales de probabilités/comptages
  • Partenaires innovation intéressés par les logiciels scientifiques, le diagnostic de laboratoire et l’analyse fiable des données

Structure du produit

1. Noyau Born Verifier Surface stable de vérification et de diagnostic destinée aux laboratoires.
2. Chaîne de prédiction + applications Pipeline de dossiers diagnostiques attendu/observé, de rapports et de relecture, incluant des diagnostics de tomographie, POVM, intrication, dérive et suffisance d’échantillons.
3. Diagnostics de recherche Vues diagnostiques avancées en lecture seule pour des analyses consultatives bornées à partir du même instantané de preuve.
Flux : Données laboratoire → Diagnostics du noyau → Dossier/rapport de prédiction → Diagnostics de recherche optionnels
Porteur du projet : Jan San