Code Intelligence Engine for Codebases | Dweve Reed

Kunskapsstyrning byggd på Reed-tolkade atomer.

Verifierad körtid med BLAKE3-kedjeintegritet.

Bevis och certifikat som paras med Reed-rötter.

Korrekt avrundad matematik under tolkningslagret.

Utforska vad Reeds strukturella läsning registrerar innan du väljer en adoptionsväg.

vanliga token via DFA, resten via skannrar

BLAKE3 binder parsning till indata, grammatik, konfiguration.

Delad packad skog. Alla giltiga parsningar behålls.

Kaskaderar SLR till GLR till GLL, snabbast till mest generell.

UTF-8-lexer. Trivia bevaras. Felåterställning.

Redigera en kommentar. Hela trädet ändras.

Granskning innebär ombyggnad. Dyrt och skört.

Parsningsträdet lever i RAM och dör med processen.

Endast redigerade underträd besöks igen.

Bunden till indata, grammatik, konfiguration.

Kod, konfiguration, dokument och DSL:er.

När frågan kommer, besvarar det sparade kvittot den utan ombyggnad.

Installeras på servrarna du äger, sedan börjar beviset helt enkelt ackumuleras.

Ett A och ett offentligt repo ger en kort, ren granskning.

För det mest känsliga arbetet körs Reed helt utan nätverk.

Låst till en medlemsstat du väljer. Ingenting korsar en gräns du inte godkänt.

Inne i din byggnad, bakom din brandvägg. Arbetet lämnar aldrig rummet.

Ingenting sparades då, så det finns ingenting att peka på.

En skör process som ändå slutar i ett resultat ingen fullt ut litar på.

Att bekräfta källan innebär att bygga om hela kodbasen.

Svaret är ett löfte, inte något någon kan verifiera.

När Reed publicerar i den sjätte omgången innebär det att du äger källan direkt, så ett leverantörsbyte strandar aldrig dina verktyg.

Ett beviskvitto svarar revisorn utan ombyggnad.

Körs på en vanlig CPU. Ingen GPU-flotta att anskaffa eller vänta på.

Körs i den befintliga verktygskedjan utan extern tjänst eller licens per användare. Budgeten är integration och drift, inte återkommande åtkomst.

Källan är din att behålla. Om en leverantörsrelation upphör, upphör inte dina verktyg.

Repositoryhistorik och bygginstruktioner förblir synliga för tekniska granskare.

Inspektera parsern, återskapa bygget och behåll alla certifikat den genererar.

Vad det kostar, vem som kontrollerar det

Nej. Reed körs i produkten och är inte beroende av ett externt Reed-konto.

Nej. Den läser där du är och ringer inte hem något.

Nej. Den kommer inbyggd och fungerar på egen hand.

Nej. Den är gratis och förblir gratis, utan något att köpa senare.

Appen är inte beroende av ett Reed-konto eller en fjärrtjänst för att fortsätta läsa dina filer.

Ändra ett ord och det lilla kvittot slutar stämma.

Frågar du samma sak två gånger blir svaret detsamma.

Dina ord kommer tillbaka precis som du lämnade dem, år senare.

Gamla filer kommer tillbaka som du lämnade dem.

En dator långt borta läser samma fil och får samma stämpel.

Om ett enda ord ändras senare, stämmer stämpeln inte längre.

En liten stämpel visar att den läst exakt den filen och inget annat.

Reed öppnar ditt dokument och förstår vad som finns i det.

Att införa Reed är inte ett ingenjörsprojekt. Det följer den granskningsväg du redan använder genom inköp, IT och regelefterlevnad, och ingen behöver skriva kod. Det här är vägen från första godkännandet till den dag Reed svarar en revisor.

Den sista frågan är var data finns. Reed har ingen egen hemmaserver och kontaktar ingenting medan det arbetar. Det körs på dina egna maskiner, i ett EU-datacenter du väljer, eller helt offline. Din data förblir under europeiska regler och passerar aldrig en gräns du inte har godkänt.

Hela anledningen till att Reed finns är en fråga som en revisor till slut kommer att ställa: byggdes detta från godkänd källkod, och kan du bevisa det? Idag är det ärliga svaret "lita på oss". Reed förvandlar det till ett bevis som vem som helst kan kontrollera. Här är samma fråga, besvarad på det gamla sättet och på Reed-sättet.

Två frågor avgör om ett verktyg är värt att införa: vilka återkommande kostnader tar det bort, och vilka risker minskar det? Reed svarar på båda. Den vänstra sidan visar besparingarna; den högra visar de minskade riskerna. Ingen kod eller jargong, bara ett case du kan ta med till ett godkännandemöte.

Börja med frågan som inköp ställer först: vad kommer in i systemet och vem kontrollerar det? Reed körs inom din egen verktygskedja, behåller kvitton tillsammans med resultaten och introducerar inget tjänsteberoende.

