R&D LAB Computational Design Studie Modell, keine Chronik
Prereq
Abhängigkeitsatlas der Technik
130 Fähigkeiten, 348 begründete Kanten, dreizehn Invarianten, die den Lauf bei einem Verstoß abbrechen.
- 130Fähigkeiten
- 348begründete Kanten
- 13Invarianten, die abbrechen
- 44maschinell aufgegriffene Verstöße
Farbe ist hier Temperatur, nie Kategorie. Wer eine Linie bei dem zieht, was der eigene Ofen schafft, sieht rechts davon eine Welt, die er nicht bauen kann.
Publikationsgrund
Viele der Systeme, die wir bauen, treffen mehr Aussagen, als sich von Hand durchsehen lassen. Prereq zeigt, wie wir damit umgehen: Die Regel wird als ausführbarer Test geschrieben, und der Lauf bricht ab, sobald sie verletzt ist. Die schärfste Regel im Atlas vergleicht zwei unabhängig gesetzte Felder und braucht dafür kein Urteil, deshalb greift sie genau dort weiter, wo Lesen nicht mehr reicht. Dieselbe Disziplin verlangen eine Stückliste, ein Tarifmodell und eine Fertigungsregel.
Ein Abhängigkeitsgraph der Technik ist leicht zu behaupten und schwer zu belegen: Jede Kante ist eine Behauptung, und ein Graph, der plausibel klingt, ist von einem, der stimmt, von außen nicht zu unterscheiden. Prereq geht das über Zwänge an, die im Code stehen statt in einem Dokument. Jede Kante ist entweder hart, ohne sie existiert die Fähigkeit nicht, oder eine Mengenfrage, sie existiert, nur nicht zu brauchbarer Rate, Güte oder Preis. Diese eine Unterscheidung trennt diesen Atlas von einem plausibel klingenden.
Die Idee
Ein Abhängigkeitsgraph ist billig zu behaupten
Zeichnen Sie Pfeile zwischen Fähigkeiten, und es sieht sofort nach Wissen aus. Genau darin liegt das Problem. Ein Graph, der plausibel klingt, ist von einem, der stimmt, von außen nicht zu unterscheiden, denn jede Kante ist eine Behauptung, und niemand liest 348 Behauptungen von Hand nach.
Prereq geht das über eine einzige Unterscheidung an, die im Code steht und nicht in einem Dokument. Eine Kante ist entweder hart, dann existiert die Fähigkeit ohne sie nicht, oder sie ist eine Mengenfrage, dann existiert die Fähigkeit sehr wohl, nur nicht zu brauchbarer Rate, Güte oder Preis. Bronze ohne Zinn ist keine Bronze. Bronze ohne Bergbau ist Bronze in kleiner Menge.
Diese Unterscheidung wirkt, weil sie sich prüfen lässt. Erreichbarkeit, Schichtung und die Knotentaxonomie laufen ausschließlich auf dem harten Graphen; Mengen-Kanten werden angezeigt und blockieren nie eine Möglichkeit. Wer eine Kante hart nennt, muss also einen physikalischen Grund hinschreiben, der ohne Wörter wie „zuverlässig“, „in Menge“ oder „billig“ auskommt.
Vor dieser Regel fand der Atlas sieben Zyklen und hielt sie für eine Entdeckung. Es waren keine. Jeder einzelne war aus einer Mengenaussage gebaut, die als Unmöglichkeit auftrat. Nach der Regel bleiben null echte Zyklen übrig: Die Zivilisation hat keine echten Henne-Ei-Probleme, nur teure. Das ist das erste Ergebnis, das nicht behauptet, sondern übrig geblieben ist.
Der Atlas ist dabei ein Modell und keine Geschichtsschreibung. Die Jahreszahlen sind Eingaben, an denen die Prüfungen greifen, nicht das Ergebnis einer Quellenarbeit. Was diese Seite belegt, ist die Widerspruchsfreiheit der Daten, nicht ihre Wahrheit, und die Anwendung sagt beides.
Ein Graph, der wie Wissen klingt, unterscheidet sich von einem, der Wissen ist, nur durch eine Prüfung, die abbricht.
Die Regel
Was eine Kante durchlaufen muss, bevor sie im Graphen bleibt
- 01 Eine Begründung schreiben Jede der 348 Kanten trägt eine eigene, geschriebene physikalische Begründung. Eine Kante ohne Begründung lässt den Lauf scheitern. Das ist kein Kommentar, sondern eine Bedingung.
- 02 Hart oder Mengenfrage entscheiden Hart heißt: ohne sie existiert die Fähigkeit nicht. Mengenfrage heißt: es geht auch ohne, nur langsamer, schlechter oder teurer. 269 Kanten sind hart, 79 sind Mengenfragen.
- 03 Gegen die Wortliste prüfen Enthält die Begründung einer harten Kante Wendungen wie „zuverlässig“, „in Menge“ oder „billig“, ist es in Wahrheit eine Mengenaussage, und der Lauf bricht ab. Die Umkehrung gilt ebenso: Eine Mengen-Begründung, die Unmöglichkeit behauptet, fällt auch durch, denn sie muss die schlechtere Variante benennen.
- 04 Gegen die Jahreszahl prüfen Keine harte Voraussetzung darf später datiert sein als das, was sie ermöglicht. Diese Regel braucht kein Urteil, weil zwei unabhängig gesetzte Felder übereinstimmen müssen. Über den Bestand gelegt griff sie 44 Verstöße auf.
- 05 Gegen den Datenträger prüfen Eine Fähigkeit, die eine Aufzeichnungsstufe braucht, darf nicht älter sein als der Träger, auf dem sich diese Aufzeichnung halten lässt. Auch das ist ein Feldvergleich und kein Urteil.
- 06 Erst dann schichten Erreichbarkeit, Längster-Pfad-Schichtung und die Vorfahren- und Nachfahrenkegel laufen ausschließlich auf den harten Kanten. Dreizehn Invarianten prüfen den fertigen Stand und beenden den Lauf bei einem Verstoß mit einem Fehlercode.
Eine Liste in historischer Reihenfolge und ein Graph mit begründeten Kanten
Die Zeitleiste
- Sagt, wann etwas gemacht wurde.
- Legt nahe, dass die Reihenfolge nötig war.
- Kann nicht sagen, was zuerst dagewesen sein muss.
- Kennt keinen Unterschied zwischen „geht nicht“ und „geht nicht schnell genug“.
- Nennt keinen Grund je Eintrag, nur ein Datum.
- Hat nichts, woran sie scheitern könnte.
Der Atlas
- Sagt, wann etwas möglich wurde, und rechnet den Abstand zum tatsächlichen Datum aus.
- Die Reihenfolge zum Entdecken weicht scharf von der historischen ab: Nahrungskonservierung ist Schritt 29 im Graphen und Nummer 92 in der Geschichte, Flaschenzug 14 gegen 50, Feder 54 gegen 15.
- Der Abstieg führt jede Fähigkeit Schicht für Schicht bis auf sechs Primitive zurück.
- Hart und Mengenfrage sind zwei Kantenarten mit zwei verschiedenen Folgen.
- Jede Kante trägt eine geschriebene Begründung statt einer Meinung.
- Dreizehn Invarianten brechen den Lauf ab, sobald der Bestand sich widerspricht.
Was die Trennung im Graphen anrichtet
Der Atlas zeigt 130 Fähigkeiten und 348 Kanten, jeder Pfeil von der Voraussetzung zur abhängigen Fähigkeit. Die gestrichelten Ringe sind Knoten, und ein Klick sagt, wie die Schleife gebrochen wird. Sieben davon sind Mengen-Knoten, drei Fähigkeiten tragen sich selbst hoch, echte gegenseitige Knoten gibt es keinen.
Das ist keine Aufräumarbeit an der Darstellung, sondern das Ergebnis der Regel. Jeder scheinbare Zirkelschluss löst sich auf, sobald man einer der beiden Seiten eine schlechtere Fassung zugesteht. Man braucht keine Präzisionsdrehbank, um eine Präzisionsdrehbank zu bauen; man braucht eine schlechtere, und die Kante ist damit eine Mengenfrage.
Die beiden letzten Kandidaten, Seil und Präzision, fielen auf dem zweiten Ehrlichkeitsdurchgang. Beide waren aus Formulierungen gebaut, die der eigenen Wortliste entkommen waren.
Die Prüfung, die kein Urteil braucht
Die schärfste Invariante ist die einfachste: keine harte Voraussetzung darf später datiert sein als das, was sie ermöglicht. Sie braucht kein Urteil, weil zwei unabhängig geschriebene Felder übereinstimmen müssen. Über den Datenbestand gelegt griff sie 44 Verstöße auf, jeder davon ein falsches Datum oder eine Mengenaussage, die der Wortliste entkommen war.
Das ist der ganze Punkt maschineller Prüfung. Ein Mensch, der 348 Kanten liest, sieht die zwei nicht, die nicht zusammenpassen. Ein Vergleich zweier Felder sieht sie sofort und übersieht nie eine.
Aus derselben Rechnung fällt eine zweite Größe heraus, die niemand eingetragen hat. Wenn eine Fähigkeit ab dem Jahr möglich ist, in dem ihre letzte harte Voraussetzung belegt ist, dann ist der Abstand zum tatsächlichen Datum berechneter technischer Verzug. Der Bogenbohrer führt diese Liste mit rund 46 500 Jahren an. Wo der Unterbau in die tiefe Vorgeschichte reicht, misst die Zahl allerdings eher den Abstand zweier Datierungen als eine liegen gebliebene Erfindung, und solche Knoten sind markiert und aus den Ranglisten genommen.
Eine Fähigkeit vollständig
Sechs Kennzahlen, und keine davon ist eingetragen. Neun Fähigkeiten liegen im harten Vorfahrenkegel, 43 im Nachfahrenkegel, die längste harte Kette darunter ist fünf Schichten tief, Platz 60 in der Reihenfolge zum Entdecken steht gegen Platz 49 in der historischen, und der Verzug beträgt 2 200 Jahre. Alle sechs Zahlen fallen aus dem Graphen heraus; das Nachrechnen am 2026-09-05 hat 43 und beide Plätze bestätigt.
Darunter läuft die Abstammung in beide Richtungen: links, was dagewesen sein musste, rechts, was dadurch möglich wurde. Die Fotografie stammt von Wikimedia Commons und trägt Urheber und Lizenz sichtbar im Bild, die Mechanismus-Zeichnung daneben ist eigenes SVG, eine von 23 parametrischen Archetypen, nach keiner Buchvorlage nachgezeichnet.
Derselbe Graph, vier Fragen
Was darunter liegt
Wo dieselbe Methode bei Ihnen greift
- Stücklisten und Fertigungsfolgen, bei denen „geht nicht“ und „geht nicht schnell genug“ zwei verschiedene Aussagen mit zwei verschiedenen Kosten sind.
- Regelwerke und Tarifmodelle, in denen zu viele Klauseln stehen, als dass ein Mensch sie noch auf Widerspruch durchsehen könnte.
- Lieferketten- und Abhängigkeitskarten, bei denen der Wert davon abhängt, dass jede Kante eine Begründung trägt statt einer Meinung.
- Jede Datensammlung, die groß genug ist, dass Prüfen von Hand nur noch Prüfen von Stichproben heißt.
Bildnachweis: Alle Aufnahmen auf dieser Seite sind Bildschirmfotos unserer eigenen Anwendung. Die darin gezeigten Fotografien stammen von Wikimedia Commons, ausschließlich frei lizenziert oder gemeinfrei, und werden in der Anwendung jeweils mit Urheber, Lizenz und Quellseite angezeigt.
Publikationsgrund
Was das für Ihr Projekt heißt
Weiteres aus dem Lab
Methode Event Scout Ein Sprachmodell liest die Veranstaltungsseiten, alles andere ist festes Programm. Übrig bleibt eine kurze Liste, wo sich ein Tag vor Ort lohnt. 
Angewandte Forschung Vellum Kanten, Perspektive, Licht und Text werden auf dem Telefon berechnet. Ein Dokument verlässt das Gerät erst, wenn jemand es sendet. 
Computational Design Atlas EV1 Zwölf Kapitel nehmen ein Elektroauto auseinander, bis zur einzelnen Zelle. Keine Modelldateien, keine Texturen: 327 Teile aus einer Maßtabelle. Dieselbe Prüfdisziplin auf Ihre Daten anwenden
Kontakt aufnehmen