Arch hat das Paket entfernt, mit dem Sandboxes weiterarbeiten konnten, während unprivilegierte User-Namespaces abgeschaltet blieben, und es gibt keinen Ersatz dafür. Ditana dreht die Anordnung stattdessen um: Ein Namespace wird allem verweigert, was nicht ausdrücklich deklariert ist, und ein BPF-Programm am userns_create-Hook des Kernels setzt das durch. Eine Maschine, die das Programm nicht laden kann, lässt Namespaces vollständig abgeschaltet – ein Fehlschlag kostet also Sandboxes und niemals Schutz.

Eine Installation kann nun auch ohne jemanden an der Tastatur ablaufen und nimmt ihre Antworten aus einer Datei auf einem kleinen Config-Laufwerk, das der Installer von selbst findet. Und die Pipeline, die das Ditana-Paket-Repositorium baut, ist öffentlich – zusammen mit jedem Lauf, den sie je gemacht hat.

Das erste stabile Release der Inferenzmaschine. zelph lässt sich als WebAssembly im Browser ausprobieren, ohne dass etwas den Rechner verlässt, aus vorgebauten Binaries unter Linux, macOS und Windows installieren oder über sein C-ABI in eine Anwendung einbetten, wofür eine Rust-Schicht bereitsteht.

Der gesamte mathematische Aufbau ist in zelph-Regeln geschrieben statt in C++, von Ziffertabellen bis zum symbolischen Differenzieren, und jedes Beispiel in der Dokumentation wurde gegen das tatsächliche Binary ausgeführt.

Seit August 2026 wird zelph vom NGI0 Commons Fund der NLnet Foundation gefördert, für Auditable Reasoning over Linked Open Data, mit finanzieller Unterstützung durch das Next-Generation-Internet-Programm der Europäischen Kommission und das Schweizer Staatssekretariat für Bildung, Forschung und Innovation.

Wenn eine Inferenzmaschine über einem offenen Wissensgraphen zu einem Schluss kommt, tritt üblicherweise das Ergebnis heraus, und der Beweis bleibt im Werkzeug. Das Projekt macht aus der Fähigkeit von zelph, über Wikidata zu schließen, eine Infrastruktur, die jeder offene Wissensgraph nutzen kann: streamender Import für RDF/N-Triples und JSON-LD, ein offenes Exportformat, das vollständige Ableitungsketten als Linked Data veröffentlicht, eine wiederverwendbare Bibliothek von Constraint-Regeln und ein Beweis-Explorer, mit dem sich jede abgeleitete Aussage zurück auf ihre Belege verfolgen lässt.

Im Juli 2026 haben Alpöge und Fable eine polynomiale Abbildung angegeben, die eine seit 1939 offene Vermutung widerlegt. zelph verifiziert dieses Gegenbeispiel über den ganzen Zahlen allein mit Regeln. Der C++-Kern der Engine enthält überhaupt keine Arithmetik, also werden Ziffern, Stellenwertrechnung, ganze Zahlen mit Vorzeichen, symbolisches Differenzieren und Polynom-Normalformen zuerst als Regeln aufgebaut, und die Widerlegung läuft darauf.

Das Tutorial: https://acrion.github.io/zelph/math/tutorial-jacobian/

Das größte Release in der Geschichte von Ditana. Alles, was der Installer weiß, liegt nun als Daten in einem eigenen Repositorium statt als Code, vier Desktop-Umgebungen lassen sich nebeneinander installieren, und eine Verbesserung erreicht neue Installationen ohne ein neues Medium.

Release Notes: https://ditana.org/release-notes/0-9-3-beta/

Stefan hielt einen Vortrag für die Wikidata Ontology Cleaning Task Force über zelph.org und dessen Anwendungsmöglichkeiten zur Analyse und Bereinigung der Wikidata-Ontologie.

Siehe https://nexuslua.org