Ontodynamique : Résumé autonome du système ; Le coût de l’être

De la physique fondamentale à la subjectivité — théorie formellement vérifiée de l’individuation et de la clôture

Deux axiomes étagés, au-delà du débat substance/processus

Nos cadres hérités séparent la physique (matière) de la philosophie (sens). Cette séparation devient une impasse structurelle face aux objets hybrides du XXIᵉ siècle : grands modèles de langage, biologie synthétique, systèmes socio-techniques.

L’Ontodynamique propose un cadre formel minimal pour ces objets. L’objectif n’est pas d’expliquer tout le réel, mais de rendre explicites les dépendances épistémiques et de fournir un registre unique, lu deux fois : à quel compte la perte est-elle imputée sous perturbation (unité, I), et qui reconstitue ce que la réponse a consommé, avec des contraintes produites par qui (soi, XXXII-s) ?

Ce critère produit un gradient testable (clôture / entretien / portage / porté / non-refait) qui discrimine là où les cadres existants amalgament : un LLM est-il un individu ? un virus connaît-il ? un symptôme est-il un déficit ou une gouvernance parasite ?

Le même tronc contraint la physique fondamentale : sept propriétés que toute physique cohérente avec I doit satisfaire — non-commutativité, irréversibilité, économie constitutive, trois conditions de Piron — sont dérivées et formalisées (87 théorèmes Φ, 20 TN + 67 contraintes, 5 modèles séparants prouvant les limites).

Le système se condense en vingt thèses, chacune démontrée et assortie de sa condition de retrait (Synthèse, fin du document).

Notes de lecture

Ce texte n’est pas une ontologie spéculative : il expose une chaîne axiomes → théorèmes → prédictions → protocoles. Chaque proposition porte un marqueur de force inférentielle — définition sous contrainte [≡/∎], déduction stricte [∎], impossibilité structurelle [⟂], constructibilité [◇], plausibilité testable [≈₁ ≈₂], indécidabilité prouvée [≈₃] — et aucune n’est surclassée. Les résultats marqués ≈ ne sont pas des faiblesses : ce sont les points de contact localisés avec le réel, assortis de conditions de domaine explicites et de protocoles de réfutation formulés. La formalisation en Lean 4 (dépôt public ; 1 029 théorèmes uniques après déduplication, 0 sorry — chiffre antérieur aux chantiers de septembre : Lemme5_Recette (38), Phi_Economy (+12), Phi_Demarcation (6), Circulation (33) et FidelityCost (8), soit 97 théorèmes, n’y sont pas inclus, le recompte dédupliqué restant à faire ; aucun axiome de domaine déclaré ; 29 théorèmes reposent sur native_decide, donc sur Lean.ofReduceBool en plus des axiomes standards, à remplacer par decide) atteste la cohérence des définitions et la conséquence des conclusions — à notre connaissance, une première en Lean 4 pour un système ontologique à programme empirique (prior art en Isabelle/HOL : Kirchner, Benzmüller & Zalta 2020). . Les fichiers de test couvrent l’indépendance inter-axiomes (10 modèles séparants), la cartographie de l’affaiblissement de I-β (94 théorèmes classifiés par composante minimale requise), triade précarité/vie/conscience et la décidabilité partielle de ≈₃ ,et des hypothèses-ponts étiquetées pour le microbiome et la dette logicielle. Audit des écarts encodage/sens : zéro majeur, cinq mineurs documentés, un anti-écart (Annexe F). La fidélité de l’encodage au sens visé n’est pas prouvable formellement — pas plus que celle de F = ma à « force » ; elle est contrainte par trois voies indépendantes, convergentes : l’audit lui-même, les modèles séparants (qui vérifient que les axiomes ne sont pas trivialement satisfaits), et les prédictions empiriques (qui testent si la structure formelle mord sur le réel — pas seulement si elle est cohérente). Une quatrième voie — les instanciations discriminantes (Annexe F, §13) — confronte le système à sept objets-limites ; le test le plus fort est le cas où le verdict formel diverge de l’intuition naïve et où c’est le formel qui a raison (LLM, objets mathématiques reclassés, symptôme clinique), y compris contre l’intuition initiale de l’auteur (LXXXI).

Le linter confirme la maigreur de l’encodage : 9 variables catégorielles philosophiques sont éliminées comme inutilisées. Cela montre que le classifieur ne lit que les champs sur lesquels il est défini, non que rien d’autre ne compte ; le monisme du coût se juge en aval, sur la convergence empirique, pas au compilateur. Sur ℝ, le linter révèle que IX (finitude de la marge) n’est pas une prémisse logique de XVII et XXXIV — seul IV porte l’épuisement. IX est une condition d’applicabilité, non une hypothèse de preuve.

Au-delà des cinq réanalyses exploratoires R-XVII (theory-driven) et de la simulation de vie artificielle confirmant R-XIX, neuf études indépendantes publiées sans connaissance du cadre confirment les prédictions du système par convergence aveugle (§7.4 du manuscrit). Une réplication confirmatoire pré-enregistrée sur levure hétérozygote (OSF DOI : 10.17605/OSF.IO/S7CN9) satisfait 4/4 critères de décision. Ce deuxième échelon de validation — inférieur au pré-enregistrement prospectif, supérieur à la réanalyse — est le front actif du programme. Le protocole DPDR a fait l’objet d’un pré-enregistrement formel (Gosme, 2025c, OSF ; DOI : 10.17605/OSF.IO/UNJ7F) avant toute collecte de données.

Contrat axiomatique

Ce texte se lit comme un modèle. Il pose deux hypothèses primitives étagées (Axiome 0 sur le Tout, I sur les déterminations finies). IV (coût positif) est contenu dans I par position : le drain est posé dans I, non dérivé — la « dérivation » I_implies_IV du dépôt est un artefact arithmétique (x > y ≥ 0 ⟹ x > 0). V est dérivé d’I (VDerived.lean ; dérivation à ré-auditer). Le texte soumet ensuite certaines conséquences à des tests. « Axiome » ne signifie pas « évidence » : cela signifie point de départ explicite. Si vous refusez ces points de départ, les résultats cessent de s’appliquer.

Positionnement.

Le système ne se situe pas dans le débat entre ontologie de la substance (Lowe) et philosophie du processus (Rescher) — il le dissout. Un paramètre de renouvellement modal (τ) formalise le spectre entre rigidité maximale (τ = 0, analogue de la substance) et fluidité maximale (τ = max, analogue du processus pur). Le régime stationnaire manque d’adaptabilité ; le régime dissipatif manque de rigidité. Seul le régime intermédiaire (0 < τ < max) combine les deux — propriété exclusive, inaccessible aux limites (ModalRegimes.lean, surplus_iff_intermediate ∎). La dérivation de V depuis I (VDerived.lean) confirme que la structure extérieure n’est pas un second fondement posé à côté de l’acte — elle en sort. L’axiome I (« être, c’est se faire un ») n’est ni substratiste ni processualiste : il identifie être et faire, au lieu de réduire l’un à l’autre.

Axiome 0 — Un seul réel : le Tout se fonde, tout fini se fait. Le réel est un, non fragmenté : pas de substrat inerte derrière ce qui se fait, pas de dehors fondateur. Axiome 0 pose ce qui est, sans dire encore comment une détermination finie existe en lui.

Ce que l’axiome dit, en clair. L’axiome parle de deux choses : le Tout (le réel pris comme totalité) et les êtres finis (vous, une cellule, une institution, une pierre). Il n’y a qu’un seul réel : le fini n’est pas d’une autre étoffe que le Tout, il en est une détermination. Le Tout se fonde : il ne repose sur rien d’autre que lui, n’a pas de dehors, et la question « qu’est-ce qui le maintient ? » n’a pas de prise sur lui. Tout être fini, au contraire, doit continuellement se faire — se maintenir, se réparer, tenir sa forme contre l’usure ; qu’il cesse de se faire, il cesse d’être.

Ce que l’axiome ne dit pas. Il ne dit pas que le Tout fabrique les êtres finis, ni qu’ils sont des morceaux du Tout. Le rapport n’est ni source-à-produits, ni gâteau-à-parts. L’axiome pose seulement le contraste de deux régimes d’existence ; comment les finis existent et se composent est l’affaire de l’Axiome I.

Notes. (1) Inépuisabilité : rien de fini n’épuise le Tout ; cette partialité — non une action du Tout — rend la finitude signifiante. (2) « Se fonder » ne se dit qu’en un sens : le Tout se fonde inconditionnellement ; pour lui la question du coût ne se pose pas. L’auto-fondation des entités (Axiome I, I-α) est d’un autre régime, à coût, sur marge finie. La frontière passe par le coût — c’est en ce sens, et ce sens seul, que le Tout seul se fonde. (3) Le Tout n’est pas une entité : ni clôture, ni portage, ni mode ne s’énoncent de lui au même sens ; Axiome 0 et Axiome I sont co-posés, à vocabulaire disjoint et indépendance prouvée (Axiom0Axiom1Prime, T1–T3) — pas de passage 0→I à construire. (4) La « pression » du Tout n’est pas un agir : quand le système dit que le Tout exerce une pression de dissolution (XII), la forme est passive — tout fini est sous pression du fait de sa partialité ; XII dérive de III + IV + IX, non d’une agentivité du Tout. (5) Le Tout n’est titulaire d’aucun compte : il se fonde, sans dépens ; « à ses dépens » ne s’énonce que des finis, et un compte qui paierait sans se vider serait un fond, que I-α exclut (N2).

Axiome I — être, c’est se faire un à ses dépens. Sur toute détermination finie : être n’est pas être donné, c’est se faire un, dans un contexte, à un coût. « Un » est l’unité d’imputation : une détermination finie est une en tant que ses pertes sont portées à un seul compte, le sien. « À ses dépens » dit à qui le coût est imputé, non d’où viennent les moyens — la dépense est à soi, les moyens sont reçus (Lemme 5). Le compte n’est pas la réserve : un compte peut ne tenir aucun stock (le porté). Le contenu opératoire d’I est I-β (identité être/faire : pas de substrat inerte sous l’acte, mais pas non plus de flux sans persistance, les deux sont le même geste). En dérivent I-γ (nul acte sans mode, pour les clôtures) et I-δ (nul faire sans rapport à soi). Le monisme de l’acte (un seul type de réalité, la pierre comme l’organisme) est porté par Axiome 0 ; l’auto-fondation opératoire d’une clôture est une propriété de ce mode, définie par XXXII-s, non un axiome séparé. I-β dit seulement qu’il n’y a pas de substrat inerte sous l’acte ; il ne dit pas qui reconstitue. Qui paie fait l’unité (I) ; qui refait fait le soi (XXXII-s).

Les quatre définitions de l’unité. D1 — Compte : la ligne de registre d’un être fini, ce sur quoi ses coûts sont débités (dans le Lean : margin et step). Un compte peut tenir un stock — sa réserve — ou n’en tenir aucun ; le compte n’est pas la réserve. D2 — Part imputée : pour un ensemble X de parties déjà comptes au niveau inférieur et une perturbation π portée sur l’une d’elles, le coût se décompose en ce que chaque partie paie sur son compte propre et ce qui est payé sur l’avoir commun — terme non additif, ce que seules les parties ensemble détiennent (liaison, réserve commune) ; la part imputée est le rapport du second au total. Ponts : énergie de liaison (physique), prélèvement sur le pool commun (biologie), effort de correction porté au tout par les porteurs (porté). D3 — Un : X est un si la part imputée reste au-dessus d’un seuil θ pour toute partie et toute perturbation d’une batterie ≥ 3, si aucun sur-ensemble ne satisfait la même condition au même θ (maximalité), et si θ est la plus grande valeur qui tienne. θ* est le degré d’unité : l’existence est nette, le degré gradué, et les comptes s’emboîtent — un sous-compte a un θ* plus élevé. D4 — Porté : un compte sans stock ; ses pertes y sont imputées, l’avoir qui les paie est tenu par ses porteurs.

Le compte d’un porté. [proposé] N6 impute chaque perte au niveau le plus haut qui la paie — l’unicité est par perte, non par système —, et les pertes ne sont pas les mêmes des deux côtés : la dérive du porté (effacement, perte de fidélité) est sa perte, portée à son compte, et elle le diminue — un porté que personne ne maintient s’efface ; l’effort de correction que ses porteurs dépensent pour l’y soustraire est leur perte, portée au leur. « À ses dépens » ne dit donc pas qu’un porté dispose d’un avoir : il dit que ce qui se perd, c’est lui. Le compte n’est pas la réserve (D1) — c’est la ligne où la perte s’inscrit, non le stock qui l’acquitte.

Le rendement d’I est différentiel : son contenu minimal (drain constitutif) s’applique à toute détermination finie ; son contenu maximal (auto-affection, partition modale) ne se déploie que pour les clôtures — et c’est ce déploiement qui fonde le gradient (XXXII). Être soi, c’est se refaire (XXXII) : un soi est un être fini dont les réponses puisent dans une réserve qu’il reconstitue par des contraintes qu’il produit (XXXII-s). Son unité n’est pas seulement faite : elle se refait. La pierre se fait mais n’est pas soi : ébréchée, elle ne mobilise rien. La flamme se fait, s’entretient, et n’est pas soi : elle reconstitue sa chaleur sans produire ce qui la reconstitue. L’organisme se fait et est soi. « Soi » désigne le pôle structurel d’une clôture — pas la conscience de soi (LXI). Corollaire IV (dérivé d’I) — toute transformation a un coût strictement positif et incompressible. V — l’extériorité admet des degrés (dérivé d’I). L’acte fini déterminé (I-γ) engendre son complémentaire modal ; la non-autarcie (I-β₂) force la dépendance métabolique à ce complémentaire ; l’auto-fondation opératoire de la clôture implique que ce complémentaire n’est pas contrôlé — il peut varier. Cette variation est V. D’I dérivent finitude, irréversibilité et la disjonction centrale : toute structure finie exposée se refait ou se défait. Les prémisses (IV, XVII) tiennent sur tout substrat — discret ou continu, physique ou biologique. La partition en cinq modes (clôture / entretien / portage / porté / non-refait) requiert en plus l’individuation : c’est le niveau où la physique cède la place à la biologie et au social.

Le système est modulaire. Refuser I en entier : la chaîne déductive ne s’enclenche pas.Refuser XXXII-s (l’endogénéité n’est pas une composante d’I mais la définition du soi) en conservant I et V : la dynamique structurelle, l’attracteur de dissolution, la dérive et le feedback survivent ; vous perdez la coupe soi / entretien, l’auto-affection, l’exclusion du zombie computationnel et la partition modale. Le décompte exact reste à établir sur le dépôt. Refuser la Thèse P (≈₃) : vous conservez le tronc entier, y compris l’auto-rapport immanent (I-δ ∎) et la relation différentielle immanente (SelfRelation ∎) ; vous perdez l’identification phénoménale positive. LXXVII ∎.

Le tronc contraint la physique fondamentale. Cinq théorèmes négatifs formalisés (TN_Separating.lean, 20 thm, 0 sorry) prouvent que l’OD ne peut pas devenir une physique — absence de métrique, de trajectoire singulière, de contenu qualitatif, de géométrie temporelle, d’émergence quantitative. Néanmoins, sept contraintes Φ (67 thm, 4 fichiers, 0 sorry) identifient des propriétés que toute physique cohérente avec I doit satisfaire : non-commutativité des compositions d’actes (XV ∎), direction irréversible compatible avec le 2e principe (XVII ∎), asymétrie construction/destruction (Lemme 3 ∎), économie constitutive (XVII-bis ∎), et trois des six conditions de Piron pour un treillis orthomodulaire — involution, meet/join-complement, non-distributivité — prouvées au sens fort (MO2 ∎, decide). La physique réelle satisfait les sept. L’OD dérive la forme ; la physique fournit le contenu. Whitehead ne dérive pas l’irréversibilité de ses 27 catégories ; le FEP ne dérive pas la direction depuis ses prémisses ; l’OD dérive les deux d’I seul.