Det är rimligt att vara försiktig med allt nytt på en dator. Så här är de ärliga frågor som en förnuftig person ställer, med enkla svar du kan lita på. Öppna vilken som helst för att läsa mer.

För det mesta kommer du aldrig märka att Reed finns där. Men det gör små, användbara saker i bakgrunden, sådant som räddar dig från huvudvärk senare. Här är några vardagsbekymmer det tyst tar hand om.

Du kan möta Reed varje dag utan att lägga märke till det. Det finns i vanliga produkter som ett skrivverktyg, en webbformulär eller en hjälpreda som svarar på frågor, och utför tyst en avgränsad uppgift. Det här är några av de stunderna.

Här är den del som tyst spelar roll. Reed läser exakt samma fil på exakt samma sätt, oavsett om det körs på din dator hemma eller på en dator i ett annat land. Svaret ändras inte bara för att maskinen gjorde det. Inga överraskningar, inget annat resultat en annan dag.

Tänk på Reed som en noggrann läsare som arbetar för datorn. När en app behöver öppna ett dokument, ett formulär eller sina egna inställningar, är Reed den del som läser det korrekt och förstår vad som finns inuti. Du rör det aldrig. Det ser bara till att dina saker öppnas som de ska.

SLR driver en snabb tabellstyrd väg, GLL förblir generell med polynomisk värsta fall-tid, och inkrementell omtolkning rör bara den redigerade subträdet. SIMD-strukturell skanning körs i gigabyte per sekund på den CPU du redan äger.

Reed levereras som ett Rust-bibliotek, en CLI-binär, en Language Server och ett stabilt C-ABI. Samma parser, samma hash, samma RQL, var din verktygskedja än finns.

Reed Query Language beskriver trädmönster i koncis notation. Kompilatorn sänker RQL till en bytekod med 20 opkoder och en backtracking-VM kör den över det tolkade trädet. Hitta importer, räkna anrop, lokalisera en regex i en strängliteral.

Vissa tokens kan en regex inte uttrycka: indrag, heredocs, nästlade kommentarer, råa strängar. Reed levereras med åtta inbyggda externa skannrar och låter dig registrera egna med ett grammatikdirektiv.

Reed är inte en parser. Det kompilerar en enda RGS-grammatik till fyra motorer, SLR, LALR, GLR och GLL, och parse_auto kaskaderar från den snabbaste till den mest generella. Sedan hashas varje nod och trädet förseglas i ett BLAKE3-certifikat bundet till indata, grammatik och konfiguration.

De flesta parserar producerar ett AST och glömmer källan. Att återskapa en byggnad innebär att tolka om hela kodbasen. Revisorer som frågar "byggdes detta från godkänd källkod?" har inget svar, bara en förtroendekedja.

Tre kommandon: bygg CLI:n från arbetsytan, tolka ditt repo, läs certifikatets rot. BLAKE3-roten för din källträd är i din terminal på några sekunder.

Reed förvandlar varje tolkad kodbas eller konfigurationsuppsättning till en stabil, kontrollerbar post. Team behåller källan, parserkontraktet och BLAKE3-roten, så att revisionsfrågor blir bevisuppslagningar istället för dyra ombyggnationer.

Reed arbetar i apparna du använder. Det öppnar dokument och formulär, förstår deras struktur och behåller ett kvitto så att samma fil läses på samma sätt varje gång. Du behöver aldrig konfigurera det.

Reed tolkar källkod till ett stabilt träd och förseglar resultatet med en BLAKE3-certifikatrot. Team kan fråga strukturen som data och senare verifiera att trädet fortfarande motsvarar samma källa och parserkontrakt.

strukturerad text på samma sätt varje gång

Reed är den lokala kodläsningsmotorn i Dweve Fabric. Den känner igen delar och relationer i strukturerad text och håller varje del bunden till sin exakta plats, så att arbetsytan kan svara precist och producera samma struktur igen när inget har ändrats. Reed är publicerad under Apache-2.0.

Arbetsytans regler, inställningar och annan strukturerad text bär en ordning som programvaran måste förstå. Reed identifierar de namngivna delarna och deras relationer och håller varje del kopplad till den exakta plats den kom ifrån.

Fabric tar emot ett strukturerat resultat kopplat till originaltexten

Reed följer samma definierade läsning när Fabric hanterar oförändrad strukturerad text under oförändrade förhållanden. Resultatet avviker inte mellan körningar, och en ändring i texten eller dess förhållanden ger ett annat resultat.

Repeterbar läsning håller arbetsytan konsekvent

Reed håller strukturen tydlig under ytan

När du öppnar arbetsytans regler, ändrar en inställning eller tar in strukturerad text, hanterar Fabric den synliga upplevelsen. Reed håller de namngivna delarna, relationerna och de exakta platserna tydliga under ytan, så att Fabric kan svara på rätt del.

Reed identifierar den exakta plats där strukturerad text slutar matcha den form Fabric förväntar sig. Det gör att Fabric kan ge ett fokuserat meddelande om den berörda delen samtidigt som oförändrade delar hålls separata och synliga.