# ZORAN 2 — La dynamique des traces

## Atténuation, diffus, mesurabilité et localisation de la dérive

**Auteur :** Frédéric Tabary — ORCID 0009-0004-5562-7385 — Institut IA Inc. (Montréal / Angers)  
**Exécution et formalisation assistées par :** Claude (Anthropic)  
**Version :** 1.0 — **Horodatage UTC :** 2026-08-12T05:23:49Z  
**Statut :** extension formelle et artefact logiciel falsifiable. Aucune validation physique de la grandeur relationnelle (q) n'est revendiquée.

> **Décision gravée :** l'atténuation d'une trace est un transfert vers le diffus, jamais une perte sèche. Ce qui décroît est la mesurabilité d'une trace, pas nécessairement son existence dans le tissu.

## Résumé

Le moteur relationnel ZORAN décrit la cohérence comme l'ombre d'un tissu de relations pondérées. La présente extension introduit le temps dans ce tissu.

Une relation de qualité (q) s'atténue selon une loi exponentielle de conception :

\[
q_{mesurable}(t+\Delta t)=q(t)e^{-\lambda\Delta t}.
\]

La quantité devenue imperceptible n'est pas détruite : elle est transférée dans un réservoir diffus. La conservation étendue devient :

\[
Q_{total}=Q_{mesurable}+Q_{diffus}.
\]

Le moteur distingue donc trois situations : une trace mesurable, une trace devenue `NON_MESURÉE` sous le seuil instrumental, et une absence de trace mesurable. L'atténuation ne produit jamais exactement zéro dans le modèle continu ; le seuil produit un changement de statut de mesure.

L'artefact autonome joint teste huit invariants : conservation, transfert vers le diffus, seuil `NON_MESURÉ`, asymptote, péremption principielle, localisation de la dérive, compatibilité avec la dissipation et conservation du registre. Résultat de l'exécution publiée : **8/8 tests verts**. Ce résultat est formel et logiciel ; le référent empirique de (q) reste `NON_MESURÉ`.

## 1. De la cinématique à la dynamique

La cinématique de la cohérence observe la jauge : (S(t)), sa pente et son accélération. Elle répond à la question : **combien le système tient-il et dans quelle direction évolue-t-il ?**

La dynamique des traces observe le tissu : elle suit les relations, leur atténuation et le chemin par lequel une qualité mesurable devient diffuse. Elle répond à la question : **où le système fuit-il ?**

Cette distinction est opérationnelle : la cinématique signale une dérive globale ; `localiser_derive()` classe les relations vivantes selon leur vitesse instantanée de fuite (\lambda q).

## 2. Axiomes déclarés

Les trois axiomes suivants sont des choix de modélisation, non des découvertes.

### A1 — Atténuation exponentielle

\[
q_{mesurable}(t+\Delta t)=q(t)e^{-\lambda\Delta t},\qquad \lambda\ge 0.
\]

L'exponentielle est choisie comme loi sans mémoire, simple et continue. D'autres lois d'atténuation restent possibles ; la conservation ne dépend pas nécessairement de ce choix.

### A2 — Transfert vers le diffus

La quantité atténuée :

\[
q(t)-q(t+\Delta t)
\]

est versée au réservoir diffus. Ainsi, l'atténuation modifie la répartition entre mesurable et diffus, mais pas la quantité totale.

### A3 — Seuil de mesurabilité

Pour un seuil (\varepsilon>0), une arête dont la qualité résiduelle devient inférieure à (\varepsilon) est retirée de l'instrument et passe `NON_MESURÉE`. Son résidu rejoint le diffus et son passage est inscrit au registre.

`NON_MESURÉE` ne signifie donc ni zéro, ni disparition, ni preuve d'existence intacte : cela signifie que la mesure n'est plus disponible dans le cadre instrumental courant.

## 3. Conservation étendue

À chaque pas de temps :

\[
Q_{mesurable}(t+\Delta t)=Q_{mesurable}(t)e^{-\lambda\Delta t},
\]

et :

\[
\Delta Q_{diffus}=Q_{mesurable}(t)-Q_{mesurable}(t+\Delta t).
\]

Par addition :

\[
Q_{mesurable}(t+\Delta t)+Q_{diffus}(t+\Delta t)
=Q_{mesurable}(t)+Q_{diffus}(t).
\]

**Statut : [PROVEN DANS LE MODÈLE].** La conservation découle de l'équation de transfert et est vérifiée par l'artefact. Elle ne constitue pas une conservation physique observée.

## 4. Les huit falsificateurs intégrés

