Aller au contenu
NELSE — Rules into realityNELSE — Rules into reality
La preuve · Examinez ce qui reste

Une réponse s’affiche. Une décision se démontre.

Les faits, les règles, les contrôles et les validations : regardez ce que chaque dispositif apporte, puis testez les traces d’un même dossier fictif.

LLM

Rédiger et expliquer

Produit une réponse, une synthèse ou une proposition à partir du contexte fourni.

Ce qu’il faut encore vérifier

Vérifier les faits, les sources, les omissions et les contrôles réellement effectués. Une réponse ne constitue pas, à elle seule, un journal d’exécution.

LLM + RAG

Retrouver et contextualiser

Ajoute des documents retrouvés au contexte de génération. La réponse peut citer ses sources.

Ce qu’il faut encore vérifier

Vérifier les documents retrouvés, leur version et leur interprétation. Le contexte enrichi ne garantit ni l’exhaustivité ni une réponse correcte.

Parcours instrumenté

Contrôler et conserver la trace

Exécute des conditions explicites sur des faits identifiés ; conserve les versions, résultats et validations prévus par le dispositif.

Ce qu’il faut encore vérifier

Vérifier la justesse des règles, la couverture du périmètre et la qualité des faits. Reproductible ne signifie pas automatiquement juridiquement juste.

Ces briques peuvent se combiner. Un produit utilisant un LLM ou du RAG peut aussi intégrer des contrôles déterministes et un journal. Cette comparaison décrit des fonctions, pas un audit de produits concurrents.

DEMO-024 · Calculs locaux · données fictives

Changez le dossier. Examinez ce qui change.

Exemple de procédure interne fictive : avant clôture, un responsable doit être identifié et deux pièces présentes en version 1 ; trois pièces en version 2. Il ne s’agit pas d’une règle de droit.

Contexte soumis au contrôle

  • Version de la procédure : 1
  • Responsable identifié : oui
  • Pièces présentes : 2 / 2

Les boutons modifient les entrées de ce mini-scénario. Les conditions affichées sont calculées localement.

Résultat du contrôle fictif

Prêt pour validation humaine
  • ✓ Responsable renseigné
  • ✓ Nombre de pièces requis atteint

Le résultat ne prononce ni conformité juridique ni autorisation automatique de clôture.

Empreinte de la pièce originale

La pièce JSON déclare le responsable initial. Le bouton « Modifier une pièce » change ce responsable dans une copie, indépendamment du contexte de décision ci-dessus.

Calcul SHA-256…

Contrôle de la copie

Vérification…

Comparaison SHA-256 calculée dans votre navigateur contre l’original de cette démonstration. Elle ne prouve ni la vérité du contenu, ni son auteur, ni sa date.

Démonstrateur pédagogique : calcul de conditions et d’empreintes dans le navigateur, sans appel à un LLM, à un RAG ou au moteur NELSE de production. La restitution historique porte uniquement sur les données fictives conservées ici.

Comprendre les limites et les références

Le NIST décrit les risques de réponses erronées de l’IA générative. Les travaux de Google sur le contexte suffisant montrent que le RAG peut encore produire des réponses incorrectes. Ni le déterminisme ni une empreinte ne certifient la justesse juridique d’un dossier.

NIST · Generative AI Profile · Google Research · Sufficient Context

La preuve

Examinez la preuve directement.

Une preuve utile doit pouvoir être examinée indépendamment de son émetteur. Déposez un paquet : le vérificateur recalcule sa cohérence directement dans votre navigateur.

Ne téléchargez rien : cliquez

Chirurgie de la cataracte

Aucun délai de réflexion réglementaire pour cet acte : le moteur le constate, il n'en invente pas. Le praticien fixe un délai de bonne pratique, et l'écart est tracé.

Chirurgie esthétique

Quinze jours après remise du devis (CSP art. D. 6322-30) : le délai est légal, et bloquant — la décision ne peut pas être enregistrée avant.

Le fichier ne quitte pas votre navigateur. Les empreintes sont recalculées localement. Nous ne conservons ni le paquet, ni son contenu, ni le résultat.

Télécharger le paquet « Chirurgie de la cataracte »·Télécharger le paquet « Chirurgie esthétique »

Établit · n’établit pas

Ce que le contrôle établit, et ce qu'il n'établit pas.

Une preuve sérieuse doit exposer aussi ses limites. Cette matrice distingue donc ce que chaque contrôle établit de ce qu'il ne permet pas de conclure.

Structure

Établitqu’un journal et une racine sont présents dans le paquet

N’établit pasque le paquet provient réellement d’une source donnée

Empreintes

Établitque les empreintes SHA-256 recalculées correspondent aux événements présentés

N’établit pasque les données contenues dans ces événements sont vraies

Chaînage

Établitque chaque événement référence l’empreinte recalculée du précédent

N’établit pasqu’aucune autre version cohérente du fichier n’a jamais existé

Racine

Établitque la racine recalculée correspond à celle déclarée dans ce paquet

N’établit pasqu’elle a été ancrée à une date donnée sans preuve externe indépendante

Corpus

Établitqu’un module, une version et une date d’entrée en vigueur sont déclarés

N’établit pasque ce corpus est juridiquement complet ou correctement encodé

Ancrage

Établitl’état d’ancrage déclaré par le paquet ; une preuve externe peut compléter ce contrôle

N’établit pasl’authenticité de cet ancrage lorsque le justificatif externe n’est pas fourni

Et nous-mêmes

Ce site aussi porte sa version, sa révision et son empreinte.

La même discipline s'applique à nos propres publications : version, révision et empreinte du site restent visibles et contrôlables.

Comment vérifier ce site