CAS D’USAGE
Une question : comment fournir une vérité spatiale à une intelligence artificielle. Pas de volume, pas de décision intelligente. Cinq voies ont été essayées. Une voie est exacte en entiers. Quatre domaines sont déjà écrits sur elle — et deux études de cas s’exécutent dans cette page, sur des données réelles.
DEUX ÉTUDES DE CAS INTERACTIVES · DONNÉES RÉELLES
Avant les quatre domaines, deux études que vous pouvez faire fonctionner : un cube gonflé en sa sphère, avec un index qui parcourt les six faces, et un scanner recalé sur une radiographie, avec un certificat Lean qui dit oui ou non. Rien n’est une maquette ; chaque commande pilote le même calcul entier que l’étude de cas.
Interactif · Indexation
Une tuile de 10 m ne fait pas 10 m au pôle, et deux grilles voisines ne s’accordent pas sur leur couture. Une métacourbe de Gray parcourt les six faces du cube et donne à chaque cellule une adresse, de Genève au Svalbard.
Interactif · Modélisation · Simulation
Un scanner préopératoire recalé sur une radiographie peropératoire : six nombres exacts, une erreur bornée, et un verdict Lean qui certifie la pose ou la refuse. Douze cas réels, rejouables.
Le chemin vers un fait spatial. Quatre des voies s’arrêtent avant une décision à laquelle une IA peut se fier. La cinquième a été faite pour le problème.
Quatre scènes critiques posent la même question : un bloc opératoire, un corridor de drones au-dessus d’une ville, une galerie de mine, un radar. Un nuage de probabilités les décrit. Un solide exact décide.
Des surfaces pour l’œil — la perspective (Uccello, v. 1420), l’affichage ombré (Gouraud, 1971), puis les GPU et les splats. De l’image, pas de la matière. Ni construction, ni volume.
Logique ensembliste appliquée aux volumes (Requicha, 1977). Classer un point comme dedans, sur ou dehors casse en virgule flottante.
Surfaces de bord pour la CAO (Braid, 1973). L’appartenance d’un point au solide est coûteuse et instable. Faite pour un ingénieur, pas pour une IA en temps réel.
La cellule, venue de la cristallographie (Haüy, 1784). Favorable à une IA, et sans logique ni topologie — juste quand l’arithmétique des formes pilote la sortie.
SGDL
La géométrie comme fonctions récursives primitives (Péter, 1951 ; Rotgé, 1997). Exacte en entiers, polynomiale, prête à s’exécuter en parallèle. Faite pour la question.
La modélisation écrit un solide. La simulation l’exécute. La communication le porte vers une autre machine. Le chiffrement protège le signal avec la même géométrie. Aucune de ces opérations ne donne au solide une adresse. L’indexation le fait. C’était le pilier manquant à côté de la modélisation, de la simulation et de la communication : menée par l’espace, ou par les données, sur la théorie des métacourbes de Gray.
Une courbe de Gray visite chaque cellule et passe à une voisine, de sorte que les cellules qui se touchent dans l’espace se touchent dans l’index. Peano, Hilbert et Wunderlich sont les courbes de Gray historiques. Cantor, Lebesgue, la courbe de Cantor projective et les courbes semi-Gray remplissent aussi un carré, sans ce voisinage d’un pas. La théorie prend les deux lignées. Elle classe les virages, les motifs que ces virages produisent, puis compose les motifs en métacourbes — une courbe dont le pas est lui-même une courbe — et les assemble en composites et en rotors. L’énumération construit le chemin en entiers. La même construction quitte le carré pour n dimensions : les courbes, les métacourbes, les volumes qu’une adresse peut nommer, les coupes à travers ces volumes, et les courbes qui suivent une surface plutôt qu’une grille plane. La cubosphère est ce dernier cas.
Une requête suit l’espace, ou les données. L’index est l’adresse dans les deux cas. Aucune donnée n’est capturée : les données réelles restent où elles sont, et un solide synthétique est quelque chose qu’une IA peut vérifier. L’exolangage est le moteur qui décrit, indexe et infère ces solides. Ce n’est pas une note attachée à un maillage. Son nom est Spatial General Descriptive Language — langage général de description spatiale — et il infère désormais aussi.
Courbes de remplissage historiques en deux dimensions, élevées à des hyperstructures en n dimensions. Les courbes de Gray et les courbes non Gray alimentent les familles. Les familles deviennent des métacourbes bidimensionnelles, puis des métacourbes en n dimensions.
Peano, Hilbert, Wunderlich, et ce que l’exploration trouve encore.
Cantor, Lebesgue, Cantor projective, semi-Gray.
Tel qu’exposé à l’Open Geospatial Consortium, le 28 août 2026.
Zones d’exclusion, corridors et volumes de sécurité comme solides nommés, et non comme métadonnées sur un maillage.
Autonomie sans GNSS sur un terrain exact, à partir de la Lune.
IA observationnelle et données synthétiques attestées, dans une scène qu’une IA peut vérifier.
La mine autonome : zones d’écrasement, galeries et coques de fosse comme solides écrits, pas comme maillages.
