Zusammenfassung

  • Ein checkgroups-Text bildete alle Gruppen seines wirksamen Bereichs samt Beschreibung und Moderationsstatus ab. Innerhalb dieses vollständigen Satzes konnte eine Auslassung daher eine Löschanforderung ausdrücken.
  • chkscope grenzte einbezogene und ausgeschlossene Zweige ab; chksernr stieg bei jeder Listenänderung und schützte einen bereits abgeglichenen Server vor einer verspäteten älteren Fassung.
  • Das Medienformat enthielt keine Autorisierung, und kein Agent musste handeln. Authentifizierung, Ausnahmen und die tatsächliche Katalogänderung blieben lokale Entscheidungen.

Vier lokale Einträge, drei angebotene

Zwei Server führen im selben Namenszweig vier Gruppen. Eine neue Kontrollnachricht bietet genau drei als vollständigen Bestand an, nimmt einen separat verwalteten Unterzweig aus und trägt eine höhere Seriennummer als die zuletzt akzeptierte Fassung.

Der erste Betreiber erkennt den Herausgeber an, prüft den vierten Eintrag und nimmt ihn außer Betrieb. Der zweite erkennt dieselbe Autorität an, bewahrt die Gruppe aber wegen lokaler Nutzung als Ausnahme. Der ausgeschlossene Zweig bleibt auf beiden Systemen unberührt. Eine später eintreffende niedrigere Seriennummer führt nicht zurück zum alten Katalog.

Die Abweichung ist kein Informationsfehler. Die Nachricht beschreibt präzise, welchen Zustand sie vorschlägt; sie erwirbt dadurch kein Eigentum an den Beständen der Empfänger.

Der frühe Ablauf endete beim lokalen Verwalter

RFC 1036 bezeichnete den Nachrichtenkörper als offizielle Liste der Gruppen und ihrer Beschreibungen. Ein Host verglich sie mit den Gruppen, die er selbst führte, meldete neue oder veraltete Einträge an den örtlichen Usenet-Verwalter und aktualisierte Beschreibungen.

Schon hier gab es drei getrennte Tatsachen: die transportierte Referenz, den Bestand eines bestimmten Hosts und die Reaktion seines Verwalters. Von einer zentralen Tabelle, die alle Kopien gleichzeitig umschreibt, war nicht die Rede.

Der Wert des Verfahrens lag gerade in sichtbarer Drift. Ein zusätzlicher lokaler Name, ein lokal fehlender offizieller Name oder eine abweichende Beschreibung wurden zu prüfbaren Differenzen, nicht automatisch zu globalen Wahrheiten.

Vollständigkeit gab dem Fehlen Bedeutung

RFC 5537 präzisierte die gewünschte Wirkung. Ein Agent, der checkgroups honoriert, soll die aufgeführten Gruppen führen, nicht aufgeführte Gruppen in der dargestellten Hierarchie entfernen und Beschreibung sowie Moderation angleichen. Der Körper muss deshalb für jede dargestellte Hierarchie vollständig sein; eine Teilliste ist unzulässig.

In einer Änderungsmitteilung bedeutet ein fehlender Name oft nur, dass zu ihm nichts Neues gesagt wird. In einer vollständigen Momentaufnahme bedeutet derselbe Mangel, dass der Name nicht zum angebotenen Satz gehört. Wer beide Dokumentarten verwechselt, macht aus einer Teilinformation eine gefährliche Löschanweisung.

Vollständigkeit ist folglich eine Aussage über negative Evidenz. Erst das Versprechen, nichts im Bereich auszulassen, macht die Auslassung operational verwertbar.

Der Bereich setzte der negativen Aussage eine Grenze

Namenshierarchien können delegierte Zweige haben. chkscope nimmt Präfixe auf und schließt mit einem Ausrufezeichen markierte Präfixe aus. Einbeziehungen werden vor Ausschlüssen berechnet, unabhängig von ihrer Reihenfolge im Text.

Damit kann die Nachricht eine ganze Hierarchie abgleichen und einen fremd verwalteten Unterzweig ausnehmen. Innerhalb des effektiven Bereichs ist Fehlen aussagekräftig; außerhalb sagt es nichts. Der Körper sollte auch keine fremden Namen enthalten, weil ältere Software chkscope womöglich nicht versteht.

