chore(release): 1.15.2+etm25

LM-1208-b et sa conséquence LM-1208-c, trouvées au banc du 2026-08-28 en
exerçant +etm24.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015F7G5VeaPVSMeVNjiGj36p
This commit is contained in:
Patrick Schurig 2026-08-28 12:47:14 +02:00
parent 3b63eec251
commit b3e39a5a2a

View File

@ -1,3 +1,32 @@
powersync-energy-plugin-nymea (1.15.2+etm25) trixie; urgency=medium
* UNE BORNE SANS VOITURE ASSIGNÉE RESTE ARBITRÉE (LM-1208-b). Le cas de l'invité : au banc le
2026-08-28, la V2C tirait 3,9 kW et l'arbitre l'ignorait — evParticipatesInWaterfall()
reprenait du proxy un critère « voiture assignée » qui n'a de sens que là-bas. Le waterfall
n'a besoin ni du SoC, ni de la capacité, ni d'une échéance pour allouer du surplus.
* Trois raisons de le retirer, la troisième décisive : une voiture d'invité ne sera jamais
déclarée et la borne cesserait d'être arbitrée précisément quand elle consomme ; le critère
n'est pas vérifiable, l'assignation étant déclarée à la main ; et il CONTREDIT LM-1206, qui
donne le rang et le plancher à la borne, pas au véhicule. Ce qu'on perd sans voiture est une
FONCTION — échéance et cible d'énergie, restées au proxy — pas l'arbitrage.
* Restent deux exclusions, et elles ne disent pas la même chose : mode manuel (une INTENTION —
l'utilisateur pilote) et aucun véhicule branché (un CONSTAT — rien à consommer).
* SANS VOITURE, LE NOMBRE DE PHASES VIENT DE LA BORNE (LM-1208-c). Retirer le critère ne
suffisait pas, et ce qui manquait ne se voyait pas : le proxy ne PRÉPARE pas une borne sans
voiture, elle entre donc dans le waterfall sans ChargingProcessInfo — et l'accesseur rendait
un objet par DÉFAUT dont les valeurs sont plausibles, une phase et pas de bascule. Une borne
triphasée aurait été annoncée monophasée, budget divisé par trois : plafond 3 680 W au lieu
de 11 040, 16 A commandés au lieu de 9, 11 kW tirés d'une enveloppe qui en comptait 3,7.
* D'où internalHasProcessInfo() : « cette borne a-t-elle été préparée ce cycle » devient une
question POSABLE au lieu d'être déduite d'une valeur crédible. Sans ChargingProcessInfo on
ne bascule pas — basculer suppose de savoir ce que la voiture accepte — et on retient le
phaseCount de la borne. Hypothèse conservatrice au sens de LM-104 : elle surestime.
* Éprouvé par testChargerWithoutCarIsArbitrated, vérifié échouant sans le garde-fou (3 680 W
alloués au lieu de 6 000). Suite complète : simulation 29/29, charging 16/16, loadmodel
18/18, spotmarket 7/7. amd64 0 erreur / 0 avertissement.
-- Patrick Schurig <etm.schurig@gmail.com> Fri, 28 Aug 2026 14:20:00 +0200
powersync-energy-plugin-nymea (1.15.2+etm24) trixie; urgency=medium
* UNE BORNE SANS VÉHICULE BRANCHÉ EST HORS ARBITRAGE. Trouvé au banc en exerçant +etm23 :