VIGIL — Preuve
Le modèle des Oracles : piste ou fait
VIGIL refuse de deviner. Une observation reste une piste tant qu’une autorité indépendante ne l’a pas re-vérifiée en fait confirmé — et si la vérification ne se déclenche pas, l’élément n’est pas promu en silence.
Ce qu’est un Oracle
Un Oracle est une règle déterministe qui se ré-exécute sur une preuve retenue. Il ne produit pas l’observation initiale ; il vérifie de façon indépendante si cette observation tient. Un Oracle manquant, une entrée absente ou une preuve ambiguë produit un refus ou un saut — jamais un succès supposé.
Une preuve qui survit à la sortie de l’outil
Un fait confirmé est signé et re-vérifiable hors ligne : la preuve brute, son empreinte, son contexte et sa provenance sont conservés, et un Oracle compatible peut se ré-exécuter plus tard. Un rapport distingue toujours les niveaux de vérité — ce qui est prouvé, et ce qui est seulement observé.
Ce que les vérifications prouvent, et ne prouvent pas
L’honnêteté du modèle réside dans ses limites. Une vérification de posture prouve un état retenu, non qu’une attaque live a été menée. Un parse-proof côté requête prouve qu’une structure hostile était présente, non que le backend a été exploité. L’absence de signal ne prouve pas l’absence de vulnérabilité — elle signifie que VIGIL ne détient pas assez de preuve pour en confirmer une.