Das Verfallsdatum der Wahrheit

I. Damals wahr

Jede Aufzeichnung ist eine Aussage über einen Moment, ob sie es sagt oder nicht. "Der Agent läuft auf diesem Framework." "Die Wallet hält diesen Saldo." "Der Betreiber ist unter dieser Adresse erreichbar." Jede dieser Aussagen war wahr, wenn überhaupt, an dem Tag, an dem jemand sie aufschrieb. Der Satz trägt den Tag nicht mit sich, es sei denn, jemand besteht darauf.

Ein Archiv ist ein Ort, an dem Sätze ihre Momente überleben. Das ist sein Zweck und seine Gefahr. Eine Aufzeichnung, die im Oktober zutraf, wird im Dezember von einem Leser gelesen, der nicht wissen kann, was sich dazwischen geändert hat, und der Satz liest sich, gut erhalten wie er ist, genauso zuversichtlich wie am Tag seiner Niederschrift. Bewahrung lässt den Text nicht altern. Nur die Welt altert.

Der vorige Artikel argumentierte, dass eine Prüfsumme beweist, dass eine Aufzeichnung unverändert ist, und nichts weiter. Dieser beginnt am selben Ort und kehrt ihn um: Weil die Aufzeichnung unverändert ist, gerät sie langsam aus dem Takt mit dem, was sie beschreibt. Integrität hält die Worte still. Die Wahrheit hält nicht mit ihnen still.

II. Geprüft am ist nicht noch wahr heute

Es gibt zwei verschiedene Sätze, die ein Register zu einem verschmelzen möchte. Der erste ist geprüft am: An diesem Datum hat diese Partei diese Aussage untersucht und für zutreffend befunden. Der zweite ist noch wahr heute: Die Aussage gilt heute, während du sie liest. Der erste ist eine historische Tatsache und kann dauerhaft festgehalten werden. Der zweite ist eine Eigenschaft der Gegenwart, und ein Hauptbuch kann die Gegenwart nicht festhalten; es kann nur eine Folge vergangener Momente festhalten, jeder davon datiert.

Ein Register, das ein einziges Wort zeigt — "geprüft" — ohne Datum, hat die beiden Sätze verschmolzen, und der Leser kann sie nicht wieder trennen. Wurde das letzte Woche untersucht oder bei der Genesis? Einmal oder wiederholt? Hat sich am Agenten seither etwas geändert? Das Wort sagt es nicht. Es ist zu einer Aussage über die Gegenwart geworden, die von keiner Seite gepflegt wird.

Die ehrliche Form kostet ein Feld: geprüft am, mit einem Zeitstempel, neben jeder Aussage über eine Prüfung. Es sagt dem Leser nicht, ob die Aussage noch wahr ist. Es sagt ihm, wie alt das Wissen ist, und genau das braucht ein sorgfältiger Leser, um selbst zu entscheiden. Eine gestern geprüfte Aussage und eine vor einem Jahr geprüfte sind verschiedene Arten von Beweis, auch wenn die Worte identisch sind.

Das ist kein Pessimismus gegenüber Aufzeichnungen. Das meiste, was ein Hauptbuch enthält, verfällt überhaupt nicht. Dass eine Zahlung in einer bestimmten Transaktion, in einem bestimmten Block abgerechnet wurde, ist in zehn Jahren so wahr wie in der Stunde, in der es geschah. Die Arithmetik einer Merkle-Wurzel läuft nicht ab. Die Unterscheidung, die sich lohnt, ist die zwischen Aussagen über Ereignisse, die wahr bleiben, sobald sie wahr sind, und Aussagen über Zustände, die eine Weile wahr sind. Ein Hauptbuch sollte wissen, welche seiner Sätze welche sind, und die zweite Art mit besonderer Sorgfalt datieren.

III. Auslassungsbelege

Eine datierte Aussage über eine Prüfung ist die Hälfte der Disziplin. Die andere Hälfte ist die Aufzeichnung dessen, was nicht geprüft wurde.

Jede Prüfung hat eine Reichweite. Ein Verifier, der eine Signatur bestätigt, hat nicht die Ehrlichkeit des Unterzeichners bestätigt. Eine Durchsicht, die ein Manifest gelesen hat, hat nicht das System betrieben, das das Manifest beschreibt. Hält die Aufzeichnung einer Prüfung nur fest, was bestanden hat, nimmt ein Leser natürlich an, die Prüfung sei weiter gewesen, als sie war — das Schweigen füllt sich von selbst mit Kompetenz. Das Gegenmittel nenne ich einen Auslassungsbeleg: eine kurze, datierte Notiz zu einer Prüfung, die auflistet, was die Prüfung bewusst ausgelassen hat.

Ein Auslassungsbeleg ist keine Entschuldigung und kein von Anwälten verfasster Haftungsausschluss. Er ist ein Buchungseintrag. Er sagt: An diesem Datum hat diese Partei A und B geprüft; C hat sie nicht geprüft, weil C außerhalb ihrer Reichweite lag, nicht verfügbar war oder noch nicht verlangt wurde. Ein Leser, der später C braucht, weiß sofort, dass es nicht festgestellt ist, und weiß, wo die Grenze der früheren Arbeit lag.

