[EPIC] Thom — langage, agents transparents et singularités #15397

Intention

Relier trois chantiers déjà riches sans les homogénéiser artificiellement :

1. reconstruire un parcours TAL classique → moderne depuis le cours historique de 34 diapositives et les owners exécutables du dépôt ;
2. faire jouer des LLM hétérogènes dans des jeux, mécanismes et institutions transparents, puis confronter certains mécanismes relationnels à des témoins externes ;
3. reproduire et digérer openai/NavierStokesAndEuler selon la doctrine de census/import sélectif établie par research(lean): cartographier le dépôt Anthropic FLT pour CoursIA #14771, avant toute comparaison contrôlée avec Thom et les primitives entropiques Tao/PFR.

La thèse commune est méthodologique : partir d’objets exacts et de leurs owners, construire des interfaces mesurables, pré-enregistrer hypothèses et réfutations, puis accepter les résultats négatifs.

Colonne vertébrale Thom/ICT

La référence transversale de cet Epic est thom-synthese-distillation.md, synthèse C-documentaire de L’Esquisse d’une sémiophysique pour les strates ICT 6 et 7. Elle fournit l’ossature commune sans constituer un quatrième track ni une preuve expérimentale :

• les quatre objets saillance s / prégnance π / représentation q / workspace W ;
• la valence et la phrase nucléaire pour la circulation linguistique des prégnances ;
• genres, espèces, hypergenres et préprogrammes comme espaces de possibles ;
• le lacet de prédation, la privation/métastabilité et les singularités naissance/scission/confluence/disparition ;
• la section σ : |A| → Y, sa continuité homéomère, ses discontinuités anhoméomères et l’ensemble catastrophique K ;
• la frontière explicite entre cadre thomien établi et lecture candidate ICT à mesurer.

Les Tracks A, B et C partent de cette colonne vertébrale pour choisir leurs objets et leurs exclusions, puis passent par la matrice opérationnelle docs/ict/dissociations-matrix.md et des protocoles falsifiables avant toute promotion. La synthèse autorise un vocabulaire commun ; elle n’autorise aucune identité automatique entre langage, mécanisme, représentation interne ou PDE.

Discipline de preuve commune

Chaque pont porte un grade explicite :

• A — objet mathématique ou mécanisme établi ;
• C — correspondance candidate ;
• T — protocole pré-enregistré ;
• B — pont effectivement mesuré.

Aucun passage C→B sans expérience. Chaque claim nomme source primaire, objet exact, observable, modèle nul, contrôle négatif, seuil, verdict négatif possible et portée.

Interdits :

• catastrophe thomienne = loi linguistique ou PDE ;
• p̂ = prégnance par définition ;
• feature SAE = concept ; SAE = J-Lens ; accès global = phénoménalité ;
• simulation finie = théorème paramétrique de Löb ;
• utilité = désir ; sexualité = transaction ; non-dit = consentement ; amour = symétrie ;
• hyperbole = mensonge ; fallacy = tromperie ; saillance = manipulation ; achat = adhésion ;
• τ = Lyapunov physique sans dérivation ; distance de Ruzsa hors groupe additif.

Déconflit et propriétaires

Cet Epic orchestre, il ne réimplémente pas :

