META(Ex × Ty) — l'index des cadres spécifiques📋

La signature📋

META(Ex × Ty) est la notation conceptuelle d’indexation des cadres. Elle exprime l’exigence de situer une représentation du droit dans un espace et un temps. Sa traduction en signature de type exige encore une définition des domaines, des règles de composition et des identités de cadres ; la notation seule ne constitue pas cette formalisation. Plusieurs auteurs peuvent proposer des cadres distincts pour le même contexte.

Décomposition formelle :

META(Ex × Ty) = un cadre juridique spécifique pour un (lieu, tradition, époque, auteur) précis

Ex = (GeographicScope, LegalTradition)
   GeographicScope ∈ {France, EU, UK, Germany, Quebec, NewCaledonia, RomeAntique, World, ...}
   LegalTradition  ∈ {Codified, CommonLaw, Roman, Canon, Customary, Hybrid, ...}

Ty = Time
   Année unique  : 1995, 2026
   Période       : 1988-1995
   Règne / mandature : MoyenAge, JulienPaul, MitterrandII

L’identité d’une instance est le triplet (Ex, Ty, Author), auquel s’ajoute sa version. META(Ex × Ty) nomme le contexte ; ${Author} identifie la responsabilité éditoriale du cadre situé dans ce contexte. Le nom de package ${DslName}.${Space}${Time}.${Author}.Dsl est une projection lisible de ces informations, pas une preuve d’autorité juridique. LegalTradition reste une métadonnée explicite du cadre même lorsqu’elle n’apparaît pas dans ce nom.

Pourquoi deux axes pour Ex📋

La structure Ex = (GeographicScope, LegalTradition) mérite une explication. Pourquoi ne pas se contenter d'un seul axe géographique ?

Parce que l'espace géopolitique et la tradition juridique varient indépendamment. Le Royaume-Uni est sur l'île britannique, mais sa tradition juridique est CommonLaw. La France est en Europe, mais sa tradition est Codified. Le Québec est en Amérique du Nord (où domine le CommonLaw), mais son droit civil est Codified (hérité du Code Napoléon). La Nouvelle-Calédonie est administrativement française mais elle a un droit coutumier kanak qui est Customary, distinct du droit codifié français qui s'y applique en parallèle. Le Vatican est un État européen mais son droit est Canon. La Rome antique sous Julien Paul (jurisconsulte du IIIe siècle) avait un droit Roman distinct du Codified continental moderne qui en descend.

Si on n'avait qu'un seul axe géographique, on perdrait la possibilité de typer un même territoire par plusieurs traditions concurrentes. Or c'est précisément ce qu'il faut pour rendre opérationnels des cadres comme Law.NewCaledonia2026.Customary.${Author}.Dsl (droit coutumier kanak) coexistant avec Law.NewCaledonia2026.Codified.Etalab.Dsl (droit français appliqué au territoire). Les deux cadres décrivent la même réalité géographique, mais selon deux traditions juridiques différentes, et ils peuvent — et doivent — être analysés en parallèle pour les cas où les deux droits se rencontrent.

Pourquoi un axe Time📋

Le Time mérite un développement à part. Sans lui, on aurait un système formel qui prétendrait à l'éternité, ce qui violerait directement la leçon centrale de Whitehead (cf. Partie 3) : la réalité change, donc tout cadre formel doit savoir qu'il est paramétré par un temps qui le déborde.

Concrètement, le Time capture trois choses différentes selon l'usage. Une année unique (2026, 1995, 1804, 1958) désigne un état du droit à une date de référence. Une période (par exemple 1988-1995) désigne une fenêtre où le droit était stable sur les axes qui intéressent le cadre. Un règne ou une mandature (MoyenAge, JulienPaul, MitterrandII) désigne une époque historique reconnue dans la périodisation conventionnelle de la juridiction concernée. Les trois formes coexistent, et c'est à l'auteur du cadre de choisir celle qui convient à son objet.

Le versioning permettrait de retrouver une représentation antérieure du droit, à condition d’archiver les packages, les sources et l’environnement de calcul. Une version de package n’est pas à elle seule une date d’applicabilité juridique : il faut distinguer publication, entrée en vigueur, abrogation, éventuelle rétroactivité et date des faits. Le dispositif complète les archives et les versions consolidées existantes ; sa fidélité au droit applicable reste à vérifier.

