Zusammenfassung

  • RFC 9682 erlaubt null Regeln in einer CDDL-Quelldatei, verlangt aber nach der Verarbeitung aller Direktiven weiterhin eine Regel als Einstiegspunkt.
  • Die Abnahme muss das tatsächlich zusammengestellte Modell erkennen lassen. Aufgelöste Abhängigkeiten, Suchumgebung und ausgewählte Wurzel können entscheidend sein, obwohl die oberste Datei unverändert bleibt.

Eine Prüfvorschrift kann ihren Zweck verlieren, ohne falsch formuliert zu sein. Die Forderung, eine Datei müsse mindestens eine Regel enthalten, passt zu einem eigenständigen Datenmodell. Sie passt weniger gut zu einer Quelle, deren Regeln erst durch die Einbindung anderer Module entstehen.

Wer an der alten Prüfung festhält, zwingt Lieferanten womöglich zu bedeutungslosen Ergänzungen. Wer sie ersatzlos streicht, übersieht womöglich die Prüfung des fertigen Ergebnisses. Zwischen unnötiger Strenge und fehlender Kontrolle liegt eine dritte Möglichkeit: dieselbe sachliche Anforderung auf der richtigen Ebene prüfen.

Genau diesen Schritt enthält eine Änderung an CDDL. Interessant ist daran weniger die Größe des Eingriffs als die Präzision seiner Begründung. Eine lokale Beschränkung entfällt, weil sie die Zusammensetzung behindert. Die Eigenschaft, die das vollständige Modell benötigt, bleibt bestehen.

Was die Grammatik jetzt zulässt

ABNF beschreibt Wiederholungen mit optionalen Unter- und Obergrenzen. Fehlt die Untergrenze, ist auch null erlaubt; eine vorangestellte Eins fordert mindestens ein Vorkommen. Daraus folgt eine Änderung der syntaktisch zulässigen Eingaben, nicht automatisch eine Aussage über ihre Verwendbarkeit. RFC 5234, Abschnitt 3.6

RFC 9682 erschien im November 2024 und aktualisiert die CDDL-Grammatik. Abschnitt 3.1 erlaubt regelarme bis regellose Dateien, weil Moduldirektiven sämtliche Regeln liefern können. Nach deren Verarbeitung bleibt mindestens eine Regel als Einstieg semantisch erforderlich. Auch der informative Anhang B.2 behandelt den Inhalt qualifizierter Bytefolgen erst nach der äußeren Syntaxverarbeitung. Die spätere Verarbeitung bedeutet keine Beliebigkeit des Ergebnisses. RFC 9682

Dabei geht es noch nicht darum, ob wohlgeformte Daten wahr oder vertrauenswürdig sind. Es geht um die Entstehung des Modells, das anschließend überhaupt angewendet werden soll. Eine leere CDDL-Quelldatei ist kein fertiges Modell, das unterschiedslos sämtliche Daten akzeptiert.

Im grundlegenden CDDL bestimmt die zuerst definierte Regel die Wurzel. Sie muss einen Typ und darf keine Gruppe definieren; der Name start ist nicht vorgeschrieben. Wie umfassend eine Anwendung die Datenbeschreibung durchsetzt, entscheiden ihre Entwickler auf einer anderen Ebene. Diese Freiheit hebt die Anforderung an das Modell nicht auf. RFC 8610, Abschnitte 2.2.4, 4.2 und 5

Eine Abnahme sollte deshalb nicht bei der Feststellung stehen bleiben, irgendeine Regel sei vorhanden. Entscheidend ist, ob die ausgewählte Wurzel zur vorgesehenen Verwendung gehört und ob sich ihre Auswahl nachvollziehen lässt. Eine zusätzliche Alibiregel kann den alten Test beruhigen und die eigentliche Frage verdecken.

Die Zusammenstellung hat eigene Eingaben

Der am 7. September 2026 geprüfte Modulvorschlag ist draft-ietf-cbor-cddl-modules-07 vom 2. September. Er bleibt ein Internet-Draft und ist kein verabschiedeter RFC. RFC 9682 verwies auf eine frühere Fassung.

