Entwurf · Issue a76dbc0

Die Reihenfolge ist eine Sternkarte

Das Schichtdiagramm ist korrekt und sagt einem Menschen nichts. Was es zeigt, ist Geometrie; wonach gefragt wird, ist Zugehörigkeit.

Achtzig Knoten in Spalten, Pfeile, die meist durch eine Rinne zurücklaufen, weil eine erfüllte Kante beide Enden in dieselbe Schicht legt. Die eigentliche Frage — was hängt zusammen, und was kann ich nehmen — überlebt das Layout nicht. Und die Achse, auf die dieses Repository tatsächlich gatet, die Kette, ist im Schichtbild überhaupt nicht sichtbar.

01Warum die Bedeutung nicht im Bild wohnen darf

Das alte Bild rechnete seine ganze Bedeutung in einer privaten Funktion layout() innerhalb von order-graph.tsx. Es gibt in diesem Repository keine Render-Harness, also konnte keine Prüfung je etwas über dieses Bild sagen — und keine hat es. Die Suite prüft orderIndex; über die Zeichnung schweigt sie vollständig. just test war grün für ein Bild, zu dem keine Prüfung eine Meinung hatte.

Deshalb steht die Kodierung in lib/star-map.ts als reine Funktionen über Karte und Ordnung, und der Renderer liest die Antwort, statt eine eigene zu erfinden. Dieselbe Lehre wie bei 5d5298f: eine Behauptung über ein Bild, die nur in JSX existiert, ist eine Behauptung, die nichts prüfen kann.

02Zwei Achsen, zwei Formen — und Farbe für keine

Eine Karte steht irgendwo in der Ordnung (darf sie aufgenommen werden) und irgendwo in der Kette (wie weit ist ihr Plan gekommen). Keine der beiden beantwortet die andere: ein signierter Plan auf einer blockierten Karte ist gewöhnlich, und eine aufnehmbare Karte, für die niemand eine Zeile geschrieben hat, auch.

  • Der Kern sagt die Ordnung — gefüllt für earned, halb für unclaimed, hohl für blocked. unclaimed ist eine echte Antwort und muss wie eine aussehen, nicht wie ein schwächeres earned.
  • Der Ring sagt die Kette — kein Ring, dünn, geschlossen, leuchtend. Fünf Stufen für vier Planzustände, weil das Urteil des Gates die Stufe nach der Signatur ist und eine Karte, die bei approved aufhört, blind für das eine Glied wäre, das tatsächlich ein Image zurückhält.
  • Die Farbe sagt keine von beiden. Farbe ist die Zugehörigkeitsachse und bleibt ganz — eine zweite Bedeutung auf einem Kanal ist genau die Verflachung, gegen die diese Karte existiert.
  • Die Größe ist die Sprosse (lvl/) — die Frage, die ein Runner stellt, bevor er etwas nimmt, und ein Etikett, das jemand bewusst vergeben hat statt einer hinter seinem Rücken abgeleiteten Zahl.
  • hältein signierter Plan auf einer blockierten Karte: hohler Kern, geschlossener Ring
  • hälteine aufnehmbare Karte ohne jeden Plan: voller Kern, kein Ring
  • hält„noch kein Plan“ ist ein gezeichneter Zustand, nicht das Fehlen einer Antwort
  • hältein Etikett, das einen Plan behauptet, den der Baum nicht hat, steht auf keiner Sprosse
  • hältein unerreichbares Gate verdunkelt keinen Ring — unasked ist über diesen Server, nicht über die Arbeit
  • hältdie Sprosse ordnet die Größe, und eine Karte ohne lvl/ ist nicht die große
  • hältdasselbe Organ ist dieselbe Farbe, ein anderes eine andere, und ohne Organ gar keine

03Die Karte, der beide Fragen nicht gestellt werden

Der Kopf eines Organs steht in keiner Spalte — die Ordnungsfrage gilt für ihn nicht — und trägt keinen Plan — die Kettenfrage auch nicht. Der erste Prototyp beantwortete beide trotzdem und malte jede Map-Karte blockiert und planlos: eine Karte, die an zwei Fragen scheitert, die ihr niemand gestellt hat. Sie bekommt stattdessen ein eigenes Zeichen.

  • hältein Organkopf antwortet auf beide Achsen mit null, auch wenn man ihn drängt
  • hältein bloßes map-Etikett ohne effort/ ist kein Organkopf und wird ganz normal gefragt
  • hältund im ganzen Bild trägt genau der Kopf dieses Zeichen

04Bahnen: eine Ordnung, drei Verweise, ein Zählwerk

Eine needs/-Kante ist gerichtet und wird einmal gezeichnet, vom Vorläufer zu dem, was sie freischaltet. Ein Verweis ist ungerichtet, liegt auf beiden Karten des Paares und wird trotzdem einmal gezeichnet — und sagt seit b3cd475, welcher Art er ist. Was das Bild nicht hält, wird gezählt, nie weggelassen.

  • hältnur ein als solved geschlossenes Ziel erfüllt seine Kante
  • hältein bloß geschlossenes — aufgegebenes — Ziel erfüllt sie nicht
  • hältein Paar, das sich gegenseitig nennt, bekommt eine Bahn, kein Paar Bahnen
  • hältund eine Erwähnung behält ihre Art, auch neben einer Ordnung auf demselben Paar
  • hälteine Kante, die niemand lesen kann, markiert ihre Karte und wird nie als Abwesenheit gezeichnet
  • hältein Nachbar außerhalb des Ausschnitts ist eine Zahl an der Karte, keine fehlende Linie
  • hältund eine Karte, die mit gar nichts zusammenhängt, zählt null statt zu schweigen

05Was diese Seite nicht sehen kann

Das Kapitel liest, was der laufende Container hält. Es zeigt bewusst kein gerendertes Sternfeld: der Renderer steht nach dieser Unterschrift, und ein Bild hier würde ihn entweder davor ziehen oder etwas malen, was der Code nicht liefert.

  • Dass die Kodierung entscheidbar ist, beweist lib/star-map.test.ts — dieselben Funktionen, mehr Fälle, und drei absichtliche Sabotagen daran haben sechs Prüfungen rot gemacht.
  • Wo ein Stern steht, entscheidet der nächste Milestone. Zugehörigkeit vor Isolation, die Organe im Kern, das Organlose außen herum — und zweimal dieselben Daten müssen zweimal dasselbe Bild ergeben.
  • Wie es aussieht, beweist nichts davon. Das ist der Teil, für den jemand hinschauen muss.