LANXAS AI
Preuves et essais reproductibles
Aucune affirmation n'est transmise sans avoir franchi une porte de preuve verifiable et scellee.
Chaque reponse de l'assistante LANXAS est presentee a un moteur de
certification avec son bordereau de preuves : support documentaire,
certificat de preuve, contradiction avec le corpus, confiance,
couverture des citations, fraicheur des sources. La porte admet, ou
refuse en designant precisement ce qui manque, et chaque verdict est
scelle dans un journal a chainage cryptographique, rejouable par un
tiers.
La campagne d'essais du 18 aout 2026
356essais automatises, zero echec
38theoremes verifies par machine, tous concluants
10 000assertions au banc de certification, zero ecart
100 %des 4 969 refus expliques, condition par condition
1 000 / 1 000alterations du journal detectees
0 / 2 000violation des bornes de calcul annoncees
Debit mesure du banc : 1 363 assertions par seconde.
Rejeu deterministe : trois executions sur trois strictement identiques.
Ces mesures dependent de la machine ; les garanties de construction,
elles, n'en dependent pas.
Ce qui est garanti, et ce qui ne l'est pas
- Garanti par construction : aucune assertion n'est
transmise sans un bordereau de preuve satisfaisant la politique
declaree ; tout refus est explique par les conditions violees et un
noyau minimal ; chaque verdict est scelle, horodate et chaine ; la
configuration qui a decide est identifiee par empreinte et
rejouable.
- Refuse d'office, sans execution : tout bordereau
incoherent ou falsifie, valeur hors domaine, plus de citations que
d'affirmations, champ manquant. L'ignorance conclut au refus, jamais
a l'admission.
- Non garanti : la verite des mesures produites par les
etages amont. La formulation exacte de la garantie est : aucune
assertion non prouvee n'est transmise, et non : aucune erreur n'est
possible.
Identification cryptographique
Les essais sont rattaches aux artefacts exacts par leurs
empreintes SHA-256. Toute modification d'un seul octet change
l'empreinte.
| Artefact | Empreinte SHA-256 |
|---|
| Paquet moteur execute | 41196acabeea504791c3717f08b786f003079209ef3aa75c341c3fd12496271c |
| Dossier de la demande de brevet | 11fe5f3c164d594f5f77372a053c299773332c35bc6ff4676ce6dd852227c83a |
Statut de ces preuves
Ce qui precede est une campagne d'essais reproductible : les
journaux, les commandes et les empreintes permettent a tout tiers
outille de rejouer la verification et de constater les memes
resultats. Le moteur fait l'objet de
demandes de brevet d'invention en France.
LANXAS, La Roche-sur-Yon, France ·
lanxas.com
Campagne du 18 aout 2026, version 0.0.0 du moteur de certification.