Le niveau opératif

Tous les trois jours, chaque acteur reçoit un menu de sa posture, estime ses actes au cache d’issues, anticipe l’adversaire et en retient un.

1 Le vecteur Du duel au gain 2 La boucle 3 Les technologies 4 Les systèmes 5 Les autres options 6 Ormuz

Une mécanique, pas une prévision. Presque toute valeur est un a priori ILLUSTRATIF ou un réglage RÉGLAGE. Les traces citées viennent du commit e8c442a0 (graine 20261108), sur la recette du pétrolier harcelé. Aucune trace vectorielle n’existe : la couche vectorielle ne touche encore aucune trajectoire.

1. Le vecteur à ce niveau

La couche vectorielle ne remplace pas les méthodes ; elle remplace la matière qu’elles lisent. Au niveau opératif, elle entre par une seule porte, la Dirichlet d’issues : la forme des gains ne change pas, ses termes se relisent.

État au 10 nov. 2026 : sur la branche de travail, la couche ne touche aucune trajectoire. app_espace porte l’artefact figé d’Ormuz et ses tables, mais preparer_espace n’a aucun appelant hors de son application ; la loi du duel est codée sur la branche non fusionnée v2/ev3a (ef3126b4). La page de référence de la couche est Espace vectoriel ; celle-ci dit ce qu’elle devient au pas O.

Statut d’une affirmation : bâti dans le code de v2/assemblage branche codé sur v2/ev3a, non fusionné décidé D1–D8, ou décision de travail D9, lot EL à venir proposé ou piste, ni décidé ni bâti non spécifié les textes se taisent — un autre axe que la provenance des valeurs (MESURÉ ESTIMÉ ILLUSTRATIF VIDE).

Du duel au gain

Le duel (VE14–VE18) ne change pas la formule de l’utilité : il change l’a priori de la Dirichlet d’issues, d’où sortent p_succes, R_esc et C_mat par une seule porte, EstimationsCache.primitive. Cliquez un maillon.

Suivre un maillon à la main

marge Δ

σ des cotes

Un Effet, au passif

Un Effet est un élément d’une facette amené de l’autre côté d’un seuil. Celui-ci vient de l’arbre d’objectifs de l’Iran (« réduire de moitié la disponibilité du trafic marchand du détroit d’Ormuz… »), mis au passif : le trafic marchand du détroit est ralenti de moitié.

ce que l’action retire

(trafic_marchand_detroit, disponibilite, baisser, 0,5) → x* = 0,5 · G_obj = (d(x, x*) − d(x′, x*)) / d_ref

bâti le triplet, comme donnée (objectifs/iran.yaml) · décidé son lecteur, G_obj par la distance (DV21–DV23, EL5)

Ce que la clé du cache gagne, et ce qu’elle ne portera pas

Pièce	Avec le vecteur	Statut
Clé de théâtre `(primitive, theatre)`	gagne `marge ∈ {faible, equilibre, forte}`, classe de m (bornes 0,35 et 0,65) ; 72 clés à Ormuz. Exemple : `brouiller_navigation`, clé de théâtre `[ormuz]`	branche
Clé tactique (zone, escorte, densité…)	inchangée au premier lot ; plus tard, une composante `genre_cible` tirée d’un regroupement figé de l’espace	proposé
Deux clés (décision K)	m̄ sur la croyance pour décider, m sur la vérité du membre pour réaliser : l’écart journalisé peut porter une classe de marge	branche
Parente	une clé de théâtre reste une racine : aucun grossissement sur `marge` ; une classe non documentée ne lit que l’a priori continu	branche
Le vecteur dans la clé	jamais : « pas de vecteur, pas d’objet, pas de variante dans la clé » — m suffit (DV20)	décidé
Une parente par voisinage vectoriel	aucun texte ne la prévoit, et la recherche de voisins (pgvector, EV7) est interdite dans un membre (DV30, QE26 (a))	non spécifié
Générations	l’empreinte gagne `espace.yaml`, `espace/`, `objets.yaml`, `effets.yaml`, `objectifs/` : un artefact réappris ouvre une génération initiale	branche

Ce que chaque méthode lit et écrit

