Code Intelligence Engine for Codebases | Dweve Reed

Vidensstyring bygget på Reed-parserede atomer.

Verificeret kørsel med BLAKE3-kædeintegritet.

Beviser og certifikater, der parres med Reed-rødder.

Korrekt afrundet matematik under parsing-laget.

Udforsk, hvad Reeds strukturelle læsning registrerer, før du vælger en adoptionsvej.

Fuld CFG, understøttelse af tvetydighed.

regulære tokens via DFA, resten via scannere

BLAKE3 binder parse til input, grammatik, konfiguration.

Delt pakket skov. Alle gyldige parser bevares.

Kaskaderer SLR til GLR til GLL, hurtigst til mest generel.

UTF-8-lekser. Trivia bevares. Fejlgendannelse.

Rediger en kommentar. Hele træet ændres.

Revision betyder genopbygning. Dyrt og skrøbeligt.

Parsetræet lever i RAM og dør med processen.

Et parse-træ er ikke bevis for kildekoden

Bundet til input, grammatik, konfiguration.

Kode, konfiguration, dokumenter og DSL'er.

Kerne, grammatikker, forespørgsler, værktøjer.

Når spørgsmålet kommer, besvarer den gemte kvittering det uden en genopbygning.

Installerer på de servere, du ejer, og så begynder beviset blot at akkumulere.

En A og et offentligt repo giver en kort, ren gennemgang.

Til det mest følsomme arbejde kører Reed helt uden netværk.

Fastlåst til en medlemsstat, du vælger. Intet krydser en grænse, du ikke har godkendt.

Inde i din bygning, bag din firewall. Arbejdet forlader aldrig rummet.

Intet blev gemt dengang, så der er intet at pege på.

En skrøbelig proces, der stadig ender i et resultat, ingen fuldt ud stoler på.

At bekræfte kilden betyder at genopbygge hele kodebasen.

Svaret er et løfte, ikke noget, nogen kan verificere.

Når Reed udgiver i sjette runde, betyder det at holde kilden direkte, at en leverandørændring aldrig efterlader dit værktøj strandet.

En kvittering for bevis svarer revisoren uden en genopbygning.

Kører på en standard CPU. Ingen GPU-farm at anskaffe eller vente på.

Kører inde i den eksisterende værktøjskæde uden ekstern tjeneste eller måling pr. sæde. Budgettet er integration og drift, ikke tilbagevendende adgang.

Kilden er din at beholde. Hvis et leverandørforhold slutter, gør dit værktøj ikke.

Repository-historik og byggevejledninger forbliver synlige for tekniske reviewere.

Inspicér parseren, genskab bygningen, og behold hvert certifikat, den udsteder.

Nej. Reed kører inde i produktet og afhænger ikke af en ekstern Reed-konto.

Nej. Det læser lige der, hvor du er, og sender intet hjem.

Nej. Det kommer indbygget og virker på egen hånd.

Nej. Det er gratis og forbliver gratis, uden noget at købe senere.

Appen afhænger ikke af en Reed-konto eller fjernbetjening for at fortsætte med at læse dine filer.

Skift ét ord, og den lille kvittering holder op med at matche.

Spørg om det samme to gange, og svaret ændrer sig ikke.

Dine ord kommer tilbage, præcis som du efterlod dem, år senere.

Gamle filer kommer tilbage, som du efterlod dem.

En computer langt væk læser den samme fil og får det samme stempel.

Hvis et enkelt ord ændres senere, matcher stemplet ikke længere.

Et lille stempel viser, at den læste præcis den fil og intet andet.

Reed åbner dit dokument og forstår, hvad der er i det.

At indføre Reed er ikke et ingeniørprojekt. Det følger den godkendelsesvej, du allerede bruger gennem indkøb, IT og compliance, og ingen skal skrive kode. Dette er ruten fra første godkendelse til den dag, Reed svarer en revisor.

Det sidste spørgsmål er, hvor dataene bor. Reed har ingen hjemmeserver og kontakter intet, mens det arbejder. Det kører på dine egne maskiner, i et EU-datacenter, du vælger, eller helt offline. Dine data forbliver under europæiske regler og krydser aldrig en grænse, du ikke har godkendt.

Hele grunden til, at Reed findes, er et spørgsmål, en revisor før eller siden vil stille: blev dette bygget fra godkendt kilde, og kan du bevise det. I dag er det ærlige svar "stol på os". Reed gør det til et bevis, enhver kan tjekke. Her er det samme spørgsmål, besvaret på den gamle måde og på Reed-måden.

To spørgsmål afgør, om et værktøj er værd at indføre: hvilke tilbagevendende omkostninger fjerner det, og hvilke eksponeringer reducerer det? Reed svarer på begge. Venstre side viser besparelserne; højre side viser de reducerede risici. Ingen kode eller jargon, bare en sag, du kan tage med til et godkendelsesmøde.

Start med det spørgsmål, indkøb stiller først: hvad kommer ind i systemet, og hvem kontrollerer det. Reed kører inde i din egen værktøjskæde, gemmer kvitteringer sammen med resultaterne og introducerer ingen serviceafhængighed.

