Gouverner l’intelligence avant de l’autonomiser.

$ 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

$ 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
    }
  }
}