Les assertions procédurales relient périmètre, version d'environnement, conditions, témoins vérifiés et contre-exemples. Un contrôle de compression vérifie l'accès aux artefacts et la préservation des décisions ; retirer le dernier témoin exige une dégradation explicite à UNVERIFIED.
04 / 05 · PARTIEL · REVU
Cambium des contre-exemples
Conserver l'exception qui change la décision.
Une procédure peut n'être utile que sous certaines conditions. La compression de mémoire doit préserver la preuve qui sépare une application sûre d'une généralisation dangereuse.
Source revue le 2026-10-18 · integration
Un registre d'assertions, un contrôle transactionnel de compression, une protection SQL des témoins et un rappel conditionnel de la mémoire Holobionte existent.
Le rejeu automatique dans la mémoire générale, les audits continus d'accessibilité et les campagnes comparatives restent à faire.
Réessayer après timeout fonctionne si l'opération est idempotente. Un timeout après un effet déjà produit est un contre-exemple à conserver pendant la consolidation.
À stockage égal, comparer de longues histoires avec exceptions rares et changements de version. Mesurer les mauvaises généralisations, les témoins perdus et les procédures réactivées à tort.
Un témoin accessible aujourd'hui peut disparaître. Le comparateur de décisions injecté est une dépendance de confiance, pas un vérificateur universel.
CONTRAT ET CODE
Le statut décrit la tranche documentée au commit de revue. Les liens ouvrent les sources du runtime, pas une démonstration en direct.