Delta `0.3.15-pre.008-fix.002`

Objet

Corriger les trois comparaisons de token restantes révélées par le second gate opérateur de pre.008, sans modifier le périmètre fonctionnel du runtime mono-route.

Défaut observé

Après pre.008-fix.001, RouteRuntimeInner est bien présent et la future Tauri ne conserve plus de MutexGuard à travers un await. Le compilateur atteint alors les trois gardes de cohérence du slot et signale que leurs bindings sont des références :

&u64 == u64

Les patterns concernés inspectent &inner.slot. Les bindings token / current sont donc des &u64 et doivent être déréférencés pour être comparés aux tokens u64 détenus par la réservation ou passés aux helpers.

Correction

Les trois gardes restaurent le déréférencement exact :

*token == reservation.token
*current == token
*current == token

Cela couvre respectivement :

l'activation d'une réservation Starting ;
le rollback d'une réservation Starting ;
la libération d'un slot Active arrivé au terminal.

Périmètre inchangé

Le fix ne modifie aucun contrat de pre.008 :

runtime strictement mono-route ;
même revalidation Start issue de pre.007 ;
même ouverture, health et fermeture Store via ksp-store-lib ;
même lancement RawTransactionIngestWorker::start_with_runtime_resources ;
même Stop coopératif ;
aucun multi-route de pre.009 ;
aucun monitoring continu de pre.010.

Le delta publié pre.008-fix.001 reste immuable ; la présente correction supersède uniquement son interprétation erronée des trois bindings de pattern.

Version

header racine : 610 -> 611
workspace     : 0.3.15-pre.8.fix.1 -> 0.3.15-pre.8.fix.2

Gate opérateur

Le gate complet de pre.008 doit être rejoué après application de ce fix.

1.9 KiB Raw Blame History

Delta 0.3.15-pre.008-fix.002