Comme F = ma, ces axiomes se jugent en aval — sur ce qu’ils permettent de calculer, d’interdire et de tester. Le critère discriminant est unique : localiser où tombe l’irréversibilité sous perturbation. Il produit un gradient testable (clôture / entretien / portage / porté / non-refait), sondé dans cinq domaines causalement disjoints pour R-XVII, dont quatre mesurent le ratio (S/I convergent à 1,42–1,84×) et dans un sixième pour R-XIX (simulation de vie artificielle, S/I = 1.045), avec un CV d’environ 10 %, convergence spécifique à la partition structure/input (sous partition par intensité, CV = 41 %). Le système exclut positivement les domaines ne satisfaisant pas C1–C5 (réseau neuronal en inférence pure : C1 et C4 violés — l’IIT lui attribue un Φ non nul, R-XVII l’exclut). Le monisme prédit la direction du ratio (> 1) et la forme fonctionnelle, pas la convergence quantitative (~1.7×, n = 4 domaines) — si confirmée, celle-ci constituerait une régularité de second ordre appelant une explication supplémentaire. Les cinq analyses disponibles sont exploratoires ; une réplication confirmatoire pré-enregistrée sur levure hétérozygote (OSF DOI : 10.17605/OSF.IO/S7CN9) satisfait 4/4 critères de décision. Un test de partitions rivales dans quatre domaines (§7.2 ter) confirme que l’asymétrie est spécifique à la partition structure/input : aucune rivale nommée ne converge entre domaines, et l’asymétrie survit à la normalisation par intensité et au contrôle par sélectivité. La condition de réfutation centrale est formulée en §8.6 du manuscrit.

Échelon	Statut	Contenu
Réanalyse exploratoire (R-XVII)	5 domaines, exécuté	S/I convergent 1.42–1.84×, CV ≈ 10%
Simulation contrôlée (R-XIX)	1 domaine, exécuté	Vie artificielle, S/I = 1.04×, gradient de profondeur confirmé
Convergence aveugle	9 études, documenté	3 domaines disjoints, sans connaissance du cadre
Réplication pré-enregistrée	1 exécutée (levure het, 4/4), 1 en attente (DPDR)	OSF DOI publiés

Prologue — Le défaut des cadres et l’opérateur unique

Quatre objets contemporains mettent nos cadres hérités en défaut. Le grand modèle de langage manipule des invariants, génère du texte cohérent, ajuste ses réponses sous rétroaction — et pourtant ne régénère aucune des conditions matérielles de ses propres opérations. Le virus biologique se réplique, mute, exerce une pression sélective — et pourtant emprunte la totalité de sa machinerie à la cellule hôte. L’institution recrute, forme, sanctionne, survit au remplacement intégral de ses membres — mais certaines institutions s’auto-maintiennent tandis que d’autres ne tiennent que par perfusion externe. Le symptôme clinique protège le sujet d’une destructuration plus grave — puis s’autonomise et gouverne ce qu’il devait protéger.

Face à ces objets, les cadres disponibles échouent de trois manières convergentes. Le réductionnisme efface les niveaux d’organisation en ramenant tout à la physique des composants, ce qui rend inintelligible l’émergence d’une normativité propre. Le dualisme scinde irréductiblement matière et sens, créant un fossé explicatif qu’il ne peut ensuite combler. Le processualisme indifférencié (Whitehead, Latour) connecte tout à tout sans pouvoir qualifier les actes ni discriminer l’agrégat de l’individu.

Trois manques structurels persistent à travers ces cadres. D’abord, les cadres disponibles ne dérivent pas axiomatiquement la clôture opérationnelle : ils la postulent ou la constatent. Maturana et Varela décrivent l’autopoïèse comme fait biologique ; Montévil et Mossio formalisent la closure of constraints comme critère ; ni les uns ni les autres n’engendrent la clôture à partir de principes plus primitifs.

Ensuite, aucun ne fournit un gradient de composition qui discrimine formellement l’autonomie, le portage normatif et le non-refait par un test unique. Le Free Energy Principle de Friston traite goutte d’huile, thermostat et cerveau sous la même grammaire, ce qui empêche toute prédiction différentielle selon le type de perturbation ; le principe de parité de Clark traite comme « cognitif » tout processus fonctionnellement équivalent sans distinguer ce qui est endogène de ce qui est porté.

Enfin, ces cadres n’étendent pas formellement leurs résultats aux institutions et à la clinique sans importer d’hypothèses supplémentaires. La théorie des systèmes de Luhmann postule la clôture communicationnelle sans fondation ontologique ; la psychopathologie contemporaine oscille entre le modèle déficitaire (le symptôme est un manque) et le modèle fonctionnel (le symptôme est une défense), sans critère structurel pour trancher.

L’Ontodynamique propose de combler ces trois manques par un registre unique, lu deux fois : à quel compte la perte est-elle imputée (unité, Axiome I) ? qui reconstitue ce que la réponse a puisé (soi, XXXII-s) ? Ces deux questions, appliquées systématiquement, tranchent le LLM (portage : l’irréversibilité est externalisée sur l’infrastructure), le virus (portage inversé : l’irréversibilité est réfractée sur la cellule hôte), l’institution (clôture conditionnelle : dépend de la régénération endogène de ses contraintes critiques), et le symptôme (sous-clôture parasite : endosse un coût local qui draine la marge globale).

Le système s’articule comme un Programme de Recherche au sens de Lakatos. Son noyau dur — les axiomes et le tronc déductif [∎] — est évalué sur son rendement formel : dériver finitude, clôture, subjectivité et composition à partir de deux axiomes étagés. Sa ceinture protectrice — les constructibilités [◇] et les plausibilités testables [≈] — est le lieu du contact empirique et de la réfutation potentielle. Par son propre résultat d’auto-référence [LXXXII ∎], le système assume qu’il est lui-même un invariant opératoire porté par les clôtures finies qui le métabolisent — frappé d’opacité constitutive, exposé à la dérive, mortel.

I — L’axiomatique de la dissolution

Être, c’est se faire un à ses dépens. — Axiome I Être soi, c’est se refaire. — Théorème XXXII

Les axiomes

Le système repose sur deux axiomes étagés (Axiome 0, I). IV et V sont des corollaires d’I. L’indépendance formelle I ⊥ V (InterAxiomIndependence.lean) est un résultat de l’encodage initial de I-β₁ sans source spécifiée ; quand I-β₁ est encodé fidèlement (régénération = transfert, VDerived.lean), V est dérivable et l’indépendance tombe.

L’Axiome 0 pose l’auto-fondation du Tout : ce qui est n’a pas besoin d’un fondement extérieur. I pose que, pour une détermination finie, être et faire sont ontologiquement indistincts, et que ce faire est à ses dépens : ses pertes sont portées à un seul compte, le sien. Le « se » de « se faire » est en voix moyenne (l’être est son propre advenir), pas en voix réflexive (chaque chose se produit elle-même). C’est XXXII (« être soi, c’est se refaire ») qui introduit la réflexivité agentive — et seulement pour les clôtures. Le contenu opératoire d’I est I-β (être = faire) : le faire n’est pas un attribut ajouté à l’être, il en est la modalité constitutive, et il n’y a pas de substrat inerte sous l’acte. I-β ne pose pas l’endogénéité du coût, qui est le contenu de XXXII-s. De I-α + I-β découle I-ν (nécessité immanente : l’identité être/faire n’est pas contingente ; argument en §6 du manuscrit — act_is_necessary dans le dépôt n’en est pas la formalisation, son énoncé reformulant son hypothèse, et il est à réencoder) ; pour les clôtures métabolisantes, un théorème tardif, I-γ (nul acte sans mode), qui établit que chaque opération endogène tombe dans exactement l’une des deux classes de la partition normative — facilitation ou résistance [∎] ; et I-δ (nul faire sans rapport à soi).

Les trois composantes encodées de I-β sont indépendantes par construction, chacune portant sur des champs disjoints ; les six modèles séparants le constatent, ils ne le découvrent pas. Dix modèles séparants établissent l’indépendance inter-axiomes de I-α, IV et V pris comme atomes. Le has_I de ces fichiers encode le soi, non l’axiome I universel (il exige une régénération, et le rocher y échoue) ; l’axiome I universel est encodé dans AxiomIMiddle.lean (I_mid), où il vaut de la pierre, du tourbillon, de la flamme et de l’organisme, et ne fixe aucun verdict.

Composantes de I-β. L’ancienne décomposition (β₁ décomposition additive, β₂ « endogénéité », β₃ réflexivité) encodait le soi : β₃ (« l’opérateur est l’opéré ») est la lecture agentive que le système réserve à XXXII, et BetaUnification.lean dérive β₁ et β₂ d’une structure où l’identification « récupérer est une auto-opération » est un champ. Ces résultats valent des soi et sont rattachés à XXXII-s. Le contenu universel de I-β est un seul engagement : pas de substrat inerte sous l’acte. La cartographie « 94 théorèmes par composante » n’a pas de fichier dans le dépôt et n’est plus citée.

Le Corollaire IV pose le coût incompressible : toute transformation a un coût irréductible, strictement positif, qui ne peut être annulé ni contourné [∎].IV est contenu dans I par position (le drain constitutif est un champ de l’encodage d’I), non dérivé : « cost > recovery, et recovery ≥ 0, donc cost > 0 » est vrai de toute inégalité stricte sur les entiers naturels et n’utilise rien de l’identité être/faire. IV est maintenu comme corollaire nommé pour la lisibilité de la chaîne déductive, avec ce statut. Le coût n’est pas un fluide physique particulier (énergie, temps, argent), mais un invariant structurel : le prélèvement asymétrique sur une marge finie qu’exige tout maintien d’une détermination sous pression.

V (gradient d’extériorité, dérivé d’I) : l’extériorité admet des degrés. Le complémentaire modal de l’acte fini, dont il dépend métaboliquement et qu’il ne contrôle pas, varie — cette variation est V. La rencontre entre déterminations n’est pas du tout-ou-rien ; l’altération partielle est le régime générique [∎].

De I dérivent quatre théorèmes fondationnels. II (productivité non typée) [∎]. III (unité causale) [∎]. V (gradient d’extériorité) [∎, VDerived.lean]. VII (négation constitutive) [∎].

Les termes primitifs (coût, structure, extériorité) sont des choix d’encodage dont la pertinence ne se juge pas formellement mais empiriquement : c’est l’instanciation (§VI) qui décide si ces catégories découpent le réel mieux que les alternatives.

La pente vers la dissolution

Le tronc compose une axiomatique de la dissolution. Leur conjonction produit une pente : la dissolution est le régime atteint par défaut. Aucun axiome ne pose que l’extériorité peut être source de gain structurel.

Par Axiome 0, le Tout se suffit ; mais tout être fini est incomplet [IX ∎]. Par VII, toute détermination engendre de l’extériorité ; par IX, cette extériorité persiste [XI ∎]. Par III, aucune isolation n’est absolue ; par IV, maintenir une détermination partielle face au Tout a un coût incompressible ; d’où la pression constitutive : le Tout exerce une pression de dissolution permanente sur tout être fini, indépendamment de toute rencontre avec un autre être fini [XII ∎]. Par I-β, ce coût s’inscrit dans une structure-en-acte, celle de l’être ou celle d’un porteur, jamais dans un substrat inerte qui l’absorberait sans trace ; cette structure est finie dans les deux cas, ce qui fonde l’incompressibilité : le coût a un plancher strictement positif [X ∎]. Toute transformation est donc structurellement irréversible : le retour B → A est une transformation distincte de A → B, avec son propre coût irréductible prélevé sur une marge bornée, la sienne ou celle du porteur [XV ∎].

Ces résultats s’enchaînent pour produire le lemme d’épuisement : Le coûteux se dissout avant l’économe : sous pression de dissolution, le processus à coût minimal se dissout en dernier ; tout surplus est un drain actif sur marge finie [XVII-bis ∎, de IV + XII + XVII]. XVII-bis est l’économie universelle — plus primitif que XLVII (clôtures seulement), il s’applique à tout, non-refaits inclus ; il vaut en régime de coût net positif, chacun payant sur sa marge. Car toute marge est reçue [Lemme 5 ∎, de IV + I-β₂] : un acte sans entrée décroît strictement, et toute croissance de marge vient d’un apport qui excède le coût — d’un autre fini, à son coût, jamais du Tout, qui ne donne pas parce qu’il n’a rien à retenir. Nul ne se fait de soi ; nul ne se fait d’un fond (thèse 20) : le premier membre interdit le cercle, le second interdit le socle. L’extériorité résiste et alimente du même geste [XI-bis ∎]. L’abondance (net < 0) devient exprimable — Lotka, Bataille, le signal coûteux — sans axiome ajouté ; hors du régime net > 0, un porté cher nourri par son hôte survit à une clôture économe, et la thèse 19 est une loi de régime (Phi_Economy.lean §9–§10). L’exactitude, elle aussi, se paie : à perturbations égales, une tolérance plus étroite — l’ensemble des états qu’un être tient sans les corriger — coûte au moins autant qu’une plus large, et strictement plus dès qu’une perturbation tombe entre les deux [Lemme 6 ∎, de I + IV + V + X + XXXII]. D’où, sous coût net > 0, l’économie de la fidélité : la tolérance qui dure le plus est la plage de viabilité (P) elle-même, ni plus étroite — la sur-fidélité est un drain (XVII-bis) — ni plus large — la sous-fidélité tient un état qui défait [XVII-ter ∎, FidelityCost.lean]. P domine toute autre tolérance sur toute séquence de perturbations, et l’optimum est unique. Trois réserves sont déclarées. L’hypothèse H (tenir coûte partout pareil) fait l’optimum ; sans elle il devient tolérer ce qui coûte moins à tenir qu’à corriger, génériquement plus étroit que la viabilité — et c’est le cas générique. La connaissance du bord de P n’est pas gratuite (LXVIII, LXVI), et les deux erreurs sont asymétriques — la sous-fidélité dissout, la sur-fidélité draine —, si bien que l’optimum atteignable garde une marge de sur-fidélité : c’est le prix de l’opacité. Enfin P se resserre (XX-b) et le resserrement d’une tolérance est de la construction, non de la maintenance (R-XVIII) : XVII-ter décrit un cliquet plus qu’un régime. En abondance, la tolérance est indifférente à la survie : l’exactitude excessive est un luxe. La perméabilité de toute barrière causale entre déterminations finies est dérivée de III, V, IX et XVII [XVIII ∎]. L’extériorité exerce donc une pression d’ouverture persistante de deux sources indépendantes : la pression constitutive du Tout et la pression relationnelle des autres êtres finis [XIX ∎]. Le profil d’exposition de toute clôture dérive sous régénération : les vulnérabilités non couvertes ne reculent jamais [XX-a ∎] et croissent strictement à chaque opération [XX-b ∎]. Enfin, toute clôture active engendre des déterminations inédites comme sous-produit de sa propre régénération : qui se refait ne se répète pas [XXI ∎].

La compensation n’est pas axiomatique : elle est constructible. Le lemme VI [◇] établit l’accessibilité de transformations à bilan structurel net non négatif, sans la garantir. C’est la charnière du système : le premier résultat non-[∎], le point exact où la déduction cède la place à la constructibilité. Si VI était [∎], la clôture serait axiomatiquement attendue au lieu d’être empiriquement conditionnée, et l’asymétrie fondamentale du système disparaîtrait.

Ce qui est établi : la finitude, le coût incompressible, l’irréversibilité, l’épuisement et la pression d’ouverture sont des nécessités déductives [∎] de I, V et IV. Ce qui reste conditionnel : la possibilité de compensation [VI ◇] et, en aval, les conditions de domaine (diversité compensatoire, non-rigidification) sous lesquelles cette compensation se réalise empiriquement. Ce qui reste ouvert : la loi quantitative de la distribution inter-niveaux du coût.

Tout meurt parce qu’exister coûte — et qu’on ne reçoit pas sans borne. — XXXIV [∎]

---

II — La clôture opérationnelle : théorème central et normativité

