Diagnostic rapide
!health-prenetbash scripts/pre/ensure-docker.sh
PRE actif sans MariaDB
Résumé
Une action PRE (ingress, tempdb) est refusée car MariaDB est absent alors que PreBot/PreNET est actif.
Quand ça apparaît
- Log :
PRE actif, MariaDB absent — pas d'insert tempdb - Hub possible : lignes STATS bloquées fail-closed
Ce que ça signifie
Le bot traite l’ingress mais ne peut pas persister en base — repli messages-only ou skip insert.
Impact si ignoré
- Releases non enregistrées ; TopClient / query
!prevides - Bad stats / trial non mis à jour
À faire
- Même procédure que mariadb-down
- Vérifier
[prebot]/ URL effective MySQL !health-prenetaprès correction
À ne pas faire
- Forcer dual-write legacy sans MariaDB
- Tester ingress massif tant que pool down
Validation
- Plus de ligne
PRE actif, MariaDB absentaprès reload !pre <release-test>sur hub (puis cleanup test DB)
Références code
zartek-fxp/src/pre/ingress/side_effect/process_slot.rs:199zartek-fxp/src/pre/ingress/side_effect/outcome_lines.rs:76