À propos

Je suis Anthony Gosme, architecte IT et chercheur indépendant. L'Ontodynamique est un système formel construit sur deux axiomes indépendants, formalisé intégralement en Lean 4, et testé empiriquement dans quatre domaines causalement disjoints. Tout est ouvert, reproductible, et réfutable.

Le système en bref

Deux axiomes — être = faire (toute entité est un maintien en acte dont le coût est prélevé sur sa propre structure) et l'extériorité admet des degrés — suffisent à dériver finitude, irréversibilité, clôture opérationnelle, normativité constitutive et un gradient de composition qui classe tout système fini par un critère unique : qui paie le coût de l'irréversibilité sous perturbation ?

Ce gradient (R-XVII) produit une prédiction empirique : les perturbations ciblant la structure d'un système produisent un déplacement systématiquement plus grand que celles ciblant son entrée, à intensité comparable. Le ratio converge à ≈ 1,8× dans trois domaines biologiques disjoints.

Ce qui est fait

Formalisation : 504 théorèmes en Lean 4, zéro sorry, aucun axiome de domaine ajouté au-delà des axiomes logiques standards. L'indépendance des axiomes est prouvée par 10 modèles séparants. Chaque composante porte un travail déductif identifié et non redondant.

Validation empirique : la signature R-XVII a été testée dans quatre domaines — microbiome intestinal (MDSINE2), récifs coralliens (GCBD, 34 393 observations), pharmacologie du cancer (GDSC, 216 764 dose-réponses) et écosystèmes logiciels (50 projets, ~11 000 mois-systèmes). Les trois domaines biologiques convergent à un ratio structure/input de 1,61×–1,85× (CV = 7,2 %). Sur 100 000 partitions binaires aléatoires, aucune n'atteint un ratio moyen ≥ 1,3.

Pré-enregistrement : le protocole DPDR (dépersonnalisation-déréalisation) enregistre trois prédictions dérivées du tronc formel, avec critères de falsification et quatre théories rivales, avant toute collecte de données.

Ressources

Pourquoi un ingénieur fait de l'ontologie formelle

Mon parcours en architecture IT et en IA m'a confronté quotidiennement à une question : qu'est-ce qui fait qu'un système persiste en se transformant ? La dette technique, l'obsolescence des modulateurs, la résilience sous perturbation — ce sont des problèmes d'ingénierie qui sont aussi des problèmes ontologiques. L'Ontodynamique est née de cette convergence.

L'approche est celle de l'ingénieur : axiomes explicites, dérivation mécanique vérifiée par compilateur, prédictions quantifiées, protocoles de réfutation formulés. Le système ne demande pas à être cru — il demande à être testé. Les cinq interdictions centrales sont chacune réfutable par un seul contre-exemple empirique.

Ce qui reste à faire

La formalisation a pris de l'avance sur la validation — ordre naturel pour un cadre déductif. Le programme actif : exécuter le protocole DPDR (pré-enregistré, ouvert à toute équipe clinique), identifier une sonde prospective dans un cinquième domaine, quantifier la réfraction inter-niveaux du coût, et produire une instanciation constructive de novo. La formalisation est acquise. La validation est la dette. Le système est un programme — pas un acquis.