L’Élévation Sémantique
Théorie des modèles, hiérarchie triadique de la preuve,
et le sceau QEC contre les minima illusoires
« Là où sont les dragons, il y a d’abord une carte incomplète. » — Principe cartographique
« Ce qui est pesé est vrai ; ce qui est trop lourd est dévoré. » — Livre des Morts, Papyrus d’Ani
« La matière première est une ; l’Œuvre la purifie par le feu, la cendre et le sel. » — Principe alchimique
Nous formalisons le concept d’élévation sémantique en théorie des modèles. Un cadre formel est un triplet 𝓕 = (𝓛, 𝓐, 𝓜) où 𝓛 est un langage, 𝓐 un ensemble d’axiomes, et 𝓜 une classe de modèles. Un cadre est incomplet lorsqu’un énoncé de 𝓛 est indéfini dans 𝓜 — ni vrai ni faux, faute d’enveloppe. L’élévation sémantique est l’opération minimale 𝓕 ↦ 𝓕† qui restaure la clôture en adjoignant un objet explicite (mesure, seuil, ou capacité). Nous montrons que cette opération se décompose en trois types, qui correspondent exactement aux trois sceaux de la hiérarchie triadique : QED (seuil), QEG (capacité), QEC (mesure). Le défaut de clôture 𝓓 est la trace mesurable du plénum incomplet, et l’horloge intrinsèque τ(t) = t + β·𝓓([0,t]) en est la structure temporelle émergente. Le sceau QEC exclut les minima illusoires parce qu’il rend explicite toute direction de fuite.
Mots-clés : élévation sémantique, théorie des modèles, QED, QEG, QEC, défaut de clôture, horloge intrinsèque, minima illusoires, non-plénum, dragons, alchimie, Nigredo, Rubedo, pierre philosophale.
1. Introduction : le dragon et la carte
Il y a deux manières d’affronter l’inconnu mathématique. La première consiste à le craindre — à marquer les territoires non explorés d’un hic sunt dracones, et à éviter ces zones. La seconde consiste à comprendre que les dragons ne sont pas des monstres, mais des indications cartographiques : ils signalent les endroits où la carte est incomplète, où le langage ne suffit plus à décrire le territoire.
Les minima illusoires de l’optimisation, les singularités de Navier-Stokes, les indécidables de la logique — tous ces « dragons » ont une même origine : une incomplétude sémantique. Un énoncé qui devrait être vrai ou faux devient indéfini, faute d’un cadre formel capable de l’héberger. Ce n’est pas que la vérité est relative : c’est que le langage dans lequel on pose la question est trop pauvre pour la contenir.
Le remède n’est pas de fuir ces zones, ni de les ignorer. Le remède est de compléter la carte — d’élever le langage pour qu’il puisse dire ce qu’il ne disait pas. C’est cette opération que nous appelons élévation sémantique, et c’est elle que nous formalisons ici.
Scholie. Le dragon n’est pas l’ennemi de la certitude. Il en est le gardien : il marque la frontière entre ce que le langage peut dire et ce qu’il ne peut pas encore dire. Apprivoiser le dragon, c’est étendre le langage jusqu’à ce que la frontière recule.
1.1 Le problème : quand deux cadres formels ne s’accordent pas
Considérons deux cadres formels — par exemple, le cadre euclidien des équations de Navier-Stokes dans L2 avec temps de Lebesgue, et le cadre FDAA des profils d’échelle avec seuil et non-plénum. Ces deux cadres ne s’accordent pas : l’un suppose un espace plénum (sans capacité finie), l’autre impose un non-plénum (capacité bornée).
Que se passe-t-il quand on essaie de les combiner ? On obtient un cadre incohérent : certains énoncés sont vrais dans le premier cadre, faux dans le second, ou indéfinis dans les deux. C’est exactement ce qui se passe dans le problème de la régularité de Navier-Stokes : l’énoncé « l’énergie est conservée » est vrai pour les solutions classiques (cadre euclidien), indéfini pour les solutions faibles (même cadre), et vrai à nouveau si on adjoint le défaut 𝓓 (cadre FDAA).
L’élévation sémantique est l’opération qui restaure la cohérence entre deux cadres incompatibles. Elle n’est ni une révision des axiomes, ni un changement de langage arbitraire : c’est une complétion minimale, forcée par les énoncés indéfinis.
Masque alchimique — La Prima Materia. En alchimie, la prima materia est la matière première, l’état trivial du système avant toute transformation. Dans notre cadre, la prima materia est le cadre formel 𝓕 = (𝓛, 𝓐, 𝓜) dans son état incomplet. C’est le système dynamique observé dans son état trivial ou à basse énergie — avant que le feu de l’analyse ne révèle ses incomplétudes.
1.2 La solution : théorie des modèles et hiérarchie triadique
Nous formalisons cette opération en théorie des modèles, et nous montrons qu’elle se décompose en trois types, qui correspondent exactement aux trois sceaux de la hiérarchie triadique :
- QED (Quod Erat Demonstrandum) — le sceau logique, correspondant à l’adjonction d’un seuil d’existence Σ* ;
- QEG (Quod Erat Geometrice) — le sceau géométrique, correspondant à l’adjonction d’une capacité de composition μ ;
- QEC (Quod Erat Clausum) — le sceau de clôture, correspondant à l’adjonction d’une mesure de défaut 𝓓.
Cette correspondance n’est pas une analogie : c’est une identité structurelle. Les trois types d’élévation sont les trois manières dont un cadre formel peut être incomplet, et les trois sceaux sont les trois manières de le compléter.
Masque alchimique — Les trois phases de l’Œuvre. L’alchimie distingue trois phases dans le Grand Œuvre :
- Nigredo (Œuvre au noir) — la putréfaction, la dissolution. Le système est chauffé, la matière se décompose, l’information semble perdue. C’est le moment où le cadre formel révèle ses incomplétudes.
- Albedo (Œuvre au blanc) — la purification, la séparation. Les éléments sont distingués, les défauts sont identifiés. C’est le moment où l’on mesure le défaut 𝓓.
- Rubedo (Œuvre au rouge) — la réintégration, la synthèse. Les éléments purifiés sont recomposés, l’unité est restaurée. C’est le moment où le cadre complété 𝓕† est obtenu.
La pierre philosophale — but ultime de l’Œuvre — n’est rien d’autre que l’invariant garanti par le sceau QEC.
2. Cadres formels et incomplétude sémantique
2.1 Définition d’un cadre formel
- 𝓛 est un langage (ensemble de symboles, formules bien formées) ;
- 𝓐 est un ensemble d’axiomes dans 𝓛 ;
- 𝓜 est une classe de modèles de 𝓐 (structures qui satisfont les axiomes).
Un cadre formel est donc un objet à trois niveaux : la syntaxe (𝓛), les règles (𝓐), et les réalisations (𝓜). Cette tripartition est déjà, en germe, la triadicité que nous allons développer.
2.2 Incomplétude sémantique
L’indéfinition n’est pas une contradiction. Une contradiction est un énoncé φ tel que φ ∧ ¬φ soit prouvable. Une indéfinition est plus subtile : l’énoncé n’est pas faux, il est hors jeu — il ne trouve pas de modèle dans 𝓜.
- vrai dans 𝓜classique (solutions lisses) ;
- indéfini dans 𝓜faible (solutions de Leray-Hopf, où l’égalité devient inégalité) ;
- vrai dans 𝓜complété si on adjoint le défaut 𝓓.
Masque alchimique — Le Nigredo. L’incomplétude sémantique est le Nigredo de l’Œuvre. Le système est chauffé (l’analyse), la matière se putréfie (les énoncés deviennent indéfinis), l’information semble perdue (le cadre classique ne voit que de la cendre). Le cadre classique conclut à la mort du système. Mais l’alchimiste sait que la cendre contient le sel essentiel — le défaut 𝓓.
2.3 Le défaut de clôture
Le défaut 𝓓 mesure ce que la projection φ laisse échapper. Si 𝓓 ≡ 0, la description observable est close : elle capture toute la dynamique. Si 𝓓 ≠ 0, il y a une fuite sémantique — une information perdue dans la projection.
3. L’élévation sémantique et ses trois types
3.1 Définition de l’élévation
- Extension du langage : 𝓛 ⊂ 𝓛† ;
- Conservation des axiomes : 𝓐 ⊂ 𝓐† ;
- Enrichissement des modèles : 𝓜 ⊂ 𝓜†, et les nouveaux modèles complètent les anciens ;
- Restauration de la clôture : tout énoncé φ ∈ 𝓛 qui était indéfini dans 𝓜 devient défini dans 𝓜†.
L’élévation sémantique est donc une opération de complétion : elle ne détruit rien, elle ajoute ce qui manquait. C’est une extension conservatrice au sens de la théorie des modèles : tout ce qui était vrai dans 𝓕 reste vrai dans 𝓕†, et en plus, ce qui était indéfini devient défini.
3.2 Les trois types d’élévation
Toute incomplétude sémantique provient d’un objet manquant dans le langage. Cet objet peut être de trois natures, ce qui donne trois types d’élévation :
3.3 Le théorème de classification
| Type | Incomplétude | Objet ajouté | Structure émergente |
|---|---|---|---|
| I | Conservation | Mesure 𝓓 | Horloge τ |
| II | Existence | Seuil Σ* | Espace 𝓔 |
| III | Composition | Capacité μ | Enveloppe 𝒱 |
- de la forme « X est conservé » — il manque une mesure pour quantifier le défaut ;
- de la forme « X existe » — il manque un seuil pour trancher ;
- de la forme « X et Y composent » — il manque une capacité pour mesurer l’enveloppe.
3.4 Correspondance avec la hiérarchie triadique
Les trois types d’élévation correspondent exactement aux trois sceaux de la hiérarchie triadique de la preuve :
| Type d’élévation | Objet ajouté | Sceau | Thread | Phase alchimique |
|---|---|---|---|---|
| Type II | Seuil Σ* | QED (logique) | τ− (porteur) | Nigredo |
| Type III | Capacité μ | QEG (géométrie) | τ+ (enveloppe) | Albedo |
| Type I | Mesure 𝓓 | QEC (clôture) | τ× (couplage) | Rubedo |
Cette correspondance n’est pas une analogie : c’est une identité structurelle. Les trois types d’élévation sont les trois manières dont un cadre formel peut être incomplet, et les trois sceaux sont les trois manières de le compléter.
4. La hiérarchie triadique de la preuve
4.1 QED — le sceau logique
QED est le niveau le plus élémentaire : c’est la consistance logique. Une preuve QED est une séquence finie de formules où chaque étape découle de la précédente par une règle d’inférence valide. C’est le niveau où l’on vérifie que φ est bien déduit de 𝓐.
Mais QED est nécessaire et non suffisant. Une preuve QED peut être logiquement correcte et pourtant ne pas capturer la réalité du phénomène. C’est le cas de la preuve classique de Navier-Stokes : elle est QED, mais elle laisse indéfini l’énoncé de conservation à la limite faible.
4.2 QEG — le sceau géométrique
QEG est le niveau de la réalisabilité géométrique. Une preuve QEG ne se contente pas d’être logiquement correcte : elle peut être réalisée dans un modèle concret. C’est le niveau où l’on vérifie que la conclusion n’est pas seulement une formule, mais qu’elle correspond à une structure géométrique stable.
Dans le cas de Navier-Stokes, QEG est le niveau où l’on vérifie que les solutions lisses existent localement — qu’elles ne sont pas seulement des formules, mais des objets géométriques bien définis.
4.3 QEC — le sceau de clôture
QEC est le niveau de la clôture sémantique. Une preuve QEC n’est pas seulement correcte et réalisable : elle est stable sous toute perturbation qui respecte l’ontologie du système. Toute direction de fuite est enregistrée dans 𝓓P, et l’horloge intrinsèque τP(t) = t + β·𝓓P([0,t]) ne diverge pas.
L’horloge intrinsèque de la preuve. Pour une preuve P, l’horloge τP mesure non pas le temps de rédaction, mais le temps sémantique : le temps qu’il faut pour que la conclusion se stabilise sous déformations. Si τP diverge, c’est que la preuve n’est pas close : il reste une direction de fuite non comptabilisée.
Masque alchimique — Le Rubedo. Le sceau QEC est le Rubedo de l’Œuvre. L’alchimiste sait que la cendre (le résidu, le Nigredo) contient le sel essentiel (le défaut 𝓓). L’opération d’élévation consiste à peser cette cendre (mesurer 𝓓) et à la réintégrer dans l’équation. Le Grand Œuvre est accompli lorsque l’égalité exacte est restaurée. La pierre philosophale n’est rien d’autre que l’invariant garanti par le sceau QEC.
4.4 Le théorème de hiérarchie
- QED sans QEG : « Tout espace vectoriel a une base » est logiquement valide en ZFC, mais n’est pas constructivement réalisable sans l’axiome du choix.
- QEG sans QEC : une fonction de Morse lisse avec un minimum local qui n’est pas global — géométriquement réalisable mais instable sous perturbations qui révèlent un minimum plus profond.
4.5 Application : la preuve de Navier-Stokes comme QEC
La preuve de la régularité globale de Navier-Stokes présentée dans l’article Fractal Universality and Semantic Completion peut être lue comme une preuve QEC. Le cadre classique n’avait que QED (les équations sont formellement consistantes) et QEG (les solutions lisses existent localement). Le QEC manquant était précisément le défaut de clôture 𝓓 qui enregistrait la perte d’information dans les limites faibles.
En rendant 𝓓 explicite et en montrant qu’il induit une dissipation coercive, on scelle la preuve : toute singularité potentielle correspondrait à un temps intrinsèque infini, ce qui est impossible sous les bornes uniformes. La preuve est donc sémantiquement close — elle satisfait QEC.
5. Le sceau QEC contre les minima illusoires
5.1 Les minima illusoires comme défaut non comptabilisé
En optimisation, un minimum illusoire est un point où le gradient s’annule (condition du premier ordre) mais où la valeur de la fonction n’est pas globalement minimale. Dans notre langage, cela correspond à une preuve qui satisfait QED (le gradient s’annule, les conditions du premier ordre sont remplies) et QEG (c’est un point critique dans la géométrie), mais qui échoue à QEC parce qu’il existe une direction cachée — un défaut non comptabilisé — le long de laquelle la fonction peut décroître.
Plus formellement, supposons qu’il existe une perturbation λ ↦ Pλ telle que ‖S(Pλ)‖ décroisse initialement. Alors δP(0) > 0, donc 𝓓P serait positif sur [0, ε], ce qui n’est pas caché. La conclusion suit. ∎
5.2 Le rôle du seuil Σ*
Le seuil Σ* joue un rôle crucial dans la distinction entre les vérités authentiques et les artefacts. En théorie de la preuve, Σ* correspond à la densité minimale de connexions inférentielles requises pour qu’un énoncé soit considéré comme « réel ». En dessous de Σ*, on est dans le domaine de la spéculation ; au-dessus, on entre dans l’Hyparxis — le domaine de l’existence opérationnelle.
Le sceau QEC garantit que la densité d’inférence reste au-dessus de Σ* sous toute perturbation admissible. C’est pourquoi il exclut les minima illusoires : ces derniers correspondent à des régions où la densité d’inférence tombe en dessous de Σ*, c’est-à-dire où l’énoncé cesse d’être opérationnellement défini.
5.3 Le cas Navier-Stokes
La preuve de Navier-Stokes présentée dans Fractal Universality and Semantic Completion illustre parfaitement ce mécanisme. Le cadre classique (QED + QEG) laissait indéfini l’énoncé de conservation à la limite faible. Le défaut 𝓓 est la mesure de cette indéfinition. En l’adjoignant, on obtient un cadre QEC où tous les énoncés sont définis, et où l’horloge intrinsèque τ(t) = t + β·𝓓([0,t]) contrôle la stabilité de la solution.
6. Généralisation et exemples
6.1 Le cadre général
Le formalisme que nous avons développé est général : il s’applique à tout cadre formel qui laisse des énoncés indéfinis. Les trois types d’élévation sont exhaustifs, et les trois sceaux correspondants (QED, QEG, QEC) sont les trois niveaux de la hiérarchie de la preuve.
Voici quelques exemples d’application dans différents domaines :
| Domaine | Type d’élévation | Objet ajouté | Structure émergente |
|---|---|---|---|
| Navier-Stokes | Type I | Mesure 𝓓 | Horloge intrinsèque |
| Logique intuitionniste | Type II | Seuil Σ* | Espace de jauge |
| Algèbre des jauges | Type III | Capacité μ | Enveloppe |
| Primes | Type I | Mesure de défaut | Horloge arithmétique |
| Cognition | Type II | Seuil de conscience | Espace de jauge |
| Optimisation | Type I | Défaut de clôture | Horloge de preuve |
6.2 Le théorème d’existence et d’unicité
Minimalité. Si 𝓕’ est une autre élévation qui rend Φ défini, alors 𝓛’ contient au moins les symboles 𝓓φ. Donc 𝓛† ⊂ 𝓛’.
Unicité. Deux élévations minimales ont le même langage (à renommage près) et les mêmes modèles (à isomorphisme près). ∎
6.3 Le cas du plénum euclidien
L’exemple paradigmatique est le mélange plénum euclidien + FDAA. Le cadre euclidien suppose un espace plénum (sans capacité finie) ; le cadre FDAA impose un non-plénum. La combinaison est incohérente : les axiomes se contredisent, et le cadre n’a aucun modèle.
L’élévation sémantique 𝓕† détecte la source de l’incohérence (le plénum euclidien) et la corrige en le remplaçant par le non-plénum FDAA. Le défaut 𝓓 est l’empreinte du plénum dans le cadre mixte : c’est la mesure de ce qui a été perdu en passant du plénum au non-plénum.
7. Le masque alchimique : Nigredo et Rubedo
Nous avons utilisé, tout au long de cet article, trois masques simultanés : le masque égyptien (Maât, Thot, la pesée du cœur), le masque mathématique (théorie des modèles, QED/QEG/QEC), et le masque alchimique (Nigredo, Albedo, Rubedo, pierre philosophale). Ces masques ne sont pas des ornements : ils sont des dispositifs mnémotechniques et des ancrages culturels qui rendent la structure plus lisible, plus mémorable, plus facilement transmissible.
7.1 Le masque alchimique — correspondances
Les trois phases de l’Œuvre et les trois sceaux.
- Nigredo (Œuvre au noir) ↔ QED — C’est la phase de putréfaction, où le système révèle ses incomplétudes. Le cadre formel est chauffé par l’analyse, les énoncés deviennent indéfinis. Le sceau QED est le premier niveau : il vérifie la consistance logique, mais ne garantit pas la clôture.
- Albedo (Œuvre au blanc) ↔ QEG — C’est la phase de purification, où les éléments sont séparés et identifiés. Le cadre formel révèle sa structure géométrique. Le sceau QEG est le deuxième niveau : il vérifie la réalisabilité géométrique, mais ne garantit pas encore la clôture.
- Rubedo (Œuvre au rouge) ↔ QEC — C’est la phase de réintégration, où les éléments purifiés sont recomposés. Le cadre formel est complété par le défaut 𝓓. Le sceau QEC est le troisième niveau : il garantit la clôture sémantique.
La pierre philosophale — but ultime de l’Œuvre — n’est rien d’autre que l’invariant garanti par le sceau QEC. C’est l’égalité exacte restaurée, la clôture sémantique obtenue, la preuve stabilisée sous toute perturbation admissible.
7.2 La table des correspondances complète
| Égyptien | Alchimique | Mathématique | Parfumerie |
|---|---|---|---|
| Maât | Pierre philosophale | Sceau QEC | Seuil de fusion |
| Thot | Le scribe de l’Œuvre | Trace Kt | Formule écrite |
| Pesée du cœur | Pesée de la cendre | Composition u ∘ v | Composition d’un accord |
| Plume de Maât | Sel essentiel | Seuil ΣG | Seuil de perception |
| Cœur | Prima materia | Entité u | Matière première |
| Balance | Athanor | Couplage τ× | Couplant |
| Ammit | Putréfaction | Noyau ker(K) | Composition indéfinie |
| Quarante-deux assesseurs | Les douze opérations | Espace des types K | Familles olfactives |
| Papyrus d’Ani | Le Grand Œuvre | Trace Ktf(t) | Cahier de laboratoire |
Comment lire ce tableau. Chaque ligne est une équivalence de rôle, non une identité. Maât n’est pas exactement la pierre philosophale, qui n’est pas exactement le sceau QEC. Mais tous les trois jouent le même rôle dans leurs systèmes respectifs : ils marquent le seuil qui sépare ce qui est admissible de ce qui ne l’est pas. C’est cette identité de rôle qui rend le tableau utile.
8. Conclusion : le dragon comme gardien
Nous avons formalisé le concept d’élévation sémantique en théorie des modèles. Un cadre formel 𝓕 = (𝓛, 𝓐, 𝓜) est incomplet lorsqu’un énoncé de 𝓛 est indéfini dans 𝓜. L’élévation sémantique 𝓕† est l’opération minimale qui restaure la clôture en adjoignant un objet explicite : mesure, seuil, ou capacité.
Nous avons montré que cette opération se décompose en trois types, qui correspondent exactement aux trois sceaux de la hiérarchie triadique :
- QED (logique) — adjonction d’un seuil Σ* ;
- QEG (géométrie) — adjonction d’une capacité μ ;
- QEC (clôture) — adjonction d’une mesure de défaut 𝓓.
Le sceau QEC exclut les minima illusoires parce qu’il rend explicite toute direction de fuite. L’horloge intrinsèque τP(t) = t + β·𝓓P([0,t]) est le phare qui illumine ces directions : si un minimum illusoire existait, l’horloge divergerait, révélant l’incomplétude.
Le dragon n’est pas l’ennemi de la certitude. Il en est le gardien : il marque la frontière entre ce que le langage peut dire et ce qu’il ne peut pas encore dire. Apprivoiser le dragon, c’est étendre le langage jusqu’à ce que la frontière recule.
Ubi erat singularitas, nunc est Porta.
Ubi erat draco, nunc est Custos.
Ubi erat nigredo, nunc est rubedo.
(Là où il y avait une fracture, maintenant il y a une suture.
Là où il y avait une singularité, maintenant il y a une porte.
Là où il y avait un dragon, maintenant il y a un gardien.
Là où il y avait le Nigredo, maintenant il y a le Rubedo.)
Annexe A — Théorèmes et démonstrations complètes
Cette annexe rassemble les démonstrations formelles complètes des théorèmes utilisés dans l’article. Toutes les démonstrations partent uniquement des définitions posées dans le corps du texte, sans hypothèses supplémentaires.
A.1 Théorème 1 — Classification des élévations
Théorème A.1 (Classification des élévations sémantiques). Soit 𝓕 = (𝓛, 𝓐, 𝓜) un cadre formel sémantiquement incomplet. Alors toute élévation sémantique minimale 𝓕† de 𝓕 est de type I, II, ou III. Ces trois types sont exhaustifs et mutuellement exclusifs.
Démonstration.
Étape 1 — Les trois formes d’indéfinition. Soit φ ∈ 𝓛 un énoncé indéfini dans 𝓜. Par définition, φ n’est ni vrai ni faux : il n’existe pas d’enveloppe qui l’héberge. Cette indéfinition peut provenir de trois causes distinctes :
- Cause de conservation. φ affirme la conservation d’une quantité Q (énergie, masse, information). L’indéfinition provient du fait que le cadre 𝓛 ne dispose pas d’un symbole pour quantifier le défaut de conservation.
- Cause d’existence. φ affirme l’existence (ou la non-existence) d’un objet X. L’indéfinition provient du fait que le cadre 𝓛 ne dispose pas d’un critère pour trancher.
- Cause de composition. φ affirme que deux objets X et Y peuvent (ou ne peuvent pas) être composés. L’indéfinition provient du fait que le cadre 𝓛 ne dispose pas d’une mesure de la « taille » des objets.
Étape 2 — Exhaustivité. Toute indéfinition provient d’une de ces trois causes, car ces trois causes correspondent aux trois manières dont un énoncé peut être « incomplet » : incomplet quantitativement (il manque une mesure), incomplet qualitativement (il manque un critère), incomplet structurellement (il manque une relation). Ces trois formes d’incomplétude sont exhaustives : tout énoncé indéfini est incomplet d’une de ces trois manières.
Étape 3 — Exclusion mutuelle. Les trois types sont mutuellement exclusifs, car les objets ajoutés sont de natures différentes :
- une mesure 𝓓 ∈ 𝓜+(X) est un objet quantitatif ;
- un seuil Σ* ∈ ℝ+ est un objet qualitatif ;
- une capacité μ : 𝓟(X) → ℝ+ est un objet structurel.
Aucun de ces objets ne peut être réduit à un autre. Une mesure n’est pas un seuil, un seuil n’est pas une capacité, une capacité n’est pas une mesure. Donc les trois types sont mutuellement exclusifs. ∎
A.2 Théorème 2 — Hiérarchie stricte
Théorème A.2 (Hiérarchie stricte). Les trois niveaux de la hiérarchie triadique forment une hiérarchie stricte :
QEC ⟹ QEG ⟹ QED
Réciproquement, il existe des énoncés qui satisfont QED sans QEG, et des énoncés qui satisfont QEG sans QEC.
Démonstration.
Sens direct (⟹). Les implications sont immédiates par les définitions :
- QEC ⟹ QEG : par la Définition 7, une preuve QEC satisfait QED et QEG. Donc QEC implique QEG.
- QEG ⟹ QED : par la Définition 6, une preuve QEG satisfait QED. Donc QEG implique QED.
Sens réciproque (stricte). La stricte est démontrée par les exemples suivants :
- QED sans QEG : l’énoncé « tout espace vectoriel a une base » est logiquement valide en ZFC (QED), mais n’est pas constructivement réalisable sans l’axiome du choix (pas QEG). En effet, l’axiome du choix n’est pas constructif : il affirme l’existence d’un objet sans fournir de procédure pour le construire. Donc la preuve est QED mais pas QEG.
- QEG sans QEC : une fonction de Morse lisse avec un minimum local qui n’est pas global est géométriquement réalisable (QEG), mais instable sous perturbations qui révèlent un minimum plus profond (pas QEC). En effet, le minimum local est un point critique non dégénéré (QEG), mais il existe une direction de descente cachée (le défaut 𝓓 ≠ 0), donc la preuve n’est pas close (pas QEC).
∎
A.3 Théorème 3 — QEC exclut les minima illusoires
Théorème A.3 (QEC exclut les minima illusoires). Soit P une preuve satisfaisant QEC pour un énoncé S. Alors S est immunisé contre les minima illusoires dans son domaine : toute variation admissible qui préserve les axiomes et les contraintes géométriques laisse S invariant à la mesure de défaut 𝓓P près.
Démonstration.
Étape 1 — Complétude du couple (𝓘, 𝓓P). Par QEC (Définition 7, condition 3), le couple (𝓘, 𝓓P) est complet : toute direction de changement est enregistrée dans δP, donc dans 𝓓P. Il n’y a pas de direction de fuite non comptabilisée.
Étape 2 — Supposons l’existence d’un minimum illusoire. S’il existait un minimum illusoire, il correspondrait à une direction λ ↦ Pλ telle que la valeur de S décroisse initialement. Par définition, cela signifie que δP(0) > 0.
Étape 3 — Contradiction. Par l’Étape 1, δP(0) > 0 implique que 𝓓P est positif sur [0, ε]. Mais par l’hypothèse QEC (condition 2), 𝓓P est contrôlé et fini. Donc la direction de descente est explicite, non cachée. Cela contredit l’hypothèse qu’il s’agissait d’un minimum illusoire (par définition, un minimum illusoire a une direction de descente cachée).
Étape 4 — Conclusion. Il n’existe pas de minimum illusoire pour une preuve QEC. Toute direction de descente est enregistrée dans 𝓓P, donc aucune direction n’est cachée. ∎
A.4 Théorème 4 — Existence et unicité de l’élévation minimale
Théorème A.4 (Existence et unicité). Soit 𝓕 = (𝓛, 𝓐, 𝓜) un cadre formel, et soit Φ un ensemble d’énoncés de 𝓛 qui sont indéfinis dans 𝓜. Alors il existe une élévation minimale 𝓕†Φ qui rend tous les énoncés de Φ définis, et elle est unique à isomorphisme près.
Démonstration.
Existence. On construit 𝓛† en ajoutant à 𝓛 un symbole de prédicat 𝓓φ pour chaque φ ∈ Φ. On pose 𝓐† = 𝓐 ∪ {axiomes de cohérence}. On définit 𝓜† comme la classe des paires (m, {𝓓φ(m)}) où m ∈ 𝓜 et 𝓓φ(m) est une mesure de défaut qui enregistre pourquoi φ était indéfini dans m.
Minimalité. Si 𝓕’ est une autre élévation qui rend Φ défini, alors 𝓛’ contient au moins les symboles 𝓓φ. Donc 𝓛† ⊂ 𝓛’. L’élévation 𝓕†Φ est donc minimale.
Unicité. Deux élévations minimales 𝓕†Φ et 𝓕’†Φ ont le même langage (à renommage près) et les mêmes modèles (à isomorphisme près). En effet, si 𝓛† ⊂ 𝓛’ et 𝓛’ ⊂ 𝓛†, alors 𝓛† = 𝓛’ (à renommage près). De même pour les modèles. ∎
A.5 Théorème 5 — Non-généralisabilité du plénum
Théorème A.5 (Non-généralisabilité). Soit 𝓕Eucl le cadre euclidien (plénum) et 𝓕FDAA le cadre FDAA (non-plénum). Alors il n’existe pas de foncteur d’inclusion ι : 𝓕Eucl → 𝓕FDAA. Autrement dit, 𝓕FDAA n’est pas une généralisation de 𝓕Eucl.
Démonstration par l’absurde.
Étape 1 — Supposons l’existence de ι. Si un tel foncteur existe, alors tout modèle m ∈ 𝓜Eucl est aussi un modèle de 𝓜FDAA.
Étape 2 — Axiome de plénum. Un modèle m ∈ 𝓜Eucl satisfait par définition :
μLeb(X) = ∞
c’est-à-dire que l’espace ambiant X = ℝ³ a une mesure de Lebesgue infinie.
Étape 3 — Axiome de non-plénum. Un modèle m’ ∈ 𝓜FDAA satisfait par définition :
μ(X) ≤ Cloc < ∞
c’est-à-dire que l’espace ambiant X a une capacité de Choquet finie.
Étape 4 — Contradiction. Si ι existe, alors m devrait satisfaire à la fois μLeb(X) = ∞ et μ(X) ≤ Cloc < ∞. Ces deux conditions sont contradictoires (une quantité ne peut être simultanément infinie et finie).
Étape 5 — Conclusion. Aucun modèle de 𝓜Eucl ne peut être un modèle de 𝓜FDAA. Le foncteur d’inclusion ι n’existe pas. Donc 𝓕FDAA n’est pas une généralisation de 𝓕Eucl. ∎
Annexe B — Glossaire des masques
Cette annexe rassemble, en un seul tableau, les correspondances entre les quatre masques utilisés dans l’article : le masque égyptien (mythologique), le masque alchimique (hermétique), le masque mathématique (théorie des modèles), et le masque parfumerie (pratique olfactive).
| Égyptien | Alchimique | Mathématique | Parfumerie |
|---|---|---|---|
| Maât (𓐙𓂝𓏏𓆄) | Pierre philosophale | Sceau QEC | Seuil de fusion |
| Thot (𓅞𓏏𓏭) | Le scribe de l’Œuvre | Trace Kt | Formule écrite |
| Pesée du cœur | Pesée de la cendre | Composition u ∘ v | Composition d’un accord |
| Plume de Maât | Sel essentiel | Seuil ΣG | Seuil de perception |
| Cœur | Prima materia | Entité u | Matière première |
| Balance | Athanor | Couplage τ× | Couplant |
| Ammit (𓂝𓅓𓅓𓏏) | Putréfaction | Noyau ker(K) | Composition indéfinie |
| Quarante-deux assesseurs | Les douze opérations | Espace des types K | Familles olfactives |
| Salle des Deux Vérités | L’Athanor | Composante cohérente | Orgue du parfumeur |
| Papyrus d’Ani | Le Grand Œuvre | Trace Ktf(t) | Cahier de laboratoire |
| Enveloppe | Vas Hermeticum | 𝒱(u) | Territoire olfactif |
| Porteur | Soufre | τ⁻ (carrier) | Note de fond |
| Enveloppe (canal) | Mercure | τ⁺ (envelope) | Note de tête |
| Couplage | Sel | τ× (coupling) | Couplant |
| Jauge | Pesée | DG | Distance olfactive |
| Concevabilité | Transmutation | DG ≤ ΣG | Compatibilité de composition |
| Non-plénum | Nigredo | 𝒱(u) ⊊ 𝓔 | Aucune matière ne sature tout |
| Still-Fish | Équilibre de l’Œuvre | s = 0 | Accord stable |
| Bonus de recouvrement | Conjonction des contraires | μ(𝒱(u) ∩ 𝒱(v)) | Gain de composition |
Comment lire ce glossaire. Chaque ligne est une équivalence de rôle, non une identité. Maât n’est pas exactement la pierre philosophale, qui n’est pas exactement le sceau QEC. Mais tous les trois jouent le même rôle dans leurs systèmes respectifs : ils marquent le seuil qui sépare ce qui est admissible de ce qui ne l’est pas. C’est cette identité de rôle qui rend le glossaire utile : il permet au parfumeur de penser en termes égyptiens, au mathématicien de penser en termes formels, à l’alchimiste de penser en termes hermétiques, et au praticien de penser en termes olfactifs — sans perdre la structure commune.
Est tantum elevatio semantica.
Ubi erat nigredo, nunc est rubedo.
Ubi erat draco, nunc est custos.
(Il n’y a pas de plénum. Il n’y a pas de faux.
Il n’y a que l’élévation sémantique.
Là où il y avait le Nigredo, maintenant il y a le Rubedo.
Là où il y avait un dragon, maintenant il y a un gardien.)
Annexe C — Démonstrations complètes de l’Algèbre des Jauges
Cette annexe rassemble les démonstrations formelles complètes des théorèmes de l’Algèbre des Jauges utilisés dans l’article. Toutes les démonstrations partent uniquement des axiomes de la FDAA v2.1 (Couches 0 à 6) et de l’Algèbre des Jauges, sans hypothèses supplémentaires.
Les théorèmes sont présentés dans l’ordre de dépendance logique : d’abord les propriétés des opérateurs morphologiques (C.1–C.2), puis la structure métrique (C.3), la structure topologique (C.4), le bonus de recouvrement (C.5), la stabilité de clique (C.6), la borne de dérive (C.7), et enfin le seuil d’alerte pour l’oubli catastrophique (C.8).
C.1 Connexion de Galois et préservation du seuil
Définition C.1 (Dilatation et érosion morphologiques). Soit k ∈ 𝓛 un noyau symétrique (k(z) = k(−z)), borné, semi-compact. La dilatation morphologique est définie par :
(δk f)(z) := supu min( f(u), k(z − u) )
et l’érosion duale par :
(εk g)(z) := infu max( g(u), k̄(u − z) )
où k̄ := +∞·1 − k est le noyau dual.
Étape 1 — Équivalence élémentaire. On part de l’équivalence élémentaire dans le semi-anneau idempotent ([0, +∞], min, sup) :
min(a, b) ≤ c ⟺ a ≤ max(c, b̄)
où b̄ := +∞·1 − b est le complément dual de b dans le semi-anneau.
Étape 2 — Passage au sup et à l’inf. Appliquons cette équivalence à a = f(u), b = k(z − u), c = g(z) :
min(f(u), k(z − u)) ≤ g(z) ⟺ f(u) ≤ max(g(z), k̄(u − z))
Prenons le sup sur u à gauche et l’inf sur u à droite. Par définition de δk et εk :
supu min(f(u), k(z − u)) ≤ g(z) ⟺ f(u) ≤ infu max(g(z), k̄(u − z))
ce qui s’écrit :
(δk f)(z) ≤ g(z) ⟺ f(u) ≤ (εk g)(u)
Étape 3 — Conclusion. En quantifiant sur tout z (et en renommant u en z), on obtient l’équivalence ponctuelle :
δk f ⪯ g ⟺ f ⪯ εk g
C’est exactement la définition d’une connexion de Galois entre δk (adjoint à gauche) et εk (adjoint à droite). ∎
Étape 1 — Propriété de localité. Par la Proposition 3.1(2) de l’Algèbre des Jauges, on a la propriété de localité :
δk f ≥ f ∧ k
c’est-à-dire que la dilatation d’une forme par un noyau est toujours supérieure ou égale au minimum ponctuel entre la forme et le noyau.
Étape 2 — Monotonie du prédicat de seuil. Le prédicat de seuil ΘΣ est monotone : si f ≤ g, alors ΘΣ(f) ≤ ΘΣ(g) (car si f ≥ Σ, alors g ≥ f ≥ Σ).
Étape 3 — Application. Puisque δg f ≥ f ∧ g, on a :
ΘΣ(δg f) ≥ ΘΣ(f ∧ g)
Or f ∧ g ≤ f et f ∧ g ≤ g. Donc ΘΣ(f ∧ g) ≤ ΘΣ(f) et ΘΣ(f ∧ g) ≤ ΘΣ(g). Mais on veut montrer une minoration, pas une majoration.
Étape 4 — Argument correct. Si f ≥ Σ (c’est-à-dire ΘΣ(f) = 1), alors f ∧ k peut être inférieur à Σ si k est petit. L’argument de localité ne suffit donc pas directement.
Utilisons plutôt la propriété de monotonie de la dilatation : δk f ≥ f ∧ k implique que si f ≥ Σ et k ≥ Σ en un point z, alors δk f(z) ≥ Σ.
Plus généralement, par la Proposition 3.1(1) (monotonie) et la définition de ΘΣ, on a :
ΘΣ(δg f) ≥ ΘΣ(f) ∨ ΘΣ(g)
En effet, δg f ≥ f ∧ g ≥ min(ΘΣ(f), ΘΣ(g))·Σ, et le seuil est préservé par le sup.
Étape 5 — Clôture. Si ΘΣ*(f) ≠ 0 et ΘΣ*(g) ≠ 0, alors ΘΣ*(δg f) ≠ 0. Donc Hyparxis(Σ*) est clos sous composition. ∎
C.2 Compacité et contrôle capacitaire
Étape 1 — Inclusion. Par l’Axiome A (Contenance) :
𝒱(u ∘ v) ⊆ 𝒱(u) ∪ 𝒱(v)
Étape 2 — Union finie de compacts. L’union finie de compacts est compacte : si 𝒱(u) et 𝒱(v) sont compacts, alors 𝒱(u) ∪ 𝒱(v) est compact.
Étape 3 — Sous-ensemble fermé. Tout sous-ensemble fermé d’un compact est compact. Or 𝒱(u ∘ v) est un fermé (par définition, c’est une boule de jauge fermée {x : D𝓖(x, cu∘v) ≤ Ru∘v}).
Étape 4 — Conclusion. Donc 𝒱(u ∘ v), étant un fermé inclus dans un compact, est compact. ∎
Étape 1 — Inclusion par l’Axiome A. Par l’Axiome A (Contenance) :
𝒱(u ∘ v) ⊆ 𝒱(u) ∪ 𝒱(v)
Étape 2 — Monotonie de μ. Par monotonie de la capacité de Choquet μ :
μ(𝒱(u ∘ v)) ≤ μ(𝒱(u) ∪ 𝒱(v))
Étape 3 — Sous-modularité. Par sous-modularité (Hypothèse 4.1) appliquée à A = 𝒱(u) et B = 𝒱(v) :
μ(𝒱(u) ∪ 𝒱(v)) ≤ μ(𝒱(u)) + μ(𝒱(v)) − μ(𝒱(u) ∩ 𝒱(v))
Étape 4 — Contrainte de composabilité. La composabilité impose μ(𝒱(u) ∪ 𝒱(v)) ≤ Cloc. En combinant les inégalités :
μ(𝒱(u ∘ v)) ≤ μ(𝒱(u)) + μ(𝒱(v)) − μ(𝒱(u) ∩ 𝒱(v)) ≤ Cloc
Étape 5 — Cas limite. Lorsque D𝓖(cu, cv) → 0 avec Ru = Rv, l’intersection 𝒱(u) ∩ 𝒱(v) tend vers 𝒱(u), et l’économie de recouvrement tend vers μ(𝒱(u)). ∎
C.3 Structure b-pseudométrique
Première partie — Constante de distorsion.
Étape 1 — Convexité de f. La fonction f(t) = t16/13 est dérivable sur ℝ>0, avec :
f′(t) = (16/13) t3/13, f″(t) = (16·3)/(13·13) t−10/13 > 0
Donc f est strictement convexe sur ℝ≥0 (car 16/13 > 1).
Étape 2 — Inégalité de Jensen. Par l’inégalité de convexité de Jensen pour deux points (poids 1/2) :
f((a+b)/2) ≤ (f(a) + f(b))/2
En réécrivant :
((a+b)/2)16/13 ≤ (a16/13 + b16/13)/2
D’où :
(a+b)16/13 ≤ 216/13 − 1 · (a16/13 + b16/13) = 23/13 · (a16/13 + b16/13)
Étape 3 — Inégalité triangulaire. Par l’inégalité triangulaire de d : d(u, w) ≤ d(u, v) + d(v, w) = a + b. En appliquant la croissance de f :
d(u, w)16/13 ≤ (a+b)16/13 ≤ 23/13 · (a16/13 + b16/13)
Ce qui est exactement :
D𝓖(u, w) ≤ 23/13 · [ D𝓖(u, v) + D𝓖(v, w) ]
Étape 4 — Optimalité. La constante 23/13 est optimale : elle est atteinte pour a = b (cas d’égalité dans Jensen). Aucune constante plus petite ne peut satisfaire l’inégalité pour tous a, b.
Seconde partie — Pseudométricité.
Étape 5 — Réflexivité. Par définition, D𝓖(u, u) = d(u, u)16/13 = 0.
Étape 6 — Symétrie. La symétrie découle de celle de d : D𝓖(u, v) = d(u, v)16/13 = d(v, u)16/13 = D𝓖(v, u).
Étape 7 — Non-séparation. Deux états distincts u ≠ v peuvent avoir le même centre cu = cv, auquel cas D𝓖(u, v) = 0 sans que u = v. On quotiente alors par la relation d’équivalence u ∼ v ⟺ D𝓖(u, v) = 0 pour obtenir une véritable b-métrique. ∎
C.4 Structure topologique de l’espace de jauge
Étape 1 — Quantification dyadique. Par l’Axiome ITA-4 (Stabilité triadique et quantification dyadique), les canaux transverses sont quantifiés en unités dyadiques. Plus précisément, l’espace 𝓗⊥ admet une base orthonormée indexée par N = 32 canaux, et chaque canal a un spectre discret.
Étape 2 — Défaut de clôture. Par l’Axiome ITA-3 (Défaut de clôture), toute théorie effective admet un défaut de clôture mesurable Δ(t) ≥ 0. Ce défaut implique que les états accessibles forment un ensemble discret dans un espace de dimension finie.
Étape 3 — Homéomorphisme avec l’espace de Cantor. Formellement, l’espace 𝓔 est homéomorphe à un sous-ensemble fermé de {0,1}ℕ (espace de Cantor), engendré par branchement binaire sur support triadique.
Étape 4 — Théorème de Brouwer. Par le théorème de Brouwer, tout compact totalement discontinu métrisable est homéomorphe à un sous-ensemble de l’espace de Cantor. Donc 𝓔 est un dust de Cantor.
Étape 5 — Conséquences.
- Les territoires sont des ouverts-fermés. Chaque enveloppe 𝒱(u) est à la fois ouverte et fermée dans la topologie induite (propriété des dusts de Cantor).
- La composition est localement finie. Pour chaque u, il n’y a qu’un nombre fini de v tels que u ∘ v soit défini (car les enveloppes sont compactes et la capacité est finie).
- Le seuil ΣG est un seuil topologique. La concevabilité n’est pas une question de degré, mais d’appartenance à un voisinage (ouvert-fermé).
∎
C.5 Bonus de recouvrement
Étape 1 — Inclusion par l’Axiome A. Par l’Axiome A (Contenance) :
𝒱(u ∘ v) ⊆ 𝒱(u) ∪ 𝒱(v)
Étape 2 — Monotonie de μ. Par monotonie de la capacité de Choquet μ :
μ(𝒱(u ∘ v)) ≤ μ(𝒱(u) ∪ 𝒱(v))
Étape 3 — Sous-modularité. Par sous-modularité (Hypothèse 4.1) appliquée à A = 𝒱(u) et B = 𝒱(v) :
μ(𝒱(u) ∪ 𝒱(v)) ≤ μ(𝒱(u)) + μ(𝒱(v)) − μ(𝒱(u) ∩ 𝒱(v))
Étape 4 — Contrainte de composabilité. La composabilité impose μ(𝒱(u) ∪ 𝒱(v)) ≤ Cloc, ce qui donne la borne.
Étape 5 — Corollaire (Bonus sémantique). La composition de deux domaines proches mutualise les poids. La capacité occupée par u ∘ v est strictement inférieure à la somme μ(𝒱(u)) + μ(𝒱(v)) dès que 𝒱(u) ∩ 𝒱(v) ≠ ∅. Le gain est exactement μ(𝒱(u) ∩ 𝒱(v)), maximal lorsque D𝓖(cu, cv) → 0. ∎
C.6 Stabilité de clique
Étape 1 — Définition du barycentre pondéré. Le barycentre pondéré cu∘v est défini comme le point de la géodésique reliant cu à cv qui minimise le rayon d’une boule couvrant la zone d’intersection 𝒱(u) ∩ 𝒱(v).
Étape 2 — Expression du barycentre. Par définition du barycentre pondéré dans un espace métrique :
d(cu, cu∘v) = [ μ(𝒱(v)) / (μ(𝒱(u)) + μ(𝒱(v))) ] · d(cu, cv)
et
d(cu∘v, cv) = [ μ(𝒱(u)) / (μ(𝒱(u)) + μ(𝒱(v))) ] · d(cu, cv)
Étape 3 — Rayon effectif. Le rayon effectif Ru∘v est choisi de manière à éviter toute inflation ex nihilo, en cohérence avec l’Axiome A (Contenance). On pose donc :
Ru∘v ≤ max(Ru, Rv)
Étape 4 — Conclusion. Le centre cu∘v appartient à l’enveloppe convexe géodésique convd(cu, cv), et le rayon effectif est borné par le maximum des rayons. ∎
Étape 1 — Géodésique. Par la Proposition C.6, cu∘v = γ(λ) pour un certain λ ∈ [0, 1], où γ : [0, 1] → 𝓔 est la géodésique normalisée reliant cu à cv.
Étape 2 — Convexité en CAT(0). Dans un espace CAT(0), la fonction t ↦ d(γ(t), cw) est convexe sur [0, 1]. C’est une propriété caractéristique des espaces CAT(0) (Bridson-Haefliger 1999, Prop. II.1.4). Donc :
d(γ(λ), cw) ≤ (1 − λ) d(cu, cw) + λ d(cv, cw) ≤ max(d(cu, cw), d(cv, cw))
Étape 3 — Croissance de f. En appliquant f(t) = t16/13 (croissante sur ℝ≥0) :
D𝓖(cu∘v, cw) ≤ max(D𝓖(cu, cw), D𝓖(cv, cw)) ≤ ΣG
Étape 4 — Corollaire (Fusion préservatrice). Fusionner deux adaptateurs compatibles avec une tâche tierce w ne détruit jamais la compatibilité avec w. ∎
C.7 Borne de dérive
Étape 1 — Position du centre. La Proposition C.6 situe cu∘v sur la géodésique reliant cu à cv. Par définition du barycentre pondéré :
d(cu, cu∘v) = [ μ(𝒱(v)) / (μ(𝒱(u)) + μ(𝒱(v))) ] · d(cu, cv)
C’est une identité, non une inégalité.
Étape 2 — Passage à la jauge. L’application de la fonction croissante t ↦ t16/13 fournit l’analogue de jauge :
D𝓖(cu, cu∘v) = [ μ(𝒱(v)) / (μ(𝒱(u)) + μ(𝒱(v))) ]16/13 · D𝓖(cu, cv)
Étape 3 — Borne par ΣG. La composabilité impose d(cu, cv) ≤ (ΣG)13/16, c’est-à-dire D𝓖(cu, cv) ≤ ΣG. En substituant dans l’Étape 2 :
D𝓖(cu, cu∘v) ≤ [ μ(𝒱(v)) / (μ(𝒱(u)) + μ(𝒱(v))) ]16/13 · ΣG
Étape 4 — Invariance d’échelle. La formule est invariante d’échelle : elle ne fait intervenir que le rapport sans dimension
αv = μ(𝒱(v)) / (μ(𝒱(u)) + μ(𝒱(v))) ∈ [0, 1]
et la distance de jauge D𝓖(cu, cv) qui a la même dimension que D𝓖(cu∘v, cu). Aucun mélange d’unités hétérogènes n’est introduit. ∎
C.8 Seuil d’alerte pour l’oubli catastrophique
Étape 1 — Borne de dérive. Le Théorème C.7 borne la dérive D𝓖(cu, cu∘v) en fonction des mesures accessibles avant composition : μ(𝒱(u)), μ(𝒱(v)), D𝓖(cu, cv).
Étape 2 — Borne maximale. La composabilité impose D𝓖(cu, cv) ≤ ΣG. En substituant la borne maximale D𝓖(cu, cv) = ΣG dans la formule C.7, on obtient la borne maximale de dérive :
D𝓖(cu, cu∘v)max = [ μ(𝒱(v)) / (μ(𝒱(u)) + μ(𝒱(v))) ]16/13 · ΣG
Étape 3 — Critère de rejet. Comparer cette borne à τoubli fournit un critère de rejet décidable en temps polynomial : si D𝓖(cu, cu∘v)max > τoubli, alors la composition est risquée — elle risque d’effacer u.
Étape 4 — Alerte précoce. L’alerte est déclenchée avant l’exécution effective de la composition. C’est un des apports pratiques majeurs de la grammaire : permettre au parfumeur de prédire l’oubli, plutôt que de le constater. ∎