Code Intelligence Engine for Codebases | Dweve Reed

Knowledge governance built on Reed-parsed atoms.

Verified runtime with BLAKE3 chain integrity.

Proofs and certificates that pair with Reed roots.

Correctly rounded math under the parsing layer.

Explore what Reed’s structural reading records before choosing an adoption route.

token regolari tramite DFA, il resto tramite scanner

BLAKE3 lega il parse all'input, alla grammatica e alla configurazione.

Foresta condivisa e compattata. Tutti i parse validi conservati.

Cascata da SLR a GLR a GLL, dal più veloce al più generale.

Lexer UTF-8. Dettagli conservati. Recupero errori.

Modifica un commento. L'intero albero cambia.

L'audit significa ricostruire. Costoso e fragile.

L'albero di parse vive in RAM e muore con il processo.

Un albero di parsing non è una prova della fonte

Vengono rivisitati solo i sottoalberi modificati.

Legato a input, grammatica e configurazione.

Codice, configurazione, documenti e DSL.

Quando arriva la domanda, la ricevuta conservata risponde senza una nuova build.

Si installa sui server che possiedi, poi la prova inizia semplicemente ad accumularsi.

Una A e un repository pubblico rendono la revisione breve e pulita.

Per il lavoro più sensibile, Reed funziona senza alcuna rete.

Ancorato a uno stato membro che scegli tu. Nulla attraversa un confine che non hai approvato.

Dentro il tuo edificio, dietro il tuo firewall. Il lavoro non lascia mai la stanza.

Nulla è stato conservato al momento, quindi non c'è nulla a cui fare riferimento.

Un processo fragile che termina comunque con un risultato di cui nessuno si fida pienamente.

Confermare la fonte significa ricostruire l'intera codebase.

La risposta è una promessa, non qualcosa che chiunque possa verificare.

Quando Reed pubblica nel sesto round, detenere direttamente il codice sorgente significa che un cambio di fornitore non blocca mai i tuoi strumenti.

Una ricevuta di prova risponde al revisore senza una ricostruzione.

Funziona su una CPU standard. Nessuna flotta di GPU da procurarsi o attendere.

Funziona all'interno della toolchain esistente senza servizio esterno o licenza per utente. Il budget è per l'integrazione e l'operatività, non per l'accesso ricorrente.

Il codice sorgente è tuo da tenere. Se un rapporto con un fornitore termina, i tuoi strumenti non finiscono.

La cronologia del repository e le istruzioni di build restano visibili ai revisori tecnici.

Ispeziona il parser, riproduci la build e conserva ogni certificato che emette.

No. Reed funziona all'interno del prodotto e non dipende da un account Reed esterno.

No. Legge dove ti trovi e non invia nulla a casa.

No. È gratuito e rimane gratuito, senza nulla da acquistare in seguito.

L'app non dipende da un account Reed o da un servizio remoto per continuare a leggere i tuoi file.

Cambia una parola e la piccola ricevuta smette di corrispondere.

Fai la stessa domanda due volte e la risposta non cambia.

Le tue parole tornano come le hai lasciate, anni dopo.

I vecchi file tornano come li hai lasciati.

Un computer lontano legge lo stesso file e ottiene lo stesso timbro.

Se una singola parola cambia in seguito, il timbro non corrisponde più.

Un piccolo timbro mostra che ha letto esattamente quel file e nient'altro.

Reed apre il tuo documento e capisce cosa contiene.

Adottare Reed non è un programma di ingegneria. Segue il percorso di revisione che già usi attraverso acquisti, IT e conformità, e nessuno deve scrivere codice. Questa è la strada dalla prima approvazione al giorno in cui Reed risponde a un revisore.

L'ultima domanda è dove vivono i dati. Reed non ha un server di casa propria e non contatta nulla mentre lavora. Funziona sulle tue macchine, in un data center UE che scegli tu, o completamente offline. I tuoi dati restano sotto le regole europee e non attraversano mai un confine che non hai approvato.

La ragione per cui Reed esiste è una domanda che un revisore prima o poi farà: questo è stato costruito da una fonte approvata, e puoi provarlo? Oggi la risposta onesta è "fidati di noi". Reed trasforma questo in una prova che chiunque può verificare. Ecco la stessa domanda, risolta alla vecchia maniera e alla maniera di Reed.

Due domande decidono se uno strumento vale la pena di essere adottato: quali costi ricorrenti elimina e quali esposizioni riduce? Reed risponde a entrambe. Il lato sinistro mostra i risparmi; il destro i rischi ridotti. Nessun codice o gergo, solo un caso che puoi portare a una riunione di approvazione.