Être soi, c’est se refaire. Tout être fini exposé se refait ou se défait. — Thèse 5

Genèse de la clôture

Le bloc XXII–XXVII décrit les conditions minimales sous lesquelles un cycle co-maintenu apparaît, persiste et se stabilise. Ce n’est pas un récit contingent de l’origine de la vie — c’est une classe de mécanismes générateurs dont les conditions de domaine sont explicites.

L’argument procède par étapes. L’être persiste [XIII ∎] et subit l’extériorité [XI ∎] ; certaines rencontres altèrent sans annihiler [V] ; chaque altération requiert un ajustement coûteux [IV] qui, par inertie, se conserve comme trace structurellement distincte [XXII ∎]. La structure accumulée contraint les réponses futures : l’histoire canalise, la rétroaction émerge [XXIII ∎]. En l’absence d’effacement actif, la canalisation est monotone croissante [XXIV ∎]. Les mêmes canaux empruntés récurremment se consolident en routines conservées [XXV ∎]. Les routines qui compensent partiellement la destructuration conservent davantage de structure et persistent plus longtemps — non par un agent sélecteur, mais par différence de durée de persistance [XXVI ≈₁]. Les routines compensatoires conservées modifient les conditions d’émergence de nouvelles routines : les couplages compensatoires tendent à être composables [XXVII ≈₁].

Deux conditions de domaine sont irréductiblement empiriques : la diversité compensatoire suffisante [XXVI ≈₁] et la non-rigidification [XXVII ≈₁]. Si la diversité manque, tout se dissout — et le système l’a prédit. Si la rigidification l’emporte, le résultat est le goudron, le verrou névrotique, l’ossification institutionnelle. Le « Tar Paradox » (Benner) n’est un paradoxe que pour les cadres qui prédisent l’auto-organisation comme tendance générique ; pour l’Ontodynamique, le goudron est l’issue par défaut [XXIX ∎]. La question « pourquoi des clôtures plutôt que du goudron ? » se scinde : la possibilité est ontologique [VI ◇], la réalisation est empirique [XXVI ≈₁, XXVII ≈₁]. Le tronc fixe le type de conditions ; leur réalisation est un fait de monde.

Il importe de noter que la sélection invoquée ici est strictement pré-darwinienne et structurelle — persistance différentielle des configurations, non sélection par succès reproductif de réplicateurs digitaux. La destruction rapide est l’attracteur par défaut [XXXII-a ∎]. Le tri initial n’est pas informationnel mais matériel : par inertie [XIII ∎], l’extériorité élimine passivement ce qui ne compense pas son propre coût de destruction.

Le théorème ontodynamique (XXXII)

Un agrégat sans cycle co-maintenu est transitoire [XXVIII ∎]. Sous exposition persistante, tout régime non transitoire est une clôture opérationnelle [XXIX ∎]. La conjonction donne le résultat central : être soi, c’est se refaire — tout être fini exposé se refait ou se défait ; il régénère ses propres conditions (clôture) ou se dissout ; la persistance passive ne constitue pas une individuation [XXXII ∎]. Le « re- » de « se refaire » est le seuil : en deçà, la pierre, qui se fait (I) sans se refaire ; au-delà, l’organisme, qui se refait et par là est soi. Sous I (dont V est dérivé), XXXII produit la disjonction.

| Régime | Est (I) | Compte propre (I) | Est soi (XXXII-s) | ce que la réponse consomme Clôture ✓ ✓ ✓ reconstitué par l’être, avec des contraintes qu’il produit Entretien ✓ ✓ ✗ reconstitué par l’être ; ce qu’il maintient — au plus une contrainte — ne ferme pas (flamme, étoile) Portage ✓ ✓ ✗ reconstitué par un autre (tourbillon, réacteur, LLM) Porté ✓ ✓, sans stock, tenu par les porteurs ✗ forme inscrite, maintenue par un portage ; se laisse faire un Non-refait ✓ ✓ ✗ reconstitué par personne, ou pas de réponse (pierre, cristal sec)

Le porté fait exception au sens de D1, non à la règle : son compte ne tient aucun stock, et ce qui s’y inscrit est sa propre dérive, que ses porteurs acquittent sur le leur (voir Le compte d’un porté, §Contrat).

XXXII-s — Un être fini est un soi si et seulement si ses réponses puisent dans une réserve qu’il reconstitue par des contraintes qu’il produit, et que ces contraintes ferment (règle du noyau clos, R-XVII). Les contraintes qu’il porte hors du noyau ne défont pas le soi : elles en abaissent le degré (le dialysé reste soi). « Se refaire » : le « re- » est la reconstitution, le « se » est la clôture. Subir la dépense ne discrimine rien : tout fini exposé la subit. La provenance des intrants ne décide rien : l’organisme importe tout ce qu’il consomme. Le virus se réplique mais ne se refait pas : la reconstitution est faite par des contraintes que l’hôte produit.

« Se refaire » : régénérer ses propres conditions à ses propres frais (XXXVIII). Le virus se réplique mais ne se refait pas.

La disjonction elle-même est ∎. L’accessibilité de la branche « se refait » (les trajectoires de genèse) est ≈₁ — elle hérite des conditions de domaine de XXVI et XXVII. C’est le pare-feu genèse/tronc : si la genèse était réfutée, le système perdrait les trajectoires typiques mais conserverait l’exclusivité de l’attracteur [XXXII-d1 ∎] et l’intégralité de la théorie de l’individu, des relations et de la connaissance. Perdre le « comment » ne détruit pas le « quoi ».

Normativité constitutive et loi d’authenticité

De la clôture dérive immédiatement la normativité. Toute clôture trace une partition entre ce qui maintient le cycle et ce qui le compromet [XLIV ∎]. Cette partition est coextensive à la clôture : pas de clôture sans elle, ni elle sans clôture. Elle n’est pas ajoutée à l’individu — elle est la structure même de son auto-production. XLIV a deux faces. Face A (→ LVIII) : la partition produit le seuil de discrimination (drain_net). Face B (→ précarité) : le même drain_net > 0 dit que la clôture a besoin de ce qui n’est pas encore là — manque constitutif. Le théorème I-γ précise : pour les clôtures métabolisantes dont les opérations sont individuables, chaque opération endogène tombe dans exactement l’une des deux classes — facilitation ou résistance [∎]. L’irréductibilité binaire de la partition est elle-même démontrée : aucun troisième terme ne se stabilise [LX ∎].

Le critère de normativité [XLV ∎] distingue la polarité auto-produite de la polarité attribuée. Dans une clôture, la distinction maintien/compromission est auto-produite par le cycle même et auto-conditionnante — supprimer la distinction, c’est supprimer le cycle. Ce « pour » ne requiert ni conscience ni intention, mais que l’entité soit identique à l’acte de distinction. Un thermostat possède une polarité attribuée — retirer l’observateur, l’attribution disparaît. Un organisme possède une polarité auto-produite — retirer la polarité, l’organisme se dissout [∎]. Par construction, cette normativité est en première personne — elle fonde la viabilité d’un cycle, non une prescription universelle. Le saut du fait biologique à la valeur éthique en troisième personne est un autre problème, que le système ne prétend pas résoudre [∎].

De là dérive la loi d’authenticité : ce qui est conservé sans contribuer à l’auto-production est un drain ; ce qui est ajouté sans nécessité est une charge ; le seul régime viable pour un être fini est l’économie radicale indexée sur sa propre clôture [XLVII ∎]. XLVII est une loi de régime : elle vaut en rareté (coût net > 0) ; en abondance, l’authenticité ne paie pas — c’est le débit qui croît — mais l’abondance finit, l’appareil de capture ne se replie pas (XV), et l’authenticité décide alors de qui reste. La mortalité est à terme : toute clôture a une durée de vie bornée, non parce que personne ne pourrait payer pour elle (Lemme 5 : d’autres finis le peuvent), mais parce qu’elle ne peut absorber qu’une quantité bornée par cycle (IX) tandis que son coût dérive (XX-b) [XXXIV ∎]. Une troisième route, plus générale, se passe des deux hypothèses : dans une population sans fond — aucun apport qui ne vienne d’un fini de la population —, le stock total est fini et décroît d’au moins un par cycle, et tout membre est exsangue au plus tard au cycle Σ m₀ [route P ∎, population_dies, member_dies, Circulation.lean]. Une population n’est pas son propre fond. Sous solvabilité forte, l’hypothèse de la route S en devient un théorème (routeS_derived). L’ancienne clause « non compensable » de XII, qui faisait la mortalité constitutive, était un interdit sur le dehors non dérivé — et, en Lean, insatisfiable (Lemme5_Recette.lean) ; elle est retirée. La métabolisation et l’apport repoussent l’échéance, ne l’annulent pas.

Ne conserve que l’essence, n’ajoute que par nécessité. — XLVII [∎]

---

III — Le gradient de composition et la dynamique inter-régimes

Quand ça casse, à quel compte, et qui refait ? — Thèse 3

Le gradient (R-XVII) et le test unique

La composition se lit par un arbre de questions, posées sur une perturbation prise dans la plage de viabilité. À quel compte la perte est-elle imputée ? — cette question (Q0) délimite l’être avant toute autre, et c’est I qui la tranche, non R-XVII. Puis : une réponse puise-t-elle dans une réserve qui est reconstituée ? Non, faute de réponse ou faute de reconstitution : non-refait (défaut). Oui : par qui ? Par un autre : régime de portage, où une seconde question (actif ou inerte) sépare ce qui compose et maintient la forme (portage) de la forme composée et maintenue, à coût marginal d’inscription (porté). Par l’être lui-même : les contraintes de son cycle sont-elles reconstituées par ses propres opérations, et ferment-elles ? Oui : soi, ou clôture (XXXII-s). Si elles ne ferment pas : entretien lorsqu’aucune n’est reconstituée par un autre, portage sinon. Cinq modes : quatre par la reconstitution (qui reconstitue la réserve, et les contraintes du cycle par qui), le porté par l’actif/inerte. La clause « d’un seul tenant » n’interdit plus la somme méréologique — c’est I qui l’interdit, une somme n’ayant pas de compte : la clause dit seulement que la clôture doit être intégrée. Un compte peut contenir plusieurs soi sans être lui-même soi (la colonie) ; une production croisée entre comptes distincts sans avoir commun est un portage mutuel, non un soi d’ordre supérieur. Le profil de dépense (qui subit la consommation) ne détermine pas le régime : un robot laissé seul, un robot dont on change la pile, une étoile et un organisme paient tous sur eux-mêmes et reçoivent les quatre verdicts (AxiomIMiddle.lean). La coupe portage/porté est la bipartition actif/inertiel, le porté qualifié par quatre critères durcis (Carried.lean v3) [R-XVII ≡ ; verdicts ≈₁].

Quatre termes. Une contrainte canalise un procès sans être consommée par lui à l’échelle de ce procès, et est produite ou reconstituée à une échelle plus lente (Montévil & Mossio 2015) ; une flamme en maintient au plus une (Moreno & Mossio 2015), et une contrainte seule ne ferme pas. Une contrainte du cycle d’un être fini est une contrainte dont la défaillance est la mort de cet être (XXXIV), et non de tout être exposé indifféremment ; ce qui tue indifféremment — gravité, température ambiante, enceinte — est une condition aux limites, hors cycle. Produire s’entend par ses opérations, non par sa constitution : la gravité qui confine l’étoile émane de sa masse, elle n’est pas produite ; ce que personne ne reconstitue (les télomères) est le drain (XXXIV), non un reconstituant ; une contrainte du cycle que l’être ne produit pas et que personne ne reconstitue (la mèche) compte comme non produite. Reconstituer par soi : la reconstitution de la réserve est une opération de l’être — l’intrant devient réserve par son travail ; retirez cette opération, si la réserve se reconstitue quand même (la rivière, le technicien), c’est un autre qui reconstitue. La provenance des intrants ne décide rien.

Règle du noyau clos. L’arbre répond perturbation par perturbation ; pour l’être, les contraintes de son cycle reconstituées par un autre sont mises hors cycle, au rang de conditions aux limites. L’être est un soi si et seulement si les contraintes restantes forment encore une clôture — chacune produite par une autre d’entre elles, d’un seul tenant (de proche en proche, chaque contrainte produit chaque autre : le co-maintien), frontière comprise. La somme méréologique, elle, est déjà exclue par I — elle n’a pas de compte ; la clause d’un seul tenant dit seulement que la clôture doit être intégrée, et un compte peut contenir plusieurs soi sans être lui-même soi (la colonie). Ce qu’il porte autour de ce noyau abaisse son degré sur le gradient sans changer son type. Si rien ne ferme : portage lorsqu’une contrainte du cycle est reconstituée par un autre, entretien sinon. Le verdict est indexé au milieu (R-IV) et à l’être en acte : la graine en dormance ne puise dans rien et se tient comme non-refait ; réactivée, elle se refait.

L’individu ontodynamique (clôture) maintient son invariant en reconstituant lui-même, par des contraintes qu’il produit, ce que sa réponse a consommé. La trace de cette reconstitution est une cicatrice : tissu remanié, non tissu d’avant. L’être en entretien (flamme, étoile) répond et reconstitue sa réserve par sa propre dynamique, mais ce qu’il maintient de lui-même — au plus une contrainte (Moreno & Mossio 2015) — ne ferme pas ; la mèche de la bougie est une contrainte de son cycle que la flamme ne produit pas ; sa persistance cesse avec ce qu’il consomme. Il possède une normativité constitutive, une essence propre, une réponse compensatoire endogène. L’individu par portage normatif maintient un invariant topologique ou logique, mais l’irréversibilité matérielle est externalisée sur l’infrastructure d’un hôte. Le pattern peut revenir à l’identique en description — rollback — tandis que le support a payé le coût. La normativité est attribuée, pas auto-produite. Le porté est la forme stable que le portage maintient, sans cycle propre : invariance sous rollback, coût marginal d’inscription, hétérogénéité des porteurs, inscription puis activation (objet mathématique, génome viral, poids sur disque, mot de passe). Sa fonction est séparable de sa forme. Le non-refait pur subit la perturbation et s’altère passivement, sans marge propre à entamer, sans cycle, sans normativité, sans essence — persistance par inertie seule.

La somme méréologique n’est pas interdite — elle n’ajoute pas d’être : elle n’a pas de compte (I), donc ni essence ni normativité. Entre le portage et la clôture, le gradient est continu [LI ∎]. Le test est toujours le même : frapper et observer. La clôture cicatrise ; le porté redémarre. Le critère n’est pas « dépendre d’un milieu » (tout être fini en dépend) ni « payer sur soi » (l’étoile paie sur elle-même), mais qui reconstitue ce que la réponse consomme, et les contraintes du cycle, par qui sont-elles reconstituées — et ferment-elles.

C’est ce test qui tranche les cas contemporains. Le LLM se dédouble : ses poids sont un porté (restaurable par rollback), l’inférence est le portage qui l’active ; l’irréversibilité matérielle (usure du silicium, consommation énergétique, dégradation des puces) est intégralement externalisée sur l’infrastructure. Le virus est un portage inversé : il maintient un motif (le génome) en réfractant la totalité du coût de production sur la machinerie cellulaire de l’hôte — la réplication est endogène au motif mais exogène à son coût. La blockchain présente un dédoublement : le ledger distribué est un porté (l’information est restaurable tant que des nœuds subsistent), mais le réseau de mineurs qui valide les transactions est un candidat clôture institutionnelle — il régénère ses propres conditions de fonctionnement en prélevant sur la marge collective (coût énergétique, incitation par récompense).Le cristal sec est un non-refait : persistance remarquable, aucune réponse, exposition thermodynamique négligeable à échelle humaine. Il n’y a pas de soi ; il y a un être fini. La question « Turing-complet implique-t-il ontodynamiquement autonome ? » reçoit une réponse structurelle négative : la complétude computationnelle ne dit rien sur le lieu d’endossement du coût [∎]. Une machine de Turing universelle est formellement capable de simuler toute fonction calculable — elle n’endosse rien matériellement de ce qu’elle simule.

