diff --git a/specs/spec_loadmodel.md b/specs/spec_loadmodel.md
index 8466062..1daadbc 100644
--- a/specs/spec_loadmodel.md
+++ b/specs/spec_loadmodel.md
@@ -650,6 +650,17 @@ Seul le second peut coûter de l'argent, et seul le second est **indevinable par
 fournisseur. Les fusionner en un unique « les fuseaux diffèrent » ferait disparaître celui des
 deux qui compte derrière celui qui se corrige tout seul.
 
+**Et les deux sont CONDITIONNELS.** Un avertissement ne s'affiche que si les deux fuseaux
+comparés diffèrent réellement. Affiché en permanence, il cesse d'être lu — et il cesse de l'être
+**le jour exact où il devient vrai**. C'est la règle de l'absence qui informe, la même qui rend
+`progressUnmeasurableCause` absent sur une charge mesurable et `phase` absent dans `DRAW_CAP`
+quand aucune phase ne mord.
+
+**Corollaire de formulation** : le fuseau publié qualifie une HORLOGE, il n'offre pas un choix.
+« 12:00 heure de la box (Europe/Paris) » dit la chose ; « Fuseau : Europe/Paris » sous un champ
+d'échéance laisse croire qu'on choisit le fuseau de CETTE échéance. Il n'y en a qu'un, c'est un
+réglage système, et il déplace d'un coup toutes les heures murales de l'installation.
+
 **LM-1005-b-iv — la frontière d'une période de reporting se PUBLIE, elle ne se recalcule pas.**
 *(Demandé par l'agent app, posé le 2026-09-05.)*