Démonstration illustrative
Un journal peut-il prouver ce qu’il n’a jamais vu ?
Quelques traces suffisent pour raconter une histoire. Suffisent-elles pour raconter toute l’histoire ?
Sources et contexte de lecture
Scénario CB-T01 du banc de capture REG-ARCH · archive de travail du 26 octobre 2026 · illustration fictive, aucune campagne exécutée par cette page.
Rendu public simplifié, lecture du 19 octobre 2026. KB3 : ligne de rendu doctrinale instituée et active. Elle rend le sens ; elle n’est pas le code, ni une constitution. KB2 : ligne antérieure. Ce site ne certifie aucune implémentation. Lire le statut détaillé →
Sur cette page
Deux lignes. Tout semble en ordre.
Un assistant transmet des demandes de remboursement. Voici ce que le journal interne a enregistré.
Exemple fictif : les deux registres de cette page simulent des sources distinctes. Aucun système réel n’est interrogé.
Journal interne
2 demandes capturées- D-041Demande reçue
- D-043Demande reçue
Ces deux lignes sont cohérentes. Mais suffisent-elles pour affirmer qu’aucune demande ne manque ?
Comparer avec le registre d’envoi
Une autre source fait apparaître un écart.
Dans ce scénario, un registre tenu à la source recense trois demandes envoyées. Il est supposé indépendant du journal interne et complet pour cette fenêtre : cette page illustre ces hypothèses, elle ne les démontre pas.
| Demande | Registre d’envoi | Journal interne |
|---|---|---|
| D-041 | Présente | Présente |
| D-042 | Présente | Absente |
| D-043 | Présente | Présente |
D-042 n’apparaît pas dans le journal observé.
Nous pouvons constater cet écart. Nous ne savons pas encore pourquoi la demande manque, ni si elle a été traitée ailleurs.
Le service émetteur et le responsable du journal doivent maintenant rapprocher leurs traces. La comparaison seule ne prouve pas l’effet d’un remboursement.
Et si le registre d’envoi est indisponible ?
La complétude reste non démontrée.
Avec le seul journal interne, nous ne pouvons pas distinguer « il n’y avait que deux demandes » de « une demande n’a jamais été capturée ». La conclusion est inconclusive, pas « tout est présent ».
Il faut rechercher une autre source dont la provenance et la couverture peuvent être examinées. Recopier le même journal ne crée pas un témoin indépendant.
Un journal cohérent n’est pas nécessairement complet.
Pour rendre la responsabilité vérifiable, il faut aussi examiner ce que les traces peuvent laisser hors champ.
Pour prolonger
REG Prepare propose d’organiser les affirmations, les pièces disponibles et les vérifications qui manquent, dans un périmètre convenu.
Démarche en Working Draft · pilotes à construire et éprouver.
Référence de conception et limites
Cette expérience illustre le cas d’omission CB-T01 du banc de capture REG-ARCH, à partir d’une archive de travail du 26 octobre 2026. Les identifiants et les registres affichés sont fictifs.
Elle ne lance aucun test contre TENIR-Gov ou G4-A et ne constitue pas un résultat de campagne CB. Dans le dossier consulté, les auto-tests du banc et la campagne sur une implémentation sont explicitement distingués ; cette dernière n’a pas été exécutée.
Dans un système réel, l’indépendance du témoin, sa couverture, la fenêtre observée et la provenance des pièces doivent elles-mêmes être établies. Aucun résultat de production ou de conformité n’est déduit de cette illustration.