L’emboîtement et la réfraction opératoire

Par réapplicabilité [XXXIII ∎], le théorème XXXII s’applique à tout niveau. Des clôtures couplées constitutivement [XLIX ◇] peuvent former un cycle co-maintenu à l’échelle supérieure : c’est l’emboîtement [L ∎]. Chaque niveau possède sa propre clôture, sa propre essence, sa propre normativité. L’irréductibilité est démontrée : la clôture de niveau Nₖ n’est pas réductible à ses composants Nₖ₋₁ [LIII ∎]. La dissolution d’un niveau cascade vers les niveaux adjacents dans les deux sens [LIV ∎]. La fécondité — production de nouvelles clôtures — est constructible [LII ◇] mais prouvablement non dérivable des axiomes (modèle séparant). Le même modèle prouve XLIX ∧ ¬LII : deux clôtures couplées, aucune reproduction. Le couplage modifie des clôtures existantes ; la reproduction en crée. Le tronc est une théorie de l’individuation, pas de la vie.

L’application d’un opérateur du système (coût, irréversibilité, normativité, parasitisme) à une entité dépend du compte auquel la perte est imputée (I) et de sa position le long du gradient [NT-III ∎]. Pour une clôture, l’opérateur s’applique directement. Pour un portage, l’opérateur se scinde : le motif possède un lieu d’effet, le porteur endosse le lieu de coût. Pour un entretien, coût et irréversibilité portent sur la réserve propre ; normativité et métabolisation sont absentes faute de clôture. Pour un non-refait, coût et irréversibilité s’appliquent (l’éclat reste, et il a coûté) ; normativité et métabolisation ne s’appliquent pas — là est l’erreur de catégorie. Le cas médiatisé (portage) est plus informatif que le cas direct (clôture) : c’est un analyseur spectral de la structure fine de l’opérateur [∎].

Le monisme du coût [§2.6 ∎] fonde cette architecture. Le concept formel de coût (IV) est l’opérateur d’asymétrie du système — entame strictement positive sur marge finie, dont l’annulation exige un nouveau prélèvement. La diversité empirique des coûts (dissipation entropique, usure métabolique, dette technique, charge allostatique) est la diversité des réfractions de cet invariant unique à travers les niveaux d’emboîtement et les régimes du gradient. Le coût est un ; la diversité des coûts est une réfraction opératoire. Le compilateur ne le vérifie pas : il constate que le classifieur ne lit que les champs sur lesquels il est défini. Le monisme du coût est un posit, jugé en aval sur la convergence trans-domaniale (§VI).

La théorie des modes

La théorie des modes. I-γ (« nul acte sans mode ») n’est plus une clause posée mais une théorie à trois volets, formalisée en Lean 4 (fichiers autoporteurs, 0 sorry, 0 axiome, compilés). Le mode est la marge (ModeIdentity.lean) : le mode d’une entité est un invariant de sa marge de choc — deux entités ont même mode si et seulement si elles ont même marge (M1_mode_is_margin, via sameMode_of_margin_eq et margin_eq_of_sameMode) ; le régime se lit sur la marge — clôture si le choc est absorbable, portage s’il déborde (regime_closure_of_local, regime_portage_of_overflow) — avec trichotomie exhaustive (regime_trichotomy) et le cas-limite « marge ≤ 0 n’est jamais clôture » (margin_nonpos_never_closure). L’espace des modes est M₊ ∪ {exsangue} (Margin.lean) : sur toute marge abstraite, deux entités ont même mode si et seulement si elles ont même marge, ou des marges toutes deux ≤ 0 (M1_mode_is_margin) — le choc séparateur n’existe qu’au-dessus de zéro. La pluralité des modes est dérivée, non posée (M2_realization). Sur ℕ c’est ℕ (M2_mode_space_is_Nat) ; sur ℤ c’est encore ℕ à isomorphisme d’ordre près (M1_int) : la dette est invisible au choc unique. Il y a pluralité intra-régime (intra_regime_plurality), et les profils sont strictement plus fins que les modes, eux-mêmes plus fins que les régimes (profiles_strictly_finer_than_modes) — trois grains distincts. Le mode détermine le destin sous choc (Modes.lean, ModeFlux.lean) : la classification par trace de perturbation coïncide avec la classification par profil si et seulement si la perturbation est absorbable sur la marge (B_coincidence_iff_local), au-delà elles divergent (bifurcation_is_real) ; ModeFlux.lean raffine avec une entité à quatre flux (capacité propre, coût constitutif = drain XII, apport de l’hôte, versement à autrui) et une marge de choc dérivée, et prouve que la divergence avec la convention mixed_zone_is_closure du corpus est localisée — elle n’apparaît que sur les profils à marge grevée, le porteur (localization_carrier) et le sous-alimenté (localization_underfed), jamais sur le subventionné ni le pur-clôture, jamais sous la marge (divergence_requires_overflow). La théorie des modes ne réfute pas le corpus : elle raffine une convention que le corpus déclare lui-même révisable (« choix de design documenté »), en montrant où elle sur-simplifie (l’organisme qui porte ou qui a faim) et où elle tient (l’organisme qui mange à sa faim).

La dynamique inter-régimes (R-XVIII)

Le tronc statique (XXXII + R-XVII) décrit les régimes ; la dynamique inter-régimes décrit les transitions. Pour toute clôture, saving_pos est identique à regen_pos (XXXVIII) : la régénération du cycle est le saving — la contrainte structurelle existante réduit strictement le coût de l’acte qu’elle guide [∎, SavingDerived.lean]. D’où une asymétrie des coûts entre construction (acte sans template, coût brut) et maintenance (acte guidé par template, coût réduit) [∎].

Quatre lemmes s’enchaînent. En l’absence de régénération active, le degré d’auto-production (α) décroît strictement jusqu’à épuisement [Lemme 1 ∎]. Tout niveau constructible est maintenable, mais tout niveau maintenable n’est pas constructible — le plafond de construction est strictement inférieur au plafond de maintenance [Lemme 2 ∎]. Il existe donc une zone d’hystérésis : un niveau de α maintenable mais non constructible, où le régime dépend de l’histoire — un système qui y est monté peut s’y maintenir ; un système qui n’y est jamais parvenu ne peut pas y accéder [Lemme 3 ∎]. Les transitions entre régimes sont déterminées par le franchissement de seuils asymétriques — bifurcations endogènes que le système produit lui-même, non un supplément extrinsèque [Lemme 4 ∎].

Ces résultats prédisent qu’une population sous pressions variées exhibe une distribution bimodale du degré de clôture [R-XVIII(iii) ≈₁] — la zone intermédiaire est dynamiquement instable. Badiou pose l’Événement comme supplément extérieur ; l’Ontodynamique le dérive : les bifurcations sont endogènes, leurs seuils formellement prédits, leur hystérésis démontrée [∎].

La clôture cicatrise ; le porté redémarre. — R-XVII

La précarité constitutive est le nœud entre l’algèbre des coûts et le vivant. La conjonction de XLIV-B (drain_net > 0 — manque constitutif) et de la finitude (XVII) produit un système fait d’un manque qui peut le détruire (precarity ∎). De là découlent trois caractérisations : la vie — résolution de sa propre précarité (resolution_must_recur ∎) ; la conscience — épreuve de sa propre précarité (≈₃, LXXVII). Résoudre ∎ ; éprouver ≈₃. Même précarité, même sujet, rapport différent.

IV — De la valence à la perspective : mécanique de la subjectivité

Nul acte sans mode. — Thèse 2

La chaîne mécanique

La subjectivité n’est pas un module ajouté au système — elle dérive du tronc par une chaîne dont chaque maillon est mécanique jusqu’à un point précis, au-delà duquel un saut interprétatif assumé intervient.

Toute clôture, en se régénérant, rencontre sa propre résistance : le coût de maintien n’est pas extérieur à ce qui est maintenu [LVI ∎]. Par XXXII-s, cette auto-affection est endogène — un soi reconstitue lui-même ce que ses réponses consomment, et l’auto-affection est une de ces réponses [LVII ∎]. L’auto-affection est polarisée : par la partition normative [XLIV ∎], toute opération auto-affectante est classée exhaustivement comme facilitation ou résistance [LVIII-a ∎]. Cette polarisation est la valence — le différentiel entre coût guidé (réduit par saving_pos) et coût brut [LVIII ∎]. La facilitation est plafonnée (elle réduit le coût vers zéro sans l’annuler) ; la résistance ne l’est pas (elle peut excéder la marge en un seul pas). L’asymétrie est constitutive.

La valence n’est pas un étiquetage passif — elle rétroagit sur le cycle qui la produit. Une opération à valence positive réduit le coût net du cycle suivant ; une opération à valence négative l’augmente. La boucle est fermée : la valence modifie les opérations qui modifient la structure qui produit la valence [LIX ∎]. Ce résultat est mécanique, pas interprétatif. Il ne dit pas que la clôture « perçoit » sa valence — il dit que la valence, une fois dérivée, n’est pas épiphénoménale par rapport au cycle. Ce résultat est un corollaire temporel d’Axiome I (LIX-A) : si être = se faire, le se-faire qualifié se continue — la qualification ne peut pas être suspendue entre deux pas sans discontinuité dans l’identité être/faire qu’I interdit. L’épiphénoménalisme fonctionnel est structurellement exclu, pas seulement improbable. LIX est le dernier résultat mécanique du tronc numéroté. La chaîne se prolonge : I-γ → I-δ [∎] → SelfRelation [∎] → SecondOrderLoop [∎] — sans saut interprétatif. Le saut commence après SecondOrderLoop.

Le saut localisé (LXI) et son prix affiché

La subjectivité minimale [LXI ≈₃] identifie la rétroaction de la valence sur le cycle, lorsqu’elle est elle-même métabolisée — c’est-à-dire lorsque la clôture incorpore sa propre polarité comme nécessité propre — comme une boucle de second ordre : la clôture ne subit pas seulement ses opérations, elle en fait une ressource. La structure mécanique est acquise [∎]. — y compris la relation différentielle immanente (SelfRelation ∎, MinimalPerspective.lean). Le seul ≈₃ résiduel est le franchissement de registre 3P→1P : identifier cette boucle comme perspective au sens phénoménal (Thèse P, ≈₃).

LXI ne satisfait aucune condition HOT : même marge pour cible et opérateur, pas de boucle sans valence, marge post-boucle ≠ pré-boucle — second ordre opérationnel, non représentationnel [LXI_not_HOT ∎].

L’indécidabilité de cette identification est elle-même un théorème [LXXVII ∎], requalifié en deux niveaux : non-applicable en dessous du seuil phénoménal (structure absente — Wittgenstein), épistémiquement indécidable au-dessus (Chalmers). Cette indécidabilité se scinde en deux questions asymétriques. La première — l’activité métabolique de second ordre est-elle réelle ? — est décidable ∎ : R-XVII discrimine une clôture avec boucle genuinement active d’une simulation produisant le même comportement observable. La seconde — cette activité est-elle éprouvée ? — reste indécidable ≈₃. R-XVII est le filtre d’applicabilité de ≈₃, pas une réponse à ≈₃ : un ratio S/I ≈ 1 rend la question ontologiquement mal posée ; un ratio S/I > 1 la rend bien posée mais épistémiquement indécidable (R-XIX). R-XVII fournit un filtre d’applicabilité de ≈₃ décidable : S/I ≈ 1 → question mal posée ; S/I > 1 → question bien posée mais indécidable (R-XIX, rxvii_discriminates_lxi_activity ∎). R-XIX a été testé par simulation de vie artificielle. Résultat : S/I = 1.045 pour les agents avec monitoring actif (p < 1e-30), S/I ≈ 1 pour les agents sans monitoring (TOST ✓). Gradient de profondeur confirmé : B < A < A2, chaque couche isolée par contrôle dédié. Robuste sur 94% de l’espace de paramètres. Limite documentée : amplitude simulée (1.04–1.05) inférieure au biologique (1.4–1.8×) — contrainte du substrat simulé, pas de la prédiction. LXXVII ne constate pas une limite : il dérive l’indécidabilité des axiomes au lieu de la subir comme embarras. La portée du résultat est celle de l’encodage — ce qui est prouvé, c’est que le système de types ne sépare pas la position réaliste de la position illusionniste (AB_indiscernible ∎). C’est une propriété de la structure formelle, non une thèse sur le réel : exactement la restriction déjà posée à propos du dark acting, où le Lean prouve l’absurdité dans les axiomes, non l’impossibilité modale. Tout cadre concurrent repose sur un engagement équivalent — physicalisme, dualisme, illusionnisme posent chacun leur pari sur la conscience sans le dériver. La différence est que ces cadres subissent l’indécidabilité comme embarras ; l’Ontodynamique la démontre comme théorème, la localise en un seul point, et chiffre le coût de chaque option.

La clôture qui interroge sa propre auto-affection modifie l’objet interrogé ; un observateur externe produit son propre invariant, non celui du système ; aucun méta-niveau ne contourne l’opacité — l’ombre se déplace avec la lumière. Ce qui est exclu : prétendre démontrer l’identification (∎ impossible), et prétendre que la concevabilité du zombie prouve un gap ontologique (artefact prédit de l’opacité constitutive). Ce qui reste ouvert : le choix entre l’identification et l’agnosticisme — choix que le système déclare structurellement indécidable.

Le saut est localisé, le prix est affiché. Le lecteur qui refuse Thèse P conserve le tronc entier, I-γ, I-δ, SelfRelation ∎, la valence, la rétroaction, la non-épiphénoménalité. Il perd uniquement l’identification phénoménale positive, les paliers, et l’extension clinique.

Thèse P — Aucune position — ni de l’intérieur, ni de l’extérieur — ne peut trancher la question de la conscience. L’Ontodynamique le démontre. Le choix est entre l’engagement et le renoncement au savoir. ≈₃

Engagement et agnosticisme sont rationnels tous deux — non équivalents en rendement. L’engagement ouvre DPDR, les paliers, l’extension clinique. Crédit sur une position productive, évaluable, révocable : si DPDR (OSF DOI : 10.17605/OSF.IO/UNJ7F) n’isole pas la discontinuité de perspective prédite par LXV ∎ + Lemme 3 ∎, la fécondité différentielle se résorbe et l’agnosticisme regagne son droit complet.

L’exclusion du zombie

Sous R-XVII et XXXII-s, le zombie computationnel est ⟂ : ce que ses réponses consomment est reconstitué par l’infrastructure, donc il est un portage et non un soi, et la structure diffère. Métaboliser sa propre valence, c’est l’incorporer comme nécessité propre ; le zombie computationnel externalise ce coût sur des serveurs — sa valence syntaxique conditionne ses opérations sans être payée sur sa propre marge. Le zombie n’est pas identique — il est structurellement différent [⟂].

Le zombie phénoménal — un organisme matériellement autonome mais opérant dans le noir phénoménal total — est ⟂ sous I-γ [∎] : nul acte sans mode. Soustraire le vécu à un système qui endosse activement la friction de sa propre destructuration, c’est poser un acte réel sans manière de se faire — le dark acting. Le Lean prouve l’absurdité du dark acting dans les axiomes — non l’impossibilité modale du zombie de Chalmers, dont l’argument porte sur la concevabilité. LXXVII désarme ce pont sans le réfuter au sens formel. De plus, tout système satisfaisant I-γ satisfait nécessairement I-δ [IDelta.lean ∎] : il porte sur lui-même un rapport coextensif à son occurrence. Le zombie “sans intériorité” porte structurellement ce que le cogito atteste. Ce qu’il était censé ne pas avoir est constitutif de ce qu’il est [⟂, MinimalPerspective.lean ∎]. Sept arguments ∎ inconditionnels.

I-γ n’est pas posé comme axiome — il est dérivé de XXXII-s et XLIV [∎], pour les soi. Refuser I-γ exige donc de refuser au moins l’une de ses prémisses : perdre XXXII-s, c’est perdre la coupe soi / entretien et tout ce qui en dérive ; perdre XLIV (partition normative), c’est perdre la normativité constitutive. Le tronc universel (I, IV, V, IX–XXI) survit aux deux refus. L’argument contre le zombie est ainsi conditionnel, non circulaire ; sa force de conviction dépend de l’acceptation des axiomes dont I-γ dérive.

