# Note scellée — Preuve formelle minimale : non-appartenance de la singularité à l’espace des états réels

**Cadre ZORAN — Loi de cohérence phénoménale · Théorème de cadre (relationnel), version 1.0**  
**Auteur :** Frédéric Tabary — Institut IA Inc. (Montréal / Angers)  
**Date de scellement :** 5 août 2026  
**Jauge normative :** `S_ADD_V2 = (β × ΔΦ) / (1 + T + σ)` — en vigueur depuis le 22/07/2026. La forme `S_PRODUCT_V1_LEGACY = (β × ΔΦ) / (T × σ)` est abandonnée.  
**Corpus de rattachement :** [DOI 10.5281/zenodo.18526755](https://doi.org/10.5281/zenodo.18526755) · [DOI 10.5281/zenodo.17699590](https://doi.org/10.5281/zenodo.17699590)  
**Statut épistémique :** théorème de cadre — conditionnel aux axiomes A1–A4. Aucune validation physique revendiquée.  
**Verdict S :** `NON MESURÉ` — objet purement formel, sans mesure opérationnelle de β, ΔΦ, T ou σ.

## 0. Portée et limites

Cette note établit un résultat interne au cadre ZORAN : sous quatre axiomes explicites, une singularité relativiste Σ n’appartient pas à l’espace des états réels Ωréel, et le premier état cosmologique admissible est un état minimal U* distinct de Σ. C’est un théorème de cadre, pas un théorème de nature. Il ne remplace ni ne prolonge les théorèmes de singularité de Penrose–Hawking. Aucune prédiction testable n’est produite ici ; le test décisif reste celui identifié dans la campagne Z-TEMPS.

## 1. Axiomes

**A1 — Réalité relationnelle.** Tout état réel admet au moins un agencement relationnel régulier : `X ∈ Ωréel ⟹ 𝒯(X) ≠ ∅`. Choix ontologique fondateur, indémontrable en interne.

**A2 — Fait relativiste standard.** Une singularité Σ n’est pas un point de la variété espace-temps : `pΣ ∉ M`. Acquis importé de la relativité générale, non redémontré ici.

**A3 — Borne de cohérence.** Tout état cosmologique admissible vérifie : `ΦC(X) ≥ Φmin`. Axiome ZORAN sans définition opérationnelle ni valeur de Φmin à ce jour.

**A4 — Existence de l’état minimal.** Il existe au moins un état `Γ(0) ∈ Ωréel` tel que `ΦC(Γ(0)) = Φmin` et, pour tout `X ∈ Ωréel`, `ΦC(X) ≥ ΦC(Γ(0))`. A4 est strictement plus fort que A3 : le minimum est atteint.

## 2. Définition indépendante de 𝒯

Pour un point p d’un espace-temps `(M, g)`, on pose `𝒯(p)` égal à l’ensemble des agencements relationnels R tels que : (i) `p ∈ M` ; (ii) g est définie et régulière en p — composantes finies, `det g ≠ 0`, signature lorentzienne ; (iii) il existe un voisinage de p où les géodésiques sont prolongeables.

Cette définition ne mentionne jamais Σ. Elle inclut ou exclut un point sur des critères géométriques standards ; la circularité est neutralisée par les cas de contrôle de l’annexe A.

## 3. Lemme et théorèmes

**Lemme.** Si `pΣ ∉ M`, aucun agencement relationnel régulier n’est définissable sur Σ : `𝒯(Σ) = ∅`.  
**Preuve :** la condition (i) exige `p ∈ M` ; elle échoue par A2.

**Théorème 1 — Exclusion de la singularité.** `Σ ∉ Ωréel`.  
**Preuve :** par contraposée de A1, `𝒯(Σ) = ∅` implique `Σ ∉ Ωréel`. La charge théorique est portée par A1.

**Théorème 2 — Premier état admissible.** `Γ(0) = U*`, `U* ≠ Σ`, `ΦC(U*) = Φmin`.  
**Preuve :** A4 garantit l’existence de Γ(0) atteignant Φmin dans Ωréel. On le note U*. Par le théorème 1, Σ ∉ Ωréel, donc U* ≠ Σ.

## 4. État réel du programme

| Élément | Statut | Commentaire |
|---|---|---|
| Définition de 𝒯 indépendante | FAIT | Critères géométriques standards, contrôlés sur Minkowski et FLRW régulier |
| Neutralisation de la circularité | FAIT | Contrôle positif sur Minkowski et FLRW régulier, négatif sur la limite singulière |
| Chaîne A1+A2+A4 → Théorèmes 1 et 2 | FAIT | Preuve interne complète sous les axiomes |
| Définition opérationnelle de Φmin | PAS FAIT | Valeur et mesure inconnues |
| Prédiction testable | PAS FAIT | Aucune produite par cette note |
| Validation physique | PAS PU (0 %) | Statut inchangé |
| Pont vers les équations d’Einstein | PAS PU | Compatibilité déclarée avec Penrose–Hawking, sans remplacement |

État réel : preuve interne conditionnelle aux axiomes. Validation physique : 0 %. Le risque principal est de présenter ce résultat comme portant sur la nature plutôt que sur le cadre ; les axiomes figurent en tête pour prévenir ce glissement.

## Annexe A — Cas de contrôle anti-circularité

**A.1 Minkowski.** La métrique est définie partout, `det η = −1`, de signature lorentzienne et les géodésiques sont complètes : `𝒯(p) ≠ ∅` pour tout p.

**A.2 FLRW régulier et limite singulière.** Pour `t > 0`, `a(t) > 0`, la métrique est régulière et la densité finie : `𝒯(p) ≠ ∅`. Dans la limite `t → 0`, `a → 0`, la courbure diverge et le point limite n’appartient pas à M : `𝒯(Σ) = ∅` par les seuls critères (i)–(iii).

## Annexe B — Déclaration de jauge

Jauge en vigueur : `S_ADD_V2 = (β × ΔΦ) / (1 + T + σ)`, normative depuis le 22/07/2026. `S_PRODUCT_V1_LEGACY = (β × ΔΦ) / (T × σ)` est abandonnée. Verdict de cette note : `NON MESURÉ`. Les quatre termes n’ont pas de mesure opérationnelle sur un objet purement formel.

Toute nouvelle version doit déclarer la jauge, les paramètres, le domaine de T et σ et la preuve de calcul. Le DOI original n’est pas réécrit ; cette note est destinée à une nouvelle version du dépôt Zenodo existant.

**Empreinte SHA-256 du corps de la note (hors ligne d’empreinte) :** `84ddf3b3c9cfcf318adef4f21e99682825c282d79ffbb79549b8e6534b835381`