Distribution
StrateFluxDistr — protocole, serveur de référence, application pilote
StrateFluxDistr est l'extension distribuée du noyau Stratide Flux v2. Elle projette le modèle de référence sur un protocole gRPC, ajoute la sécurité formelle par contexte, et fournit un serveur de référence qui matérialise les invariants posés par les articles fondateurs.
Cette section regroupe la spécification protocolaire, le serveur de référence V0.1 durci, l'application pilote, la cartographie technique et la documentation de gouvernance.
Cap général
Cap général distribué
Présentation des choix structurants, du périmètre V0, des extensions à venir, et de la trajectoire entre runtime distribué et fédération inter-instances.
Sécurité formelle par contexte
La sécurité comme contexte d'admissibilité : pipeline serveur en 18 étapes, types canoniques de la sécurité (ActorIdentity, AuthorizationDecision, AdmissibilityDecision, LeaseSecurityBinding, FlowSecurityTrace), règles impératives et invariants.
Spécification et serveur
Spécification protocolaire (.proto V0-final)
Le fichier stratide_flux.proto V0-final, gelé. 57 messages, 12 énumérations, 7 RPC. Sept opérations canoniques : Catalog, Inscribe, Resolve, Validate, Trace, Field, List. Sémantique de chaque opération et invariants documentés.
Serveur de référence V0.1
Le serveur de référence matérialise la spécification protocolaire et applique la sécurité formelle par contexte. Sept opérations canoniques, authentification dev/strict, contraintes contractuelles V0.1, configuration externe, trace persistante. V0.1 durci, exploitable.
Application pilote
Premier consommateur réel de StrateFluxDistr. Modélisation du cas d'usage, configuration runtime, scénarios end-to-end, mesure et retour d'usage. Périmètre fonctionnel limité, observable, mesurable.
Documentation technique et gouvernance
Cartographie technique
Cartographie complète du livrable : structure du serveur, modules, flux de données, pipeline serveur, handlers, traces protocolaires, couverture de tests, limites V0 résiduelles. Sert d'audit interne et de point de référence pour la gouvernance.
Documentation de gouvernance
Documents de modélisation, feuilles de route et contrôles. Paliers 06 à 10 (sécurité baseline, contraintes Contract, configuration runtime, exploitation opérateur, application pilote). Invariants à préserver à travers les paliers.