Inizia con la domanda che gli acquisti fanno per prima: cosa entra nell'ambiente e chi lo controlla. Reed funziona dentro la tua toolchain, tiene le ricevute con i risultati e non introduce alcuna dipendenza di servizio.

È giusto essere prudenti con qualsiasi cosa di nuovo su un computer. Quindi ecco le domande oneste che una persona sensata fa, con risposte semplici di cui puoi fidarti. Apri una qualsiasi per leggere di più.

La maggior parte delle volte non ti accorgerai mai che Reed è lì. Ma fa piccole cose utili sotto, il tipo di cose che ti salvano da un mal di testa più tardi. Ecco alcune preoccupazioni quotidiane di cui si occupa silenziosamente.

Puoi incontrare Reed ogni giorno senza notarlo. Sta dentro prodotti ordinari come uno strumento di scrittura, un modulo di sito web o un assistente che risponde a domande, e svolge silenziosamente un compito limitato. Questi sono alcuni di quei momenti.

Ecco la parte che conta silenziosamente. Reed legge lo stesso identico file nello stesso identico modo, sia che funzioni sul tuo computer di casa sia su un computer in un altro paese. La risposta non cambia solo perché la macchina è cambiata. Nessuna sorpresa, nessun risultato diverso in un giorno diverso.

Pensa a Reed come a un lettore attento che lavora per il computer. Quando un'app deve aprire un documento, un modulo o le proprie impostazioni, Reed è la parte che lo legge correttamente e capisce cosa c'è dentro. Non lo tocchi mai. Fa solo in modo che le tue cose si aprano come dovrebbero.

SLR guida un percorso veloce basato su tabelle, GLL rimane generale con tempo polinomiale nel caso peggiore, e la riparsificazione incrementale tocca solo il sottoalbero modificato. La scansione strutturale SIMD funziona a gigabyte al secondo sulla CPU che già possiedi.

Reed viene distribuito come libreria Rust, binario CLI, Language Server e ABI C stabile. Lo stesso parser, gli stessi hash, la stessa RQL, ovunque viva il tuo tooling.

Reed Query Language descrive pattern di alberi in notazione concisa. Il compilatore riduce RQL a un bytecode a 20 opcode e una VM con backtracking lo esegue sull'albero parsato. Trova import, conta chiamate, individua una regex dentro una stringa letterale.

Alcuni token che una regex non può esprimere: indentazione, heredoc, commenti annidati, stringhe raw. Reed include otto scanner esterni integrati e ti permette di registrare i tuoi con una direttiva di grammatica.

Reed non è un parser singolo. Compila una singola grammatica RGS in quattro motori, SLR, LALR, GLR e GLL, e parse_auto scende dal più veloce al più generale. Poi ogni nodo viene sottoposto a hash e l'albero viene sigillato in un certificato BLAKE3 legato a input, grammatica e configurazione.

La maggior parte dei parser produce un AST e dimentica la sorgente. Riprodurre una build significa riparsare l'intero codebase. I revisori che chiedono "questo è stato costruito da una fonte approvata?" non hanno risposta, solo una catena di fiducia.

Tre comandi: costruisci la CLI dal workspace, parsifica il tuo repo, leggi la radice del certificato. La radice BLAKE3 del tuo albero sorgente è nel tuo terminale in pochi secondi.

Reed trasforma ogni codebase o set di configurazione parsato in un record stabile e verificabile. I team conservano la sorgente, il contratto del parser e la radice BLAKE3, così le domande di audit diventano ricerche di prove invece di rebuild costosi.

Reed funziona dentro le app che usi. Apre documenti e moduli, ne capisce la struttura e tiene una ricevuta così lo stesso file viene letto allo stesso modo ogni volta. Non devi mai configurarlo.

Reed analizza il sorgente in un albero stabile e sigilla il risultato con una radice di certificato BLAKE3. I team possono interrogare la struttura come dati e verificare in seguito che l'albero corrisponda ancora allo stesso sorgente e allo stesso contratto del parser.

testo strutturato sempre allo stesso modo

Reed è il motore locale di lettura del codice all'interno di Dweve Fabric. Riconosce le parti e le relazioni nel testo strutturato e mantiene ogni parte legata al suo posto esatto, così il workspace può rispondere con precisione e produrre la stessa struttura quando nulla è cambiato. Reed è pubblicato sotto Apache-2.0.

Lo stesso risultato quando non cambia nulla

Le regole dell'area di lavoro, le impostazioni e altri testi strutturati hanno un ordine che il software deve comprendere. Reed identifica le parti nominate e le loro relazioni, e mantiene ciascuna collegata al punto esatto da cui proviene.

Fabric riceve un risultato strutturato legato al testo originale

Lo stesso testo mantiene la stessa struttura

da un'esecuzione di Fabric alla successiva