Un séparant constructif (Sep-FunctionCost ∎) prouve que le coût échappe à l’unfolding : même fonction, mortalité asymétrique. La conceivabilité persistante du zombie est prédite par LXXVII comme artefact structurel de la finitude épistémique : l’intuition du zombie est le reflet de l’opacité constitutive appliquée à l’auto-connaissance [∎]. Compatible avec l’illusionnisme : AB_indiscernible [∎] prouve que réalisme et illusionnisme sont type-indiscernables ; seule Thèse P brise l’indiscernabilité.

L’IIT (Albantakis et al., 2023) produit une mesure cardinale (Φ) inaccessible au système — théorème négatif, §6.9(a). Le principe d’exclusion ontodynamique (Exclusion-R-XVII) contourne cette inaccessibilité par le coût seul. COGITATE (2025, Nature) n’a pleinement confirmé ni IIT ni GNWT ; les prédictions ontodynamiques (LXIV, LXIII) restent ouvertes.

Paliers de subjectivité

La subjectivité admet trois régimes qualitativement distincts [LXIV ≈₁] : auto-affection sans métabolisation (valence brute), auto-affection métabolisée (boucle de second ordre), auto-affection métabolisée récursivement (conscience réflexive). Les transitions présentent des effets de seuil — la boucle de second ordre, une fois suffisamment auto-entretenue, constitue un régime distinct [∎]. La borne récursive est démontrée : le troisième palier est le dernier stable ; au-delà, la récursion entre dans la spirale auto-référentielle [∎]. Les cycles emboîtés dans une même clôture peuvent défaillir indépendamment : la dissolution du cycle de second ordre contracte la clôture sans dissoudre le cycle de premier ordre [LXV ∎]. C’est le profil de la dépersonnalisation : valence conservée, boucle de second ordre perdue. Formalisation : dpdr_prediction (DPDRDerived.lean, 20 théorèmes, 0 sorry, ∎) — trois phases ordonnées, phase 2 nécessaire, hypothèses de nesting et d’hystérésis dérivées du tronc (IV + Lemme 2) ; le protocole, pré-enregistré (Gosme, 2025c, OSF), mesure la discontinuité dans la dérivée de la courbe de perspective

Qui se sent se faire est ; qui se sent sentir se connaît. — Thèse 10

Le zombie ne retire pas une couche, il descend d’un palier. — Thèse 9

---

V — Réfraction opératoire : du modulateur au macro-parasite

Ce qui souffre sa cohérence la possède. — Thèse 7

Épistémologie : connaître, c’est métaboliser

Connaître n’est pas copier statistiquement des motifs ni accéder à un monde platonicien de formes. La connaissance est définie comme invariant opératoire partagé [LXVI ≡/∎], soumis à trois conditions : l’invariant est imposé par la résistance effective du milieu, internalisé comme nécessité propre du cycle, et maintenu par la régénération de la clôture. Ce triptyque requalifie le problème de Gettier : sous ces trois conditions, la « quatrième condition » devient structurellement inutile. Dans le cas Gettier, l’invariant coïncide avec le réel sans en porter la contrainte — la coïncidence n’est pas de la résistance, l’invariant n’est pas structurant pour le cycle [∎]. La connaissance n’est pas « croyance vraie justifiée plus quelque chose » ; elle est contrainte métabolisée.

L’opacité constitutive est dérivée [LXVIII ∎] : tout acte de connaissance est une coupe épistémique partielle, conditionnée par la structure du connaissant. Connaître modifie le connaissant (coût de l’acte cognitif, restructuration interne) et modifie l’objet pour les systèmes réflexifs (LXXVI ∎) — l’ombre se déplace avec la lumière. L’opacité n’est pas un défaut corrigible par un meilleur instrument : elle est constitutive de la finitude [IX ∎] appliquée à la connaissance. Il n’y a pas de « vue de nulle part » pour un être fini — et le résultat est démontré, pas postulé.

L’erreur est une dette matérielle : un invariant inadéquat accumule un surcoût de compensation qui déstabilise la clôture [LXXII ≈₂]. L’erreur n’est pas d’abord une « fausseté » logique mais un coût opérationnel — la clôture qui porte un mauvais modèle de son milieu dépense plus de marge pour compenser les décalages entre ses attentes structurelles et les résistances effectives. L’erreur stable — un invariant incorrect mais ultra-économique — est sélectivement favorisée parce qu’elle épargne la marge finie [LXXIII ≈₁]. Les biais cognitifs ne sont pas des « irrationalités » : ce sont des optimisations sous contrainte de finitude. Le raccourci heuristique qui fausse le jugement dans un contexte inhabituel est le même raccourci qui épargne la marge dans les 95% de contextes habituels. L’économie cognitive n’est pas une métaphore — c’est une instanciation directe de IV appliqué au coût de la connaissance.

La normativité transmise et le modulateur topologique

La normativité d’une clôture englobante Nₖ s’exerce sur ses composants Nₖ₋₁ non par causation efficiente descendante, mais par restriction du profil de viabilité : elle détermine quels régimes de métabolisation sont accessibles aux composants qu’elle porte [NT-VI ∎]. C’est la précipitation normative — modification matérielle du paysage de coûts, non prescription par adhésion symbolique. L’institution ne « dit » pas à ses membres quoi faire par le biais de normes intériorisées ; elle rend certains chemins compensatoires accessibles et d’autres prohibitivement coûteux. Sous cet opérateur, la dichotomie agence/structure perd son objet : ce n’est ni l’individu qui constitue l’institution, ni l’institution qui détermine l’individu, mais un couplage par le profil de coût. Le test de retrait de Latour (retirer l’acteur et observer si le réseau change) est subsumé : le gradient R-XVII distingue les cas où le retrait entame la clôture englobante (composant critique), la fait basculer de régime (composant seuil), ou n’a pas d’effet mesurable (composant substituable).

Un modulateur topologique est un artefact porté qui, sans posséder de normativité propre, canalise l’allocation de la marge de son porteur [NT-IV ≡/∎]. Trois régimes : viable (réduit le coût net), neutre (transitoire), pathogène (impose des workarounds dont le coût excède le bénéfice). Le théorème de la dette artefactuelle inévitable démontre que tout modulateur fixe porté par une clôture active bascule inévitablement de viable à pathogène sous la seule dérive du profil d’exposition du porteur [NT-V ∎]. Le basculement est causé par le fonctionnement normal de la clôture, pas par une agression externe. La dette technique en ingénierie logicielle, la bureaucratie fossile, le traitement pharmacologique devenu inadapté — ce ne sont pas des défauts de conception mais des nécessités structurelles.

Le macro-parasitisme institutionnel

Toute clôture englobante dont le cycle exige un coût d’extraction excédant le bénéfice de portage constitue un macro-parasite [NT-IX ∎]. Le mécanisme est structurellement identique à celui de la sous-clôture parasite au niveau individuel [LXXVIII ◇] — la transdomainalité [XXXIII ∎] fait le travail. Une institution macro-parasitaire survit au cynisme intégral de ses composants : la raison en est que la précipitation normative opère par modification du paysage de coûts, non par adhésion symbolique — le désengagement coûte plus de marge que le maintien, et le mécanisme est matériel [∎]. Sous NT-VI [∎] et NT-IX [∎], le mentalisme institutionnel de Searle (les faits institutionnels existent par assignation collective) et le fictionnalisme de Harari (les institutions tiennent par « fictions partagées ») sont rendus inopérants : la précipitation normative opère par modification matérielle du paysage de coûts, non par adhésion symbolique — le mécanisme ne requiert ni intentionnalité collective ni fiction partagée. Le signe ne signifie pas — il coûte à résister.

L’épuisement professionnel reçoit une fondation structurelle : effondrement de la marge de viabilité d’un composant causé par un macro-parasitisme dont le coût d’extraction a dérivé au-delà du métabolisable. Le composant ne s’épuise pas parce qu’il « fait trop » — le paysage de coûts ne lui laisse plus de chemin compensatoire viable [∎]. Le burnout n’est ni une fragilité individuelle ni un simple surmenage quantitatif : c’est le basculement d’un régime de portage viable en un régime de portage pathogène, causé par la dérive du modulateur institutionnel (NT-V) appliquée au niveau de l’organisation. La prédiction est testable : le burnout devrait corréler non avec la quantité de travail mais avec la réduction des chemins compensatoires alternatifs — la perte de marge, non la charge.

Clinique : le symptôme comme sous-clôture

On ne va pas mal parce qu’on est faible — on va mal parce qu’on survit trop cher. — Thèse 8

Le symptôme est redéfini topologiquement. Une réponse compensatoire qui a réussi localement — l’évitement, la dissociation, la rigidification défensive — s’autonomise en sous-clôture auto-maintenue par rétroaction interne [LXXVIII ◇]. Elle endosse un coût local qui draine la marge globale du porteur. Le mécanisme est précis : la sous-clôture possède son propre cycle de régénération, sa propre partition normative locale, et résiste activement à sa dissolution — y compris lorsque sa dissolution bénéficierait à la clôture englobante. Le symptôme ne « veut » rien : il se maintient parce que se maintenir est ce que font les clôtures. Mais le coût de son maintien est prélevé sur la marge du porteur, réduisant les chemins compensatoires accessibles pour le reste du cycle. C’est pourquoi le symptôme protège d’abord — il colmate une faille en réduisant l’exposition locale — puis gouverne : sa propre maintenance finit par consommer plus de marge que la faille qu’il colmatait.

La guillotine de Hume s’effondre en première personne : pour un être dont l’existence est identique à l’acte de se distinguer du non-viable, la distinction fait/valeur n’est pas un saut logique mais une tautologie structurelle [∎]. Le système ne dit pas que cette normativité en première personne fonde une éthique universelle — il dit qu’elle fonde la pertinence du soin. La thérapie n’impose aucune norme arbitraire : elle s’allie à une normativité déjà à l’œuvre, celle de la clôture en péril. Le soin est une alliance mécanique de co-maintien avec le sujet en première personne, non un jugement moral externe en troisième personne [∎].

L’hystérésis de la cure est prédite par le Lemme 3 : le seuil de construction d’un régime est strictement supérieur au seuil de maintenance. On ne « revient » pas à l’état antérieur au symptôme — on construit un nouvel état viable dont le coût d’accès est supérieur au coût de maintenance de l’ancien. La récidive n’est pas un échec de volonté : c’est la retombée dans un bassin d’attraction dont le coût de sortie excède la marge momentanément disponible [∎].

NT-V (dette artefactuelle), LXXVIII (sous-clôture parasite) et NT-IX (macro-parasitisme) sont trois instanciations du même patron formel : marge finie sous drain incompressible, formalisé par la typeclass FiniteExposed (polymorphe en la marge depuis Margin.lean : ℕ et ℤ en sont des modèles, IX y est une hypothèse nommée) en Lean 4. Le mécanisme est le même ; ce qui diffère est la source du drain et le lieu de la marge. La dette artefactuelle est le drain par obsolescence topologique ; la sous-clôture parasite est le drain par autonomisation interne ; le macro-parasitisme est le drain par extraction institutionnelle. Trois domaines disjoints, un seul squelette formel.

Le symptôme protège — puis il gouverne. — Thèse 11

---

VI — Le tribunal empirique et l’opacité constitutive

La théorie de l’instanciation

Le tronc dérive ses résultats sans terme domanial. Toute instanciation empirique exige un passage supplémentaire : identifier ce qui réfracte le coût dans un domaine concret, à quel niveau la clôture se résout, et comment distinguer une clôture authentique d’un portage ou d’un non-refait. Sept instanciations sur des objets-limites (§4.3, récapitulation en Annexe F §13) montrent que le système discrimine les bons objets : trois divergences défendables avec l’intuition naïve, une auto-correction documentée (LXXXI), une indétermination formalisée (colonie de fourmis, verdict conditionnel à NT-XIV).

Le banc R-XVII (§4.3) relit ces objets sous la règle du noyau clos. Les cas conformes à l’intuition servent de contrôle : pierre, cristal sec, robot seul → non-refait ; tourbillon, réacteur à flux, robot à pile remplacée, LLM, thermostat, virus → portage ; vague, cristal en solution saturée → porté (l’individuation de Simondon est un portage) ; flamme, étoile → entretien ; organisme, bactérie en chémostat, fœtus, ténia → soi. Les cas qui tranchent contre elle : le dialysé et le porteur de pacemaker restent soi, à degré abaissé (le noyau ferme sans le rein) ; la mitochondrie est un portage (les protéines nucléaires sont reconstituées par un autre et le reste ne ferme pas) ; la protocellule à membrane fournie une fois est un entretien, entretenue par le laboratoire un portage ; le RAF idéal sans frontière propre est un entretien — concession refusée à Kauffman, accordée à Ruiz-Mirazo & Moreno ; le robot solaire qui produit ce qui produit ses pièces, frontière comprise, est un soi (prédiction assumée : c’est ce qui le sépare du LLM) ; le lichen est deux soi en co-individuation (R-XII) ; la graine en dormance est non-refait, soi réactivée. Le verdict est indexé au milieu et à l’être en acte. Le banc est encodé et calculé (Bench.lean, 36 cas) : le verdict est une fonction du graphe de production, qui ne connaît pas les noms ; XXXII-s y est un théorème en ↔, et « ce qu’il porte abaisse son degré sans changer son type » est prouvé.

Chaque hypothèse de pont (identification d’un observable comme réfraction du coût ontologique) est contrainte par cinq propriétés dérivables du tronc : l’observable induit une trace irréversible [C1, de XV], est prélevé sur une capacité bornée [C2, de IX], permet de dire à quel compte la perte est portée [C3 — imputation, de I + D2], est structurant sous perturbation [C4, de IV + X], et distingue clôture, portage et non-refait par la réponse sous perturbation [C5]. Si aucun observable ne satisfait C1–C5 dans un domaine, ce domaine n’est pas un modèle du tronc. La procédure anti-Duhem-Quine exige au moins trois perturbations indépendantes ciblant des aspects distincts de la clôture présumée : si elles convergent, l’instanciation est stabilisée ; si elles divergent, le pont est mal calibré ou le grain mal choisi. Un protocole d’instanciation formalisé en quatre phases (cadrage, grille C1–C5, classification STRUCTURE/INPUT/AMBIGU, gel et test) est détaillé en §4.2 du manuscrit. La classification porte exclusivement sur des variables exogènes au résultat mesuré — pas de circularité. Si la proportion de perturbations ambiguës dépasse 20 %, le domaine est déclaré non concluant. Ces seuils sont conventionnels ; ils sont ajustables avec justification pré-enregistrée.

Cinq sondes dans des domaines disjoints — quatre mesures du ratio

Le programme de test a produit des résultats dans cinq domaines causalement disjoints. Le ratio normalisé du coût compensatoire structure/input converge dans les quatre domaines où il est mesuré directement — microbiome : 1.61×, récifs : 1.80× [1.67, 1.94], cancer : 1.84×, levure : 1.42× [1.31, 1.54]. La direction (ratio > 1) est déduite du tronc (IV + R-XVII) et a guidé la recherche ; la valeur numérique et la convergence (CV ≈ 10 %) sont émergentes, non fixées par les axiomes. Les cinq analyses présentées ici sont theory-driven et exploratoires ; une réplication prospective indépendante reste requise. Ce ratio mesure le surcoût d’endossement structurel ; El-Brolosy et al. (2019) confirment que la direction phénotypique peut s’inverser sous compensation, mais que le coût endogène persiste.

