Code Intelligence Engine for Codebases | Dweve Reed

Wissens-Governance auf Reed-geparsten Atomen.

Verifizierte Laufzeit mit BLAKE3-Kettenintegrität.

Beweise und Zertifikate, die mit Reed-Wurzeln gepaart sind.

Korrekt gerundete Mathematik unter der Parsing-Ebene.

Erkunden Sie, was Reeds strukturelles Lesen aufzeichnet, bevor Sie einen Einführungsweg wählen.

Vollständige CFG, Mehrdeutigkeitsunterstützung.

reguläre Token über DFA, der Rest über Scanner

BLAKE3 bindet Parse an Eingabe, Grammatik, Konfiguration.

Gemeinsamer gepackter Wald. Alle gültigen Parses bleiben erhalten.

Kaskadiert SLR zu GLR zu GLL, schnellste zu allgemeinste.

UTF-8-Lexer. Trivia erhalten. Fehlerbehebung.

Ein Kommentar bearbeiten. Der ganze Baum ändert sich.

Audit bedeutet Neuaufbau. Teuer und fragil.

Parse-Baum lebt im RAM und stirbt mit dem Prozess.

Nur bearbeitete Teilbäume werden erneut besucht.

Gebunden an Eingabe, Grammatik, Konfiguration.

Code, Konfiguration, Dokumente und DSLs.

Wenn die Frage kommt, beantwortet der aufbewahrte Beleg sie ohne Neubuild.

Installiert auf den Servern, die Sie besitzen, und der Nachweis beginnt einfach zu akkumulieren.

Ein A und ein öffentliches Repo ergeben eine kurze, saubere Prüfung.

Für die sensibelste Arbeit läuft Reed ganz ohne Netzwerk.

Gebunden an einen Mitgliedstaat Ihrer Wahl. Nichts überschreitet eine Grenze, die Sie nicht genehmigt haben.

In Ihrem Gebäude, hinter Ihrer Firewall. Die Arbeit verlässt den Raum nie.

Wo es läuft und wem es verantwortlich ist

Damals wurde nichts aufbewahrt, also gibt es nichts, worauf man verweisen kann.

Ein fragiler Prozess, der trotzdem in einem Ergebnis endet, dem niemand ganz vertraut.

Die Quelle zu bestätigen bedeutet, die gesamte Codebasis neu zu bauen.

Die Antwort ist ein Versprechen, nichts, das jemand verifizieren kann.

Sobald Reed in der sechsten Runde veröffentlicht, bedeutet der direkte Besitz des Quellcodes, dass ein Lieferantenwechsel Ihre Werkzeuge nie im Stich lässt.

Ein Nachweisbeleg antwortet dem Prüfer ohne einen neuen Build.

Läuft auf einer Standard-CPU. Keine GPU-Flotte zu beschaffen oder darauf zu warten.

Läuft in der bestehenden Toolchain ohne externen Dienst oder Pro-Sitzplatz-Zähler. Das Budget ist Integration und Betrieb, nicht wiederkehrender Zugriff.

Der Quellcode gehört Ihnen. Wenn eine Lieferantenbeziehung endet, endet Ihr Werkzeug nicht.

Repository-Verlauf und Build-Anweisungen bleiben für technische Prüfer sichtbar.

Prüfen Sie den Parser, reproduzieren Sie den Build und behalten Sie jedes Zertifikat, das er ausgibt.

Nein. Reed läuft im Produkt und ist nicht von einem externen Reed-Konto abhängig.

Nein. Es liest direkt dort, wo Sie sind, und meldet nichts nach Hause.

Nein. Es ist eingebaut und funktioniert eigenständig.

Nein. Es ist kostenlos und bleibt kostenlos, ohne später etwas kaufen zu müssen.

Die App ist nicht von einem Reed-Konto oder Remote-Dienst abhängig, um Ihre Dateien weiterhin zu lesen.

