fa3c8d4755
Étape 1 du design : le TYPE et sa résolution. Rien ne le consomme encore, et c'est voulu — dans un lot de sécurité, ce qui coûte n'est pas d'écrire le comportement, c'est de prouver qu'on n'a rien cassé en chemin. DrawCap porte la source en PARAMÈTRE, jamais enfouie dans le nom d'une fonction : Breaker (par phase, permanent), GridOperator (total, sur ordre — aucun émetteur, le transport du §14a n'existe pas), EcoSelfImposed (total, le temps de la passe 1 — la passe n'existe pas non plus). Les deux sources sans émetteur sont déclarées pour que la porte reste ouverte, pas parce qu'elle s'ouvre. LE POINT TECHNIQUE : on ne compare pas les plafonds, on compare les MARGES. Un plafond par phase donne sa marge sur la phase la plus chargée, un plafond total la sienne sur le soutirage mesuré ; les deux sont des watts. Le plus petit mord, et on retient sa source ET la phase qui borne — sans elle, un installateur devant une maison triphasée déséquilibrée ne sait pas où mesurer. La contre-épreuve de la conversion est éloquente : ramener un plafond par phase à un « total équivalent » donne 9 300 W de marge là où il y en a 500. Dix-huit fois trop, sur la couche qui décidera d'acheter. C'est exactement l'hypothèse d'équilibre que LM-1006-1 interdit, et elle serait restée invisible jusqu'au jour où elle coupe du courant. Trois autres invariants, tous vérifiés échouant : aucun plafond déclaré rend une marge SANS OBJET et non nulle — une marge nulle bornerait tout à 0 W et couperait l'installation, c'est le « zéro forgé » appliqué à la sécurité ; une marge NÉGATIVE conserve l'ampleur du dépassement, qui est ce que L4 doit délester ; et le départage à marge égale est STABLE (Breaker > GridOperator > EcoSelfImposed), sans quoi le motif publié changerait au gré de l'ordre du tableau, donc sans qu'aucune décision n'ait changé. Le design complet est dans docs/DESIGN_DELESTAGE.md, avec les trois décisions qu'il demande — dont celle qui touche la sécurité : que fait le délestage d'une charge sous verrou minOn, et la réponse diffère selon la source. simulation 35/35, charging 17/17, loadmodel 21/21, spotmarket 7/7, amd64 0/0. Comportement inchangé : aucune suite ne bouge d'une ligne. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015F7G5VeaPVSMeVNjiGj36p
86 lines
3.9 KiB
C++
86 lines
3.9 KiB
C++
// SPDX-License-Identifier: GPL-3.0-or-later
|
|
#ifndef TESTLOADMODEL_H
|
|
#define TESTLOADMODEL_H
|
|
|
|
#include <QObject>
|
|
|
|
/*!
|
|
* \brief Logique pure du modèle de charge : table de paliers et identité matérielle.
|
|
*
|
|
* Aucun serveur nymea ici. Ce qui est éprouvé ne dépend ni d'un ThingManager ni d'un
|
|
* cycle d'arbitrage : la dérivation des paliers est une combinatoire, et
|
|
* \c EnergyArbitrator::sameHardware() une comparaison.
|
|
*/
|
|
class TestLoadModel : public QObject
|
|
{
|
|
Q_OBJECT
|
|
|
|
private slots:
|
|
//! La table dérive de TOUTES les sommes de sous-ensembles, triées, 0 compris.
|
|
void testStageTableIsDerivedFromSubsetSums();
|
|
|
|
//! Puissances distinctes : l'ordre de déclaration n'a aucun effet observable.
|
|
void testRelayOrderIsInertWhenPowersAreDistinct();
|
|
|
|
//! Puissances égales : l'ordre décide QUEL contact sert le palier — et ça se voit.
|
|
void testRelayOrderDecidesWhichContactServesATiedStage();
|
|
|
|
//! Un réordonnancement sans effet ne doit PAS coûter une reconstruction.
|
|
void testReorderingDistinctRelaysKeepsTheAdapter();
|
|
|
|
//! Mais un échange de contacts à puissance égale, si.
|
|
void testSwappingTiedRelaysRebuilds();
|
|
|
|
//! Libellé, rang et besoins se mettent à jour en place : jamais de reconstruction.
|
|
void testSoftFieldsNeverRebuild();
|
|
|
|
// ── §11 — compteur et sonde par charge ─────────────────────────────────
|
|
//! Les deux champs traversent l'aller-retour, et sont OMIS quand ils sont vides.
|
|
void testMeasurementThingsRoundTrip();
|
|
|
|
//! Ils ne sont pas des canaux de commande : ils n'entrent pas dans claimedThingIds().
|
|
void testMeasurementThingsAreNotClaimed();
|
|
|
|
//! Donc deux charges peuvent partager le même compteur et la même sonde.
|
|
void testTwoLoadsMayShareAMeter();
|
|
|
|
//! Et les changer ne reconstruit rien : ils n'ont aucun effet sur le matériel.
|
|
void testMeasurementThingsAreSoftFields();
|
|
|
|
// ── §12 — le plancher de modulation ────────────────────────────────────
|
|
//! Déclaré en dynamic, et il traverse l'aller-retour.
|
|
void testFloorIsDeclaredForContinuousLoads();
|
|
|
|
//! Interdit là où il se DÉRIVE : deux sources d'une même vérité divergent.
|
|
void testFloorIsRefusedWhereItWouldBeDerived();
|
|
|
|
//! Un plancher au-dessus du plafond rendrait la charge inatteignable.
|
|
void testFloorAboveCeilingIsRefused();
|
|
|
|
// ── 3g-2 — le rang de la borne vit dans LoadConfig (LM-1206/LM-1207) ───
|
|
//! Une entrée evcharger est valide SANS charge utile, et traverse l'aller-retour.
|
|
void testEvChargerConfigIsRankOnly();
|
|
|
|
//! Toute charge utile d'un autre mécanisme y est refusée (LM-300, union discriminée).
|
|
void testEvChargerConfigRefusesPayloads();
|
|
|
|
//! Elle revendique son Thing : une borne ne peut pas être aussi une charge pilotée.
|
|
void testEvChargerClaimsItsThing();
|
|
|
|
// ── §12 / LM-1209 — l'auto-provisionnement remplit un trou, il ne décide pas ───
|
|
//! L'unicité de rang REFUSE une écriture, mais n'écarte JAMAIS au chargement : les deux
|
|
//! vérifications sont séparées parce que leurs gestes le sont (LM-1209-a).
|
|
void testRankUniquenessRefusesWriteButNeverDiscards();
|
|
|
|
//! La marque de rang s'efface sur un RANG changé, pas sur une écriture reçue — et un
|
|
//! client ne peut pas fabriquer un "auto" (LM-1209-c).
|
|
void testRankOriginFollowsTheRankNotTheWrite();
|
|
|
|
// ── LM-1006-1 — le plafond de soutirage, étape 1 ───────────────────────
|
|
//! On compare des MARGES, jamais des plafonds : le plus contraignant mord, et on sait
|
|
//! lequel. Aucun plafond déclaré ≠ marge nulle. Départage stable à marge égale.
|
|
void testDrawMarginComparesHeadroomsNotCaps();
|
|
};
|
|
|
|
#endif // TESTLOADMODEL_H
|