Für die Beweissicherung gehören Inhalt und wirksamer Bereich zusammen. Ohne die Grenze lässt sich nicht mehr bestimmen, welche Auslassung als Entfernungswunsch galt.

Eine monotone Nummer statt einer Weltuhr

chksernr ist positiv, steigt bei jeder Änderung der Liste und fällt nie. Spätere Listen desselben Bereichs tragen den neuen Wert. Nach Annahme einer Fassung sollte ein Server die Nummer speichern und kleinere oder unnummerierte Fassungen ablehnen.

Die Nummer datiert weder das Netz noch alle Hierarchien. Sie ordnet die Momentaufnahmen eines bestimmten Bereichs. Kontrollartikel können verzögert eintreffen oder wiederholt werden; die gespeicherte Ordnung verhindert, dass eine alte Liste neuere Entscheidungen unbemerkt rückgängig macht.

Es gibt keine eigene Obergrenze jenseits der Headerbegrenzung. Implementierungen dürfen nicht annehmen, dass der Wert in einen nativen Integer passt. So bleibt die Reihenfolge länger gültig als eine einzelne Maschinenarchitektur.

Das Format wies seine Autorisierungslücke aus

Die Registrierung von application/news-checkgroups beschreibt Gruppennamen, Erläuterungen und Moderationsmarken. Sie hält zugleich fest, dass der Medientyp keine Autorisierungsinformation liefert. Diese muss aus einem anderen Verfahren stammen.

Eine syntaktisch richtige, vollständige und neuere Liste kann daher unbefugt sein. Ebenso kann ein befugter Herausgeber auf einen Server treffen, der Änderungen prüft oder eine lokale Ausnahme behält. Formatgültigkeit, Identität, Zuständigkeit und Ausführung sind eigenständige Prüfungen.

Gruppenkontrollnachrichten benötigen Approved; das Feld allein beweist aber keine Herrschaft über eine Hierarchie. RFC 5537 lässt Authentifizierungs- und Autorisierungsregeln beim Agenten und verpflichtet keinen Netnews-Agenten zum Handeln.

Die Abfrage zeigte den befragten Server

RFC 3977 definiert LIST ACTIVE als Auskunft über die Gruppen, die der befragte Server kennt, samt Status. Das ist eine lokale Bestandsaufnahme, weder die Referenzliste noch ein Beweis für die Übernahme durch andere Hosts.

Der Vergleich kann fehlende, zusätzliche oder anders moderierte Gruppen sichtbar machen. Den Grund liefert er nicht. Ablehnung, Ausnahme, ausgeschlossener Zweig, ausstehende Prüfung oder abweichende Bereitstellung bleiben mögliche Erklärungen.

Eine belastbare Aussage nennt deshalb Nachricht, Bereich, Server und Zeitpunkt. Aus der Entfernung auf einem Host wird keine Entfernung im gesamten Namensraum.

Register benannten das Instrument

RFC 5536 beschreibt einen Kontrollartikel als Bitte um eine Handlung über normale Speicherung und Weiterleitung hinaus. Das IANA Message Headers Registry führt Control dauerhaft; die Medienregistrierung stabilisiert den spezialisierten Körper.

Damit erkennen Implementierungen dieselben Werkzeuge. Die Register enthalten aber weder alle Hierarchiemitglieder noch die Ernennung ihrer Verwalter, die Authentifizierung des Genehmigenden oder die Ausführungsentscheidung jedes Servers. Ein standardisiertes Instrument ist kein Eigentumsnachweis für seinen Gegenstand.

Abgleich ohne erfundene Zentrale

checkgroups verband vier getrennte Sicherungen. Vollständigkeit machte Auslassungen lesbar, der Bereich begrenzte sie, die Seriennummer ordnete Fassungen, und die lokale Autorisierung entschied über die Umsetzung. Keine Sicherung musste zur zentralen Befehlsgewalt aufgeblasen werden.

So konnten zwei Kataloge bewusst verschieden bleiben, während beide Betreiber dasselbe Angebot verstanden. Verteilte Koordination braucht nicht immer identische Kopien. Sie braucht nachvollziehbare Aussagen darüber, welcher vollständige Satz in welchem Bereich angeboten und von welchem Verwalter tatsächlich angewandt wurde.

Quellen