Det er rimeligt at være forsigtig med noget nyt på en computer. Så her er de ærlige spørgsmål, en fornuftig person stiller, med klare svar, du kan stole på. Åbn et hvilket som helst for at læse mere.

Det meste af tiden vil du aldrig vide, at Reed er der. Men det laver små, nyttige ting under overfladen, den slags ting, der sparer dig for en hovedpine senere. Her er et par hverdagsbekymringer, det stille og roligt tager sig af.

Du kan møde Reed hver dag uden at lægge mærke til det. Det sidder inde i almindelige produkter som et skriveværktøj, en websideformular eller en hjælper, der svarer på spørgsmål, og udfører stille og roligt en afgrænset opgave. Disse er et par af de øjeblikke.

Her er den del, der stille og roligt betyder noget. Reed læser den helt samme fil på den helt samme måde, uanset om det kører på din computer derhjemme eller på en computer i et andet land. Svaret ændrer sig ikke, bare fordi maskinen gjorde. Ingen overraskelser, intet andet resultat på en anden dag.

Tænk på Reed som en omhyggelig læser, der arbejder for computeren. Når en app skal åbne et dokument, en formular eller sine egne indstillinger, er Reed den del, der læser det korrekt og forstår, hvad der er indeni. Du rører aldrig ved det. Det sørger bare for, at dine ting åbner, som de skal.

SLR driver en hurtig tabeldrevet sti, GLL forbliver generel i polynomisk worst-case tid, og inkrementel genparsning rører kun ved det redigerede undertræ. SIMD-strukturel scanning kører med gigabyte per sekund på den CPU, du allerede ejer.

Reed leveres som et Rust-bibliotek, en CLI-binær, en Language Server og en stabil C ABI. Den samme parser, de samme hashes, den samme RQL, uanset hvor dit værktøj bor.

Reed Query Language beskriver træmønstre i kortfattet notation. Compileren sænker RQL til en bytekode med 20 opkoder, og en backtracking VM kører den hen over det parsede træ. Find importer, tæl kald, find en regex inde i en strengliteral.

Nogle tokens kan en regex ikke udtrykke: indrykning, heredocs, indlejrede kommentarer, rå strenge. Reed leverer otte indbyggede eksterne scannere og lader dig registrere dine egne med én grammatikdirektiv.

Reed er ikke én parser. Det kompilerer en enkelt RGS-grammatik til fire motorer, SLR, LALR, GLR og GLL, og parse_auto kaskaderer fra den hurtigste til den mest generelle. Derefter hashes hver node, og træet forsegles i et BLAKE3-certifikat bundet til input, grammatik og konfiguration.

De fleste parsere producerer et AST og glemmer kilden. At reproducere en build betyder at genparse hele kodebasen. Revisorer, der spørger "blev dette bygget fra godkendt kilde?", har intet svar, kun en tillidskæde.

Tre kommandoer: byg CLI fra arbejdsområdet, parse dit repo, læs certifikatets rod. BLAKE3-roden af din kildetræ er i din terminal på få sekunder.

Reed gør hver parsede kodebase eller konfigurationssæt til en stabil, tjekbar registrering. Teams beholder kilden, parserkontrakten og BLAKE3-roden, så revisionsspørgsmål bliver til evidensopslag i stedet for dyre genbygninger.

Reed arbejder inde i de apps, du bruger. Det åbner dokumenter og formularer, forstår deres struktur og holder en kvittering, så den samme fil læses på samme måde hver gang. Du behøver aldrig at opsætte det.

Reed parser kildekode til et stabilt træ og forsegler resultatet med en BLAKE3-certifikatrod. Teams kan forespørge strukturen som data og senere verificere, at træet stadig svarer til den samme kildekode og parserkontrakt.

struktureret tekst på samme måde hver gang

Reed er den lokale kodelæsemotor i Dweve Fabric. Den genkender delene og relationerne i struktureret tekst og holder hver del knyttet til sin præcise placering, så workspace kan reagere præcist og producere den samme struktur igen, når intet er ændret. Reed er udgivet under Apache-2.0.

Reed viser, hvordan delene passer sammen

Workspace-regler, indstillinger og anden struktureret tekst har en orden, som software skal forstå. Reed identificerer de navngivne dele og deres relationer og holder hver enkelt forbundet til det præcise sted, hvor den kommer fra.

Fabric modtager et struktureret resultat, der er knyttet til den oprindelige tekst

Den samme tekst bevarer den samme struktur

Reed følger den samme definerede læsning, når Fabric håndterer uændret struktureret tekst under uændrede betingelser. Resultatet afviger ikke mellem kørsler, og en ændring af teksten eller dens betingelser giver et andet resultat.

Gentagelig læsning holder workspace konsistent

Reed holder strukturen klar under overfladen

Når du åbner workspace-regler, ændrer en indstilling eller bringer struktureret tekst ind, håndterer Fabric den synlige oplevelse. Reed holder de navngivne dele, relationer og præcise placeringer klare under overfladen, så Fabric kan reagere på den rigtige del.