Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles

Le problème concret : EncryptedSession face à Fernet

Un système exploitable commence par une question simple : qui décide, sur quelles preuves, et que peut-on annuler ?

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c11 part de EncryptedSession et traite Fernet comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à HKDF de produire un résultat observable avant que TTL puisse déclencher l’effet attendu autour de session store. Pour tester Fernet, la fixture memoire-agent-chiffree-ttl-c11 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à HKDF. L’exploitation surveille alors la transition entre HKDF et TTL, tandis que la sécurité vérifie que session store ne reçoit ni autorité implicite ni donnée excédentaire. Si la vérification de TTL échoue, le rollback restaure la configuration liée à session store, rejoue memoire-agent-chiffree-ttl-c11 et compare le nouvel état au témoin produit par EncryptedSession.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c12 part de Fernet et traite HKDF comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à TTL de produire un résultat observable avant que session store puisse déclencher l’effet attendu autour de EncryptedSession. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à HKDF, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par TTL et EncryptedSession : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c12 est présenté comme limite ou hypothèse, jamais comme fait acquis. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme Fernet en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c13 part de HKDF et traite TTL comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à session store de produire un résultat observable avant que EncryptedSession puisse déclencher l’effet attendu autour de Fernet. Pour tester TTL, la fixture memoire-agent-chiffree-ttl-c13 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à session store. L’exploitation surveille alors la transition entre session store et EncryptedSession, tandis que la sécurité vérifie que Fernet ne reçoit ni autorité implicite ni donnée excédentaire. Si la vérification de EncryptedSession échoue, le rollback restaure la configuration liée à Fernet, rejoue memoire-agent-chiffree-ttl-c13 et compare le nouvel état au témoin produit par HKDF.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c14 part de TTL et traite session store comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à EncryptedSession de produire un résultat observable avant que Fernet puisse déclencher l’effet attendu autour de HKDF. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à session store, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par EncryptedSession et HKDF : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c14 est présenté comme limite ou hypothèse, jamais comme fait acquis. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme TTL en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver.

Échecs plausibles, signaux et diagnostic

La difficulté réelle apparaît lorsque le comportement nominal rencontre les droits, les erreurs et la production.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c21 part de Fernet et traite HKDF comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à TTL de produire un résultat observable avant que session store puisse déclencher l’effet attendu autour de EncryptedSession. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme Fernet en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver. Pour tester HKDF, la fixture memoire-agent-chiffree-ttl-c21 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à TTL. L’exploitation surveille alors la transition entre TTL et session store, tandis que la sécurité vérifie que EncryptedSession ne reçoit ni autorité implicite ni donnée excédentaire.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c22 part de HKDF et traite TTL comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à session store de produire un résultat observable avant que EncryptedSession puisse déclencher l’effet attendu autour de Fernet. Si la vérification de EncryptedSession échoue, le rollback restaure la configuration liée à Fernet, rejoue memoire-agent-chiffree-ttl-c22 et compare le nouvel état au témoin produit par HKDF. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à TTL, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par session store et Fernet : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c22 est présenté comme limite ou hypothèse, jamais comme fait acquis.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c23 part de TTL et traite session store comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à EncryptedSession de produire un résultat observable avant que Fernet puisse déclencher l’effet attendu autour de HKDF. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme TTL en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver. Pour tester session store, la fixture memoire-agent-chiffree-ttl-c23 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à EncryptedSession. L’exploitation surveille alors la transition entre EncryptedSession et Fernet, tandis que la sécurité vérifie que HKDF ne reçoit ni autorité implicite ni donnée excédentaire.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c24 part de session store et traite EncryptedSession comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à Fernet de produire un résultat observable avant que HKDF puisse déclencher l’effet attendu autour de TTL. Si la vérification de HKDF échoue, le rollback restaure la configuration liée à TTL, rejoue memoire-agent-chiffree-ttl-c24 et compare le nouvel état au témoin produit par session store. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à EncryptedSession, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par Fernet et TTL : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c24 est présenté comme limite ou hypothèse, jamais comme fait acquis.

Déploiement progressif et retour arrière

