etm-powersync-app/lib/models/load_config_entry.dart
Patrick Schurig a44d64d6c2 feat(3g-2): les bornes sont des charges configurées — une seule liste, un seul rang
+etm23 rend à chaque borne détectée une entrée GetLoadConfig, et l'invariant
loads[] ⊆ GetLoadConfig est rétabli. Sur .75 : 2 entrées → 4. L'app s'appuyait déjà sur cet
invariant pour résoudre libellé, domaine et rang de toute charge publiée.

Vérifié sur machine avant d'écrire quoi que ce soit :
- l'aller-retour verbatim reste NEUTRE avec les quatre entrées (loadconfig_roundtrip.dart,
  verdict IDENTIQUE) ;
- une entrée evcharger porte id/label/domain/priority/enabled, mode dynamic, et AUCUNE
  charge utile de mécanisme.

Trois défauts que ce contrat révèle côté app :

1. isVariableLoad était défini par défaut (« ni relais ni sg-ready »), donc une borne y
   tombait. L'écran de mécanisme lui proposait une puissance nominale, des paliers et des
   temporisations — des réglages qui n'existent pas pour elle et dont l'écriture partirait
   quand même. Pire, le sélecteur offrait de la basculer en routeur de relais : une bascule
   que basculerMecanisme() sait construire et qu'aucun écran ne sait défaire. Une borne a
   maintenant sa section, en lecture seule, qui dit pourquoi il n'y a rien à régler.

2. BorneSection existait pour rattraper des bornes qui n'apparaissaient nulle part. Elles
   apparaissent maintenant dans leur domaine : la section les afficherait DEUX fois, en
   affirmant qu'elles n'ont « ni rang ni domaine » et qu'elles ne passent pas par
   SetLoadConfig. Trois affirmations devenues fausses. Retirée ; son contenu de runtime
   vit désormais dans l'écran de mécanisme, où il a un sens.