Ändern Sie ein Wort und der kleine Beleg stimmt nicht mehr.

Frag zweimal dasselbe, und die Antwort ändert sich nicht.

Deine Worte kommen Jahre später so zurück, wie du sie hinterlassen hast.

Apps öffnen sich so, wie du sie verlassen hast.

Nichts, was du getippt hast, geht verloren.

Alte Dateien kommen so zurück, wie du sie verlassen hast.

Ein Computer weit weg liest dieselbe Datei und erhält denselben Stempel.

Wenn sich später auch nur ein Wort ändert, passt der Stempel nicht mehr.

Ein kleiner Stempel zeigt, dass genau diese Datei und nichts anderes gelesen wurde.

Reed öffnet dein Dokument und versteht, was darin steht.

Die Einführung von Reed ist kein Engineering-Programm. Sie folgt dem Prüfpfad, den Sie bereits über Beschaffung, IT und Compliance nutzen, und niemand muss Code schreiben. Dies ist der Weg von der ersten Genehmigung bis zu dem Tag, an dem Reed einem Prüfer antwortet.

Die letzte Frage ist, wo die Daten leben. Reed hat keinen eigenen Heimserver und greift während der Arbeit auf nichts zu. Es läuft auf Ihren eigenen Maschinen, in einem EU-Rechenzentrum Ihrer Wahl oder vollständig offline. Ihre Daten bleiben unter europäischen Regeln und überschreiten nie eine Grenze, die Sie nicht genehmigt haben.

Der ganze Grund für Reed ist eine Frage, die ein Prüfer irgendwann stellen wird: Wurde dies aus genehmigtem Quellcode erstellt, und können Sie das beweisen? Heute ist die ehrliche Antwort „Vertrauen Sie uns“. Reed verwandelt das in einen Beweis, den jeder überprüfen kann. Hier ist dieselbe Frage, auf die alte Art und auf die Reed-Art beantwortet.

Zwei Fragen entscheiden, ob ein Werkzeug eine Einführung wert ist: Welche wiederkehrenden Kosten beseitigt es, und welche Risiken reduziert es? Reed beantwortet beide. Die linke Seite zeigt die Einsparungen; die rechte zeigt die reduzierten Risiken. Kein Code oder Fachjargon, nur ein Fall, den Sie zu einem Genehmigungstreffen mitnehmen können.

Beginnen Sie mit der Frage, die die Beschaffung zuerst stellt: Was gelangt in die Umgebung und wer kontrolliert es? Reed läuft in Ihrer eigenen Toolchain, bewahrt Belege mit den Ergebnissen auf und führt keine Serviceabhängigkeit ein.

Es ist fair, bei allem Neuen auf einem Computer vorsichtig zu sein. Hier sind also die ehrlichen Fragen, die eine vernünftige Person stellt, mit klaren Antworten, denen Sie vertrauen können. Öffnen Sie eine beliebige, um mehr zu lesen.

Die meiste Zeit werden Sie nie merken, dass Reed da ist. Aber es erledigt kleine, nützliche Dinge im Hintergrund, die Art von Dingen, die Ihnen später Kopfschmerzen ersparen. Hier sind ein paar alltägliche Sorgen, um die es sich leise kümmert.

Sie können Reed jeden Tag begegnen, ohne es zu bemerken. Es steckt in gewöhnlichen Produkten wie einem Schreibwerkzeug, einem Website-Formular oder einem Helfer, der Fragen beantwortet, und erledigt leise eine begrenzte Aufgabe. Dies sind einige dieser Momente.

Hier ist der Teil, der leise wichtig ist. Reed liest dieselbe Datei auf dieselbe Weise, ob es auf Ihrem Computer zu Hause oder auf einem Computer in einem anderen Land läuft. Die Antwort ändert sich nicht nur, weil sich die Maschine geändert hat. Keine Überraschungen, kein anderes Ergebnis an einem anderen Tag.