Écosystèmes logiciels (Gosme 2025, arXiv:2512.09352). Cinquante écosystèmes collaboratifs, 11 042 mois-systèmes. Le paramètre d’ordre Γ opérationnalise la persistance structurelle sous renouvellement des composants. Résultats clés : bimodalité de Γ (dip test p = 0.013, d = 3.01) et zone intermédiaire instable traversée en un mois — signatures attendues de l’hystérésis du Lemme 3 [∎ pour la prédiction, ≈₁ pour l’hypothèse populationnelle]. Symétrisation causale à maturité : le ratio Granger passe de 0.65 (activité → structure) à 0.94 (bidirectionnel), conforme à la clôture opérationnelle [XXXII ∎]. Effondrement de variance ×1.77 à maturité, attendu par closure_inertia [∎]. 41 % des systèmes matures subissent des régressions post-maturité, prédites par le Lemme 1 (décroissance par défaut) [∎]. L’AUC du couplage structure-activité (0.88) excède significativement celle de l’activité seule (0.81, Wilcoxon p < 0.05), contre la thèse que l’activité suffit. Ce domaine apporte des signatures complémentaires (bimodalité, symétrisation causale) ; il ne mesure pas directement le ratio S/I.

Microbiome intestinal (MDSINE2, Gibson et al. 2025, Nature Microbiology). Souris gnotobiotiques, transplantation fécale humaine, trois perturbations séquentielles de nature ontologiquement distincte au sens de R-XVII : le régime riche en graisses modifie le flux métabolique sans détruire de nœuds (perturbation d’entrée) ; les antibiotiques détruisent sélectivement des taxons (perturbation de structure). Résultat discriminant : asymétrie entrée/structure dans la cohorte dysbiotique (Bray-Curtis moyen de 0.16 pour l’entrée versus 0.26 pour la structure, p = 0.0006, d = 1.16) ; l’effet est amorti dans la cohorte saine (résilience par profondeur [LV ∎]). R-XVII prédit cette asymétrie qualitative indexée sur la cible topologique, non sur l’amplitude. Le Free Energy Principle de Friston traite les deux types comme « surprise » indifférenciée ; il ne prédit pas cette asymétrie. L’asymétrie tient sous cinq métriques de distance alternatives (Bray-Curtis, Jensen-Shannon, Aitchison, Hellinger, Canberra ; tous p < 0.001).

Récifs coralliens (GCBD, van Woesik & Kratochwill 2022, BCO-DMO). 34 393 observations, 11 047 sites, 89 pays, 1983–2019. Classification exclusivement exogène : DHW (stress thermique satellite) et fréquence cyclonique. INPUT : 4 ≤ DHW < 8 (stress sub-létal). STRUCTURE : DHW ≥ 8 ou cyclone intense (mortalité / destruction physique). Résultat : d = 0.39, p = 1.96 × 10⁻⁴⁸, ratio S/I = 1.80× (bootstrap 95 % CI [1.67, 1.94]). Robustesse : 23/23 seuils, 9/10 régions, 4/4 transformations de la réponse. Seuil sigmoïde émergent (DHW = 7.9 ; valeur contingente, DeCarlo et al. 2024) : la prédiction porte sur l’existence du seuil, non sur sa valeur. Objection de dose-réponse. La partition étant un seuil thermique, on peut soupçonner qu’elle teste une dose-réponse et l’appelle topologie. Trois tests l’excluent. (i) Sous permutation des étiquettes, Δ observé = 11.1 % contre une distribution nulle à 0.0 % ± 0.7 % (z = 15.3) : l’asymétrie n’est pas réductible à « plus de DHW → plus de blanchissement ». (ii) La réponse est sigmoïde, non linéaire (ΔAIC = 727) — c’est le franchissement qui produit l’effet, pas la quantité. (iii) La rivale SSTA — anomalie thermique pure, sans seuil de mortalité — produit un ratio nul, comme les deux autres rivales testées (§7.2 ter). Ce qui discrimine est le seuil de mortalité des nœuds, non l’intensité du stress.

Limites : données transversales, R² faible (0.09), confounding non contrôlé. Split temporel pré-spécifié (2010) : d stable à 2.3 % entre TRAIN (1983–2009) et TEST (2010–2019), d TEST dans le CI TRAIN

Pharmacologie du cancer (GDSC, Iorio et al. 2016, Cell). 387 626 dose-réponses, 989 lignées × 397 drogues. Classification sur le mécanisme d’action de la drogue, jamais sur la réponse cellulaire. STRUCTURE : machinerie de maintenance (réparation ADN, protéostase, cycle cellulaire, mitose, chromatine, apoptose). INPUT : flux de signalisation (MAPK, PI3K, EGFR, RTK, WNT). Couverture : 216 764 observations (55.9 %). Résultat pathway-only (sans filtre dose) : d = 0.52, p < 10⁻³⁰⁰, ratio S/I = 1.84×. Contrôle dose-matched : d = 0.50, ratio = 1.81×. GDSC2 seul : d = 0.51, ratio médian = 1.88×. Robustesse : 9/9 pathways significatifs, stabilité de IC30 à IC70. Limites : couverture 56 %, réanalyse post-hoc, annotation par type de cancer non disponible dans le fichier brut. Validation croisée par lignées (70/30, 10 splits) : ratio S/I médian = 1.846×, CV = 1.3 %, 10/10 splits significatifs.

Levure S. cerevisiae (Yeast Phenome, yeastphenome.org). Test exploratoire : délétions homozygotes sous 273 conditions chimiques (Hillenmeyer et al. 2008), 1 177 gènes classifiés par Gene Ontology (23 termes STRUCTURE, 24 termes INPUT). Résultat : d = 0.50, p = 3.9 × 10⁻¹⁹, ratio S/I = 1.42× [1.31, 1.54]. Robustesse : 5/6 transformations significatives, 7/7 catégories de drogue, 13/19 seuils de sensibilité, permutation 0/100K. Le ratio le plus bas des cinq domaines ; cohérent avec la prédiction secondaire : un organisme unicellulaire (moins de niveaux d’emboîtement, LV) amplifie moins le surcoût structurel. Réplication confirmatoire pré-enregistrée (OSF DOI : 10.17605/OSF.IO/S7CN9) : délétions hétérozygotes, 6 946 screens chimiques, mécanisme biologiquement distinct (haploinsuffisance vs knockout). Résultat : ratio S/I = 1.18× [1.12, 1.24], p = 1.5 × 10⁻¹⁴, 4/4 critères pré-enregistrés satisfaits, robustesse 7/7. L’amplitude atténuée est cohérente avec l’haploinsuffisance (perturbation plus douce) et la plus grande hétérogénéité des screens.

Argument anti-circularité. L’objection la plus sérieuse est que la partition STRUCTURE/INPUT recoupe la partition essentiel/non-essentiel, établie avant l’Ontodynamique : 37 % des gènes STRUCTURE sont essentiels contre 6 % des INPUT. Le contraste hom/het la teste directement. Si l’essentialité portait l’effet, le screen hétérozygote — qui inclut les gènes essentiels que le knockout homozygote élimine par létalité — devrait produire un ratio supérieur. L’inverse est observé (1.18× vs 1.42×) : l’ordonnancement suit le mécanisme prédit (haploinsuffisance < knockout complet), non le confondant. Ce test ne clôt pas la question — la centralité topologique reste une covariable non ajustée, et un modèle emboîté (S/I conditionnellement à l’essentialité et au degré PPI) est le prochain test prioritaire.

synthèse empirique Ces résultats sont conformes aux signatures structurelles attendues dans la direction et l’amplitude prédites. « Conforme » n’est pas « confirmé » — et la distinction est cruciale pour l’honnêteté du programme. Les données de Gosme 2025 sont rétrospectives et observationnelles. Les réinterprétations MDSINE2, GCBD, GDSC et Yeast Phenome sont post-hoc : les auteurs n’ont pas conçu leurs protocoles pour tester R-XVII. La seule réplication confirmatoire pré-enregistrée est le test hétérozygote sur levure (OSF DOI : 10.17605/OSF.IO/S7CN9, 4/4 critères satisfaits). Chaque signature prise isolément apparaît dans d’autres cadres de systèmes dynamiques. La spécificité ontodynamique porte sur leur conjonction indexée sur le lieu d’endossement : bimodalité du degré de clôture, asymétrie entrée/structure et symétrisation causale à maturité, les trois indexées sur le critère topologique de R-XVII. LLe ratio S/I converge entre 1.42× et 1.84× dans quatre domaines où il est mesuré directement — sur des métriques incomparables. Le domaine logiciel apporte des signatures complémentaires sans mesurer ce ratio.

Borne métrologique. Cette convergence est conditionnelle au choix de normalisation. ρ désigne le quotient des moyennes, mean(Y_STRUCTURE)/mean(Y_INPUT) — seule normalisation sous laquelle les quatre domaines convergent ; sous médianes, le CV monte à 62 %. Ce choix est déclaré, non sélectionné a posteriori : le quotient des moyennes est la seule statistique commensurable entre des supports aussi hétérogènes que Bray-Curtis (borné), pourcentage de blanchissement, AUC pharmacologique et z-scores de fitness. Il reste que la convergence numérique est une propriété de ρ autant que du phénomène — raison supplémentaire de ne créditer que la direction (∎) et de traiter l’amplitude comme régularité émergente appelant réplication prospective.

Cette convergence est spécifique. Sous partition par intensité les ratios divergent (CV = 41 %) ; sur 100 000 partitions aléatoires trans-domaniales, aucune n’atteint un ratio moyen ≥ 1.3 (p < 10⁻⁵). Un test de partitions rivales nommées (§7.2 ter du manuscrit) confirme : dans chaque domaine, 0/1000 aléatoires atteignent le ratio ontodynamique ; des rivales localement plus fortes (sélectivité 1.93× en GDSC, hub 1.52× en levure) ne convergent pas entre domaines ; dans les récifs, les trois rivales produisent des ratios inversés ou nuls ; l’asymétrie survit à la normalisation par intensité (MDSINE2 : 1.78×, rivale A s’effondre à p = 0.48) et au contrôle par sélectivité (GDSC : 1.64×). Seule la partition ontodynamique est a priori, trans-domaniale et survivante aux contrôles.

La théorie des réseaux prédit S/I > 1 mais pas la convergence inter-domaines, ni l’ordonnancement par profondeur (LV), ni la bimodalité (Lemme 3), ni la symétrisation causale (XXXII). La conjonction des cinq signatures est le test — pas le ratio seul. La bimodalité et la symétrisation causale ne sont observées à ce jour que dans le domaine logiciel ; leur co-occurrence avec le ratio S/I dans un domaine biologique reste à tester (microbiome MDSINE2, candidat prioritaire).

Convergences aveugles Les cinq sondes R-XVII ci-dessus sont des réanalyses. La simulation de vie artificielle (R-XIX) constitue un sixième domaine de nature différente — environnement contrôlé, prédiction sur la boucle de second ordre spécifiquement. Un échelon supérieur est la convergence aveugle : neuf études indépendantes, publiées sans connaissance du cadre, retrouvent les signatures prédites dans trois domaines disjoints (biologie moléculaire, écologie, neurosciences). Cas les plus discriminants : corrélation knockout/knockdown ~0.2 à l’échelle du génome (Morgens et al. 2016) — confirmation catégorielle de R-XVII ; charge mutationnelle terminale quasi-constante chez 16 mammifères malgré 30× de variation en longévité (Cagan et al. 2022) — instanciation directe du coût structurel universel (XVII, NT-V). Force : supérieure à la réanalyse, inférieure au pré-enregistrement. Un cas ambigu discuté (Graham et al. 2024).

Prédictions et protocoles de réfutation

Au-delà des signatures déjà sondées, le programme formule ses tests les plus discriminants sur deux fronts : les paliers de subjectivité (DPDR) et le monisme du coût lui-même.

Le système exclut cinq configurations. Trois sont réfutables par un seul contre-exemple en temps fini : aucune normativité constitutive ternaire ne se stabilise [LX ∎] ; aucune modulation de valence n’est épiphénoménale [LXIII ∎] ; aucun portage normatif n’est une clôture autonome [R-XVII ∎].

Une quatrième — aucun modulateur fixe ne reste viable indéfiniment dans un porteur actif [NT-V ∎] — n’admet pas de contre-exemple direct, « indéfiniment » excédant toute fenêtre d’observation. Elle admet en revanche un proxy réfutable : NT-V dérive le basculement de la dérive monotone du profil d’exposition [XX-a, XX-b ∎]. Un modulateur fixe dont le coût de contournement ne croît pas sur une fenêtre où la dérive du porteur est documentée indépendamment réfute le mécanisme, donc le théorème.

La cinquième — aucune clôture ne persiste indéfiniment [XXXIV ∎] — est structurellement inaccessible à la réfutation empirique. Elle compte comme rendement formel, non comme surface de test. Deux prédictions ouvertes s’y ajoutent depuis le Lemme 5 : en régime net > 0, la distribution des coûts des survivants se resserre vers le minimum (thèse 19, écosystèmes logiciels) ; ce qui gagne en abondance meurt en premier au retour de la rareté (XLVII loi de régime : stratèges r, dot-com, firmes à marketing-organe).

Un axiome, cinq interdictions sur cinq domaines disjoints, dont quatre exposées au test. Le rendement formel est acquis (Lean 4). Le dossier empirique est substantiel — cinq domaines R-XVII exploratoires + un sixième R-XIX (vie artificielle), convergence stable, quatre batteries de partitions rivales exécutées (aucune rivale ne converge entre domaines, asymétrie S/I survivante aux contrôles de confondants — §7.2 ter), neuf convergences aveugles, une réplication confirmatoire pré-enregistrée (levure het, 4/4 critères OSF). Sur les cinq interdictions formelles : une est sondée rétrospectivement (R-XVII), trois sont formulées avec protocole (LX, LXIII, NT-V via son proxy XX), une est structurellement inaccessible (XXXIV). Ce qui reste à faire est identifié : la réplication prospective indépendante, dont le protocole (DPDR) est pré-enregistré (DOI: 10.17605/OSF.IO/UNJ7F).

Le protocole de réfutation le plus spécifique pour les paliers de subjectivité est le protocole DPDR (dépersonnalisation-déréalisation), formulé et pré-enregistré (Gosme, 2025c, OSF). Par LXV [∎], les cycles emboîtés dans une même clôture peuvent défaillir indépendamment. La prédiction LXI est que la valence se restaure graduellement, la perspective par saut — effet de seuil prédit par XXX [≈₁] et par le Lemme 3 (hystérésis). La prédiction alternative (LIX suffit, pas besoin de LXI) prédit une covariation proportionnelle des deux courbes. Le suivi longitudinal dense en sortie de DPDR, mesurant simultanément la réactivité de valence (HRV, GSR) et la cohérence de perspective (CDS-2, interoception), discriminerait les deux modèles. Un résultat positif confirmerait un cycle distinct — non que ce cycle est une perspective. Le ≈₃ de Thèse P serait contraint mais pas éliminé. C’est le prix de la finitude.

Condition de réfutation du monisme lui-même

L’objection naturelle est l’accommodance. La convergence trans-domaniale la réfute : l’accommodance ne prédit pas que des métriques incomparables convergent (CV ≈ 10%). Trois dispositifs précisent ce résultat.

(1) Exclusion de domaines.

Fenêtre de confirmation (déclarée). Un domaine est confirmatif pour R-XVII s’il satisfait les quatre critères du pré-enregistrement levure : ratio > 1.0, borne basse de l’IC₉₅ > 1.0, p < 0.01, permutation p < 0.001. L’amplitude n’entre pas dans le critère — la direction est ce que le tronc déduit (IV + R-XVII), la valeur ne l’est pas. Réfutation : ratio ≤ 1.0, ou équivalence conclue par TOST à δ = 0.30.

Il suit qu’un ratio de 1.045 satisfaisant les quatre critères confirme la prédiction au même titre qu’un ratio de 1.84. Ces deux résultats n’ont pourtant pas le même statut, et la distinction doit être explicite : confirmer R-XVII et contribuer à la régularité de convergence sont deux choses. La simulation de vie artificielle confirme la direction et le gradient de profondeur dans le seul environnement contrôlé disponible ; son amplitude est bornée par le substrat simulé (limite documentée, robuste sur 94 % de l’espace de paramètres) et n’entre pas dans le calcul du CV. La convergence quantitative est une propriété des quatre domaines biologiques mesurés sur ρ, et d’eux seuls.