3. Le rang par défaut d'une borne est un ARTEFACT, et l'écran le disait comme un réglage.
   À la création le plugin donne « le plus petit rang existant moins un, borné à 1 » ;
   le chauffe-eau occupant déjà le rang 1, l'intention « en tête » dégénère en égalité —
   trois charges à 1 sur le banc. Le tri reste total (l'id départage), donc l'ordre est
   reproductible, et c'est précisément ce qui le rend crédible : l'installateur lit un
   classement plausible et n'y touche pas, validant un ordre que personne n'a posé. Une
   note le nomme, et disparaît dès le premier vrai réglage.

Le glissement, lui, n'a demandé aucun cas particulier — c'était tout l'intérêt d'avoir une
seule liste. Vérifié par test, y compris l'inversion borne / charge pilotée.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016vrTVifar2GN5rtUh89Wkq
2026-08-27 14:32:56 +02:00

282 lines
12 KiB
Dart
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

/// Vue **en lecture** au-dessus de la charge utile brute de `NymeaEnergy.GetLoadConfig`.
///
/// ## Pourquoi une vue et non un modèle
///
/// La `Map` reçue est la **source de vérité en mémoire**. Ce type ne la remplace pas :
/// il l'interprète. L'écriture repart toujours de [raw] avec les seuls champs modifiés
/// patchés ([patched]), jamais d'une re-sérialisation.
///
/// La raison est concrète : le plugin sérialise `LoadConfig` **via le méta-objet**, donc
/// `GetLoadConfig` émet TOUTES les propriétés déclarées — y compris les charges utiles
/// vides des mécanismes inutilisés (`sgReady: {}`, `powerLevels: []`, `needs` à défaut).
/// Un modèle typé qui reconstruirait l'objet amputerait la config des mécanismes qu'il
/// ne modélise pas, en silence, au premier `SetLoadConfig`.
///
/// ## Clés inconnues : pas de filtrage préventif
///
/// nymea **rejette** toute clé hors schéma avant d'atteindre le handler
/// (`jsonvalidator.cpp:143`, `"Invalid key"`), donc transporter une clé inconnue ferait
/// rejeter tout l'appel plutôt que de préserver la config. Mais renvoyer verbatim ce que
/// *cette box* vient de donner ne peut échouer que si les schémas de `Get` et de `Set`
/// divergent. Cet aller-retour a été vérifié neutre contre `.75` le 2026-08-25
/// (`test/fixtures/loadconfig_hems75.json`) : l'écho verbatim est donc sûr par
/// construction, et aucune couche de filtrage n'est justifiée ici. Une telle couche aurait
/// son propre risque — jeter en silence une clé que la box aurait acceptée.
library;
/// Un relais d'une charge `relay-router` : `{thingId, powerW}`.
class LoadRelay {
final String thingId;
final int powerW;
const LoadRelay({required this.thingId, required this.powerW});
Map<String, dynamic> toMap() => {'thingId': thingId, 'powerW': powerW};
}
/// Un état SG-Ready déclaré : `{state, relays[], estimatedPowerW}`.
///
/// [estimatedPowerW] est une **estimation**, jamais un engagement — une PAC ne consomme
/// pas la même chose à −5 °C et à +12 °C. Elle sert à ordonner et à budgéter ; la mesure
/// reste la source de vérité.
class SgReadyState {
final int state;
final List<String> relays;
final double estimatedPowerW;
const SgReadyState({
required this.state,
required this.relays,
required this.estimatedPowerW,
});
Map<String, dynamic> toMap() => {
'state': state,
'relays': relays,
'estimatedPowerW': estimatedPowerW,
};
}
/// Normalise un ThingId à la forme `{uuid}` en minuscules.
///
/// La configuration mélange les formes avec et sans accolades — le plugin normalise via
/// `QUuid` (`loadconfig.cpp:150-166`). Une comparaison textuelle brute laisserait passer
/// un conflit de revendication entre deux charges.
String normalizeThingId(String raw) {
final bare = raw.replaceAll(RegExp(r'[{}]'), '').toLowerCase().trim();
return bare.isEmpty ? '' : '{$bare}';
}
class LoadConfigEntry {
/// Charge utile brute, **intacte**. Source de vérité.
final Map<String, dynamic> raw;
const LoadConfigEntry(this.raw);
// ── Champs communs (requis par le schéma SET) ──────────────────────────────
String get id => raw['id'] as String? ?? '';
String get label => raw['label'] as String? ?? id;
String get adapter => raw['adapter'] as String? ?? 'etmvariableload';
String get mode => raw['mode'] as String? ?? '';
bool get enabled => raw['enabled'] as bool? ?? true;
int get priority => (raw['priority'] as num?)?.toInt() ?? 0;
// ── Temporisations (lecture seule dans ce lot) ─────────────────────────────
int get minOnS => (raw['minOnS'] as num?)?.toInt() ?? 0;
int get minOffS => (raw['minOffS'] as num?)?.toInt() ?? 0;
/// Domaine d'intention saisi par l'installateur (`ev`, `ecs`, `hvac`, `heating`).
///
/// `null` tant que la box n'expose pas la clé — la charge tombe alors dans le bucket
/// « non classé ». **Ne jamais déduire le domaine du mécanisme** : un relais peut
/// piloter un chauffe-eau comme une prise commandée de recharge.
String? get domain {
final d = raw['domain'];
if (d is! String || d.trim().isEmpty) return null;
return d.trim();
}
bool get isRelayRouter => adapter == 'relay-router';
bool get isSgReady => adapter == 'sg-ready';
/// Borne de recharge. **Entrée créée d'office par le plugin** depuis `+etm23`, pour que
/// l'invariant `loads[] ⊆ GetLoadConfig` tienne à nouveau : les bornes étaient entrées
/// en télémétrie sans figurer nulle part en configuration, et l'app s'appuie sur cet
/// invariant pour résoudre libellé, domaine et rang de toute charge publiée.
///
/// **Elle ne porte AUCUNE charge utile de mécanisme** — ni `relays`, ni `sgReady`, ni
/// `powerLevels`/`maxPowerW`/`minPowerW`, ni `minOnS`/`minOffS`. Ce n'est pas un oubli :
/// les limites d'une borne viennent du Thing et **changent avec le véhicule branché**.
/// Les déclarer en configuration en ferait une seconde source de vérité, qui divergerait
/// dès qu'une autre voiture se branche.
///
/// Ce qu'elle porte, c'est ce qui est commun à toutes les charges : `id` (le ThingId de
/// la borne), `label`, `domain` (`ev`), `priority`, `enabled`, `mode: "dynamic"`.
bool get isEvCharger => adapter == 'evcharger';
/// Vrai pour le mécanisme continu — c'est le **défaut** du schéma.
///
/// La borne en est exclue explicitement : elle tombait dans ce repli par construction,
/// et l'écran de mécanisme lui proposait alors une puissance nominale et des paliers,
/// c'est-à-dire des réglages qui n'existent pas pour elle.
bool get isVariableLoad => !isRelayRouter && !isSgReady && !isEvCharger;
// ── Besoins (mise à jour EN PLACE côté moteur, jamais une reconstruction) ───
String get dailyDeadline {
final n = raw['needs'];
return n is Map ? (n['dailyDeadline'] as String? ?? '') : '';
}
int get minEnergyWhPerDay {
final n = raw['needs'];
return n is Map ? ((n['minEnergyWhPerDay'] as num?)?.toInt() ?? 0) : 0;
}
/// Compteur dédié à CETTE charge, et sonde de la grandeur rendue. Vides = non rattachés.
///
/// Ni l'un ni l'autre n'est du **matériel de commande** : ils n'entrent pas dans
/// `sameHardware()`, donc les rattacher ne reconstruit rien et ne réarme aucun verrou.
/// Ils n'entrent pas non plus dans le contrôle d'unicité des Things — deux charges
/// peuvent légitimement partager une sonde de pièce, et un compteur de tableau
/// divisionnaire en couvrir plusieurs.
String get meterThingId => raw['meterThingId'] as String? ?? '';
String get sensorThingId => raw['sensorThingId'] as String? ?? '';
/// Puissance nominale déclarée (mécanisme continu). **Saisie de l'installateur**,
/// jamais une mesure : c'est une valeur de plaque.
int get maxPowerW => (raw['maxPowerW'] as num?)?.toInt() ?? 0;
/// Paliers déclarés, entiers. Vides pour un routeur de relais — la box les **dérive**
/// de `relays[]` et ne les republie pas ici (vérifié sur `.75` : `powerLevels: []`
/// sur une charge à trois contacteurs).
List<int> get powerLevelsInt {
final l = raw['powerLevels'];
if (l is! List) return const [];
return [for (final v in l) if (v is num) v.toInt()];
}
// ── Charge utile sg-ready ──────────────────────────────────────────────────
Map<String, dynamic> get _sgReadyMap {
final sg = raw['sgReady'];
return sg is Map ? Map<String, dynamic>.from(sg) : const {};
}
/// Durée de maintien d'état de la PAC. Une **reconstruction la réarme à froid**
/// (ECS-412) : c'est la valeur à annoncer avant d'enregistrer.
int get minStateHoldS =>
(_sgReadyMap['minStateHoldS'] as num?)?.toInt() ?? 0;
/// États SG-Ready déclarés, **dans l'ordre de la charge utile** — le moteur les
/// compare index par index, donc cet ordre est significatif.
List<SgReadyState> get sgReadyStates {
final st = _sgReadyMap['states'];
if (st is! List) return const [];
return [
for (final m in st.whereType<Map>())
SgReadyState(
state: (m['state'] as num?)?.toInt() ?? 0,
relays: (m['relays'] as List?)?.whereType<String>().toList() ?? const [],
estimatedPowerW: (m['estimatedPowerW'] as num?)?.toDouble() ?? 0,
),
];
}
List<LoadRelay> get relays {
final list = raw['relays'];
if (list is! List) return const [];
return list.whereType<Map>().map((m) => LoadRelay(
thingId: m['thingId'] as String? ?? '',
powerW: (m['powerW'] as num?)?.toInt() ?? 0,
)).toList();
}
/// Things revendiqués par cette charge, forme normalisée `{uuid}`.
///
/// Miroir exact de `LoadConfig::claimedThingIds()` (`loadconfig.cpp:150-166`) : la liste
/// dépend du mécanisme. `etmvariableload` pilote le Thing qui porte son propre `id` ;
/// les deux autres nomment leurs relais.
///
/// **La borne suit la même règle que le modulable** — son `id` EST le ThingId de la
/// borne — et sans code dédié, des deux côtés. Ce n'est pas une commodité : c'est ce qui
/// interdit de déclarer une même borne à la fois comme `evcharger` et comme charge
/// pilotée. Deux commandeurs sur un même organe, exactement ce que LM-201 refuse, et
/// [validateSet] le voit avant l'envoi.
Set<String> get claimedThingIds {
if (isSgReady) {
final sg = raw['sgReady'];
if (sg is! Map) return const {};
final states = sg['states'];
if (states is! List) return const {};
return {
for (final s in states.whereType<Map>())
if (s['relays'] is List)
...(s['relays'] as List).whereType<String>().map(normalizeThingId),
}..removeWhere((e) => e.isEmpty);
}
if (isRelayRouter) {
return relays.map((r) => normalizeThingId(r.thingId)).toSet()
..removeWhere((e) => e.isEmpty);
}
// etmvariableload ET evcharger : l'id de la charge EST le ThingId piloté.
final n = normalizeThingId(id);
return n.isEmpty ? const {} : {n};
}
/// Copie patchée : repart de [raw] et ne remplace **que** les clés fournies.
///
/// Toute clé absente des paramètres est transportée telle quelle — c'est ce qui
/// préserve les charges utiles des mécanismes non modélisés par l'app.
///
/// Les charges utiles de mécanisme ([relays], [sgReady], [powerLevels]) se patchent
/// **entières** : ce sont des unions discriminées côté plugin (LM-300), et y remplacer
/// une sous-clé isolée produirait un état que `isValid()` refuse en bloc.
Map<String, dynamic> patched({
/// Le **discriminant** de l'union. Le changer sans nettoyer les charges utiles des
/// autres mécanismes produit une configuration que la box refuse en bloc — passer
/// par `basculerMecanisme()`, jamais par ce paramètre seul.
String? adapter,
int? priority,
String? domain,
String? label,
bool? enabled,
int? minOnS,
int? minOffS,
int? maxPowerW,
String? mode,
String? meterThingId,
String? sensorThingId,
List<Map<String, dynamic>>? relays,
List<int>? powerLevels,
Map<String, dynamic>? sgReady,
Map<String, dynamic>? needs,
}) {
return {
...raw,
'adapter': ?adapter,
'priority': ?priority,
'domain': ?domain,
'label': ?label,
'enabled': ?enabled,
'minOnS': ?minOnS,
'minOffS': ?minOffS,
'maxPowerW': ?maxPowerW,
'mode': ?mode,
'meterThingId': ?meterThingId,
'sensorThingId': ?sensorThingId,
'relays': ?relays,
'powerLevels': ?powerLevels,
'sgReady': ?sgReady,
'needs': ?needs,
};
}
/// Patch générique par clés — pour un champ que ce modèle ne typa pas encore.
///
/// Sert aux champs qui **arrivent** au contrat : les typer d'avance figerait un nom que
/// la spec plugin n'a pas arrêté. La clé n'est écrite que si l'appelant a vérifié
/// qu'elle est au schéma — nymea rejette l'appel entier sur une clé inconnue.
Map<String, dynamic> patchedRaw(Map<String, dynamic> cles) => {...raw, ...cles};
@override
String toString() => 'LoadConfigEntry($id, $adapter, p=$priority, d=$domain)';
}