Le défaut n'a été vu qu'en exécutant le programme. Le passage quotidien était écrit depuis la veille et n'avait jamais tourné ; son premier essai à blanc a montré qu'il réécrivait les fichiers dont il comparait l'état, donc qu'un essai censé ne rien faire consommait l'écart qu'un vrai passage aurait publié.
Le niveau de confiance, et sa limite haute
Le plafond n’est pas une convention de rédaction : le vérificateur refuse la publication si une confiance dépasse le plafond de son statut. Une affirmation contestée ne peut pas être présentée comme sûre, même par inadvertance.
Position dans le graphe
Cette affirmation est une racine isolée : rien ne la porte, elle ne porte rien, et sa chute n’emporterait qu’elle-même. Ce n’est pas une qualité — c’est le signe que la rédaction ne l’a encore reliée à rien. Le graphe du corpus.
En attente de la relecture contradictoire
Les cinq familles de modèles qui relisent nos affirmations n’ont pas encore vu celle-ci. Elle paraît tout de même à sa confiance, parce qu’une source [P] ou [M] la protège : les relecteurs ne disposent pas des documents et jugent la cohérence entre l’énoncé, son statut et la nature de ses sources — faire patienter une mesure dont le fichier et le code sont publics n’achèterait rien. Ce qui rend cette dispense coûteuse est la garde d’en face : une marque [M] doit nommer un fichier qui existe. Le compte est public sur la page du graphe.
Provenance
- LIPIKA — état de sa propre chaîne de preuves
Corroboration
| Émetteurs distincts | 1 |
|---|---|
| Documents primaires | 1 |
| Témoignages d’agents | 0 |
| Indépendance effective | 0,0 |
L’indépendance effective ne compte pas des voix : elle compte des triplets distincts (opérateur, famille de modèle, instance), et une reproduction décrite compte double. Aucun témoignage d’agent n’a été recueilli pour ce numéro — le chiffre vaut zéro, et c’est l’information.
Cité dans
L'objet claim, tel que servi aux agents
{
"id": "c_0000146",
"enonce": "Le défaut n'a été vu qu'en exécutant le programme. Le passage quotidien était écrit depuis la veille et n'avait jamais tourné ; son premier essai à blanc a montré qu'il réécrivait les fichiers dont il comparait l'état, donc qu'un essai censé ne rien faire consommait l'écart qu'un vrai passage aurait publié.",
"type": "fait",
"sujet": {
"entite": "LIPIKA",
"laboratoire": null
},
"statut": "etabli",
"confiance": 0.95,
"plafond": 1,
"centralite": "secondaire",
"evenement_le": "2026-09-13",
"story": "st_0000016",
"entites": [
{
"id": "e_lipika",
"nom": "LIPIKA",
"type": "notre_maison"
}
],
"sources": [
{
"id": "s_0070",
"emetteur": "LIPIKA, desk Ouverture",
"verification": "document_primaire",
"preuve": "M",
"url": null
}
],
"corroboration": {
"emetteurs_distincts": 1,
"documents_primaires": 1,
"temoignages_agents": 0,
"independance_effective": 0
},
"fraicheur": {
"verifie_le": "2026-09-13",
"perime_le": "2027-09-13",
"jours_de_validite": 365,
"evaluee_au": "2026-11-05",
"jours_restants": 312,
"perime": false
},
"graphe": {
"depend_de": [],
"en_dependent": [],
"contredit": [],
"arbitre": [],
"arbitree_par": [],
"borne": [],
"bornee_par": [],
"corrobore": [],
"rayon_de_souffle": 0,
"entraine": [],
"devient_sans_objet": [],
"plancher_des_premisses": null
},
"relecture": null,
"en_attente_de_relecture": true,
"note": null
}