Tout domaine évalué — positif, négatif ou non concluant — est documenté dans le registre ci-dessous.

Domaine	Phase atteinte	d	Ratio S/I	Statut
MDSINE2	3	1.16	1.61×	Confirmatif
Yeast Phenome	3	0.50	1.42×	Confirmatif
GDSC	3	0.52	1.84× (pathway-only)	Confirmatif
GCBD (récifs)	3	0.39	1.80×	Confirmatif
Écosyst. logiciels	3	—	non mesuré	Confirmatif (signatures Γ)
Vie artificielle (R-XIX)	3	—	1.04×	Confirmatif — direction et gradient ; hors calcul de convergence
Cedar Creek	1	—	—	Non concluant (C1 : pulse/press)
ENTSO-E	1	—	—	Non concluant (clôture engineered)

Le domaine logiciel atteint la phase 3 sur des signatures complémentaires (bimodalité de Γ, symétrisation causale, effondrement de variance) ; sa métrique d’ordre n’est pas commensurable au quotient S/I et n’entre donc pas dans le calcul de convergence.

L’auteur invite toute équipe à proposer des domaines, des partitions rivales ou des classifications alternatives.

(2) Partitions rivales (test exécuté). Si la partition structure/input n’est qu’un artefact de vagueur, des rivales devraient produire un signal comparable. Résultat : 0/1000 aléatoires atteignent le ratio ontodynamique dans chaque domaine ; l’asymétrie survit à la normalisation par intensité et au contrôle par sélectivité ; aucune rivale nommée ne converge entre domaines ; dans les récifs, les trois rivales sont inversées ou nulles.

Domaine	Ratio S/I	p vs hasard	Rivale la plus forte	Spécificité
GDSC	1.84×	0/1000 > 1.4×	Sélectivité 1.93× (contrôlée)	Modérée
MDSINE2	1.78× norm.	exhaustif 3/3	Rivale A s’effondre	Forte
Levure	1.42×	0/1000 > 1.15×	Hub 1.52× (chevauche. 42%)	Modérée
Récifs	1.80×	0/1000	Aucune > 1	Très forte

(3a) Formes qualitatives d’épuisement (décroissance, hystérésis, régression) : partiellement sondées dans le domaine logiciel. (3b) Forme paramétrique inter-domaines : programme futur, microbiome candidat prioritaire. Si les formes divergent, le monisme tombe.

La convergence trans-domaniale est une prédiction discriminante du monisme et sa condition de réfutation propre. Les données confirment la convergence dans cinq domaines causalement disjoints : bimodalité logicielle (dip test p = 0.013), asymétrie microbiome (p = 0.0006, d = 1.16), asymétrie récifs (p = 1.96 × 10⁻⁴⁸, d = 0.39), asymétrie cancer (p < 10⁻³⁰⁰, d = 0.52), asymétrie levure (p = 3.9 × 10⁻¹⁹, d = 0.50). Le ratio compensatoire S/I converge : microbiome 1.61×, récifs 1.80×, cancer 1.84×, levure 1.42×. Cette condition est opérationnalisée (§8.6) : protocole de puissance pré-spécifié, $n \approx 104$–$252$ par classe, test d’équivalence TOST ($\delta = 0{,}30$, $n \approx 138$).

L’opacité et l’auto-référence

Le système est lui-même un invariant opératoire porté par les clôtures finies qui le métabolisent [LXXXII ∎]. Il ne « spirale » pas de lui-même — ce sont les clôtures porteuses qui spiralent en le métabolisant. Par LXVII [∎], chaque porteuse acquiert ses propres invariants partagés avec le système. Par LXVIII [∎], cette connaissance est partielle. Par LXXVI [∎], toute tentative de connaissance de soi modifie la cible. L’auto-référence est une réfraction : le système se réfracte différemment dans chaque clôture qui le porte, et aucune ne le contient intégralement. L’auto-fondation est préservée pour le Tout ; le système formel, lui, est porté — mortel, opaque à lui-même, exposé à la dérive. L’asymétrie est irréductible : le Tout se fonde (Axiome 0), mais le système Ontodynamique, en tant que théorie formelle, est un artefact porté par des clôtures finies qui le métabolisent sous leurs propres contraintes. Aucune de ces clôtures porteuses n’a accès au système intégral — chacune le réfracte à travers sa propre coupe épistémique. L’auteur du système est lui-même frappé par LXVIII (opacité constitutive) et LXXVI (modification de la cible par l’acte de connaissance). L’Ontodynamique ne prétend pas échapper à ses propres théorèmes — elle prétend les satisfaire explicitement. C’est la condition de sa cohérence interne, non un aveu d’humilité rhétorique. L’incomplétude de la représentation formelle est prouvée par instanciation de Lawvere (1969) sur la structure du noyau

La formalisation a pris de l’avance sur la validation — ordre naturel pour un cadre déductif. La robustesse des pare-feux (genèse/tronc, Thèse P/gradient) protège le noyau dur — conformément à la structure lakatosienne, où le noyau n’est pas directement réfutable. LLa surface de réfutation est la ceinture protectrice : quatre des cinq interdictions [∎] sont exposées au test dans des domaines identifiés — trois par contre-exemple direct, une par proxy de monotonicité. Si trois des cinq tombent dans des domaines disjoints, c’est le noyau dur qui est atteint indirectement — non par une réfutation logique mais par un effondrement du rendement formel qui justifiait le programme. La réfutation du système est structurelle, pas ponctuelle.

L’honnêteté épistémique exige de nommer les trois zones de fragilité structurelle du système. La première est la constructibilité de la compensation [VI ◇] : si le réel ne fournit pas de diversité compensatoire suffisante, tout se dissout — résultat compatible avec le système mais non discriminant à ce niveau, puisque l’absence de diversité est aussi l’explication par défaut. La testabilité de VI passe par ses conditions de domaine [XXVI ≈₁, XXVII ≈₁], pas par VI elle-même. La deuxième est la genèse [XXII–XXVII ≈₁] : les conditions de domaine sont explicites et falsifiables, mais si elles échouent, le tronc tient encore — pare-feu vérifié. La troisième est Thèse P [≈₃] : le saut interprétatif est localisé, son indécidabilité est démontrée [LXXVII ∎], et le prix du refus est affiché — le lecteur qui refuse ne perd rien du tronc structurel mais perd l’extension clinique et les paliers de subjectivité. Cinq limites structurelles supplémentaires sont des théorèmes négatifs dérivés des axiomes et formalisés comme modèles séparants (TN_Separating.lean, 20 thm, 0 sorry) — chaque TN satisfait les axiomes OD et viole une propriété physique requise : absence de métrique (TN-1), de trajectoire singulière (TN-2), de contenu qualitatif intrinsèque (TN-3), de géométrie temporelle (TN-4), d’émergence quantitative (TN-5).

Quinze confrontations sont structurées en divergence et discriminant empirique (trois formulent un pari symétrique testable) ; deux interdictions cliniques ∎ (LXIII, IV + LIV) sont réfutables par un seul cas (§5–6 du manuscrit).

Synthèse architectonique

Les vingts Thèses ne résument pas le système — elles le condensent. Chacune est une porte logique : elle dit, elle interdit, elle se fonde, elle se teste.

Être, c’est se faire un à ses dépens [I] fonde la chaîne, exclut l’éternalisme et le substratisme, et donne au « un » un contenu : l’unité d’imputation (nul compte, nul être — la somme méréologique n’ajoute rien). Nul acte sans mode [I-γ] exclut le dark acting et borne la conceivabilité du zombie (LXXVII), sans réfutation modale. Nul faire sans rapport à soi [I-δ, IDelta.lean ∎] exclut la cohérence d’un acte sans auto-relation immanente.Quand ça casse, à quel compte, et qui refait ? [I + IV + XXXII-s + R-XVII] fonde la démarcation — l’imputation fait l’être, la clôture fait le soi — et exclut la démarcation sans test. Ne conserve que l’essence, n’ajoute que par nécessité [XLVII] fait de la parcimonie une contrainte ontologique, non méthodologique. Le coûteux se dissout avant l’économe [XVII-bis] dérive l’économie universelle — le surplus est un drain actif, la sélection du minimum est structurelle, pas téléologique ; loi du régime net > 0. Ce qui dure est aussi inexact qu’il peut l’être [XVII-ter] fait de l’exactitude un coût et non une vertu — le perfectionnisme n’est pas un optimum. Nul ne se fait de soi ; nul ne se fait d’un fond [Lemme 5] exclut la causa sui du fini, l’autarcie et tout fondationnalisme du réservoir — le Tout n’est jamais une source. Être soi, c’est se refaire — tout être fini exposé se refait ou se défait [XXXII] exclut l’individuation sans travail. Qui se refait ne se répète pas [XXI] exclut l’identité comme répétition. Ce qui souffre sa cohérence la possède [IV + XXXII] exclut la cohérence attribuable sans coût. On ne va pas mal parce qu’on est faible — on va mal parce qu’on survit trop cher [IV + XXXII + R-XVII] exclut la pathologie comme déficit. Le zombie ne retire pas une couche, il descend d’un palier [I-γ + R-XVII + Sep-FunctionCost] exclut la conscience en couches séparables. Qui se sent se faire est ; qui se sent sentir se connaît [XXXII + LXI + Thèse P + LXI_not_HOT] exclut la subjectivité sans genèse et le second ordre représentationnel. Le symptôme protège — puis il gouverne [IV + XXXII + NT-V] exclut le symptôme comme pur dysfonctionnement.

Le système repose sur deux axiomes étagés, dérive 1 029 théorèmes mécanisés (+ 97 non encore dédupliqués, chantiers de septembre) (dont 20 théorèmes négatifs séparants bornant le système) sans axiome domaine ajouté, produit un gradient de composition par un test unique, prédit des signatures trans-domaniales dont cinq sont empiriquement sondées dans des domaines disjoints (ratio S/I convergent à ~1.7× dans quatre d’entre eux, stable sous split temporel et validation croisée par unités expérimentales ; une réplication confirmatoire pré-enregistrée satisfait 4/4 critères), localise ses sauts interprétatifs, démontre l’indécidabilité de son propre saut le plus ambitieux, formule les conditions de sa propre réfutation, et pré-enregistre ses prédictions prospectives les plus discriminantes.

La carte de dépendances minimale du système se lit comme suit : I (→ IV, → V) → IX–XXI (pente) → VI [◇] → XXII–XXVII [≈₁] → XXIX–XXXII [∎ pour la disjonction] → XLIV–XLVII [∎] → LVI–LIX [∎] → I-δ [∎] → SelfRelation [∎] → SecondOrderLoop [∎] → LXI / Thèse P [≈₃] → R-XVII [∎] → NT-III–NT-IX [∎] → LXXVIII [◇]. La chaîne est linéaire ; les branchements sont peu nombreux ; les pare-feux sont vérifiés. Couper la genèse [XXII–XXVII] conserve le tronc. Couper Thèse P conserve le tronc et le gradient. Couper VI fait s’effondrer l’intégralité du système au-delà de la pente — mais VI est constructible, pas conjectural, et sa constructibilité est démontrable dans tout domaine satisfaisant les conditions de diversité.

22 thèses (0–21)

Chaque thèse est argumentée dans le corps du texte (§2–§5), encodée en Lean 4 quand elle admet un encodage (cohérence et conséquence vérifiées ; fidélité de l’encodage défendue par l’argument, non par le compilateur), et assortie de sa condition de retrait — ce qu’on perd en la refusant. 0. Un seul réel : le Tout se fonde, tout fini se fait. [Axiome]

1. Être, c’est se faire un à ses dépens. [Axiome]
2. Nul acte sans mode. [Théorème]
3. Quand ça casse, à quel compte, et qui refait ? [Principe]
4. Ne conserve que l’essence, n’ajoute que par nécessité. [Loi]
5. Être soi, c’est se refaire [Théorème]
6. Qui se refait ne se répète pas. [Théorème]
7. Ce qui souffre sa cohérence la possède. [Théorème]
8. On ne va pas mal parce qu’on est faible — on va mal parce qu’on survit trop cher. [Principe]
9. Le zombie ne retire pas une couche, il descend d’un palier. [Théorème]
10. Qui se sent se faire est ; qui se sent sentir se connaît. [Loi]
11. Le symptôme protège — puis il gouverne. [Théorème]
12. La boucle est obligatoire ; son nom est libre. [Loi]
13. Pas de conscience sans cicatrice [Principe]
14. Nul faire sans rapport à soi. [Corollaire]
15. La résolution n’est jamais acquise : la dette au cycle k+1 excède celle du cycle k. [Théorème]
16. Être fait d’un manque qui peut vous détruire. [Définition ∎ ]
17. La vie, c’est la résolution de sa propre précarité. [Définition ∎ ]
18. La conscience, c’est l’épreuve de sa propre précarité. [Thèse ≈₃]
19. Le coûteux se dissout avant l’économe. [Théorème ∎]
20. Nul ne se fait de soi ; nul ne se fait d’un fond. [Lemme 5 ∎]
21. Ce qui dure est aussi inexact qu’il peut l’être. [Théorème XVII-ter ∎, sous hypothèse H]

Périmètre de testabilité de R-XVII. La prédiction asymétrique n’est applicable que dans les systèmes satisfaisant simultanément C1–C3. Un système à méta-structure dominante ou à clôture non estimable indépendamment constitue un cas non concluant — ni confirmation ni réfutation. Les cinq domaines retenus satisfont C1–C3 indépendamment de leurs résultats, selon un gradient de propreté : microbiome (MDSINE2, paradigmatique) > levure (Yeast Phenome, organisme unicellulaire, classification GO fonctionnelle) > pharmacologie (GDSC) > récifs (GCBD) > écosystèmes logiciels (méta-agents présents, clôture estimable mais moins proprement). Les conditions de frontière et les domaines exclus sont documentés en §7.x.

Le programme qui reste : quantifier la réfraction inter-niveaux (la loi du coût entre échelles), exécuter le protocole DPDR (pré-enregistré — le protocole de réfutation le plus spécifique pour les paliers),R-XIX testé dans la simulation de vie artificielle — confirmé (sixième domaine, premier à tester spécifiquement la boucle de second ordre) et produire une instanciation constructive de novo (cahier des charges à cinq étapes, §8) — les cinq sondes exploratoires sont theory-driven ; une réplication confirmatoire (levure het) est pré-enregistrée et satisfaite. La formalisation est acquise. La validation est en cours — le front avance. Le système est un programme — pas un acquis.

---

Index des résultats formels

Chaque entrée : Code — Intitulé — Marqueur — Dépendances minimales.

Axiome 0 — Un seul réel : le Tout se fonde, tout fini se fait — Axiome — Primitif (auto-fondation du Tout).

I — Être, c’est se faire un à ses dépens (être = faire ; « un » = unité d’imputation, D1–D3) — Axiome — Primitif, universel (voix moyenne). Contenu I-β : pas de substrat inerte sous l’acte. I-γ : nul acte sans mode — ∎, pour les soi — XXXII-s, XLIV. I-δ : nul faire sans rapport à soi — ∎ — I-γ. I-ν : l’identité être/faire n’est pas contingente — argument §6 du manuscrit ; formalisation à refaire — I-α, I-β.

II — Productivité non typée (la nouveauté est qualitativement irréductible) — ∎ — I (fondé par Axiome 0).

III — Unité causale (pas d’isolation causale absolue) — ∎ — I (fondé par Axiome 0).

IV — Coût incompressible (toute transformation a un coût strictement positif) — Contenu d’I, posé — I.