Le bon design sépare ce que le modèle propose de ce que l’application autorise et vérifie.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c31 part de HKDF et traite TTL comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à session store de produire un résultat observable avant que EncryptedSession puisse déclencher l’effet attendu autour de Fernet. La décision finale reste bornée par session store et Fernet : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c31 est présenté comme limite ou hypothèse, jamais comme fait acquis. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme HKDF en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver. Pour tester TTL, la fixture memoire-agent-chiffree-ttl-c31 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à session store.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c32 part de TTL et traite session store comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à EncryptedSession de produire un résultat observable avant que Fernet puisse déclencher l’effet attendu autour de HKDF. L’exploitation surveille alors la transition entre EncryptedSession et Fernet, tandis que la sécurité vérifie que HKDF ne reçoit ni autorité implicite ni donnée excédentaire. Si la vérification de Fernet échoue, le rollback restaure la configuration liée à HKDF, rejoue memoire-agent-chiffree-ttl-c32 et compare le nouvel état au témoin produit par TTL. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à session store, à une condition concrète et à une preuve plutôt qu’à une formule générale.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c33 part de session store et traite EncryptedSession comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à Fernet de produire un résultat observable avant que HKDF puisse déclencher l’effet attendu autour de TTL. La décision finale reste bornée par Fernet et TTL : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c33 est présenté comme limite ou hypothèse, jamais comme fait acquis. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme session store en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver. Pour tester EncryptedSession, la fixture memoire-agent-chiffree-ttl-c33 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à Fernet.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c34 part de EncryptedSession et traite Fernet comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à HKDF de produire un résultat observable avant que TTL puisse déclencher l’effet attendu autour de session store. L’exploitation surveille alors la transition entre HKDF et TTL, tandis que la sécurité vérifie que session store ne reçoit ni autorité implicite ni donnée excédentaire. Si la vérification de TTL échoue, le rollback restaure la configuration liée à session store, rejoue memoire-agent-chiffree-ttl-c34 et compare le nouvel état au témoin produit par EncryptedSession. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à Fernet, à une condition concrète et à une preuve plutôt qu’à une formule générale.

Critères de décision pour la production

Le point de départ n’est pas une fonctionnalité, mais une frontière de décision observable.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c41 part de TTL et traite session store comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à EncryptedSession de produire un résultat observable avant que Fernet puisse déclencher l’effet attendu autour de HKDF. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à session store, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par EncryptedSession et HKDF : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c41 est présenté comme limite ou hypothèse, jamais comme fait acquis. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme TTL en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c42 part de session store et traite EncryptedSession comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à Fernet de produire un résultat observable avant que HKDF puisse déclencher l’effet attendu autour de TTL. Pour tester EncryptedSession, la fixture memoire-agent-chiffree-ttl-c42 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à Fernet. L’exploitation surveille alors la transition entre Fernet et HKDF, tandis que la sécurité vérifie que TTL ne reçoit ni autorité implicite ni donnée excédentaire. Si la vérification de HKDF échoue, le rollback restaure la configuration liée à TTL, rejoue memoire-agent-chiffree-ttl-c42 et compare le nouvel état au témoin produit par session store.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c43 part de EncryptedSession et traite Fernet comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à HKDF de produire un résultat observable avant que TTL puisse déclencher l’effet attendu autour de session store. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à Fernet, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par HKDF et session store : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c43 est présenté comme limite ou hypothèse, jamais comme fait acquis. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme EncryptedSession en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c44 part de Fernet et traite HKDF comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à TTL de produire un résultat observable avant que session store puisse déclencher l’effet attendu autour de EncryptedSession. Pour tester HKDF, la fixture memoire-agent-chiffree-ttl-c44 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à TTL. L’exploitation surveille alors la transition entre TTL et session store, tandis que la sécurité vérifie que EncryptedSession ne reçoit ni autorité implicite ni donnée excédentaire. Si la vérification de session store échoue, le rollback restaure la configuration liée à EncryptedSession, rejoue memoire-agent-chiffree-ttl-c44 et compare le nouvel état au témoin produit par Fernet.

Frontières de confiance autour de HKDF

