Rostfrei: Ein Rust-Framework für nachvollziehbare Software

Wenn KI mehr Code erzeugt, wird die Frage nach dem Verständnis des Systems wichtiger, nicht unwichtiger. Welche Fachregel gehört wohin? Warum wurde ein Befehl akzeptiert? Welche Ereignisse haben zum aktuellen Zustand geführt? Mit Rostfrei arbeiten wir an einem Rust-Framework für Domänenmodellierung, Event Sourcing und Messaging. Sein Leitgedanke: Understand your code. Even when AI wrote it.

Ein Framework in der Alpha-Phase

Rostfrei ist Open Source unter der European Union Public Licence 1.2 (EUPL-1.2). Die APIs entwickeln sich weiter. Diese Einführung bezieht sich auf die öffentliche Dokumentation vom 18. Oktober 2026 und den Repository-Stand 849eec3. Sie ist weder ein unabhängiges Sicherheitsgutachten noch eine Zusage von Produktionsreife.

Fachliche Struktur sichtbar machen

Makros beschreiben Teile des Domänenmodells. Der Befehl cargo rostfrei check prüft dessen konfigurierte Struktur. Domain Behavior bleibt von Persistenz- und Messaging-Adaptern getrennt. Das macht Zusammenhänge untersuchbar und hilft Menschen und Coding-Agenten bei der Orientierung. Eine Strukturprüfung beweist aber nicht, dass eine Fachregel richtig verstanden oder vollständig implementiert wurde.

Befehle und Ereignisse sind nicht dasselbe

Ein Befehl fordert eine fachliche Handlung an. Seine Behandlung kann Ereignisse erzeugen oder die Handlung ablehnen. Private Domain Events bilden die Geschichte eines Aggregats; separat versionierte Integration Events dienen als öffentliche Verträge nach außen. Die Dokumentation beschreibt NATS-JetStream-Adapter für Speicherung und Messaging. Fachliche Korrektheit hängt weiterhin von den implementierten Regeln, dem Betrieb und überprüften Annahmen ab.

Untersuchen, simulieren und ausführen trennen

Die Tracer-Werkzeuge unterscheiden Inspektion, Vorschau beziehungsweise Simulation, Tests mit isoliertem Zustand und produktive Ausführung. Für produktiven Dispatch ist eine separate Capability vorgesehen. So ist das Erkunden eines Modells nicht automatisch die Erlaubnis, echte Daten zu verändern. Simulation deterministischer Domänenlogik ist allerdings kein allgemeines Sicherheitsversprechen für externe Seiteneffekte.

Ereignisgeschichte ist nicht automatisch ein revisionssicheres Audit

Rostfrei dokumentiert eine wichtige Vertrauensgrenze: Normale History Reads prüfen lokale Strukturen, vertrauen aber den unterstützten Schreibpfaden des Event Stores. Tiefere historische Prüfungen erfolgen über explizite Audit-Funktionen oder eine strengere Read-Policy. Außerdem sind nicht alle Traces dauerhaft gespeichert. Event Sourcing allein macht ein System weder manipulationssicher noch rechtlich revisionssicher.

Mit einem kleinen Modell anfangen

Das Repository enthält ein Bike-Rental-Beispiel, das Befehle, Ereignisse und Laufzeitwerkzeuge zusammenführt. Es ist ein Einstieg zur Evaluation des Frameworks, kein Ersatz für eine Bewertung des eigenen Anwendungsfalls. Für einfache CRUD-Anwendungen kann eine weniger aufwendige Architektur besser passen. Rust und explizite Modelle ersetzen auch keine Anwendungsauthentifizierung, Berechtigungsprüfung oder Tests.

Öffentlich weiterentwickeln

Rostfrei ist für uns ein konkreter Beitrag zur Frage, wie Software mit und für KI-Agenten verständlich bleiben kann. Es liefert nicht automatisch einen vollständigen KI-Agenten oder eine fertige Unternehmensplattform. Den aktuellen Stand, Architekturentscheidungen und Einstieg findet ihr im Repository und in der Dokumentation. Über Probleme, Grenzen und sinnvolle Einsatzfälle möchten wir genauso sprechen wie über neue Funktionen.