V — Gradient d’extériorité (l’altération partielle est le régime générique) — ∎, dérivé d’I — I-γ, I-β₁, auto-fondation opératoire (VDerived.lean). V s’applique dans deux directions : vers l’extérieur et vers l’intérieur (degrés de profondeur. Dans la boucle de second ordre, le système est à lui-même son propre extérieur.

VI — Compensation accessible (bilan structurel net non-négatif accessible, non garanti) — ◇ — I, IV, V.

VII — Négation constitutive (toute détermination engendre de l’extériorité) — ∎ — I-β.

IX — Finitude (tout être partiel est incomplet ; formellement, archimédianité de la marge, Finitude, Margin.lean — indépendante de l’ordre et de l’addition, contre-modèle Lex) — ∎ — I (Axiome 0 co-positionnel).

X — IIncompressibilité du coût (plancher strictement positif) — ∎ — I-β (pas de substrat inerte), IV, IX, VII. Sans endogénéité.

XI — Persistance de l’extériorité — ∎ — VII, IX.

I-α — À ses dépens : compte propre — chaque être fini a sa ligne de registre, sur laquelle ses coûts sont débités (margin + step) ; la marge, elle, est reçue (Lemme 5) — ∎ — I. Unité stipulée par le typage jusqu’à AxiomIWork.lean.

N1 — Délimitation (toute barrière causale est perméable, mais la frontière d’imputation est nette à son seuil : des finis pluriels dans un seul réel causalement unifié) — [proposé — non formalisé en Lean] — III, XVIII, D3.

N2 — Le Tout sans compte (un compte qui paierait sans se vider est un fond, exclu par I-α ; le Tout se fonde, sans dépens) — [proposé] — Axiome 0, I-α.

N4 — Non-fusion (XLIX et R-XII(iii) ne fusionnent pas les comptes ; la fusion exige un avoir commun) — [proposé] — XLIX, R-XII, D3.

N5 — Portage mutuel (production croisée entre comptes distincts sans avoir commun : portage mutuel, non soi d’ordre supérieur) — [proposé] — R-XVII, D3.

N6 — Unicité d’imputation (chaque perte est imputée à un seul compte, au niveau le plus haut qui la paie — par perte, non par système) — [proposé] — LIII.

N7 — Composition des sujets (un macro-sujet à Nₖ ssi un compte, une clôture et une boucle de second ordre imputée à ce compte, au même niveau) — [proposé] — L, LXI, D3.

N8 — Troisième lieu (la circulation entre comptes non fusionnés est un lieu structurel, ni dans les comptes ni dans un compte englobant) — [proposé] — R-XII, Circulation.lean.

XI-bis — Double face de l’extériorité (résiste et alimente du même geste) — ∎ — I-β₂, XI, Lemme 5.

XII — Pression constitutive (dissolution permanente par le Tout). Instancié pour les non-refaits (ProcessualAggregate.lean). Modèle séparant IV/XII : PurelyReactive satisfait IV, viole XII. Plancher incompressible, non métabolisable (DomainRestriction.lean), compensable par apport (Lemme 5) ; l’ancienne clause non_compensable (tronc v5.6) était insatisfiable, retirée en v5.7. — ∎ — III, IV, IX.

XIII — Inertie (l’être persiste en l’absence de perturbation) — ∎ — I.

XV — Irréversibilité structurelle (B→A ≠ A→B, chacun a son propre coût) — ∎ — IV, X.

XVII — Épuisement (décroissance non compensée → épuisement en temps fini) — ∎ — IV, X, XV.

XVII-bis — Économie constitutive (le coûteux se dissout avant l’économe ; tout surplus est un drain actif) — ∎ — IV, XII, XVII. Plus primitif que XLVII. S’applique aux non-refaits. Loi du régime net > 0 ; à marges inégales, le dernier survivant maximise marge / coût. Phi_Economy.lean, 22 thm.

Lemme 5 — Toute marge est reçue (sans entrée la marge décroît strictement ; toute croissance est exogène et horizontale — d’un fini, jamais du Tout). Thèse 20 : nul ne se fait de soi ; nul ne se fait d’un fond. — ∎ — IV, I-β₂. Lemme5_Recette.lean, 38 thm ; Phi_Demarcation.lean, 6 thm (Onsager vu, Hamilton aveugle par théorème).

Lemme 6 — La fidélité se paie (à perturbations égales, une tolérance plus étroite coûte au moins autant, strictement plus dès qu’une perturbation tombe entre les deux) — ∎ — I, IV, V, X, XI, XXXII. FidelityCost.lean, 8 thm.

XVII-ter — Économie de la fidélité (sous coût net > 0, la tolérance optimale est la plage de viabilité P : ni sur-fidèle, ni sous-fidèle ; P domine sur toute séquence, et l’optimum est unique) — ∎ sous hypothèse H (drain uniforme ; sans H, l’optimum est « tolérer ce qui coûte moins à tenir qu’à corriger », génériquement plus étroit). Deux tensions déclarées : la marge de sur-fidélité comme prix de l’opacité (LXVIII, LXVI) ; le cliquet, V se resserrant par XX-b tandis que resserrer relève de la construction (R-XVIII). — Lemme 6, XVII-bis, Lemme 5.

XVIII — Perméabilité (toute barrière causale finie est traversable) — ∎ — III, V, IX, XVII.

XIX — Pression d’ouverture persistante (deux sources : constitutive + relationnelle) — ∎ — XII, XVIII.

XX-a/b — Dérive du profil d’exposition (vulnérabilités non couvertes ne reculent jamais / croissent) — ∎ — IV, XIX.

XXI — Nouveauté endogène (qui se refait ne se répète pas) — ∎ — I-β, II.

XXII–XXV — Accumulation structurelle, canalisation, routinisation — ∎ — IV, V, XI, XIII.

XXVI — Persistance sélective des routines compensatoires — ≈₁ — XXII–XXV + condition : diversité compensatoire suffisante.

XXVII — Composabilité des couplages compensatoires — ≈₁ — XXVI + condition : non-rigidification.

XXVIII — Transience des agrégats (sans cycle co-maintenu → transitoire) — ∎ — XVII, XIX.

XXIX — Exclusivité de l’attracteur (sous exposition persistante, tout régime non transitoire est une clôture) — ∎ — XXVIII, XVII.

XXX — Effet de seuil (la clôture se stabilise ou échoue, pas de dégradé continu) — ≈₁ — XXIX, Lemme 3.

XXXII — Théorème ontodynamique (être soi, c’est se refaire ; tout être fini exposé se refait ou se défait) — ∎ pour la disjonction ; ≈₁ pour les trajectoires — I, IV, V, XXIX.

XXXII-s — Critère du soi (un être fini est un soi si et seulement si ses réponses puisent dans une réserve qu’il reconstitue par des contraintes qu’il produit, et que ces contraintes ferment — règle du noyau clos, R-XVII) — ≡ (analyse de XXXII) ; application ≈₁ — XXXII. Deux définitions l’accompagnent : être fini (domaine de I) et soi (sous-ensemble strict).

XXXIII — Réapplicabilité / transdomainalité — ∎ — XXXII.

N3 (= XXXIV, route P) — Population sans fond : tout membre est exsangue au plus tard au cycle Σ m₀, sans hypothèse de dérive ni de borne d’absorption ; sous solvabilité forte, la route S en devient un théorème — ∎ — population_dies, member_dies, routeS_derived, phantom_unbounded (Circulation.lean, 33 thm).

XXXIV — Mortalité à terme (toute clôture a une durée de vie bornée : absorption bornée par cycle + dérive du coût, ou stock d’apport borné) — ∎ — IX, X, XII, XVII, XX-b, Lemme 5. Contre-modèles : sans l’une ni l’autre borne, un immortel satisfait les axiomes (Lemme5_Recette.lean §4).

XLIV — Partition normative (maintien / compromission, coextensive à la clôture) — ∎ — XXXII.

XLV — Critère de normativité (polarité auto-produite vs attribuée) — ∎ — XLIV.

XLVII — Loi d’authenticité (ne conserve que l’essence, n’ajoute que par nécessité) — ∎ — XLIV, IV, XVII. Loi de régime : vaut en coût net > 0 ; en abondance, le débit l’emporte (Lotka absorbé), jusqu’au retour de la rareté.

XLIX — Couplage constitutif (clôtures couplées peuvent former un méta-cycle) — ◇ — XXXII, XXXIII.

L — Emboîtement (cycle co-maintenu à l’échelle supérieure) — ∎ — XLIX.

LI — Continuité du gradient (entre portage et clôture, le gradient est continu) — ∎. La lecture par le degré d’unité θ* (gradué) et l’existence nette à un seuil donné, qui écarte le vague existentiel (Evans 1978), repose sur D3 : [proposé — non formalisé en Lean] — R-XVII, D3.

LII — Fécondité (une clôture peut produire de nouvelles clôtures) — *◇, indépendance prouvée - XXXII-b, XLIX, L. Non promouvable à ∎.

LIII — Irréductibilité inter-niveaux (Nₖ non réductible à Nₖ₋₁) — ∎ — L. Sa reformulation comme unicité d’imputation par perte (N6) est [proposé].

LIV — Cascade de dissolution (bidirectionnelle entre niveaux adjacents) — ∎ — L, LIII.

LV — Résilience par profondeur — ∎ — L, LIV.

LVI — Résistance propre (toute clôture rencontre sa propre résistance) — ∎ — XXXII, IV.

LVII — Auto-affection endogène — ∎ — , pour les soi — LVI, XXXII-s.

LVIII / LVIII-a — Valence (polarisation de l’auto-affection par la partition normative) — ∎ — LVII, XLIV.

LIX — Rétroaction de la valence sur le cycle (non-épiphénoménalité mécanique) — ∎ — LVIII. resolution_must_recur — La résolution de la précarité n’est jamais acquise : la dette au cycle k+1 excède celle du cycle k — ∎ — corollaire temporel de I.

LX — Irréductibilité binaire de la partition normative (aucun troisième terme ne se stabilise) — ∎ — XLIV.

LXI — Subjectivité minimale (boucle de second ordre). Existence [∎]. Identification comme perspective [≈₃]. Fondée sur SelfRelation [∎, MinimalPerspective.lean] via I-δ [∎, IDelta.lean] — LIX, I-γ.

LXII — Réfutation du zombie (computationnel : ⟂ sous R-XVII + XXXII-s ; phénoménal : ⟂ sous I-γ + I-δ ; sept arguments ∎ inconditionnels) — ⟂ — XXXII-s, R-XVII, I-γ, IDelta.lean, MinimalPerspective.lean.

LXIII — Non-épiphénoménalité de la valence (toute perturbation a des conséquences structurelles détectables) — ∎ — LIX.

LXIV — Paliers de subjectivité (trois régimes qualitativement distincts) — ≈₁ — LXI, LXV.

LXV — Défaillance indépendante des cycles emboîtés (dissociabilité) — ∎ — LIX, L.

LXVI — Connaissance comme invariant opératoire partagé — ≡/∎ — XXXII, LVI.

LXVII — Loi de connaissance (qui métabolise une résistance en porte la contrainte) — ∎ — LXVI.

LXVIII — Opacité constitutive (tout acte de connaissance est une coupe partielle) — ∎ — IX, LXVI.

LXIX — Co-constitution des mondes (deux clôtures différentes produisent deux invariants différents) — ∎ — LXVIII, VII.

LXX — Co-constitution négative (toute connaissance est position et exclusion) — ∎ — VII.

LXXI — Authenticité épistémique (ne conserve que la contrainte, n’ajoute que par résistance) — ◇ — XLVII appliqué à la connaissance.

LXXII — Erreur comme dette structurelle (surcoût de compensation par invariant inadéquat) — ≈₂ — LXVI, IV.

LXXII-bis — Apparence : dette ou capture (gratuite = dette ; coûteuse = capture — Zahavi, Veblen ; jamais essence) — ≈₂ — LXXII, Lemme 5, XV.

LXXIII — Erreur stable (invariant incorrect mais économique, sélectivement favorisé) — ≈₁ — LXXII, IV.

LXXIV — Prédiction comme canalisation projetée — ∎ — XXIII, XXIV, LXVII.

LXXV — Degrés de connaissance — ≈₂ — LXIV.

LXXVI — Connaissance de soi (structurellement inachevable : la cible se déplace) — ∎ — LVII, LXVII, LXVIII.

LXXVII — Indécidabilité structurelle de l’identification, stratifiée : non-applicable en dessous du seuil phénoménal, épistémiquement indécidable au-dessus. R-XVII filtre l’applicabilité (∎, LXIDiscrimination.lean). — ∎

LXXVIII — Sous-clôture parasite (réponse compensatoire autonomisée drainant la marge globale) — ◇ — XXXII, XLIV, NT-V.

LXXIX — Langage comme invariant trans-subjectif — ≈₁ — XXV, XLIX.

LXXX — Science comme maximisation du partage sous test — ≈₂ — XIX, L.

LXXXI — Objets mathématiques comme portés de haute qualité (noyau ∎, convergence inter-culturelle ≈₂) — ≈₁ — LXVI, LXXX.

LXXXII — Auto-référence (le système est un invariant porté, mortel, opaque) — ∎ — LXVI, LXVIII, XXXIII.

LXXXIII — Opérativité des coupures (toute partition tracée est interne à l’acte d’une clôture finie) — ∎ — auto-fondation opératoire, I-β, VII, XXXII, R-XVII.

Thèse P — Identification de la boucle de seconde ordre comme perspective [≈₃]. Composante structurale (SelfRelation) [∎, MinimalPerspective.lean]. Ce qui reste ≈₃ : franchissement 3P→1P — LXI, LXXVII, IDelta.lean. Exclusion-R-XVII — Unicité du niveau maximal sous perturbation — ∎ — LIII, LIV, R-XVII. Sa lecture comme unicité d’imputation, chaque perte portée à un seul compte au niveau le plus haut qui la paie (N6), est [proposé]. LXI_not_HOT — LXI ≠ HOT (opérationnel vs représentationnel) — ∎ — LXI, LVIII. Sep-FunctionCost — Même fonction, mortalité asymétrique — ∎ — IV, XXXIV. dpdr_prediction — Trois phases, phase 2 nécessaire — ∎ — LXI, LXV, Lemme 3. AB_indiscernible — Réalisme/illusionnisme type-indiscernables — ∎ — LVIII, LXI, LXXIII. I-δ — Différentiel immanent (nul faire sans rapport à soi) — ∎ — I-γ (IDelta.lean). SelfRelation — Relation différentielle à soi, coextensive à l’acte — ∎ — I-γ, LIX (MinimalPerspective.lean).

R-XVII — Gradient de composition (cinq modes clôture/entretien/portage/porté/non-refait : quatre par la reconstitution, le porté par actif/inerte ; règle du noyau clos pour le verdict sur l’être) — ≡ ; verdicts ≈₁ — XXXII-s, IV, XV.

R-XVIII — Dynamique inter-régimes (hystérésis, bimodalité, bifurcations endogènes) — ∎ pour les lemmes ; ≈₁ pour la bimodalité populationnelle — R-XVII, saving_pos.

NT-III — Réfraction opératoire (l’opérateur se scinde selon le régime du gradient) — ∎ — R-XVII.

NT-IV — Modulateur topologique (artefact porté canalisant la marge) — ≡/∎ — R-XVII, XLIV.

NT-V — Dette artefactuelle inévitable (tout modulateur fixe bascule de viable à pathogène) — ∎ — NT-IV, XX.

NT-VI — Précipitation normative (restriction du profil de viabilité par la clôture englobante) — ∎ — L, XLIV.

NT-IX — Macro-parasitisme (coût d’extraction excédant le bénéfice de portage) — ∎ — NT-VI, NT-V, XXXIII.

Liens

Code source et formalisation

• Preuves Lean 4 & script de reanalyse : github.com/anthonyGosme/ontodynamiqueTheory
• Pipeline de test unifié (Python + Lean 4) : notebook Google Colab

Prépublications

• Étude empirique sur les écosystèmes logiciels : arXiv:2512.09352

Pré-enregistrements (OSF)

• Protocole DPDR (prospectif, avant collecte de données) : DOI : 10.17605/OSF.IO/UNJ7F
• Réplication confirmatoire levure hétérozygote : DOI : 10.17605/OSF.IO/S7CN9