| Test | Question adversariale | Statut exécuté |
|---|---|---|
| D1 | (Q_{total}) reste-t-il invariant sous écoulement ? | PASS_FORMEL |
| D2 | La quantité quittant le mesurable rejoint-elle le diffus ? | PASS_FORMEL |
| D3 | Le seuil produit-il `NON_MESURÉ`, et non zéro ? | PASS_FORMEL |
| D4 | L'atténuation seule atteint-elle zéro exactement ? | PASS_FORMEL |
| D5 | L'horizon calculé prédit-il le passage sous le seuil ? | PASS_FORMEL |
| D6 | La plus grande relation localise-t-elle la plus grande fuite ? | PASS_FORMEL |
| D7 | Dissipation puis écoulement conservent-ils (Q_{total}) ? | PASS_FORMEL |
| D8 | Les passages sous seuil restent-ils dans le registre ? | PASS_FORMEL |

Résultat publié : **8/8 verts**. Empreinte SHA-512 des résultats : voir le manifeste associé.

## 5. Mesurabilité, existence et péremption

La distinction centrale est :

\[
\text{être} \ne \text{être mesurable}.
\]

Une trace peut devenir trop faible pour l'instrument tout en restant comptabilisée dans le diffus. La péremption d'une mesure n'est donc pas un seuil arbitraire : elle découle de (q_0), (\lambda) et (\varepsilon).

Pour (q_0>\varepsilon) et (\lambda>0), l'horizon de mesurabilité est :

\[
t_{seuil}=\frac{\ln(q_0/\varepsilon)}{\lambda}.
\]

Ce résultat fonde une péremption principielle des mesures. Il ne dit pas qu'un phénomène disparaît à cette date ; il dit que la représentation mesurable cesse d'être disponible dans le cadre choisi.

## 6. Localiser la dérive

La vitesse instantanée de fuite d'une relation est :

\[
\left|\frac{dq}{dt}\right|=\lambda q.
\]

Le moteur classe les arêtes selon cette quantité. Une jauge globale peut signaler une baisse ; la dynamique des traces fournit une première localisation structurelle des relations qui contribuent le plus à cette baisse.

Cette localisation reste relative au tissu et aux proxies choisis. Elle ne constitue pas automatiquement une causalité physique ou organisationnelle.

## 7. Compatibilité avec la dissipation

La dissipation redistribue la qualité relationnelle vers des héritiers. L'écoulement temporel atténue ensuite les relations mesurables et transfère leur quantité au diffus. Les deux opérations sont compatibles dans l'artefact : leur composition conserve (Q_{total}), sous réserve du respect des plans de dissipation et des règles de mesure.

## 8. Limites et falsifications ouvertes

1. **Le référent de (q) est ouvert.** Le moteur manipule une grandeur formelle ; aucune méthode expérimentale universelle de mesure n'est fournie ici.
2. **La loi exponentielle est un axiome de conception.** Une loi empirique concurrente pourrait mieux décrire certains systèmes.
3. **Le diffus n'est pas observé physiquement.** Il est un réservoir comptable interne au modèle.
4. **La conservation est locale au formalisme.** Une fuite hors du système n'est pas réfutée ; elle est simplement exclue ou doit être modélisée comme un nouveau compartiment.
5. **`NON_MESURÉ` n'est pas une preuve d'existence.** C'est un statut de mesure séparé de l'ontologie.
6. **La localisation n'est pas une preuve de cause.** Elle propose une zone de fuite à auditer.

## 9. Statut final

- **[PROVEN]** : invariance de (Q_{total}) dans l'implémentation définie.
- **[PROVEN]** : transfert mesurable → diffus sous A1–A3.
- **[PROVEN]** : distinction logicielle entre valeur nulle, absence de mesure et trace enregistrée.
- **[EMPIRIQUE]** : aucune validation de (q), de (\lambda) ou du diffus sur un système réel.
- **[NON_MESURÉ]** : portée physique, biologique, organisationnelle et universelle.

## Conclusion

La dynamique des traces ajoute au cadre ZORAN une distinction essentielle : une mesure peut disparaître sans que la trace soit déclarée détruite. Le temps devient un mécanisme de redistribution de la mesurabilité, et non une permission d'effacer.

Le résultat est formellement vérifié, mais son passage au réel dépend d'un verrou unique : donner à (q) un référent mesurable et tester la loi d'atténuation contre des alternatives.

## Cartouche de scellement

- **Auteur :** Frédéric Tabary — ORCID 0009-0004-5562-7385
- **Institut :** Institut IA Inc. — Montréal / Angers
- **Horodatage UTC :** `2026-08-12T05:23:49Z`
- **SHA-512 du white paper :** voir `MANIFEST_SHA512_DYNAMIQUE_TRACES_v30.txt`
- **SHA-512 du code :** voir `MANIFEST_SHA512_DYNAMIQUE_TRACES_v30.txt`
- **Résultats :** 8/8 tests verts — `PASS_FORMEL`
- **Validation physique de (q) :** `NON_MESURÉE`