s01Bruit et saillance
Un monde calme regarde : un petit incident y pèse lourd.
S(t) = g(B(t)) ∈ [0,1 ; 1,0]
Pas S · 7 jours · échelle internationale
Il ne déplace aucune unité. Il choisit la manière d'agir de chaque acteur, et jusqu'où l'opératif peut aller.
| Dans la doctrine | Dans le code |
|---|---|
| Effet recherché | la tâche racine, ordonnanceur_racines |
| Mission | à l'écran, une méthode stratégique applicable de la racine ; dans le plan 03, une région de l'espace décidé |
| État final | end_state de l'arbre d'objectifs, objectifs/<acteur>.yaml, sept acteurs bâti, sans lecteur |
| Objectifs | w_obj · G_obj dans U(m) ; demain, la distance à la région (EL5) |
| Limitations | axiomes, bornes, plafond_regional : hors du vecteur |
La couche vectorielle ne remplace pas les méthodes de ce niveau : elle remplace la matière qu'elles lisent. Le HTN, les croyances, l'échelle internationale et le Monte-Carlo gardent leur forme. Aujourd'hui, aucune pièce de cette couche n'agit sur une trajectoire.
Statut : bâti dans le code de v2/assemblage branche codé sur v2/ev3a, non fusionné décidé décision du propriétaire ou de travail (D9), non codée proposé ni décidé ni bâti non spécifié les textes se taisent. La provenance des valeurs (MESURÉ, ESTIMÉ, ILLUSTRATIF, VIDE) est un autre axe.
« La matrice propose ; elle ne décide pas. […] Le plan (HTN) ordonne. Le jeu choisit. » spec EV, VE52, règle 4
Du duel au gain, en deux lignes. Les forces et les résistances donnent une marge Δ, puis une réussite moyenne m, une loi Bêta et un a priori des issues du cache ; la théorie des jeux de l'opératif en tire p_succes, R_esc et C_mat sans changer de forme. La chaîne entière est sur la page opérative : du duel au gain.
| Méthode | Ce qu'elle lira dans l'espace | Ce qu'elle y écrit | Moment du pas | Statut |
|---|---|---|---|---|
| HTN, préconditions | Des éléments crus d'une facette, par la vue de l'acteur, jamais le vrai : « ma reserve suffit », « sa detection est basse ». Un précédent existe : attribuer_au_parrain lit déjà une Bêta crue (htn/iran/V9.py:55-58). | rien | s06_htn, borne S et réveil | décidé EL7, après EL8 |
| HTN, filtre du porteur | Une primitive n'est offerte qu'à un transformateur qui porte la voie. Au stratégique, il agit par la valeur : une branche dont une primitive perd son porteur tombe, et la méthode ne tombe que si toutes ses branches tombent (planificateur.py:443-445, 481). | rien | s06_htn | décidé EL7 |
| HTN, estimation | p_succes, R_esc, C_mat lus dans le cache, dont la clé de théâtre gagne la classe de marge (faible, équilibre, forte). | rien | s06_htn, par espérance | branche ef3126b4 ; décidé EL3 |
| HTN, gain d'objectif | Le rapprochement de la région, calculé une fois sur la position cumulée de la méthode (DV24). | rien | s06_htn | décidé EL5 ; arbres d'EV2 bâti sans lecteur |
| HTN, attendre un prétexte | L, qui est l'élément legitimite. | rien | s06_htn | bâti filtres.py:187-202, inchangé |
| HTN, hors partie | La matrice des marges Δ[voie, facette] : pour une cible et un élément, les voies à marge positive et leur porteur. | des méthodes candidates, jamais écrites seules dans un arbre | avant la partie | décidé EL7, QE26 (a) |
| Utilité, réponse quantale | Les termes redéfinis : G_obj, la distance ; C_mat, la reserve dépensée et l'integrite, le debit perdus par ses propres facettes ; C_rep, l'adhesion, la credibilite, la legitimite perdues ; R_esc, avec la discipline des exécutants. Forme, poids et λ ne changent pas. | rien | s06_htn | décidé EL5 ; « R_esc par écart » non spécifié |
| Dirichlet sur les types | Forme inchangée. Le poids de la preuve d'un acte est réduit par l'écart attendu 1 − ε : une discipline crue basse rend un incident moins probant. | croyance_types (module croyances) | s04 prédiction ; Bayes à o10 | décidé EL8 |
| Bêta | Une croyance par (acteur, facette adverse, élément ou voie), mise à jour à l'observation, relâchée sans elle. | la croyance | o10, s04 | décidé EL8 ; son lien aux Bêta déjà bâties (appétit adverse, obéissance) non spécifié |
| Markov, échelle internationale | θ⁺_facette = θ⁺(posture, type) + k_θ·(tolerance − tolerance_ref) ; l'hystérésis θ⁻ < θ⁺ est gardée. | le palier envisagé, comme aujourd'hui | s05_escalade, borne S et réveil | décidé D4, EL6 ; forme ILLUSTRATIVE |
| Markov, chaîne des types | Des éléments de la facette qui décide (determination, adhesion, tolerance) comme facteurs f_k, β VIDES. | type_vrai | s02_types | décidé plan 03 §2.4 (D9) ; aucune fiche de lot ne le livre |
| Appétit | L'élément appetit est A : lu, jamais doublé. | appetit | s02b_appetit | A bâti ; la voie qui le réduirait non spécifié |
| Monte-Carlo, ensemble | Chaque membre tire ses cotes au T0 (cotes_epistemiques, DV14) ; l'effet d'une action se tire dans la Bêta ; le désaccord des joueurs devient la dispersion (plan 03 §0.4). | rien dans l'état | T0 du membre ; o08 | décidé ; source absente de sources_alea.yaml |
| Monte-Carlo, hors partie | La matrice des marges sur tout l'ensemble : 10 000 membres × 2 520 paires en 5 s environ (VE52, mesure S4, sur des cotes ESTIMÉES). | rien | hors partie | décidé VE52 règle 7 : jamais dans un membre |
P(m) ∝ exp(λ·U(m)), λ du type, et les deux softmax en série (la manière ici, l'acte à l'opératif).etat_objets n'a qu'un écrivain, l'opératif à o08 (DV19). Voir les liens entre niveaux.physique, 6 cyber, 4 ondes (épreuve E9, MESURÉ sur les données ; QE21 (a)). La facette « l'État iranien » de la spec EV (§11.3) n'est qu'un exemple ILLUSTRATIF.social, institutionnel et economique ne sont ni cotés ni visés (QE25 (a)) ; l'informationnel est coté sur 13 objets, mais aucune action ne le vise (épreuve E9) : appetit, tolerance et legitimite n'y ont aucune action qui les exerce.tolerance_ref, k_θ, discipline_ref sont à étalonner.| Opportunité | Ce qu'elle coûte | Ce qu'Ormuz peut éprouver | Statut |
|---|---|---|---|
| La carte des missions : la région visée, les recettes qui la décrivent, la distance courante, la chaîne d'escalade et ses quatre éléments. | EL5 puis EL10 | oui, sur les réservoirs physiques des sept arbres d'EV2 | décidé |
| Le débriefing « ce que l'on croyait » : le vecteur adverse cru, face au vrai. | EL8 puis EL10 | en partie : seules les facettes physiques, cyber et ondes | décidé |
| Des méthodes candidates hors partie, lues dans la matrice des marges et relues par un humain. | EL7 | mesurable ; mais une cible offre 21 voies sur 28 en médiane (VE52, S3) : les cotes sont trop permissives pour trier, l'outil sert d'abord à relire | décidé |
La zone grise lisible : une recette (appétit réel, plafond bas, discipline haute, déni) et une preuve pondérée par 1 − ε. | EL6 et EL8 | en partie : l'obéissance des Houthis et des milices est déjà tirée, mais leurs actes n'ont pas d'ε (théâtres secondaires) ; le poids 1 − ε ne s'éprouve que sur les vedettes iraniennes | décidé |
| L'univers des joueurs : leurs croyances deviennent l'a priori, leur désaccord la dispersion de l'ensemble. | EL11 | oui : Ormuz est le premier univers, pré-rempli | décidé ; QE7 ouverte |
Le stratégique possède la pression et les paliers internationaux, l'appétit, la posture, le plafond régional et la ROE directe ; il lit en haut le palier et la pression régionaux, et les évènements marquants (app_niveaux/defaut.yaml). Ce qui monte : cinq marquants le réveillent en fin de jour — montée d'un palier envisagé régional, escalade accidentelle, ligne rouge, violation d'accord, injection forte — et il refait alors s05, s06, s07. Ce qui descend : le plafond régional, les branches admises, les conditions d'escalade et la ROE directe ; il resserre tout de suite et n'ouvre qu'à la borne O.
Avec le vecteur : la tolérance déplace θ⁺ décidé D4, EL6 ; l'appétit et la légitimité sont lus, jamais doublés ; le plafond et les lignes rouges ne changent pas. Le détail — matrice de taux, hystérésis, désescalade, la représaille pas à pas — est sur la page dédiée : l'escalade, vue du stratégique.
Chaque semaine simulée, et à chaque réveil, le niveau relit ce qui remonte, fait bouger ce qui est lent, puis tire pour chaque acteur une méthode. Cette méthode devient sa posture.
Pas de moteur externe : un planificateur écrit pour ce service, des fonctions pures, des données déclarées.
| Brique | Bibliothèque ou module réel | Rôle à ce niveau |
|---|---|---|
| Service | Python 3.12, Django 5.2 | Hôte. Le pas est fait de fonctions pures, hors ORM (DA39). |
| Planificateur HTN | app_htn/moteur/planificateur.py : descendre, posture_depuis. Déclaration au style GTPyhop, sans la bibliothèque (DA12) | Énumère, filtre, estime, tire. Deux modes : tirage et probabilité. |
| Utilité, softmax | app_htn/moteur/utilite.py : composer, utilite, softmax, sur math | U(m) par composition, loi des méthodes. |
| Hasard reproductible | numpy 2.5.3, épinglé ; SeedSequence + sha256 du nom, app_ordonnanceur/moteur/hasard.py | Un flux par tirage nommé, liste fermée de sources. |
| Croyances | app_croyances/moteur/dirichlet.py ; scipy betainc, beta.py | Prédiction des moyennes et masses ; Bêta de crédibilité, de N. |
| Escalade | app_escalade/moteur/ : echelles, matrice, plafond, lignes_rouges | Graphe propre à chaque acteur, matrice en taux. |
| Contrat de niveau | app_niveaux/defaut.yaml, moteur/autorite.py | Qui possède, qui lit ; une écriture hors autorité est refusée. |
| Ordonnancement | app_ordonnanceur/moteur/pas.py (SEQUENCES), etapes.py, posture.py | Les crochets dans leur cadence. |
| Données du scénario | PyYAML + jsonschema ; Python pour axiomes.py et htn/ | Tout chiffre porte sa provenance. |
| Espace vectoriel | app_espace/moteur/espace.py (tables T_A, T_D), chargeurs.py ; l'artefact figé d'Ormuz ; objectifs/*.yaml, sept arbres | bâti EV1, EV2 : chargé, n'agit sur aucune trajectoire. |
| Loi du duel | app_espace/moteur/effets.py : Δ, m, Bêta, bandes, classe de marge | branche v2/ev3a, ef3126b4, non fusionnée. |
| Domaines de substance | app_espace/domaines.yaml, moteur/domaines.py | bâti sur v2/assemblage (9c9aaf9f), sans appelant. |
| Études d'ensemble | Celery, Redis ; app_ensemble | Hors du pas : la boucle extérieure. |
| Noyau Rust | ○ non construit specification_rust.md | Documents seulement ; ce niveau reste en Python. |
Dans l'ordre du pas. Les valeurs affichées sont les réglages déclarés ; survolez les pour le détail.
s01Un monde calme regarde : un petit incident y pèse lourd.
S(t) = g(B(t)) ∈ [0,1 ; 1,0]
s02Le type caché fixe poids et λ. Il persiste, et peut basculer.
Π(t)[θ,θ′] ∝ Π⁰[θ,θ′] · exp(Σ β·f_k(t))
proposé Avec le vecteur — Des éléments de la facette qui décide (determination, adhesion, tolerance) pourraient servir de facteurs f_k, β VIDES (plan 03 §2.4). Aucun lot ne le livre.
s02bRappelé vers la référence du type courant ; il multiplie le gain des méthodes dures.
logit A′ = logit A − δ·(logit A − logit A⁰_θ) + Σ β·f_k
décidé Avec le vecteur — A devient l'élément appetit sans changer de source : le vecteur le lit, il ne le double pas (VE34). EL6 l'expose. Par quel chemin une dissuasion le réduirait n'est pas écrit.
s03Mécanique câblée, données absentes : tant que N est vide, S3 ne tire rien.
N ← clip₀¹(N + v(m) − δ·n + a·n)
non spécifié Avec le vecteur — Les sites (natanz, fordow) sont des objets physiques visables ; N reste un scalaire caché. Les textes ne les relient pas.
s04Moyenne : filtre bayésien exact. Masse (Dirichlet) : la fermeté. Ici, seule la prédiction ; Bayes tourne à l'opératif.
π ← π·Π̃ · n ← n_bas + γ·(n − n_bas)
décidé Avec le vecteur — La Dirichlet ne change pas de forme. EL8 ajoute des Bêta par facette adverse et par élément, et réduit le poids de la preuve d'un acte par l'écart attendu 1 − ε.
s05Le palier suit la pression par une loi en taux, avec hystérésis et risques concurrents.
I ← ρ·I + S·Σ score · taux = λ⁰·σ(a·(I − θ⁺))
décidé Avec le vecteur — D4 : la tolérance d'une facette déplace θ⁺ (EL6, forme ILLUSTRATIVE). Sur Ormuz, aucune facette S ne la porte.
s05Ce que l'acteur subit, ce qu'il s'autorise, ce qu'il a fait. Seule une décision relève le plafond.
décidé Avec le vecteur — La tolérance agit au seuil, l'appétit et la légitimité à la montée, la discipline au palier exercé ; le plafond reste une décision (VE30, VE31).
s06Là où un HTN classique garde la première méthode qui marche, celui-ci les pèse toutes et tire. Erol, Hendler et Nau (1994) pour le HTN.
P(m) = exp(λ·U(m)) / Σ exp(λ·U(m′))
décidé Avec le vecteur — EL7 : des préconditions sur des éléments crus et un filtre « un porteur pour la voie ». Le planificateur, le softmax et λ ne changent pas ; la matrice des marges ne sert qu'hors partie (QE26 (a)).
s06Au stratégique, sur les espérances du cache, sans tirage d'issue. Une branche non déclarée ne vaut jamais plus que « maintenir ».
décidé Avec le vecteur — EL5 redéfinit les termes : G_obj, la distance à la région ; C_mat et C_rep, des éléments de ses propres facettes. Aujourd'hui l'estimation pose c_rep = 0 (estimations.py:156).
s06Choisir un logit plutôt que le meilleur : λ → 0 uniforme, λ → ∞ argmax.
inchangé Avec le vecteur — EL5 ne touche ni la réponse quantale, ni les poids, ni λ.
s06Tant que L < L*, les branches dures restent fermées. La légitimité est tenue par l'opératif.
L* = L*₀·(1 + a_p·patience)·(1 + a_S·S)
bâti Avec le vecteur — L est l'élément legitimite, sans changement. Le déni d'attribution le viserait chez l'adversaire (VE32) ; aucune action d'Ormuz ne le porte.
s06| Acteur | Axiomes |
|---|---|
| iran | axiomes: [] · bornes: [] |
| etats_unis | pas_d_invasion_terrestre |
| golfe | jamais_champ_de_bataille |
| israel | reponse_obligatoire_territoire (impose) |
| france | axiomes: [] |
Avant tout calcul, un axiome retire une branche ou impose une tâche. Depuis le 8 nov., l'Iran n'en a plus.
axiome(vue, candidat) → bool
s06La prudence n'attend pas ; l'audace attend la prochaine borne O.
non spécifié Avec le vecteur — Le champ tolerance de la posture existe sans lecteur ; l'élément tolerance de VE34 viserait le même seuil.
réveilUne ligne franchie ouvre une question, jamais une réponse.
inchangé Avec le vecteur — EL6 ne touche ni les lignes rouges, ni le plafond, ni les traits.
s07Une parole peu crédible informe peu ; une menace non tenue coûte.
L_θ = P_HTN(décl|θ)·[c̄·𝟙(θ compatible) + 1 − c̄] · C_rep = κ·S
proposé Avec le vecteur — Signaler, c'est dépenser du secret pour gagner de la credibilite (plan 03 §2.2, absent de la spec EV) ; la crédibilité est déjà la Bêta bâtie.
s08Le renseignement frais entre comme un a priori borné, jamais comme une méthode nouvelle.
+ ν · ln p_neur(m)
non spécifié Avec le vecteur — L'amorce écrit etat_objets en écrivain spécial (DV19) ; rien n'est dit des cotes d'éléments.
tiragesLe pas ne contient aucune moyenne : il tire. L'ensemble relève de app_ensemble.
décidé Avec le vecteur — Chaque membre tirera ses cotes au T0 (DV14) et l'effet dans sa Bêta ; la matrice des marges reste hors partie (VE52 règle 7).
o06_jeu réponse quantale et anticipation
o05 · o08 cache Dirichlet d'issues, lu ici par espérance
o10 mise à jour bayésienne
o13 légitimité (DA7)
o12 échelles locale et régionale
Chaque ligne dit sa source : la spec quand elle tranche, appréciation sinon.
| Système | Option écartée | Ce qu'elle apporterait | Pourquoi pas ici | Source |
|---|
Les vrais identifiants de ormuz_2026, France comprise. Choisissez un acteur : sa tâche racine, ses types, la méthode tirée à chaque borne S, ses échelles. Aucun de ces acteurs ne porte encore de facette au niveau stratégique.