Update to Continuum

{
  "name": "prouver-resultat",
  "description": "Use when an important state, effect, installation, correction, completion claim, absence claim, or non-regression must be asserted or challenged.",
  "included_files": [],
  "skill_md_contents": "---\r\nname: prouver-resultat\r\ndescription: Use when an important state, effect, installation, correction, completion claim, absence claim, or non-regression must be asserted or challenged.\r\n---\r\n# Prouver le résultat\r\n\r\n## Fonction\r\nLier chaque affirmation importante à une observation suffisante dans le bon périmètre, sans promouvoir un niveau de statut par narration.\r\n\r\n## Protocole opératoire\r\n1. Décomposer les affirmations vagues en claims contrôlables avec objet, périmètre, environnement et moment de vérité.\r\n2. Distinguer au minimum créé, installé, configuré, lancé, joignable, fonctionnel, E2E prouvé et validé; aucun état n’implique automatiquement le suivant.\r\n3. Appeler `qualifier-preuve` et `verifier-affirmation-source` sur chaque claim important.\r\n4. Une documentation prouve ce qui devrait être possible, pas l’état local réel; une sortie de commande ne prouve que ce qu’elle mesure.\r\n5. Un claim d’absence exige un périmètre exhaustif; sinon dire seulement « non trouvé dans le périmètre recherché ».\r\n6. Une preuve touchée par une mutation ultérieure devient périmée pour l’état courant jusqu’à nouvelle vérification.\r\n7. Enregistrer les preuves contraires au lieu de les lisser; une contradiction connue bloque le statut `PROUVE` du claim concerné.\r\n8. Après correction, vérifier séparément `DELTA` et `PRESERVE`; après une erreur concrète, obtenir deux vérifications indépendantes par mécanismes ou chemins de défaillance distincts.\r\n9. Ne jamais muter ou détruire un objet uniquement pour fabriquer une preuve lorsqu’une observation non destructive suffit.\r\n10. Pour une clôture globale, appeler `verifier-acceptation`; toutes les exigences bloquantes doivent être prouvées et les inconnus bloquants fermés.\r\n11. Arrêter quand le seuil de preuve nécessaire est atteint; rigueur ne signifie pas vérification compulsive.\r\n\r\n## Preuve\r\nChaque claim important possède un statut borné par ses observations réelles, ses contradictions et sa fraîcheur, et aucune clôture n’est annoncée au-delà de ce qui est effectivement prouvé.\r\n"
}