Contre la référence d'etm75, 29 fonctions changent, toutes par le
verdict de l'écart commande/mesure ou ce qui en découle :
- 21 par `command.divergent` seul (marches suivies et premières
commandes qui ne divergent plus ; mesures remises à la main par le
harnais qui divergent) ;
- `run` : `expectedW` de la borne commandée par le proxy (mémoire de
commande tous émetteurs) et 46 cycles de gel sous arrêt verrouillé ;
- 7 où la garde de refus mord enfin : datée à l'horloge murale, elle
était inerte dans toute la suite de simulation.
Plus les 6 fonctions de test nouvelles. Détail dans le rapport du lot.
run-decisions.sh check : IDENTIQUE (24 415 lignes).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
f9f2e1e5c5