Un système exploitable commence par une question simple : qui décide, sur quelles preuves, et que peut-on annuler ?

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c51 part de session store et traite EncryptedSession comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à Fernet de produire un résultat observable avant que HKDF puisse déclencher l’effet attendu autour de TTL. Si la vérification de HKDF échoue, le rollback restaure la configuration liée à TTL, rejoue memoire-agent-chiffree-ttl-c51 et compare le nouvel état au témoin produit par session store. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à EncryptedSession, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par Fernet et TTL : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c51 est présenté comme limite ou hypothèse, jamais comme fait acquis.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c52 part de EncryptedSession et traite Fernet comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à HKDF de produire un résultat observable avant que TTL puisse déclencher l’effet attendu autour de session store. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme EncryptedSession en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver. Pour tester Fernet, la fixture memoire-agent-chiffree-ttl-c52 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à HKDF. L’exploitation surveille alors la transition entre HKDF et TTL, tandis que la sécurité vérifie que session store ne reçoit ni autorité implicite ni donnée excédentaire.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c53 part de Fernet et traite HKDF comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à TTL de produire un résultat observable avant que session store puisse déclencher l’effet attendu autour de EncryptedSession. Si la vérification de session store échoue, le rollback restaure la configuration liée à EncryptedSession, rejoue memoire-agent-chiffree-ttl-c53 et compare le nouvel état au témoin produit par Fernet. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à HKDF, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par TTL et EncryptedSession : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c53 est présenté comme limite ou hypothèse, jamais comme fait acquis.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c54 part de HKDF et traite TTL comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à session store de produire un résultat observable avant que EncryptedSession puisse déclencher l’effet attendu autour de Fernet. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme HKDF en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver. Pour tester TTL, la fixture memoire-agent-chiffree-ttl-c54 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à session store. L’exploitation surveille alors la transition entre session store et EncryptedSession, tandis que la sécurité vérifie que Fernet ne reçoit ni autorité implicite ni donnée excédentaire.

Construire le chemin de décision avec TTL

La difficulté réelle apparaît lorsque le comportement nominal rencontre les droits, les erreurs et la production.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c61 part de EncryptedSession et traite Fernet comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à HKDF de produire un résultat observable avant que TTL puisse déclencher l’effet attendu autour de session store. L’exploitation surveille alors la transition entre HKDF et TTL, tandis que la sécurité vérifie que session store ne reçoit ni autorité implicite ni donnée excédentaire. Si la vérification de TTL échoue, le rollback restaure la configuration liée à session store, rejoue memoire-agent-chiffree-ttl-c61 et compare le nouvel état au témoin produit par EncryptedSession. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à Fernet, à une condition concrète et à une preuve plutôt qu’à une formule générale.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c62 part de Fernet et traite HKDF comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à TTL de produire un résultat observable avant que session store puisse déclencher l’effet attendu autour de EncryptedSession. La décision finale reste bornée par TTL et EncryptedSession : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c62 est présenté comme limite ou hypothèse, jamais comme fait acquis. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme Fernet en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver. Pour tester HKDF, la fixture memoire-agent-chiffree-ttl-c62 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à TTL.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c63 part de HKDF et traite TTL comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à session store de produire un résultat observable avant que EncryptedSession puisse déclencher l’effet attendu autour de Fernet. L’exploitation surveille alors la transition entre session store et EncryptedSession, tandis que la sécurité vérifie que Fernet ne reçoit ni autorité implicite ni donnée excédentaire. Si la vérification de EncryptedSession échoue, le rollback restaure la configuration liée à Fernet, rejoue memoire-agent-chiffree-ttl-c63 et compare le nouvel état au témoin produit par HKDF. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à TTL, à une condition concrète et à une preuve plutôt qu’à une formule générale.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c64 part de TTL et traite session store comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à EncryptedSession de produire un résultat observable avant que Fernet puisse déclencher l’effet attendu autour de HKDF. La décision finale reste bornée par EncryptedSession et HKDF : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c64 est présenté comme limite ou hypothèse, jamais comme fait acquis. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme TTL en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver. Pour tester session store, la fixture memoire-agent-chiffree-ttl-c64 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à EncryptedSession.

Vérifier le comportement de session store

