diff --git a/INTERFACE.md b/INTERFACE.md index 74da306..20ff59e 100644 --- a/INTERFACE.md +++ b/INTERFACE.md @@ -1361,6 +1361,33 @@ se distingue pas d'une panne. > Publier le fuseau est ce qui rend cette vérification **possible** — c'est le seul des trois cas > où personne ne contrôlait quoi que ce soit. +> #### `timeZone` qualifie une HORLOGE, il n'offre pas un choix — et ça change la phrase +> +> Le champ dit **dans quelle horloge la box interprétera les heures murales**. Ce n'est pas une +> préférence attachée à l'échéance, et l'écran ne doit pas le laisser croire : +> +> | | | +> |---|---| +> | **dit la chose** | « 12:00 **heure de la box** (Europe/Paris) » | +> | **laisse croire à un choix** | « Fuseau : Europe/Paris » | +> +> La nuance n'est pas cosmétique. Le fuseau **est** modifiable — mais c'est un réglage +> **système**, qui déplace d'un coup **toutes** les heures murales de l'installation : les +> échéances, la frontière de la journée de reporting, et demain les plages tarifaires. Un écran +> qui le présente sous un champ d'échéance suggère qu'on choisit le fuseau **de cette +> échéance-là**. Il n'y en a qu'un, et il vaut pour tout. +> +> #### L'avertissement de divergence est CONDITIONNEL, jamais permanent +> +> Il ne s'affiche que si le fuseau de la box **diffère** de celui de l'appareil. Un avertissement +> qui apparaît toujours cesse d'être lu — et il cesse d'être lu **précisément le jour où il +> devient vrai**. +> +> C'est la règle de l'absence qui informe, déjà appliquée deux fois dans ce contrat : +> `progressUnmeasurableCause` est **absent** quand la charge est mesurable, et `phase` est +> **absent** dans `DRAW_CAP` quand aucune phase n'est coupable. Un champ toujours présent ne +> porte aucune information ; un avertissement toujours affiché non plus. + --- ### Spot market 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.)*