LawDslGenerator paramétré par toute la signature📋

LawDslGenerator (le méta-générateur juridique, traité en détail en Partie 7) est paramétré par tout ce qui fait varier le vocabulaire d'attributs. C'est-à-dire toute la signature META(Ex × Ty), mais en pratique il ne s'active que quand au moins un axe (GeographicScope, LegalTradition, Time) modifie le vocabulaire eux-mêmes — pas seulement leurs valeurs concrètes.

Le tableau suivant illustre cette distinction pour chaque axe :

Cette distinction est cruciale parce qu'elle évite la prolifération inutile de cadres. Si on avait besoin d'un cadre Law.${Space}${Time}.${Author}.Dsl pour chaque combinaison concrète sans distinguer les variations de vocabulaire des variations de contenu, on multiplierait à l'infini des cadres qui partagent en réalité les mêmes attributs avec des contenus différents — ce qui serait à la fois redondant et coûteux à maintenir. La règle pratique est : on génère un nouveau cadre quand un attribut apparaît, disparaît ou change de signature ; sinon, on enrichit le contenu d'un cadre existant.

Deux fréquences de regénération radicalement différentes📋

Une conséquence importante de la distinction vocabulaire/contenu est que les deux familles de cadres Common et Law se regénèrent à des rythmes très différents :

CommonDslGenerator peut tourner en CI quotidien : chaque publication au Journal Officiel ajoute potentiellement un nouvel actif (SocialHousingPLAI2026, par exemple), une nouvelle procédure (OnlineCAFRequest2026), une nouvelle subdivision géographique (une commune fusionnée). La regénération est fréquente mais peu invasive, parce qu'elle n'ajoute que du contenu dans un vocabulaire stable.

LawDslGenerator tourne rarement — peut-être cinq à dix fois en trente ans pour la France. Il ne tourne que quand le vocabulaire d'attributs change, c'est-à-dire quand on entre dans une nouvelle ère juridique structurelle. Le passage du Code Napoléon de 1804 au Code civil contemporain a vu disparaître [PaternalAuthority] et apparaître [PersonalData] — c'est une refonte qui requiert une nouvelle génération de cadre. Une révision constitutionnelle qui changerait fondamentalement le rôle du Conseil constitutionnel impliquerait peut-être l'apparition d'attributs nouveaux. Mais sur la grande majorité des années, le vocabulaire juridique français reste stable, et seul le contenu change.

Pour le cas Dumas et l'horizon France 1995-2026 (qui sera traité en détail en Partie 10), les trois axes sont stables : tradition codifiée constante, France métropolitaine constante, vocabulaire d'attributs ([Article], [Alinea], [Measure], [DemocraticProcedure]) fonctionnel et stable sur trente-et-un ans. On utilise donc deux instances de Common pour distinguer les époques (Common.France1995.Erard.Dsl avec francs et RMI ; Common.France2026.Etalab.Dsl avec euros et RSA majoré) mais une seule famille de Law au niveau du vocabulaire — les attributs sont les mêmes.

Pour aller au-delà — Code Napoléon, droit kanak, droit romain, common law📋

Dès qu'on veut typer le Code Napoléon de 1804, le droit coutumier kanak, le droit romain antique, le droit canonique, le common law britannique : le vocabulaire change. C'est là que LawDslGenerator devient indispensable. Pour le Ship 1 (le smoke test cas Dumas), on ne va pas jusque là — on s'arrête à la France codifiée 1995. Pour les Ships ultérieurs, et pour les contributions futures de la communauté, le générateur permet de produire de nouveaux cadres juridiques en quelques centaines de lignes de définition, sans réécrire l'infrastructure.

C'est précisément ce qui rend le projet générique sans être universalisant. Le méta-générateur est stable et générique ; les cadres qu'il produit sont spécifiques et multiples. La signature META(Ex × Ty) est l'interface entre les deux : elle est l'engagement formel qu'aucun cadre généré ne pourra prétendre à l'universalité, parce que son nom même portera son contexte d'application.

Pour aller plus loin📋

• Partie 3 — Filiation intellectuelle (précédente)
• Partie 5 — Architecture en couches (suivante)
• Hub de la série