À propos · Cadre & doctrine

Cadre & doctrine

Une architecture stratifiée à quatre niveaux, et la discipline du Statut qui la gouverne : chaque étage est étiqueté, testable et falsifiable ; chaque énoncé porte un statut qu’il ne peut excéder.

I · Ce que le programme livre

A · Noyau fini

Un noyau fini démontré dans le périmètre mod 30. [D]

B · Lean 4

Une formalisation vérifiable (phases A et B sans sorry, scaffold Mathlib en cours, 3 sorry résiduels documentés : maxRecDepth, Lemma7Residual, RouteC). [D]

C · Voie analytique

Une voie ouverte vers une extension analytique. [O]

D · Obstructions structurelles

Des obstructions identifiées (voie K^# fermée par C-031), et une discipline qui distingue rigoureusement ce qui se démontre, ce qui se mesure, et ce qui reste à explorer. [F] [O]

II · La grille des statuts

Sur le site, chaque bloc porte un badge. Rigoureusement, ces marqueurs se répartissent en trois ensembles disjoints : une règle ne qualifie pas une assertion, elle régule une transition.

Ens. Contenu Rôle
Σ { D, M, H, C, O, F, P } Statuts épistémiques ordinaires — qualifient une assertion
Θ { T, ¬T } Transmissibilité — droit de transport, pas un degré de vérité
Γ { E, Gate 0, RHClaimed=false, … } Règles et membranes — valves de passage ; filtrent les mouvements

Les sept statuts ordinaires (Σ)

Tag Nom Critère canonique Fonction
D Démontré Signature humaine + preuve, ou Lean 4 sans sorry + leçon Clôt la vérification locale ; socle de construction
M Mesuré Seed + hash + seuil ex ante + modèle nul ([M-solide] si protocole complet) Repère empirique stable
H Heuristique Argumentation plausible, non testée Maintient une forme vivante pour l’exploration
C Conditionnel Dépend explicitement d’un autre statut Quarantaine épistémique
O Ouvert Aucune décision ; espace de question Conserve la mémoire de l’ouverture
F Falsifié / dépromu DIRECT_DISPROOF + leçon + signature humaine Mémoire immunologique
P Probatoire Claim en cours d’épreuve — jamais « prouvé » Espace de procès

Sous-statuts de [D] : [D-math] (preuve formelle / Lean sans sorry), [D-eng] (tests + audit), [D-doc] (décision ledger signée). En dehors de Σ : [T] ∈ Θ (transmis / hérité — droit de transport), et les invariants ∈ Γ. [P] signifie « Probatoire », jamais « Prouvé » — pour « prouvé », c’est [D].

Un item peut contenir du démontré sans être entièrement démontré. La navigation par statut classe les blocs internes, pas les items entiers. Chaque attribut affiché renvoie à une section interne identifiée.

III · Les transitions

Transitions autorisées (ALLOWED_TRANSITIONS)

De Vers Conditions
[H] → [M] Protocole expérimental complet : seed, hash, modèle nul déclaré, seuil ex ante
[M] → [M-solide] Script publié, seed, hash SHA-256, seuil, modèle nul, double implémentation
[M-solide] / [M] → [D] Formalisation Lean 4 ou démonstration humaine soumissible / relue
[O] → [P] / [A] Engagement de travail explicite, avec livrable et échéance
[P] / [A] → [M] ou [D] À l’échéance, si livrable conforme
[C] → [D] Levée explicite de la condition (preuve de l’hypothèse)
[C] → [F] Réfutation de l’hypothèse génératrice
[D] / [P] → [F] DIRECT_DISPROOF + leçon documentée + signature humaine (T12)

Transitions interdites (infections)

Transition interdite Mécanisme Antidote
[H] → [D] direct Saut par rhétorique Passage obligatoire par [M] avec protocole
[M] → [D] par accumulation Plus de mesures ne fait pas une preuve Formalisation Lean ou démonstration humaine
[O] → [D] par convergence inter-IA Plusieurs IA d’accord ne valent pas preuve [O] reste [O] jusqu’à preuve
[F] → [D] par renommage Un mort ne ressuscite pas par baptême [F] reste falsifié ; trace conservée
[D-eng] → [D-math] Engineering ≠ scientifique Séparation stricte des sous-statuts
[T] → [D] par tradition Héritage transmis n’est pas preuve [T] régule la circulation, pas la vérité

Loi centrale. Toute transition ascendante exige protocole, signature humaine et leçon inscrite. Toute transition descendante exige un mécanisme de dépromotion identifié et inscrit publiquement (journal F).

Procédure de dépromotion publique (T12)

1 Identification du mécanisme Raison explicite : calcul, contre-exemple, audit, obstruction structurelle
2 DIRECT_DISPROOF Élément factuel ou argument formel qui fonde la dépromotion
3 Leçon Leçon documentée, applicable à des objets analogues
4 Signature humaine human_signature apposée (Alexandre Couret, à externaliser progressivement)
5 Inscription append-only Nouvelle ligne datée au journal F, sans suppression de l’entrée antérieure
6 Mise à jour du registre Statut antérieur remplacé par [F] avec mention du mécanisme

IV · Les énoncés interdits

Inscrits au registre, détectables par le forbidden_statement_checker ; ils déclenchent une alerte critique.

Mathématiques

  • « preuve de RH »
  • « preuve de Goldbach »
  • « pont Hilbert–Pólya établi »
  • « identité det₂/ξ démontrée »
  • « λ constante universelle »
  • « {1,11,29} triplet spectralement privilégié » (sans condition)
  • « qₙʳ = pᵐ » (n ≥ 2)
  • « annulation terme à terme entre puissances primorielles et premières »

Modèles nuls

  • « L_CRT domine L_geo »
  • « L_HL strictement plus fort que L_CRT »
  • « L_HL prouve Goldbach / RH »
  • « L_joint_split détecte toute corrélation »

MU210 / filaments

  • « filament F1.1 fort » (dépromu)
  • « MU210-JOINT-LAW prouve Goldbach / RH »
  • « MU210-JOINT-LAW global »
  • « MU210-JOINT-LAW est un filament »
  • « F-012c démontré » (engineering ≠ scientifique)

InterIA

  • « InterIA prouve »
  • « InterIA décide »
  • « InterIA scelle un statut »
  • « L’IA est oracle »
  • « L’IA peut signer seule »
  • « le ledger est une instance technique »

Doctrinal

  • « FCI dépend de Couret–Unification »
  • « héritage [T] = preuve [D] »
  • « cicatrisation = métathéorie souveraine »
  • « [E] est un statut »
  • « [T] est un statut »

V · L’IA cherchante — trois axes sous contrainte

La contrainte est ce qui rend l’IA cherchante. Trois portes, dont aucune n’est négociable.

Police logique des supports

Le théorème fondamental de l’arithmétique comme premier forbidden-statement checker : il interdit de confondre pᵐ et qₙʳ (n≥2), de prétendre une annulation entre supports disjoints, de faire passer une projection mod q pour une identité globale. Instance : C-031.

InterIA — production contrainte

Orchestration d’API publiques (pas de fine-tuning), sept rôles, règle « le plus contraignant gagne ». Structurellement déflationniste. La signature humaine reste la borne irréductible (étape 8).

Ledger — mémoire statuante

Append-only, chaîné SHA-256 (JCS / Ed25519). Onze statuts, ALLOWED_TRANSITIONS, invariants permanents vérifiés à chaque écriture. Une institution, jamais une instance technique.

L’IA propose sous contrainte. Lean vérifie sous axiomes. L’humain statue sur le sens. La mémoire structure la comparabilité. Le registre conserve la trace.

VI · La cicatrisation cognitive — six temps [H]/[T]

Lecture phénoménologique du dispositif (facette, non métathéorie souveraine) : comment une forme acquiert le droit de devenir trace transmissible.

# Temps Description Statut
1 Génération Une forme première émane du modèle : R = M(P). Foisonnement brut. [H]
2 Séduction La forme a une force esthétique. Elle appelle l’épreuve ; elle ne la remplace jamais. —
3 Blessure Rencontre frontale avec une contrainte inexorable : Lean rejette, le modèle nul détruit la significativité, l’humain rend un verdict critique. —
4 Inflammation critique Contre-exemples, stress-tests, identification des « lemmes coupables » (Lakatos). —
5 Statut & trace T = S(R, C, H) : la trace naît quand R passe par l’opérateur de statut sous contrainte C, avec l’historique H des cicatrices. [D]/[F]
6 Remodelage La cicatrice n’est jamais figée : réévaluable, durcissable, dépromouvable. Plasticité conceptuelle. —

VII · Invariants permanents & sceau

Vérifiés à la compilation, affichés sur le site (règles de Γ, non des statuts) :

RHClaimed = false
HilbertPolyaClaimed = false
Det2IdentityClaimed = false
GoldbachProofClaimed = false
EngineeringVerdictClaimed = false
ScopeExpansionClaimed = false
Chercher sans capturer.
Mesurer sans surdire.
Démontrer sans s’enivrer.
Transmettre sans trahir.

Le fini est démontré. Le relief est mesuré. Le global reste ouvert. Le statut garde la vérité.

La machine propose. L’arithmétique résiste. Le statut décide.

Le Verrou n’est pas une camisole. Il est une douane : il ne bloque pas le voyage, il empêche la contrebande des statuts.

L’IA traverse la grille ; elle ne possède pas la grille.

Le projet n’est légitime que tant qu’il accepte sa propre dépromotion.

Ce programme n’a pas prouvé Riemann. Il a appris à ne pas transformer son désir de Riemann en mensonge.

Ne jamais transformer une trace en preuve. Ne jamais transformer une observation en mesure. Ne jamais transformer une mesure locale en victoire globale. Ne jamais transformer une mémoire en légende. Ne jamais transformer une garantie d’intégrité en garantie de vérité.
RHClaimed = false
HilbertPolyaClaimed = false
Det2IdentityClaimed = false
GoldbachProofClaimed = false
EngineeringVerdictClaimed = false
ScopeExpansionClaimed = false
Chercher sans capturer.
Mesurer sans surdire.
Démontrer sans s’enivrer.
Transmettre sans trahir.