Méthode	Ce qu’elle lira dans l’espace	Ce qu’elle écrit	Moment du pas	Statut
Jeu : gains gains.py, estimations.py	`G_obj` = rapprochement de la région ; `C_mat` = `reserve` dépensée, `integrite` et `debit` perdus par ses facettes ; `C_rep` = `adhesion`, `credibilite`, `legitimite` perdues ; `R_esc` « par écart », la `discipline` des exécutants y entre	rien dans l’espace	O6, quatre passes	décidé EL5 (plan 03 §2.2) ; forme de `C_mat`, `C_rep`, `R_esc` : non spécifié
Jeu : anticipation de niveau 1 anticipation.py	le vecteur adverse tel que l’acteur le croit (une Bêta par facette adverse, EL8)	—	O6	décidé EL5 après EL8
Jeu : réponse quantale quantale.py	rien : `P ∝ exp(λ·Ū)`, λ du type	`actions_retenues`	O6, dernière passe	bâti, inchangé
Jeu : signalement signalement.py	« montrer une force, c’est dépenser du `secret` pour gagner de la `credibilite` » ; la crédibilité est déjà la Bêta de §8.4	—	O6	décidé (plan 03 §2.2, D9 ; absent de la spec EV) ; la fiche EL5 ne le livre pas
Dirichlet d’issues cles.py, a_priori.py, lecture.py	m, statistique suffisante des forces et résistances : la classe dans la clé de théâtre, l’a priori `u + ν·P_k(m)`	les comptes, au delta privé, par épisode seulement	O5, O5′, O8	branche ; lecture, relance, générations bâti, inchangées
Effet tiré effets.py, execution.py	l’issue tirée, puis `e` dans sa bande de la Bêta	`etat_objets` par (cible, action, réservoir), seul écrivain : l’opératif	O8	décidé DV18, DV19, EL3
Croyances : Dirichlet sur les types, Bêta app_croyances	forme inchangée ; s’ajoutent une Bêta par (acteur, facette adverse, élément ou voie) et un poids de la preuve réduit par l’écart attendu `1 − ε`	les croyances révisées	O10, chaque jour	décidé EL8
Markov : escalade régionale matrice.py	la `tolerance` déplace θ⁺ par `decalage_theta_plus`, qui existe déjà	palier envisagé régional	O12, fin de pas O	décidé D4, EL6
HTN, vu d’ici menus.py, filtres.py	filtre « un porteur pour la voie » ; préconditions sur les éléments crus	—	O4	décidé EL7 ; le planificateur ne change pas
Hors partie proposer_methodes, pgvector	la matrice des marges Δ[voie, facette] ; les voisins d’un vecteur	des candidats, relus par un humain	jamais dans un membre	décidé EL7, EV7 (QE26 (a))

Monte-Carlo, quatre endroits

L’intérieur : les épisodes de relance, qui remplissent une clé dans le budget du pas O ; l’action (O6), l’issue dans la prédictive et la fiche s’y tirent aussi. bâti
L’extérieur : poids, λ, traits et types tirés une fois par membre au T0 ; la strate le serait si le scénario en admettait plusieurs (Ormuz : une seule, pk et ε fixes). bâti S’y ajouteront les cotes, un tirage nommé par (objet, bloc), puis par (facette, voie, sens) une fois EL1 et EL2 bâtis : décidé DV13, DV14.
Dans le membre : l’effet, tiré sachant l’issue : décidé DV18, EL3 (sur la branche, la réalisation reste catégorielle).
Hors partie : l’estimation et la mesure. 10 000 membres × 2 520 paires, 25,2 millions de tirages d’effet en 5 s environ (MESURÉ par un script d’épreuve, sur des cotes ESTIMÉES) ; résilience par choc étalon, corrélations, Sobol sur les cotes : décidé EL9.

La même partition que sur la page des liens entre niveaux.

L’analytique (E[p_k], m̄, l’intervalle à 80 %) n’est que la réponse immédiate ; l’ensemble la remplace.

Ce qui ne change pas

