R&D LAB Design computationnel Étude Un modèle, pas une chronique
Prereq
Un atlas des dépendances techniques
130 capacités, 348 arêtes justifiées et treize invariants qui arrêtent l'exécution en cas de violation.
- 130capacités
- 348arêtes justifiées
- 13invariants qui interrompent
- 44infractions relevées par la machine
La couleur est ici la température, jamais la catégorie. Tracez une ligne à ce que votre propre four atteint, et tout ce qui est à droite est un monde que vous ne pouvez pas bâtir.
Pourquoi c'est publié
Beaucoup des systèmes que nous construisons produisent plus d'affirmations qu'on ne peut en relire à la main. Prereq montre comment nous procédons : la règle est écrite comme un test exécutable et l'exécution s'arrête dès qu'elle est violée. La règle la plus tranchante de l'atlas compare deux champs saisis indépendamment ; elle ne demande aucun jugement et continue d'agir là précisément où la lecture ne suffit plus. Une nomenclature, un modèle tarifaire et une règle de fabrication exigent la même discipline.
Un graphe de dépendances de la technique est facile à affirmer et difficile à étayer : chaque arête est une affirmation, et un graphe qui semble plausible est, vu de l'extérieur, indiscernable d'un graphe exact. Prereq s'y attaque par des contraintes inscrites dans le code plutôt que dans un document. Chaque arête est soit dure, et la capacité n'existe pas sans elle, soit une question de quantité, et elle existe, mais pas à un débit, une qualité ou un prix utilisables. Cette seule distinction sépare cet atlas d'un atlas qui sonne juste.
L'idée
Un graphe de dépendances est facile à affirmer
Tracez des flèches entre des capacités et cela ressemble aussitôt à du savoir. C'est précisément là le problème. Un graphe qui semble plausible est, vu de l'extérieur, indiscernable d'un graphe exact, car chaque arête est une affirmation, et personne ne relit 348 affirmations à la main.
Prereq s'y attaque par une seule distinction, inscrite dans le code et non dans un document. Une arête est soit dure, et alors la capacité n'existe pas sans elle, soit une question de quantité, et alors la capacité existe bel et bien, mais pas à un débit, une qualité ou un prix utilisables. Du bronze sans étain n'est pas du bronze. Du bronze sans exploitation minière est du bronze en petite quantité.
Cette distinction fonctionne parce qu'elle est vérifiable. L'accessibilité, la stratification et la taxonomie des nœuds ne tournent que sur le graphe dur ; les arêtes de quantité sont affichées et ne bloquent jamais une possibilité. Qualifier une arête de dure oblige donc à écrire une raison physique qui se passe de mots comme « fiable », « en quantité » ou « bon marché ».
Avant cette règle, l'atlas trouvait sept cycles et les prenait pour une découverte. Ils n'en étaient pas. Chacun était bâti sur une affirmation de quantité déguisée en impossibilité. Après la règle, il ne reste aucun vrai cycle : la civilisation n'a pas de véritables problèmes de la poule et de l'œuf, seulement des problèmes coûteux. C'est le premier résultat qui n'a pas été affirmé mais qui est resté.
L'atlas est un modèle et non une historiographie. Les années sont des entrées sur lesquelles mordent les contrôles, non le fruit d'un travail de sources. Ce que cette page atteste, c'est l'absence de contradiction dans les données, pas leur vérité, et l'application le dit dans les deux sens.
Un graphe qui sonne comme du savoir ne se distingue d'un graphe qui en est que par un contrôle qui échoue.
La règle
Ce qu'une arête doit franchir avant de rester dans le graphe
- 01 Écrire une raison Chacune des 348 arêtes porte sa propre raison physique écrite. Une arête sans raison fait échouer l'exécution. Ce n'est pas un commentaire, c'est une condition.
- 02 Trancher : dure ou question de quantité Dure signifie que la capacité n'existe pas sans elle. Question de quantité signifie qu'elle existe, mais plus lentement, moins bien ou plus cher. 269 arêtes sont dures, 79 relèvent de la quantité.
- 03 Contrôler contre la liste de mots Si la raison d'une arête dure contient des tournures comme « fiable », « en quantité » ou « bon marché », c'est en réalité une affirmation de débit et l'exécution s'arrête. L'inverse vaut aussi : une raison de quantité qui affirme l'impossibilité échoue également, car elle doit nommer la version moindre qui fonctionne sans le prérequis.
- 04 Contrôler contre l'année Aucun prérequis dur ne peut être daté après ce qu'il rend possible. Cette règle n'exige aucun jugement, car deux champs écrits indépendamment doivent concorder. Appliquée au corpus, elle a relevé 44 infractions.
- 05 Contrôler contre le support d'enregistrement Une capacité qui exige un niveau d'enregistrement ne peut être antérieure au support sur lequel cet enregistrement peut tenir. Là encore, c'est une comparaison de champs et non un jugement.
- 06 Ensuite seulement, stratifier L'accessibilité, la stratification par plus long chemin et les cônes d'ascendants et de descendants ne tournent que sur les arêtes dures. Treize invariants contrôlent l'état final et terminent l'exécution par un code d'erreur à la moindre infraction.
Une liste dans l'ordre historique et un graphe d'arêtes justifiées
La chronologie
- Dit quand une chose a été faite.
- Suggère que l'ordre était nécessaire.
- Ne peut pas dire ce qui devait exister d'abord.
- Ignore la différence entre « impossible » et « pas assez rapide ».
- Ne donne aucune raison par entrée, seulement une date.
- N'a rien à quoi elle pourrait échouer.
L'atlas
- Dit quand une chose est devenue possible et calcule l'écart avec la date où elle a été faite.
- L'ordre de découverte diverge nettement de l'histoire : la conservation des aliments est l'étape 29 dans le graphe et le numéro 92 dans l'histoire, la poulie 14 contre 50, le ressort 54 contre 15.
- La descente ramène toute capacité, couche par couche, jusqu'à six primitives.
- Dure et à l'échelle sont deux types d'arêtes aux conséquences distinctes.
- Chaque arête porte une raison écrite plutôt qu'une opinion.
- Treize invariants arrêtent l'exécution dès que le corpus se contredit.
Ce que la distinction fait au graphe
L'atlas montre 130 capacités et 348 arêtes, chaque flèche allant du prérequis vers ce qui en dépend. Les anneaux en pointillés sont des nœuds, et un clic explique comment la boucle est rompue. Sept sont des nœuds de quantité, trois capacités s'amorcent elles-mêmes, et il n'existe aucun véritable nœud mutuel.
Ce n'est pas un rangement du dessin, c'est le produit de la règle. Toute circularité apparente se dissout dès qu'on accorde à l'un des deux côtés une version moindre. Il ne faut pas un tour de précision pour construire un tour de précision ; il en faut un moins bon, et l'arête devient une question de quantité.
Les deux derniers candidats, la corderie et la précision, sont tombés lors de la deuxième passe d'honnêteté. Tous deux étaient bâtis sur des formulations qui avaient échappé à la liste de mots du projet.
Le contrôle qui n'exige aucun jugement
L'invariant le plus tranchant est le plus simple : aucun prérequis dur ne peut être daté après ce qu'il rend possible. Il n'exige aucun jugement, car deux champs écrits indépendamment doivent concorder. Appliqué au corpus, il a relevé 44 infractions, chacune étant soit une date fausse, soit une affirmation de quantité échappée à la liste de mots.
C'est tout l'intérêt du contrôle automatique. Une personne qui lit 348 arêtes ne voit pas les deux qui ne collent pas. Une comparaison de deux champs les voit aussitôt et n'en manque jamais.
Le même calcul produit une seconde grandeur que personne n'a saisie. Si une capacité est possible dès l'année où son dernier prérequis dur est attesté, alors l'écart avec la date réelle est une dette technique calculée. L'archet à percer est en tête de cette liste avec environ 46 500 ans. Là où l'infrastructure plonge dans la préhistoire profonde, le nombre mesure toutefois plutôt l'écart entre deux datations qu'une invention laissée de côté ; ces nœuds sont marqués et écartés des classements.
Une capacité en entier
Six chiffres clés, et aucun n'a été saisi à la main. Neuf capacités se trouvent dans le cône dur des ascendants, 43 dans celui des descendants, la plus longue chaîne dure en dessous est profonde de cinq couches, la position 60 dans l'ordre de découverte s'oppose à la position 49 dans l'ordre historique, et la dette est de 2 200 ans. Les six découlent du graphe ; le recalcul du 2026-09-05 a confirmé le 43 et les deux positions.
En dessous, la filiation court dans les deux sens : à gauche ce qui devait exister d'abord, à droite ce qui est devenu possible grâce à elle. La photographie provient de Wikimedia Commons et porte son auteur et sa licence visibles dans l'image ; le dessin de mécanisme à côté est notre propre SVG, l'un des 23 archétypes paramétriques, décalqué d'aucun ouvrage.
Le même graphe, quatre questions
Ce qu'il y a en dessous
Où la même méthode s'applique chez vous
- Nomenclatures et gammes de fabrication où « impossible » et « pas assez rapide » sont deux énoncés distincts avec deux coûts distincts.
- Corpus de règles et modèles tarifaires comportant plus de clauses qu'une personne ne peut encore relire pour y chercher des contradictions.
- Cartes de chaîne d'approvisionnement et de dépendances dont la valeur tient à ce que chaque arête porte une raison et non une opinion.
- Tout ensemble de données assez vaste pour que la vérification manuelle ne soit plus qu'une vérification par échantillon.
Crédits photographiques : toutes les vues de cette page sont des captures de notre propre application. Les photographies qui y figurent proviennent de Wikimedia Commons, uniquement sous licence libre ou dans le domaine public, et chacune est affichée dans l'application avec son auteur, sa licence et sa page source.
Pourquoi c'est publié
Ce que cela signifie pour votre projet
Plus du laboratoire
Méthode Event Scout Un modèle de langage lit les pages d'événements, tout le reste est du code fixe. Il reste une courte liste des journées qui valent le déplacement. 
Recherche appliquée Vellum Bords, perspective, lumière et texte sont calculés sur le téléphone. Un document ne quitte l'appareil que lorsque quelqu'un l'envoie. 
Design computationnel Atlas EV1 Douze chapitres démontent une voiture électrique, jusqu'à une cellule. Aucun fichier de modèle, aucune texture : 327 pièces issues d'un tableau. Appliquer la même discipline de vérification à vos données
Nous contacter