Un chiffre se rejoue, il ne se cite pas

Trois lois commandent tout le dépôt : l'obligation vit dans le chemin d'exécution, la preuve est rejouable, les limites s'écrivent au même endroit que les preuves. Voici ce qu'elles produisent.

Empreinte du corpus · 70 CSV · 471 Mo · deux langues

236f9ea4d7b536db73c215841451747b59c74a2d62d1f49e7e9ebdbf54d399c8

Comment elle se calcule

SHA-256 de la suite (chemin, SHA-256 du fichier) des 70 CSV, triés. Elle porte sur la donnée, pas sur les archives, dont l'horodatage changerait à chaque emballage.

Comment vous la retrouvez

Clone public, cargo build --release sans réseau, generer-tous 0.30, puis le script de vérification indépendante : 16 instruments et une comparaison à l'octet.

Ce qu'elle ne prouve pas

Ni la conformité juridique, ni l'absence de tout risque : un fait technique, rejouable. L'empreinte précédente a été reproduite par un tiers ; celle-ci attend sa revérification, et nous le disons.

Les instruments qui peuvent faire échouer la CI

Recette

212 signatures, 10 archives CRC, 273 empreintes, 60 Parquet ouverts par un lecteur tiers (pyarrow)

Langue réelle

chaque cellule des deux corpus comparée, valeur par valeur, par verifier_langue_reelle.py : la langue est vérifiée dans le corpus : 0 valeur dans la mauvaise langue

Parité CSV / Parquet

verifier_parite.py relit les deux formats ligne à ligne : ils portent le même objet

Cohérence

0 violation d'intégrité référentielle sur les lignes examinées par verifier_joignabilite.py ; 0 référence pendante ; 0 défaut clinique sur 8

k-anonymat par couche

J2A k = 73 (22 classes, 0 singleton), J2B k = 10 ; unicité de la couche publiée 0,0000

Triplet EDPB

singling-out 0 % sur les couches publiées, 0 liaison univoque sur 250, inférence ~0 ; 92 % de visites isolées par date exacte dans J2B, déclaré

Fidélité à la spécification

14 distributions déclarées, 0 écart ; 13 relations sur 20 à degré constant, publié ; Benford non conforme sur les montants, publié

Validateur HL7

validator_cli contre hl7.fhir.uv.ips#2.0.0 : joué en CI ; « non joué » quand Java manque, jamais « conforme »

Provenance des paramètres

65 paramètres lus dans le moteur, 14 qualifiés par une référence nommée, 51 à qualifier ; un cliquet refuse toute hausse

Tous rejouent le corpus régénéré à chaque commit. Un instrument qui ne peut pas lire sa source refuse (« instrument aveugle ») au lieu de rendre « conforme » : neuf d'entre eux annonçaient autrefois la conformité d'un corpus absent, et c'est le défaut le plus grave que ce chantier ait trouvé.

Trois états, jamais deux

TENU

Mesuré, rejouable, et un instrument peut refuser. Reproductibilité, intégrité référentielle, k par couche, invariants, langue réelle, parité.

DÉCLARÉ

Écrit, non mesurable ou hors objet, avec son motif. Confidentialité différentielle sans source, utilité sur réel non computable, cardinalités constantes, Benford, édition DICOM.

À INSTRUIRE

Travail ou démarche restant : bac à sable CNPD, certification du processus, attestation signée, calibration sur agrégats publics, profils EEHRxF.

HORS CHAMP n'est pas CONFORME. Non joué n'est pas validé. Un défaut déclaré se lit ; un défaut caché se paie.

Ce que l'audit du 15 octobre 2026 a établi

Confronté à l'état de l'art 2024-2026 des cinq secteurs, le dépôt est à l'état de l'art sur la chaîne de preuve, et en retrait sur la fidélité statistique et la couverture métier. Nous publions l'audit entier, grille par axe et par secteur, avec sa roadmap. Trois écarts ont été levés le jour même ; les autres portent leur date.

Lire l'audit et la roadmap →

Les registres publiés

manifest.json — moteur, versions épinglées, hypothèses, empreinte d'intégrité
rapport_confidentialite.json, rapport_fidelite.json, rapport_invariants.json, rapport_remplissage.json
validation_fhir.json, fidelite-specification.json, triplet-edpb.json, provenance-parametres.json
metadonnees : croissant.json, dcat-ap.jsonld, odrl.json, attestation.intoto.json
chiffres.json — chaque chiffre de ce site avec sa source