verification

Claim Verification Gate

Le rôle de ce gate est simple: ne pas accepter une affirmation parce qu'elle est bien formulée. Une phrase plausible reste une hypothèse tant qu'une preuve indépendante ne la soutient pas.

Claims

elora-verify claims extrait des affirmations candidates depuis un livrable texte, avec source et ligne quand c'est possible.

Questions ouvertes

plan génère des questions de vérification ouvertes. Le brouillon original ne peut pas servir de réponse.

Cross-check

execute et cross-check comparent les claims aux preuves fournies puis proposent keep, revise, remove ou mark-uncertain.

Pourquoi ce gate existe

Les modèles produisent souvent des phrases cohérentes, mais la cohérence textuelle n'est pas une preuve. Elora doit donc séparer trois choses: ce que le worker a écrit, les questions qu'il faudrait poser pour le vérifier, et les preuves réellement disponibles.

Le gate s'inspire de Chain-of-Verification, mais il reste aligné avec les invariants d'Elora: local-first, déterministe, inspectable, proposal-only et sans mutation cachée.

Commande locale

brain@elora:~$ elora-verify inspect --file result.md --evidence-file evidence.md --json
contract_version: elora-claim-verification-v1
status: passed | warning | failed
blocks_acceptance: true | false
policy: proposal_only + no_model + no_worker_dispatch

États V1

passed: les claims extraits sont soutenus par les preuves fournies.
warning: au moins un claim reste partiel ou unverifiable; il faut fournir de la preuve, reformuler, ou marquer l'incertitude avant usage public ou critique.
failed: une contradiction explicite est détectée; le Result Acceptance Gate doit bloquer la clôture done sauf override opérateur audité.

Ce que le gate ne fait pas

Il ne lance pas de modèle, ne dispatche pas de worker, ne réinterroge pas internet, n'écrit pas Memory V2, ne change pas le routing et ne promeut aucun apprentissage. Il produit un snapshot d'audit et des actions proposées.

V1 reste volontairement conservatrice. Une absence de preuve n'est pas transformée en preuve d'erreur. Elle devient visible sous forme d'incertitude, ce qui suffit déjà à empêcher Elora de confondre assurance linguistique et connaissance vérifiée.

Intégration

Quand une exécution possède un livrable texte, le Result Acceptance Gate conserve le snapshot claim_verification dans result_acceptance.evidence. Le cockpit peut donc montrer si le résultat est accepté, accepté avec warning de factualité, ou bloqué par contradiction.