La forme de l’utilité, la normalisation par référence, les poids et traits des types.
L’anticipation de niveau 1 et la réponse quantale ; un seul tirage par acteur et par pas.
La lecture E[p_k] = α_k / Σα, la relance, les générations figées, les deltas privés.
Les types, les traits, la posture, le plafond, les paliers : hors du vecteur (VE30, D1).
Aucun appel d’IA ni de pgvector dans une partie. Sans données nouvelles, le résultat reste identique au bit.

L’escalade vue d’ici

L’opératif tient l’échelle régionale : pression et palier envisagé en fin de pas O, lignes rouges régionales chaque jour, stock de légitimité. Il lit le plafond régional de la posture ; dans le jeu, R_esc pèse l’écart d’un palier à ce plafond.

Monte : une montée du palier envisagé régional, une escalade accidentelle, une ligne rouge réveillent le stratégique en fin de jour.
Descend : la posture et son plafond ; les conditions d’escalade qui relèvent la ROE et le plafond local.
Avec le vecteur : la tolerance déplace θ⁺, la discipline module ε (D4, EL6) décidé.

La page Escalade en donne le détail.

Ce que l’approche rend possible ici

#	Opportunité	Coût	Ce qu’Ormuz peut éprouver	Statut
1	Un G_obj dans une seule unité : la distance à la région	un lot moyen (EL5)	oui : les sept arbres d’objectifs portent déjà leurs triplets ; Israël, Houthis et milices sortent d’un G_obj VIDE	décidé
2	La mauvaise perception mesurée sur les forces : l’écart m̄ cru / m vrai, journalisé	petit, une fois EV3a fusionné et EL8 bâti	oui, sur les 72 clés de théâtre	branche + décidé
3	Un a priori informé pour les clés rares : moins d’issues uniformes, moins de relances au plancher	fait sur la branche	oui ; la mer Rouge garde ses comptes MESURÉS dans sa classe	branche
4	Provoquer ou dissuader selon ce que l’on croit de la `discipline` et de la `tolerance` adverses	trois lots (EL8, EL6, EL5)	non : ces voies mordent dans l’informationnel, qu’aucune action d’Ormuz ne vise	décidé
5	Le tableau des effets du siège opératif, et des méthodes candidates lues dans la matrice des marges	deux lots moyens (EL10, EL7)	en partie : la cible médiane offre 21 voies sur 28 ; les cotes ne trient pas encore	décidé

Point de vigilance : l’état des cibles est public

Au premier lot, etat_objets est une variable publique (DV19, PV24) : l’attaquant lit l’état vrai de sa cible pour calculer sa distance. La règle de cette page, « l’acteur décide sur ce qu’il croit », ne vaut donc pas pour l’état des cibles jusqu’à la croyance sur l’état (EV11, que le plan 03 répartit entre EL5, EL6 et EL8 ; aucune fiche ne la nomme). D’ici là, l’écart entre clé de décision et clé de réalisation vient des cotes (μ contre le tirage du membre), non d’un état cru.

Ce que les textes ne tranchent pas

R_esc « par écart » : la discipline y entre (plan 03 §2.2), sans forme écrite.
L’héritage d’un élément neuf : le plan 03 §2.5 le fait hériter d’une parente par η ; DV20 ne met ni élément ni voie dans la clé et laisse la clé de théâtre sans parente.
La légitimité : un élément dans [0, 1] (VE26) ; le moteur tient un stock L ≥ 0. La normalisation n’est pas écrite.
L’obéissance ρ d’un proxy : devient-elle une lecture de la discipline effective par parraine_par ? Aucun texte.
La discipline d’un commandement (facette O) : comment elle se compose avec l’ε des entités tactiques.
VIDE sur Ormuz : les trois domaines humains (social, institutionnel, économique) ; l’informationnel est coté sur 13 objets mais visé par aucune action (épreuve E9) ; donc C_rep vectoriel et les voies d’escalade de VE32 n’y ont aucune action qui les exerce.

2. Le pas O

Cliquez une étape, ou déroulez le pas.

3. Les technologies

