Prouvé par le logiciel
Les champs les plus sensibles sont scellés
Le NAS et les coordonnées bancaires passent par des boîtes scellées liées au locataire. Cette preuve porte sur le logiciel; la garde des clés de production reste sous contrôle humain.
Confiance, preuve par preuve
Cette page relie chaque contrôle à une preuve actuelle du dépôt ou à une source officielle. Elle sépare les propriétés testées des engagements, des travaux partiels et des activations qui restent humaines.
Inventaire vérifié le 22 juillet 2026
Trois gestes concrets
Les anciennes étiquettes deviennent des phrases complètes. Chaque plaque nomme le contrôle, sa limite et sa preuve.
Prouvé par le logiciel
Le NAS et les coordonnées bancaires passent par des boîtes scellées liées au locataire. Cette preuve porte sur le logiciel; la garde des clés de production reste sous contrôle humain.
Prouvé par le logiciel
Une personne, un organisme et une finalité autorisée sont exigés avant le déchiffrement. Si l'événement d'audit échoue, le champ reste fermé.
Prouvé par le logiciel
Le journal d'audit est à ajout uniquement, ancré et vérifiable. Les tests détectent une modification privilégiée dans une plage ancrée sans prétendre rendre le système parfait.
Les sept invariants
Chaque règle ci-dessous est classée selon la preuve actuelle. Une preuve logicielle n'active ni données réelles, ni paiement, ni envoi.
Prouvé par le logiciel
Le service de pipeline refuse le certificat sans preuve de signature ou de règlement et crée le registre dans la même transaction.
Prouvé par le logiciel
Le chemin d'envoi exige une approbation par un rôle CLIENT. Le personnel des opérations du fournisseur ne peut ni approuver, ni envoyer, ni déchiffrer.
Prouvé par le logiciel
La CI refuse les imports de code client dans les bibliothèques et services génériques, sauf dans les points de composition autorisés.
Prouvé par le logiciel
Les montants utilisent des entiers 64 bits et l'arrondi bancaire half-even. Aucun nombre flottant n'entre dans le moteur monétaire.
Prouvé par le logiciel
Le seul chemin d'ouverture exige une finalité et écrit l'événement d'audit avant de tenter le déchiffrement des champs scellés.
Prouvé par le logiciel
PI_MODE revient à synthetic_only. Toute utilisation de renseignements réels ou bascule de mode demeure une décision humaine distincte.
Prouvé par le logiciel
La CI refuse tout champ ou calcul de frais qui référence le montant levé.
Programme et portes humaines
Isolation, MFA, accessibilité, continuité, clés, renseignements réels et opérations publiques n'ont pas tous le même degré d'avancement.
Prouvé par le logiciel
Les relations recensées sous RLS forcée sont couvertes par une batterie qui tente des lectures entre locataires et échoue si une relation sort de l'inventaire. Cette preuve ne revendique pas une perfection universelle ni une validation de déploiement réel.
Partiel, portée nommée
Un jeton limité au premier facteur est refusé. Le verrouillage des projets de production aux comptes nommés demeure une étape opérateur avant utilisation réelle.
Partiel, portée nommée
Cette page est testée au clavier, à 390 px, avec focus visible et analyse axe. Cela ne remplace pas un audit exhaustif écran par écran de toute la plateforme.
Partiel, portée nommée
Le 16 juillet 2026, un exercice synthétique de sauvegarde, restauration et retour arrière a été consigné. Il ne constitue pas un exercice de reprise sur l'infrastructure de production.
Sous garde humaine
Au 22 juillet 2026, la carte de mandat externe demeure ouverte. Aucun résultat, constat ou attestation de test d'intrusion n'est annoncé ici.
Sous garde humaine
Le code de rotation et les responsabilités sont documentés. Les clés, propriétaires et opérations de coffre réels ne sont ni fournis ni activés par cette page.
Sous garde humaine
La démonstration utilise des locataires et des personnes synthétiques. Toute donnée réelle exige une décision EFVP, une configuration de clés et une activation humaine distincte.
Sous garde humaine
Les portes A, B et C restent humaines. Les paiements réels, le portail investisseur actif, les envois automatiques et l'utilisation fiscale des feuillets ne sont pas disponibles sur cette vitrine.
Loi 25 et incidents
Contexte officiel
La Commission d'accès à l'information indique que les sanctions administratives peuvent atteindre 10 M$ ou 2 % du chiffre d'affaires mondial. Pour certaines infractions pénales, la loi prévoit jusqu'à 25 M$ ou 4 %, selon le montant le plus élevé. Ces chiffres sont un contexte factuel, pas un avis juridique.
Engagement / feuille de route
Le runbook décrit la détection, le confinement, l'évaluation, la notification et la consignation. La veille de 72 heures prévue par la carte #397 reste ouverte et n'a pas eu lieu.
Ce que cette page n'est pas
§ 06 · Une question sur les preuves
Le contact passe par la route commune de la maison Astrocytes, sans formulaire sur cette page.