ETM-Schurig/etm-powersync-energy-plugin-etm
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docs: le fuseau publié qualifie une horloge, et son avertissement est conditionnel

Browse Source 
Deux points qui gouvernent la LECTURE de champs que ce dépôt publie — donc ils
vivent ici, même si l'écran qui les rendra vit ailleurs.

TIMEZONE 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. 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 — échéances, frontière de la
journée de reporting, et demain les plages tarifaires. 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 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, déjà appliquée deux fois dans ce contrat :
progressUnmeasurableCause absent quand la charge est mesurable, phase absent dans
DRAW_CAP quand aucune phase ne mord. Un champ toujours présent ne porte aucune
information ; un avertissement toujours affiché non plus.
This commit is contained in:
Patrick Schurig 2026-09-06 09:12:31 +02:00
parent b9c61c8972
commit 47ce2c7332
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
specs/spec_loadmodel.md
View File

@ -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.)*