Corriger et oublier un fait

Préparer une expérience vérifiable

Prérequis : Demo130–Demo160. Utiliser une copie complète et des racines de travail isolées. L’objectif est une preuve sur l’état, pas un jugement sur le style de la réponse. Les énoncés du dépôt sont exercises/Advanced/Lab06_Ex01_SharedMemory_Facts.md et Lab06_Ex02_SharedMemory_Reuse.md, avec leurs corrigés dans solutions. Comparer leurs contrôles à ceux de Maf.Memory, sans éditer le code canonique.

• Faits contrôlés et dérive du contexte

Correction admise et correction rejetée

Dans Demo150 puis Demo160, saisir module=Reporting; database=PostgreSQL. Vérifier mem, puis corriger module=Billing; database=SQL Server 2022. Le corrigé attendu est deux clés actuelles avec citations de la correction. Envoyer ensuite unknown=value : l’échec doit garder les faits précédents. Une question libre ne doit pas créer de fait. Le résultat exact dépend du succès de l’extraction live ; si elle échoue, noter le diagnostic au lieu d’inventer la correction.

Oublier sur le bon support

forget module conserve database et remplace les deux historiques. forget retire tout ; mem reste vide après une question sans déclaration. Fermer puis rouvrir Demo150 : le store est neuf, puisqu’il n’est pas persistant. Pour prouver un oubli durable, utiliser Demo130 : setctx module=Reporting, quit, relancer et showctx ; reset, quit, relancer et showctx. Demo140 : après une réponse sauvegardée, forget, quit, relancer et load ne doit pas rétablir le snapshot supprimé.

Lire le corrigé déterministe

dotnet test tests/Maf.Memory.Tests/Maf.Memory.Tests.csproj -m:1 -c Release --no-build --no-restore

CorrectionsReplaceSameKeyAndKeepProvenance vérifie le remplacement ; ForgottenOrOutOfOrderUpdatesCannotResurrectFacts couvre l’extraction périmée. RestartPreservesSqliteContextAndTransactionalResetWorksWithPooling et SessionRoundTripRestoresMessagesAndDeletePlusFreshSessionForgetsThem couvrent reprise puis oubli. Le modèle scripté permet de vérifier les entrées envoyées ; il ne simule ni SQLite ni la sérialisation MAF.

Indices de vérification

Avant la correction, consigner la prédiction et le résultat observé. Distinguer texte généré, statut terminal, décision et état persistant. En cas d’écart, suivre le fichier et le test nommés dans la procédure ; ne pas supprimer le garde-fou pour obtenir le résultat attendu.

Expliquer le résultat

Rendre une courte trace des commandes, états avant/après, provenance et éventuels échecs. Distinguer suppression du store actif, disparition à la fermeture et absence d’un snapshot au redémarrage. Aucun de ces résultats n’efface journaux, copies externes ou rétention du fournisseur.

Revenir aux programmes

• Demo130 — Session Persistence

• Demo140 — Native Session

• Demo150 — Shared Facts

• Demo160 — Context Memory