Construction 2 — L'inventaire du concret📋

La critique📋

ChatGPT Round 1 observe que le projet comporte « 15 ships principaux + 3 bis » et que « le chemin pratique du projet n'existe pas encore concrètement ». Tout reposerait sur « une infrastructure logicielle détaillée à venir ». Verdict : la concrétisation est différée, l'ensemble est hypothétique. Gravité : majeur.

La critique a une part de vérité : le système complet n'est pas livré. Mais elle a aussi un angle mort : elle décrit 15 ships au futur comme s'il n'y avait rien au présent. Ce round inventorie ce qui est concret aujourd'hui — pas pour prétendre que le projet est fini, mais pour montrer que la base n'est pas vide.

Catala : la preuve empirique que le droit est compilable📋

Le projet Catala, mené par Denis Merigoux à l'INRIA en partenariat avec la Direction Générale des Finances Publiques (DGFiP), est un compilateur pour le droit fiscal français. Il a produit :

• Un langage de programmation dédié à la formalisation du droit, présenté à POPL 2022 (Catala: A Programming Language for the Law) — la conférence de référence mondiale en langages de programmation.
• Une implémentation fonctionnelle du calcul des allocations familiales françaises, validée contre les résultats manuels de la DGFiP.
• Un partenariat institutionnel avec l'administration fiscale — preuve que la résistance administrative est surmontable quand l'intérêt est aligné (voir Round 0-3, Résistances).

Catala n'est pas metacratie. Metacratie est un projet plus large — elle ne se limite pas au calcul fiscal, elle vise la formalisation de l'ensemble du corpus juridique dans des cadres concurrents typés. Mais Catala démontre la prémisse fondamentale : la syntaxe juridique existante peut être lue et compilée par du code. Le texte de loi reste le texte de loi. Le compilateur le lit tel quel.

C'est un fait expérimental, pas une projection. La question « le droit est-il compilable ? » a reçu une réponse empirique positive dans au moins un domaine (le calcul fiscal). Metacratie s'appuie sur cette preuve pour étendre le périmètre. Le Catala.Bridge (Ship 6-bis) importera les résultats Catala dans l'écosystème Law.Dsl — interopérabilité, pas remplacement.

Le démonstrateur Round 7 : du code qui compile📋

Le Round 0-7 (Implémentation) n'est pas un diagramme ou une roadmap. C'est du code C# compilable qui démontre :

• Deux DSLs concrets : Law.Dsl (cadre législatif) et Citizen.Dsl (diagnostic citoyen), chacun avec ses types, ses attributs, ses contraintes.
• Événements typés : [PublishesEvent] et [ListensToEvent] — des attributs C# qui déclarent les événements qu'un DSL publie et ceux qu'il écoute. Le compilateur vérifie la cohérence : un événement publié sans listener est un warning, un listener sans publisher est une erreur.
• Pub/sub interfacé : ILegalEventBus avec deux implémentations — InMemoryLegalEventBus pour les tests et la démo, RabbitMqLegalEventBus pour la production. L'interface est le contrat ; l'implémentation est interchangeable.
• Cinq tests bout-en-bout : le législateur amende l'article L.210-1 (eau potable), l'événement WaterQualityStandardChanged se propage au dossier citoyen, le diagnostic est mis à jour. Cinq assertions vérifient la chaîne complète.

ChatGPT décrit ce round comme « livraisons futures ». C'est inexact : le code existe, il compile, les tests passent. Ce n'est pas un produit — c'est un démonstrateur. Mais un démonstrateur qui compile est plus qu'un plan.

Les Source Generators Roslyn : la technique est prouvée📋

Le pattern de génération de code qui sous-tend metacratie — les Source Generators Roslyn — n'est pas une technique expérimentale. C'est une technologie Microsoft stable, utilisée en production dans de nombreux projets .NET.

Plus spécifiquement, l'auteur de metacratie utilise ces mêmes générateurs dans son projet professionnel : un Content Management Framework (CMF) avec cinq DSLs M2 (DDD, Content, Admin, Pages, Workflow) construits sur un méta-métamodèle M3. Le pipeline de génération à cinq étages (Stages 0-5) est opérationnel. Les mêmes mécanismes — attributs C#, analyse Roslyn, génération de code, vérification compile-time — s'appliquent à Law.Dsl.

La technique n'est pas « à inventer ». Elle est prouvée dans un contexte non juridique. L'application au droit est nouvelle ; le moteur qui la produit ne l'est pas. C'est la différence entre construire un nouveau moteur et utiliser un moteur existant pour un nouveau véhicule.

Le corpus lui-même : ingénierie conceptuelle📋

18 parties de la série Compilateur, 5 documents philosophiques, 7 constructions Round 0, le site serard.dev dans son ensemble — ce n'est pas du code exécutable, mais c'est de l'ingénierie conceptuelle documentée publiquement. L'architecture est posée : les cinq couches (SUPRA, SUPER, INTER, INFRA, SUFRA), le paramétrage META(Espace × Temps), la distinction DLL État / DLL citoyenne, le ConsensusScorer, le [VagueByDesign], le CIT001.

Dans tout projet d'ingénierie, la phase de conception précède la phase de construction. Un architecte qui a produit les plans détaillés d'un bâtiment n'a pas encore construit le bâtiment — mais il n'est pas « au point zéro ». La documentation d'architecture de metacratie est l'équivalent des plans : elle contraint et guide la construction, elle est vérifiable (les concepts sont-ils cohérents ?), elle est publique (n'importe qui peut la critiquer — c'est le principe des rounds).

Recadrage de la roadmap : les ships ne sont pas séquentielles📋

ChatGPT lit la roadmap (18 ships dans la Partie 18) comme un plan séquentiel : « tout reposera sur une infrastructure logicielle détaillée à venir ». Mais les ships ne sont pas des étapes d'un pipeline séquentiel. Elles sont des briques empilables.

Ship 1 — Smoke Dumas : un test unitaire. Le compilateur vérifie que la nomination de Roland Dumas en 1995 produit une compile error (incompatibilité mise en examen / présidence du Conseil constitutionnel). C'est faisable avec le pattern du Round 7 appliqué à un seul article de la Constitution. Ce n'est pas un produit fini — c'est le premier test qui passe.

Ship 3 — Citizen.Dsl basique : un diagnostic CIT001 sur un cas réel. Le citoyen entre sa situation, le compilateur liste les aides auxquelles il a droit. C'est le cas d'usage du protocole pilote décrit dans la Construction 1.

Ship 1 et Ship 3 ne requièrent pas les 13 autres ships. Elles sont les premières briques — le reste s'empile sur elles, pas après elles. Le démonstrateur Round 7 est la preuve que l'empilage fonctionne techniquement.

La roadmap n'est pas un plan à exécuter intégralement avant que quoi que ce soit fonctionne. C'est une carte des briques possibles, ordonnée par dépendances techniques. La première brique est posable maintenant.

Ce que cette construction ajoute📋

Le Round 0-7 montrait du code. Cette construction le contextualise : le code du Round 7 n'est pas un prototype isolé, c'est l'application d'une technique prouvée (Source Generators) à un domaine nouveau (le droit), appuyée sur une preuve empirique tierce (Catala), dans un cadre architectural documenté (18 parties + corpus philo).

ChatGPT a raison que le produit fini n'existe pas. Il a tort de conclure que le projet est hypothétique. Entre « hypothétique » et « fini », il y a « en construction avec des fondations posées ». C'est là que se trouve metacratie.