La source n’est pas la conclusion
Une référence peut être authentique et pourtant ne pas justifier la phrase qui la cite. Le rapprochement doit porter sur le passage pertinent, l’entité, le contexte et la version. Nous proposons de distinguer « source retrouvée », « affirmation évaluée » et « contrôle indisponible », plutôt que de colorer tout le document en vert.
La signature a un périmètre
Le W3C distingue la vérifiabilité d’un justificatif et la véracité de ses affirmations. Une vérification cryptographique ne garantit donc pas, à elle seule, l’exactitude du contenu. [1] Dans notre approche, le fichier, ses références et ses contrôles doivent rester examinables séparément.
Un exemple de changement
Dans un document fictif, un inventaire indique 80 postes. Après une modification à 85, conserver le lien est utile, mais l’évaluation antérieure ne doit pas être appliquée au nouveau nombre. L’interface peut afficher « à recontrôler » et proposer une revue. Cet exemple explique une règle produit, sans représenter un contrôle effectué.
Ce qu’un dossier de justification devrait contenir
Nous demandons d’identifier le document et sa version, les sources disponibles, les dates de récupération, les contrôles exécutés, les réserves et les empreintes des fichiers livrés. Les informations inconnues restent inconnues. Une source indisponible ne devient pas une absence, et un usage non mesuré ne devient pas une consommation nulle.
Vérifier hors ligne sans surpromesse
Une vérification hors ligne porte sur le paquet et les informations disponibles à cet instant. Elle ne peut pas connaître un changement de source ou une révocation ultérieurs qu’elle n’a pas reçus. L’accès au document et la validité de sa signature sont également distincts : retirer un partage n’efface pas une copie déjà téléchargée.
Où se situe APLOMB LAB ?
Le LAB étudie notamment le rattachement des affirmations et la continuité des évaluations après une modification. L’objectif est de déterminer ce qui peut être réutilisé sans erreur et ce qui doit être revérifié. Toute économie de calcul doit être confrontée à une revue complète et à des contre-exemples avant de devenir une promesse produit.
Références externes
Les traductions décrivent le même périmètre ; elles n’étendent pas la couverture juridique ou technique.