• thom-synthese-distillation.md pour le socle C-documentaire des strates ICT 6/7, et docs/ict/dissociations-matrix.md pour le registre opérationnel des claims, contrôles, verdicts et portées ;
• TAL-23 pour le geste mot→dépendances ; Probas pour HMM/Viterbi ; Search/Z3/Sudoku/Lean pour les automates génériques ; Semantic Web pour RDF/DBpedia/KG ; GenAI/Audio pour Transformers, STT/TTS ;
• GameTheory-03c-Le-Joueur-LLM.ipynb pour le premier joueur LLM réel sur jeu 2×2 en forme normale ; le pilote [GameTheory] Pilote LLM hétérogènes sur mécanisme Othman–Sandholm #15399 change de classe d’objet en visant un mécanisme Othman–Sandholm avec oracle de welfare et règles DSIC/IR ;
• [EPIC] Math for AI Safety — jeux-programmes, coopération transparente et prouvabilité Lean #15062 pour jeux-programmes/FairBot/DUPOC/CUPOD/Löb, et [EPIC] Formalized Formal Logic — articuler les séries Tweety et Lean #15066 pour FFL/GL ;
• [Lean][ProgramGames] L1 — noyau borné des jeux-programmes #15176/feat(lean,#15176): ProgramGames L1 noyau borné — program equilibrium bounded core #15221 pour ProgramGames.Basic déjà livré et [Lean][ProgramGames] L1b — agents structurels à budget explicite #15391/feat(program-games): add explicit-budget bounded agents #15395 pour le modèle structurel borné en cours ;
• enrich(gametheory,#15194): distillation GameTheory-06e follow-up -- Aumann 1974 + Nash 1950 + correlated equilibrium + exo 4 payoff_self_v2 #15210 comme enrichissement pédagogique [FOLLOW-UP enrichissement] PR #15175 (GameTheory-06e) — distillation plus profonde #15194 du notebook 06e — Aumann/Nash, bots _toy, exercice — et non comme livraison complète de la tranche A de [EPIC] Math for AI Safety — jeux-programmes, coopération transparente et prouvabilité Lean #15062 ;
• GameTheory et Probas/DecisionTheory pour actuariat, Dutch books, AMD, Othman–Sandholm, information asymétrique, commitment/Stackelberg et safe subgame solving ; GT-12 pour cheap talk/réputation ; GT-04d pour le désir comme orientation endogène (utilité ≠ désir) ; GT-06c §7 pour les classes engagement/sympathie/amour distinguées notamment par la capacité de punir ;
• [ICT] Greffe 4 — le vote verifiable et la gouvernance DAO existent (SC-17, SC-9, SC-13) : y brancher l'argumentation et le choix social #13570/[ICT] Bac a sable institutionnel : anvil est deja installe et consomme (SC-1/SC-2, ANVIL_RPC) — ce qui manque, ce sont les acteurs, pas la chaine #13571 et PR feat(smartcontracts,#13571): SC-2b bac a sable institutionnel multi-acteurs rejouable #13798 pour la greffe argumentation→vote→contrat et le bac Anvil multi-acteurs rejouable ; SmartContracts pour distinguer promesse implicite et obligation exécutable et tester des invariants explicites ;
• [EPIC] Observatoire des formes relationnelles — temoins externes pour humour, desir et amour #13303/Observatoire des formes relationnelles — écrire le protocole de preuve AVANT tout cas (échelle à 3 barreaux, biais de sélection signé, pré-inscription) #13309 pour l’observatoire externe, son échelle à trois barreaux et le pré-enregistrement livré dans Argument_Analysis_RelationalForms_Protocol.md ;
• GameTheory : consolider GT-28 et GT-28b avant traduction — un seul banc humour, matrice de préservation complète #14032→Banc humour : paires minimales unfun + détection, appréciation et explication indépendantes #14033→ICT/SAE : tester causalement les transitions humour vers unfun sans confondre explication et mécanisme #14035 pour consolidation GT-28, benchmark humour et causal SAE ; le pilote lexical PR feat(notebooks,#14035): ICT-35 HumorCausalProbe-Pilot substrat HLS, verdict INCONCLUSIVE mesuré #14458 reste INCONCLUSIVE borne, pas une théorie de l’humour ;
• ICT-25/29 pour inoculation/diffusion/persistance ; Pyro_RSA_Hyperbole pour RSA/QUD/halo/implicature ; ICT-14 pour s ≠ 0, π = 0 ; Argument_Analysis pour AIF/Toulmin/Dung/VAF/fallacies ;
• ICT-Argumentation pour Chaplin, irréversibilité et refus Hynkel ;
• [EPIC] Chantier 5 — Distillation par les séries pédagogiques : mûrir les concepts externes en notebooks ad-hoc (GameTheory, Lean, IIT), puis infuser ICT #12208 pour le pipeline notebook source→variantes→infusion ICT ; [Lean-21b] Trois primitives de PFR, et l'endroit exact ou elles cessent de valoir #12214 pour les primitives Tao/PFR ;
• research(lean): cartographier le dépôt Anthropic FLT pour CoursIA #14771 pour la doctrine GENERIC / DOMAIN-REUSABLE / SOURCE-SPECIALIZED / ALREADY-UPSTREAM / PROVENANCE-SENSITIVE, probes Lean et décision adopter / adapter / enseigner / ignorer.

Track A — TAL classique vers moderne

Pilote initial

Distiller le deck historique :

G:\Mon Drive\MyIA\IA\Bibliographie IA\Slides\English\Artificial Intelligence - 6 - Natural Language Processing.pptx

Puis migrer un premier lot cohérent vers Slidev en français. La matrice des 34 slides doit préserver : modèles de langue ; classification/IR/IE ; automates/transducteurs ; HMM/CRF ; Chomsky/parsing ; sémantique/pragmatique ; traduction/parole ; RNN/LSTM/seq2seq/attention. Le deck ne devient jamais un cours réduit aux LLM.

Backlog conditionnel, créé seulement après census

• n-grammes, lissage, perplexité et identification de langue ;
• classification/TF-IDF/BM25 puis IE/bootstrapping ;
• transducteur linguistique réutilisant les owners automates ;
• CRF comparé aux HMM existants ;
• CFG/PCFG/parsing puis traits/unification ;
• WordNet/WOLF/OMW aligné à RDF/DBpedia ;
• sémantique, pragmatique et ambiguïtés ;
• fil parole/traduction→séquences neuronales ;
• comparaison spaCy/Stanza sur un gold borné issu de TAL-23 ;
• DSPy uniquement sur une tâche TAL mesurable ;
• sonde WordNet/OMW↔SAE/J-Lens, puis GWT seulement sous gate causal.

Tout grain TAL ultérieur épingle ses versions Python, spaCy/Stanza et ressources lexicales effectivement retenues, documente provenance/licence de WordNet/OMW/WOLF et porte un verdict SOTA explicite ; aucun fallback simulé ne tient lieu d’environnement reproductible.

Aucune issue n’est créée pour ces lignes tant que le pilote n’a pas établi owner, gap et chemin non collisionné.

Ponts Thom conditionnels

Deux protocoles distincts :

1. valence/dépendances → saillance/prégnance ;
2. WordNet/RDF/genres/hypergenres → organisation candidate.

Les perturbations, permutations et ontologies randomisées précèdent toute promotion. TAL reste une sonde en aval pour les mécanismes relationnels, pas leur propriétaire conceptuel.

Track B — LLM joueurs, mécanismes et institutions

État du socle transparent

• ProgramGames.Basic est livré par [Lean][ProgramGames] L1 — noyau borné des jeux-programmes #15176/feat(lean,#15176): ProgramGames L1 noyau borné — program equilibrium bounded core #15221 ;
• [Lean][ProgramGames] L1b — agents structurels à budget explicite #15391/feat(program-games): add explicit-budget bounded agents #15395 propose dans une PR encore ouverte un modèle structurel à code public et budget explicite ; son absence actuelle de consommateur notebook reste visible jusqu’à intégration ;
• enrich(gametheory,#15194): distillation GameTheory-06e follow-up -- Aumann 1974 + Nash 1950 + correlated equilibrium + exo 4 payoff_self_v2 #15210 propose dans une PR encore ouverte un enrichissement Aumann/Nash du notebook 06e ; les bots présents sur main restent _toy tant que cette PR n’est pas mergée ;
• Löb/GL/FairBot fort restent sous [EPIC] Math for AI Safety — jeux-programmes, coopération transparente et prouvabilité Lean #15062/[EPIC] Formalized Formal Logic — articuler les séries Tweety et Lean #15066.

Le premier pilote de cet Epic doit donc brancher l’interface expérimentale minimale sur les organes déjà livrés, sans recréer ces fondations et sans prétendre à Löb. Il avance directement sur une expérience mécanistique bornée parce que son oracle déterministe et la formalisation finie de la Proposition 6 ont déjà été livrés ; la prouvabilité #15062/#15066 reste une extension différée, requise seulement pour les claims de lecture de code, FairBot ou Löb.

Expériences après pré-enregistrement

Pour chaque mécanisme : joueurs et rôles, information/règles/code visibles, format d’action, budget/mémoire, modèle/version/température/seeds, payoff/welfare, violations, manipulabilité, coût/latence et replay. Contrôles : agent scripté, LLM sans règles, permutation des règles, coût neutralisé, moteur indépendant.

Branches possibles seulement après le pilote :

• actuariat et Dutch books comme oracle borné d’incohérence ;
• populations conformes/stratégiques/bruitées/byzantines sur mécanisme Othman–Sandholm ;
• un mécanisme exécutable parmi AMD, VCG, commitment/Stackelberg ou safe subgame solving.

Propriété prouvée du mécanisme, comportement observé du LLM et résultat institutionnel restent trois niveaux séparés.

Observatoire relationnel et simulation du même mécanisme

Boucle obligatoire :

mécanisme GameTheory
→ témoin externe / variation naturelle (#13303)
→ mécanisme candidat
→ pré-enregistrement causal
→ simulation contrôlée du même mécanisme
→ confrontation observation ↔ simulation
→ promotion, maintien ou rejet

Le barreau 3 de #13303 requiert conjointement : intervention externe documentée, prédiction pré-enregistrée, évolution empirique, simulation concordante du même mécanisme et contrôles négatifs.

Après ces pilotes, une comparaison contrôlée pourra relier par adaptateur borné — jamais par moteur parallèle — les sorties homologues des mécanismes LLM, de l’observatoire et d’ict/strategic_morphodynamics.py. Axelrod/ICT-13 reste un contrôle historique de jeu répété, non l’horizon du track et non une preuve sur les jeux-programmes one-shot ou les institutions.

Humour développemental

Réutiliser #14032→#14033→#14035. #14033 reçoit les paires minimales humour/unfun et sépare détection, appréciation et explication. La colonne vertébrale candidate distingue : jeu sonore/incongruité perceptible ; résolution sémantique ; récit/attente/chute ; perspective/normes/disparagement ; implicite/ironie/double audience ; références culturelles/contexte long.

Ce sont des niveaux de capacité/difficulté tant que des sources développementales firsthand n’établissent pas une chronologie d’âge. Les grands corpus licenciés, dédupliqués et contrôlés pour contamination LLM sont le socle quantitatif ; Jester reste REFERENCE_ONLY et rJokesData REFERENCE_ONLY_WITH_DELETION_DUTY selon les qualifications déjà inscrites dans #14033 tant que leurs droits ne sont pas levés. L’OCR du livre de 500 pages reste un spécimen anecdotique.

Complicité et inoculation

La « complicité secrète » devient distribution asymétrique d’un cadre partagé : exposition, décodage, uptake, refus, diffusion, persistance après retrait. Owner : ICT-25/29. Le vocabulaire Thom de capture/saillance/prégnance/stabilité reste C/T avant mesure. Aucune inférence d’état mental.

Désir et séduction prudente

DUPOC/CUPOD peuvent sonder des jeux performatifs de lisibilité, ouverture conditionnelle, réciprocité, provocation, retrait et préservation des options. Premier probe CPU avec sémantiques réellement disponibles ; extension LLM/prouvabilité seulement après #15062/#15066. Le verdict porte sur le mécanisme, jamais sur le désir réel d’une personne.

Publicité — checklist compacte, pas quatre issues initiales

Corpus ciblé : scripts de publicités récompensées, avec biais signé :

P(script | primé) ≠ P(script | publicité).

Une récompense ne prouve ni efficacité ni honnêteté. Apparier si possible des non-primées de même époque/média/catégorie ; sinon plafond descriptif.

Chaîne Pyro RSA :

script
→ claim littéral / QUD / halo / implicature
→ inférence RSA
→ saillance vs importance prédictive
→ forme argumentative / fallacy
→ contrat implicite candidat
→ décision simulée
→ éventuel témoin gain designer / perte consommateur

Checklist conditionnelle unique :

• corpus, droits, checksum, déduplication, split et biais pré-enregistrés ;
• annotations RSA + AIF/Toulmin/Dung/VAF avec accord ;
• asymétrie, options, coûts, clauses et welfare simulés avec baselines ;
• inoculation/contrat seulement si une persistance ou promesse vérifiable a émergé.

Une manipulation exige un témoin exhibé, jamais une étiquette de fallacy.

Chaplin

Réutiliser le banc existant : discours final du barbier comme forme parcourue en sens inverse ; Hynkel comme REFUS:CANAUX_CONTRADICTOIRES. Chaplin n’est ni corpus positif ni instance de la triade.

Track C — OpenAI Euler/Navier–Stokes, Tao/PFR et Thom

Pilote initial

Appliquer #14771 à openai/NavierStokesAndEuler@8937a8f4cbc7abaab5e9e97d1cc7f5d2319d9538 :

• reproduction pinée et deux verdicts Comparator séparés Euler/Navier–Stokes ;
• census des définitions/lemmes/interfaces face à Mathlib/CoursIA ;
• probes Lean minimaux avant tout import ;
• PROOF-PATH pédagogique distinguant upstream, local, prouvé, bridgeé et empaqueté ;
• import atomique seulement pour un gap vérifié.

Digestion différée

Euler : initialDatum, lifespan.duration, upgrade curl local, boule canonique de vorticité, contradiction de durée finie, euler_breakdown_R3, singularité compacte lisse.

Navier–Stokes : ActualCandidateConstruction, stages/waves/fields/estimates, selected_witness, selected_candidate, localisation/rescaling, énergie finie uniforme et exclusion de solution globale.

Tao/PFR et Thom

Pour chaque primitive de #12214 : type/domaine, hypothèses, observable candidate, contrôle, rupture et verdict transportable / conditionnel / non transportable. Toute proposition PDE↔Thom est d’abord classée : objet commun vérifié, analogie testable, ou métaphore exclue. Aucun notebook de pont avant une analogie réellement falsifiable.

Dépendances

thom-synthese-distillation.md ──> objets/limites communs des Tracks A, B et C
                                └──> docs/ict/dissociations-matrix.md ──> protocoles falsifiables
Pilote TAL ──> éventuels grains TAL ──> pré-enregistrements TAL↔Thom
#15062/#15066 + pilote LLM ──> expériences mécanismes
#14032 ──> #14033 ──> #14035
#13303/#13309 + cas daté ──> simulation du même mécanisme
#14771 + pilote OpenAI ──> digestion Euler/NS ──> transport PFR ──> protocole Thom

Critères de clôture

• Le deck TAL est préservé et chaque bloc possède un owner exécutable ou un renvoi explicite.
• Aucun contenu existant n’a été dupliqué ; toute consolidation suit analyser→merger→archiver.
• Les LLM jouent au moins un mécanisme exécutable avec baselines, replay et niveaux de preuve séparés.
• La chaîne [EPIC] Math for AI Safety — jeux-programmes, coopération transparente et prouvabilité Lean #15062/[EPIC] Formalized Formal Logic — articuler les séries Tweety et Lean #15066 et la distinction _toy/concept publié sont respectées.
• Chaque claim qualifie son niveau : règle codée, observation expérimentale, théorème Lean ou correspondance ICT/Thom mesurée ; aucune moyenne n’efface ces régimes.
• Toute comparaison avec Axelrod/ICT-13 ou strategic_morphodynamics.py porte sur des observables homologues et maintient ce banc au rang de contrôle.
• La chaîne GameTheory : consolider GT-28 et GT-28b avant traduction — un seul banc humour, matrice de préservation complète #14032→Banc humour : paires minimales unfun + détection, appréciation et explication indépendantes #14033→ICT/SAE : tester causalement les transitions humour vers unfun sans confondre explication et mécanisme #14035 et le statut INCONCLUSIVE borne du contrôle lexical sont préservés.
• L’observatoire [EPIC] Observatoire des formes relationnelles — temoins externes pour humour, desir et amour #13303 et la simulation portent exactement le même mécanisme avant toute promotion.
• Publicité, séduction et inoculation respectent les anti-claims et n’infèrent aucun état mental.
• Euler et Navier–Stokes ont des reproductions séparées et un chemin de preuve pédagogique.
• Aucun module OpenAI n’est importé sans gap Mathlib et probe vert.
• Toute primitive Tao/PFR conserve son domaine exact ; non-transportable est un résultat.
• Chaque pont Thom a un pré-enregistrement puis un verdict, y compris négatif.
• Aucun rapport d’audit, corpus protégé, secret, output fabriqué ou métaphore promue n’est committé.

Création parcimonieuse

Trois pilotes seulement sont ouverts au départ : TAL/Slidev, interface LLM–mécanisme, OpenAI census/reproduction. Tous les autres nœuds restent dans cette checklist ou leurs issues propriétaires ; une nouvelle issue n’apparaît que lorsqu’un livrable absent, atomique et exécutable est démontré.

See #4588. See #12208. See #12214. See #13303. See #13309. See #14032. See #14033. See #14035. See #14771. See #15062. See #15066. See #15398. See #15399. See #15400.