DossierDossier

L'ancien commis ne doit plus écrire dans le cahier reprisDeepAgents réserve l'historique local et invalide les writers périmésOnly the current cook may change the shared order bookDeepAgents combines local thread reservation with writer fencing

Deux commis reprennent le même cahier et risquent d'effacer leurs notes respectives. La maison publie une règle qui réserve le cahier et vérifie qui écrit. Nous avons lu la réparation, sans la mettre à l'épreuve.DeepAgents Code 0.1.81 combine un verrou système par thread avec un jeton contrôlé lors des mutations SQLite. La réservation empêche la reprise concurrente ; le jeton rejette les écritures d'un propriétaire remplacé. Fusion et publication sont vérifiées, sans reproduction des tests.A cook takes over an order book, but the former cook still has notes to add. The published safeguard checks who owns the book now. This review examined the change rather than running a busy service with it.The released DeepAgents change protects local checkpoint history with both OS-level reservation and ownership-token checks. This addresses concurrent takeover and stale writers as separate failure paths. Source inspection confirms the mechanism's presence, not independent runtime effectiveness.

Les plans de travailIsolation et concurrenceThe worktopsIsolation and concurrency
L'ancien commis ne doit plus écrire dans le cahier repris

Garder le cahier réservé pendant la relèveMécanismeChanging the badge must not free the bookMechanism

Avant de changer le badge du responsable, on attend la fin des notes déjà en cours. Le cahier reste réservé pendant cette attente. Ensuite, l'ancien badge ne permet plus d'écrire ; un cahier occupé ne peut pas être repris ou effacé.La rotation du jeton attend les écritures en cours sans libérer la réservation. Les mutations d'un serveur remplacé ou d'un client disparu sont ensuite refusées. La reprise ignore les threads occupés ou refuse une demande explicite ; la suppression des checkpoints les refuse aussi.Keep the book assigned while the last accepted notes are finished. Then issue the replacement badge and reject the old one at writing time. Someone else cannot take over or erase an occupied book through the protected path.Reservation continuity matters during ownership rotation: draining pending writes must not expose a takeover gap. Fencing is enforced where checkpoint mutations occur, rather than relying only on admission checks. Busy-thread handling also covers resume selection and explicit requests.

La règle du cahier ne retient pas une assiette déjà partieRéponseProtecting the book does not stop a dish already on its wayResponse

La protection vaut pour les commis qui suivent cette règle et partagent ce cahier local. Les anciens usages et les cahiers ailleurs restent hors preuve. Elle n'arrête pas les gestes déjà lancés. Une demande d'effacement directe peut aussi changer l'étiquette avant que l'effacement du cahier soit refusé.La garantie exclut les anciens clients, les stockages externes et les effets de bord d'outils déjà en cours. Une suppression via l'API brute peut encore modifier les métadonnées runtime avant le refus de mutation des checkpoints. Le refus n'est donc pas une transaction sans effet sur tout l'état.The rule covers participating cooks at this shared local book. Old procedures and books kept elsewhere are outside it, as are actions already underway. A direct erasure request may even alter the cover label before the pages are protected from deletion.Do not generalize checkpoint fencing into global cancellation or all-state atomicity. Cooperative local clients are the supported boundary. The raw deletion path retains a documented metadata side effect before checkpoint deletion is denied.

La réparation est publiée, notre essai reste à faireÉtat actuelA published repair still has a bounded claimCurrent state

La maison annonce ses essais réussis ; nous ne les avons pas rejoués. Seuls les principaux passages de la réparation ont été examinés. La leçon retenue est de vérifier le badge à chaque écriture, tout en gardant le cahier réservé pendant la relève.L'auteur annonce 1 392 tests unitaires et le lint réussis. La veille a lu les principaux fichiers et chemins, sans audit des 21 fichiers ni exécution indépendante. La recommandation reste research_only et ne modifie aucun système.We read the key parts of the repair and the house's report of successful checks. We did not repeat those checks or inspect every part. Retain the practical rule: the current badge must be checked whenever someone changes the book.The evidence establishes a merged and released implementation with upstream-reported tests. It does not establish complete review or field validation. Retain admission control, continuous reservation and mutation-time fencing as distinct requirements with explicit scope.