Brique	Module ou bibliothèque réel	Rôle à ce niveau
Ordonnanceur à crochets	app_ordonnanceur/moteur/pas.py (pas_operatif, SEQUENCES), etapes.py	Les étapes dans leur cadence ; état neuf à chaque étape.
Planificateur HTN écrit pour le v2	app_htn/moteur/planificateur.py (descendre, menu), filtres.py	Style de déclaration GTPyhop, sans la bibliothèque : énumérer, filtrer, estimer ; mode probabilité.
Jeu	app_jeux/moteur/gains.py, estimations.py, anticipation.py, quantale.py, signalement.py	Utilités, anticipation de niveau 1, réponse quantale. L’option d’équilibre quantal (`qre.py`) a été retirée le 9 nov. 2026 (`c0e2f88a`).
Cache Dirichlet	app_cache/moteur/cles.py, lecture.py, entree.py, generations.py, relance.py, theatres.py, importance.py	Clés, lecture, repli, relance, deltas, fusion.
Hasard	numpy 2.5.3 (épinglé), PCG64, SeedSequence ; hashlib.sha256 ; app_ordonnanceur/moteur/hasard.py	Un générateur par nom de tirage.
Statistiques	scipy.stats (lecture.py, importance.py)	Quantiles Bêta à 80 % ; densités p et q du biais.
Géographie	h3 >= 4 (cles.py, couplage.py)	Zone de clé : parent H3 de résolution 5.
Économie	app_economie/moteur/chaine.py, pas.py, couplage.py, marche.py	Quatre étapes pures, sans tirage.
Proxies	app_acteurs/moteur/proxies.py (pas_proxies)	Obéissance, dépassement, attribution.
Données du scénario	PyYAML, jsonschema ; cache.yaml, economie.yaml, primitives/, htn/	Ce qui est propre à Ormuz est donnée, ou arbres et axiomes en Python.
Persistance	Django 5.2, PostgreSQL ; app_cache/models.py (Generation, Entree, Delta), serialiseurs.py	Générations et deltas, en JSON canonique.
Espace vectoriel bâti	app_espace/moteur/espace.py (tables T_A, T_D), chargeurs.py ; scenarios/ormuz_2026/espace/*.npz ; numpy, math.fsum (aucun BLAS)	L’artefact figé et ses tables ; aucun appelant dans une trajectoire.
Domaines de substance bâti	app_espace/domaines.yaml, moteur/domaines.py (EL1, 9c9aaf9f)	Sept fiches, horloges de reprise ; rien ne les lit encore pour jouer.
Loi du duel branche	app_espace/moteur/effets.py sur v2/ev3a (ef3126b4) ; scipy.special (betainc, betaincinv)	Δ, m, Bêta, bandes, classe de marge ; non fusionné.
Recherche de voisins décidé	pgvector sur PostgreSQL 18 (EV7, DV31)	Hors partie seulement : jamais dans un membre (DV30).
Noyau Rust	specification_rust.md	Rien sur `main` à ce jour ; prévu à part (branche `v2/rust`).

4. Les systèmes du niveau

Décider

Le menu de la posture

La posture ouvre des branches ; les filtres en retirent, dans la vue de l’acteur. Le tirage de la méthode a eu lieu au stratégique.

menu = agenda (tâches imposées) ∪ posture · filtres : axiomes → plafond, prétexte, jouable → accords → bornes dures

Avec le vecteur. Un opérateur ne sera offert qu’à un transformateur qui porte la voie ; les préconditions liront des éléments crus. Le planificateur ne change pas. décidé EL7

L’utilité à quatre termes

Chaque terme est ramené à une référence. Les valeurs de départ redonnent l’utilité 0,88 de la trace.

Type

G_obj

C_mat

C_rep

R_esc

U = w_obj(G_obj + S·Sig) − w_mat·C_mat − w_rep·S·C_rep − w_esc(1 + aversion)R_esc + préf_déni·(1 − clarté)

Avec le vecteur. La formule reste ; chaque terme se relira sur le vecteur (du duel au gain). G_obj deviendra la distance à la région. décidé EL5

L’anticipation de niveau 1

L’acteur suppose que l’adversaire voit son acte et lui répond quantalement, sans l’anticiper en retour.

λ de j

Ū_i(a) = Σ_θ π(θ) [ Σ_b P_j(b|a,θ) U_i(a,b) + (1 − Σ_b P_j) U_i(a,∅) ]

Avec le vecteur. U_j sera évalué sur le vecteur adverse tel que i le croit. décidé EL5 après EL8

La réponse quantale

Un λ par type. À λ = 1, les probabilités de la trace.

P_i(a) ∝ exp(λ_θi · Ū_i(a))

Avec le vecteur. Rien ne change : λ reste un paramètre du type. bâti

Le signalement

Un acte vaut aussi par ce qu’il fait croire de soi. Sur Ormuz, aucun type « déterminé » n’est déclaré : valeur nulle.

Avec le vecteur. « Montrer une force, c’est dépenser du secret pour gagner de la credibilite » : une phrase du plan 03, sans forme. proposé

La traduction

Une action retenue par acteur et par pas. Aucun optimiseur n’alloue les moyens : l’acte porte sa cible, sa cellule et son jour.

Avec le vecteur. O7 écrira la variante retenue d’une cyberattaque ; O8 la relira sans la recalculer (DV16). décidé

Estimer : le cache d’issues

Deux clés, une parente

L’acteur décide sur ce qu’il croit ; l’arbitre tire sur ce qui est. L’écart se journalise. Grossir une composante donne la clé parente.

Grossir :

Avec le vecteur. Une clé de théâtre gagne la classe de marge ; m̄ sert à décider, m à réaliser. branche Au premier lot, l’état des cibles est public : point de vigilance.

La Dirichlet d’issues

Seul un épisode ajoute au compte. Une clé jeune emprunte à sa parente, une clé riche l’ignore.

α_lu = comptes + η·p̄(parente) + u · E[p_k] = α_k / Σα

Avec le vecteur. Pour une clé de théâtre à force, l’a priori devient u + ν·P_k(m) + comptes déclarés ; les comptes restent par classe. branche

La relance

Un lot d’épisodes, seulement si la décision en dépend.

largeur due au cache

budget restant

les intervalles des deux meilleures actions se recouvrent

Avec le vecteur. La relance ne change pas ; les théâtres n’ont toujours pas d’épisodes (DV20). bâti

Générations et deltas privés

Une génération est figée ; chaque membre écrit son delta ; la fusion se fait hors trajectoire.

graine d’un épisode = sha256(clé, graine du membre, rang, génération)

Avec le vecteur. L’empreinte d’une génération lira aussi les fichiers de l’espace : un artefact réappris ouvre une génération initiale. branche

Réaliser une issue

L’issue se tire dans la prédictive, la fiche dans le réservoir. Réservoir vide : un épisode est joué.

clé A-Res = u^(1/w) · les 32 plus grandes restent

Avec le vecteur. Puis l’effet se tirera dans la bande de l’issue, et O8 l’écrira dans etat_objets (DV18, DV19). décidé EL3

L’échantillonnage d’importance

Pour les évènements rares : loi biaisée, poids w. Code présent, aucun appelant du moteur.

w = p/q · n_eff = (Σw)² / Σw²

Avec le vecteur. Rien n’est écrit. Lecture de la règle §13.6 : biaiser une cote déplacerait m, donc la classe, donc la clé — un biais de contexte, refusé. non spécifié

Les théâtres secondaires

Mer Rouge et Irak : une Dirichlet par (primitive, théâtre), jamais d’épisode. A priori tiré de la campagne houthie.

43 essais − 18 touchés − 1 hors issues = 24 → 12 + 12 · α = 10·c/42 + 0,5

Avec le vecteur. La campagne est rangée dans la classe equilibre (ILLUSTRATIF) ; ses comptes MESURÉS ne servent qu’à cette classe. branche

Agir et tenir les comptes

Les consignes aux proxies

Une consigne attend le pas suivant ; le proxy obéit avec la probabilité ρ de son type vrai.

ignorée 1 − ρ · obéie ou dépassée ρ (partage par descendre du proxy)

Avec le vecteur. Un lien parraine_par et son ancrage porteront la discipline effective, donc ε (VE39) décidé EL6 ; le sort de ρ non spécifié

L’économie

Chaîne déterministe, une fois par pas O, sur les incidents des trois jours. Tout y est a priori, sauf le trafic nominal MESURÉ. Valeurs de départ : la trace variante_houthie à J3.

ρ̃

palier

nominal = transit + attente + detourne + contourne + perdu (identité exacte, en entiers)

Avec le vecteur. Le trafic deviendra un item dynamique dont le debit est un rapport au nominal ; les volumes restent ici : une grandeur, une source. décidé EL4

L’escalade régionale

Le plafond de la posture borne le menu, par position dans le fichier. Paliers de l’Iran :

I ← ρ·I + S·Σ score (fin de pas O)

Avec le vecteur. La tolerance déplacera θ⁺ de la matrice régionale (D4) décidé EL6. Le détail : page Escalade.

Légitimité et engagements

Les incidents subis remplissent un stock qui autorise la riposte ; les promesses échues se jugent en fin de pas.

L ← ρ_L·L + Σ g̃·S·c_attr

Avec le vecteur. L’élément legitimite lira ce stock, sans le doubler ; sa normalisation dans [0, 1] non spécifié

Les croyances

Bayes exact sur le type, chaque jour, par la chaîne HTN puis jeu. Croyance américaine sur l’Iran :

π′(θ) ∝ π(θ)·L_θ

Avec le vecteur. Une Bêta par facette adverse s’ajoutera ; un acte commis par écart pèsera 1 − ε comme preuve. décidé EL8

Les tirages nommés

Chaque nom a son générateur : ajouter un tirage ne décale pas les autres.

Ce qui ne se joue pas ici

Tirage de la méthode HTN, posture, type vrai	Stratégique (`s06_htn`, `s02_types`). L’opératif lit l’arbre en mode probabilité.
Épisode, tick, ROE, trafic en population	Tactique. Le Poisson des arrivées n’y prend que `taux_arrivee`.
Monte-Carlo de l’ensemble	Boucle extérieure (`app_ensemble`) ; ici, seulement le delta privé du membre.
Estimation des poids, validation, Sobol	Hors trajectoire, sur une génération figée.
Vectorisation, cotes, gel de l’univers, méthodes candidates, voisins d’un vecteur	Hors partie (QE26 (a), DV30) : un membre lit un artefact figé ; aucun appel d’IA, aucune requête pgvector.

5. Les autres options possibles

Source : la spec quand elle tranche, sinon « appréciation ».

6. Sur Ormuz

La tâche pression_detroit de l’Iran, sur la trace branche_a. Choisissez un pas O.

Les clés de `remplissage`

Composante	harcelement_sans_escorte	harcelement_escorte_voisine
zone	8543adb3fffffff	8543adb3fffffff
escorte	aucune	voisine
densite	haute	haute
roe	defaut	defaut
periode	jour	jour
mines_crues	nulle	nulle
posture_adverse	retenue	retenue

Le couplage économique

Lien	Identifiant	Provenance
Fiches → risque	incidents_du_pas : gravite, proximite_route	ILLUSTRATIF
Mines crues → trafic	croyances.mines[armateurs], couplage_zones_route	ESTIMÉ
Trafic nominal	lambda_nominal = 85,5 navires/jour	MESURÉ PortWatch
Trafic → clé	taux_arrivee → densite (seuils 30, 70)	ILLUSTRATIF
Prix → Iran	@terme_crep pression_chinoise ; jeux_flux_pression_chinoise = {}	VIDE inactif
Marge	couplage_marge	VIDE a priori 0
Prix → G_obj	economie.yaml iran.termes.g_obj (hausse_prix) : p_succes · sens · reste	ILLUSTRATIF branché le 9 nov.
Volume perdu → C_mat	iran.termes.c_mat (volume_perdu, petrole)	ILLUSTRATIF
Durée de crise → w_esc	golfe.frein (pente 0,2, plafond 3) : modulations_poids	ILLUSTRATIF branché
Prix, prime, taux J0 → J3	100 → 100,95 · 0,05 → 0,30 · 80 → 72,8	ILLUSTRATIF trace branche_a

Primitive	Méthode (`htn/iran/V1.py`)	Palier local	Palier régional	Issues K	Clarté a priori ILLUSTRATIF	Cache

DCS : PUBLIC. Spec : aesop_arena_tactical_v2/00_specifications/01_COEUR_MODELISATION_SIMULATION.md (§ cités dans les balises). Les jouets sont signalés ; le reste est lu dans le code et les fichiers du scénario ormuz_2026.