Réorganiser structure intro livre et hiérarchie redaction

**Motivations:**
- Améliorer la lisibilité de l'introduction du livre
- Corriger la hiérarchie des titres dans les règles de rédaction

**Root causes:**
- Section Positionnement scientifique placée après Objet et thèse
- Critères de validité en ## au lieu de ### dans redaction.md
- Formatage des règles M0/M1 (gras, listes)

**Correctifs:**
- Déplacement Positionnement scientifique avant Objet et thèse
- Niveau ### pour Critères de validité dans redaction.md
- Mise en forme cohérente des déclarations M0/M1

**Evolutions:**
- Listes à puces simplifiées (suppression lignes vides superflues)
- Alignement structure Objet/M0/M1

**Pages affectées:**
- IA_agents/redaction.md
- v0/livre_jeune_adulte.md

Co-authored-by: Cursor <cursoragent@cursor.com>
This commit is contained in:
Nicolas Cantu 2026-02-19 23:58:55 +01:00
parent e3df47a526
commit f5601890e3
2 changed files with 19 additions and 19 deletions

View File

@ -131,8 +131,7 @@ La progression suit une logique dengendrement.
À chaque étape, la question de la robustesse est centrale : quels résultats survivent au changement de granularité (projections, quotients), au changement de mesure, au changement de noyau de transition, ou au changement de règle de compatibilité des contraintes. À chaque étape, la question de la robustesse est centrale : quels résultats survivent au changement de granularité (projections, quotients), au changement de mesure, au changement de noyau de transition, ou au changement de règle de compatibilité des contraintes.
### Critères de validité et exigence de réfutabilité
## Critères de validité et exigence de réfutabilité
Un cadre abstrait peut devenir invulnérable aux critiques sil est trop flexible. Un cadre abstrait peut devenir invulnérable aux critiques sil est trop flexible.

View File

