Bibliothèque · Annexe A
Vocabulaire et notations
Glossaire doctrinal, notations mathématiques, conventions de statut.
A.1 · Glossaire des termes doctrinaux
- Recevabilité opératoire
- Critère d’admissibilité d’une structure mathématique candidate à participer à la médiation local → global. Quatre conditions : ancrage local, médiation différenciante, classe régulatrice, anti-tautologie.
- Niveau 0
- Description locale (Cayley fini, spectre exact).
- Niveau 1
- Observabilité géométrique (transport CRT, invariance Parseval).
- Niveau 2
- Opérativité contrôlée (Schatten, det₂, KLMN).
- Niveau 3
- Médiation globale (pont vers ζ ou objet analytique).
- Voie K#
- Voie primorielle agrégée : K#M,η = ⨁n qn-(s+η) Bn. Fermée négativement par C-031.
- Voie Kp
- Voie local-primaire : KpM,η = ⨁p p-(s+η) B̃p. Ouverte, avec deux verrous : ¬DEF, ¬REG.
- Compression primorielle
- Lecture géométrique de C-031 : la voie K# comprime tout signal sur une diagonale primorielle Π = {r·log qn}, disjointe de l’alphabet eulérien Λζ = {m·log p}.
- Décoration canonique
- Régularisation up(t) = t · p-vp(t) mod p qui rend bien défini le transport littéral d’un triplet à travers la tour primorielle, même aux primes singuliers.
- Non-tensorialité (NT)
- Indice NT(s) = 1 − |T|-2 ∑h mh2 mesurant la variance d’une décoration. Théorème E partie 1 : NT(sn) = 2/3 pour n ≥ 5.
- Forbidden statement
- Énoncé interdit par la doctrine, détectable par
forbidden_statement_checker. Voir Annexe G. - Falsification
- Inscription publique au journal F d’une dépromotion avec mécanisme identifié et leçon.
A.2 · Notations mathématiques
| Symbole | Sens |
|---|---|
Gq |
(ℤ/qℤ)×, groupe multiplicatif des inversibles mod q |
G30 |
(ℤ/30ℤ)× ≅ C2 × C4, ordre 8 |
R30 |
{1, 7, 11, 13, 17, 19, 23, 29}, les 8 classes copremières à 30 |
TC |
Triplet de Couret {1, 11, 29} ⊂ G30 |
qn |
Primorielle p1·p2···pn : q3=30, q4=210, q5=2310, q6=30030 |
φ(qn) |
∏i≤n(pi−1), ordre de Gqn |
AT |
Matrice de Cayley du sous-ensemble T ⊂ Gq |
σ(A) |
Spectre de A |
Pn0 |
Projecteur sur l’espace centré Hn0 = {f : ∑x f(x) = 0} |
Bn |
(1/|T|) Pn0 An Pn0, opérateur centré normalisé |
up(t) |
Régularisation canonique : t · p-vp(t) mod p |
λgeo |
Invariant géométrique de Hellinger sur Δ7 centré, = 1/√7 |
λspec |
Valeur propre spectrale empirique, ≈ 0,3752 |
λinfo |
Densité informationnelle (échelle Rubinstein–Sarnak) |
κ(q) |
Anisotropie arithmétique, κ(q) ∼ q0,337 empirique |
ζ′/ζ |
Dérivée logarithmique de la fonction ζ de Riemann |
det2 |
Déterminant régularisé de Carleman d’ordre 2 |
ΛX |
Support de Dirichlet de la série X |
L* |
Modèles nuls de la chaîne : Luniform, Lgeo, LCRT, Ljoint_split, LHL |
A.3 · Notations de statut
Pour le détail des sous-statuts et des transitions autorisées, voir la page Doctrine du statut. Synopsis :
| Tag | Sens |
|---|---|
| [D] | Démontré (sous-statuts [D−math], [D−eng], [D−doc]) |
| [M] | Mesuré (sous-statut [M−solide] si protocole complet) |
| [H] | Heuristique |
| [C] | Conditionnel |
| [O] | Ouvert |
| [F] | Falsifié / dépromu |
| [P] | Probatoire |
| [T] | Transmissibilité (droit de transport, pas un statut épistémique) |
| Γ | Règles et membranes (Gate 0, RHClaimed = false, etc.) |