Quantum ExcelliumEverything we claim can be verified here.
One page for a buyer, a CISO or an auditor: the path of one decision under QEC, the real outputs of the public verifier and of the proof repositories, the full suite of the licensed runtime, what is measured, and what is not claimed.
$ python ledger_verify.py out/governed_ledger.jsonl VALID $ sed "5s/[0-9]/7/" out/governed_ledger.jsonl > out/tampered.jsonl # altère un chiffre de la ligne 5 $ python ledger_verify.py out/tampered.jsonl INVALID - line 5: hash mismatch exit code: 1
$ (cd demo/qec-governed-agent-demo && python -m pytest -q) 8 passed in 0.13s $ (cd demo2/qec-demo-agents && python -m pytest -q) 6 passed in 0.54s $ (cd gh/pft-attestation-verify && python -m pytest -q) 7 passed in 0.34s $ (cd gh/ledger-verify-additions && python -m pytest -q) 6 passed in 0.18s $ (cd aiwp/ai-worlds-protocol && python -m pytest -q) 9 passed in 0.11s
Standard Python 3.11, no dependencies. Left: the public verifier declares the ledger produced by the demo VALID, then INVALID as soon as one digit of one line is altered, naming the line. Right: the five public proof repositories (36 tests). The QEC 3.5.2 runtime itself is not public; its full suite is reproduced below, and runs on your side under a 30-day evaluation licence.
$ python --version Python 3.11.15 $ python -m pytest -q ........................................................................ [ 22%] ........................................................................ [ 45%] ........................................................................ [ 68%] .................................................................. [ 89%] ................................ [100%] 314 passed, 6 subtests passed in 4.90s $ python platform/kernel/prove_trust_plane.py OK rotation d'ancre : ordre signé par un non-anchor refusé OK rotation trust anchor : nouvelle racine acceptée OK rotation trust anchor : ancienne racine refusée OK révocation de clé durable OK dérive détectée → exécution interdite OK état SQLite altéré (révocation effacée) détecté OK ReplayLab contrefactuel : policy plus stricte aurait bloqué 1 décision sur 2 ==> 29/29 scénarios prouvés → qec_trust_plane_proof.json
{
"overall": "PASS",
"checks": {
"pytest_integral": {
"status": "PASS",
"passed": 314,
"skipped": 0,
"subtests_passed": 6
},
"unittest_integral": {
"status": "PASS",
"tests": 314
},
"trust_plane_3_5_2": {
"status": "PASS",
"tests": 43
},
"kernel_assurance": {
"status": "PASS",
"passed": 10,
"total": 10
},
"trust_plane_proof": {
"status": "PASS",
"passed": 29,
"total": 29
},
"differential_matrix": {
"status": "PASS",
"verified": 28,
"delivered": 28
}
}
}Real output of the licensed runtime (not public), standard Python 3.11, no dependencies: 314 tests passed in 4.9 s, expert validator PASS (kernel assurance 10/10, Trust Plane 29/29 adversarial scenarios, differential matrix 28/28 bundles verified). Under an evaluation licence, the same command produces the same output on your side.
What you can re-run on your side
No SOC 2 or ISO 27001 certification; no conformance claim to the OWASP Agent Control Standard (integration boundary only); the public shim is not the licensed runtime; a hash chain proves order and integrity, not the writer’s identity nor trusted time. Six patent applications filed with INPI in 2026, under examination, not granted: five cleared for disclosure, the sixth at the admissibility stage.