DossierDossier

Ne pas cocher le rangement tant que les clés locales sont encore làToolHive fait échouer le teardown si la purge locale échoueDo not mark the cleanup done while local keys remainToolHive orders token cleanup before full configuration teardown

La règle acceptée le 1er octobre nettoie les clés locales avant de barrer le dernier poste du cahier. Si ce rangement échoue, le cahier attend ; retirer un seul poste garde les clés partagées sauf demande contraire.Le teardown LLM complet fusionné purge les tokens locaux avant mutation de configuration et rend l'échec fatal, pour garder la commande retryable. Une suppression partielle conserve les tokens partagés sauf demande explicite.The accepted October 1 change clears local keys before crossing the last station out of the book. Failed cleanup leaves that change pending; removing only one station normally keeps shared keys.The merged teardown path makes incomplete token cleanup an explicit failure before configuration mutation. It distinguishes full teardown from partial removal, which preserves shared tokens unless explicitly requested otherwise.

La réserveDonnées, mémoire et étatThe pantryData, memory and state

Une clé a été jetée parce qu’une porte coinçaitUn échec récupérable traité comme une révocation définitiveA key was binned because one door stuckA recoverable failure treated as a permanent revocation Au passe — Ce qu’on ignore est écrit comme un faitL’inconnu disparaît soit à l’interface, soit dans le récitAt the pass — An empty board reads as an answerThe unknown disappears either at the interface or in the narrative Le tableau était barré alors que la table attendait encoreUn succès apparent produit par un signal qui ne mesure pas le résultatThe board was crossed off while the table still waitedApparent success from a signal that measures the wrong outcome

Ne pas cocher le rangement tant que les clés locales sont encore là Une autre règle, encore proposée, refuse de remplacer un accès refusé par une liste vide ou un vieux carnet. L'ancien carnet ne servirait que pendant une panne passagère ; sans carnet, cette panne reste une erreur.

Une ancienne liste ne rend pas une clé retirée valableRéponseYesterday's list cannot restore revoked accessResponse

Une autre règle, encore proposée, refuse de remplacer un accès refusé par une liste vide ou un vieux carnet. L'ancien carnet ne servirait que pendant une panne passagère ; sans carnet, cette panne reste une erreur.La PR registre encore ouverte propagerait l'échec d'authentification même avec cache chaud. Le stale resterait réservé aux pannes transitoires ; une panne sans cache serait propagée plutôt que convertie en succès vide.The separate open proposal keeps refused access visible instead of returning an empty list or an old one. An older list would be usable only during temporary trouble; with no saved list, that trouble remains an error.Authentication failure and transient unavailability receive different fallback semantics. The proposal does not allow stale cache to conceal a revoked registry credential, and it is not established as merged.

Jeter la clé locale ne change pas la serrure du fournisseurÉtat actuelClearing local keys does not revoke them at the supplierCurrent state

Les commis encore actifs peuvent refaire les clés locales ; la serrure du fournisseur n'est pas changée. Le signal d'erreur extérieur attendu reste à ajouter. Les essais ciblés sont seulement rapportés, et les grandes vérifications restent non réussies ou bloquées par l'outillage.Aucune révocation IdP n'est effectuée et les processus actifs peuvent recréer les tokens. Le handler ne mappe pas encore HTTP 503. Tests ciblés rapportés, suites complètes non vertes ou bloquées par outillage, aucun test exécuté ici ; guidance research_only.Running cooks may recreate the local keys, and the supplier's lock is unaffected. The promised outward error response remains separate work; targeted tests are reported, while broader checks were unsuccessful or blocked by tooling.Local purge must not be sold as IdP revocation. HTTP 503 mapping remains unimplemented, and neither targeted tests nor the wider incomplete verification were reproduced here. Preserve the merged/open distinction between the two changes.