Code-intelligentie voor codebases | Dweve Reed
Reed bouwt één stabiel model voor query, rangschikking, transformatie en verificatie. Lokaal met gecompileerde grammatica's, onder Apache-2.0-voorwaarden.
Wat is Dweve Reed?
Reed is een lokale code-intelligence-engine voor codebases. Hij parseert broncode tot één herbruikbaar structureel model met syntax en containment, declaraties en verwijzingen, imports en omgekeerde imports, aanroeprelaties waar die worden ondersteund en gerangschikte structurele relevantie. Daardoor kunnen meerdere vragen worden beantwoord zonder telkens opnieuw te parsen. Reed draait lokaal en offline met ingebouwde grammatica’s. Toegang tot de repository vraag je aan; verstrekte broncode valt onder de Apache-2.0-termen.
- Het reproduceerbare contract benoemt bronbytes, grammatica-inhoud, parserversie, configuratie, Unicode-versie, deterministische grenzen, query en volgorde, zodat dezelfde gedeclareerde invoer hetzelfde geordende resultaat oplevert.
- Structurele uitvoer staat los van taalbewuste semantische bindingen, aanroepen en type-relaties. De dekking wordt per taal en diepte gepubliceerd.
Kies de doelgroep die bij je vraag past
De pagina bevat drie selecteerbare lezingen van hetzelfde onderwerp.
Voor consumenten
Reed is de lokale codelees-engine in Dweve Fabric. Hij herkent onderdelen en relaties in gestructureerde tekst en houdt elk onderdeel aan de exacte plek gekoppeld, zodat de omgeving nauwkeurig kan reageren en dezelfde structuur opnieuw kan produceren wanneer er niets is veranderd. Reed valt onder Apache-2.0.
Voor bedrijven
Reed is een lokale code-intelligence-engine in Rust voor codebases. Hij maakt van elke repository één stabiel structureel model met een controleerbare parseboom, exacte locaties, herhaalbare runs en zichtbare refactorplannen. Reed verschijnt in de derde ronde van Dweves publicatieprogramma, met de documentatie diezelfde dag op docs.dweve.com.
Voor engineers
Code wordt als tekst geschreven. Software bestaat als structuur. Reed maakt één stabiele lezing die tools kunnen bevragen, rangschikken, transformeren en verifiëren.
Kennismanagement gebouwd op Reed-geparse atomen.
Geverifieerde runtime met BLAKE3-ketenintegriteit.
Bewijzen en certificaten die passen bij Reed-roots.
Correct afgeronde wiskunde onder de parserlaag.
Lees wat Reeds structurele lezing vastlegt voordat je een adoptieroute kiest.
Volledige CFG, ondersteuning voor ambiguïteit.
reguliere tokens via DFA, de rest via scanners
BLAKE3 bindt parse aan invoer, grammatica, configuratie.
Gedeeld compact bos. Alle geldige parses behouden.
Cascadeert SLR naar GLR naar GLL, snelst naar meest algemeen.
UTF-8 lexer. Trivia behouden. Foutherstel.
Bewerk een opmerking. De hele boom verandert.
Audit betekent herbouwen. Duur en fragiel.
Parseboom leeft in RAM en sterft met het proces.
Alleen bewerkte subbomen worden opnieuw bezocht.
Gebonden aan invoer, grammatica, configuratie.
Code, configuratie, documenten en DSL's.
Wanneer de vraag komt, beantwoordt het bewaarde bewijs die zonder herbouw.
Installeer op de servers die jij bezit, en het bewijs begint gewoon te accumuleren.
A en een publieke repo maken een korte, schone review.
Voor het meest gevoelige werk draait Reed volledig zonder netwerk.
Vastgezet in een lidstaat naar keuze. Niets overschrijdt een grens die jij niet hebt goedgekeurd.
In jouw gebouw, achter jouw firewall. Het werk verlaat de ruimte nooit.
Waar het draait en aan wie het verantwoording aflegt
Er is destijds niets bewaard, dus er is niets om naar te verwijzen.
Een kwetsbaar proces dat toch eindigt in een resultaat waar niemand echt op vertrouwt.
De bron bevestigen betekent de hele codebase herbouwen.
Het antwoord is een belofte, niet iets dat iemand kan verifiëren.
Zodra Reed in de derde ronde verschijnt, betekent het bezit van de broncode dat een leverancierswissel jouw tooling nooit in de steek laat.
Een bewijsbon beantwoordt de auditor zonder herbouw.
Draait op een standaard CPU. Geen GPU-vloot om aan te schaffen of op te wachten.
Draait binnen de bestaande toolchain zonder externe dienst of per-zetel-meter. Het budget is integratie en beheer, geen terugkerende toegang.
De bron is van jou. Als een leveranciersrelatie eindigt, eindigt jouw tooling niet.
Repositorygeschiedenis en bouwinstructies blijven zichtbaar voor technische reviewers.
Inspecteer de parser, reproduceer de build en bewaar elk certificaat dat het uitgeeft.
Nee. Reed draait binnen het product en is niet afhankelijk van een extern Reed-account.
Nee. Het leest waar je bent en stuurt niets naar buiten.
Nee. Het is ingebouwd en werkt zelfstandig.
Nee. Het is gratis en blijft gratis, met niets om later te kopen.
De app is niet afhankelijk van een Reed-account of externe dienst om je bestanden te blijven lezen.
Verander één woord en de kleine bon stopt met matchen.
Vraag hetzelfde twee keer en het antwoord verandert niet.
Jouw woorden komen terug zoals je ze achterliet, jaren later.
Oude bestanden komen terug zoals je ze achterliet.
Een computer ver weg leest hetzelfde bestand en krijgt dezelfde stempel.
Als later één woord verandert, matcht de stempel niet meer.
Een kleine stempel toont dat het precies dat bestand las en niets anders.
Reed opent je document en begrijpt wat erin staat.
Reed invoeren is geen technisch project. Het volgt het beoordelingstraject dat je al gebruikt voor inkoop, IT en compliance, en niemand hoeft code te schrijven. Dit is de route van eerste goedkeuring tot de dag dat Reed een auditor antwoordt.
De laatste vraag is waar de data staat. Reed heeft geen eigen server en neemt tijdens het werk nergens contact mee op. Het draait op je eigen machines, in een EU-datacenter naar keuze, of volledig offline. Je data blijft onder Europese regels en overschrijdt nooit een grens die je niet hebt goedgekeurd.
De hele reden dat Reed bestaat is één vraag die een auditor uiteindelijk zal stellen: is dit gebouwd van goedgekeurde bron, en kun je dat bewijzen. Vandaag is het eerlijke antwoord 'vertrouw ons'. Reed verandert dat in een bewijsstuk dat iedereen kan controleren. Hier is dezelfde vraag, beantwoord op de oude manier en de Reed-manier.
Twee vragen bepalen of een tool de moeite waard is: welke terugkerende kosten haalt het weg, en welke risico's vermindert het? Reed beantwoordt beide. De linkerkant toont de besparingen; de rechterkant de verminderde risico's. Geen code of jargon, gewoon een case die je kunt meenemen naar een goedkeuringsvergadering.
Begin met de vraag die inkoop als eerste stelt: wat komt er binnen en wie controleert het? Reed draait in je eigen toolchain, bewaart ontvangstbewijzen bij de resultaten en introduceert geen serviceafhankelijkheid.
Het is eerlijk om voorzichtig te zijn met iets nieuws op een computer. Dus hier zijn de eerlijke vragen die een verstandig mens stelt, met duidelijke antwoorden die je kunt vertrouwen. Open er een om meer te lezen.
Meestal weet je niet dat Reed er is. Maar het doet kleine, nuttige dingen eronder, het soort dingen dat je later een hoofdpijn bespaart. Hier zijn een paar dagelijkse zorgen waar het stilletjes voor zorgt.
Je kunt Reed elke dag tegenkomen zonder het te merken. Het zit in gewone producten zoals een schrijftool, een websiteformulier of een helper die vragen beantwoordt, en voert stilletjes één afgebakende taak uit. Dit zijn een paar van die momenten.
Hier is het deel dat stilletjes belangrijk is. Reed leest precies hetzelfde bestand op precies dezelfde manier, of het nu draait op je computer thuis of op een computer in een ander land. Het antwoord verandert niet omdat de machine dat deed. Geen verrassingen, geen ander resultaat op een andere dag.
Zie Reed als een zorgvuldige lezer die voor de computer werkt. Wanneer een app een document, een formulier of zijn eigen instellingen moet openen, is Reed het deel dat het goed leest en begrijpt wat erin zit. Je raakt het nooit aan. Het zorgt er gewoon voor dat jouw dingen openen zoals ze zouden moeten.
SLR biedt een snel tabelgestuurd pad, GLL blijft algemeen met polynomiale worst-case tijd en incrementeel opnieuw parsen raakt alleen de bewerkte deelboom. Structureel scannen met SIMD draait op gigabytes per seconde op de CPU die je al bezit.
Reed wordt geleverd als een Rust-bibliotheek, een CLI-binary, een Language Server en een stabiele C ABI. Dezelfde parser, dezelfde hashes en dezelfde RQL, waar je tooling ook draait.
Reed Query Language beschrijft boompatronen in beknopte notatie. De compiler verlaagt RQL naar een bytecode van 20 opcodes en een backtracking-VM draait het over de geparste boom. Vind imports, tel calls, lokaliseer een regex binnen een stringliteral.
Sommige tokens kan een regex niet uitdrukken: inspringing, heredocs, geneste comments, raw strings. Reed levert acht ingebouwde externe scanners en laat je je eigen registreren met één grammaticadirective.
Reed is niet één parser. Het compileert een enkele RGS-grammatica naar vier engines, SLR, LALR, GLR en GLL, en parse_auto cascades van de snelste naar de meest algemene. Dan wordt elk knooppunt gehasht en wordt de boom verzegeld in een BLAKE3-certificaat gebonden aan invoer, grammatica en config.
De meeste parsers produceren een AST en vergeten de bron. Een build reproduceren betekent de hele codebase opnieuw parsen. Auditors die vragen 'is dit gebouwd van goedgekeurde bron?' hebben geen antwoord, alleen een vertrouwensketen.
Drie commando's: bouw de CLI vanuit de werkomgeving, parse je repo en lees de certificaatroot. De BLAKE3-root van je bronboom staat binnen enkele seconden in je terminal.
Reed verandert elke geparste codebase of configuratieset in een stabiel, controleerbaar verslag. Teams behouden de bron, parsercontract en BLAKE3-root, zodat auditvragen bewijsopzoekingen worden in plaats van dure herbouwen.
Reed werkt binnen de apps die jij gebruikt. Het opent documenten en formulieren, begrijpt hun structuur en houdt een bon bij zodat hetzelfde bestand elke keer op dezelfde manier wordt gelezen. Je hoeft het nooit in te stellen.
Reed parseert broncode tot een stabiele boom en verzegelt het resultaat met een BLAKE3-certificaatwortel. Teams kunnen de structuur als data opvragen en later verifiëren dat de boom nog steeds overeenkomt met dezelfde bron en parsercontract.
gestructureerde tekst elke keer hetzelfde te begrijpen
Reed is de lokale codelees-engine in Dweve Fabric. Hij herkent onderdelen en relaties in gestructureerde tekst en houdt elk onderdeel aan de exacte plek gekoppeld, zodat de omgeving nauwkeurig kan reageren en dezelfde structuur opnieuw kan produceren wanneer er niets is veranderd. Reed valt onder Apache-2.0.
Hetzelfde resultaat wanneer er niets is veranderd
Reed laat zien hoe de onderdelen in elkaar passen
Omgevingsregels, instellingen en andere gestructureerde tekst hebben een volgorde die software moet begrijpen. Reed identificeert de benoemde onderdelen en hun relaties, en houdt elk onderdeel verbonden met de exacte plek waar het vandaan komt.
Fabric ontvangt een gestructureerd resultaat dat gekoppeld is aan de originele tekst
Reed volgt dezelfde gedefinieerde lezing wanneer Fabric ongewijzigde gestructureerde tekst verwerkt onder ongewijzigde omstandigheden. Het resultaat verschuift niet tussen runs, en een wijziging in de tekst of de omstandigheden levert een ander resultaat op.