Cinq choses dans tous les domaines
L'Atlas liste vingt-huit domaines. Cinq choses les traversent tous : un seul graphe sous chaque domaine, une seule fonction qui tourne à quatre largeurs, tout qui se montre, tout qui est prouvé, et une longue portée. Un écran chacun.
- Un graphe sous chaque domaine
Le code, les flux, la connaissance, les schémas et un monde déclaré sont une seule structure.
- Voies, cœurs, GPU, nœuds
Une fonction, exécutée sur des voies, des cœurs, la carte graphique ou des nœuds, par la mesure.
- Visuel par défaut
Tout ce qui est calculé peut se montrer, sans rien ajouter.
- Prouvé
Des tests, des gardes-scénario, des fuzzers, des suites de propriétés, une porte et une nomenclature.
- Les langages déclarés
Chaque fichier que l'on déclare, en un tableau, avec son étape.
- Portée
Les plateformes, les autres langages, et les ports vers le monde.
en construction Chaque chiffre de ces pages est un décompte de fichiers et de lignes de texte, ou une mesure de la bibliothèque à un commit nommé, et chaque page dit lequel. Les chiffres venus d'une évaluation extérieure du 2026-10-07 sont marqués comme des lectures et pas des exécutions.