{"block_close_oss.c33fd1fe9c":"Communauté et écosystème","core-extras.96d330537a":"Base IR","core-extras.bee831a169":"Substrat","core-extras.61a0822826":"Applications sur Core","core-extras.15438cc098":"non pris en charge","core-extras.ad565d9d01":"Fonctionnalité","core-extras.0155bf03e5":"Légende des segments","core-extras.8b7110078e":"Groupes d'algorithmes par type de données","core-extras.25ab4276a6":"Matrice de capacités défilante","open-source-aion.81f3904118":"Gouvernance des connaissances fondée sur la provenance de type AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Produits","open-source-aion.de5ec3713e":"Analyseur certifiable Merkle utilisé par AION pour le traitement des entrées.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Runtime vérifié qui associe les certificats AION aux transcriptions d'exécution.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Provenance des événements pour les systèmes : enregistrements chaînés par hachage de ce qui s'est passé, et non des étapes de raisonnement internes à une décision.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Continuer l'exploration","open-source-aion.75e393a1ac":"Explorer les projets associés","open-source-aion.f9743247fa":"Lire la documentation","open-source-aion.ef0fd4ccef":"Inspecter le chemin de preuve","open-source-aion.77453cde44":"Exécutez un exemple de certificat et vérifiez-le avec aion check, cvc5 ou tout vérificateur compatible LRAT dès que le dépôt sera publié. La publication est prévue pour le 1er septembre 2026, et les instructions d'installation arriveront avec elle.","open-source-aion.dd58b70279":"La preuve accompagne la réponse","open-source-aion.90e40d5043":"Commencer","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Open Source","open-source-aion.close.accent":"pour que chacun puisse le vérifier sans vous","open-source-aion.close.panel.title":"Ce que contient un certificat","open-source-aion.close.panel.tag":"ENVELOPPE","open-source-aion.close.panel.row.0.label":"Enveloppe","open-source-aion.close.panel.row.0.value":"Une forme, huit champs","open-source-aion.close.panel.row.1.label":"Familles","open-source-aion.close.panel.row.1.value":"Neuf enregistrées, et extensibles","open-source-aion.close.panel.row.2.label":"Vérification","open-source-aion.close.panel.row.2.value":"Bornée, sans licence, sans rejeu","open-source-aion.close.panel.row.3.label":"Où il s'exécute","open-source-aion.close.panel.row.3.value":"Sur votre site, rien ne sort","open-source-aion.close.panel.foot":"Un certificat reste petit et reste revérifiable des années plus tard.","open-source-aion.ea722c81af":"Européen","open-source-aion.26803e587f":"Au moment de l'audit","open-source-aion.15edfb4da4":"Fabriqué en","open-source-aion.75f527181b":"Hors ligne","open-source-aion.f8c94a3b4b":"Ce que c'est","open-source-aion.6b5eb5323e":"Hors ligne, temps linéaire","open-source-aion.a49b62e167":"Rationnels exacts","open-source-aion.45f053dc73":"Arithmétique","open-source-aion.4329e5da7b":"11 domaines logiques","open-source-aion.9a948dc88c":"DÉRIVATION","open-source-aion.e6c67de15e":"Formats de preuve","open-source-aion.87415af880":"Certificats de preuve","open-source-aion.9c8c22f54d":"Des preuves, pas des assurances","open-source-aion.44ab85a252":"Origine","open-source-aion.3271776def":"Hors ligne, sans service","open-source-aion.03128bed90":"Vérification","open-source-aion.4f1428fca3":"Matériel que vous contrôlez","open-source-aion.5703321d0e":"S'exécute sur","open-source-aion.978e9ec250":"Standard, portable","open-source-aion.3229609e15":"Vérification","open-source-aion.cba0624eb5":"Registre de vérification","open-source-aion.26ef011865":"Voir où il s'exécute","open-source-aion.6f696724c6":"Voir le chemin de vérification","open-source-aion.a3f1131acb":"AION est une infrastructure de preuve pour les décisions d'IA, publique à partir du 1er septembre 2026. Elle émet une preuve compacte à côté d'un résultat d'IA, et un vérificateur séparé parcourt cette preuve par rapport aux prémisses d'origine et l'accepte ou la rejette sans le modèle, la session de solveur ou le réseau.","open-source-aion.a2831cb958":"pour des décisions d'IA vérifiées indépendamment","open-source-aion.78db6d1920":"Infrastructure de preuve","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Ne vous contentez jamais de lui faire confiance","open-source-aion.4c1c703b94":"L'essentiel","open-source-aion.2518be9b9c":"Non requis","open-source-aion.4ab2910209":"Votre compte","open-source-aion.3477f4d91d":"Même réponse","open-source-aion.d7e70b6e08":"Même question","open-source-aion.930888ee28":"Pas d'internet","open-source-aion.d072f5db48":"Vérification des besoins","open-source-aion.576347ec82":"Europe","open-source-aion.eeffc514bd":"Non, d'autres le font pour vous","open-source-aion.cef1deea41":"Vous le construisez","open-source-aion.64ae43e8fe":"Vérification de preuve","open-source-aion.fdd1e56642":"Un reçu pour les réponses","open-source-aion.704869f20f":"En termes simples","open-source-aion.658a8547d7":"Est-ce sûr ?","open-source-aion.06c805023d":"Une raison que vous pouvez emporter avec vous","open-source-aion.e92ed103c2":"AION ajoute un reçu vérifiable à une réponse d'IA. Votre assistant peut vous dire si le raisonnement tient sans vous demander de comprendre la mécanique, et le reçu peut être vérifié à nouveau sans connexion internet. AION est public à partir du 1er septembre 2026, le jour où sa documentation sera également en ligne.","open-source-aion.336366183a":"pour les décisions d'IA","open-source-aion.41cbc965ef":"Un reçu vérifiable","open-source-aion.4eabc3bc63":"CDCL avec plugins de théorie","open-source-aion.68836c550e":"Noyau","open-source-aion.0cdb7c9a36":"Temps linéaire, hors ligne","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Théories","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Langage","open-source-aion.942587e61e":"Fiche projet","open-source-aion.d4a74b503a":"Lire la documentation","open-source-aion.b683cc6ce4":"AION ouvre le programme le 1er septembre 2026 : infrastructure de preuve pour les décisions d'IA, avec le dépôt et sa documentation publiés ensemble. Les explications post hoc ne font que vous demander de faire confiance à un autre récit du même système. AION émet plutôt un certificat de preuve que tout vérificateur peut contrôler hors ligne, en temps linéaire, sans le solveur.","open-source-aion.8f2ee5be83":"Résultats d'IA","open-source-aion.376868cca2":"pour vérifiés indépendamment","open-source-aion.hero.source":"Renseignez-vous sur la version","open-source-aion.45471af790":"Provenance des événements","open-source-aion.ac9835d4bd":"Transcriptions d'exécution","open-source-aion.24f43d4446":"Arbres syntaxiques","open-source-aion.f6b229e148":"Vos fichiers, votre matériel, vos chiffres, et un vérificateur qui lit la preuve d'un inconnu","open-source-aion.144fbc96c6":"COMPTÉ","open-source-aion.719075bb86":"ANALYSER ET RÉSOUDRE","open-source-aion.8f84ba12df":"VOS PROPRES FICHIERS","open-source-aion.8f088dbc07":"Il s'agit d'une évaluation de deux semaines avec un résultat écrit plutôt qu'une démonstration. Le corpus est le vôtre, le matériel est le vôtre, les chiffres sont les vôtres à publier en interne, et rien dans l'exercice ne nécessite une conversation avec nous. Le harnais est fourni avec le dépôt, donc l'exécution peut commencer le jour où l'accès arrive.","open-source-aion.36ef075645":"Correct n'est pas l'opinion d'AION sur lui-même. Chaque fichier d'un corpus standard porte le statut qu'il est connu d'avoir, et le harnais compare la réponse d'AION à cette annotation instance par instance, donc le compte à la fin est un score par rapport à une vérité de référence déclarée. L'espace d'adressage par exécution peut être plafonné, ce qui empêche un fichier pathologique d'emporter une machine avec lui.","open-source-aion.e5bce47d50":"Ce qu'un pilote produit","open-source-aion.680f97998b":"AION fournit un harnais de référence, donc les chiffres que vous citez dans un business case sont ceux que vos propres fichiers ont produits sur votre propre matériel. Pointez-le vers un corpus, et il enregistre le temps d'analyse, le temps de résolution et la mémoire résidente maximale pour chaque instance, puis affiche un compte du nombre de réponses correctes. L'exécution se répète sur le même corpus, donc une deuxième évaluation peut être placée à côté de la première ligne par ligne.","open-source-aion.2d5f8acea9":"et lisez les chiffres en retour","open-source-aion.5586707b63":"Exécutez d'abord vos propres fichiers","open-source-aion.67ec8d614c":"Avant de vous engager","open-source-aion.55744ee096":"Même avec tout cela, quelqu'un contestera un résultat. Cela nécessite une voie, pas une réunion","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"REGARDÉ EN DIRECT","open-source-aion.24538c3986":"MARGE, PAS ALARME","open-source-aion.368f25d10d":"Quelque part avant cette dernière, il y a eu un jour où le travail était encore celui d'un après-midi, et c'est ce jour-là qu'un manager veut marquer, car chaque option après coûte plus cher. Lire la marge quotidiennement est ainsi que ce jour est trouvé.","open-source-aion.c5701049a8":"Le rapport a un propriétaire plutôt qu'une file d'attente, et chaque ligne implique un travail différent avec une urgence différente. L'une est terminée et ne nécessite aucune action de personne. L'une a quatre jours restants, ce qui en fait le plan de cette semaine plutôt que celui d'aujourd'hui. L'une a un seul jour restant, ce qui en fait le travail de ce matin. L'une est passée depuis quinze jours, ce qui nécessite un nom contre elle et une phrase expliquant l'écart.","open-source-aion.26435b9406":"Tout ce qui a une échéance peut être surveillé pendant son exécution, et AION rapporte la marge restante comme un nombre signé plutôt qu'un succès. Une fenêtre de réponse avec quatre jours restants. Une période de conservation quinze jours après la date à laquelle elle aurait dû se clore. C'est une lecture opérationnelle sur laquelle quelqu'un peut agir ce matin. Le nombre bouge chaque jour, donc le rapport est lu comme une marge plutôt que comme une alarme.","open-source-aion.f49579b8d6":"avant qu'il ne devienne une violation","open-source-aion.0e185152c8":"Vous lisez la marge quotidiennement","open-source-aion.bc09e774e9":"Obligations en cours","open-source-aion.cff8079f65":"Les enregistrements répondent aux questions après coup. Certaines obligations doivent être surveillées pendant leur exécution","open-source-aion.127edee78d":"SIGNÉ","open-source-aion.b1c1ba1af8":"UNE LISTE","open-source-aion.8d27ef68f5":"SEPT PEUVENT BOUGER","open-source-aion.c84f34cb7c":"L'attribution est un second mécanisme plutôt qu'une autre colonne du même enregistrement. Une signature est appliquée sur l'ordre de dérivation, donc qui a produit un résultat survit à un changement de prestataire, et deux réponses identiques de deux fournisseurs restent distinguables. Cela tient même lorsque les deux ont été produites à partir des mêmes entrées déclarées.","open-source-aion.a76201631f":"Chaque entrée de cette liste nomme le composant qui a changé, et le certificat stocké derrière est complet, donc la revérification est une exécution plutôt qu'une reconstruction. L'alternative, ce que la plupart des organisations ont, est un choix entre tout réexaminer et ne rien réexaminer, et en pratique ce choix est toujours fait de la même manière.","open-source-aion.5c82441a97":"L'enregistrement","open-source-aion.10d9103c24":"Un résultat accepté l'année dernière a été accepté sous le contrat de l'année dernière. Sept choses différentes peuvent bouger en dessous : une règle de vérificateur, un schéma de certificat, une politique, une règle de compilateur, un contrat d'exécution, une version de modèle ou un contrat de simulation. Lorsque l'une d'elles bouge, la question de savoir quelles conclusions passées reposaient sur la partie qui a changé a une réponse, et la réponse est une liste.","open-source-aion.1829734913":"vous obtenez une liste à refaire","open-source-aion.6d49555943":"Lorsqu'une règle change plus tard","open-source-aion.7f325552d8":"Votre piste d'audit, versionnée","open-source-aion.d272027f73":"Un enregistrement local est facile à conserver. Le garder pertinent quand les règles changent est plus difficile","open-source-aion.05a898ec87":"AUCUN HÔTE DE MODÈLE","open-source-aion.c530254e40":"VOTRE SITE","open-source-aion.66b3dbbe8f":"AUCUN APPEL SORTANT","open-source-aion.8ae7a1670e":"Pour un délégué à la protection des données qui répond à une courte liste de questions sur ce chemin, et uniquement ce chemin : aucun sous-traitant à ajouter à un registre, aucun transfert à justifier, aucun fournisseur de modèle dans la chaîne, et rien de notre côté qui puisse être indisponible pendant votre incident ou changer sous vos pieds selon le calendrier de publication de quelqu'un d'autre. La version que vous avez est celle qui fonctionnera l'année prochaine. Cette réponse est la même que le site soit connecté ou isolé.","open-source-aion.60ad7ae15b":"Deux chemins peuvent franchir une frontière et tous deux sont à configurer. Un cluster fonctionne sur des adresses que vous définissez vous-même. Un prouveur externe, si vous en voulez un dans la boucle, est un programme que vous installez et qui s'exécute comme un processus local sur votre propre machine.","open-source-aion.2f6a307ba7":"Pour les opérateurs","open-source-aion.dbc08c41b9":"La version par défaut d'AION ne comporte aucun client sortant. Vérifier une preuve, traduire une exigence, surveiller un signal et exécuter la recherche se font tous sur la machine où vous les avez lancés, à l'intérieur de votre propre frontière, sur du matériel que vous contrôlez. Il n'y a aucun modèle hébergé dans la chaîne et aucun chemin vers un tel modèle. La même version fonctionne dans une salle isolée comme dans une salle connectée, car rien sur le chemin par défaut n'a besoin d'un réseau pour aboutir.","open-source-aion.90c790a231":"et rien n'appelle vers l'extérieur","open-source-aion.4b9230d5db":"Tout fonctionne sur site","open-source-aion.fe7f7fc61a":"Où le travail se fait","open-source-aion.ed461cacdf":"Une preuve sur les règles est une chose. Où le travail s'exécute est la question suivante que les gens posent","open-source-aion.640d41197b":"UN CAS TRAITÉ","open-source-aion.29ff0fb82f":"SEPT ÉNONCÉS","open-source-aion.431d64456a":"C'est un énoncé sur l'ensemble de règles plutôt qu'un échantillon de cas passés. Tester mille applications montre mille applications ; une vérification de non-interférence couvre chaque paire que les règles autorisent, en utilisant la composition de soi, l'atteignabilité dirigée par propriété et l'induction k, avec l'abstraction resserrée chaque fois qu'une paire montre qu'elle était trop lâche. Lorsque cela ne tient pas, ce qui revient n'est pas une statistique. Ce sont deux applications identiques dans tous les champs publics, différant dans celui que vous avez demandé, avec deux résultats différents affichés côte à côte. C'est une constatation qu'un responsable de conformité peut exploiter le même matin.","open-source-aion.e5e1cd5506":"Prenez celle que les régulateurs et les plaignants posent le plus souvent, en des termes différents : ce champ a-t-il changé le résultat ? Elle est répondue comme une propriété sur deux exécutions. Reliez toutes les entrées publiques ensemble, laissez le champ en question libre de chaque côté, et exigez que le résultat visible soit le même. S'il est toujours le même, le résultat ne dépendait pas de ce champ.","open-source-aion.227872d789":"L'un d'eux, traité en détail","open-source-aion.5f92fd5ed1":"Un certificat n'est intéressant que pour la phrase qu'il vous permet de dire. Ce binaire correspond à ce graphe source. Cette charge de travail a fonctionné sous ces capacités. Cette action avait l'approbation requise. Cet optimum respecte cette borne. Cette trajectoire a respecté ces invariants. Cette conclusion découle de ces contraintes. Cette sortie provient de ce modèle et de cet ensemble de paramètres exacts.","open-source-aion.418a3bc2fc":"présentées devant un régulateur","open-source-aion.7a7af31402":"Sept énoncés que vous pouvez","open-source-aion.a13c1cf72d":"Ce que vous pouvez réellement prouver","open-source-aion.20467ce964":"Un cas concerne une application. Certaines questions concernent deux d'entre elles à la fois","open-source-aion.dde18d1e41":"QUI LE POSSÈDE","open-source-aion.f3b603a5b2":"EN VALEURS","open-source-aion.53d2799375":"LE CAS","open-source-aion.f18bb15530":"Ces deux éléments sont des constatations, et chacun a un propriétaire. Aucun des deux n'est disponible à partir d'un succès ou d'un échec. Le contre-exemple est ce qui vous dit lequel des deux vous tenez.","open-source-aion.d83e9c1af9":"Le contre-exemple met également fin à des arguments qui autrement durent des semaines, car ce n'est l'opinion de personne sur le fait que la règle est trop stricte. C'est un cas, dessiné avec les valeurs réelles sur lesquelles la règle travaille. Soit le cas est possible quelque part dans votre entreprise, auquel cas la règle est correcte et le système est erroné, soit le cas ne peut pas se produire, auquel cas la spécification manque d'une contrainte que tout le monde supposait et que personne n'a écrite.","open-source-aion.7455444aea":"Lorsqu'une règle ne tient pas, AION renvoie la situation spécifique qui la brise, écrite en prose : quelles valeurs, de quel type, et quelles conditions elles violent. Un ingénieur peut la reproduire et un gestionnaire peut l'évaluer, et pour une fois ils discutent du même cas.","open-source-aion.7d4873637b":"comme le cas qui l'a brisée","open-source-aion.aeb268fac7":"Une règle brisée revient","open-source-aion.b5951203ea":"Ce qu'un échec vous donne","open-source-aion.8a9a27b8f7":"Ce qui laisse les phrases qui peuvent signifier deux choses, et celles-ci font l'objet de questions","open-source-aion.e1814a04c0":"VÉRIFIABLE","open-source-aion.20e7dea6cd":"LECTURE SIMPLE","open-source-aion.295ea7bb80":"ANGLAIS CONSERVÉ","open-source-aion.a4abbaea33":"La traduction est une bibliothèque de motifs plutôt qu'un modèle, donc la même phrase produit toujours la même lecture, et une revue n'a pas à être répétée parce que l'outil a changé d'avis entre un trimestre et le suivant. Un deuxième relecteur lisant la même phrase arrive à la même condition, ce qui rend une revue transférable.","open-source-aion.f3689055f1":"Chaque condition est accompagnée d'une phrase en anglais simple indiquant ce qu'elle encode, et des quantités sur lesquelles elle travaille, chacune nommée avec le type de valeur qu'elle contient et sa propre ligne de description. Ainsi, la revue peut être faite par la personne qui possède l'exigence plutôt que seulement par celle qui possède la notation.","open-source-aion.cac3da045e":"Comment elle tient","open-source-aion.c6b765e4cc":"Les exigences sont rédigées par des personnes qui comprennent le métier, puis transformées en conditions par des personnes qui maîtrisent la notation, et les deux versions finissent par diverger pendant des années. AION les maintient liées : vous rédigez l'exigence sous forme de phrase en anglais, et la condition qui en découle porte votre phrase avec elle. Le relecteur lit les deux ensemble, si bien que la divergence apparaît sur la page plutôt que dans un incident.","open-source-aion.589a38f560":"à la personne qui a demandé","open-source-aion.5d212c3d75":"La règle reste lisible","open-source-aion.5373332e20":"Qui peut voir ce qui a été vérifié","open-source-aion.5f882ec681":"Une référence n'est utile que si la règle qu'elle désigne est lisible par vos propres équipes","open-source-aion.bca8d6442c":"ACTIONNABLE","open-source-aion.705bc98c49":"NOMME LA RÈGLE","open-source-aion.ab9f5d57e4":"NOMME L'ÉTAPE","open-source-aion.b4ba975800":"C'est cette distinction qui permet d'envoyer un refus à un fournisseur, car une accusation est la seule chose que l'on ne peut pas retirer discrètement d'une relation fournisseur.","open-source-aion.7a47f854de":"C'est cette forme qu'un auditeur ou un responsable fournisseur peut exploiter, car elle transforme un désaccord en référence. AION sépare également deux échecs qui arrivent sous un même mot. Soit l'étape ne se reconstruit pas, ce qui est un défaut de la preuve et une constatation contre celui qui l'a produite, soit l'étape utilise une règle absente de ce vérificateur, ce qui est une question de périmètre pour vous et non une constatation contre quiconque.","open-source-aion.d9469b7dda":"Un échec qui indique « vérification échouée » ne peut être ni attribué, ni contesté, ni corrigé, et il arrive comme un litige plutôt que comme une constatation. AION renvoie un emplacement et une raison : quelle étape, dans quel fichier, quelle règle elle prétendait appliquer, et ce qui manquait lorsque l'étape a été reconstituée. Le refus peut être renvoyé à l'équipe productrice avec une adresse reproductible. Si la preuve ne peut pas être reconstruite, la responsabilité incombe au producteur ; si le vérificateur ne dispose pas de la règle nommée, c'est une décision de périmètre. Ce sont des files différentes et des remédiations différentes.","open-source-aion.ccc6a09991":"avec l'étape et la raison","open-source-aion.3619f211ef":"Un contrôle échoué revient","open-source-aion.29801085dc":"La sortie qui doit être exploitable","open-source-aion.57c6ba11fc":"Sept producteurs conservent leur propre sortie. AION standardise l'enveloppe et le routage de leurs preuves.","open-source-aion.f37804f36b":"UNE ENVELOPPE","open-source-aion.8a3b4bf313":"SEPT PRODUCTEURS","open-source-aion.479f1de8ea":"L'enveloppe commune donne à l'organisation un registre unique, un modèle de compatibilité unique et un ensemble d'impact unique lorsqu'une règle change. Chaque famille de certificats conserve son propre vérificateur et ses propres règles de refus. Une nouvelle famille rejoint en enregistrant ces règles et son vérificateur ; AION ne devient pas le producteur. Le registre est la partie qui croît.","open-source-aion.5b958e86c7":"Un solveur peut émettre des certificats logiques, d'optimisation ou temporels. Twin et FMI produisent des sorties différentes mais partagent la famille simulation et FMI. Le producteur indique ce qui a été fabriqué ; la famille de certificats indique comment sa revendication est vérifiée. Les deux sont enregistrés séparément, de sorte que ni l'un ni l'autre ne peut être déduit de l'autre.","open-source-aion.57e1cc2701":"Ce que change une enveloppe","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin et FMI sont sept producteurs de sorties différentes, pas sept familles de certificats. AION donne à leurs preuves une enveloppe unique et route chaque certificat vers son vérificateur spécifique à la famille. L'enveloppe porte le producteur, la famille, le schéma et les entrées déclarées, tandis que le vérificateur de famille conserve le sens technique. Un fournisseur peut changer son implémentation sans changer la frontière de preuve de l'organisation ; seul un changement de famille ou de schéma élargit la revue de compatibilité.","open-source-aion.65a41e884e":"une enveloppe pour les preuves","open-source-aion.837663a52a":"Sept producteurs, et","open-source-aion.647e0f46ec":"Sept producteurs","open-source-aion.af6010147d":"Un fournisseur est une relation. La question intéressante est de savoir jusqu'où cela s'étend","open-source-aion.35ecafecfb":"VOTRE MACHINE","open-source-aion.0676f9f8de":"TROIS CHOSES","open-source-aion.dfc87eabb4":"Cela déplace la conversation hors du terrain où les fournisseurs sont à l'aise. Vous ne leur demandez plus de vous convaincre, et vous ne payez plus pour reproduire leur environnement. Une fois que vous détenez les trois choses, la vérification vous appartient et vous pouvez la répéter quand vous voulez, sur le matériel que vous voulez, y compris la semaine après la fin du contrat.","open-source-aion.7677ed77e3":"Il vaut la peine d'être précis sur l'artefact, car ce n'est pas toujours un fichier. Selon la famille, il peut s'agir d'un fichier, d'une archive, d'un flux, d'un bundle signé, d'une paire de traces, d'un témoin, d'un reçu d'exécution ou d'une dérivation structurée. Ce qu'il est toujours, quelle que soit sa forme, c'est quelque chose qu'un vérificateur peut lire sans la présence du producteur.","open-source-aion.a29def781f":"Ce qu'est réellement un certificat","open-source-aion.fdca1fef67":"Un certificat n'est ni un journal ni un résumé. C'est la preuve laissée par le travail, et ce qu'un fournisseur remet, ce sont trois choses : la revendication, les entrées déclarées et le contrat contre lequel elle a été établie, et le certificat produit par le système. Pas leur licence, pas leur version, pas leur machine. Ces trois éléments voyagent ensemble, et leur vérification ne nécessite rien de plus de la part du fournisseur.","open-source-aion.b054d236cd":"plutôt que leur logiciel","open-source-aion.53e1575f60":"Vous vérifiez le certificat","open-source-aion.5e40f4ba8a":"Le changement de position","open-source-aion.b9e2767b28":"Il existe une voie qui n'est ni les croire ni réexécuter leur logiciel","open-source-aion.7d87348ad6":"VOTRE NOM DESSUS","open-source-aion.48a5aca907":"LEUR SYSTÈME","open-source-aion.32c3cafa08":"C'est la position qu'un auditeur examine lorsqu'il demande comment vous vous êtes assuré, y compris en vertu de règles de preuve comme celles de l'AI Act de l'UE. AION la change en donnant à chacun de ces résultats un certificat que vous pouvez vérifier, sans reproduire le fournisseur et sans accès à quoi que ce soit qu'il considère comme sien. La vérification s'exécute sur votre propre machine, uniquement à partir du certificat.","open-source-aion.ac90e72b2c":"Les itinéraires habituels mènent tous deux au même endroit. Vous pouvez demander leurs preuves, c'est-à-dire un document qu'ils ont écrit sur leur propre logiciel. Ou vous pouvez demander à reproduire leur système vous-même, ce qui nécessite leur licence, leur version et leur environnement, et vous laisse toujours dépendre de ce qui a produit la réponse.","open-source-aion.fc63c534d2":"Un solveur dit que le planning est réalisable. Un système d'IA parvient à une conclusion réglementée. Un système agent effectue une opération en votre nom. Un compilateur produit un artefact critique pour la sécurité. Un runtime exécute une charge de travail contrôlée. Une simulation valide une décision de conception. Un jumeau numérique signale qu'un état de fonctionnement est sûr. Dans chacun de ces cas, le travail s'est produit ailleurs et les conséquences vous reviennent.","open-source-aion.c9672e2ac8":"votre nom est sur la réponse","open-source-aion.925d7b4a2d":"Leur système l'a produit","open-source-aion.47b025f850":"Où se situe la responsabilité","open-source-aion.905aee629b":"Le fonctionnement, une raison que vous pouvez lire, et la même règle pour tous ceux qu'elle touche","open-source-aion.4d0ee37058":"UNE DATE","open-source-aion.6ccb4a6f6a":"MÊME RAISON","open-source-aion.84adcc762b":"MÊME VÉRIFICATION","open-source-aion.56c6f422d8":"C'est une lettre que quelqu'un peut écrire. Au lieu de dire que le système a décidé, vous pouvez citer la règle, nommer la date, nommer la version, et demander à la personne qui l'a écrite si c'est bien ce qu'elle voulait dire.","open-source-aion.073cdea47b":"Cela n'a de valeur que si vous pouvez le voir, donc ce qui vous reste, ce sont trois choses utilisables. La règle, en mots ordinaires que vous pouvez lire à voix haute. La raison pour laquelle elle s'appliquait à vous, en citant cette règle avec votre propre situation. Et la date à laquelle le fonctionnement a été vérifié. Ce dossier nomme ce qui l'a vérifié et la version des règles contre laquelle il a été vérifié.","open-source-aion.a50f912efb":"Ce que vous pouvez en faire","open-source-aion.1d94c73b03":"Donnez le même fonctionnement à AION deux fois et la vérification sort de la même manière, le lundi et le vendredi, pour vous et pour la personne derrière vous dans la file. Ce n'est pas que tout le monde obtienne la même réponse, car les gens apportent des situations différentes. C'est que la vérification elle-même ne varie pas, et personne n'interprète votre cas sur le moment. Un an plus tard, le même fonctionnement est vérifié par les mêmes règles écrites, donc une réponse qu'on vous a donnée peut encore être expliquée.","open-source-aion.fba7a52bf4":"le lundi et le vendredi","open-source-aion.77a3327a99":"Vérifié de la même manière","open-source-aion.cebde51ae2":"Ce qui vous reste entre les mains","open-source-aion.a566f0cb1b":"Le temps est un type de règle. La plupart sont du genre simple, appliquées à tout le monde","open-source-aion.29231cd04d":"EN TEMPS UTILE","open-source-aion.d89f7642e7":"SURVEILLÉ","open-source-aion.5d491ce50f":"JOURS RESTANTS","open-source-aion.c50722f442":"La même lecture fonctionne après la date aussi bien qu'avant. Quatorze jours passés est un fait dont on peut interroger quelqu'un, avec une date attachée, plutôt qu'une marque rouge arrivée sans avertissement.","open-source-aion.0b1cbd5f8a":"Une réussite ne vous dit rien jusqu'au moment où elle cesse d'être une réussite, et à ce moment-là, les options bon marché ont disparu. Un chiffre vous dit où vous en êtes : vingt-deux jours restants est une note dans un agenda, quatre jours restants est cette semaine, un jour restant est ce matin.","open-source-aion.af41b675b0":"Ce que cela vous apporte","open-source-aion.2ff91b62ec":"Les règles avec une horloge dedans sont celles qui piègent les gens. Une réponse due sous trente jours, une fenêtre de remboursement, une période après laquelle quelque chose doit être supprimé. AION surveille cela pendant que cela se déroule et signale combien de marge il reste aujourd'hui, en nombre de jours.","open-source-aion.94dc6c2b80":"bien avant le dernier","open-source-aion.6bdbc0422a":"Vous pouvez voir les jours restants","open-source-aion.37f768721f":"Des délais qui vous concernent","open-source-aion.e3c2d4b24a":"Travailler sur place signifie aussi qu'il peut garder un œil sur l'horloge pour vous","open-source-aion.4ace2cc9bc":"AUCUN COMPTE","open-source-aion.c5c3055a7b":"RIEN ENVOYÉ","open-source-aion.a5b9137c2b":"RESTE ICI","open-source-aion.874bab5372":"S'il y a une connexion, c'est une que quelqu'un a délibérément établie entre ses propres machines, et elle est coupée jusqu'à ce qu'il le fasse. Votre phrase est lue par des règles écrites, dans la même pièce que vous, et la réponse arrive avec la ligne coupée. Rien n'a quitté la machine pour la produire, et rien n'a été envoyé.","open-source-aion.4a03f17947":"Pas de compte, pas d'inscription, et aucun service externe qui doit fonctionner, être digne de confiance, ou encore exister l'année prochaine, pour que vous obteniez une réponse.","open-source-aion.f10eb79b5b":"Ce que cela signifie pour vous","open-source-aion.c17d4e01b4":"De nombreux outils répondent à une question vous concernant en envoyant vos informations et en attendant une réponse. Vos informations ont voyagé, vers une entreprise que vous n'avez pas choisie, peut-être vers un pays dont vous n'entendrez jamais le nom. AION fait le travail là où il se trouve déjà. Rien n'est envoyé, car il n'y a rien avec quoi l'envoyer.","open-source-aion.9e50609149":"sur la machine où vous êtes","open-source-aion.ca67037369":"La réponse est calculée","open-source-aion.7df600af96":"Où vont vos informations","open-source-aion.399483042a":"Être interrogé est une moitié. L'autre moitié est ce qu'on vous dit quand la réponse est non","open-source-aion.0b5b7048ea":"VOUS CHOISISSEZ","open-source-aion.f12c755afa":"IL VOUS DEMANDE","open-source-aion.300453f44e":"DEUX SENS","open-source-aion.6debd2c487":"Cela ressemble à une petite courtoisie. C'est la différence entre une règle à laquelle vous avez consenti et une règle que quelqu'un a devinée en votre nom, à la hâte, un jour où vous n'étiez pas là. La devinette est la manière habituelle de faire les choses, et personne n'est jamais informé que cela s'est produit. Demander coûte un instant et retire la devinette du dossier.","open-source-aion.6f02dd9d43":"AION s'arrête et demande. Il vous cite les mots dont il n'est pas sûr, expose les deux lectures en langage clair, pose une question avec votre propre phrase à l'intérieur, et attend. Vous choisissez. Rien n'est décidé pendant que la question est ouverte.","open-source-aion.0ccfcd0de4":"Ce qui change","open-source-aion.b3124516ab":"« Annuler si le retard dépasse une heure. » Un retard de soixante-quinze minutes dépasse-t-il une heure, ou les heures sont-elles comptées entières, donc soixante-quinze minutes font une heure et une heure ne dépasse pas une heure ? Les deux lectures sont un anglais ordinaire. Elles ne sont pas d'accord sur exactement un cas, et ce cas va se présenter.","open-source-aion.4449c95cf9":"signifient deux choses, il demande","open-source-aion.75ca04ac1b":"Si votre phrase pouvait","open-source-aion.2297deb89a":"Lorsque votre phrase n'est pas claire","open-source-aion.32cf0852b8":"Une phrase peut aussi vouloir dire deux choses à la fois, et cela mérite qu'on s'y arrête","open-source-aion.b5d2541ad8":"PAS DE JARGON","open-source-aion.3b7c198e57":"ELLE REVIENT","open-source-aion.c4cc4b9845":"VOS PROPRES MOTS","open-source-aion.5c9a5c3396":"Et quand la même phrase est relue, elle produit exactement la même règle, car rien dans AION n'apprend, ne dérive ou n'a une meilleure idée entre-temps. Une règle que vous avez acceptée une fois reste la règle que vous avez acceptée, et la personne qui la reçoit lit votre phrase plutôt que le résumé de quelqu'un d'autre. Rien en cours de route ne la transforme en mots d'autres personnes.","open-source-aion.ba41f25c15":"Deux choses découlent du fait de conserver la phrase. Vous pouvez savoir si elle a été comprise le jour où vous l'avez écrite, en la lisant, au lieu de le découvrir à partir d'un incident un an plus tard.","open-source-aion.c19473d784":"Écrivez la règle en mots ordinaires et AION conserve ces mots. Cela ressemble à une petite courtoisie jusqu'au jour où cela compte : des mois plus tard, quand quelque chose est arrêté à cause de cette règle, la phrase que vous avez écrite revient en haut de l'explication, dans les mots que vous avez choisis.","open-source-aion.4c0e51d183":"vous le diriez à voix haute","open-source-aion.dcf65c0f8a":"Écrivez la règle comme","open-source-aion.e1a651b90e":"Dire ce que vous voulez","open-source-aion.beda6f7681":"Refaire un calcul nécessite que le calcul soit écrit. Il en va de même pour une règle, et la vôtre peut être une phrase","open-source-aion.ef6371cd2e":"ELLE S'ARRÊTE","open-source-aion.47ce22a1f7":"ÉTAPE PAR ÉTAPE","open-source-aion.9195df51f1":"UNE SECONDE LECTURE","open-source-aion.b66352de76":"L'arrêt est la moitié importante. N'importe quoi peut être d'accord avec vous. Quelque chose qui s'arrêtera et pointera la ligne vaut la peine d'être possédé, et il y en a très peu.","open-source-aion.e04fafc8fc":"AION refait le calcul de la colonne. Pas pour les factures, mais pour le type de travail plus difficile que font les machines lorsqu'elles décident que quelque chose est autorisé, sûr ou impossible, lorsqu'elles construisent quelque chose, lorsqu'elles exécutent quelque chose en votre nom, ou lorsqu'elles déterminent ce qui se passerait avant que quelqu'un ne l'essaie. Il lit le travail que la première machine a écrit, refait chaque étape lui-même, et s'arrête à la première qu'il ne peut pas faire aboutir.","open-source-aion.b55b759c73":"Quand une facture semble erronée, vous ne discutez pas pour savoir si le total est correct. Vous refaites le calcul de la colonne vous-même. Si vous obtenez le même nombre, le total tient. Si vous vous arrêtez à la quatrième ligne parce qu'elle ne fonctionne pas, vous pouvez dire exactement quelle ligne, et l'argument se termine en une phrase.","open-source-aion.59141b0dfa":"au lieu de vous croire sur parole","open-source-aion.fa22d5033b":"Quelqu'un refait le calcul","open-source-aion.333a6c87f2":"un changement produit un ensemble affecté et une file d'attente, pas une réinterprétation silencieuse du passé","open-source-aion.0eecb96558":"sont cinq faits","open-source-aion.59e22ed738":"produit, signé, vérifié, accepté et toujours compatible","open-source-aion.d78c662e5b":"vérifié, pas supposé","open-source-aion.5b44284acd":"toujours compatible avec","open-source-aion.cc4bc74f90":"avec une version de contrat","open-source-aion.3bb51eeea5":"accepté sous","open-source-aion.72954f75cf":"avec une version de vérificateur","open-source-aion.3741770a87":"vérifié par","open-source-aion.7fc7c8aef9":"sur un hachage de l'ordre de dérivation","open-source-aion.d2a7817a72":"signé par","open-source-aion.9d7c5e8097":"avec une version","open-source-aion.8fffa5fcb8":"produit par","open-source-aion.756e62f03a":"Un résultat, cinq faits","open-source-aion.2b8be4ecd3":"L'attribution repose sur son propre mécanisme : une signature Ed25519 sur un hachage BLAKE3 de l'ordre de dérivation, avec un nonce monotone et un horodatage, vérifiable avec la clé publique du producteur. L'acceptation repose sur un autre, portant l'identité et la version du vérificateur et la version de contrat qu'il a accordée. Quand quelque chose en dessous bouge, une règle de vérification, un schéma de certificat, une politique, une règle de compilateur, un contrat d'exécution ou une version de modèle, les certificats qui ont déclaré une dépendance à cela forment un ensemble affecté et sont mis en file d'attente pour être revérifiés, avec le composant modifié nommé.","open-source-aion.6b8169d142":"Un verdict seul est un mot sans auteur. Cinq faits qui se réduisent habituellement à un seul sont ici séparés : qui a produit un résultat, qui l'a signé, ce qui l'a vérifié, sous quel contrat il a été accepté, et s'il est toujours compatible avec les règles telles qu'elles se présentent aujourd'hui. Ce sont cinq questions différentes et quatre d'entre elles survivent à un changement de fournisseur.","open-source-aion.2cd4b335f4":"Un vérificateur le vérifie.","open-source-aion.d15fbc9566":"Rien n'est vérifié.","open-source-aion.481d0fc02c":"Tout l'argument","open-source-aion.ca75c84634":"Chaque certificat ici aboutit à un enregistrement, et l'enregistrement garde ses faits séparés","open-source-aion.3ecc9abb23":"EXTENSIBLE","open-source-aion.8112bd91bc":"ISOLÉ","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Là où une vérification unique est vraiment trop grande pour une seule machine, le travail se divise en cubes entre les machines avec un partage de clauses entre eux, et un résultat composé n'est accepté qu'après une vérification de couverture : deux cubes ne peuvent pas corriger le même ensemble de littéraux, et ce qu'ils couvrent doit s'additionner pour couvrir tout l'espace plutôt que presque tout. Une jointure à laquelle il manque un élément est un refus, ce qui est la même discipline qu'ailleurs dans le produit. Au-delà, un registre de vérificateurs et une API d'extension permettent de vérifier ici une famille de certificats que personne ici n'a écrite.","open-source-aion.04cd68c7fb":"Seules deux choses peuvent franchir une frontière et les deux sont configurées par vous. Un cluster fonctionne sur des adresses que vous définissez. Un producteur externe est un programme que vous installez et exécutez comme un processus local. Il n'y a aucun modèle hébergé dans la chaîne, et aucun de nos services ne peut être indisponible pendant votre incident ou changer sous vous selon le calendrier de publication de quelqu'un d'autre. Un parc isolé vérifie exactement comme un parc connecté, car la vérification n'a jamais eu besoin du producteur en premier lieu.","open-source-aion.ac1913e46c":"Deux voies de sortie, et les deux sont les vôtres","open-source-aion.c2193fefe2":"La vérification est un calcul comme un autre, et l'endroit où il s'exécute est votre décision. AION publie le 1er septembre 2026 : une fois le dépôt public, liez la bibliothèque, exécutez la commande ou mettez en place le service dans votre propre périmètre. La construction par défaut ne comporte aucun client sortant, donc vérifier un certificat ne nécessite aucun compte, aucun fournisseur et aucune route hors de la machine sur laquelle il a commencé.","open-source-aion.72d09c5994":"un service, ou une enclave","open-source-aion.f8ac38e647":"Une bibliothèque, une commande","open-source-aion.604918db00":"Où la vérification s'exécute","open-source-aion.c07ebfbab5":"Une archive reste immobile. La dernière question est de savoir où tout cela s'exécute réellement","open-source-aion.d34941b7ce":"INDEXÉ","open-source-aion.79ae623ce9":"ADRESSÉ PAR CONTENU","open-source-aion.0f7d1ea9ca":"La partie qui doit être construite plutôt que supposée est l'index. Lorsqu'une règle de vérification, un schéma de certificat, une politique, une règle de compilation, un contrat d'exécution ou une version de modèle change, les certificats dont la validité dépendait du composant modifié sont trouvés par recherche, et non en scannant tout et en espérant. Les dépendances sont déclarées dans l'enveloppe, donc l'ensemble affecté est une requête et la file de re-vérification en est le résultat, avec le composant modifié nommé pour chaque entrée. L'alternative que la plupart des organisations ont réellement est un choix entre tout réexaminer et ne rien réexaminer.","open-source-aion.144711734a":"Le stockage n'est utile que si un lecteur qui est passé à autre chose peut encore l'ouvrir, donc chaque enregistrement porte la signature du producteur, l'identité et la version du vérificateur qui l'a accepté, la version du contrat sous laquelle il a été accepté, et les dépendances sur lesquelles il repose. Un test de compatibilité s'exécute au retour.","open-source-aion.22f96be502":"L'ensemble affecté est un véritable index","open-source-aion.a1b04ec691":"Les certificats qui valent la peine d'être conservés sont ceux dont on vous reparlera des années plus tard. AION stocke un certificat accepté de manière compacte et par adresse de contenu : identifiants conservés comme différences, motifs répétés encodés par longueur, sous-preuves identiques hachées et stockées une seule fois, et le tout adressé par son contenu plutôt que par l'endroit où quelqu'un l'a classé. Une adresse de contenu permet à un lecteur qui est passé à autre chose de retrouver le même certificat et de le vérifier une seconde fois, des années après l'exécution qui l'a produit.","open-source-aion.c017c017d7":"et il reste re-vérifiable","open-source-aion.2e10b84b57":"Un certificat reste petit","open-source-aion.9263a81467":"Stocker ce qui a été vérifié","open-source-aion.1f029bacad":"Six familles, et chacune d'elles aboutit dans le même enregistrement","open-source-aion.1deb4d4a29":"TRAJECTOIRE","open-source-aion.f8d5b44c34":"INVARIANTS","open-source-aion.52dd7acef9":"CONFORMITÉ","open-source-aion.24d7374cb9":"Garder ces éléments séparés est ce qui rend les deux premiers utiles. Une assurance qui implique silencieusement le troisième est celle qui échoue devant un régulateur, et un certificat qui nomme sa propre limite est celui qui survit à la réunion.","open-source-aion.0e4ffe42fa":"Trois questions différentes sont posées à une simulation, et être honnête sur lesquelles des deux sont répondables ici est tout le contenu professionnel de la section. La conformité d'exécution demande si le modèle, les paramètres et la configuration déclarés ont réellement produit cette trajectoire, et cela est vérifiable. La vérification de propriétés mathématiques demande si les invariants énoncés tiennent sur l'exécution, et cela est également vérifiable, avec un échec retournant la trace plutôt qu'un verdict. La validité physique demande si le modèle représente le monde réel, et aucun certificat ne l'établit. Elle appartient au propriétaire du modèle, et elle lui appartient définitivement.","open-source-aion.bb70d13ca4":"La ligne dont cette section est prudente","open-source-aion.ac558913f9":"Un résultat de simulation est utilisé pour prendre des décisions longtemps après la fin de l'exécution. Le certificat porte l'identité du modèle et du FMU, l'ensemble de paramètres, l'état initial, la configuration du solveur, la séquence de pas de temps ou d'événements, les transitions d'état, les vérifications d'invariants effectuées, le statut de convergence ou de terminaison, le hachage de la trajectoire résultante, et une trace de contre-exemple lorsqu'une propriété échoue.","open-source-aion.1c9f5f0f21":"répond exactement à deux d'entre elles","open-source-aion.242c47d00a":"Trois questions, et cela","open-source-aion.a635f9edf3":"Twin et FMI, certifiés","open-source-aion.43f8bc442f":"L'exécution est une seule exécution d'une seule chose. Une simulation en fait des millions à la fois","open-source-aion.d3a968f797":"ID DE SORTIE","open-source-aion.d79014995c":"ATTESTÉ","open-source-aion.2fbbf64505":"CAPACITÉS","open-source-aion.51fd9d7843":"Le déterminisme est ce qui rend le reste vérifiable. Parce que les transitions sont déterministes étant donné le module, les entrées et les autorisations, un vérificateur peut les suivre sans ré-exécuter la charge de travail dans son environnement d'origine, et deux exécutions qui prétendent la même identité de sortie à partir des mêmes entrées soit concordent, soit pointent vers la transition où elles ont cessé de concorder. C'est une attestation d'exécution en pratique : ce qui a tourné, sous quelle autorité, vérifiable sans le ré-exécuter.","open-source-aion.0d0fd79859":"La plupart des questions posées sur une charge de travail après coup sont en réalité des questions sur son autorité. Qu'est-ce que cette chose pouvait atteindre pendant son exécution, et a-t-elle atteint autre chose. Un certificat qui porte les autorisations de capacités avec les transitions répond à cela sans que personne ne lise un journal, et il répond à quelqu'un qui n'exploite pas l'environnement d'exécution.","open-source-aion.890c61e134":"Pourquoi l'ensemble de capacités est le champ intéressant","open-source-aion.1331fa2052":"Un statut de sortie dit qu'une charge de travail s'est terminée. Le certificat d'exécution dit ce qui s'est terminé : l'identité de la charge de travail et du module, la version de l'environnement d'exécution, les autorisations de capacités qu'elle détenait, les entrées qu'elle a reçues, les transitions d'état déterministes qu'elle a subies, les limites de ressources dans lesquelles elle s'est exécutée, l'identité de la sortie qu'elle a produite, et si elle s'est terminée ou a été piégée. Chacun de ces champs peut répondre à une question ultérieure, sans revenir à la machine qui l'a exécutée.","open-source-aion.65576ef482":"sous quelles capacités","open-source-aion.74a9894f4f":"Ce qui a tourné, sur quoi, et","open-source-aion.eabc461dcf":"Selvedge, certifié","open-source-aion.b4792818f1":"Un artefact compilé doit encore s'exécuter quelque part, et cette exécution est également une affirmation","open-source-aion.414cbcc9ec":"PROVENANCE","open-source-aion.24466ece94":"SOURCE À ARTEFACT","open-source-aion.c81d361198":"Cette précision est ce qui rend l'artefact utile en aval. Dans un build réglementé, la question est rarement de savoir si un compilateur est bon. Elle est de savoir si ce binaire correspond à ce graphe source sous cette configuration d'optimisation, ce qui est une question qui a une réponse, et cette réponse voyage avec l'artefact plutôt que de vivre dans le système de build qui l'a produit. C'est ce que signifie la provenance de build en pratique : une affirmation sur cet artefact, vérifiable sans le système de build qui l'a créé.","open-source-aion.6c1fd4df2b":"La déclaration est la discipline. Un certificat n'affirme pas que chaque optimisation était correcte comme une seule affirmation indifférenciée, car cette affirmation n'est ni vérifiable ni vraie pour aucun compilateur réel. Il nomme exactement quelles propriétés de préservation ou d'équivalence il établit à travers quelles transformations, et le vérificateur vérifie celles-ci et ne rapporte rien d'autre.","open-source-aion.fd5ed4a1d8":"Des affirmations nommées, pas une affirmation globale","open-source-aion.82a76c947a":"Un compilateur vous remet un artefact et un statut de sortie. Le certificat de compilation porte ce que cet artefact est censé être : l'identité de la source ou du graphe dont il provient, la version du compilateur et de l'optimisation, la séquence de transformations appliquée, la préservation des types et de la forme à travers ces transformations, les noyaux sélectionnés, l'identité de l'artefact produit, et les vérifications d'équivalence ou d'invariants que le certificat déclare.","open-source-aion.06efebf0f5":"à propos de la source dont il provient","open-source-aion.3f208ecc5e":"Le binaire est aussi une affirmation","open-source-aion.716710e273":"Kera, certifié","open-source-aion.89572e64cc":"Une organisation peut être certifiée. Le compilateur qui a construit ce sur quoi elle tourne aussi","open-source-aion.502114d554":"REÇUS","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORITÉ","open-source-aion.965738574a":"La valeur apparaît lorsque l'opération est contestée. Une trace de workflow est le récit que l'organisation fait d'elle-même. Un certificat qu'un vérificateur indépendant a accepté, sous une version de contrat nommée, est une classe de preuve différente, et la différence est exactement celle que AION existe pour créer.","open-source-aion.f4652935ed":"Ceci est un certificat sur une opération gouvernée, pas sur ce qu'un agent pensait. Il règle les questions qu'on posera réellement à quelqu'un : si l'autorité existait au moment où l'action a été déclenchée, si la barrière qui aurait dû tenir a tenu, si l'approbation était attachée à l'action plutôt qu'à un message à proximité, et si les transitions d'état que le registre revendique sont celles que le contrat permet. Tout cela est vérifiable par machine, et aucune de ces vérifications ne nécessite l'accès à un modèle.","open-source-aion.be15814346":"Ce qu'il établit, et ce qu'il n'établit pas","open-source-aion.38d3c11f27":"Un workflow terminé est une affirmation comme une autre. Le certificat organisationnel établit l'opération gouvernée qui a réellement eu lieu : l'objectif et la version de politique sous laquelle elle a fonctionné, l'organisation formée, les rôles et l'autorité résolus, les tâches exécutées et leurs transitions, les barrières de politique franchies, les approbations attachées, les actions effectuées, et les reçus enregistrés.","open-source-aion.65a8805f19":"d'avoir suivi son contrat","open-source-aion.f827cfbcbf":"Une opération peut être prouvée","open-source-aion.07fba05892":"Nexus, certifié","open-source-aion.c6fd961235":"Le raisonnement est un producteur. Une organisation d'agents est une chose plus difficile à certifier","open-source-aion.2764d46fd5":"AUCUN APPEL DE MODÈLE","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Le front end d'exigences en anglais appartient aussi ici, car un certificat de raisonnement n'est aussi vérifiable que la contrainte à son sommet. Une bibliothèque de motifs déterministe renvoie des conditions formelles classées par le nombre de phrases déclencheuses correspondantes, chacune portant sa lecture simple et les quantités sur lesquelles elle travaille, et lorsqu'une phrase porte réellement plus d'une lecture, elle soulève l'ambiguïté avec la question nommée plutôt que de la régler silencieusement.","open-source-aion.c4d7d27503":"En dessous se trouvent des producteurs des deux types, et ils sont acceptés par la même frontière. AION décide de la structure booléenne, de l'arithmétique de logique de différence, des mots bitvector et de l'égalité avec des fonctions non interprétées par lui-même, sur une recherche complète pilotée par conflit avec deux littéraux surveillés, une heuristique d'activité ordonnée par tas, des redémarrages géométriques et une suppression de clauses basée sur l'activité. Sur une réponse insatisfiable, il renvoie un noyau, qui nomme lesquelles de vos propres contraintes se battaient plutôt que de décrire la recherche qui les a trouvées. Un solveur externe s'exécute comme son propre processus et renvoie une preuve, et rien d'autre que ce fichier ne traverse entre les deux. Tout outil qui émet une preuve dans un format pour lequel AION porte un vérificateur est qualifié, cvc5 parmi eux, et la frontière est le format plutôt que le fournisseur.","open-source-aion.5264c1875d":"Producteurs, natifs et externes","open-source-aion.09b6611fc2":"Loom raisonne. Ce que AION vérifie, c'est l'artefact que le raisonnement laisse derrière lui : les contraintes qui étaient actives, les règles qui ont été appliquées, les sous-problèmes qui sont allés à un solveur, les certificats que ces solveurs ont renvoyés, les contradictions trouvées, les bornes qui ont clos une décision, et l'affirmation finalement assertée. Des artefacts computationnels explicites et des dérivations déclarées, vérifiés comme tels.","open-source-aion.2224f4889f":"la dérivation sur laquelle il repose","open-source-aion.1aceefa727":"Une conclusion arrive avec","open-source-aion.40e8df9cbd":"Loom, et les solveurs en dessous","open-source-aion.cbac360b09":"Les étapes booléennes et arithmétiques sont une famille. Le raisonnement est là où la pile commence","open-source-aion.9786d05f5a":"FUZZÉ","open-source-aion.a9bb80378b":"RE DÉRIVÉ","open-source-aion.0204e8b30c":"RÈGLE PAR RÈGLE","open-source-aion.a43c278b96":"Au niveau des clauses, chaque ajout est redérivé à partir des premiers principes : supposer la nouvelle clause fausse, propager les clauses citées par ses indices, et exiger la contradiction promise par ces indices. Lorsque la propagation seule ne l'impose pas, l'ajout passe à la condition plus stricte sur le littéral pivot nommé, contre chaque clause avec laquelle ce pivot pourrait résoudre, de sorte qu'une étape ne peut pas être validée en nommant un pivot que la clause ne contient pas. La formule et la preuve sont lues ligne par ligne, donc une preuve plus grande que la mémoire de la machine est quand même vérifiée de bout en bout. La propre suite d'AION est hostile à AION : un indice citant l'étape qu'il est censé justifier, deux étapes s'appuyant l'une sur l'autre, un pivot revendiqué mais absent, deux clauses sous un même identifiant, le marqueur de fin utilisé comme identifiant, une suppression d'une clause jamais ajoutée, et la même clause supprimée deux fois. Chaque lecteur qui touche un fichier écrit par quelqu'un d'autre est fuzzé contre un corpus ensemencé.","open-source-aion.13a29c20f0":"Trois conditions précèdent la vérification de règle à chaque étape, dans un ordre fixe : si l'étape se cite elle-même, si chaque numéro qu'elle cite est présent, et si l'un d'eux est numéroté au-dessus de l'étape qui le cite. Avant toutes les quatre, le fichier est scanné une fois pour un numéro d'étape répété. Seule une preuve dont chaque étape franchit tout cela atteint la dernière condition, qui est de savoir si le fichier se termine par une contradiction. Une dérivation qui s'épuise avec des littéraux encore présents a réussi tout le reste et est quand même refusée.","open-source-aion.f626b7a7da":"Sous la surface","open-source-aion.1a95f2e67d":"Les preuves par clauses de la famille LRAT, qui est SAT, et les preuves par règles du format Alethe, qui est SMT, sont la famille avec la plus longue histoire de tentatives de la vaincre, ce qui en fait la bonne à montrer. AION envoie chaque étape à la routine qui implémente sa règle, et un nom de règle sans rien derrière termine la lecture plutôt que de passer silencieusement, avec le numéro d'étape et la règle imprimés.","open-source-aion.8294eed416":"et une règle inconnue l'arrête","open-source-aion.9959b32cda":"Chaque étape passe quatre tests","open-source-aion.3821e115bc":"La famille avec des adversaires","open-source-aion.c415bc49f1":"La famille la plus ancienne est celle avec le plus d'adversaires, donc c'est celle à examiner en premier","open-source-aion.06d55361b1":"VERSIONNÉES","open-source-aion.bca8de5f5a":"NEUF FAMILLES","open-source-aion.187b58774c":"Les familles sont versionnées séparément pour la même raison. Un ensemble de règles peut se resserrer dans la famille logique sans perturber la famille de simulation, et l'ensemble de certificats affectés pour ce changement est exactement les enregistrements qui ont déclaré la version en cours de modification. Les neuf d'aujourd'hui sont la logique et la satisfiabilité, l'optimisation, le temporel et l'hyperpropriété, le raisonnement, l'organisationnel, la compilation, l'exécution à l'exécution, la simulation et FMI, et l'intégrité du stockage.","open-source-aion.ca4a7a3c63":"Enregistrer une famille est la façon dont un système qui n'existait pas quand AION a été écrit devient vérifiable par lui. L'enveloppe est déjà la même, la couche de stockage et la file de re-vérification fonctionnent déjà, et ce qu'une nouvelle famille doit fournir est un vérificateur et un ensemble de règles déclaré. Un logiciel tiers implémentant un contrat de certificat arrive par la même porte que n'importe lequel des nôtres.","open-source-aion.6581749da9":"Pourquoi c'est un registre plutôt qu'une liste","open-source-aion.c453f0b87d":"Une famille de certificats est un contrat nommé et versionné plutôt qu'un format de fichier. Chacune déclare son identité et sa version, le type de revendication qu'elle établit, les entrées qu'elle exige, comment la preuve ou le témoin est représenté, l'algorithme de vérification, l'ensemble de règles que ce vérificateur accepte, ses métadonnées de dépendance et de compatibilité, son rendu lisible par l'humain là où il en a un, et sa propre taxonomie de refus.","open-source-aion.29a8090d97":"et l'ensemble est extensible","open-source-aion.7dd9783a82":"Neuf familles, un registre","open-source-aion.f4c0c73854":"Le registre","open-source-aion.2b6d7305db":"Une vérification indépendante doit savoir quel type de certificat elle tient","open-source-aion.b4dee9d399":"AUCUNE REPRISE","open-source-aion.1ae37e9b3a":"AUCUNE LICENCE","open-source-aion.082414b331":"VÉRIFICATION BORNÉE","open-source-aion.85bcd01276":"Dans aucun de ces cas, le vérificateur n'a besoin de la recherche, des heuristiques, de l'état caché, des appels de modèle ou de l'environnement d'exécution du producteur. C'est ce qui rend la vérification indépendante abordable plutôt qu'aspirationnelle.","open-source-aion.73dc1e45ec":"L'asymétrie a la même forme dans chaque domaine, et il vaut la peine de la voir quatre fois. Une recherche pilotée par conflit peut tourner pendant des heures dans un espace que personne ne peut énumérer ; la preuve par clauses qu'elle émet est suivie ligne par ligne. Un compilateur peut effectuer des centaines de passes d'optimisation avec des heuristiques que personne en dehors de l'équipe ne comprend ; le certificat enregistre les revendications de préservation qui doivent tenir à travers elles. Une simulation peut s'exécuter sur des millions d'étapes ; le certificat fournit les points de contrôle, les transitions, les invariants et la trace qui rendent le résultat vérifiable. Une opération Nexus peut coordonner un grand nombre d'agents ; le certificat établit l'autorité, les transitions d'état, les approbations et les reçus d'action.","open-source-aion.3bcb80f6d9":"Ce que chaque producteur garde pour lui","open-source-aion.ceb0061493":"Le système qui a produit le résultat n'a pas le dernier mot sur la validité de son certificat. AION vérifie un artefact borné plutôt que de répéter le calcul coûteux, c'est pourquoi la vérification peut s'exécuter sur un ordinateur portable contre un travail qui a pris un week-end à un cluster, et pourquoi elle n'a besoin ni de la licence du producteur ni de sa machine. Le certificat fournit les points de contrôle que le vérificateur parcourt, donc le coût de la vérification suit la taille de l'artefact plutôt que la taille de la recherche derrière lui.","open-source-aion.69524cecfe":"et c'est tout le truc","open-source-aion.ee21bac231":"Vérifier n'est pas refaire","open-source-aion.396e9b624d":"La séparation architecturale","open-source-aion.504a1b0a8d":"Une enveloppe indique ce qui est arrivé. La question suivante est de savoir qui est autorisé à l'ouvrir","open-source-aion.a9ea7a518b":"UNE ENVELOPPE","open-source-aion.d7e877b15b":"HUIT CHAMPS","open-source-aion.34c043fc06":"Le champ de dépendance est celui que l'on sous-estime. Un certificat qui repose sur un autre certificat le nomme, de sorte qu'un refus ou un changement de schéma se propage à travers l'ensemble qui s'appuyait sur lui, plutôt que de s'arrêter au premier enregistrement que l'on regarde par hasard. C'est ce qui transforme un tas de résultats acceptés en quelque chose à partir de quoi on peut poser une question.","open-source-aion.7dc6226fd7":"Mettez les informations de routage dans la charge utile et chaque nouvelle famille de certificats devient une nouvelle intégration pour tous les acteurs en aval. Gardez-les à l'extérieur et la couche de stockage, le suivi de compatibilité, la file de re-vérification et le registre d'audit sont écrits une seule fois et fonctionnent pour des familles qui n'existaient pas lorsqu'ils ont été construits.","open-source-aion.48eb1ab2b4":"Pourquoi la séparation en vaut la peine","open-source-aion.419ad6edc1":"Un certificat de compilation et une preuve de clause n'ont rien en commun à l'intérieur, et ils arrivent dans la même enveloppe. Huit champs : la revendication, les entrées sur lesquelles elle a été établie, le producteur, la version du contrat, le type de certificat, la charge utile du certificat, les dépendances et la signature. Tout ce qui est spécifique à une famille se trouve dans la charge utile, et tout ce dont un vérificateur a besoin pour router, versionner et enregistrer l'élément se trouve à l'extérieur.","open-source-aion.03a195fded":"et huit champs à l'intérieur","open-source-aion.9895a4db76":"Chaque famille, une enveloppe","open-source-aion.33164fb254":"L'enveloppe commune","open-source-aion.315fae6edd":"Huit types de systèmes, huit types de revendications, et une enveloppe dans laquelle ils voyagent tous","open-source-aion.661f13bc63":"VÉRIFIÉ","open-source-aion.ea0dae37f4":"UN CERTIFICAT","open-source-aion.f07b84d4d2":"UNE REVENDICATION","open-source-aion.1edfca7587":"AION est ce deuxième programme. Il prend un certificat produit par un inconnu, reconstruit ce qu'il revendique, et là où une revendication ne se reconstruit pas, il nomme l'élément, nomme la règle et s'arrête là. Un refus qui pointe vers la ligne 40 est une chose qu'un seul mot ne peut jamais être.","open-source-aion.4428102723":"Les méthodes formelles ont adopté cet arrangement il y a des décennies pour une seule raison. Le producteur écrit son travail, et un deuxième programme, beaucoup plus petit, relit ce travail. Le deuxième programme est celui qui mérite d'être construit avec soin, car il est assez petit pour être compris de bout en bout. Ce que fait AION, c'est sortir cet arrangement du monde des solveurs et en faire le contrat pour tout le reste : raisonnement, opérations d'agents, compilation, exécution, simulation.","open-source-aion.51edeceac1":"insatisfiable. compilé. terminé. sûr. optimal. politique respectée. simulation convergée. flux de travail approuvé. Huit systèmes, huit mots, et pas un seul ne porte la raison pour laquelle il est vrai. Le calcul avec preuve est l'alternative : le producteur garde le travail coûteux et émet un certificat à côté du résultat, et quelque chose qui n'a aucun intérêt dans la réponse vérifie ce certificat.","open-source-aion.d3571e9e01":"jusqu'à ce que quelqu'un le refasse","open-source-aion.03d9c22d95":"Un résultat n'est qu'une revendication","open-source-aion.dfc28595b4":"Pourquoi une seconde lecture existe","open-source-aion.3c6178c9cd":"À qui appartient le rapport","open-source-aion.42c21bbe27":"Ce qu'un cas tranche","open-source-aion.4d05bcfcbf":"Ce qu'un refus vous permet de faire","open-source-aion.4c0a0d8ef3":"Les deux voies de sortie habituelles","open-source-aion.e097afe170":"Ce qui découle de sa conservation","open-source-aion.c9681d6875":"Ce qu'il fait réellement","open-source-aion.1ee58a7b8d":"D'où vient l'arrangement","open-source-aion.eec3b038bd":"attribution","open-source-aion.65279e1ecf":"vérification","oss-aion-adoption-paths.733a87e5fb":"Testez un parcours de décision","oss-aion-adoption-paths.34dfd13db9":"Exécutez un certificat d'exemple avant d'intégrer AION dans un parcours de décision en production.","oss-aion-adoption-paths.3f1d1c0d24":"Inspectez le certificat d'exemple fourni.","oss-aion-adoption-paths.a5339faf54":"Exécutez les preuves d'exemple fournies comme vérification.","oss-aion-adoption-paths.b38db2875a":"Vérifiez le même certificat avec aion check et un vérificateur compatible indépendant.","oss-aion-adoption-paths.0e42c62826":"Votre équipe d'évaluation","oss-aion-adoption-paths.ca15f8db66":"Intégrez-le dans un système","oss-aion-adoption-paths.e8219f1ea8":"Votre équipe logicielle existante lie la bibliothèque afin que les systèmes que vous exploitez déjà puissent transmettre un certificat avec chaque décision.","oss-aion-adoption-paths.91e2e7e34b":"Vos ingénieurs ajoutent AION à un système que vous exploitez déjà.","oss-aion-adoption-paths.96e8012ed9":"Chaque décision est alors accompagnée d'un certificat vérifiable.","oss-aion-adoption-paths.6e56d00bc7":"Aucun nouveau fournisseur ne s'interpose dans le parcours de cette décision.","oss-aion-adoption-paths.b0e0c85d36":"Votre équipe d'ingénierie","oss-aion-adoption-paths.4637a51566":"Utilisez-le lors d'un audit","oss-aion-adoption-paths.03b3d20015":"Un certificat produit précédemment peut être revérifié à tout moment avec l'outil en ligne de commande, sur votre propre matériel, hors ligne.","oss-aion-adoption-paths.8b6e7ae424":"Conservez le certificat produit lors de la prise de décision.","oss-aion-adoption-paths.ab48bfd890":"Revérifiez-le plus tard avec l'outil en ligne de commande, hors ligne.","oss-aion-adoption-paths.6fe516ffcf":"Transmettez le même enregistrement à un régulateur ou à un auditeur.","oss-aion-adoption-paths.4e64c95d9e":"Votre équipe de conformité","oss-aion-adoption-paths.6b5eb5323e":"Commencez par un parcours de décision","oss-aion-adoption-paths.1635f113ec":"Trois façons d'adopter","oss-aion-adoption-paths.5eef32f959":"Qui l'utilise","oss-aion-adoption-paths.29a9e7fa74":"Le certificat est identique quelle que soit la voie choisie.","oss-aion-adoption-paths.3e4f1a5e1b":"Une bibliothèque, un outil en ligne de commande","oss-aion-adoption-paths.tag.d59fec26d9":"Avant l'intégration","oss-aion-adoption-paths.tag.391b31405f":"Pour vos ingénieurs","oss-aion-adoption-paths.tag.6fd7b4f249":"Pour la conformité","oss-aion-archive-parts.cea57012da":"non compressé au-delà de la lecture","oss-aion-archive-parts.10f2f8d11a":"compressé pour l'étagère","oss-aion-archive-parts.0468a5b797":"ARCHIVE","oss-aion-archive-parts.bce5035461":"et un champ qui leur survit","oss-aion-archive-parts.bd678f55fe":"Quatre mouvements sur un certificat","oss-aion-archive-parts.44e396b17f":"Quel vérificateur l'a accepté, sous quelle version de contrat.","oss-aion-archive-parts.5348eece0f":"Vérificateur et contrat conservés","oss-aion-archive-parts.53229277ab":"Sous-preuves identiques stockées une fois et citées ensuite par hachage.","oss-aion-archive-parts.0f6513214f":"Sous-preuves hachées","oss-aion-archive-parts.76a7786a63":"Un motif répété stocké une fois, avec la longueur de sa répétition.","oss-aion-archive-parts.9e1a0f7aac":"Séquences compressées","oss-aion-archive-parts.d6f5880b44":"Chaque identifiant stocké comme sa distance depuis le dernier.","oss-aion-archive-parts.6b78716e70":"Identifiants comme écarts","oss-aion-archived-proof.5808299e06":"recherché, pas balayé","oss-aion-archived-proof.39241dfc0d":"Le reste est resté fermé, car l'index savait déjà qu'ils n'étaient pas affectés.","oss-aion-archived-proof.d84b2eb85d":"Neuf dépendances déclarées, deux onglets tirés, cinq certificats nommés.","oss-aion-archived-proof.c9269e3e61":"sept onglets sont restés fermés","oss-aion-archived-proof.6f13975269":"toujours compatible","oss-aion-archived-proof.8ec798a819":"règle r7","oss-aion-archived-proof.4b50837e2e":"en file d'attente pour être relu","oss-aion-archived-proof.2a858a12ec":"règle r7 remplacée dans le vérificateur 2.5.0","oss-aion-archived-proof.0b58a007b4":"avis de modification","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"même certificat","oss-aion-archived-proof.4b37dd07e6":"tel qu'archivé","oss-aion-archived-proof.39c9f8bf3a":"deux sous-preuves, une forme","oss-aion-archived-proof.8c28e2d0a9":"un bloc, conservé une fois","oss-aion-archived-proof.e75bd8054c":"identifiants comme lacunes","oss-aion-archived-proof.9bfe0da4af":"un fichier long","oss-aion-archived-proof.46dc2748fa":"tel que produit","oss-aion-archived-proof.b6a0714797":"identifiants illustratifs","oss-aion-archived-proof.16bb6017da":"deux sur cinq en file d'attente","oss-aion-archived-proof.884fa4a4de":"Un certificat, deux fois","oss-aion-archived-proof.11ed0e1dd4":"politique p9","oss-aion-archived-proof.1f776189b1":"schéma 2","oss-aion-archived-proof.ec690c70cd":"certificat d20c9b","oss-aion-archived-proof.a96a7e2f89":"certificat 1a55f0","oss-aion-archived-proof.b504f66e53":"modèle m1","oss-aion-archived-proof.fd6c33ce54":"contrat d'exécution 3.1","oss-aion-archived-proof.ff651ff51f":"règle du compilateur c1","oss-aion-archived-proof.d00ec63b0b":"certificat b4e187","oss-aion-archived-proof.e20acd4672":"certificat 3c90de","oss-aion-archived-proof.6d50cc6c2e":"certificat 7f21ab","oss-aion-archived-proof.5dd9b11122":"politique p2","oss-aion-archived-proof.70d70366cf":"schéma 4","oss-aion-archived-proof.d61ceadbdb":"contrat","oss-aion-archived-proof.e15436a2bb":"vérificateur","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Pourquoi ma demande a-t-elle été refusée par une machine ?","oss-aion-asked-questions.answer.refused":"AION montre le point exact où le contrôle s'est arrêté, et pourquoi, au lieu d'un mot inexpliqué.","oss-aion-asked-questions.question.check":"Puis-je vérifier moi-même une décision automatisée ?","oss-aion-asked-questions.answer.check":"Oui. AION refait chaque étape, sur la machine où vous êtes, sans compte et sans rien envoyer.","oss-aion-asked-questions.question.sent":"Mes informations sont-elles envoyées quelque part ?","oss-aion-asked-questions.answer.sent":"Non. La version par défaut n'a rien pour les envoyer. Le travail se fait là où vous êtes déjà.","oss-aion-asked-questions.chrome.path":"Les questions que soulève un refus","oss-aion-asked-questions.chrome.status":"répondues ouvertement","oss-aion-asked-questions.readout":"Voici les trois questions auxquelles cette page répond, ouvertement, sans compte et sans rien envoyer.","oss-aion-asked-questions.band":"Posée une fois, réponse ouverte","oss-aion-asked-you.ef80b73d6b":"plutôt qu'une surprise plus tard","oss-aion-asked-you.7e066a9db0":"une question maintenant","oss-aion-asked-you.fb041ecc2d":"Attend","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"et ce qui se passe ensuite","oss-aion-asked-you.fb5efec5ec":"Ce qu'elle demande","oss-aion-asked-you.ed223cb507":"Avec votre propre formulation à l'intérieur, plutôt qu'un formulaire à remplir.","oss-aion-asked-you.47ba586268":"Pose une question","oss-aion-asked-you.16bb2c320d":"En termes simples, pas comme un choix entre des symboles.","oss-aion-asked-you.590f0368a8":"Présente les deux lectures","oss-aion-asked-you.c0fedb51ee":"La partie de votre phrase dont elle n'est pas sûre, en vos mots.","oss-aion-asked-you.945cd96360":"Reprend les mots tels quels","oss-aion-asymmetry.109e612009":"la preuve voyage","oss-aion-asymmetry.54086b1730":"le travail reste chez le producteur","oss-aion-asymmetry.77e82797f7":"ASYMMÉTRIE","oss-aion-asymmetry.7f5d144dcb":"par producteur","oss-aion-asymmetry.d1abed327f":"Ce qui n'est pas reproduit","oss-aion-asymmetry.816e835f60":"Autorité, transitions, approbations, reçus.","oss-aion-asymmetry.4f83e60cbc":"De nombreux agents, qui coordonnent.","oss-aion-asymmetry.d946c1fc52":"Système d'agents","oss-aion-asymmetry.d978ba491a":"Points de contrôle, transitions et invariants.","oss-aion-asymmetry.b081bda78f":"Des millions d'étapes d'intégration.","oss-aion-asymmetry.8e34943c35":"Simulation","oss-aion-asymmetry.db98a95880":"Les revendications de préservation qui les traversent.","oss-aion-asymmetry.ce4dee4e4f":"Des centaines de passes et leurs heuristiques.","oss-aion-asymmetry.341a20e237":"Compilateur","oss-aion-asymmetry.d50aca2923":"Une dérivation suivie ligne par ligne.","oss-aion-asymmetry.c0644e2b00":"Une recherche dans un espace que personne n'énumère.","oss-aion-asymmetry.2212b12df6":"Solveur","oss-aion-audit-flow.0d368d5958":"Une décision est prise","oss-aion-audit-flow.723d4b8215":"Une IA aboutit à une réponse dans votre système.","oss-aion-audit-flow.60616f24a0":"Un certificat est conservé","oss-aion-audit-flow.319012d052":"Le raisonnement est consigné sous forme de preuve portable.","oss-aion-audit-flow.b6e0507002":"Il est revérifié","oss-aion-audit-flow.060bdf8393":"Quiconque relance la vérification hors ligne, sur sa propre machine.","oss-aion-audit-flow.549ee9a7f2":"L'auditeur l'accepte","oss-aion-audit-flow.45d8142b03":"Des preuves qu'ils vérifient, pas une promesse qu'ils doivent croire.","oss-aion-audit-flow.29a5795456":"Vous transmettez des journaux et espérez qu'ils soient acceptés.","oss-aion-audit-flow.691576c10d":"Vous remettez un certificat que l'auditeur vérifie lui-même.","oss-aion-audit-flow.4f25ce109b":"L'explication est verrouillée à un seul fournisseur.","oss-aion-audit-flow.17092b76ad":"Les formats de preuve standard garantissent que le certificat reste vérifiable au-delà du fournisseur et de l'environnement d'origine.","oss-aion-audit-flow.4cb1b63499":"La preuve est revérifiée sur une infrastructure que vous ne contrôlez pas.","oss-aion-audit-flow.c0baf00a21":"La preuve est revérifiée hors ligne, sur du matériel que vous contrôlez.","oss-aion-audit-flow.1574ac4dc4":"De la décision à la preuve acceptée","oss-aion-audit-flow.0fc25779d4":"Sans preuve vérifiable","oss-aion-audit-flow.4b32d8f574":"Avec AION","oss-aion-audit-flow.effbb773a5":"Lors de l'audit, vous produisez des preuves, pas des assurances.","oss-aion-audit-flow.630840198f":"Vérification indépendante","oss-aion-broken-case.b2d44d537d":"deux éléments de travail","oss-aion-broken-case.21a5e37384":"Il est bien dit que quelqu'un doit maintenant en choisir un.","oss-aion-broken-case.446dd52366":"Le cas ne précise pas dans lequel de ces deux vous vous trouvez.","oss-aion-broken-case.1592f95dfc":"celui qui possède la spécification","oss-aion-broken-case.5350b811e8":"Tout le monde le savait et personne ne l'a jamais écrit, c'est pourquoi le cas a pu être trouvé du tout. Le travail consiste donc à écrire la contrainte manquante.","oss-aion-broken-case.7e1ad0c117":"une nouvelle tentative ne peut pas avoir lieu ici avec un solde nul","oss-aion-broken-case.e2acc6be4b":"cela peut-il se produire ici ?","oss-aion-broken-case.70cf0e9d6e":"l'équipe qui l'exploite","oss-aion-broken-case.f4418abec4":"La règle est donc correcte et le système est erroné. Le travail consiste à modifier le système.","oss-aion-broken-case.7ebf5ee2c1":"trois nouvelles tentatives avec un solde nul est un lundi ordinaire","oss-aion-broken-case.818db6fde5":"le mode par lots permet au maximum deux nouvelles tentatives","oss-aion-broken-case.9ad82bcd1a":"aucune nouvelle tentative tant que le solde est nul","oss-aion-broken-case.db09c40b94":"conditions qu'il viole","oss-aion-broken-case.1a01155586":"La spécification ne tient pas. Voici une situation dans laquelle elle ne tient pas, écrite.","oss-aion-broken-case.bb5f480b82":"le cas, tel qu'il revient","oss-aion-broken-case.8ba48b3c8c":"cas illustratif","oss-aion-broken-case.2a0ea29615":"un cas, deux propriétaires","oss-aion-broken-case.0efd66fc70":"Le cas qui l'a brisé","oss-aion-broken-case.fd12863535":"non","oss-aion-broken-case.fb360f9c09":"oui","oss-aion-broken-case.e7aef2e893":"le mode est par lots (type : texte)","oss-aion-broken-case.dcfad8c5bf":"le solde est 0 (type : entier)","oss-aion-broken-case.bbf98b54e9":"les nouvelles tentatives sont 3 (type : entier)","oss-aion-business-glyph.9c8c22f54d":"Auditable par conception","oss-aion-business-glyph.afd7103781":"Votre infrastructure","oss-aion-business-glyph.ea722c81af":"Européen","oss-aion-business-glyph.870c4d024a":"Formats portables","oss-aion-business-glyph.81c093497b":"Fermé par le certificat","oss-aion-business-glyph.862ee3b17a":"Exposition","oss-aion-business-glyph.6b5eb5323e":"Preuve jointe","oss-aion-business-glyph.b7a3f27883":"Risque éliminé","oss-aion-business-glyph.7ba75e0ac6":"Vérification des certificats des années plus tard","oss-aion-business-glyph.9f89ecaff5":"La session d'origine a disparu","oss-aion-business-glyph.33620369b5":"L'archive","oss-aion-business-glyph.7a71b6b89e":"Sur du matériel que vous contrôlez","oss-aion-business-glyph.e94a6d4bba":"Expliqué sur le matériel d'autrui","oss-aion-business-glyph.3eaad00bc0":"Les données","oss-aion-business-glyph.e20fee7c23":"Vérificateur séparé","oss-aion-business-glyph.9e3ee5bddf":"Le modèle d'origine toujours requis","oss-aion-business-glyph.5cb182685f":"Le vérificateur","oss-aion-business-glyph.c5d37b3ae0":"Un certificat que l'auditeur vérifie","oss-aion-business-glyph.6c4186cc8c":"Des journaux que vous espérez être acceptés","oss-aion-business-glyph.d51b35c242":"L'audit","oss-aion-cadence-banners.independent.eyebrow":"AION / vérification indépendante","oss-aion-cadence-banners.independent.lead":"Faites confiance à l'enveloppe","oss-aion-cadence-banners.independent.accent":"après qu'un autre vérificateur l'accepte","oss-aion-cadence-banners.independent.body.one":"Un certificat est utile car le vérificateur n'a pas besoin de l'environnement d'exécution du producteur. Il reçoit la règle déclarée, les entrées, le résultat et les preuves comme une seule enveloppe délimitée.","oss-aion-cadence-banners.independent.body.two":"La deuxième implémentation vérifie ces preuves par rapport au même contrat. L'accord constitue alors une preuve concernant le résultat, et non une réexécution du même chemin de code.","oss-aion-cadence-banners.independent.panel":"Enregistrement d'acceptation indépendant","oss-aion-cadence-banners.independent.tag":"VÉRIFIÉ SÉPARÉMENT","oss-aion-cadence-banners.independent.item.rule.label":"Règle déclarée","oss-aion-cadence-banners.independent.item.rule.detail":"L'exigence et la famille de certificats sont nommées.","oss-aion-cadence-banners.independent.item.rule.status":"PRÉSENTE","oss-aion-cadence-banners.independent.item.input.label":"Entrées délimitées","oss-aion-cadence-banners.independent.item.input.detail":"Les valeurs utilisées par la décision l'accompagnent.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Résultat revendiqué","oss-aion-cadence-banners.independent.item.result.detail":"Le résultat est énoncé avant le début de la vérification.","oss-aion-cadence-banners.independent.item.result.status":"DÉCLARÉ","oss-aion-cadence-banners.independent.item.verifier.label":"Vérificateur séparé","oss-aion-cadence-banners.independent.item.verifier.detail":"Une implémentation différente vérifie la même enveloppe.","oss-aion-cadence-banners.independent.item.verifier.status":"ACCEPTÉ","oss-aion-cadence-banners.independent.verdict":"les preuves survivent en dehors du système qui les a produites","oss-aion-cadence-banners.independent.footer":"la vérification franchit une frontière d'implémentation sans perdre le contrat","oss-aion-cadence-banners.refusal.eyebrow":"AION / contrat d'échec","oss-aion-cadence-banners.refusal.lead":"Une preuve échouée","oss-aion-cadence-banners.refusal.accent":"doit nommer la règle qu'elle n'a pas pu satisfaire","oss-aion-cadence-banners.refusal.body.one":"La vérification exacte n'est pas un simple feu vert ou rouge vague. Le vérificateur suit la conversion, l'arithmétique et les portes logiques déclarées dans l'ordre, puis s'arrête à la première condition invalide.","oss-aion-cadence-banners.refusal.body.two":"Ce refus fait partie des preuves. Il indique à l'appelant quelle hypothèse, échelle, terme ou garde a échoué avant qu'une étape ultérieure ne puisse masquer la cause.","oss-aion-cadence-banners.refusal.panel":"Première porte en échec","oss-aion-cadence-banners.refusal.tag":"REFUSÉ","oss-aion-cadence-banners.refusal.item.read.label":"Lire les valeurs déclarées","oss-aion-cadence-banners.refusal.item.read.detail":"Les entrées et l'identité de la règle sont fixées avant la vérification.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Appliquer la conversion déclarée","oss-aion-cadence-banners.refusal.item.scale.detail":"Aucun repli silencieux ne modifie le contrat arithmétique.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Évaluer chaque porte dans l'ordre","oss-aion-cadence-banners.refusal.item.check.detail":"La première condition invalide reste attribuable.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Retourner le refus nommé","oss-aion-cadence-banners.refusal.item.refuse.detail":"L'appelant reçoit la règle échouée et ses preuves.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"un refus est une preuve examinable, pas une erreur vide","oss-aion-cadence-banners.refusal.footer":"la première condition échouée reste visible pour le prochain examinateur","oss-aion-cadence-banners.certificates.eyebrow":"AION / chaîne de certificats","oss-aion-cadence-banners.certificates.lead":"Une décision","oss-aion-cadence-banners.certificates.accent":"peut porter plusieurs types de preuves","oss-aion-cadence-banners.certificates.body.one":"Le raisonnement, l'autorité organisationnelle, la compilation et l'exécution répondent à des questions différentes. Les traiter comme une seule assurance générique masquerait où une affirmation est solide et où un autre contrôle est encore nécessaire.","oss-aion-cadence-banners.certificates.body.two":"AION maintient les certificats distincts et les lie au même enregistrement de décision. Un examinateur peut suivre la chaîne sans confondre l'autorité avec l'arithmétique, ni une exécution réussie avec une règle approuvée.","oss-aion-cadence-banners.certificates.panel":"Voie de preuve de décision","oss-aion-cadence-banners.certificates.tag":"LIÉE","oss-aion-cadence-banners.certificates.item.reasoning.label":"Certificat de raisonnement","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Montre pourquoi la conclusion énoncée découle des prémisses.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Certificat d'autorité","oss-aion-cadence-banners.certificates.item.organisation.detail":"Nomme qui peut approuver ou effectuer l'action.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORITÉ","oss-aion-cadence-banners.certificates.item.compile.label":"Certificat de compilation","oss-aion-cadence-banners.certificates.item.compile.detail":"Lie la source, la transformation et l'artefact produit.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Certificat d'exécution","oss-aion-cadence-banners.certificates.item.execution.detail":"Enregistre ce qui a été exécuté, où et sous quelles entrées.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"chaque affirmation conserve la famille de certificats qui peut réellement la soutenir","oss-aion-cadence-banners.certificates.footer":"les preuves liées restent suffisamment spécifiques pour être contestées","oss-aion-cadence-banners.recheck.eyebrow":"AION / un résultat que vous pouvez revoir","oss-aion-cadence-banners.recheck.lead":"La même règle","oss-aion-cadence-banners.recheck.accent":"peut être vérifiée à nouveau plus tard","oss-aion-cadence-banners.recheck.body.one":"La phrase, le sens choisi et le délai restent attachés au résultat. Vous pouvez voir ce qui a été décidé et combien de temps la décision reste valide sans envoyer le matériel ailleurs.","oss-aion-cadence-banners.recheck.body.two":"Lorsque la règle ou la date change, l'enregistrement identifie ce qui nécessite une nouvelle vérification. La réponse précédente reste visible au lieu d'être silencieusement remplacée.","oss-aion-cadence-banners.recheck.panel":"Ce que la revérification suit","oss-aion-cadence-banners.recheck.tag":"RÉPÉTABLE","oss-aion-cadence-banners.recheck.item.sentence.label":"Votre phrase d'origine","oss-aion-cadence-banners.recheck.item.sentence.detail":"Le libellé reste à côté de l'interprétation.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Le sens retenu","oss-aion-cadence-banners.recheck.item.rule.detail":"La règle appliquée est écrite clairement.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"La date de validité","oss-aion-cadence-banners.recheck.item.deadline.detail":"Le temps restant est visible avant l'expiration du résultat.","oss-aion-cadence-banners.recheck.item.deadline.status":"VISIBLE","oss-aion-cadence-banners.recheck.item.result.label":"Un nouveau contrôle","oss-aion-cadence-banners.recheck.item.result.detail":"Les mêmes preuves peuvent être évaluées à nouveau.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"vous pouvez revenir sur la réponse sans perdre la raison qui la sous-tend","oss-aion-cadence-banners.recheck.footer":"l'enregistrement conserve ensemble les mots, la règle et la date","oss-aion-cadence-banners.supplier.eyebrow":"AION / preuves fournisseur","oss-aion-cadence-banners.supplier.lead":"Une réponse du fournisseur","oss-aion-cadence-banners.supplier.accent":"devrait arriver avec un élément vérifiable","oss-aion-cadence-banners.supplier.body.one":"Un certificat sépare le résultat de l'outil du fournisseur. Il indique ce qui a été vérifié, quelle famille de preuves s'applique et quels intrants et artefacts appartiennent à la revendication.","oss-aion-cadence-banners.supplier.body.two":"Votre équipe peut conserver ces preuves et utiliser un autre vérificateur. La revue ne dépend plus de l'accès au service d'origine ni de la demande au fournisseur de recréer l'exécution.","oss-aion-cadence-banners.supplier.panel":"Preuves reçues avec le résultat","oss-aion-cadence-banners.supplier.tag":"PORTABLE","oss-aion-cadence-banners.supplier.item.claim.label":"Revendication du fournisseur","oss-aion-cadence-banners.supplier.item.claim.detail":"Le résultat et sa portée sont énoncés explicitement.","oss-aion-cadence-banners.supplier.item.claim.status":"REÇU","oss-aion-cadence-banners.supplier.item.certificate.label":"Enveloppe du certificat","oss-aion-cadence-banners.supplier.item.certificate.detail":"Les preuves et les identifiants accompagnent la revendication.","oss-aion-cadence-banners.supplier.item.certificate.status":"JOINT","oss-aion-cadence-banners.supplier.item.coverage.label":"Déclaration de couverture","oss-aion-cadence-banners.supplier.item.coverage.detail":"La famille de certificats indique ce qu'elle peut établir.","oss-aion-cadence-banners.supplier.item.coverage.status":"CADRÉ","oss-aion-cadence-banners.supplier.item.checker.label":"Vérificateur indépendant","oss-aion-cadence-banners.supplier.item.checker.detail":"Votre côté vérifie les preuves sans le producteur.","oss-aion-cadence-banners.supplier.item.checker.status":"DISPONIBLE","oss-aion-cadence-banners.supplier.verdict":"les preuves restent utiles après la fin de l'exécution du fournisseur","oss-aion-cadence-banners.supplier.footer":"un résultat vérifiable est plus facile à conserver, comparer et contester","oss-aion-cadence-banners.boundary.eyebrow":"AION / revue contrôlée","oss-aion-cadence-banners.boundary.lead":"La revue reste à l'intérieur","oss-aion-cadence-banners.boundary.accent":"des limites fixées par votre organisation","oss-aion-cadence-banners.boundary.body.one":"Le dossier, la règle et le certificat peuvent être vérifiés là où ils se trouvent déjà. La vérification locale évite de transformer une revue en une autre voie de divulgation pour le matériel examiné.","oss-aion-cadence-banners.boundary.body.two":"L'enregistrement nomme toujours la propriété établie et les preuves utilisées. Garder les données sur site ne signifie pas renoncer à une piste d'audit attribuable.","oss-aion-cadence-banners.boundary.panel":"Voie de revue sur site","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Ouvrir le dossier conservé","oss-aion-cadence-banners.boundary.item.case.detail":"Le matériel source reste dans son environnement existant.","oss-aion-cadence-banners.boundary.item.case.status":"SUR SITE","oss-aion-cadence-banners.boundary.item.property.label":"Sélectionner la revendication à vérifier","oss-aion-cadence-banners.boundary.item.property.detail":"La portée du certificat reste explicite.","oss-aion-cadence-banners.boundary.item.property.status":"CADRÉ","oss-aion-cadence-banners.boundary.item.perimeter.label":"Exécuter dans le périmètre","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Aucun service sortant n'est requis pour la vérification.","oss-aion-cadence-banners.boundary.item.perimeter.status":"CONTENU","oss-aion-cadence-banners.boundary.item.record.label":"Conserver l'enregistrement de la revue","oss-aion-cadence-banners.boundary.item.record.detail":"Intrants, vérificateur et résultat restent attribuables.","oss-aion-cadence-banners.boundary.item.record.status":"ENREGISTRÉ","oss-aion-cadence-banners.boundary.verdict":"les preuves peuvent être vérifiées sans créer un nouveau transfert de données","oss-aion-cadence-banners.boundary.footer":"l'exécution locale et les preuves consultables appartiennent au même contrôle","oss-aion-case-fields.ce69e76708":"un cas lance une décision","oss-aion-case-fields.9a83c048c3":"un verdict clôt une vérification","oss-aion-case-fields.afc58d4c40":"le premier à échouer, par son nom","oss-aion-case-fields.3bc6a69e80":"le solde doit dépasser zéro avant une nouvelle tentative","oss-aion-case-fields.4e0285b28b":"condition non respectée","oss-aion-case-fields.4e0af55321":"CONTRE-EXEMPLE","oss-aion-case-fields.344daefb37":"Un cas, en entier","oss-aion-case-fields.62e0ec394a":"les valeurs, et leur type","oss-aion-case-fields.7f01fe787c":"lot","oss-aion-checked-not-rerun.dd5b6cbe2b":"une fusion, une absence","oss-aion-checked-not-rerun.846a719bdc":"La dernière ligne n'a pas d'équivalent, quel qu'en soit le prix.","oss-aion-checked-not-rerun.6c26a05ac4":"Cinq des sept partent et deux d'entre elles fusionnent.","oss-aion-checked-not-rerun.4f01efffc8":"lu par quelqu'un qui n'a jamais tenu leur logiciel","oss-aion-checked-not-rerun.a70205a694":"comparé à celui du prochain trimestre","oss-aion-checked-not-rerun.0d85e26645":"archivé avec la décision qu'il soutenait","oss-aion-checked-not-rerun.ffc7dbc2ad":"ce que vous détenez ensuite","oss-aion-checked-not-rerun.d6124c1aee":"rien sur la gauche ne produit cela","oss-aion-checked-not-rerun.9b9252883d":"le certificat lui-même","oss-aion-checked-not-rerun.0bfa7a3bd8":"les entrées déclarées et le contrat","oss-aion-checked-not-rerun.d7f7f555ad":"la revendication","oss-aion-checked-not-rerun.527c7f544a":"trois choses","oss-aion-checked-not-rerun.f8a34d2942":"pour vérifier leur certificat","oss-aion-checked-not-rerun.2a20acacc2":"sept choses","oss-aion-checked-not-rerun.a94f90b8e9":"pour reproduire leur système","oss-aion-checked-not-rerun.d2eae1af1f":"même assurance, deux voies","oss-aion-checked-not-rerun.87f754c087":"cinq frappés, un absent","oss-aion-checked-not-rerun.2a62bb8028":"ce que chaque voie exige","oss-aion-checked-not-rerun.35d7d25591":"si cela tient toujours après le changement","oss-aion-checked-not-rerun.6cd8ba818d":"sur quelles données","oss-aion-checked-not-rerun.96f39a5e7d":"par rapport à quelle version de l'ensemble de règles","oss-aion-checked-not-rerun.c8d59ae061":"quelles conditions ont été vérifiées","oss-aion-checked-not-rerun.b028b89ea7":"leur assistance","oss-aion-checked-not-rerun.c03c2fce6e":"une machine de taille adéquate","oss-aion-checked-not-rerun.867d12b7ad":"les données d'entrée","oss-aion-checked-not-rerun.717e42eb01":"leur fichier de configuration","oss-aion-checked-not-rerun.935b145c44":"un système d'exploitation compatible","oss-aion-checked-not-rerun.fa15ad3da2":"la version exacte qu'ils ont utilisée","oss-aion-checked-not-rerun.5990a1ec89":"une licence pour leur logiciel","oss-aion-compile-cert.b1991b0d44":"donc un refus pointe vers un seul","oss-aion-compile-cert.85edd85611":"les revendications sont nommées individuellement","oss-aion-compile-cert.6e8814b9a0":"Ce qui est sorti, par adresse de contenu, lié à tout ce qui précède.","oss-aion-compile-cert.a41732e051":"Identité de l'artefact","oss-aion-compile-cert.6d4151d7a5":"Ce qui est entré, par adresse de contenu plutôt que par nom de fichier.","oss-aion-compile-cert.7204133281":"Identité de la source ou du graphe","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"et ce qu'elle revendique à propos de chacun","oss-aion-compile-cert.0bcab6c465":"Ce que le certificat nomme","oss-aion-compile-cert.027f7ee7d1":"Quelles propriétés ce certificat établit à travers eux.","oss-aion-compile-cert.8906f98ae0":"Préservation déclarée","oss-aion-compile-cert.d186ea41e2":"Les passes appliquées, dans l'ordre où elles ont été appliquées.","oss-aion-compile-cert.66ad6a206e":"Séquence de transformation","oss-aion-compile-cert.ebb0c953d1":"Quelle build, à quelle configuration d'optimisation.","oss-aion-compile-cert.691f87f640":"Compilateur et optimisation","oss-aion-console.5d71265e50":"Vérifier un certificat de preuve. Pas de solveur, pas de réseau.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Vérification de la preuve : proof.alethe","oss-aion-console.1016f1bcf3":"Format : Alethe","oss-aion-console.70142f344c":"Analyse : OK","oss-aion-console.8455c5ceeb":"La preuve comporte N étapes","oss-aion-console.fc539fcf62":"Vérification de la preuve : RÉUSSIE","oss-aion-console.88f6db402f":"Temps de vérification : Nms","oss-aion-console.4f437cea65":"Votre vérificateur l'a confirmé. Sortie 0. Rien n'a été envoyé à l'extérieur.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Lire le certificat","oss-aion-console.0cef7497bf":"Le vérificateur ouvre le fichier de preuve qui vous a été remis. Il ne nécessite rien d'autre : ni poids de modèle, ni connexion fournisseur, ni internet.","oss-aion-console.830903eaf6":"Parcourir chaque étape","oss-aion-console.6ce1fb843f":"Chaque déduction est rejouée par rapport aux prémisses qu'elle cite. LRAT inclut des indices de propagation d'unités, donc le parcours est linéaire en fonction de la longueur de la preuve.","oss-aion-console.1044fbcb06":"Accepter ou rejeter","oss-aion-console.cb4e501f7a":"Si chaque étape est valide, le vérificateur affiche RÉUSSIE et sort avec le code 0. Si une étape ne l'est pas, il nomme l'échec et sort avec un code non nul. Il n'y a pas d'entre-deux.","oss-aion-console.b568d47f2e":"Entrée","oss-aion-console.df73f614f5":"Un fichier de preuve","oss-aion-console.0562f32dc5":"Dépendances","oss-aion-console.7334b0e2cf":"Aucune au moment de la vérification","oss-aion-console.64ae43e8fe":"Coût","oss-aion-console.660020f41a":"Linéaire en fonction de la longueur de la preuve","oss-aion-console.5faa59d4bc":"Résultat","oss-aion-console.de76d16078":"RÉUSSIE ou échec nommé","oss-aion-console.76d6562c0a":"La vérification","oss-aion-console.edabf74eb3":"Une seule commande lit la preuve et","oss-aion-console.d161c0634a":"l'accepte ou la rejette","oss-aion-console.a997e63df7":"Le vérificateur est indépendant du solveur. Remettez-lui un certificat et votre propre vérificateur\n          le confirme ou le rejette, hors ligne, sans accès au moteur qui l'a produit.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"vérificateur hors ligne","oss-aion-console.6b5eb5323e":"Vérificateur indépendant","oss-aion-console.165cb4a2fd":"N étapes et Nms sont des espaces réservés : les chiffres réels proviennent de la preuve que vous vérifiez, pas\n              de nous. La surface de commande est réelle, aion check analyse, parcourt et rapporte RÉUSSIE.","oss-aion-console.b8fae1a1a1":"AION / vérification de preuve","oss-aion-consumer-glyph.dccc2b6aff":"Aucune connexion Internet nécessaire","oss-aion-consumer-glyph.22c2234e11":"Fabriqué en Europe","oss-aion-consumer-glyph.75f527181b":"Vérifiable plus tard","oss-aion-consumer-glyph.94651c6eb5":"Un second assistant le vérifie","oss-aion-consumer-glyph.b9fefb3f5b":"Cela semble correct","oss-aion-consumer-glyph.fb447dd18d":"Votre reçu","oss-aion-consumer-glyph.49a8e53c77":"La machine répond","oss-aion-consumer-glyph.f5ad0f0059":"Oui, et voici pourquoi","oss-aion-consumer-glyph.7011b1a621":"La réponse","oss-aion-consumer-glyph.07d0cfac8b":"Étape par étape, par écrit","oss-aion-consumer-glyph.5bcd26af49":"Comment cela a été obtenu","oss-aion-consumer-glyph.8afc953f7f":"Est-ce adapté à moi ?","oss-aion-consumer-glyph.d79cce547d":"La question","oss-aion-coverage-join.fa5284c04d":"court est court","oss-aion-coverage-join.d04fa188df":"Quatorze ne représente pas la totalité, donc la jointure est refusée plutôt qu'arrondie.","oss-aion-coverage-join.0b67159da5":"Seize cellules comptabilisées, et le résultat composé est accepté.","oss-aion-coverage-join.7142d70e45":"composition refusée, couverture insuffisante","oss-aion-coverage-join.245fbeffee":"pas une erreur d'arrondi. Une région que personne n'a regardée.","oss-aion-coverage-join.1df8f3c0e7":"14 sur 16","oss-aion-coverage-join.1c1d6ac8f1":"deux cellules que personne n'a regardées","oss-aion-coverage-join.f0833f7fc6":"la même jointure, un cube manquant","oss-aion-coverage-join.db8d5bf534":"composition acceptée","oss-aion-coverage-join.558480e414":"16 sur 16","oss-aion-coverage-join.26f1b36edc":"chaque cellule comptabilisée","oss-aion-coverage-join.39cd7fa9c4":"quatre cubes","oss-aion-coverage-join.bb2dba7602":"cubes illustratifs","oss-aion-coverage-join.a4d76ddfc7":"couverture insuffisante de deux cellules","oss-aion-coverage-join.e4445ac125":"Une vérification de fractionnement","oss-aion-coverage-join.186c8cd284":"La version que vous détenez ne change pas sous vos yeux.","oss-aion-coverage-join.9daf9699cc":"la version","oss-aion-coverage-join.66506ab77b":"Aucun modèle n'est appelé.","oss-aion-coverage-join.f2250926d2":"Rien ne franchit la frontière.","oss-aion-coverage-join.3110d06249":"ce qui franchit","oss-aion-coverage-join.0bd87fb406":"Aucun processeur sur ce chemin.","oss-aion-coverage-join.1fa5b0500c":"ni a, ni b, ni c","oss-aion-coverage-join.898fae3bdc":"ni a, ni b, c","oss-aion-coverage-join.a8f663af2d":"ni a, b","oss-aion-coverage-join.bee9689def":"quatre machines, une réponse","oss-aion-coverage-join.3ea0cf3ca7":"adresses que vous définissez","oss-aion-coverage-join.7b9e33922c":"un service","oss-aion-coverage-join.17819009bd":"une invocation","oss-aion-coverage-join.2c4d8b9dd8":"une commande","oss-aion-coverage-join.5a78e04d95":"lié dans","oss-aion-coverage-join.985e108737":"une bibliothèque","oss-aion-coverage-join.1d06a0d76f":"modèle","oss-aion-coverage-join.8eab5a6dbb":"processeur","oss-aion-coverage-table.356f85e809":"un contrat d'acheminement et de routage AION","oss-aion-coverage-table.4f52f572dd":"sept sorties de producteurs","oss-aion-coverage-table.2a268cd632":"SEPT PRODUCTEURS","oss-aion-coverage-table.8351372237":"sortie d'abord, vérificateur choisi par famille de certificats","oss-aion-coverage-table.b7d5fe11a0":"Ce que laissent derrière eux les sept producteurs","oss-aion-coverage-table.f31a7c9011":"Solveur","oss-aion-coverage-table.a194f815cb":"Réalisable, irréalisable ou optimal","oss-aion-coverage-table.7ec93e2d31":"Preuve, modèle, noyau, témoin ou borne","oss-aion-coverage-table.651e0f73b2":"Vérificateur de solveur spécifique à la famille","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Une conclusion issue des contraintes déclarées","oss-aion-coverage-table.9ac60dc1a8":"Dérivation des contraintes et preuves de solveur renvoyées","oss-aion-coverage-table.d5ef792d46":"Vérificateur de raisonnement Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Une opération gouvernée terminée","oss-aion-coverage-table.70d43be1ea":"Autorité, politique, approbations, transitions et reçus","oss-aion-coverage-table.5372a8e90f":"Vérificateur organisationnel Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Un artefact compilé","oss-aion-coverage-table.1f3e5d7c89":"Graphe source, transformations, invariants et identité de l'artefact","oss-aion-coverage-table.86ca1bd031":"Vérificateur de compilation Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Une charge de travail exécutée","oss-aion-coverage-table.24f1ac9e33":"Module, entrées, octrois de capacités, transitions, limites et sortie","oss-aion-coverage-table.0f9ea21c74":"Vérificateur d'exécution Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Une trajectoire simulée","oss-aion-coverage-table.ef85239d10":"Identité du modèle, paramètres, état, points de contrôle, invariants et hachage de trajectoire","oss-aion-coverage-table.c5b7fe3198":"Vérificateur de simulation et FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Une exécution FMU terminée","oss-aion-coverage-table.8f5753fba0":"Identité FMU, configuration, étapes, événements, convergence et trace","oss-aion-coverage-table.4d64b5bbaf":"Vérificateur de simulation et FMI","oss-aion-coverage-table.7d1ab3c6e0":"Preuve :","oss-aion-coverage-table.4e5bc7d129":"Vérificateur :","oss-aion-days-left.545fa01eea":"et cela est indiqué avant le dernier jour","oss-aion-days-left.eaa861cef8":"la même règle, lue quatre fois","oss-aion-days-left.2017bddab0":"Demandez n'importe quel jour et la même règle fait le calcul. Rien dans la quatrième lecture\n          n'est plus fort que la première, seulement plus petit.","oss-aion-days-left.81b20537a7":"espace restant, en jours","oss-aion-days-left.0526dbf682":"L'HORLOGE","oss-aion-days-left.2f29339cb6":"la même horloge, à quatre jours d'intervalle","oss-aion-days-left.47a76d1261":"Une demande, quatre lectures","oss-aion-days-left.9dd1fe0fd2":"26 sur 30","oss-aion-days-left.f4c6daac2a":"jour 26","oss-aion-days-left.62f21454ca":"22 sur 30","oss-aion-days-left.4ad399ed8a":"jour 22","oss-aion-days-left.ae5a29afae":"16 sur 30","oss-aion-days-left.195b05cbbd":"jour 16","oss-aion-days-left.d31b7d0f91":"8 sur 30","oss-aion-days-left.185b76515a":"jour 8","oss-aion-days-left.2dd2bed725":"aujourd'hui","oss-aion-dispute-parts.65edc28a9d":"le panneau et la décision appartiennent à votre propre processus, et l'artefact ne bouge pas","oss-aion-dispute-parts.e56cf65ada":"et ce n'est pas le tribunal","oss-aion-dispute-parts.37f322f735":"il fournit les preuves,","oss-aion-dispute-parts.7b7570d892":"la décision","oss-aion-dispute-parts.52e3685580":"la fenêtre","oss-aion-dispute-parts.7de929b394":"le panneau","oss-aion-dispute-parts.2eba0fb6ad":"ce que votre propre processus possède","oss-aion-dispute-parts.ea4031d789":"quel vérificateur, quelle version","oss-aion-dispute-parts.93be71a61d":"le contrat","oss-aion-dispute-parts.48b63234e3":"nommé plutôt que résumé","oss-aion-dispute-parts.cced6746e2":"le point de défaillance","oss-aion-dispute-parts.2c9e8d06dd":"reproductible par n'importe qui","oss-aion-dispute-parts.2e02032e1d":"la vérification","oss-aion-dispute-parts.804e9af218":"producteur et signature intacts","oss-aion-dispute-parts.69506051d5":"conservé tel qu'accepté","oss-aion-dispute-parts.6b578cc32e":"le certificat","oss-aion-dispute-parts.21df0b2530":"Ce que AION apporte","oss-aion-dispute-parts.4029dc5f44":"Il conserve le\n            certificat tel qu'il a été accepté. Il conserve l'attribution, donc qui a produit le résultat\n            survit à un changement de prestataire. Il reproduit la vérification à la demande, par n'importe qui,\n            sans le producteur. Il identifie le point de défaillance précis plutôt que de renvoyer un\n            verdict. Et il montre quel vérificateur a accepté le résultat et sous quelle version du\n            contrat. Le panneau, la fenêtre et la décision appartiennent au processus que votre\n            organisation exécute déjà. AION fournit l'artefact dont ce processus débat.","oss-aion-dispute-parts.434ae4f1d6":"Le rôle d'AION dans cette situation est étroit et c'est la partie utile.","oss-aion-dispute-parts.3eb5567b60":"Le travail produit par une partie et utilisé par une autre finit par susciter un désaccord\n            sur sa qualité. Ce qui le tranche n'est presque jamais la force de l'argumentation. C'est\n            l'existence d'un artefact que les deux parties peuvent examiner et qu'aucune ne peut\n            modifier, et dans la plupart des litiges, les enregistrements qui permettraient de régler la question\n            sont détenus par l'une des deux parties.","oss-aion-dispute-parts.2ccc6715e9":"Pas un meilleur argument.","oss-aion-dispute-parts.aa0d5ae0e6":"Un litige a besoin de preuves.","oss-aion-dispute-parts.b4b6237893":"Quand quelqu'un n'est pas d'accord","oss-aion-dispute-parts.eec3b038bd":"attribution","oss-aion-dispute-parts.100ec4462d":"preuves","oss-aion-envelope-fields.cfc233d284":"l'enveloppe ne l'est jamais","oss-aion-envelope-fields.1c80a87a33":"la charge utile est spécifique à la famille","oss-aion-envelope-fields.d85cb39036":"la famille, qui décide du vérificateur","oss-aion-envelope-fields.a975c5af10":"Type de certificat","oss-aion-envelope-fields.4282e3d696":"nommé, jamais implicite","oss-aion-envelope-fields.0562f32dc5":"Dépendances","oss-aion-envelope-fields.ca2dc8737d":"quel système, quelle version","oss-aion-envelope-fields.7b7194967f":"Producteur","oss-aion-envelope-fields.f33f785291":"contre quoi il a été fait, et quelle version","oss-aion-envelope-fields.404e7d3e00":"Entrées et contrat","oss-aion-envelope-fields.93a29173f5":"identifiant, et une charge utile ou son hachage","oss-aion-envelope-fields.dc4e08a408":"Revendication","oss-aion-envelope-fields.78e789d605":"CONTRAT","oss-aion-envelope-fields.d12a9ca770":"hors de la charge utile, chaque famille","oss-aion-envelope-fields.f18dee6041":"L'enveloppe","oss-aion-envelope-fields.f07e5a8156":"charge utile","oss-aion-evidence.cbf668da60":"Journaux","oss-aion-evidence.28e06c789a":"Un journal montre que le système fonctionnait. Il ne montre pas pourquoi la réponse a été obtenue, et un journal peut être modifié discrètement.","oss-aion-evidence.c637aebe3a":"Opaque","oss-aion-evidence.5c3fc92e3f":"Un score de confiance","oss-aion-evidence.fd3c76543b":"Un nombre résumant un état interne. Deux systèmes peuvent afficher le même score et parvenir à des conclusions opposées sur la même entrée.","oss-aion-evidence.16f3dacf52":"Aucune dérivation","oss-aion-evidence.7f34e37f1b":"Une explication auto-générée","oss-aion-evidence.361b70a63e":"Écrite par le même modèle qui a pris la décision. Il corrige son propre travail, elle ne peut donc pas constituer une preuve indépendante.","oss-aion-evidence.782acc59ce":"Circulaire","oss-aion-evidence.477416bf24":"Faire confiance au fournisseur","oss-aion-evidence.1e84c62138":"Lorsqu'un régulateur, un patient ou un tribunal demande « montrez votre travail », une promesse de niveau de service n'est pas une réponse qu'ils peuvent vérifier.","oss-aion-evidence.76afe0e09f":"Invérifiable","oss-aion-evidence.06f2d5f1a8":"Un certificat, pas une affirmation","oss-aion-evidence.cdcc6f712c":"AION émet un certificat de preuve en même temps que la réponse. Le certificat liste chaque étape de raisonnement dans l'ordre où elle a été effectuée.","oss-aion-evidence.6d1c5f470b":"Vérifié par quelqu'un d'autre","oss-aion-evidence.cc65178dc5":"Un vérificateur distinct parcourt les étapes et les accepte ou les rejette. La partie qui pose la question l'exécute elle-même.","oss-aion-evidence.412a3b1e5e":"Re-exécutable plus tard","oss-aion-evidence.9082c552d2":"Le même certificat se vérifie de la même manière le mois prochain, sur une machine différente, sans accès au système d'origine.","oss-aion-evidence.1206578b48":"montrez votre travail","oss-aion-evidence.494beafd71":"la question d'audit","oss-aion-evidence.bba8b0753d":"preuve contre affirmation","oss-aion-evidence.00e2ca4c85":"Lorsqu'une décision d'IA parvient à un régulateur, à un patient ou à un dossier de sécurité, quelqu'un demande","oss-aion-evidence.1defdb9d85":"comment cette réponse a-t-elle été obtenue.","oss-aion-evidence.290a698043":"La plupart des organisations ne peuvent pas fournir une réponse\n          que la personne qui demande peut vérifier elle-même.","oss-aion-evidence.56f6624482":"Pas une preuve","oss-aion-evidence.a295517f40":"Ce qui est proposé aujourd'hui","oss-aion-evidence.7ea014de7b":"Preuve","oss-aion-evidence.4cb1cd3e53":"Ce que AION remet","oss-aion-evidence.2a36a263da":"La preuve n'est pas affirmée. La preuve est vérifiée.","oss-aion-evidence.e0a4c0a385":"La vérification indépendante est la seule réponse qu'un auditeur peut accepter.","oss-aion-exact-sum.21aaad8129":"un multiplicateur négatif est refusé avant que la somme ne soit prise, lors du premier contrôle","oss-aion-exact-sum.3b267c2a81":"aucun nombre à virgule flottante interne dans cette chaîne","oss-aion-exact-sum.1a43ebe28c":"donc le système est réfuté","oss-aion-exact-sum.452308dbcd":"constante restante","oss-aion-exact-sum.35add33a7a":"ce qui reste","oss-aion-exact-sum.df326a819b":"les termes en y s'annulent","oss-aion-exact-sum.dae482d4b2":"les termes en x s'annulent","oss-aion-exact-sum.c36d183406":"additionner les inégalités mises à l'échelle","oss-aion-exact-sum.79e4c9d3fa":"la mettre à l'échelle","oss-aion-exact-sum.c3c4b24b20":"les deux inégalités, tout d'un même côté","oss-aion-exact-sum.b6b4c73115":"La somme, en entier","oss-aion-exact-sum.c1c66bf52c":"Les conditions sont vérifiées dans l'ordre et chacune est un refus en soi. Un multiplicateur négatif est refusé avant qu'une somme ne soit prise, car une mise à l'échelle par un nombre négatif inverse l'inégalité. Une somme où un terme variable subsiste est refusée avec le terme survivant nommé. Une somme dont la constante restante n'est pas positive est refusée, car elle ne prouve rien. Un coefficient au-dessus de la garde de magnitude déclenche un débordement plutôt qu'un enroulement. Rien dans cette chaîne n'est une tolérance.","oss-aion-exact-sum.6efbacfc5b":"Une réfutation arithmétique est un ensemble de multiplicateurs. Écrivez chaque inégalité avec tout d'un même côté du signe, mettez-la à l'échelle, additionnez les inégalités mises à l'échelle, et si chaque terme variable s'annule et que ce qui reste est un nombre positif dit être au plus zéro, cela ne peut pas tenir, donc le système dont il provient non plus. AION accepte ces multiplicateurs à la frontière et les convertit en une représentation entière/point fixe adaptative déclarée avant de vérifier. Il stocke, accumule et ne calcule aucune valeur à virgule flottante en interne, et n'a pas de repli à virgule flottante. La fraction reste imprimée ici parce qu'elle rend la contradiction lisible ; le contrôle est régi par sa conversion et son échelle déclarées.","oss-aion-exact-sum.31934abfaa":"Sa conversion déclare l'échelle.","oss-aion-exact-sum.a3caf489e5":"Un tiers n'est pas 0,333.","oss-aion-exact-sum.15e6a906dd":"Arithmétique adaptative à point fixe déclarée","oss-aion-exact-sum.108a35964a":"la somme dit 11/6 <= 0, ce qui est faux,","oss-aion-exact-sum.6045546490":"y - x + 1/3 <= 0","oss-aion-exact-sum.a9171dcc84":"x - y + 3/2 <= 0","oss-aion-exact-sum.0df9336e46":"3y - 3x + 1 <= 0","oss-aion-exact-sum.022fb6347f":"2x - 2y + 3 <= 0","oss-aion-exact-sum.fb360f9c09":"oui","oss-aion-exact-sum.c4c6c57253":"positif","oss-aion-exact-sum.b55e22fe78":"exact","oss-aion-exec-cert.6a230011ab":"quelque chose d'autre le vérifie","oss-aion-exec-cert.2c14724b1b":"l'exécution l'a produit","oss-aion-exec-cert.b07722ef0c":"la limite","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"module à produire","oss-aion-exec-cert.a7b63abc02":"Ce que porte le certificat","oss-aion-exec-cert.e1bbfaa783":"L'identité de ce qui est sorti, et s'il a piégé.","oss-aion-exec-cert.59871c9494":"Sortie et statut","oss-aion-exec-cert.ffb779a5c3":"Les limites dans lesquelles il s'est exécuté, en tant que bornes plutôt qu'observations.","oss-aion-exec-cert.ffbc724f07":"Enveloppe de ressources","oss-aion-exec-cert.273c1da325":"Déterministe, étant donné le module, les entrées et les autorisations.","oss-aion-exec-cert.acee491c99":"Transitions d'état","oss-aion-exec-cert.eab885bbb2":"Ce qu'il était autorisé à atteindre, déclaré avant son exécution.","oss-aion-exec-cert.dc009dc166":"Octrois de capacités","oss-aion-exec-cert.6f3eb29822":"Quel module, par adresse de contenu, à quelle version d'exécution.","oss-aion-exec-cert.c201b4ae89":"Identité du module","oss-aion-executed-under.6b6dab207c":"Ce que le certificat autorise","oss-aion-executed-under.1fcfedc78a":"ce qu'il pourrait atteindre","oss-aion-executed-under.0338c5441d":"La question après coup est l'autorité, et le certificat la porte.","oss-aion-executed-under.bc70ed4db9":"Quatre concessions accordées et trois refusées.","oss-aion-executed-under.6f9d76b8c0":"Les transitions sont déterministes étant donné le module, les entrées et les concessions, donc tout\n            cela a été suivi sans jamais exécuter la charge de travail.","oss-aion-executed-under.e044b5f419":"L'identité déclarée par le certificat n'est pas l'identité produite par les transitions, donc l'exécution\n            est refusée à la sortie. Tout ce qui précède a été reconstruit exactement.","oss-aion-executed-under.7f0cc64ae8":"transitions déterministes","oss-aion-executed-under.5fa4050afc":"ensemble de capacités, déclaré avant l'exécution","oss-aion-executed-under.844e9ed357":"horloge, observation non définie","oss-aion-executed-under.b3ccbb4041":"plafond mémoire 512 Mio","oss-aion-executed-under.1fe892a96f":"un socket, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"lecture /var/lib/claims","oss-aion-executed-under.7a02a68db0":"non détenue","oss-aion-executed-under.685706abcf":"identité de sortie différente","oss-aion-executed-under.6287ff317a":"produite","oss-aion-executed-under.0baff051a0":"déclarée","oss-aion-executed-under.1029d67644":"sortie","oss-aion-executed-under.fbd34a2b6e":"module","oss-aion-executed-under.910e029098":"illustratif","oss-aion-executed-under.df6fe4f714":"la capacité de persister au-delà de l'exécution","oss-aion-executed-under.b51590997b":"toute autre adresse","oss-aion-executed-under.e4e545e3b7":"tout le reste du système de fichiers","oss-aion-fact-strip.0dc9622797":"Chaque figure remonte au dépôt AION.","oss-aion-fact-strip.b7feece146":"AION en chiffres","oss-aion-fact-strip.fedec331ff":"Bibliothèque, CLI et benchmark dans un même espace de travail","oss-aion-fact-strip.13a24daf03":"Implémentation","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Virgule fixe binaire, entière et adaptative ; aucun calcul en virgule flottante interne","oss-aion-fact-strip.5688a0448c":"Noyau arithmétique","oss-aion-fact-strip.0cae74747c":"Exact","oss-aion-fact-strip.379c055f01":"Linéaire en longueur de preuve, hors ligne, sans solveur","oss-aion-fact-strip.04ce84fb6e":"Coût de vérification","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe et une forme intermédiaire unifiée","oss-aion-fact-strip.e6c67de15e":"Formats de preuve","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Théories logiques","oss-aion-failure-notice.d8164c5dd8":"un constat, pas un différend","oss-aion-failure-notice.159098bbba":"L'autre commence une dispute que personne ne peut clore.","oss-aion-failure-notice.814fc5cd4f":"L'un de ceux-ci peut être envoyé à un fournisseur un mardi après-midi.","oss-aion-failure-notice.2e6ea3eaa5":"ne peut être assigné, ne peut être tarifé, ne peut être contesté avec précision","oss-aion-failure-notice.e896d6344f":"vérification échouée","oss-aion-failure-notice.587270a2e4":"où va chaque champ","oss-aion-failure-notice.ba0f0eb3fe":"prémisse absente","oss-aion-failure-notice.0c2a7f4aef":"étape 415","oss-aion-failure-notice.55daa4a2ea":"les quatre dernières étapes lues","oss-aion-failure-notice.ca548ed152":"17 mars 2026","oss-aion-failure-notice.3c05b129e2":"aucun verdict rendu","oss-aion-failure-notice.aa943932a5":"avis de refus","oss-aion-failure-notice.28fb3d519e":"reconstruit","oss-aion-failure-notice.bd370d1b6f":"étape","oss-aion-failure-notice.910e029098":"illustratif","oss-aion-failure-notice.e6b658331e":"et personne n'est accusé","oss-aion-failure-notice.94002635cd":"vous, s'il s'agit d'une question de cadrage","oss-aion-failure-notice.7ab178c9a0":"le genre","oss-aion-failure-notice.0d967ff8f3":"fournit la prémisse manquante","oss-aion-failure-notice.b54c9b7359":"celui qui a produit l'étape","oss-aion-failure-notice.94a94ba774":"la raison","oss-aion-failure-notice.ba3167e426":"confirme ce que cette étape devrait faire","oss-aion-failure-notice.32ec97b69b":"le propriétaire de votre ensemble de règles","oss-aion-failure-notice.b543dc38fd":"la règle","oss-aion-failure-notice.ad866c4aef":"ouvre le fichier à l'étape 415","oss-aion-failure-notice.06fddd86f6":"l'équipe de preuve du fournisseur","oss-aion-failure-notice.aecf66bfac":"l'emplacement","oss-aion-failure-notice.1d7794c5e2":"aucun verdict rendu pour cette preuve","oss-aion-failure-notice.f4475dac73":"conséquence","oss-aion-failure-notice.566c7d73a0":"l'étape cite une prémisse absente du fichier","oss-aion-failure-notice.7947e92e3c":"raison","oss-aion-failure-notice.5dfa011717":"règle, résolution","oss-aion-failure-notice.64463af8a3":"414 accepté","oss-aion-failure-notice.c21ce4fb88":"étapes lues","oss-aion-failure-notice.2bf60a2164":"l'analyse de conflit du fournisseur pour l'ensemble de règles de mars","oss-aion-failure-notice.335ce16b3f":"sujet","oss-aion-family-board.ca8f6715c8":"versionné séparément","oss-aion-family-board.e794ff76c1":"un plan en attente d'un vérificateur","oss-aion-family-board.0f2e82af82":"Neuf familles partagent une même enveloppe et rien d'autre. La dixième est","oss-aion-family-board.ca6c6dda8e":"un vérificateur, et un ensemble de règles déclaré","oss-aion-family-board.c53186083e":"la dixième","oss-aion-family-board.0020359543":"transition invalide, subvention dépassée, sortie incohérente,\n              trace incomplète","oss-aion-family-board.187225126d":"taxonomie des refus","oss-aion-family-board.fac6c7230f":"rejouer les transitions par rapport aux\n              limites et à l'ensemble de règles déclarés","oss-aion-family-board.155e6164fc":"algorithme de vérification","oss-aion-family-board.924f583920":"une séquence de transitions déterministe avec des identités d'entrée et de\n              sortie","oss-aion-family-board.c0e6022509":"représentation de la preuve","oss-aion-family-board.927f6ddf1e":"cette charge de travail a été exécutée sous ces subventions et a atteint cette sortie","oss-aion-family-board.79bf5b0ee6":"type de revendication","oss-aion-family-board.131097a25c":"Exécution du runtime, v2","oss-aion-family-board.50b24e4d4c":"une plaque, ouverte","oss-aion-family-board.803aa98470":"que l'enregistrement stocké est celui accepté","oss-aion-family-board.3e71ceb1ca":"Intégrité du stockage","oss-aion-family-board.f8603f4710":"que le modèle déclaré a produit cette exécution","oss-aion-family-board.ccc3c9b41d":"Simulation et FMI","oss-aion-family-board.d0c6b470a4":"qu'elle a été exécutée dans les limites des subventions qui lui ont été accordées","oss-aion-family-board.dc37599f99":"Exécution du runtime","oss-aion-family-board.4f059da0be":"que l'artefact préserve la source","oss-aion-family-board.aad755de42":"Compilation","oss-aion-family-board.69ce9b9c4f":"que l'opération gouvernée a eu lieu","oss-aion-family-board.ed87ca5ca0":"Organisationnel","oss-aion-family-board.0dbf90d179":"que la dérivation déclarée reconstruit","oss-aion-family-board.e272c597fd":"Raisonnement","oss-aion-family-board.e79949ba43":"qu'une propriété est vérifiée sur plusieurs exécutions, pas une seule","oss-aion-family-board.bdb5a28846":"Temporel et hyperpropriété","oss-aion-family-board.b83c805a0a":"que rien de mieux n'existe dans les limites","oss-aion-family-board.c794704381":"Optimisation","oss-aion-family-board.ede1ae7e54":"qu'aucune affectation ne satisfait l'ensemble","oss-aion-family-board.a04ce90d06":"Logique et satisfiabilité","oss-aion-family-board.b98b54298f":"neuf enregistrées, une en attente","oss-aion-family-board.6253e9d668":"Le tableau des familles","oss-aion-family-board.910e029098":"illustratif","oss-aion-family-registry.6e32650bab":"et une version sur chacun d'eux","oss-aion-family-registry.dcd1f1fdc9":"quatre déclarations par famille","oss-aion-family-registry.3bc3fe987d":"Les échecs que cette famille peut renvoyer, chacun avec un emplacement.","oss-aion-family-registry.d129426d71":"Taxonomie des refus","oss-aion-family-registry.d4504f5b41":"Ce que le vérificateur exécute, et l'ensemble de règles qu'il accepte.","oss-aion-family-registry.52ab770040":"Algorithme de vérification","oss-aion-family-registry.4c9dd89c88":"Comment le témoin, la dérivation ou la trace est transporté.","oss-aion-family-registry.016fecd943":"Représentation de la preuve","oss-aion-family-registry.ab1e33179a":"Ce que cette famille établit, et ce qu'elle ne fait volontairement pas.","oss-aion-family-registry.8a547220fc":"Type de revendication","oss-aion-family-registry.37094b3cc5":"avant de pouvoir être vérifié","oss-aion-family-registry.b14e18379b":"REGISTRE","oss-aion-family-registry.b3e4281358":"Ce qu'une famille déclare","oss-aion-family-registry.7efea8ff96":"incomplet","oss-aion-family-registry.995fee1f1a":"non pris en charge","oss-aion-family-registry.81f344a768":"invalide","oss-aion-foreign-proof.4c43cb0de1":"aucune licence, aucun environnement","oss-aion-foreign-proof.9406c96fa7":"quatre lignes fines entre eux","oss-aion-foreign-proof.9fefe2d67f":"Quatre types de travail d'un côté, quatre objets lisibles de l'autre, et","oss-aion-foreign-proof.57802c0b4e":"Le vérificateur n'a jamais exécuté le côté gauche, et il n'est pas obligé de le faire.","oss-aion-foreign-proof.1dfc94b110":"un reçu","oss-aion-foreign-proof.cff5f15fed":"deux transitions","oss-aion-foreign-proof.d58f13fb52":"contrôle d'autorité","oss-aion-foreign-proof.24ef006723":"autorité et reçus","oss-aion-foreign-proof.933912faec":"agents, coordination","oss-aion-foreign-proof.2ae1de46da":"l'état reste dans l'enveloppe déclarée","oss-aion-foreign-proof.ed96565674":"points de contrôle et un invariant","oss-aion-foreign-proof.0ae689c7bd":"étapes d'intégration","oss-aion-foreign-proof.f9020659b6":"choix du noyau","oss-aion-foreign-proof.3e77a07952":"affirmations de préservation","oss-aion-foreign-proof.2bb64b9b5b":"passes d'optimisation","oss-aion-foreign-proof.c8b39aa910":"dérivation de clauses","oss-aion-foreign-proof.4da89bbc52":"recherche du solveur","oss-aion-foreign-proof.51339ff0ea":"les preuves, sur votre machine","oss-aion-foreign-proof.4f45bf808d":"le travail, sur le producteur","oss-aion-foreign-proof.c369931988":"quatre lignes, rien d'autre","oss-aion-foreign-proof.ec0b7e2c43":"Ce qui franchit la frontière","oss-aion-foreign-proof.44d74dd33f":"formes","oss-aion-foreign-proof.e7b1fff700":"types","oss-aion-foreign-proof.910e029098":"illustratif","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT et Alethe vérifient en temps linéaire hors ligne. DRAT est vérifié puis réduit en LRAT.\n            Unified convertit sans perte entre eux.","oss-aion-formats.14a628e6d3":"Vérifié par","oss-aion-formats.dda6ac27b9":"Vérifier","oss-aion-formats.34556fa12c":"Carte de format","oss-aion-formats.e6c67de15e":"Formats de preuve","oss-aion-formats.8a5e29e5bb":"conversion sans perte","oss-aion-formats.ddb7c01560":"une source, quatre formes","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# preuve intermédiaire unifiée","oss-aion-formats.0d3311a5dc":"convertisseur aion-proofs","oss-aion-formats.1f5124d90b":"Converti à l'exportation","oss-aion-formats.8c21b7e1f1":"La représentation interne qui convertit sans perte entre les autres.","oss-aion-formats.ebb8e8cf49":"Forme intermédiaire","oss-aion-formats.287fda8114":"Unifié","oss-aion-formats.6d56822b09":"(h1 h2))","oss-aion-formats.87d27a2d97":"t3 (cl Q) ","oss-aion-formats.6d3a4ab6e5":"(=> P Q))","oss-aion-formats.ec18650019":"cvc5, Carcara","oss-aion-formats.0cdb7c9a36":"Temps linéaire, hors ligne","oss-aion-formats.f6f7b642b0":"Le format communautaire SMT-LIB issu de la lignée cvc5 et veriT.","oss-aion-formats.4aa5db37af":"Preuve SMT","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" lignes d'ajout et de suppression drat","oss-aion-formats.f3ba7f38e9":"drat-trim en LRAT","oss-aion-formats.36f33c83a6":"Vérifié, puis réduit","oss-aion-formats.4745aebc97":"Ajout et suppression de clauses. Les vérificateurs de format réduisent en LRAT.","oss-aion-formats.154df3dc2f":"Certificat SAT","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" clause vide dérivée","oss-aion-formats.6fd630d612":" lrat avec indications d'unité-propagation","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Preuves de résolution standard de l'industrie pour le noyau propositionnel.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"un fichier qui ne se ferme jamais","oss-aion-four-gates.0ff8f0eb5a":"et un de plus à la fin","oss-aion-four-gates.a1ebd8379f":"avant l'étape 1","oss-aion-four-gates.b161dbb47d":"Le fichier est d'abord scanné pour un numéro d'étape répété.","oss-aion-four-gates.21e412d2d0":"Deux étapes, un numéro","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"et un avant chacune d'elles","oss-aion-four-gates.e74bdcd46a":"Quatre tests, dans cet ordre","oss-aion-four-gates.fef891bb33":"étape 15","oss-aion-four-gates.cc90eb3e73":"Aucune routine pour le nom. La lecture s'arrête plutôt que de sauter.","oss-aion-four-gates.787e8a8577":"Règle inconnue","oss-aion-four-gates.e70c55582f":"étape 52","oss-aion-four-gates.59446cbcf9":"Une prémisse qui est présente, mais numérotée au-dessus de l'étape qui la cite.","oss-aion-four-gates.f1604fe1aa":"Citée hors ordre","oss-aion-four-gates.a42f56e597":"étape 44","oss-aion-four-gates.371b9613cc":"Un numéro cité qui n'est nulle part dans le fichier.","oss-aion-four-gates.1d1369a316":"Prémisse absente","oss-aion-four-gates.e1391a7c80":"étape 31","oss-aion-four-gates.9a7512e955":"Une étape qui repose sur sa propre conclusion. Demandée en premier, pour chaque étape.","oss-aion-four-gates.7f30dfcc04":"Se cite elle-même","oss-aion-governed-operation.b0582e8559":"Une opération, vérifiée","oss-aion-governed-operation.8af7f1d469":"gouvernée, puis vérifiée","oss-aion-governed-operation.ada470c3d7":"Une chaîne et sa vérification sont deux autorités différentes.","oss-aion-governed-operation.90fba649e4":"Quatre éléments reconstruits, et le cinquième arrête la lecture.","oss-aion-governed-operation.ea8356461f":"pas dans ce certificat : ce que pensait un agent quelconque","oss-aion-governed-operation.2f68c232b4":"La version de la politique déclarée par le certificat ne porte pas la condition que cette passerelle\n                prétend avoir appliquée. L'opération est refusée à cet élément, et aucun verdict n'est\n                émis pour l'ensemble.","oss-aion-governed-operation.be51277bfd":"non atteint","oss-aion-governed-operation.57b160e317":"le passage du vérificateur, de sa propre autorité","oss-aion-governed-operation.26f017e3e6":"accepté, réf. 4471-b","oss-aion-governed-operation.34c3c00446":"reçu enregistré","oss-aion-governed-operation.159338740e":"instruction de paiement, système de grand livre","oss-aion-governed-operation.80f6148b56":"action effectuée","oss-aion-governed-operation.458c8c203d":"à l'action, pas à un message à proximité","oss-aion-governed-operation.1b4dcda6ba":"approbation jointe","oss-aion-governed-operation.303418bf06":"plus de 50 000 nécessite un deuxième approbateur","oss-aion-governed-operation.faf1f5eb4b":"passerelle de politique","oss-aion-governed-operation.557df801be":"transitions de tâches","oss-aion-governed-operation.b1c842256e":"agent de réclamation","oss-aion-governed-operation.59bef6c3e5":"autorité résolue","oss-aion-governed-operation.0639a9efd0":"quatre agents, portée inégale","oss-aion-governed-operation.8e44be8724":"organisation formée","oss-aion-governed-operation.139146ad26":"politique v4.2","oss-aion-governed-operation.8524f08438":"régler les réclamations des fournisseurs du trimestre","oss-aion-governed-operation.cab7375bdf":"l'opération, telle que Nexus l'a effectuée","oss-aion-governed-operation.82c8154dca":"refusé à la passerelle","oss-aion-governed-operation.a503bc1da2":"refusé","oss-aion-governed-operation.28fb3d519e":"reconstruit","oss-aion-governed-operation.45807bf2ec":"réglé","oss-aion-governed-operation.fb92f3f834":"évalué","oss-aion-governed-operation.590abaace4":"ouvert","oss-aion-governed-operation.d2dc873868":"objectif","oss-aion-governed-operation.910e029098":"illustratif","oss-aion-harness-fields.d5ad303466":"et un nombre que vous pouvez citer","oss-aion-harness-fields.5a31ca3c0f":"votre corpus, votre matériel","oss-aion-harness-fields.58664673b0":"Imprimé sur l'ensemble du corpus à la fin de l'exécution.","oss-aion-harness-fields.6197b910db":"Un compte correct","oss-aion-harness-fields.175226a475":"Comparé au statut enregistré dans le fichier lui-même.","oss-aion-harness-fields.d787e678da":"Réponse selon le statut","oss-aion-harness-fields.b5ec587356":"La recherche elle-même, par instance, sans être moyennée.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Temps de résolution","oss-aion-harness-fields.bec737ff93":"Durée de lecture du fichier, séparée de la résolution.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Temps d'analyse","oss-aion-harness-fields.20e5752f58":"Le pic de mémoire, pour qu'un plan de capacité ait un chiffre.","oss-aion-harness-fields.0f93e8ac09":"1,9 Go","oss-aion-harness-fields.2ecefe98c3":"Mémoire résidente maximale","oss-aion-harness-fields.b660370132":"un fichier de votre corpus","oss-aion-harness-fields.ec845d015d":"par instance, puis totalisé","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Ce qu'une exécution enregistre","oss-aion-harness-fields.b3cbdd75cb":"réfuté","oss-aion-harness-fields.48a3661d84":"statut","oss-aion-harness-fields.25dc282b5a":"réponse","oss-aion-harness-fields.a0299ff49d":"cas-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Résolution...","oss-aion-hero-glyph.3d08723a54":"Résultat : SAT","oss-aion-hero-glyph.9e1279af1f":"Modèle :","oss-aion-hero-glyph.45dcf6e46f":"  x = 1","oss-aion-hero-glyph.81ef4e711c":"  y = 3","oss-aion-hero-glyph.70f4daaa7f":"Temps : 4 ms","oss-aion-hero-glyph.138243f0f4":"Résultat : UNSAT","oss-aion-hero-glyph.a61b6226ca":"Preuve : 128 étapes","oss-aion-hero-glyph.41294a8dc8":"Preuve écrite dans : proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Vérification de la preuve : proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Analyse : OK","oss-aion-hero-glyph.27d28e3ca9":"La preuve comporte 128 étapes","oss-aion-hero-glyph.1ba94dea63":"Statistiques de la preuve :","oss-aion-hero-glyph.e1b3c4d7c5":"  Nombre total d'étapes : 128","oss-aion-hero-glyph.e30b86fef9":"  Étapes de résolution : 71","oss-aion-hero-glyph.8215376faf":"  Étapes arithmétiques : 24","oss-aion-hero-glyph.552f29f0b5":"  Taille maximale de clause : 6","oss-aion-hero-glyph.fc539fcf62":"Vérification de la preuve : RÉUSSIE","oss-aion-hero-glyph.1e4bdfb80c":"Temps de vérification : 2 ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Hors ligne","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + théorie","oss-aion-hero-glyph.6ba46a924e":"point fixe adaptatif","oss-aion-hero-glyph.a9f24b1b66":"vérification en temps linéaire","oss-aion-hero-glyph.6b5eb5323e":"Certificat joint","oss-aion-how-to-check.c799cc998b":"Résultat : c'est correct.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"La première machine remet son reçu à un assistant distinct, qui le vérifie","oss-aion-how-to-check.d026bcfccb":"Le résultat est clair : le reçu s'additionne, ou il ne s'additionne pas. Il n'y a pas de peut-être.","oss-aion-how-to-check.d0c84a5a37":"La vérification se fait là où vous êtes. Rien n'est envoyé ailleurs et aucun site web n'est nécessaire.","oss-aion-how-to-check.623151a710":"L'assistant qui vérifie n'est pas la machine qui a répondu. Il ne peut pas simplement être d'accord avec lui-même.","oss-aion-how-to-check.87e974a415":"le lit et le vérifie","oss-aion-how-to-check.3c487e646c":"Un deuxième assistant","oss-aion-how-to-check.78829f8a37":"les étapes, écrites","oss-aion-how-to-check.9b7b265fbb":"Le reçu","oss-aion-how-to-check.f58fd2cb80":"donne une réponse et un reçu","oss-aion-how-to-check.50e90303d4":"La première machine","oss-aion-integration.b1873dbd42":"Un seul moteur, aucun service externe. Liez la crate, épinglez une version et vérifiez les certificats dans le même environnement.","oss-aion-integration.5f2e7d7c25":"Le même certificat de preuve depuis chaque surface. Une requête en entrée, un certificat vérifiable en sortie.","oss-aion-integration.a4db3ae8b6":"Comment l'appeler","oss-aion-integration.4ec6d609ab":"Commencez par un chemin de décision","oss-aion-integration.559461e293":"bibliothèque, CLI, bench","oss-aion-integration.0228a4c724":"N'importe qui peut vérifier un certificat avec aion check, ou avec un vérificateur indépendant LRAT ou Alethe, sur sa propre machine.","oss-aion-integration.dda6ac27b9":"Vérifier","oss-aion-integration.4d2c6036eb":"Placez aion-cli derrière votre propre service. Le certificat de preuve est le contrat que le service renvoie.","oss-aion-integration.c3447e7954":"Envelopper","oss-aion-integration.f9109d0f04":"Ajoutez la crate à une application Rust existante et émettez des certificats en ligne avec les réponses qu'elle produit déjà.","oss-aion-integration.ad02e14e28":"Intégrer","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Un binaire de benchmark dédié est fourni dans le workspace. Mesurez solve et check sur votre propre matériel plutôt que de vous fier à un chiffre du fournisseur.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Pilotez AION depuis un shell ou un job CI. solve exécute une requête, check vérifie un certificat de preuve hors ligne, et prove en émet un. La même sortie de preuve que la bibliothèque.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Lie AION comme crate et appelez directement le solveur et l'émetteur de preuves. Le noyau, les théories et les formats de preuve sont tous en processus, sans service à mettre en place.","oss-aion-integration.8319d9b3b9":"Bibliothèque Rust","oss-aion-live-margins.df15dfd304":"l'un d'eux est une action","oss-aion-live-margins.96576608a5":"trois d'entre eux sont des lectures","oss-aion-live-margins.5711ac01c1":"SUIVI","oss-aion-live-margins.f719aa9511":"écoulé sur autorisé","oss-aion-live-margins.a344938438":"Quatre obligations","oss-aion-live-margins.19e5ecc09e":"le même jour, sur place","oss-aion-live-margins.828697f103":"Registre de transfert","oss-aion-live-margins.222af170d9":"44 jours sur 30, toujours ouvert","oss-aion-live-margins.a441e09d1a":"Fenêtre de conservation","oss-aion-live-margins.30e04c8f23":"2 jours sur 3","oss-aion-live-margins.20d6944505":"Notification de violation","oss-aion-live-margins.9b9419d2e2":"26 jours sur 30","oss-aion-live-margins.6e7d6c760b":"Réponse au sujet","oss-aion-nothing-outbound.45b9d8acdc":"aucun client sortant","oss-aion-nothing-outbound.5b16b5db9a":"Chaque chemin commence et se termine à l'intérieur d'une ligne que vous avez tracée.","oss-aion-nothing-outbound.59a0768496":"Rien sur cette feuille ne dépasse le contour.","oss-aion-nothing-outbound.71c31d8219":"un processus local sur cette machine","oss-aion-nothing-outbound.605f85e28f":"un prouveur externe","oss-aion-nothing-outbound.150bc2359d":"un sous-réseau, défini par vous","oss-aion-nothing-outbound.5193678a39":"adresses de cluster","oss-aion-nothing-outbound.49c4e670b3":"votre réseau","oss-aion-nothing-outbound.273ca4c134":"ce que vous configurez","oss-aion-nothing-outbound.7f8d7aeedb":"cinq lignes","oss-aion-nothing-outbound.bcec1ac359":"ce que ce chemin ajoute à votre registre","oss-aion-nothing-outbound.4553aa0c94":"le stockage local","oss-aion-nothing-outbound.93d65d8ef8":"l'archive","oss-aion-nothing-outbound.760cfc52ce":"le vérificateur","oss-aion-nothing-outbound.6621d172f5":"l'ensemble de règles en cours de lecture","oss-aion-nothing-outbound.565f3cfc6a":"le certificat en cours de vérification","oss-aion-nothing-outbound.284f61c8db":"votre site, votre matériel","oss-aion-nothing-outbound.f368a04bb8":"une seule frontière, et elle vous appartient","oss-aion-nothing-outbound.5c795b7e7d":"aucun chemin ne sort","oss-aion-nothing-outbound.4f98b1412d":"Rien ne sort du périmètre","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"La version que vous détenez ne change pas sous vos pieds.","oss-aion-nothing-outbound.07b9a651d1":"Un calendrier de publication fournisseur à suivre","oss-aion-nothing-outbound.8fa0bea3f8":"Aucun de nos services n'est sur le chemin.","oss-aion-nothing-outbound.11449c8bd3":"Une dépendance de disponibilité à enregistrer","oss-aion-nothing-outbound.66506ab77b":"Aucun modèle n'est appelé.","oss-aion-nothing-outbound.af474ee96b":"Un fournisseur de modèles à évaluer","oss-aion-nothing-outbound.f2250926d2":"Rien ne sort de la frontière.","oss-aion-nothing-outbound.e80e5b3403":"Un transfert transfrontalier à justifier","oss-aion-nothing-outbound.0bd87fb406":"Aucun processeur sur ce chemin.","oss-aion-nothing-outbound.9494490634":"Un processeur à ajouter","oss-aion-obligation-calendar.366609b500":"marge, pas alarme","oss-aion-obligation-calendar.3c8532b3c7":"La règle du milieu est là où la solution bon marché a cessé d'être disponible.","oss-aion-obligation-calendar.949b1361f5":"Les deux chiffres sont des lectures que n'importe qui peut prendre ce matin.","oss-aion-obligation-calendar.7758d9c282":"action requise","oss-aion-obligation-calendar.4ebebe0b7c":"-14 jours","oss-aion-obligation-calendar.6937bf485d":"commencé avant ce mois","oss-aion-obligation-calendar.37ed878825":"fenêtre de conservation","oss-aion-obligation-calendar.3974c3ac47":"+4 jours","oss-aion-obligation-calendar.aa69fdaab6":"ouvert, 30 jours autorisés","oss-aion-obligation-calendar.c6727ea40c":"réponse du sujet","oss-aion-obligation-calendar.51269d14af":"dernier jour où c'était encore un travail d'après-midi","oss-aion-obligation-calendar.96a8ebf797":"dates illustratives","oss-aion-obligation-calendar.fdcce3f37e":"l'un est dépassé","oss-aion-obligation-calendar.11ddafb2cc":"Un mois d'obligations","oss-aion-obligation-calendar.a2620cbc10":"jour","oss-aion-one-contract-six.d3926ca64d":"un registre, un ensemble affecté","oss-aion-one-contract-six.c4d72c2328":"Leurs preuves suivent une enveloppe AION.","oss-aion-one-contract-six.a7e545052a":"Les sorties du producteur restent distinctes.","oss-aion-one-contract-six.5cbf78425a":"une règle change, revérifier les enregistrements affectés","oss-aion-one-contract-six.f5c6772ad7":"une file de revérification","oss-aion-one-contract-six.d3516bd6ea":"un registre et un enregistrement de stockage","oss-aion-one-contract-six.2ec012da6f":"une enveloppe AION","oss-aion-one-contract-six.2c653cc8fa":"les sept mêmes producteurs, via une enveloppe AION","oss-aion-one-contract-six.725c682066":"sorties différentes, vérificateurs spécifiques à la famille","oss-aion-one-contract-six.cddf74f2cf":"sept sorties de producteurs","oss-aion-one-contract-six.f063fe5bcd":"sept sorties ci-dessus, une enveloppe ci-dessous","oss-aion-one-contract-six.c34e6d1a39":"sept producteurs, une enveloppe de preuves","oss-aion-one-contract-six.910e029098":"illustratif","oss-aion-one-contract-six.67bb73569c":"un certificat de simulation","oss-aion-one-contract-six.7966a9fa49":"un certificat de compilation","oss-aion-one-contract-six.1111f590cc":"un certificat organisationnel","oss-aion-one-contract-six.293194c28e":"un certificat de raisonnement","oss-aion-one-contract-six.8aa194122c":"un enregistrement de preuve logique","oss-aion-one-contract-six.30870de828":"identité du modèle, paramètres, état, points de contrôle, invariants et hachage de trajectoire","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"module, entrées, octrois de capacités, transitions, limites et sortie","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"graphe source, transformations, invariants et identité d'artefact","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"autorité, politique, approbations, transitions et reçus","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"dérivation de contraintes et preuves de solveur renvoyées","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"preuve, modèle, cœur, témoin ou borne","oss-aion-one-contract-six.fde68155d3":"Solveur","oss-aion-one-contract-six.71c9a5c1a1":"Faisable, infaisable ou optimal","oss-aion-one-contract-six.8f7924f6f5":"Vérificateur de solveur spécifique à la famille","oss-aion-one-contract-six.2e9d2d4990":"Une conclusion à partir de contraintes déclarées","oss-aion-one-contract-six.0e7a123b77":"Vérificateur de raisonnement Loom","oss-aion-one-contract-six.3c1a0d119e":"Une opération gouvernée terminée","oss-aion-one-contract-six.6c2ed5435d":"Vérificateur organisationnel Nexus","oss-aion-one-contract-six.07b127b70d":"Un artefact compilé","oss-aion-one-contract-six.4f9018da9e":"Vérificateur de compilation Kera","oss-aion-one-contract-six.1f42a0b0ce":"Une charge de travail exécutée","oss-aion-one-contract-six.5a3c8f1f84":"Vérificateur d'exécution Selvedge","oss-aion-one-contract-six.8879cc2e8a":"Une trajectoire simulée","oss-aion-one-contract-six.0d72478caf":"Vérificateur de simulation et FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Une exécution FMU terminée","oss-aion-one-contract-six.8f5753fba0":"Identité FMU, configuration, étapes, événements, convergence et trace","oss-aion-one-contract-six.4d64b5bbaf":"Vérificateur de simulation et FMI","oss-aion-one-contract-six.6f99b37c1c":"Revendication","oss-aion-one-contract-six.4cb3ee8fa2":"Preuve","oss-aion-one-contract-six.0f3253d8d8":"Vérificateur","oss-aion-one-envelope.3b24a9a880":"huit champs, versionnés","oss-aion-one-envelope.a348113c09":"quel\n          vérificateur le lit.","oss-aion-one-envelope.08ace6c26e":"un champ décide","oss-aion-one-envelope.396e2145f9":"Quatre types de preuves, une ouverture, et","oss-aion-one-envelope.dc1a7be459":"reposé sur la seconde","oss-aion-one-envelope.ddc01a5859":"revendication de trajectoire","oss-aion-one-envelope.7f211a50e2":"ensemble de paramètres","oss-aion-one-envelope.8f2aa45103":"identité du modèle","oss-aion-one-envelope.23e75e07fb":"choisi par le champ type de certificat, pas par celui qui l’a envoyé","oss-aion-one-envelope.4e4dc30b71":"quel vérificateur le lit","oss-aion-one-envelope.c8c687f0ff":"la même ouverture, à chaque fois","oss-aion-one-envelope.b5a871e570":"une pile de reçus","oss-aion-one-envelope.f90f47de4d":"une suite de transitions","oss-aion-one-envelope.3116f117c0":"une table de passage","oss-aion-one-envelope.134483f4a2":"une preuve de clause","oss-aion-one-envelope.93a8ee0c5f":"ce qui entre","oss-aion-one-envelope.582a139a7d":"acheminé par type","oss-aion-one-envelope.6b9805fe87":"Une enveloppe, quatre charges utiles","oss-aion-one-envelope.3dde401523":"exécution à l’exécution","oss-aion-one-envelope.708563c595":"ed25519, vérifié","oss-aion-one-envelope.f2e0576c5b":"deux, nommés ci-dessous","oss-aion-one-envelope.f7b7603261":"scellé, 41 ko","oss-aion-one-envelope.15aae6195c":"charge utile du certificat","oss-aion-one-envelope.6732222b05":"type de certificat","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"version du contrat","oss-aion-one-envelope.b578b9727d":"pas de double facturation sur la période 2026-06","oss-aion-one-envelope.a503bc1da2":"refusé","oss-aion-one-envelope.51c817ab85":"accepté","oss-aion-one-envelope.495117c360":"dépendances","oss-aion-one-envelope.910e029098":"illustratif","oss-aion-one-field-apart.e704601d64":"l'axe, pas un échantillon","oss-aion-one-field-apart.5c256bca81":"Le résultat a bougé avec lui, et c'est un constat plutôt qu'une statistique.","oss-aion-one-field-apart.7a1e726c2f":"Deux candidatures identiques dans tous les champs publics, à un numéro près.","oss-aion-one-field-apart.084f6c9ebe":"chaque paire que les règles autorisent","oss-aion-one-field-apart.ddaee9368d":"mille cas testés","oss-aion-one-field-apart.4c4ccacd1b":"une paire que vous pouvez mettre dans un fichier","oss-aion-one-field-apart.6fddc6a6d1":"bande B,","oss-aion-one-field-apart.dbf68713b1":"la même ligne, en escalier","oss-aion-one-field-apart.8c6c701170":"le cas qui échoue","oss-aion-one-field-apart.0f9dcd24f1":"le résultat n'a pas dépendu de ce champ","oss-aion-one-field-apart.154b3f8e44":"bande B, 3 offres","oss-aion-one-field-apart.4392f1d89c":"une ligne, sans escalier","oss-aion-one-field-apart.02de2da27e":"le cas qui tient","oss-aion-one-field-apart.b7de103af7":"salaire brut, laissé libre de chaque côté","oss-aion-one-field-apart.c86b5b3346":"à égalité des deux côtés","oss-aion-one-field-apart.54bb687f85":"candidatures illustratives","oss-aion-one-field-apart.b69108366c":"le résultat change à la paire","oss-aion-one-field-apart.e79b0df746":"à un champ près","oss-aion-one-field-apart.e1fef06921":"offres","oss-aion-one-field-apart.8699f2b04f":"permanent","oss-aion-one-field-apart.06e3125012":"emploi","oss-aion-one-field-apart.305fa62f02":"30 à 39","oss-aion-one-field-apart.c6a0c81b25":"tranche d'âge","oss-aion-one-field-apart.61a7508ed1":"de base","oss-aion-one-field-apart.38a007151a":"produit","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"région","oss-aion-one-word.95fa084cc9":"l'un d'eux AION vérifie","oss-aion-one-word.ce157273ec":"trois de ceux-ci vous croyez","oss-aion-one-word.a04376ab99":"et ce que vous pouvez en faire","oss-aion-one-word.1a5b0d2471":"L'ÉCART","oss-aion-one-word.69dc71b6f9":"Ce avec quoi un résultat arrive","oss-aion-one-word.8d40d2bfcc":"Des affirmations typées, chacune nommant une règle, une transition ou une prémisse.","oss-aion-one-word.2f8acfe792":"Un certificat","oss-aion-one-word.b04dce1dd0":"Combien de temps il a fallu pour être sûr. La certitude n'est pas la question.","oss-aion-one-word.7eb987f893":"Une durée","oss-aion-one-word.8388e9c8ba":"Ce que le système a fait. Pas pourquoi la conclusion suit.","oss-aion-one-word.40d0f0d4b5":"Un journal","oss-aion-one-word.e7597ba59a":"insatisfiable, compilé, sûr, approuvé. Rien à y contester.","oss-aion-one-word.ae976ad8e9":"Un mot","oss-aion-org-cert.dd25bad09c":"et chacun est vérifié","oss-aion-org-cert.e8add8f2b8":"organisation, rôles, tâches et approbations comblent les lacunes","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"de l'objectif à la réception","oss-aion-org-cert.0a629276bf":"Huit éléments dans la chaîne","oss-aion-org-cert.51e6694762":"Ce qui a réellement été fait à l'extérieur, et ce qui est revenu.","oss-aion-org-cert.4f0a23ec14":"Actions et reçus","oss-aion-org-cert.b249df120c":"Chaque frontière franchie par le travail, et ce qui l'a validée.","oss-aion-org-cert.5eaad4eb5f":"Portes franchies","oss-aion-org-cert.aba30ac5b8":"Quel rôle détenait quoi, au moment où l'action a été tentée.","oss-aion-org-cert.145ae750ce":"Autorité résolue","oss-aion-org-cert.f8a4dc9c6b":"Ce qui était tenté, sous quelle version de politique.","oss-aion-org-cert.63fbd2b7ee":"Objectif et politique","oss-aion-pipeline.b07bbe8800":"Noyau propositionnel","oss-aion-pipeline.81f811c968":"Une recherche par apprentissage de clauses guidée par les conflits sur le squelette booléen. Elle décide, propage, rencontre un conflit, apprend une clause et effectue un retour arrière. Les valeurs binaires, entières et à virgule fixe adaptatives sous-tendent la procédure de décision ; aucune valeur à virgule flottante n'est stockée, accumulée ou utilisée comme solution de repli dans le noyau arithmétique.","oss-aion-pipeline.dc0dd5bc07":"décisions et clauses apprises","oss-aion-pipeline.0c5ad3c30f":"Plugins de théorie","oss-aion-pipeline.f3a7990ab0":"Le noyau transmet une affectation partielle à la couche de théorie. L'arithmétique, les vecteurs de bits, les tableaux et les chaînes raisonnent dans leurs propres domaines et renvoient des propagations et des conflits. Les entrées externes à virgule flottante sont décodées à la frontière en champs binaires ou en échelle à virgule fixe déclarée avant de rejoindre la vérification. Le noyau héberge ces raisonneurs ; les théories temporelles et les théories de programmes vivent dans des crates compagnons.","oss-aion-pipeline.9d1b00d225":"lemmes de théorie et conflits","oss-aion-pipeline.fa6a461dcc":"Émetteur de preuves","oss-aion-pipeline.b3ca95c05c":"Chaque étape effectuée par le moteur, chaque résolution et chaque lemme de théorie, est enregistrée par l'émetteur de preuves au moment où elle se produit. Le résultat est une dérivation ordonnée qu'un vérificateur distinct peut rejouer à partir de ses prémisses.","oss-aion-pipeline.17ac98f8af":"une dérivation ordonnée","oss-aion-pipeline.26d98dc390":"Export de format","oss-aion-pipeline.a79251f54d":"La dérivation est écrite au format LRAT, DRAT ou Alethe, ou conservée sous la forme intermédiaire unifiée. LRAT contient des indices de propagation unitaire, ce qui rend la vérification hors ligne linéaire en fonction de la longueur de la preuve.","oss-aion-pipeline.8c3cee1cd3":"un certificat portable","oss-aion-pipeline.77ec79ed26":"de la décision au certificat","oss-aion-pipeline.c320454a47":"CDCL + théorie + émetteur","oss-aion-pipeline.a618b4be8d":"Requête","oss-aion-pipeline.10de46b3b3":"Certificat","oss-aion-pipeline.62923220ae":"Entier / virgule fixe.","oss-aion-pipeline.4961117925":"Aucune valeur à virgule flottante dans le noyau.","oss-aion-pipeline.591118af56":"Chaîne de résolution.","oss-aion-pipeline.39dfacd414":"Chaque étape cite les prémisses dont elle dépend, dans l'ordre.","oss-aion-pipeline.7fc7b98317":"Vérificateur indépendant.","oss-aion-pipeline.f0bef425b5":"Le certificat se rejoue sans le solveur.","oss-aion-pipeline.a73bc5ed23":"Architecture, noyau CDCL, plugins de théorie, émetteur de preuves","oss-aion-plain-card.7e190a46ae":"Une machine donne une réponse","oss-aion-plain-card.b8941c136d":"Un ordinateur calcule quelque chose pour vous. Tout seul, vous devez simplement le croire sur parole.","oss-aion-plain-card.1232ecf314":"Il écrit aussi un reçu","oss-aion-plain-card.af7230bfb9":"AION fait imprimer par la machine un petit reçu à côté de la réponse. Le reçu montre chaque étape qu'elle a suivie pour y arriver.","oss-aion-plain-card.262d1681dd":"N'importe qui peut vérifier le reçu","oss-aion-plain-card.7d35d2e097":"Votre propre assistant lit le reçu et dit oui, ça tient la route, ou non, c'est faux. Il n'a pas du tout à faire confiance à la première machine.","oss-aion-plain-card.e8146bafb5":"AION, en termes simples","oss-aion-plain-card.0b081a8ef4":"Reçu inclus","oss-aion-plain-card.a32564404b":"Pensez à un reçu de paiement. Quand vous achetez quelque chose, vous obtenez un ticket qui prouve que le\n          magasin vous a facturé le bon montant. Vous pouvez montrer ce reçu à n'importe qui, et cette personne peut\n          faire le calcul elle-même.","oss-aion-plain-card.d5d9b99b9c":"AION fait la même chose pour un ordinateur.","oss-aion-plain-card.2cc68d964c":"Quand une machine donne\n          une réponse, AION vous remet un reçu qui montre que la réponse est correcte, et n'importe qui peut le vérifier.","oss-aion-plain-card.374c644917":"Vous n'avez jamais à faire confiance à la machine sans réserve. C'est le reçu qui fait la preuve.","oss-aion-plain-refusal.7d7fc8edd4":"la même explication vaut pour vous et pour toute personne qui la relit, car c'est une\n            explication","oss-aion-plain-refusal.40c2416b25":"un cas que vous pouvez lire, pas une croix que vous ne pouvez pas","oss-aion-plain-refusal.f795b42ea6":"La marge sur cette carte revient à son montant complet le 1er août, dans deux jours.","oss-aion-plain-refusal.3ae2a82129":"quand cela arrive","oss-aion-plain-refusal.a6012020ae":"Soit 150 euros de marge en plus sur la carte, soit un paiement de 90 euros ou moins.","oss-aion-plain-refusal.74b2c9301b":"ce qui la ferait changer","oss-aion-plain-refusal.e88b1876e6":"90 euros ne couvrent pas 240 euros, donc le paiement et la marge restante ne peuvent pas tenir tous les deux.","oss-aion-plain-refusal.d649363397":"quelle partie la casse","oss-aion-plain-refusal.ec7a8f0a8d":"Le paiement était de 240 euros. La marge restante sur la carte aujourd'hui était de 90 euros.","oss-aion-plain-refusal.fcd45ae097":"votre situation","oss-aion-plain-refusal.e51b51ac5a":"Un paiement n'est accepté que si la marge restante sur la carte aujourd'hui le couvre.","oss-aion-plain-refusal.93823841cb":"ce que dit la règle","oss-aion-plain-refusal.9bc7984374":"Pourquoi cela n'est pas passé","oss-aion-plain-refusal.549840f998":"Quand une règle est enfreinte, AION écrit la situation qui l'a enfreinte, en phrases\n            ordinaires avec les chiffres dedans. Le paiement était de ce montant, la marge restante\n            sur la carte aujourd'hui était inférieure à cela, et ensemble ces deux faits enfreignent la règle. Vous\n            pouvez la lire, la contester précisément, ou changer la seule chose qui doit changer.\n            Une croix dans une case ne vous donne rien de tout cela, et ce n'est pas plus court, seulement plus vide.","oss-aion-plain-refusal.3b50831d8a":"Une décision automatisée qui vous refuse est pire qu'une décision prise par une personne, car il n'y a\n            généralement rien à demander. Le refus arrive terminé. Ce que vous obtenez, c'est le résultat\n            et, si vous avez de la chance, un numéro de référence, et le chemin vers une véritable explication est une\n            réclamation qui prend des semaines et atteint quelqu'un qui n'était pas impliqué non plus.","oss-aion-plain-refusal.ada63e5c2f":"Un cas travaillé l'est.","oss-aion-plain-refusal.462f7e9213":"« Non autorisé » n'est pas une raison.","oss-aion-plain-refusal.5abdfa9cd6":"La différence","oss-aion-plain-refusal.68c46e84d7":"simple","oss-aion-reasoning-cert.0f1fb3d007":"et chaque élément est vérifié","oss-aion-reasoning-cert.98ec75a261":"les bornes et la revendication finale complètent les sept","oss-aion-reasoning-cert.433b925481":"Ce qui a été exclu, et les prémisses qui l'ont exclu.","oss-aion-reasoning-cert.13382efd7c":"Contradictions","oss-aion-reasoning-cert.e856a27527":"Le sous-problème écarté, et la preuve qui en est revenue.","oss-aion-reasoning-cert.92324f5363":"Certificats de solveur","oss-aion-reasoning-cert.fe451714e4":"Chacun nommé, dans l'ordre où il a été appliqué.","oss-aion-reasoning-cert.e0d40a5309":"Applications de règles","oss-aion-reasoning-cert.e0753c6513":"Ce qui était en vigueur, à quelle version, quand le travail a été exécuté.","oss-aion-reasoning-cert.b9366c0dbf":"Contraintes actives","oss-aion-reasoning-cert.a04ed61a81":"le solveur","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"sept éléments","oss-aion-reasoning-cert.eb64d71581":"Ce que contient un certificat de raisonnement","oss-aion-reasoning-chain.126806353c":"déclaré, puis vérifié","oss-aion-reasoning-chain.751e90e830":"Chacun d'eux est un artefact laissé par le raisonnement, et chacun est lu.","oss-aion-reasoning-chain.bc96941170":"Quatre contraintes, deux applications de règles, un passage du solveur et une contradiction.","oss-aion-reasoning-chain.57fa7b904f":"Ce qui est vérifié ici, c'est la dérivation que le système a déclarée, point par point.","oss-aion-reasoning-chain.e0aa3695ac":"noyau 01 02 04, et 03 n'y est pas","oss-aion-reasoning-chain.e3338dab26":"double facturation exclue","oss-aion-reasoning-chain.a43e177c4c":"le remboursement 04 annule","oss-aion-reasoning-chain.becc703d80":"facture fusionnée","oss-aion-reasoning-chain.398df239b3":"à partir de 01 et 02","oss-aion-reasoning-chain.373c5eb4cc":"lu étape par étape, se ferme","oss-aion-reasoning-chain.45f358826b":"renvoyé par le prouveur, en Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvector et égalité, rien d'autre ne traverse","oss-aion-reasoning-chain.34fcd5c8c7":"sous-problème, scellé","oss-aion-reasoning-chain.8c7f764922":"sur le nombre de tentatives, à partir de 02 et 03","oss-aion-reasoning-chain.7c960fefa4":"trois remontés dans le noyau, un laissé en place","oss-aion-reasoning-chain.eeacd6e80f":"contraintes actives, dans les mots écrits par la personne responsable","oss-aion-reasoning-chain.0ee0bb12eb":"Cette configuration ne peut pas produire une double facturation au sein d'une même période de facturation.","oss-aion-reasoning-chain.c0644670d0":"l'affirmation que Loom avance","oss-aion-reasoning-chain.9616861141":"affirmation illustrative et versions","oss-aion-reasoning-chain.e4f7c8c782":"le noyau en nomme trois, en écarte un","oss-aion-reasoning-chain.43c7dffedb":"Une conclusion, ouverte","oss-aion-reasoning-chain.46d6eccd4e":"fusionner-factures","oss-aion-reasoning-chain.398d7639b5":"division-de-cas","oss-aion-reasoning-chain.04174383d5":"à partir de 8 et 9","oss-aion-reasoning-chain.3d26486c4c":"à partir de 8","oss-aion-reasoning-chain.5a6d9bdd37":"à partir de 3 et 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Un remboursement annule la facture qu'il nomme.","oss-aion-reasoning-chain.4c449f834c":"Une période de facturation se clôt à minuit le dernier jour.","oss-aion-reasoning-chain.a663638447":"Une nouvelle tentative ne génère jamais une seconde facture.","oss-aion-reasoning-chain.0d43228516":"Une facture est générée une fois par livraison terminée.","oss-aion-reassure.38a3bd59d5":"Le principe est simple : ne jamais se fier à la parole d'une machine. Gardez une preuve qu'un second vérificateur peut contrôler.","oss-aion-reassure.0ccc7397a4":"Non. Le reçu peut être vérifié sur place, sans rien envoyer sur Internet.","oss-aion-reassure.5bea629f3e":"Ma réponse est-elle envoyée quelque part ?","oss-aion-reassure.af397dc934":"Il est conçu en Europe. Un vérificateur distinct, et non la machine qui a produit la réponse, contrôle chaque reçu.","oss-aion-reassure.7de6360d68":"D'où vient-il ?","oss-aion-reassure.a93d9edbec":"Non. Vous n'avez rien à construire vous-même. Le magasin, l'hôpital ou le bureau l'utilise pour vous. Vous obtenez simplement une réponse plus claire.","oss-aion-reassure.39af3a44b7":"Faut-il être un as de l'informatique ?","oss-aion-reassure.bdbcd6057e":"Oui. Le reçu peut être vérifié à nouveau sans le modèle d'origine, la session, le compte ou la connexion Internet.","oss-aion-reassure.aa1b0d7005":"Peut-on le vérifier plus tard ?","oss-aion-receipt.36889df54f":"Vous n'y touchez jamais vous-même. Lorsqu'un magasin ou un bureau l'utilise pour vous, c'est le reçu\n          qu'il peut vous remettre.","oss-aion-receipt.46fbbfb5be":"N'importe qui peut le lire et vérifier que tout est correct.","oss-aion-receipt.9c258dd430":"et vous devez le croire. Avec AION, la\n            machine vous remet aussi le petit reçu à gauche. Il montre la question, les étapes et\n            la réponse.","oss-aion-receipt.013700f8eb":"Une machine normale dit simplement","oss-aion-receipt.12df5bb228":"À conserver","oss-aion-receipt.7b8544fad0":"Vérifié","oss-aion-receipt.def2581739":"Reçu de réponse","oss-aion-receipt.6e17da21e4":"Un exemple de reçu de réponse","oss-aion-receipt.f2688d32ea":"Si vous demandez à nouveau, vous obtenez la même réponse et le même reçu, sur n'importe quel ordinateur.","oss-aion-receipt.2379231efe":"Identique à chaque fois","oss-aion-receipt.a4b884c0e4":"Votre propre assistant vérifie le reçu sur place, sans rien envoyer.","oss-aion-receipt.930888ee28":"Sans internet","oss-aion-receipt.7a019cc1d2":"La raison figure sur le reçu, pas cachée dans une machine. Vous pouvez le conserver ou le montrer.","oss-aion-receipt.47b716baec":"Par écrit","oss-aion-receipt.92ed516e5b":"Oui, et voici pourquoi.","oss-aion-receipt.7011b1a621":"La réponse","oss-aion-receipt.8ab9465666":"Votre cas y a été associé.","oss-aion-receipt.16bb8dfc44":"Deuxième étape","oss-aion-receipt.d3ca88b9f3":"La règle a été lue en entier.","oss-aion-receipt.e97cc54395":"Première étape","oss-aion-receipt.afd2793ce0":"Ai-je droit à ce remboursement ?","oss-aion-receipt.d79cce547d":"La question","oss-aion-recheck-list.09d5defeae":"deux lignes, deux noms","oss-aion-recheck-list.fd3e1afd0e":"ou, bien plus souvent, de rien du tout.","oss-aion-recheck-list.459f160ffa":"Sans la version derrière chaque ligne, le même avis entraîne un réexamen de\n          tout,","oss-aion-recheck-list.cade8a80df":"la liste, et qui la détient","oss-aion-recheck-list.6f13975269":"toujours compatible","oss-aion-recheck-list.48f8969999":"relecture requise","oss-aion-recheck-list.af0f44d357":", modifié dans","oss-aion-recheck-list.4202e0844e":"La règle de la borne d'optimalité est interprétée plus strictement. Une borne énoncée exactement à la limite n'est\n              plus acceptée comme étant en dessous.","oss-aion-recheck-list.1c26bb5963":"publié le 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Vérificateur v7.0","oss-aion-recheck-list.9ffcf8f72b":"entrées illustratives","oss-aion-recheck-list.dc490c03ae":"deux sur cinq signalés","oss-aion-recheck-list.7316018edf":"Les enregistrements concernés","oss-aion-recheck-list.2237af7cd3":"la règle de la borne d'optimalité","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Itinéraire optimal, dépôt nord","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Version du firmware, passerelle 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Évaluation du consentement, campagne 44","oss-aion-recheck-list.3c54a1df45":"en interne","oss-aion-recheck-list.b8d251e8cd":"Exécution de tarification par lot","oss-aion-recheck-list.dce56394a1":"Plan de roulement, semaine 12","oss-aion-recheck-list.48a3661d84":"statut","oss-aion-recheck-list.29e5b9a8e6":"vérificateur","oss-aion-recheck-list.51c817ab85":"accepté","oss-aion-recheck-list.e2979e7595":"fournisseur","oss-aion-recheck-list.335ce16b3f":"sujet","oss-aion-recheck-list.796a88413e":"J. Okonkwo, opérations","oss-aion-recheck-list.90916dd844":"Revérifiez, puis confirmez la borne indiquée avec le fournisseur.","oss-aion-recheck-list.00e67572db":"M. de Vries, protection des données","oss-aion-recheck-list.e4faeae968":"Revérifiez le certificat stocké par rapport à v7.0.","oss-aion-record-fields.8580937ae7":"chacun produit son propre ensemble affecté","oss-aion-record-fields.632f62dd8b":"un schéma de certificat complète les sept","oss-aion-record-fields.7039b2f0bd":"là où il est maintenant","oss-aion-record-fields.74b489c3d1":"là où il était","oss-aion-record-fields.5d5dc3b7c3":"DURABLE","oss-aion-record-fields.c2a1a83804":"et ce ne sont pas seulement des règles de preuve","oss-aion-record-fields.12b83ffb63":"Ce qui peut changer en dessous","oss-aion-record-fields.91b3cb991a":"une version de modèle plus récente","oss-aion-record-fields.e1ab670f61":"Un contrat de modèle ou de simulation","oss-aion-record-fields.da15b4cbb5":"la revendication elle-même a bougé","oss-aion-record-fields.26e4976c38":"Un contrat de compilateur ou d'exécution","oss-aion-record-fields.cb2c2e30b7":"effacé sous un autre","oss-aion-record-fields.43e275dea3":"Une politique","oss-aion-record-fields.521a7a8570":"lu différemment maintenant","oss-aion-record-fields.58fd9f572c":"Une règle de vérificateur","oss-aion-refusal-fields.432aa8565f":"une référence que quelqu'un peut poursuivre","oss-aion-refusal-fields.36a85f9074":"pas une croix rouge","oss-aion-refusal-fields.fe71871083":"AVIS","oss-aion-refusal-fields.4f84be92c8":"pour que quelqu'un puisse agir","oss-aion-refusal-fields.fa31a3ca39":"Ce que contient un refus","oss-aion-refusal-fields.5647a1c020":"décider à qui appartient la constatation","oss-aion-refusal-fields.11c0add347":"Un défaut dans la preuve, ou une règle que nous ne suivons pas. Ce n'est pas la même chose.","oss-aion-refusal-fields.a74aa40f65":"Le type","oss-aion-refusal-fields.d3144a7994":"voir ce qui n'était pas là","oss-aion-refusal-fields.060958d8fd":"Ce qui manquait ou était erroné lors de la nouvelle vérification.","oss-aion-refusal-fields.a7dc07c061":"La raison","oss-aion-refusal-fields.3b21710b2e":"vérifier ce qu'il aurait dû faire","oss-aion-refusal-fields.f80b017fdb":"Ce que l'étape prétendait faire.","oss-aion-refusal-fields.0056e788fc":"La règle","oss-aion-refusal-fields.89abf35df5":"l'ouvrir à cette ligne","oss-aion-refusal-fields.3dac51b71a":"Quelle étape, par numéro, dans quel fichier.","oss-aion-refusal-fields.2fb8438f32":"L'emplacement","oss-aion-reviewable.e0cb1b89aa":"non seulement l'auteur","oss-aion-reviewable.f29c4ff9dd":"le propriétaire le révise","oss-aion-reviewable.c6465865b0":"votre phrase","oss-aion-reviewable.ed6912ad70":"RÉVISION","oss-aion-reviewable.5867cc6bd5":"sans apprendre la notation","oss-aion-reviewable.8f8dec6da0":"Ce que voit un réviseur","oss-aion-reviewable.da8643122f":"Un nom, une date et la version de la phrase confirmée.","oss-aion-reviewable.7c92afb7f9":"Une confirmation signée","oss-aion-reviewable.340e6b4675":"Une révision répétée lit la même chose, car rien n'a échantillonné un modèle.","oss-aion-reviewable.b08be2b959":"La même chose à chaque fois","oss-aion-reviewable.d3a2628a1c":"Chaque quantité nommée, avec le type de valeur qu'elle contient.","oss-aion-reviewable.2587914ff8":"Sur quoi cela travaille","oss-aion-reviewable.f0a2aa51a4":"Une phrase disant ce que toute la condition encode.","oss-aion-reviewable.5a47a1dcaf":"Une lecture simple","oss-aion-reviewable.aee2d461c7":"Inchangée, en haut, telle qu'ils l'ont écrite.","oss-aion-reviewable.7488358db7":"Leur propre phrase","oss-aion-risk-ledger.1a0f2538e1":"Cinq expositions opérationnelles remplacées par un certificat qu'un autre vérificateur peut contrôler.","oss-aion-risk-ledger.4b32d8f574":"Avec AION","oss-aion-risk-ledger.2e34d48ba3":"La méthode habituelle","oss-aion-risk-ledger.d1d7499182":"COMPARÉS CÔTE À CÔTE","oss-aion-risk-ledger.02c7234156":"Rejouez le raisonnement hors ligne et vérifiez-le par vous-même.","oss-aion-risk-ledger.b5058e1c76":"Croyez le fournisseur sur parole que la réponse était fiable.","oss-aion-risk-ledger.d2e183faa1":"À quel point lui faire confiance","oss-aion-risk-ledger.96f0603563":"Le certificat se vérifie sans aucun d'eux.","oss-aion-risk-ledger.04312971f3":"Le modèle d'origine, la session de résolution et le service doivent toujours être disponibles.","oss-aion-risk-ledger.2df1215b19":"De quoi dépend la vérification","oss-aion-risk-ledger.8ddd34c358":"S'exécute sur votre propre matériel, dans une juridiction que vous approuvez.","oss-aion-risk-ledger.c3fe4a906f":"Les décisions sont expliquées sur des serveurs que vous ne contrôlez pas.","oss-aion-risk-ledger.242ebe0c39":"Où se trouvent les données","oss-aion-risk-ledger.75eb05728b":"Les formats de preuve standard restent vérifiables indépendamment.","oss-aion-risk-ledger.46d3f9eccd":"L'explication disparaît avec le service d'origine.","oss-aion-risk-ledger.8ea6189e84":"Quand l'environnement d'exécution change","oss-aion-risk-ledger.21ff58d6a7":"Vous remettez un certificat que l'auditeur peut vérifier lui-même.","oss-aion-risk-ledger.934929b924":"Vous transmettez des journaux en espérant qu'ils soient lus comme preuve.","oss-aion-risk-ledger.8632e0b3b5":"Quand l'auditeur demande","oss-aion-rule-refusal.c354dff2de":"aucun verdict après 15","oss-aion-rule-refusal.0fc2b67ff7":"à la première, une étape échoue","oss-aion-rule-refusal.d7cb461a4b":"Quatre tests dans un ordre fixe, et la lecture s'arrête","oss-aion-rule-refusal.ad9deadf27":"un identifiant de clause utilisé pour deux clauses","oss-aion-rule-refusal.ffc05ba511":"un pivot déclaré sur un littéral que la clause ne contient pas","oss-aion-rule-refusal.5af32fb7c4":"un indice citant l'étape qu'il est censé justifier","oss-aion-rule-refusal.fbf5522f0e":"épinglé depuis la suite hostile","oss-aion-rule-refusal.d3b27b8f89":"n'a pas fermé","oss-aion-rule-refusal.0f04e9ee60":"des littéraux encore debout sur la dernière clause","oss-aion-rule-refusal.90f9cbf1cb":"fin de fichier","oss-aion-rule-refusal.196a925493":"index de prémisse, de 1 à 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, règle par règle","oss-aion-rule-refusal.b14e7fc954":"arrêté à 15","oss-aion-rule-refusal.ce0ed8058b":"Une preuve, lue depuis le début","oss-aion-rule-refusal.af0cbd46a2":"cité hors ordre","oss-aion-rule-refusal.165a394589":"à partir de 61 et 20","oss-aion-rule-refusal.dd39474e4f":"prémisse absente","oss-aion-rule-refusal.6edfd31763":"à partir de 88","oss-aion-rule-refusal.d18b697772":"se cite lui-même","oss-aion-rule-refusal.5c7bf112ac":"à partir de 31 et 18","oss-aion-rule-refusal.64b0295aa0":"règle non prise en charge","oss-aion-rule-refusal.5e2428fc82":"à partir de 14","oss-aion-rule-refusal.a7e8697338":"à partir de 12 et 13","oss-aion-rule-refusal.ba08b53848":"à partir de 4","oss-aion-rule-refusal.2a1be725ca":"résolution 12","oss-aion-rule-refusal.54a0121f57":"à partir de 4 et 9","oss-aion-rule-refusal.8ffe1b4177":"règle connue","oss-aion-rule-refusal.ebed34abd2":"en dessous de la sienne","oss-aion-rule-refusal.d182b65e15":"prémisse présente","oss-aion-rule-refusal.a503bc1da2":"refusé","oss-aion-rule-refusal.3a21295d81":"magasin","oss-aion-same-except-one.279e6c9e96":"un est travaillé ci-dessous","oss-aion-same-except-one.87ca0e7356":"les bornes, les dérivations et la provenance du modèle complètent les sept","oss-aion-same-except-one.72b459f8cc":"PROPRIÉTÉS","oss-aion-same-except-one.25119f6e70":"et la famille qui porte chacune","oss-aion-same-except-one.ed6552be04":"Affirmations que vous pouvez faire","oss-aion-same-except-one.633255fe41":"Cette trajectoire a respecté ces invariants.","oss-aion-same-except-one.6b403d2a35":"Cette action a obtenu l'approbation requise.","oss-aion-same-except-one.ac5d8ada02":"Cette charge de travail a fonctionné sous ces capacités.","oss-aion-same-except-one.5e8efc64f2":"Ce binaire correspond à ce graphe source.","oss-aion-same-except-one.81c0e8e986":"simulation","oss-aion-same-except-one.92fe1455a7":"organisationnel","oss-aion-same-except-one.1e21474598":"exécution","oss-aion-same-except-one.023646ce84":"compilation","oss-aion-same-rule-parts.3326352b94":"ces trois-là lui survivent","oss-aion-same-rule-parts.b33174d833":"la réponse tient en une ligne","oss-aion-same-rule-parts.490fbefa4b":"refaire le même calcul deux fois donne le même résultat","oss-aion-same-rule-parts.ce173fc797":"Conservé pour une seconde vérification.","oss-aion-same-rule-parts.60c6fa6f09":"la réponse","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"une fois la réponse arrivée","oss-aion-same-rule-parts.3fea5c7183":"Trois choses que vous conservez","oss-aion-same-rule-parts.f460809c86":"Quand le calcul a été vérifié, et par quoi.","oss-aion-same-rule-parts.1f26226511":"le dossier","oss-aion-same-rule-parts.f3488c72aa":"La date","oss-aion-same-rule-parts.7e9a6ac9d7":"La règle citée, avec votre propre situation à l'intérieur.","oss-aion-same-rule-parts.fa1f96a2cc":"imprimé avec la réponse","oss-aion-same-rule-parts.a7dc07c061":"La raison","oss-aion-same-rule-parts.51240e4e03":"Des mots ordinaires, conservés, pour que vous puissiez les lire à voix haute à n'importe qui.","oss-aion-same-rule-parts.f901c543a0":"tel que quelqu'un l'a écrit","oss-aion-same-rule-parts.0056e788fc":"La règle","oss-aion-same-rule-thrice.8716c9d2d1":"citable par les trois","oss-aion-same-rule-thrice.56daaad027":"Personne n’a interprété le cas de quiconque sur-le-champ.","oss-aion-same-rule-thrice.fe8d9a24bc":"Trois noms, trois dates, une seule raison mot pour mot.","oss-aion-same-rule-thrice.2d4e5d243a":"les mêmes mots dans les trois lettres","oss-aion-same-rule-thrice.36c5f05f0e":"Ma demande a été retenue parce que toute demande provenant d’un compte qui a déjà été à découvert\n              est retenue pour une seconde vérification. Est-ce bien ce que vous vouliez qu’elle fasse ?","oss-aion-same-rule-thrice.47b69ccfd4":"ce que chacun des trois peut écrire","oss-aion-same-rule-thrice.5441126254":"la raison, avec vos chiffres","oss-aion-same-rule-thrice.e026ce35f8":"la règle, en mots","oss-aion-same-rule-thrice.c6b6fdf0c8":"Votre demande est retenue","oss-aion-same-rule-thrice.4af8028f5b":"Cela touche tous ceux qui ont été à découvert pendant une semaine à un moment donné.","oss-aion-same-rule-thrice.43d7f6edd9":"Toute demande provenant d’un compte qui a déjà été à découvert est retenue pour une seconde vérification.","oss-aion-same-rule-thrice.d5dff79fd0":"la règle, telle que la personne responsable l’a écrite","oss-aion-same-rule-thrice.660cf69152":"même raison, trois fois","oss-aion-same-rule-thrice.2aa5baf4fa":"une règle, trois personnes","oss-aion-same-rule-thrice.2969c22def":"à découvert pendant un jour en août 2024","oss-aion-same-rule-thrice.db55a373e5":"2 juillet","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"à découvert pendant deux jours en novembre 2021","oss-aion-same-rule-thrice.8a343dea89":"19 juin","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"à découvert pendant six jours en mars 2023","oss-aion-same-rule-thrice.e46936527e":"4 juin","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Votre compte a été à découvert à un moment donné, donc cette demande est retenue pour une seconde vérification.","oss-aion-same-rule-thrice.69449f994d":"réf.","oss-aion-same-rule-thrice.910e029098":"illustratif","oss-aion-second-reader.e2a4a212d5":"pointer sur la ligne est la partie utile","oss-aion-second-reader.b31aece7ea":"l'accord est facile","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"ce que fait la deuxième lecture","oss-aion-second-reader.d160172930":"Refaire le calcul","oss-aion-second-reader.0bd3d42b28":"Un programme différent, sans raison de préférer la réponse.","oss-aion-second-reader.2c814bb70c":"N'est pas la première machine","oss-aion-second-reader.b792afd627":"Et indique quelle étape, donc il y a quelque chose à pointer.","oss-aion-second-reader.4a195096b0":"S'arrête à la première erreur","oss-aion-second-reader.58f56fa2c3":"Le refait plutôt que de faire confiance à ce qui a été fait.","oss-aion-second-reader.5abf0b9df4":"Fait chaque étape","oss-aion-second-reader.de8f44bd3b":"Pas la réponse. Les étapes qui étaient censées y mener.","oss-aion-second-reader.0a461499ae":"Lit le raisonnement","oss-aion-second-sum.2517e33359":"un lieu, pas un verdict","oss-aion-second-sum.1f31706279":"Ce qu'il vous fallait, c'était la ligne, et la voilà.","oss-aion-second-sum.1b06fb1625":"Les deux colonnes aboutissent à un total, et l'une d'elles est erronée.","oss-aion-second-sum.715f45331b":"La lecture s'arrête à cinq au lieu de continuer jusqu'à six, car une vérification qui saute une étape qu'elle ne peut pas faire aboutir n'est pas une vérification.","oss-aion-second-sum.be51277bfd":"non atteint","oss-aion-second-sum.a90d766915":"cette étape ne aboutit pas","oss-aion-second-sum.b214ae4ce2":"le même mouvement, sur une machine en marche, a été noté","oss-aion-second-sum.e4cddfd229":"Chacun peut additionner la colonne lui-même et arriver à la même ligne. C'est toute l'idée, transposée à un travail que personne ne peut voir.","oss-aion-second-sum.a72b4463ba":"Les deux colonnes concordent sur trois lignes. L'anneau entoure la ligne où elles divergent, pas le total, car le total n'a jamais été l'élément utile à discuter.","oss-aion-second-sum.136fc39d05":"Dix cents, et c'est aux pommes.","oss-aion-second-sum.1104f28cf8":"à payer","oss-aion-second-sum.51111a2b99":"le magasin, mardi","oss-aion-second-sum.e9594ccf76":"elles divergent aux pommes","oss-aion-second-sum.bb470fd83f":"la même colonne, additionnée deux fois","oss-aion-second-sum.0220a293b9":"la réclamation est payée","oss-aion-second-sum.f7e5a74a1f":"ce qui reste à payer s'additionne","oss-aion-second-sum.597b954c29":"l'excédent a été déduit","oss-aion-second-sum.edccd745a8":"le montant est sous la limite pour cette réparation","oss-aion-second-sum.709d0bb348":"la réparation est sur la liste couverte","oss-aion-second-sum.1396b1459a":"le compte était ouvert le jour de la réclamation","oss-aion-second-sum.d2fc512490":"crayon","oss-aion-second-sum.1c8f15dab7":"imprimé","oss-aion-second-sum.910e029098":"illustratif","oss-aion-second-sum.f6c1ab8181":"savon","oss-aion-second-sum.bcef7a0462":"fromage","oss-aion-second-sum.76c2436b59":"pommes","oss-aion-second-sum.44213f9f4d":"café","oss-aion-second-sum.6ff291d817":"pain","oss-aion-second-sum.cf5dbf0ec5":"lait","oss-aion-sentence-returns.e9a72f31df":"vos mots, aux deux extrémités","oss-aion-sentence-returns.254545287c":"Huit mois plus tard, un inconnu le lit, pas un résumé.","oss-aion-sentence-returns.f0e71316de":"Une personne a écrit une phrase et l'a rangée.","oss-aion-sentence-returns.4c51f16cb4":"Rien, entre ces deux lectures, n'a appris quoi que ce soit, changé d'avis ou eu une meilleure idée.","oss-aion-sentence-returns.06152533dc":"un second prélèvement sur une même commande au cours d'un mois de facturation n'est pas autorisé","oss-aion-sentence-returns.fb3e6817f1":"de la lecture un an plus tard","oss-aion-sentence-returns.32af205ca5":"de la lecture en mars","oss-aion-sentence-returns.0b1eb314b5":"la même phrase, relue un an plus tard","oss-aion-sentence-returns.547a49e160":"la commande 44-8127 a été prélevée le trois novembre et de nouveau le dix-neuf","oss-aion-sentence-returns.d3141af6d8":"ce qui s'y est heurté","oss-aion-sentence-returns.a2d40412ef":"un second prélèvement sur une même commande au cours d'un mois de facturation","oss-aion-sentence-returns.0ee2593cc5":"la partie qui n'a pas été satisfaite","oss-aion-sentence-returns.43015fadc4":"Personne ne devrait être prélevé deux fois pour la même commande le même mois.","oss-aion-sentence-returns.2ce9eb0823":"la règle, dans les mots où elle a été écrite","oss-aion-sentence-returns.5c4173fbcf":"9 novembre, envoyé au client","oss-aion-sentence-returns.96ec36f99b":"Un prélèvement a été arrêté","oss-aion-sentence-returns.14da1cff14":"huit mois","oss-aion-sentence-returns.b59f623fe2":"lu comme","oss-aion-sentence-returns.6a250da793":"14 mars, par la personne responsable de la facturation","oss-aion-sentence-returns.8766d15f20":"mêmes mots aux deux extrémités","oss-aion-sentence-returns.33e656aa3a":"une phrase, à huit mois d'écart","oss-aion-sentence-returns.6180960e2c":"écrit","oss-aion-sentence-returns.910e029098":"illustratif","oss-aion-side-by-side-rule.1462946510":"hiérarchie inversée","oss-aion-side-by-side-rule.dc685ee970":"est celui défini le plus petit, en bas.","oss-aion-side-by-side-rule.37ba9a07a7":"La seule ligne ici que personne n'a besoin de pouvoir lire","oss-aion-side-by-side-rule.24205c8d5e":"Le corps de cette feuille est ce qui a été demandé.","oss-aion-side-by-side-rule.136ec48046":"version de phrase 3","oss-aion-side-by-side-rule.5714c84617":"9 avril 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, opérations de facturation","oss-aion-side-by-side-rule.4c1493cdf2":"la condition telle qu'elle est stockée","oss-aion-side-by-side-rule.5050bceb24":"ce sur quoi elle agit","oss-aion-side-by-side-rule.70a7ded724":"Une deuxième facturation sur une référence déjà facturée dans la période de facturation est\n          refusée.","oss-aion-side-by-side-rule.decbbbcbea":"Aucun client ne peut être facturé deux fois pour la même référence dans une période de facturation.","oss-aion-side-by-side-rule.41f5b5d765":"aucune annotation requise","oss-aion-side-by-side-rule.fd9d8f9d79":"confirmé par le propriétaire","oss-aion-side-by-side-rule.dbd8504696":"feuille de révision","oss-aion-side-by-side-rule.b714510ded":"combien de fois cette référence a déjà été facturée","oss-aion-side-by-side-rule.71aa03cd23":"le nombre de facturations","oss-aion-side-by-side-rule.8f404d9e59":"le mois au cours duquel la facturation a lieu","oss-aion-side-by-side-rule.28db3c4a10":"la période de facturation","oss-aion-side-by-side-rule.7bbf8d007a":"l'identifiant contre lequel une facturation est effectuée","oss-aion-side-by-side-rule.333190a7a5":"la référence","oss-aion-silent-wrong.e516f1474a":"étape 40, règle inconnue","oss-aion-silent-wrong.52c4b2ffb7":"là où il s'est arrêté","oss-aion-silent-wrong.bdc9060b3b":"Huit exécutions ont produit huit mots. Seule celle qui a consigné son travail\n          peut le dire","oss-aion-silent-wrong.dc3fb44cee":"un refus nomme une ligne","oss-aion-silent-wrong.d55eb7e866":"Ce lecteur n'a pas de règle portant ce nom à l'étape 40, il s'est donc arrêté là. Le\n            tampon n'a jamais été apposé et aucun verdict n'a été rendu.","oss-aion-silent-wrong.d04a61e19e":"ce que la lecture a produit","oss-aion-silent-wrong.b31f1a6015":"alethe, étapes 38 et suivantes","oss-aion-silent-wrong.74cb6750e3":"l'un d'eux, rédigé","oss-aion-silent-wrong.c9266795e0":"huit systèmes, huit résultats","oss-aion-silent-wrong.d7d4ae123f":"illustratif, une exécution sur huit","oss-aion-silent-wrong.3c05b129e2":"aucun verdict rendu","oss-aion-silent-wrong.c6dc61d79f":"Huit mots, dont un ouvert","oss-aion-silent-wrong.64494819a0":"prémisse 40, la clause vide","oss-aion-silent-wrong.9dae957efd":"prémisse 39","oss-aion-silent-wrong.52e787751c":"prémisses 31 et 38","oss-aion-silent-wrong.36901d48ad":"prémisses 12 et 31","oss-aion-silent-wrong.e00bcd7ac6":"flux de travail approuvé","oss-aion-silent-wrong.fd40251b0b":"simulation convergée","oss-aion-silent-wrong.9204d100a8":"politique adoptée","oss-aion-silent-wrong.51c817ab85":"accepté","oss-aion-silent-wrong.4d64c22879":"refaire","oss-aion-silent-wrong.94ec44c4f4":"croire","oss-aion-silent-wrong.4848901b39":"optimal","oss-aion-silent-wrong.bf31c52c32":"sûr","oss-aion-silent-wrong.231e564db4":"terminé","oss-aion-silent-wrong.bac2ad9d5d":"compilé","oss-aion-silent-wrong.d203c40ac4":"insatisfiable","oss-aion-sim-cert.d836eab67a":"la validité physique n'est pas","oss-aion-sim-cert.8f9800edbe":"la conformité et les propriétés sont vérifiées ici","oss-aion-sim-cert.d982b6fdda":"la question de savoir si le modèle représente le monde relève du propriétaire du modèle","oss-aion-sim-cert.c27ccdf78d":"validité physique","oss-aion-sim-cert.99c6aa48cb":"répondu nulle part","oss-aion-sim-cert.e4125aa830":"les propriétés déclarées tiennent sur toute l'exécution, ou la trace revient","oss-aion-sim-cert.24fa71fdd6":"vérifications d'invariants","oss-aion-sim-cert.82ffe3f79b":"le modèle, les paramètres et la configuration déclarés ont produit cette trajectoire","oss-aion-sim-cert.8c30aa1c6e":"conformité d'exécution","oss-aion-sim-cert.790f468e4d":"répondu ici","oss-aion-sim-cert.f6bceb137b":"TWIN ET FMI","oss-aion-sim-cert.cf2b82cb4f":"du modèle à la trajectoire","oss-aion-sim-cert.a7b63abc02":"Ce que porte le certificat","oss-aion-sim-cert.07ecfba93e":"trajectoire et statut","oss-aion-sim-cert.6874c92610":"séquence d'événements","oss-aion-sim-cert.e77c056cdc":"paramètres et état initial","oss-aion-sim-cert.720a1e14e6":"identité du modèle et de la FMU","oss-aion-source-to-artefact.ce10986f79":"De la source au certificat","oss-aion-source-to-artefact.c1ce053887":"nommé, pas global","oss-aion-source-to-artefact.75a0766041":"Une affirmation globale n'aurait pu échouer nulle part.","oss-aion-source-to-artefact.b5e1e87d48":"Trois affirmations nommées, et celle qui échoue nomme l'étape où elle échoue.","oss-aion-source-to-artefact.8732c432be":"Que chaque étape de la séquence est correcte en général. Aucun certificat ici ne dit qu'un\n                compilateur est bon, et aucun n'a à le faire.","oss-aion-source-to-artefact.64d8424b5b":"ce qu'il n'affirme pas","oss-aion-source-to-artefact.302df26f74":"graphe source","oss-aion-source-to-artefact.e95689d184":"à l'implémentation de référence, sur le domaine d'entrée déclaré","oss-aion-source-to-artefact.0ca9407ef6":"équivalent au noyau","oss-aion-source-to-artefact.5e68638068":"la préservation de forme déclarée ne tient pas à cette étape pour le domaine d'entrée\n                    donné","oss-aion-source-to-artefact.ab2050f59e":"formes de tenseurs préservées","oss-aion-source-to-artefact.213addbd25":"à travers canonicalise et fusion, pour chaque type déclaré","oss-aion-source-to-artefact.9deae195e3":"types préservés","oss-aion-source-to-artefact.2297843111":"niveau d'optimisation 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"affirmation de forme refusée","oss-aion-source-to-artefact.2fa9505626":"artefact","oss-aion-source-to-artefact.910e029098":"illustratif","oss-aion-source-to-artefact.9f939ff8a4":"sélection de noyau","oss-aion-sovereignty.0fe4587501":"La vérification reste là où les preuves sont stockées : à côté du système producteur, dans un service de revue, ou dans une archive isolée.","oss-aion-sovereignty.2d7bdcb19f":"Vos décisions restent sous votre contrôle.","oss-aion-sovereignty.9426b99215":"Souveraineté numérique","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe et le format unifié rendent les certificats vérifiables indépendamment de l'environnement d'exécution d'origine.","oss-aion-sovereignty.25c4717a63":"Formats de preuve portables","oss-aion-sovereignty.d99f32de40":"La vérification d'une preuve fonctionne entièrement hors ligne. Vous ne dépendez pas d'un service distant qui pourrait modifier ses conditions ou disparaître.","oss-aion-sovereignty.34ebf0117d":"Aucune dépendance externe","oss-aion-sovereignty.44a8a39a30":"Dans votre propre centre de données ou dans une région de votre choix. Le raisonnement derrière une décision n'a jamais à franchir une frontière que vous n'avez pas approuvée.","oss-aion-sovereignty.331242fd64":"S'exécute là où vous choisissez","oss-aion-sovereignty.599b928605":"AION est conçu en Europe, et son vérificateur peut rester dans les mêmes limites européennes que les décisions qu'il vérifie.","oss-aion-sovereignty.45f9bdf22b":"D'origine européenne","oss-aion-split-parts.cc0d7be136":"et une enclave ne change rien","oss-aion-split-parts.a2fb24de32":"la construction par défaut n'a aucun client sortant","oss-aion-split-parts.ffd75a18c4":"DÉPLOYER","oss-aion-split-parts.91f8c088aa":"et ce dont chacun a besoin","oss-aion-split-parts.758bd7cc2a":"Quatre façons de l'exécuter","oss-aion-split-parts.400bd9a040":"Réparti entre machines, et composé uniquement après une vérification de couverture.","oss-aion-split-parts.bb3d98dfee":"Distribué","oss-aion-split-parts.74da65bc96":"Dans votre périmètre, sur des adresses que vous définissez vous-même.","oss-aion-split-parts.664046e78a":"Un service","oss-aion-split-parts.ce2ab3edc4":"Pointez-le vers un certificat. Rien d'autre ne doit être en cours d'exécution.","oss-aion-split-parts.a7218c8eca":"Une commande","oss-aion-split-parts.eefb3bac5d":"Intégré dans votre propre processus. Demandez et répondez, sans fichier écrit.","oss-aion-split-parts.fa66edb7bd":"Une bibliothèque","oss-aion-stays-here.e3e08ad140":"rien n'a quitté la pièce","oss-aion-stays-here.18ab547f60":"Cette feuille vide constitue l'intégralité de la revendication.","oss-aion-stays-here.907d22f7f0":"Rien n'est dessiné entre la boîte et les trois objets à côté d'elle.","oss-aion-stays-here.001b06036c":"pas sur cette image","oss-aion-stays-here.8c84675037":"un lien vers une autre machine de la même organisation, désactivé jusqu'à ce que quelqu'un le configure\n              exprès","oss-aion-stays-here.e3527ba222":"La réponse arrive avec la ligne coupée, car la ligne n'en a jamais fait partie.","oss-aion-stays-here.caf3a041c8":"Le retard était de soixante-quinze minutes, soit plus d'une heure, donc la réservation est\n                annulée et le tarif est remboursé sur la carte d'origine.","oss-aion-stays-here.7296ef48e5":"ce qui est revenu","oss-aion-stays-here.395ee2333f":"l'annulation met fin à la réservation et rembourse le tarif","oss-aion-stays-here.46d2008236":"une heure signifie soixante minutes, sans arrondi","oss-aion-stays-here.2fd4fcb567":"un retard est compté à partir de l'heure imprimée sur le billet","oss-aion-stays-here.f5b422b60e":"les règles écrites auxquelles il est confronté","oss-aion-stays-here.ee04bc3b23":"N'annulez ma réservation que si le retard dépasse une heure.","oss-aion-stays-here.af5509db2b":"ce que vous avez saisi","oss-aion-stays-here.3cbd68d678":"la machine devant vous","oss-aion-stays-here.531aa138ac":"répondu sans partir","oss-aion-stays-here.fb23ddcc1c":"une question, un endroit","oss-aion-stays-here.96ccbc62ab":"vos mots ne sont pas une chose que quelqu'un d'autre reçoit","oss-aion-stays-here.1b215d440d":"une machine ailleurs qui lit votre phrase","oss-aion-stays-here.b5a5c63d23":"aucun élément externe ne doit fonctionner pour que la réponse arrive","oss-aion-stays-here.b5c483d9d9":"un service qui doit être opérationnel","oss-aion-stays-here.fa287ade3d":"rien ne demande qui vous êtes, car rien n'a besoin de le savoir","oss-aion-stays-here.d5a3ef8b78":"un compte pour se connecter","oss-aion-stays-here.910e029098":"illustratif","oss-aion-stays-here-list.56a6e8f9a7":"et rien à remettre","oss-aion-stays-here-list.57eef35c96":"aucune attente","oss-aion-stays-here-list.a64eab5744":"ce à quoi il attend","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"et ce à quoi il n'attend jamais","oss-aion-stays-here-list.13591491d9":"Ce sur quoi il tourne","oss-aion-stays-here-list.1458464f09":"Rien à quoi s'inscrire, donc rien dont on est client.","oss-aion-stays-here-list.257fa99e08":"Aucun compte","oss-aion-stays-here-list.b165f2d684":"Votre phrase est lue selon des règles, dans la même pièce que vous.","oss-aion-stays-here-list.37a25e4e99":"Règles écrites","oss-aion-stays-here-list.7ee33f1c7a":"Le travail se fait là où vous êtes, et personne d'autre n'a besoin de tourner.","oss-aion-stays-here-list.d3612f57d8":"La machine sur laquelle vous êtes","oss-aion-supplier-answer.6d6ddcd4c1":"une déclaration, quatre lignes vides","oss-aion-supplier-answer.a5d36ba87c":"Aucune des quatre questions n'est répondue nulle part sur la feuille.","oss-aion-supplier-answer.d09481b0a5":"Chaque mot qui y figure est vrai et quelqu'un l'a signée.","oss-aion-supplier-answer.cec9b36162":"14 mars 2026","oss-aion-supplier-answer.22715d5cb9":"La configuration soumise le 12 mars 2026 a été vérifiée comme exempte de conflits.","oss-aion-supplier-answer.1e0a1891e8":"réf. SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"certificat de conformité","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"quatre sans réponse","oss-aion-supplier-answer.910e029098":"illustratif","oss-aion-supplier-answer.f86e5cfb14":"Cela tiendrait-il toujours après le changement de mardi ?","oss-aion-supplier-answer.bbe7a72e5a":"Sur quelles données, et quelle quantité ?","oss-aion-supplier-answer.c25776701b":"Contre quelle version de notre ensemble de règles ?","oss-aion-supplier-answer.84d9ed92b5":"Quelles conditions ont réellement été vérifiées ?","oss-aion-theory-matrix.ac8d77d669":"Propositionnel","oss-aion-theory-matrix.3d52a6d8fe":"Logique","oss-aion-theory-matrix.42f3aff840":"Satisfiabilité booléenne avec apprentissage de clauses guidé par les conflits. Le point de départ de toutes les autres théories.","oss-aion-theory-matrix.6078532ab2":"Quantificateurs","oss-aion-theory-matrix.02f664dd36":"Logique du premier ordre avec instanciation basée sur des modèles. Raisonne sur forall et exists sur les sortes prises en charge.","oss-aion-theory-matrix.49167dbc57":"Arithmétique linéaire","oss-aion-theory-matrix.45f053dc73":"Arithmétique","oss-aion-theory-matrix.876aafb6c1":"Arithmétique linéaire entière et entrées réelles à une échelle déclarée. En interne, le vérificateur utilise des valeurs entières ou à virgule fixe adaptatives.","oss-aion-theory-matrix.b618fadea3":"Non linéaire","oss-aion-theory-matrix.fd99188844":"Arithmétique entière non linéaire et entrées réelles à une échelle déclarée. Le vérificateur utilise des valeurs entières ou à virgule fixe adaptatives, jamais de valeurs à virgule flottante.","oss-aion-theory-matrix.d11f66aff2":"Entrée à virgule flottante","oss-aion-theory-matrix.19080aec82":"L'entrée IEEE 754 n'est acceptée qu'à la frontière, puis décodée en champs binaires avant la vérification. Aucune valeur à virgule flottante n'est stockée, accumulée ou calculée en interne.","oss-aion-theory-matrix.914807cdef":"Bitvectors","oss-aion-theory-matrix.e5e429bcc9":"Données","oss-aion-theory-matrix.23c278d5ca":"Mots binaires de largeur fixe avec sémantique de débordement. Pour la vérification matérielle et la vérification de protocoles binaires.","oss-aion-theory-matrix.b90cc9bfd2":"Tableaux","oss-aion-theory-matrix.eac25fcfc6":"Théorie des tableaux avec axiomes select et store. Les fragments décidables sont suivis explicitement.","oss-aion-theory-matrix.3816c4beac":"Chaînes","oss-aion-theory-matrix.8e5a47db7d":"Équations de mots, contraintes de longueur et appartenance à des expressions régulières sur les chaînes.","oss-aion-theory-matrix.0efe5fd2a3":"Temporel","oss-aion-theory-matrix.ab14d0a7db":"Programmes","oss-aion-theory-matrix.12dfdaf96a":"crate compagnon","oss-aion-theory-matrix.dd600bd946":"Fragments de logique temporelle linéaire et ramifiée pour raisonner sur le comportement dans le temps.","oss-aion-theory-matrix.bb8c6ec608":"Probabiliste","oss-aion-theory-matrix.042a4dc40b":"Raisonnement sur les programmes probabilistes, y compris l'inférence de style Datalog probabiliste.","oss-aion-theory-matrix.1e1837d4e8":"Concurrent","oss-aion-theory-matrix.60e30b1d8e":"Raisonnement sur les programmes concurrents et les entrelacements que leurs threads peuvent produire.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"couverture des théories","oss-aion-theory-matrix.4329e5da7b":"11 domaines logiques","oss-aion-theory-matrix.dc1baa8539":"noyau + compagnons","oss-aion-theory-matrix.5b1e898fc0":"Théorie","oss-aion-theory-matrix.cd89376f98":"Vit dans","oss-aion-theory-matrix.df1e1e1732":"Onze théories, chaque raisonneur produisant des étapes que l'émetteur de preuves peut enregistrer et qu'un\n            vérificateur peut rejouer.","oss-aion-theory-matrix.36ce8cbd4c":"PROP à CONCUR","oss-aion-three-questions.381a478392":"Deux réponses, une limite","oss-aion-three-questions.b695e87b19":"deux répondues, une possédée","oss-aion-three-questions.9f5234300d":"La troisième question n'est pas la nôtre, et le dire est ce qui rend les deux premières dignes\n          d'intérêt.","oss-aion-three-questions.8149763299":"La conformité tient, un invariant échoue avec sa trace.","oss-aion-three-questions.5974dafe20":"la porte est dessinée aussi solidement que le mur","oss-aion-three-questions.392d2df212":"Le propriétaire du modèle détient cette question, et la détient en permanence. Aucun certificat ici\n                ne la touche, et aucun ne l'implique en silence non plus.","oss-aion-three-questions.c27ccdf78d":"validité physique","oss-aion-three-questions.dbbe530d6c":"ce modèle représente-t-il le monde réel","oss-aion-three-questions.44b8fe96f9":"étape 1 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"contre-exemple, soulevé et agrandi","oss-aion-three-questions.ed4bde3030":"la pression de la boucle reste sous 8 bar","oss-aion-three-questions.4676659f50":"la vanne de dérivation ne s'ouvre jamais deux fois en une étape","oss-aion-three-questions.045757b8af":"la température de retour reste sous 95 °C","oss-aion-three-questions.24fa71fdd6":"vérifications des invariants","oss-aion-three-questions.846ee97ae5":"les invariants déclarés tiennent-ils sur toute l'exécution","oss-aion-three-questions.17f80cae31":"L'exécution se reproduit à partir de ce que le certificat déclare.","oss-aion-three-questions.ba01008496":"t = 4,20","oss-aion-three-questions.ff4e31b5a8":"x0 = 2,5","oss-aion-three-questions.a74e1bd7e0":"t = 1,75","oss-aion-three-questions.63df9305f6":"tolérance 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"pas 0,01 s","oss-aion-three-questions.8c30aa1c6e":"conformité d'exécution","oss-aion-three-questions.b3c58a82bd":"le modèle et la configuration déclarés ont-ils produit cette trajectoire","oss-aion-three-questions.5d3f336ca9":"hash blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"chiller-loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"modèle et FMU","oss-aion-three-questions.b697dd615a":"deux sur trois","oss-aion-three-questions.f14f15b304":"trajectoire","oss-aion-three-questions.f1f1425b65":"paramètres","oss-aion-three-questions.910e029098":"illustratif","oss-aion-three-readings.41d8442e84":"les lectures et leurs confiances appartiennent à AION, le choix vous revient, et il est consigné","oss-aion-three-readings.42e8a93311":"trois lectures, une décision, et elle a un auteur","oss-aion-three-readings.62b4619c99":"un compte qui ne peut pas descendre sous zéro","oss-aion-three-readings.48a15f3a18":"un nombre entier inférieur à cinq","oss-aion-three-readings.ae3925651e":"est-ce que retries est un nombre entier, un compte, ou n'importe quelle valeur ?","oss-aion-three-readings.dffe60eb6a":"question posée","oss-aion-three-readings.fb76182a92":"demandé, non supposé","oss-aion-three-readings.8c3f96fa33":"Retries doit être inférieur à cinq","oss-aion-three-readings.e9be13f9ec":"AION soulève l'ambiguïté au lieu de la trancher. Il nomme le type d'ambiguïté,\n          liste les lectures avec la confiance que chacune porte et la condition que chacune\n          imposerait, et pose une question nommant la variable en jeu. La décision appartient\n          toujours à une personne. Ce qui change, c'est qu'elle est prise une fois, pour la\n          trace, par celui qui est responsable de l'exigence plutôt que par celui qui se\n          trouvait faire la conversion.","oss-aion-three-readings.f26c9b4ff8":"Moins de cinq tentatives, comptées en entier. Ou moins de cinq\n          là où quatre et demi est une valeur légitime. Ou un compte qui ne peut pas non plus\n          descendre sous zéro. Ce sont trois règles différentes et la différence finit par\n          faire surface comme un incident. Dans le mode de travail ordinaire, l'une d'elles\n          était choisie par celui qui faisait la traduction, un jeudi, sans en informer\n          personne.","oss-aion-three-readings.7b5121a8f0":"« Retries doit être inférieur à cinq. »","oss-aion-three-readings.ffe5d68fe6":"Quelqu'un en a choisi une.","oss-aion-three-readings.55b8b0b398":"Votre phrase avait deux lectures.","oss-aion-three-readings.2d1501c7e4":"La décision silencieuse que personne n'a prise","oss-aion-three-readings.bec998cdfe":"n'importe quel nombre, y compris quatre et demi","oss-aion-time-left.88430838dd":"rien n'a surpris personne","oss-aion-time-left.227b19b5aa":"Cela n'a fait que diminuer, devant quelqu'un qui pouvait encore agir.","oss-aion-time-left.ac61a8b97d":"Le nombre était là au huitième jour et il n'a jamais augmenté.","oss-aion-time-left.0703308f0f":"Il n'y a pas d'alarme sur cette feuille et rien n'est passé au rouge. Chacune de ces phrases est la même phrase lue un jour différent.","oss-aion-time-left.6222c927fd":"Cela va à la personne qui valide les réponses tardives, avec la date, et elle vous répond.","oss-aion-time-left.4dfda36be9":"14 jours écoulés","oss-aion-time-left.d5f128da73":"la réponse était due le seize","oss-aion-time-left.58cdff89f9":"une demande différente, lue après la date","oss-aion-time-left.6a7651b700":"trente jours après votre demande","oss-aion-time-left.813d27411f":"la réponse est due","oss-aion-time-left.d8b0301347":"vous avez demandé une copie de ce qu'ils détiennent sur vous","oss-aion-time-left.4c3d95bf6a":"la demande","oss-aion-time-left.795bcac29d":"quatre jours restants aujourd'hui","oss-aion-time-left.56ff55acfb":"une échéance, lue quatre fois","oss-aion-time-left.acafbd7541":"appelez-les aujourd'hui","oss-aion-time-left.148b21034f":"4 jours restants","oss-aion-time-left.f165b88925":"relancez cette semaine","oss-aion-time-left.b85bbd50bd":"8 jours restants","oss-aion-time-left.4a8b5bac9b":"toujours bon","oss-aion-time-left.67f9059ac5":"14 jours restants","oss-aion-time-left.ca372a8fb7":"notez-le dans l'agenda","oss-aion-time-left.16f29c69b8":"22 jours restants","oss-aion-time-left.910e029098":"illustratif","oss-aion-two-routes.89c24f999c":"l'autre examine les preuves","oss-aion-two-routes.3a5d844ae5":"une voie les reproduit","oss-aion-two-routes.028a6cf2d7":"leur certificat","oss-aion-two-routes.5c837ce426":"leur système","oss-aion-two-routes.27f65e5e47":"ce dont il a besoin","oss-aion-two-routes.d0765bbac1":"COMPARER","oss-aion-two-routes.91f8c088aa":"et ce dont chacun a besoin","oss-aion-two-routes.8930c1c9b8":"Deux façons d'être sûr","oss-aion-two-routes.d56d985300":"vérifier","oss-aion-two-routes.e1fc5057de":"reproduire","oss-aion-two-routes.b028b89ea7":"leur assistance","oss-aion-two-routes.999464a52f":"non produit","oss-aion-two-routes.9b9252883d":"le certificat lui-même","oss-aion-two-routes.4dc537c80f":"la revendication, les entrées et le contrat","oss-aion-two-routes.ad95c10298":"leur version exacte et leur machine","oss-aion-two-routes.cfd05bd2f2":"leur licence","oss-aion-value-grid.6cc3364a24":"Preuve jointe","oss-aion-value-grid.4910ee0aea":"Preuve pour chaque résultat","oss-aion-value-grid.411bf64817":"Le résultat et son certificat compact voyagent ensemble, de sorte que la preuve est créée au moment où la décision est prise, plutôt que reconstituée lors de la révision.","oss-aion-value-grid.05f9c0dc34":"Vérifié par un autre moteur","oss-aion-value-grid.eea79d1484":"Un vérificateur distinct confronte le certificat aux prémisses d'origine. Le modèle ne peut pas noter sa propre réponse.","oss-aion-value-grid.cbd17d59ba":"Formats portables","oss-aion-value-grid.5e6cba1721":"La preuve survit à l'environnement d'exécution","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe et le format de preuve unifié maintiennent le certificat lisible après qu'un modèle, un solveur ou un service a changé.","oss-aion-value-grid.a60bdd7985":"Vérification hors ligne","oss-aion-value-grid.ebfb47f4ba":"Aucune dépendance en direct","oss-aion-value-grid.6144cbfcab":"La vérification d'une preuve ne nécessite ni réseau, ni compte, ni connexion en direct avec nous. Ce dont vous dépendez au moment de l'audit n'a aucune dépendance récurrente envers un fournisseur.","oss-aion-value-grid.26ef011865":"Souveraineté européenne","oss-aion-value-grid.23672ea195":"Européen, et à vous de l'exécuter","oss-aion-value-grid.26e89e1455":"Conçu en Europe et exécutable entièrement sur du matériel que vous contrôlez. Vos preuves et vos décisions n'ont jamais à quitter une juridiction que vous approuvez.","oss-aion-value-grid.66ac329042":"Audits dé-risqués","oss-aion-value-grid.9c8c22f54d":"Preuve qu'une autre partie peut tester","oss-aion-value-grid.6572cc2be6":"Lorsqu'un régulateur ou un auditeur demande comment une décision a été prise, vous remettez un certificat que n'importe qui peut vérifier, au lieu de vous fier à une promesse de fournisseur que vous ne pouvez pas tester.","oss-aion-value-grid.6b5eb5323e":"Preuve de décision","oss-aion-value-grid.870c4d024a":"Vérification indépendante","oss-aion-value-grid.93e2c4e5c4":"Commencez par un chemin de décision et conservez son certificat tout au long de la révision.","oss-aion-value-grid.217fc9a42f":"certificat · vérificateur · archive","oss-aion-what-you-got.2b69c8154b":"et chaque question en soulève une","oss-aion-what-you-got.7f629c0e9f":"quatre choses que vous recevez","oss-aion-what-you-got.7a9727c9f8":"vérifiable par vous","oss-aion-what-you-got.bc1c663195":"ce que vous recevez","oss-aion-what-you-got.0da9f51943":"OBSERVÉ","oss-aion-what-you-got.8becd8f7be":"et ce que cela règle","oss-aion-what-you-got.7d3574bfa5":"Ce qu'un fournisseur remet","oss-aion-what-you-got.0306f977ae":"Quelle version l'a dit. Pas ce qu'elle a vérifié, ni comment.","oss-aion-what-you-got.fd12863535":"non","oss-aion-what-you-got.7b0c210f52":"Un numéro de version","oss-aion-what-you-got.f78a920a78":"Leur description de leur propre processus, écrite par eux.","oss-aion-what-you-got.301941b624":"leur compte rendu","oss-aion-what-you-got.7591a35462":"Une note méthodologique","oss-aion-what-you-got.5eec058df8":"Quelqu'un se porte garant du mot, pas du raisonnement.","oss-aion-what-you-got.28fde2f659":"le nom uniquement","oss-aion-what-you-got.7573daa505":"Une signature","oss-aion-what-you-got.94ebda1bd3":"Sûr, faisable, cohérent. Un mot, sans fonctionnement.","oss-aion-what-you-got.c99c8e4a9b":"Une conclusion","oss-aion-where-it-runs.1ba0334f9f":"il n'y a pas de troisième","oss-aion-where-it-runs.03e2311510":"vous configurez les deux","oss-aion-where-it-runs.076d156600":"rien à configurer à l'intérieur","oss-aion-where-it-runs.f16ac53550":"à vous de configurer","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"et rien d'autre ne sort","oss-aion-where-it-runs.6cdd4e486a":"Deux limites configurables","oss-aion-where-it-runs.39616fc267":"Un programme que vous installez, s'exécutant comme processus local.","oss-aion-where-it-runs.00bfadf39c":"Un prouveur externe","oss-aion-where-it-runs.801db3efcd":"Uniquement les adresses que vous définissez, et seulement une fois que vous les avez définies.","oss-aion-where-it-runs.d296df3171":"Un cluster","oss-aion-where-it-runs.67204bf5d4":"aucune route","oss-aion-where-it-runs.91984fcc1b":"Un modèle hébergé","oss-aion-where-it-runs.b8b252650e":"aucun client du tout","oss-aion-where-it-runs.ee39579eba":"La construction par défaut","oss-aion-where-it-runs.d49fe2c403":"non installé","oss-aion-where-you-meet-it.2a85ffb07a":"Le lieu change, la promesse reste : une raison que vous pouvez lire, et un contrôle que chacun peut exécuter.","oss-aion-where-you-meet-it.9a8413cd88":"Vous ne ferez jamais tourner AION vous-même. Voici les types d'endroits où il peut travailler discrètement pour\n            vous.","oss-aion-where-you-meet-it.33fb502270":"Trois moments du quotidien","oss-aion-where-you-meet-it.40e32f89eb":"Toute personne de confiance peut vérifier le reçu et le confirmer.","oss-aion-where-you-meet-it.03ef5e1328":"Lorsqu'un bureau utilise une machine pour examiner votre dossier, vous avez droit à une raison que vous pouvez lire et remettre en question.","oss-aion-where-you-meet-it.2390278256":"Une prestation ou un formulaire est vérifié","oss-aion-where-you-meet-it.2e92ab22dd":"Dans un service public","oss-aion-where-you-meet-it.0bd84e3a14":"La raison est écrite, pas enfermée dans un système.","oss-aion-where-you-meet-it.c4a1d64452":"Les décisions financières prises par une machine peuvent sembler être une porte fermée. Le reçu l'ouvre, en étapes claires.","oss-aion-where-you-meet-it.e17885868a":"Un prêt ou un remboursement est calculé","oss-aion-where-you-meet-it.5e45cf57a0":"À la banque","oss-aion-where-you-meet-it.e2c536b2b3":"Vous pouvez demander le reçu et le montrer à votre propre médecin.","oss-aion-where-you-meet-it.0b56f170bf":"Lorsqu'une machine a son mot à dire dans votre traitement, vous devriez pouvoir voir la raison qui la sous-tend, pas seulement le résultat.","oss-aion-where-you-meet-it.0332b7d1b7":"Un ordinateur aide à décider de vos soins","oss-aion-where-you-meet-it.4046c6355b":"À l'hôpital","oss-aion-which-did-you-mean.1ff884a89e":"demandé, pas deviné","oss-aion-which-did-you-mean.2eb1c230f2":"Le choix appartient à celui qui a écrit la phrase.","oss-aion-which-did-you-mean.d94da790d1":"Deux lectures ordinaires, un cas entre elles.","oss-aion-which-did-you-mean.3b4d06d361":"Aucune question n'a été posée, et personne n'a été informé de celle des deux sur laquelle elle tombait.","oss-aion-which-did-you-mean.93a161cede":"Les heures sont comptées entières. Choisi un jeudi après-midi par quelqu'un qui devait\n                livrer.","oss-aion-which-did-you-mean.4b73aced85":"en vigueur","oss-aion-which-did-you-mean.17e120a269":"Annuler si le retard dépasse une heure.","oss-aion-which-did-you-mean.ddf20b2d3c":"la manière ordinaire de régler cela","oss-aion-which-did-you-mean.3f42a39277":"tel qu'il se déroule réellement","oss-aion-which-did-you-mean.1e9a34969e":"heures entières","oss-aion-which-did-you-mean.9c2a4532bb":"Quand vous avez écrit plus d'une heure, vouliez-vous dire des heures entières, ou le retard tel qu'il\n                se déroule réellement ?","oss-aion-which-did-you-mean.280b34e1e5":"Votre train a soixante-quinze minutes de retard et la réservation est annulée, avant que vous\n                    ayez décidé si vous souhaitez encore voyager.","oss-aion-which-did-you-mean.97e4112012":"Un retard, c'est aussi long qu'il l'est réellement. Une heure et quart, c'est plus d'une\n                    heure.","oss-aion-which-did-you-mean.c5d620cfa2":"lecture deux","oss-aion-which-did-you-mean.466780685c":"Votre train a soixante-quinze minutes de retard et rien n'est annulé. Vous attendez\n                    sur le quai un train qui arrive encore.","oss-aion-which-did-you-mean.6b67a39030":"Les heures sont comptées entières. Un retard d'une heure et quart compte pour une heure,\n                    et une heure n'est pas plus d'une heure.","oss-aion-which-did-you-mean.9cf85c69a8":"lecture un","oss-aion-which-did-you-mean.ef52f97a5b":"plus d'une heure","oss-aion-which-did-you-mean.371c6d7efd":"Annuler si le retard est","oss-aion-which-did-you-mean.887640fa01":"vous avez écrit","oss-aion-which-did-you-mean.3650db40be":"en attendant votre réponse","oss-aion-which-did-you-mean.ff312b91d2":"que vouliez-vous dire","oss-aion-which-did-you-mean.6f8f8e9f76":"alors","oss-aion-which-did-you-mean.910e029098":"illustratif","oss-aion-your-corpus.a54df5506a":"deux semaines, avec un résultat écrit","oss-aion-your-corpus.ee646eb7cc":"Exécutez le même corpus avec ce que vous utilisez actuellement et placez les deux rapports côte à\n            côte.","oss-aion-your-corpus.f2d4df122d":"Soixante-deux sur soixante-quatre, sur votre machine, sous votre plafond.","oss-aion-your-corpus.8ff7db55b1":"ce plafond","oss-aion-your-corpus.8ada74cbb4":"cette machine","oss-aion-your-corpus.b2ed177f82":"ce corpus","oss-aion-your-corpus.71e1422875":"une fonction de","oss-aion-your-corpus.94ef1b7ae8":"sur 64 corrects","oss-aion-your-corpus.2ce97993d5":"aucun verdict pour l'instant","oss-aion-your-corpus.90326d4307":"41 s écoulées","oss-aion-your-corpus.69bb8da1c5":"toujours en cours","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"aucune réponse enregistrée","oss-aion-your-corpus.72330c3954":"16 Go d'espace d'adressage","oss-aion-your-corpus.b4f0923eae":"16 Go par exécution","oss-aion-your-corpus.ff367b6b79":"plafond d'espace d'adressage","oss-aion-your-corpus.d1ea89e714":"32 cœurs, 128 Go","oss-aion-your-corpus.dbd2aaf9ae":"exécution illustrative","oss-aion-your-corpus.e380724f89":"un plafonné, un toujours en cours","oss-aion-your-corpus.f6f66c95d6":"Votre corpus, en place","oss-aion-your-corpus.8d95729188":"plafonné","oss-aion-your-corpus.7817c52b25":"machine","oss-aion-your-corpus.d95f464bc9":"instances","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"corpus","oss-aion-your-sentence-parts.8e7ed848f6":"vous pouvez toujours le lire","oss-aion-your-sentence-parts.78c48f428a":"vous l'avez écrit","oss-aion-your-sentence-parts.c569c19f0b":"Relisez, cela donne la même règle. Rien n'a dérivé entre-temps.","oss-aion-your-sentence-parts.43015fadc4":"Personne ne devrait être facturé deux fois pour la même commande le même mois.","oss-aion-your-sentence-parts.a14707f800":"Votre phrase, inchangée","oss-aion-your-sentence-parts.2ccea15065":"un an plus tard","oss-aion-your-sentence-parts.a80d4309ae":"En haut du message, au-dessus de la partie qui n'a pas été respectée.","oss-aion-your-sentence-parts.f33c43e8f9":"Votre phrase, citée","oss-aion-your-sentence-parts.f0f795235c":"le jour où elle s'applique","oss-aion-your-sentence-parts.fe74b20e8f":"Telle que vous l'avez saisie, avec une ligne simple indiquant comment elle a été lue.","oss-aion-your-sentence-parts.358b1cbc5d":"Votre phrase, conservée","oss-aion-your-sentence-parts.13211e2743":"le jour où vous l'écrivez","oss-aion-your-sentence-parts.27a0362e59":"VOS MOTS","oss-aion-your-sentence-parts.d37598cc12":"à trois jours différents","oss-aion-your-sentence-parts.32a5ee7a1f":"La même phrase","page-breadcrumb.c766e66518":"Fil d'Ariane","page-toc.7e439c353e":"Sur cette page","section_st_a1_display-split.7c9a7c0610":"Détail","section_st_f1_cta-dark.90e40d5043":"Commencer","spindle-extras.127edee78d":"SIGNÉ","toc-rail.f5cbdf6bfb":"Sommaire"}