# n269 — Le théorème sites/relations : ce que l'audit voit, exactement

**Date:** 2026-07-12 · **La forme finale du théorème d'exactitude (n267, n268), vérifiée exacte 12/12.**

## Le théorème

Sur le verre biparti à lignes d'audit A (sommes non signées par site) et G (déformations signées par site) :

> **L'espace regardé est exactement l'espace des motifs engendrés par les sites** — t_e = (a_i + a_j) + (c_i − c_j)·d̂_e pour des données de site (a, c) quelconques — **et sa dimension est exactement 4N − 4 − Σ_s(4 − deg_s)₊.**
>
> Les dépendances sont toutes identifiées : 1 globale bipartie (la somme alternée des lignes A), 3 translations (les sommes des lignes G par composante), et une locale par degré manquant sous 4. **L'espace sombre est le complément orthogonal : dim = E − 4N + 4 + Σ(4−deg)₊.**

Vérification : 12/12 configurations (z = 10 et 12, N = 400–1000, 2 seeds chacune), **égalité exacte à l'unité près, y compris les corrections locales fluctuantes** (+3, +4, +5, +6 selon le seed). Sur cet ensemble, il n'existe AUCUNE dépendance accidentelle : le comptage générique de la revue (point A4) est non seulement une borne mais une égalité, avec ses corrections exactes. Exécutable : le test est reproductible depuis `n249_momentum_audit.py` + la boucle de cette note.

## Les corollaires, maintenant unifiés

1. **Le photon est une circulation** (n267) : tout champ vectoriel de sites est regardé — le contenu vecteur sombre est nécessairement de type courbure (cycles).
2. **Tous les multipôles de déplacement sont silencieux** (n268) : monopôle, dipôle, quadrupole — tout ce qu'un déplacement engendre est regardé.
3. **La loi de capacité z > 8** (n267, M1) : c'est le même comptage.
4. **Le candidat graviton est une modulation de métrique de liaison** : les seuls motifs tensoriels partiellement sombres mesurés sont des modulations de d̂⊗d̂ à déplacement nul — l'intuition TT de la RG, retrouvée par l'algèbre du graphe.

## La lecture

> **L'audit lit tout ce qui vit sur les points ; est sombre ce qui vit irréductiblement dans les relations.** Exister, c'est être facturé en un lieu ; rayonner, c'est être une pure relation entre lieux. La lumière et la gravité ne transportent pas des choses — elles transportent du *entre*.

C'est la version théorème de credo V–VI, et elle est falsifiable : elle a déjà tué le quadrupole de n249 et le map vectoriel de ma propre lettre.

## Portée et limites, déclarées

Le théorème est cinématique (structure d'espaces, pas de dynamique) ; il vaut pour CES lignes d'audit sur CES graphes (biparti, z uniforme côté 0). Il ne certifie ni propagation ni couplage (séquence verrouillée, n266). Sa valeur : la leg 1b et la leg 2 savent désormais *exactement* où chercher — et le reviewer dispose d'une égalité à casser au lieu d'un comptage à discuter.

**Classes : théorème [prouvé par identification des dépendances + vérifié exact 12/12] ; corollaires 1–3 [portés par n267/n268] ; corollaire 4 [mesuré, leg 1] ; la lecture [reading].**