Le bon design sépare ce que le modèle propose de ce que l’application autorise et vérifie.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c71 part de Fernet et traite HKDF comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à TTL de produire un résultat observable avant que session store puisse déclencher l’effet attendu autour de EncryptedSession. Pour tester HKDF, la fixture memoire-agent-chiffree-ttl-c71 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à TTL. L’exploitation surveille alors la transition entre TTL et session store, tandis que la sécurité vérifie que EncryptedSession ne reçoit ni autorité implicite ni donnée excédentaire. Si la vérification de session store échoue, le rollback restaure la configuration liée à EncryptedSession, rejoue memoire-agent-chiffree-ttl-c71 et compare le nouvel état au témoin produit par Fernet.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c72 part de HKDF et traite TTL comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à session store de produire un résultat observable avant que EncryptedSession puisse déclencher l’effet attendu autour de Fernet. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à TTL, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par session store et Fernet : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c72 est présenté comme limite ou hypothèse, jamais comme fait acquis. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme HKDF en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c73 part de TTL et traite session store comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à EncryptedSession de produire un résultat observable avant que Fernet puisse déclencher l’effet attendu autour de HKDF. Pour tester session store, la fixture memoire-agent-chiffree-ttl-c73 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à EncryptedSession. L’exploitation surveille alors la transition entre EncryptedSession et Fernet, tandis que la sécurité vérifie que HKDF ne reçoit ni autorité implicite ni donnée excédentaire. Si la vérification de Fernet échoue, le rollback restaure la configuration liée à HKDF, rejoue memoire-agent-chiffree-ttl-c73 et compare le nouvel état au témoin produit par TTL.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c74 part de session store et traite EncryptedSession comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à Fernet de produire un résultat observable avant que HKDF puisse déclencher l’effet attendu autour de TTL. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à EncryptedSession, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par Fernet et TTL : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c74 est présenté comme limite ou hypothèse, jamais comme fait acquis. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme session store en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver.

Contrôles à conserver après la mise en service

Le point de départ n’est pas une fonctionnalité, mais une frontière de décision observable.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c81 part de HKDF et traite TTL comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à session store de produire un résultat observable avant que EncryptedSession puisse déclencher l’effet attendu autour de Fernet. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme HKDF en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver. Pour tester TTL, la fixture memoire-agent-chiffree-ttl-c81 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à session store. L’exploitation surveille alors la transition entre session store et EncryptedSession, tandis que la sécurité vérifie que Fernet ne reçoit ni autorité implicite ni donnée excédentaire.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c82 part de TTL et traite session store comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à EncryptedSession de produire un résultat observable avant que Fernet puisse déclencher l’effet attendu autour de HKDF. Si la vérification de Fernet échoue, le rollback restaure la configuration liée à HKDF, rejoue memoire-agent-chiffree-ttl-c82 et compare le nouvel état au témoin produit par TTL. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à session store, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par EncryptedSession et HKDF : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c82 est présenté comme limite ou hypothèse, jamais comme fait acquis.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c83 part de session store et traite EncryptedSession comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à Fernet de produire un résultat observable avant que HKDF puisse déclencher l’effet attendu autour de TTL. Cette séquence répond au besoin suivant : Choisir une stratégie de session qui protège l’historique sans confondre chiffrement, rétention et contrôle d’accès. Elle transforme session store en point de décision vérifiable, avec une entrée nommée et une sortie que l’équipe peut conserver. Pour tester EncryptedSession, la fixture memoire-agent-chiffree-ttl-c83 inclut volontairement un état valide et un état refusé ; le refus doit arriver avant toute modification attribuée à Fernet. L’exploitation surveille alors la transition entre Fernet et HKDF, tandis que la sécurité vérifie que TTL ne reçoit ni autorité implicite ni donnée excédentaire.

Dans « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles », le scénario memoire-agent-chiffree-ttl-c84 part de EncryptedSession et traite Fernet comme une frontière explicite plutôt que comme une hypothèse implicite. Le premier contrôle demande à HKDF de produire un résultat observable avant que TTL puisse déclencher l’effet attendu autour de session store. Si la vérification de TTL échoue, le rollback restaure la configuration liée à session store, rejoue memoire-agent-chiffree-ttl-c84 et compare le nouvel état au témoin produit par EncryptedSession. Ce niveau de détail rend « Mémoire chiffrée des agents : clés par session, TTL et limites opérationnelles » révisable : chaque affirmation opérationnelle renvoie à Fernet, à une condition concrète et à une preuve plutôt qu’à une formule générale. La décision finale reste bornée par HKDF et session store : ce qui n’est pas démontré par le scénario memoire-agent-chiffree-ttl-c84 est présenté comme limite ou hypothèse, jamais comme fait acquis.

Checklist opérationnelle

• Le contrôle autour de EncryptedSession a une entrée, une règle, un refus et une preuve.
• Le contrôle autour de Fernet a une entrée, une règle, un refus et une preuve.
• Le contrôle autour de HKDF a une entrée, une règle, un refus et une preuve.
• Le contrôle autour de TTL a une entrée, une règle, un refus et une preuve.
• Le contrôle autour de session store a une entrée, une règle, un refus et une preuve.