Filiation intellectuelle — pourquoi le projet est déjà ancien
Le projet n'est pas une invention ex-nihilo. Il prolonge plusieurs traditions intellectuelles longues qui ont déjà rencontré l'idée centrale : qu'on peut générer des cadres de travail spécifiques pour des activités humaines vivantes (langage, raisonnement, mathématiques, littérature, droit), chaque cadre venant avec ses propres spécifications, et que les acteurs produisent à l'intérieur de leur cadre des œuvres infiniment variées sans jamais l'épuiser. Ces filiations sont des garanties épistémologiques, pas des décorations académiques. Si vous critiquez le projet en disant « vous voulez algorithmiser le droit, c'est une dérive technocratique », la réponse n'est pas une posture — c'est de pointer Chomsky 1957, Whitehead 1910, Roussel 1914, et de demander si eux aussi étaient des technocrates.
Cette partie consacre à chacune des six filiations principales un développement substantiel — trois à cinq paragraphes — parce qu'aucune note de bas de page elliptique ne suffirait à les honorer. Cinq filiations additionnelles sont mentionnées plus brièvement à la fin. L'objectif n'est pas l'érudition pour elle-même ; c'est de rendre la critique du projet plus difficile en l'obligeant à se positionner contre des géants intellectuels qu'aucun lecteur sérieux n'a envie d'écarter.
Noam Chomsky — la grammaire générative comme parenté du compilateur
En 1957, Noam Chomsky publie Syntactic Structures. C'est un livre court, technique en surface, et qui change tout. Sa thèse centrale est qu'une langue naturelle peut être décrite par un nombre fini de règles de réécriture (des productions de la forme A → BC) qui produisent un nombre potentiellement infini d'énoncés bien formés. C'est l'invention de la grammaire générative. Le geste philosophique sous-jacent est plus radical encore : il y a un cadre formel spécifique à chaque langue, et ce cadre se laisse écrire entièrement, fini, transmissible, étudiable. Chomsky n'a pas inventé une grammaire universelle qui s'imposerait à toutes les langues humaines — il a montré qu'on peut décrire chaque langue par sa grammaire spécifique, et que les locuteurs y produisent un nombre infini d'énoncés en habitant ce cadre-là. La spécificité du cadre est constitutive ; aucune généralité abstraite ne descend du ciel.
Un fait historique sous-estimé : la grammaire générative et les premiers compilateurs sont contemporains. La BNF (Backus-Naur Form, 1959-1960), encore aujourd'hui notation standard pour décrire la syntaxe des langages de programmation, est directement inspirée des grammaires hors-contexte de Chomsky. John Backus et Peter Naur lisaient Chomsky pendant qu'ils écrivaient ALGOL 60. Le compilateur ALGOL est, dans une certaine mesure, un cousin du linguiste générativiste. Tous les compilateurs modernes héritent de ce moment fondateur. Roslyn — le compilateur C# de Microsoft sur lequel ce projet métacratique outillé est entièrement bâti — est un descendant direct, par filiation technique, des grammaires chomskyennes. Quand un LawDslGenerator génère un cadre juridique spécifique à partir d'une LegalDslDefinition, il fait exactement ce que Chomsky décrivait dans Syntactic Structures : prendre un nombre fini de règles de production et les utiliser pour cadrer un nombre infini d'actes de langage juridique potentiels.
La pertinence pour le projet va bien au-delà de la généalogie technique. Tout ce qui justifie philosophiquement le projet — distinguer automatisation (mauvais, Cybersyn : la machine génère un cadre unique et y enferme tous les acteurs) de génération de cadres (bon, grammaire générative paramétrée par META(Ex × Ty) : la machine produit autant de cadres spécifiques qu'il y a de situations, et les acteurs travaillent à l'intérieur de leur cadre) — vient directement de Chomsky. Sa distinction la plus importante, et la plus utile pour le projet, est celle de la compétence (les règles de production intériorisées par un locuteur, finies, formalisables, transmissibles) et de la performance (les actes de parole individuels effectifs, infinis, créatifs, irréductibles à un algorithme). Le système métacratique outillé capture la compétence en règles formelles réplicables — c'est précisément son travail d'outil — mais il ne touche pas à la performance. La performance reste entièrement aux locuteurs humains : le citoyen qui parle son cas, le juge qui écrit sa décision, le législateur qui propose sa loi. Ce que le système stocke, c'est la grammaire ; pas les énoncés. Les énoncés restent humains et vivants.
Politiquement, Chomsky est aussi connu pour sa critique acérée du pouvoir (Manufacturing Consent en 1988 avec Edward S. Herman, ses dizaines d'ouvrages sur la politique étrangère américaine, son anarchisme libertaire revendiqué). Sa double position — formaliste rigoureux sur la langue, anarchiste libertaire sur la politique — n'est pas contradictoire. Elle est cohérente. Pour Chomsky, la créativité linguistique prouve que l'humain est irréductible à la machine, donc que toute prétention de gouvernance algorithmique est philosophiquement infondée. Si le langage humain est si profondément créatif qu'aucun système formel ne peut épuiser ses énoncés possibles, alors aucun système politique ne peut prétendre épuiser les décisions humaines bien fondées. Le projet métacratique outillé est cohérent avec cette double position chomskyenne : il outille la compétence juridique des acteurs sans jamais prétendre remplacer leur performance, et il assume la pluralité des cadres comme garantie technique contre l'illusion totalitaire d'une vérité juridique unique.
Lectures recommandées dans l'ordre d'entrée : Syntactic Structures (1957) pour la fondation technique, Aspects of the Theory of Syntax (1965) pour l'approfondissement, Cartesian Linguistics (1966) pour la généalogie philosophique, et Manufacturing Consent (1988) pour comprendre que sa formalisation linguistique et sa critique politique forment un seul édifice cohérent.
Alfred North Whitehead — formalisation logique et philosophie du process
Entre 1910 et 1913, Whitehead publie avec Bertrand Russell les trois volumes des Principia Mathematica. C'est la tentative la plus ambitieuse jamais faite de réduire l'ensemble des mathématiques à la logique formelle. Le projet a échoué à son objectif explicite — Gödel l'a démontré indépassable en 1931 avec ses théorèmes d'incomplétude — mais il a fondé tout ce qui suit. Les notions de classe, de type, de hiérarchie, les paradoxes auto-référentiels, la théorie des types ramifiés, la distinction entre langage et métalangage : tout ça vient de là. Quand un projet C# moderne déclare public sealed class PublicCampaignFunding : IAsset, il utilise un système de types qui descend directement, par filiation technique sur un siècle, des Principia Mathematica. Ce n'est pas une coïncidence et ce n'est pas une métaphore. C'est une dette intellectuelle vérifiable.
Mais Whitehead ne s'est pas arrêté là. En 1929, il publie Process and Reality, qui est tout autre chose : une philosophie du process, où la réalité n'est pas faite d'objets-substances stables mais d'occasions actuelles qui se composent dans le temps. Whitehead refuse l'ontologie classique des objets-en-soi et propose une ontologie événementielle où tout est en train de devenir autre chose. Un objet n'est qu'une chaîne d'occasions actuelles momentanément cohérentes. Le temps n'est pas un paramètre extérieur dans lequel les choses bougent ; c'est la matière même dont les choses sont faites. Cette philosophie a été marginalisée par la philosophie analytique anglo-saxonne mainstream, mais elle reste l'une des ontologies les plus profondes du vingtième siècle pour penser le changement.
Pourquoi cela importe-t-il au projet ? Parce que la combinaison des deux Whitehead — le logiciste rigoureux des Principia et le philosophe du process de Process and Reality — est l'attitude juste pour penser un compilateur du droit. Le logicisme seul est dangereux : il prétend à l'universel et fige un cadre unique, ce qui mène à Cybersyn et à la gouvernance algorithmique. La philosophie du process seule est mystique : elle refuse toute génération de cadre formel et reste inopérante, incapable d'outiller quoi que ce soit. La combinaison des deux — un méta-générateur qui produit des cadres formels spécifiques, chacun paramétré par un (Espace × Temps × Auteur) qui le déborde et le rend obsolète à terme — est exactement ce que le projet vise. Aucun cadre n'est définitif ; chaque cadre est spécifique à son moment ; le méta-générateur, lui, est stable, mais il génère des cadres qui naissent, vivent, meurent, et sont remplacés par leurs successeurs.
C'est précisément pour cette raison que la signature META(Ex × Ty) du projet inclut explicitement le composant Ty (le temps). Sans cela, on aurait un système formel qui prétend à l'éternité, et qui violerait la leçon centrale de Whitehead. Avec lui, on a un système formel qui sait qu'il est paramétré par un temps qui le déborde, et qui rend cette obsolescence-à-terme structurellement visible dans ses noms de cadres : Law.France1995.Erard.Dsl ne prétend pas à 2026, parce que le 1995 dans son nom dit « je suis spécifique à cette date ». La métaphysique whiteheadienne du process est ainsi encodée dans la convention de nommage.
Lectures recommandées : An Introduction to Mathematics (1911) comme entrée accessible, Process and Reality (1929) pour le grand ouvrage métaphysique (difficile mais transformateur), et Adventures of Ideas (1933) pour l'application aux questions historiques et sociales.
Raymond Roussel + Foucault + l'OuLiPo — le cadre spécifique comme machine génératrice
En 1910 et 1914, Raymond Roussel publie Impressions d'Afrique et Locus Solus, deux romans hallucinants qui ne ressemblent à rien d'autre dans la littérature française. La méthode d'écriture, que Roussel exposera plus tard dans Comment j'ai écrit certains de mes livres (1935, posthume), consiste à se donner un cadre spécifique — par exemple un dispositif phonétique précis qui transforme une phrase de départ en une phrase d'arrivée presque identique mais de sens totalement différent — et à justifier l'écart par un récit qui relie les deux pôles. Roussel n'invente pas une contrainte au sens passif du mot ; il invente un cadre de travail spécifique qui vient avec ses propres spécifications (le lexique de départ, la règle de transformation, le récit qui doit habiter l'écart). À l'intérieur du cadre, l'écrivain est libre. Mais il écrit dans ce cadre-là, pas dans un autre, et c'est cette spécificité qui rend l'œuvre transmissible, analysable, refaisable.
En 1963, Michel Foucault publie Raymond Roussel. C'est le seul livre littéraire de Foucault, écrit dans une période où il s'intéressait passionnément aux machines verbales et aux dispositifs de production du sens. Foucault y voit Roussel comme l'inventeur d'une machine à produire du sens à partir de cadres formels spécifiques, jamais génériques, toujours particuliers à l'œuvre en cours. C'est important parce que Foucault, quelques années plus tard, deviendra le grand penseur des dispositifs — ces ensembles hétérogènes de discours, d'institutions, d'aménagements architecturaux, de décisions réglementaires, qui produisent à la fois des sujets et des vérités. La filiation est directe : un cadre Law.${Space}${Time}.${Author} est exactement un dispositif foucaldien spécifique, qui produit certains énoncés juridiques comme valides et d'autres comme invalides, et qui assume sa spécificité jusque dans son nom.
Entre 1960 et 1970, l'OuLiPo (Ouvroir de Littérature Potentielle, fondé par Raymond Queneau et François Le Lionnais) théorise et pratique systématiquement la littérature à cadres formels. Queneau écrit Cent mille milliards de poèmes (1961), un dispositif combinatoire qui génère cent mille milliards de sonnets distincts à partir de dix sonnets de base. Georges Perec écrit La Disparition (1969), un roman entier sans la lettre e. Italo Calvino écrit Si par une nuit d'hiver un voyageur (1979), une combinatoire de débuts de roman qui ne se résolvent jamais. Chacune de ces œuvres est dans son cadre spécifique — le lipogramme de Perec n'est pas le sonnet de Queneau qui n'est pas la combinatoire de Calvino. Aucun de ces cadres n'est interchangeable avec un autre. C'est leur spécificité qui les rend opérationnels, c'est leur spécificité qui les rend joyeux à habiter pour leurs auteurs, et c'est leur spécificité qui les rend distincts les uns des autres comme œuvres.
La pertinence pour le projet est triple. D'abord, Roussel et l'OuLiPo donnent la garantie esthétique que la génération de cadres spécifiques est une opération créatrice à part entière — pas une réduction de la créativité, mais sa condition technique. LawDslGenerator est exactement cela : un méta-générateur qui produit des cadres juridiques spécifiques (Law.France2026.Etalab, Law.France1995.Erard, Law.RomeAntique.JulienPaul.IUVS, Law.CommonLaw.UK2026.GovUK), chacun venant avec ses propres spécifications de vocabulaire, ses contraintes propres, son scope d'application. Ensuite, ils donnent l'éthique de design : la joie du cadre spécifique. Le projet ne doit pas être austère, technocratique, ennuyeux. Lex Studio (Partie 15) doit être un terrain de jeu juridique où chaque utilisateur explore son cadre, pas une administration numérique générique. La spécificité est joyeuse ; l'universel abstrait est triste. Enfin, ils valident philosophiquement la posture centrale : tout est spécifique, et c'est cette spécificité qui rend la création possible.
Le citoyen qui type son cas dans MyCases/MyCase.cs ne se conforme pas à une contrainte abstraite — il écrit dans un cadre spécifique (Law.France2026.Etalab, par exemple), et ce cadre lui fournit son propre vocabulaire d'actions juridiquement pertinentes, ses propres recours, ses propres procédures. Le système ne contraint pas la créativité juridique ; il équipe le citoyen avec un cadre de travail spécifique à sa situation (Espace × Temps × Auteur), et le citoyen produit dans ce cadre des énoncés que d'autres pourront rejouer dans le même cadre, ou forker en générant un cadre concurrent. C'est exactement la logique de l'OuLiPo, transposée du jeu littéraire au jeu démocratique.
Lectures recommandées : Locus Solus de Roussel (1914) pour vivre l'expérience, Raymond Roussel de Foucault (1963) pour la lecture philosophique, Cent mille milliards de poèmes de Queneau (1961) pour le geste oulipien fondateur, La Disparition de Perec (1969) pour le tour de force, et Lipo : littérature potentielle de François Le Lionnais (1973) pour la théorie d'ensemble.
John Sowa — les graphes conceptuels comme ancêtres du M3
John Sowa, informaticien américain, est moins connu du grand public que Chomsky, Whitehead ou Roussel, mais il a une importance personnelle et technique particulière dans ce projet. Stéphane l'a rencontré à dix-huit ans dans le cadre de ses premières lectures de model-driven engineering — une rencontre racontée dans le parcours autobiographique à 18 ans. À l'époque, Sowa était l'auteur de Conceptual Structures: Information Processing in Mind and Machine (1984), où il avait formalisé les graphes conceptuels, une notation graphique pour représenter le sens des phrases en langue naturelle qui combine la logique des prédicats du premier ordre avec les diagrammes existentiels de Charles Sanders Peirce.
Pourquoi est-ce important pour ce projet ? Parce que les graphes conceptuels sont les ancêtres directs du M3 (le métamodèle de niveau 3 sur lequel reposent tous les DSLs du projet métacratique outillé). Quand le projet pose qu'il y a un MetaConcept, un MetaProperty, un MetaReference, un MetaConstraint, un MetaInherits — les cinq primitives de la racine FrenchExDev.Net.Dsl qui existent déjà dans le monorepo — c'est un descendant en ligne directe des graphes conceptuels de Sowa. Le pont entre la philosophie analytique de la signification (Peirce, Russell, Whitehead, Frege) et l'informatique appliquée (Sowa, l'ingénierie des connaissances, le model-driven engineering) passe par ce moment des années 1980 où des informaticiens lisent sérieusement les philosophes du langage et les transforment en outils. Le projet métacratique outillé est une continuation de ce pont, étendu au domaine du droit.
L'autre importance de Sowa, plus discrète, est qu'il a publié en 2000 Knowledge Representation: Logical, Philosophical, and Computational Foundations, une synthèse magistrale qui couvre l'ensemble du champ de la représentation des connaissances et qui se lit aujourd'hui encore comme un manuel d'entrée dans tout ce qui touche à l'ingénierie des ontologies, aux DSLs, aux systèmes experts, aux bases de données déductives. Pour quiconque veut comprendre pourquoi on type le droit comme on type la connaissance scientifique, ce livre est l'entrée la plus solide.
La dette personnelle est importante à mentionner parce qu'elle explique partiellement pourquoi ce projet existe. Si Stéphane avait découvert le model-driven engineering à trente ans dans un cours universitaire conventionnel, il aurait probablement perçu les DSLs comme une technique parmi d'autres. Les avoir rencontrés à dix-huit ans à travers Sowa — c'est-à-dire avec leur arrière-plan philosophique intact, articulé à Peirce et à Whitehead — donne aux DSLs une charge conceptuelle qui ne se laisse pas réduire à de l'outillage. Quand Stéphane écrit aujourd'hui que Law.Dsl est une racine d'interfaces juridiques, ce n'est pas une expression métaphorique : c'est une référence directe aux concepts primitifs dans le sens sowaien, ces atomes logiques à partir desquels on construit toute représentation de connaissance.
Bertrand Meyer — le Design by Contract comme ancêtre du pattern Guard
Bertrand Meyer, informaticien suisse, est l'inventeur du langage Eiffel et l'auteur de Object-Oriented Software Construction (1988, deuxième édition entièrement réécrite en 1997). Stéphane l'a aussi rencontré tôt dans son parcours — cette deuxième édition de 1997 fait partie des livres fondateurs qui ont structuré sa pensée du génie logiciel à la fin des années 1990 et au début des années 2000. Meyer est connu pour avoir formalisé sous le nom de Design by Contract (DBC) une idée déjà présente chez Hoare et Dijkstra mais jamais aussi systématiquement opérationnalisée : un programme bien écrit est un système de contrats explicites entre composants, où chaque méthode déclare ses préconditions (ce qui doit être vrai avant l'appel), ses postconditions (ce qui sera vrai après) et ses invariants de classe (ce qui reste vrai en permanence). Ces contrats sont des assertions vérifiables — par le compilateur quand c'est possible, à l'exécution quand ce ne l'est pas — et ils font partie de la spécification publique du composant, pas seulement de son implémentation interne.
Le pattern Guard utilisé systématiquement dans tous les analyzers du projet métacratique outillé est un descendant direct du Design by Contract de Meyer. Quand un analyzer C# vérifie qu'une [Measure] cible bien un IAsset, et émet un diagnostic typé LAW_FR2026_ETALAB_TYP_001 si ce n'est pas le cas, il implémente une précondition contractuelle du cadre Law.France2026.Etalab — précondition qui dit « toute mesure doit cibler un actif ». Le compilateur Roslyn devient l'exécutant des contrats déclarés dans la LegalDslDefinition du cadre. Chaque cadre a ses propres contrats, parce que chaque cadre est spécifique. Le pattern Hexagonal qui structure les bridges (Partie 9) est lui aussi un héritier indirect de Meyer, par sa séparation stricte entre le noyau pur qui porte la logique métier (et donc les contrats) et les adapters qui le connectent au monde extérieur (Roslyn build-time, Roslyn live IDE, ligne de commande).
Plus profondément, ce qui rend Meyer pertinent pour ce projet n'est pas seulement sa technique. C'est sa conviction que l'écriture de logiciels sérieux requiert d'expliciter les hypothèses cachées. Meyer répétait que la plupart des bugs viennent de contrats implicites violés silencieusement — un appelant qui suppose une chose, une implémentation qui en suppose une autre, et personne qui ne les confronte. Sa solution est radicale : écrire les contrats noir sur blanc dans le code, les faire vérifier, les faire échouer bruyamment quand ils sont violés. Le projet métacratique outillé fait exactement la même chose pour le droit. Quand Law.France2026.Etalab déclare via une [LegalConstraint] que « toute privatisation de bien commun requiert une procédure démocratique préalable », c'est un contrat explicite, vérifiable au compile-time, qui devient un compile error rouge si une loi tente de le violer. Le Design by Contract appliqué au droit, c'est-à-dire l'écriture explicite des hypothèses politiques cachées dans les lois, est l'une des contributions les plus émancipatrices du projet.
Lectures recommandées : Object-Oriented Software Construction deuxième édition (1997) — gros livre dense mais qui change la façon de penser le génie logiciel. C'est probablement le meilleur livre jamais écrit sur la conception de logiciels orientés objets, et son chapitre sur le DBC est le point d'entrée canonique du concept.
Catala — la preuve empirique récente que typer le droit est faisable
En 2022, Denis Merigoux, Nicolas Chataing et Jonathan Protzenko publient à POPL (le congrès académique le plus exigeant en théorie des langages de programmation) un article intitulé Catala: A Programming Language for the Law. Catala est un langage de programmation spécialement conçu pour exprimer le droit fiscal — initialement le calcul de l'impôt sur le revenu en France — en respectant fidèlement la structure du texte législatif d'origine. Le projet est porté par INRIA en collaboration directe avec la DGFiP (la Direction Générale des Finances Publiques française), et il a déjà servi à vérifier formellement des portions non-triviales du Code général des impôts contre leur implémentation officielle. Le résultat empirique est qu'on peut typer une portion sérieuse du droit français, la faire calculer correctement, et l'utiliser en collaboration avec les juristes professionnels qui écrivent les lois.
C'est le précédent qui retire l'argument « c'est trop compliqué, ça ne marchera jamais » du débat. Avant Catala, on pouvait raisonnablement objecter que l'idée de typer le droit était une fantaisie de programmeur déconnecté. Après Catala, l'objection n'est plus tenable : un consortium académique et étatique français vient de le faire, sur du droit fiscal réel, en collaboration avec les administrations qui appliquent ce droit. La question n'est plus « est-ce faisable ? », elle est « quel périmètre veut-on couvrir, et avec quel degré de pluralité interprétative ? ». C'est exactement la question que le projet métacratique outillé pose à la suite de Catala.
Le rapport du projet à Catala n'est pas concurrentiel mais complémentaire. Catala excelle là où il est : le calcul fiscal, les barèmes, les exclusions, les exonérations — tout ce qui est quantitatif et qui a une spécification arithmétique précise. Le projet métacratique outillé excelle ailleurs : le typage cross-DSL (Law × Commons × Citizen), la gestion pluraliste des cadres concurrents, l'intégration écosystémique avec NuGet/CI-CD/observabilité/Lex Studio, et le régime citoyen (le sixième régime de la Partie 12) où c'est le destinataire du droit qui type sa propre situation. Les deux projets se rencontrent naturellement au point du calcul monétaire — c'est l'objet du Ship 6-bis (Catala.Bridge), qui sera développé en Partie 18 : un pont qui permet au compilateur métacratique de déléguer à Catala les calculs arithmétiques sur les barèmes fiscaux, tout en conservant son propre traitement de la pluralité des cadres.
Le projet a besoin de Catala. Sans le précédent empirique français de Catala, ce projet métacratique outillé serait perçu comme une lubie. Avec Catala, il est perçu comme une extension naturelle du programme déjà engagé. L'une des prochaines étapes concrètes du projet (mentionnée en Partie 18, étape 8 de la prochaine étape de formalisation) est d'organiser une rencontre directe avec l'équipe Catala, non pas pour leur demander la permission mais pour leur proposer une collaboration sur le pont. Le rendez-vous lui-même est probablement l'événement politique le plus important du projet à court terme.
Lectures recommandées : l'article POPL 2022 Catala: A Programming Language for the Law (en libre accès), la documentation du projet sur catala-lang.org, et plus largement la thèse de Denis Merigoux pour comprendre les choix de design.
Cinq filiations additionnelles
À côté des six filiations principales développées ci-dessus, le projet est traversé par cinq influences additionnelles qui méritent au moins une mention substantielle.
Michel Foucault sur Roussel et au-delà. Outre son livre de 1963 sur Roussel mentionné plus haut, Foucault a fourni au projet le concept de dispositif — ces ensembles hétérogènes qui produisent des sujets et des vérités. Un cadre Law.${Space}${Time}.${Author} est exactement un dispositif foucaldien explicitement typé. Sa critique de la gouvernementalité (cours du Collège de France, 1977-1979) est indispensable pour ne jamais oublier que rendre le droit calculable peut aussi rendre les sujets gouvernables — d'où les garde-fous de la Partie 17 sur le risque de monoculture des cadres.
Bruno Latour et le parlement des choses. Dans Politiques de la nature (1999), Latour propose qu'on intègre les non-humains dans la délibération politique, par des dispositifs qui leur donnent une voix typée. Le Common.Climate.Dsl du Ship 9 est la traduction technique directe de cette proposition : le climat a son propre cadre, et les lois humaines doivent négocier avec lui via un bridge inter-cadres explicite. Quand une loi pro-pétrole devient un compile error parce qu'elle viole les budgets CO2 du cadre climatique applicable, c'est Latour qui parle techniquement.
Lawrence Lessig — Code is Law. Code: Version 2.0 (2006) pose la thèse fondatrice que dans le monde numérique, les architectures techniques régulent les comportements aussi puissamment que les lois — et que les concepteurs de ces architectures sont de facto des législateurs. Le projet métacratique outillé est une réponse à cette thèse : si le code est devenu loi, alors la loi peut devenir code, et la frontière entre les deux n'a plus à être asymétrique. Mais le projet inverse la posture défensive de Lessig : au lieu de demander aux développeurs d'être plus conscients de leur pouvoir législatif, il propose aux législateurs et aux citoyens de se saisir du même outillage que les développeurs, pour produire du droit comme on produit du code — typé, versionné, forkable, contestable.
Cornelius Castoriadis sur l'autonomie. Dans L'Institution imaginaire de la société (1975), Castoriadis distingue hétéronomie (une société qui croit que ses lois lui viennent de l'extérieur — d'un dieu, d'une nature, d'une nécessité historique) et autonomie (une société qui sait qu'elle se donne ses lois et qui peut les remettre en question). Le projet métacratique outillé est une infrastructure pour l'autonomie castoriadienne. Quand un citoyen choisit son cadre Law.${Space}${Time}.${Author} parmi plusieurs concurrents, qu'il peut le forker, qu'il peut écrire le sien, il sait à chaque instant que la loi est une production humaine spécifique et contestable. C'est exactement l'inverse de l'hétéronomie. C'est probablement le seul outil concret connu pour réaliser techniquement le projet politique de l'autonomie.
Alain Supiot sur la gouvernance par les nombres — la critique salutaire. Dans La Gouvernance par les nombres (2015), Supiot critique sévèrement la substitution croissante des indicateurs quantifiés à la délibération politique. Sa critique est pertinente et il faut la lire précisément : il ne critique pas la formalisation en soi (il admire d'ailleurs le droit romain qui est lui-même un système formel parfaitement spécifique à son (Espace × Temps × Auteur)), il critique la substitution d'un cadre algorithmique unique à la délibération politique qui devrait précisément générer et choisir ses cadres. Le projet métacratique outillé prend cette critique au sérieux, et c'est précisément ce qui justifie son insistance sur la pluralité native des cadres concurrents (modèles B et C de la Partie 16). Un cadre unique imposé aurait exactement le défaut que Supiot diagnostique. Une multiplicité de cadres explicitement typés et publiquement contestables n'a pas ce défaut — au contraire, elle outille la délibération en rendant les divergences politiques techniquement adressables.
La réponse rhétorique préparée
Quand un juriste, un philosophe ou un militant dira « vous voulez algorithmiser le droit, c'est une dérive technocratique », voici la réponse que cette filiation autorise :
Non. Nous appliquons à la production juridique ce que Chomsky a démontré pour la production linguistique en 1957, ce que Whitehead et Russell ont fondé pour la mathématique en 1910, ce que Roussel et l'OuLiPo ont prouvé pour la production littéraire dès 1914, ce que Sowa a opérationnalisé pour la représentation des connaissances dans les années 1980, ce que Bertrand Meyer a formalisé comme Design by Contract en 1988, et ce que Catala vient récemment de démontrer empiriquement faisable en collaboration avec la DGFiP. À savoir : qu'on peut générer des cadres de travail spécifiques — des grammaires spécifiques d'une langue, des systèmes axiomatiques spécifiques d'une mathématique, des dispositifs littéraires spécifiques d'une œuvre, des contrats spécifiques d'un composant logiciel, des fragments spécifiques d'un code juridique — et que chaque cadre vient avec ses propres spécifications, son propre vocabulaire, ses propres règles internes. Le projet métacratique outillé ne fait pas autre chose : il génère des cadres juridiques spécifiques indexés par
META(Ex × Ty), chacun avec ses spécifications propres, et il assume la pluralité de ces cadres comme garantie technique contre l'illusion totalitaire d'une vérité juridique unique. Tout est spécifique. Aucune généralité abstraite ne descend du ciel pour s'imposer aux acteurs. À l'intérieur de chaque cadre, le citoyen, le juge, le législateur sont libres et auteurs. Le projet métacratique outillé est dans la lignée de la grammaire générative chomskyenne, pas dans celle de Cybersyn.
Cette réponse n'est pas une posture rhétorique. Elle est techniquement vraie parce que l'architecture du système (couches DSL, génération, validation par compile error, marge [VagueByDesign], IsHumanRequired flags) implémente exactement les distinctions de Chomsky, de Whitehead, de Roussel, de Meyer. La filiation est le fondement architectural, pas un vernis.