Direktiven erscheinen darin so, dass grundlegende Werkzeuge sie als Kommentare lesen können. Diese Gestaltung ermöglicht geeignete Dateien für beide Verwendungsweisen. Sie garantiert nicht, dass ein Werkzeug beim Ignorieren benötigter Direktiven dasselbe Modell erzeugt wie ein Werkzeug mit Modulverarbeitung. Der Entwurf unterscheidet außerdem die Einbeziehung von Regeln vom Import referenzierter Regeln samt Abhängigkeiten. CDDL Module Structure, Fassung 07

Die allgemeine Einrichtung und Rangfolge der Quellverzeichnisse ist absichtlich nicht vollständig festgelegt. Ein beschriebenes Werkzeug sucht zunächst im aktuellen Verzeichnis und danach in seiner eigenen Sammlung. Ein weiteres Beispiel wählt die Wurzel per Kommandozeile und erzeugt eine synthetische erste Regel ohne Eingabedatei. Das sind dokumentierte Beispiele, keine für diesen Beitrag ausgeführten Versuche.

Damit wird die Suchumgebung Teil dessen, was ein Prüfer kennen muss. Eine gleichnamige Abhängigkeit im lokalen Verzeichnis kann eine andere sein als diejenige aus einer mitgelieferten Sammlung. Die oberste Datei muss sich dafür nicht ändern. Wer nur ihren unveränderten Inhalt dokumentiert, beweist nicht die Identität des gesamten Modells.

Ein Namensraumpräfix reduziert Kollisionen zwischen Regeln. Es belegt nicht die Herkunft des tatsächlich gefundenen Inhalts. Auch ein vertrauenswürdiger Ursprung sagt noch nicht, ob die richtige Wurzel gewählt wurde. Diese Nachweise ergänzen einander; sie lassen sich nicht durch dasselbe Erfolgssymbol ersetzen.

Man kann sich einen Lieferanten und einen Kunden mit unterschiedlichen Sammlungen vorstellen. Beide prüfen gewissenhaft und erhalten unterschiedliche Ergebnisse, obwohl sie dieselbe Datei nennen. Das ist ein hypothetischer Ablauf, kein Vorwurf gegen einen Anbieter. Er zeigt, warum die Abnahme dem zusammengestellten Gegenstand folgen muss.

Nachvollziehbarkeit statt Ersatzregeln

Ein zweckmäßiger Zusammenstellungsnachweis würde die Quelleninhalte, Suchkonfiguration, Prozessorversion, gewählte Wurzel und das erzeugte Modell verbinden. Diese Empfehlung ist eine redaktionelle Folgerung, keine zusätzliche Verwaltungsvorgabe der IETF.

Sie soll vor allem spätere Rekonstruktion ermöglichen. Nach einem Werkzeugwechsel, einer bereinigten Arbeitsumgebung oder dem Ausscheiden eines Mitarbeiters können die entscheidenden Bedingungen fehlen, obwohl die Hauptdatei noch im Archiv liegt. Was heute leicht zu sichern ist, lässt sich dann möglicherweise nur teuer oder gar nicht wiederherstellen.

Dabei müssen drei Aussagen unterscheidbar bleiben: Die Dateisyntax wurde akzeptiert. Die Referenzen wurden verarbeitet. Das vollständige Modell hat den vorgesehenen Einstieg. Dafür braucht es weder drei Produkte noch drei Abteilungen. Es braucht ein Ergebnisprotokoll, das den tatsächlichen Umfang der Prüfung nicht übertreibt.

Die vorliegenden Quellen liefern keine Verbreitungszahlen und dokumentieren hier keinen konkreten Angriff. Es wurden keine Implementierungsversuche ausgeführt. Die technische Aussage ist dennoch klar begrenzt: Eine Vorbedingung wandert von der einzelnen Datei zum späteren Modell. Die organisatorische Schlussfolgerung lautet, den Nachweis und die Verantwortung an dieselbe Stelle mitzunehmen.