Stellen Sie sich Reed als einen sorgfältigen Leser vor, der für den Computer arbeitet. Wenn eine App ein Dokument, ein Formular oder ihre eigenen Einstellungen öffnen muss, ist Reed der Teil, der es richtig liest und versteht, was darin ist. Sie berühren es nie. Es stellt nur sicher, dass Ihre Dinge so geöffnet werden, wie sie sollten.

SLR treibt einen schnellen tabellenbasierten Pfad, GLL bleibt allgemein bei polynomieller Worst-Case-Zeit, und inkrementelles Reparsen berührt nur den bearbeiteten Teilbaum. SIMD-Strukturscanning läuft mit Gigabyte pro Sekunde auf der CPU, die Sie bereits besitzen.

Reed wird als Rust-Bibliothek, CLI-Binärdatei, Language Server und stabile C-ABI ausgeliefert. Derselbe Parser, dieselben Hashes, dieselbe RQL, wo auch immer Ihre Toolchain lebt.

Die Reed Query Language beschreibt Baumstrukturen in präziser Notation. Der Compiler senkt RQL auf einen Bytecode mit 20 Opcodes, und eine Backtracking-VM führt ihn über den geparsten Baum aus. Finden Sie Importe, zählen Sie Aufrufe, lokalisieren Sie einen Regex innerhalb eines String-Literals.

Einige Token kann ein Regex nicht ausdrücken: Einrückung, Heredocs, verschachtelte Kommentare, Rohstrings. Reed enthält acht eingebaute externe Scanner und ermöglicht es Ihnen, mit einer Grammatikdirektive eigene zu registrieren.

Reed ist nicht ein Parser. Es kompiliert eine einzelne RGS-Grammatik in vier Engines, SLR, LALR, GLR und GLL, und parse_auto kaskadiert vom schnellsten zum allgemeinsten. Dann wird jeder Knoten gehasht und der Baum in ein BLAKE3-Zertifikat versiegelt, das an Eingabe, Grammatik und Konfiguration gebunden ist.

Die meisten Parser erzeugen einen AST und vergessen die Quelle. Die Reproduktion eines Builds bedeutet, die gesamte Codebasis neu zu parsen. Prüfer, die fragen: „Wurde dies aus genehmigtem Quellcode erstellt?“, haben keine Antwort, nur eine Vertrauenskette.

Drei Befehle: Bauen Sie die CLI aus dem Workspace, parsen Sie Ihr Repository, lesen Sie die Zertifikatswurzel. Die BLAKE3-Wurzel Ihres Quellbaums ist in Sekunden in Ihrem Terminal.

Reed verwandelt jede geparste Codebasis oder Konfigurationsmenge in einen stabilen, überprüfbaren Datensatz. Teams behalten die Quelle, den Parservertrag und die BLAKE3-Wurzel, sodass Prüfungsfragen zu Beweisnachschlagen werden statt zu teuren Neubauten.

Reed arbeitet in den Apps, die Sie verwenden. Es öffnet Dokumente und Formulare, versteht ihre Struktur und führt einen Beleg, sodass dieselbe Datei jedes Mal auf dieselbe Weise gelesen wird. Sie müssen es nie einrichten.

Reed parst Quellcode in einen stabilen Baum und versiegelt das Ergebnis mit einem BLAKE3-Zertifikatswurzel. Teams können die Struktur als Daten abfragen und später verifizieren, dass der Baum weiterhin demselben Quellcode und Parservertrag entspricht.

strukturierten Text jedes Mal gleich zu verstehen

Reed ist die lokale Code-Lese-Engine in Dweve Fabric. Es erkennt die Teile und Beziehungen in strukturiertem Text und hält jedes Teil an seiner genauen Stelle, sodass der Workspace präzise reagieren und dieselbe Struktur erneut erzeugen kann, wenn sich nichts geändert hat. Reed ist unter Apache-2.0 veröffentlicht.