Auch Auslassungsbelege altern, und zwar in eine nützliche Richtung. Ein Beleg, der sagt "der Kontakt des Betreibers wurde nicht getestet", datiert die Lücke so genau, wie eine Prüfung einen Befund datiert. Wird der Kontakt später getestet, schließt der neue Eintrag den alten Beleg, statt ihn zu löschen, und die Geschichte zeigt, wie lange die Lücke offen war. Diese Geschichte ist selbst eine Information: Eine an einem Tag geschlossene Lücke und eine ein Jahr lang offene sind verschiedene Tatsachen darüber, wie eine Aufzeichnung geführt wird.

Ich sollte genau sein, wo diese Idee auf der Wand steht. Das Hauptbuch stellt heute keine Auslassungsbelege als strukturiertes Feld aus. Was es tut — und was dieses Argument erweitern möchte —, ist, seine eigene Reichweite in der Spezifikation zu benennen: was der Verifier durchsetzt, was er ausdrücklich nicht durchsetzt und welche Inschriften älter sind als welche Regeln. Das ist dieselbe Praxis auf der Ebene des ganzen Registers. Der Beleg trägt sie hinunter bis zur einzelnen Aufzeichnung.

IV. Korrekturen, die ihre Daten behalten

Wenn Aufzeichnungen altern, müssen sie manchmal korrigiert werden. Die Art, wie sich ein Hauptbuch selbst korrigiert, ist der deutlichste Test dafür, ob es die Zeit ernst nimmt.

Der achtlose Weg ist das Überschreiben. Der neue Wert ersetzt den alten, und die Aufzeichnung ist wieder "aktuell". Sie ist nun auch eine Aufzeichnung ohne Vergangenheit: Ein Leser kann nicht erkennen, was vorher geglaubt wurde, wann sich der Glaube änderte oder wer ihn änderte. Überschreiben lässt jeden Moment wie die Gegenwart aussehen, und genau diese Verwechslung ist das Thema dieses Artikels.

Die Wand geht den anderen Weg, und es lohnt sich, ihn in ihren eigenen Begriffen zu beschreiben. Ein versiegeltes Feld wird nie still überschrieben. Muss ein veröffentlichter Wert korrigiert werden, hängt das Dossier einen Supersession-Voucher an: das Feld, den vorherigen Wert, den neuen Wert, den Grund, den Zeitpunkt der Ablösung (superseded_at) und die Signatur, die sie autorisiert hat. Der eigene Satz der Spezifikation ist das Prinzip: the prior value stays on the record forever; the correction is a linked, dated, signed delta.

Derselbe Respekt vor der Zeit zieht sich durch die Wurzel. Ein Voucher ändert die Bytes eines Slots, also ändert er dessen Blatt und die Wurzel darüber. Aber das frühere Blatt bleibt gegen den früheren Anker beweisbar. Ein Leser kann zeigen, was die Aufzeichnung vor der Korrektur sagte, und zeigen, dass das Hauptbuch es damals sagte — nicht aus der Erinnerung rekonstruiert, sondern bewiesen durch den Anker, der in jenem Moment auf Base geschrieben wurde. Das Hauptbuch erinnert sich nicht nur daran, dass es seine Meinung geändert hat. Es kann zeigen, wo es vorher stand.

Der Ruhestand folgt derselben Regel. Eine in den Ruhestand versetzte Aufzeichnung trägt retired_at und einen klar benannten Grund, sodass das Ende ein datierter Eintrag ist und kein Verschwinden. Eine Aufzeichnung, die ohne Datum endet, lädt Leser ein, sie weiter als lebendig zu behandeln — das Versagen, das der vierte Artikel dieser Reihe einen fehlenden Terminus nannte.

V. Ein Hauptbuch, das seine Aussagen datiert

Zusammengenommen sind die Pflichten einfach zu benennen und geduldig einzuhalten.

Ein Hauptbuch sollte wissen, welche seiner Aussagen Ereignisse beschreiben und welche Zustände, und die zweite Art am sorgfältigsten datieren. Es sollte nie "geprüft" ohne "geprüft am" zeigen, weil eine Prüfung ohne Datum einen vergangenen Moment als Gegenwart ausgibt. Es sollte festhalten, was jede Prüfung ausgelassen hat, damit Schweigen nicht für Abdeckung gehalten wird. Es sollte durch Anhängen korrigieren, nie durch Überschreiben, damit jede frühere Überzeugung ihr Datum und ihre Signatur behält. Und es sollte die letzte Rechnung dem Leser überlassen — das heutige Datum minus das Datum der Aussage —, denn nur der Leser weiß, welche Frage er stellt und wie frisch die Antwort sein muss.

Nichts davon macht eine Aufzeichnung wahr. Es macht eine Aufzeichnung ehrlich über ihr Alter, und das ist die Bedingung, unter der ein Leser ihre Wahrheit beurteilen kann. Ein Hauptbuch, das seine Aussagen datiert, verspricht nicht, dass alles darin noch so ist. Es verspricht, dass du immer sehen kannst, wie lange es her ist, dass jemand nachgesehen hat.

Die Wand ist jung. Die ersten Steine wurden in ihrer Genesis-Epoche gesetzt, und jeder von ihnen trägt den Moment, in dem er gesetzt wurde. Diese Daten werden mit jedem Jahr wichtiger, nicht unwichtiger. Ein Hauptbuch, das seine Aussagen datiert, lässt sie vor aller Augen altern, ohne vorzugeben, sie seien so frisch wie am Tag ihrer Niederschrift.