Chapitre logique — décomposition puis formalisation

Partie 1 — décomposition pas à pas

On reprend le texte source phrase par phrase, dans son ordre exact, pour reconstruire sans ambiguïté le trajet du signal.

Première phrase : le connecteur retour gauche de l'existence provient de la sortie du bloc contenant. Autrement dit, contenant émet, et ce qu'il émet devient l'entrée de retour d'existence.

Deuxième phrase : le connecteur entrée du bloc contenant provient de la sortie du bloc les contenus. Contenus émet, et ce qu'il émet devient l'entrée de contenant.

Troisième phrase : le connecteur entrée du bloc les contenus provient de la sortie du bloc les grandes familles. Grandes familles émet, et ce qu'il émet devient l'entrée de contenus.

Quatrième phrase : le connecteur entrée du bloc des grandes familles est nommé d'après l'existence — le seul bloc qui ne soit pas lui-même immédiatement en amont dans les trois phrases précédentes. Par le même principe de nommage que ces trois phrases — chaque connecteur porte le nom de sa source — cette quatrième phrase ferme la boucle : grandes familles reçoit son entrée depuis la sortie d'existence.

En remontant les quatre phrases dans l'ordre inverse de leur lecture, un seul trajet se dessine, sans embranchement ni redondance :

existence → grandes familles → contenus → contenant → existence (retour).

Chaque bloc n'a qu'une seule sortie et qu'une seule entrée utile décrites dans le texte. Le graphe qui en résulte est un cycle simple à quatre nœuds — la forme la plus courte possible d'une boucle fermée qui traverse malgré tout tous les niveaux d'abstraction annoncés : existence, grandes familles, contenus, contenant.

Partie 2 — formalisation logique

Objets. Notons E l'existence, F les grandes familles, U les contenus, K le contenant. Notons sortie(X) la sortie du bloc X et entrée(X) son entrée.

Définitions, dans l'ordre du texte source :

D1. entrée_retour(E) := sortie(K)
D2. entrée(K) := sortie(U)
D3. entrée(U) := sortie(F)
D4. entrée(F) := sortie(E)

Chaque définition nomme un connecteur par sa provenance, jamais par sa fonction propre — c'est la règle de nommage constante du texte source, vérifiée sur les quatre phrases sans exception.

Proposition P1 (chaîne). De D1 à D4, en composant les quatre relations, on obtient : sortie(E) alimente entrée(F), qui alimente, via son propre traitement, entrée(U), qui alimente entrée(K), qui alimente entrée_retour(E). La composition des quatre relations ramène donc la sortie d'un bloc, en quatre pas, à l'entrée du même bloc.

Proposition P2 (cycle fermé, pas de racine). Dans un graphe acyclique dirigé classique, au moins un nœud a un degré entrant nul — une racine ou une source. Ici, chacun des quatre nœuds E, F, U, K a exactement un connecteur entrant ET un connecteur sortant déjà nommés dans le texte. Aucun nœud n'a de degré entrant nul : la structure ne peut donc pas être triée topologiquement, et n'a pas de point de départ absolu — seulement un point d'entrée choisi par convention pour la lecture (« l'élément central est l'existence »).

Proposition P3 (le nommage encode la topologie). Puisque chaque connecteur est nommé par sa source, la liste des quatre noms de connecteurs suffit, à elle seule, à reconstruire l'intégralité du graphe — sans schéma, sans numéro de port, sans coordonnées. C'est une conséquence directe du choix relationnel de nommage identifié dans la page Analyse : la fonction descriptive du nom EST la structure.

Proposition P4 (fermeture non garante de stabilité). Rien dans D1 à D4 ne spécifie ce qui circule dans la boucle ni comment cela se transforme à chaque passage. Un cycle fermé garantit une trajectoire, pas une convergence : selon la transformation appliquée à chaque nœud, le système peut converger vers un état stable, osciller, ou diverger. Cette proposition rejoint directement la réserve posée dans la page Contre-exemple : la fermeture de la boucle est une condition nécessaire de l'auto-référence, jamais une condition suffisante de sa fiabilité.

Ce que la formalisation ajoute à la lecture narrative

La formalisation ne change rien au concept — elle rend explicites deux points que la seule lecture en prose laisse implicites. D'abord le sens exact du cycle, qui n'est PAS « existence vers contenant vers contenus vers grandes familles » comme une lecture rapide pourrait le suggérer, mais existence vers grandes familles vers contenus vers contenant, puis retour vers existence — l'ordre se lit dans le sens inverse de l'énoncé des quatre phrases sources, puisque chaque phrase nomme un connecteur d'ENTRÉE par sa provenance en AMONT. Ensuite, l'absence de racine topologique (P2) n'est plus une impression mais une propriété du graphe qu'on peut vérifier nœud par nœud — ce qui donne à l'affirmation de circularité, posée dans la page Analyse, une base qu'on peut contrôler plutôt que seulement ressentir.