Aller au contenu

Projet indépendant de R&D · Cologne

AnyLAI

Vue d'ensemble de la recherche appliquée

Des preuves face à une affirmation

AnyVerify

Un résultat de vérification n'a de valeur que s'il distingue deux sources en désaccord d'une vérification qui n'a pas pu être effectuée.

Statut: Concept de recherche · prototype non publié

Le modèle, de façon interactive

Affirmation : la déclaration d'origine de cet envoi correspond à un enregistrement indépendant de registre. Le profil compare cinq attributs, chacun avec son propre comparateur. Modifiez ce que le registre a renvoyé et observez le résultat.

Ce que le registre a renvoyé
AttributDéclarationRegistreComparateurVérification
Pays d'origineBRBRexactConcordance
Nom du producteurCooperativa São JoãoCOOPERATIVA SAO JOAOtexte normaliséConcordance
Quantité19,200 kg19,450 kgnombre, ±2 %Concordance
Date de récolte (facultative)2026-06-102026-06-12date, ±3 joursConcordance
Référence du registreBA-0427-7731BA-0427-7731exactConcordance

Résultat

Corroboré : les deux sources concordent sur chaque attribut requis.

Taux de concordance

1,00

5 / 5

La question de recherche

Les preuves disponibles étayent-elles réellement une affirmation précise, attribut par attribut, et comment un système doit-il le dire lorsqu'il ne peut pas trancher ?

  • Sur quels attributs les sources s'accordent-elles ?
  • Où divergent-elles, et de combien ?
  • Qu'est-ce qui n'a pas pu être vérifié du tout ?
  • Quand une personne doit-elle trancher ?

Primitives fondamentales

  • Dossier de vérification

    AnyVerifyCase

    Une affirmation sur un sujet, vérifiée au regard d'un profil versionné, liée au dossier qu'elle vérifie.

  • Profil

    profiles/*.yaml

    Quels attributs comparer, entre quelles deux sources, avec quel comparateur et quelle tolérance, et lesquels sont requis. Des données, validées au chargement, avec refus par défaut.

  • Vérification

    AnyVerifyCheck

    Un attribut comparé : concordance, discordance, absent ou non concluant, avec les valeurs observées et un code de motif.

  • Résultat

    VerificationResult

    Corroboré, contredit, insuffisant, résolu par examen, ou en attente. Insuffisant et contredit ne sont jamais confondus.

  • Taux de concordance

    attribute-agreement-ratio

    La part des attributs vérifiés qui concordent, nommée comme une méthode, et non présentée comme une probabilité.

  • Examen et attestation

    kernel authority act

    Une personne dotée de la capacité enregistre une décision et son motif. Le résultat de la machine est conservé, pas remplacé.

Un scénario, étape par étape

Ce qui se passe entre l'arrivée d'une déclaration et un résultat sur lequel chacun peut s'appuyer.

Étape 1 sur 6: Ouvrir un dossier au regard d'un profil

  1. L'affirmation, le sujet qu'elle concerne et la version du profil sont fixés dès le départ, de sorte que le résultat peut toujours dire par rapport à quoi il a été mesuré.

  2. La déclaration du fournisseur et l'enregistrement du registre sont joints comme preuves, chacun avec sa source et son heure.

  3. Cinq comparaisons, chacune enregistrée séparément. Une valeur manquante est enregistrée comme absente, pas comme une discordance.

  4. L'évaluateur de règles lit les vérifications. Des sources en désaccord sur un attribut requis donnent contredit ; un attribut requis qui n'a pas pu être comparé donne insuffisant.

  5. Une contradiction ouvre une tâche d'examen. L'attestation de l'examinateur résout le dossier et figure à côté du résultat de la machine, qui reste lisible.

  6. Chaque résultat a une fenêtre de validité définie par le profil. Passé ce délai, le résultat est périmé et doit être réévalué plutôt que réutilisé.

Ce qui le distingue

AnyValid

Sa question

Qu'a dit la source faisant autorité elle-même ?

Pourquoi ce n'est pas la même chose

AnyVerify compare les sources entre elles. Il ne demande de verdict à aucune autorité et ne consulte rien.

AnyTrace

Sa question

Où cette chose est-elle passée ?

Pourquoi ce n'est pas la même chose

AnyVerify prend un dossier de traçabilité comme sujet et dit si une affirmation à son propos tient.

AnyUSMCA

Sa question

Les preuves d'origine satisfont-elles à un jeu de règles nommé ?

Pourquoi ce n'est pas la même chose

AnyUSMCA utilise les résultats d'AnyVerify comme entrées ; AnyVerify ne sait rien des règles commerciales.

Limites et non-objectifs

  • Deux sources qui concordent, c'est une corroboration, pas une preuve. Les deux peuvent se tromper.
  • Ce n'est pas un moteur de consultation, et il n'interroge aucune autorité.
  • Un résultat n'est pas un certificat et ne tire aucune conclusion juridique.
  • Les deux profils sont des profils de référence, pas la liste de contrôle officielle de qui que ce soit.

Ce qui existe, et ce qui n'existe pas

Dans le dépôt

  • app/products/anyverify/{service,compare}.py : comparateurs, vérifications, décision, examen, expiration, réutilisation
  • Deux profils de référence : origin-declaration.v1 et supplier-identity.v1
  • tables anyverify_cases et anyverify_checks
  • 10 routes authentifiées
  • tests/any_family/test_anyverify.py : les quatre issues des comparateurs, insuffisant face à contredit, examen, expiration (36 tests)

Programme de recherche, non construit

  • Une connexion à un registre réel, quel qu'il soit ; les sources sont fournies par l'appelant
  • La comparaison de plus de deux sources pour un même attribut
  • Tout ajustement du taux de concordance sur des issues constatées

Sa place dans AnyLAI

AnyVerify

  • Application kernelLes vérifications, les résultats et les examens sont des preuves, des événements, des tâches et des actes d'autorité du noyau.
  • AnyTraceLié au dossier de traçabilité qu'il vérifie.
  • AnyUSMCASes résultats sont les preuves d'origine sur lesquelles s'appuient les règles d'AnyUSMCA.
  • Trust architectureLe même principe que l'architecture de confiance : une personne là où la preuve est incertaine.
  • lien entre dossiers via le noyau
  • usage direct d'un autre module ou système
  • appel en mode fantôme : enregistré, jamais exécuté

État actuel

Statut de recherche

  • Concept de recherche · prototype non publié
  • Non publié : routes désactivées
  • Aucun usage en production, aucune donnée réelle
  • 36 tests dans le dépôt

Un module prototype reposant sur le noyau partagé, avec deux profils de référence, un service, des tables, des routes et des tests. Désactivé, non publié, non utilisé sur des données réelles.

Suite de tests: python-backend/tests/any_family/test_anyverify.py

Projet de recherche · R&D indépendante · Pas une offre commerciale