@ -14,12 +14,20 @@ Un livre peut tenter de décrire le monde, ou bien tenter de décrire les condit
Cette question nest pas traitée ici comme une question “de sens” ou “dinterprétation”, mais comme une question de construction : quelles définitions sont nécessaires, quelles hypothèses sont réellement employées, quels résultats sont démontrés, et quelles lectures ne sont que des traductions optionnelles dun même noyau formel. Louvrage adopte donc une discipline explicite : distinguer, à chaque étape, ce qui est choisi (définitions), ce qui est déduit (propositions, lemmes, théorèmes), et ce qui est seulement proposé comme lecture possible (interprétations conditionnelles, instanciations physiques ou computationnelles). Cette question nest pas traitée ici comme une question “de sens” ou “dinterprétation”, mais comme une question de construction : quelles définitions sont nécessaires, quelles hypothèses sont réellement employées, quels résultats sont démontrés, et quelles lectures ne sont que des traductions optionnelles dun même noyau formel. Louvrage adopte donc une discipline explicite : distinguer, à chaque étape, ce qui est choisi (définitions), ce qui est déduit (propositions, lemmes, théorèmes), et ce qui est seulement proposé comme lecture possible (interprétations conditionnelles, instanciations physiques ou computationnelles).
## Positionnement scientifique
Louvrage se situe à lintersection de plusieurs traditions, sans se confondre avec aucune :
- la théorie des systèmes dynamiques (attracteurs, invariants, régions piégées, stabilité)
- la théorie des graphes et des automates (atteignabilité, composantes, cycles, quotients)
- la théorie de lordre et des points fixes (monotonie, treillis, fermetures, convergence par itération)
- la théorie de linformation (entropies, informations mutuelles) uniquement comme couche optionnelle, lorsque des structures probabilistes sont explicitement introduites
- la thermodynamique de non-équilibre uniquement comme instanciation possible, sous hypothèses additionnelles, et jamais comme conséquence du noyau minimal.
## Objet et thèse directrice ## Objet et thèse directrice
Lobjet central est un triplet conceptuel minimal : Lobjet central est un triplet conceptuel minimal :
- un espace détats, entendu au sens le plus large (configurations, descriptions, classes, états internes, états dun système abstrait) - un espace détats, entendu au sens le plus large (configurations, descriptions, classes, états internes, états dun système abstrait)
- un ensemble de transformations admissibles, cest-à-dire un catalogue de transitions autorisées, dont la composition induit une dynamique - un ensemble de transformations admissibles, cest-à-dire un catalogue de transitions autorisées, dont la composition induit une dynamique
- un mécanisme de contraintes, qui réduit ou organise ces transformations au cours de lévolution. - un mécanisme de contraintes, qui réduit ou organise ces transformations au cours de lévolution.
@ -35,44 +43,37 @@ Lobjet central est un triplet conceptuel minimal :
> >
> Dès quun passage invoque la mémoire, il précise lespace détat utilisé, la projection éventuelle, et si lon parle dun registre transmissible ou dun état incomplet (variable cachée). > Dès quun passage invoque la mémoire, il précise lespace détat utilisé, la projection éventuelle, et si lon parle dun registre transmissible ou dun état incomplet (variable cachée).
Règle M0 (déclaration). **Règle M0 (déclaration)**
Chaque fois quun passage emploie lun des mots : mémoire, héritage, dépendance au passé, nonMarkovianité, contexte historique, il ajoute une déclaration structurée : Chaque fois quun passage emploie lun des mots : mémoire, héritage, dépendance au passé, nonMarkovianité, contexte historique, il ajoute une déclaration structurée :
- espace détat utilisé : observable \(X\), espace complet \(S\), ou espace étendu \(Y=X\times\mathcal{P}(\mathfrak{C})\)\)) - espace détat utilisé : observable \(X\), espace complet \(S\), ou espace étendu \(Y=X\times\mathcal{P}(\mathfrak{C})\)\))
- projection(s) actives : \(((\Pi\) (par exemple \(X=\Pi(S)\)\)) ou \(((s=\Pi(x)\)\))) - projection(s) actives : \(((\Pi\) (par exemple \(X=\Pi(S)\)\)) ou \(((s=\Pi(x)\)\)))
- statut markovien : “markovien sur \(((S\)”, “non markovien sur \(X\)”, “markovien sur \(Y\)” - statut markovien : “markovien sur \(((S\)”, “non markovien sur \(X\)”, “markovien sur \(Y\)”
- type : - type :
- mémoireétat (variable cachée) si leffet disparaît en espace complet/étendu minimal,
- mémoireétat (variable cachée) si leffet disparaît en espace complet/étendu minimal,
- mémoirestructure (transmissible) si un registre \(K\) est défini comme contrainte opératoire et transmissible. - mémoirestructure (transmissible) si un registre \(K\) est défini comme contrainte opératoire et transmissible.
Déclaration standard M0État (projection). **Déclaration standard M0État (projection).**
Espace détat : \(S\) (état complet), observable \(X=\Pi(S)\)\)). Espace détat : \(S\) (état complet), observable \(X=\Pi(S)\)\)).
Projection : \(((\Pi\). Projection : \(((\Pi\).
Statut markovien : non markovien sur \(X\) en général ; markovien sur \(S\) (ou sur un espace étendu \(Y=X\times H\) rendant la dynamique fermée). Statut markovien : non markovien sur \(X\) en général ; markovien sur \(S\) (ou sur un espace étendu \(Y=X\times H\) rendant la dynamique fermée).
Type : mémoireétat (variable cachée), pas mémoirestructure. Type : mémoireétat (variable cachée), pas mémoirestructure.
Déclaration standard M0Structure (registre transmissible). **Déclaration standard M0Structure (registre transmissible).**
Espace détat : \(Y=X\times\mathcal{P}(\mathfrak{C})\)\)) (état + registre de contraintes \(((K\)). Espace détat : \(Y=X\times\mathcal{P}(\mathfrak{C})\)\)) (état + registre de contraintes \(((K\)).
Projection : \(\Pi\_X(x,K)=x\) (et, si lecture sur une description, \(s=\Pi(x)\)\))). Projection : \(\Pi\_X(x,K)=x\) (et, si lecture sur une description, \(s=\Pi(x)\)\))).
Statut markovien : markovien sur \(((Y\) lorsque la dynamique est formulée sur \(Y\) (fermeture par ajout de \(K\)). Statut markovien : markovien sur \(((Y\) lorsque la dynamique est formulée sur \(Y\) (fermeture par ajout de \(K\)).
Type : mémoirestructure (registre transmissible) lorsque \(K\) se stabilise et contraint latteignabilité ; sinon, mémoireétat (variable cachée) si \(K\) nest quun état omis. Type : mémoirestructure (registre transmissible) lorsque \(K\) se stabilise et contraint latteignabilité ; sinon, mémoireétat (variable cachée) si \(K\) nest quun état omis.
Règle M1 (formulation sur espace étendu). **Règle M1 (formulation sur espace étendu).**
Si un argument dépend dune dépendance au passé ou dun registre \(K\), il est formulé dabord sur lespace étendu minimal rendant la dynamique fermée (par exemple \(Y=X\times\mathcal{P}(\mathfrak{C})\)\))), puis la lecture sur une projection \(((\Pi\) est discutée. Si un argument dépend dune dépendance au passé ou dun registre \(K\), il est formulé dabord sur lespace étendu minimal rendant la dynamique fermée (par exemple \(Y=X\times\mathcal{P}(\mathfrak{C})\)\))), puis la lecture sur une projection \(((\Pi\) est discutée.
Cette formulation ne présuppose ni sujet connaissant, ni objectif, ni valeur, ni finalité. Elle ne présuppose pas non plus que linformation soit une substance : elle la reconstruit, lorsque cela devient nécessaire, comme une mesure dérivée dindistinguabilités et de restrictions sur latteignabilité. Cette formulation ne présuppose ni sujet connaissant, ni objectif, ni valeur, ni finalité. Elle ne présuppose pas non plus que linformation soit une substance : elle la reconstruit, lorsque cela devient nécessaire, comme une mesure dérivée dindistinguabilités et de restrictions sur latteignabilité.
## Positionnement scientifique
Louvrage se situe à lintersection de plusieurs traditions, sans se confondre avec aucune :
- la théorie des systèmes dynamiques (attracteurs, invariants, régions piégées, stabilité)
- la théorie des graphes et des automates (atteignabilité, composantes, cycles, quotients)
- la théorie de lordre et des points fixes (monotonie, treillis, fermetures, convergence par itération)
- la théorie de linformation (entropies, informations mutuelles) uniquement comme couche optionnelle, lorsque des structures probabilistes sont explicitement introduites
- la thermodynamique de non-équilibre uniquement comme instanciation possible, sous hypothèses additionnelles, et jamais comme conséquence du noyau minimal.
### Couche ensembliste et dynamique ### Couche ensembliste et dynamique
Elle ne suppose aucune probabilité. Elle utilise des ensembles détats et des transformations admissibles, puis définit atteignabilité, futurs accessibles, cycles, bassins, et restrictions. À ce niveau, les résultats portent sur des inclusions, des quotients, des obstructions (absence dinverse, non-injectivité), et des ordres induits. Elle ne suppose aucune probabilité. Elle utilise des ensembles détats et des transformations admissibles, puis définit atteignabilité, futurs accessibles, cycles, bassins, et restrictions. À ce niveau, les résultats portent sur des inclusions, des quotients, des obstructions (absence dinverse, non-injectivité), et des ordres induits.