Intelliġenza tal-Kodiċi għall-Codebases | Dweve Reed
Reed jibni mudell strutturali stabbli wieħed għal query, ranking, trasformazzjoni u verifika. Jaħdem lokalment b'grammatiċi kkompilati, taħt Apache-2.0.
What is Dweve Reed?
Reed is a local code-intelligence engine for codebases. It parses source into one reusable structural model with syntax and containment, declarations and references, imports and reverse imports, call relationships where supported, and ranked structural relevance. That model answers many questions without reparsing each time. Reed runs locally and offline with compiled grammars. Repository access is by request; supplied source is under Apache-2.0 terms.
- The repeatable contract names source bytes, grammar content, parser version, configuration, Unicode version, deterministic bounds, query and ordering, so the same declared inputs produce the same ordered result.
- Structural output is distinct from language-aware semantic bindings, calls and type relationships. Coverage is published per language and depth.
Choose the audience that matches your question
The page contains three selectable readings of the same subject.
For consumers
Reed huwa l-magna lokali tal-qari tal-kodiċi ġewwa Dweve Fabric. Jagħraf il-partijiet u r-relazzjonijiet f'test strutturat u jżomm kull parti marbuta mal-post eżatt tagħha, sabiex il-workspace jista' jirrispondi b'mod preċiż u jipproduċi l-istess struttura mill-ġdid meta xejn ma nbidel. Reed huwa ppubblikat taħt Apache-2.0.
For businesses
Reed huwa magna lokali ta' intelliġenza tal-kodiċi għal codebases, mibnija f'Rust. Huwa jibdel kull repository f'mudell strutturali stabbli wieħed b'siġra ta' parsing li tista' tiġi ċċekkjata, postijiet eżatti, ġirjiet ripetibbli u pjanijiet ta' refactoring viżibbli. Reed jitnieda fis-sitt rawnd tal-programm ta' rilaxx tal-fondazzjoni ta' Dweve, bid-dokumentazzjoni tiegħu fuq docs.dweve.com fl-istess jum.
For engineers
Reed is a code-intelligence engine for codebases. It builds a checkable parse tree from each repository and keeps scope, reruns and refactor plans visible, so every team can work from the same reading. The repository publishes in the third round of Dweve’s foundation release programme.
L-algoritmi jiggruppaw skont it-tip ta' data
Matriċi ta' kapaċitajiet li tista' tiskrollja
Governanza tal-għarfien mibnija fuq atomi pparsati minn Reed.
Runtime ivverifikat bl-integrità tal-katina BLAKE3.
Provi u ċertifikati li jingħaqdu mal-għeruq ta' Reed.
Matematika arrotondata b'mod korrett taħt is-saff tal-parsing.
Esplora dak li r-reġistrazzjoni strutturali ta' Reed tirrekordja qabel ma tagħżel rotta ta' adozzjoni.
Ibbażat fuq tabella, mingħajr backtracking.
tokens regolari permezz ta' DFA, il-bqija permezz ta' skanners
BLAKE3 jorbot il-parse mal-input, il-grammatika, u l-konfigurazzjoni.
Foresta ppakkjata kondiviża. Il-parses validi kollha miżmuma.
Jikkaskada SLR għal GLR għal GLL, mill-aktar mgħaġġel għall-aktar ġenerali.
Lexer UTF-8. Trivia ppreservata. Irkupru minn żbalji.
Editja kumment. Is-siġra kollha tinbidel.
L-awditjar ifisser li terġa' tibni. Għali u fraġli.
Is-siġra tal-parse tgħix fir-RAM u tmut mal-proċess.
Jerggħu jiġu eżaminati biss is-sotto-siġar editjati.
Marbut mal-input, il-grammatika u l-konfigurazzjoni.
Kodiċi, konfigurazzjoni, dokumenti u DSLs.
Meta tiġi l-mistoqsija, ir-riċevuta miżmuma twieġeb mingħajr bini mill-ġdid.
Jinstalla fuq is-servers li inti tippossjedi, u mbagħad il-prova tibda takkumula biss.
A u repo pubbliku jagħmlu reviżjoni qasira u nadifa.
Għall-aktar xogħol sensittiv, Reed jaħdem mingħajr netwerk xejn.
Imwaħħal ma' stat membru li inti tagħżel. Xejn ma jaqsam fruntiera li inti ma approvajtx.
Ġewwa l-bini tiegħek, wara l-firewall tiegħek. Ix-xogħol qatt ma jitlaq mill-kamra.
Ma nżamm xejn dak iż-żmien, għalhekk m'hemm xejn li wieħed jista' jindika.
Proċess fraġli li xorta jispiċċa f'riżultat li ħadd ma jafda bis-sħiħ.
Il-konferma tas-sors tfisser li terġa' tibni l-kodiċi kollu.
It-tweġiba hija wegħda, mhux xi ħaġa li xi ħadd jista' jivverifika.
Ladarba Reed jippubblika fis-sitt rawnd, li żżomm is-sors direttament ifisser li bidla fil-fornitur qatt ma tħalli l-għodda tiegħek imwaħħla.
Rċevuta ta' prova twieġeb lill-awditur mingħajr rebuild.
Jaħdem fuq CPU standard. Ebda flotta ta' GPU x'tixtri jew tistenna.
Jaħdem ġewwa l-għodda eżistenti mingħajr servizz estern jew metru għal kull siġġu. Il-baġit huwa integrazzjoni u operazzjoni, mhux aċċess rikorrenti.
Is-sors huwa tiegħek biex iżżommu. Jekk relazzjoni mal-fornitur tispiċċa, l-għodda tiegħek ma tispiċċax.
L-istorja tar-repożitorju u l-istruzzjonijiet tal-bini jibqgħu viżibbli għal reviżuri tekniċi.
Spezzjona l-parser, irreproduċi l-bini u żomm kull ċertifikat li joħroġ.
Le. Reed jaħdem ġewwa l-prodott u ma jiddependix fuq kont estern ta' Reed.
Le. Jaqra eżatt fejn int u ma jibgħat xejn lura.
Le. Huwa b'xejn u jibqa' b'xejn, mingħajr xejn x'tixtri aktar tard.
L-app ma tiddependix fuq kont ta' Reed jew servizz remot biex tkompli taqra l-fajls tiegħek.
Ibdel kelma waħda u r-rċevuta ż-żgħira tieqaf taqbel.
Staqsi l-istess ħaġa darbtejn u t-tweġiba ma tinbidilx.
Kelmtek terġa' lura kif ħallejtha, snin wara.
Fajls qodma jerġgħu lura kif ħallejthom.
Kompjuter 'il bogħod jaqra l-istess fajl u jikseb l-istess timbru.
Jekk kelma waħda tinbidel aktar tard, it-timbru ma jibqax jaqbel.
Timbru żgħir juri li qara eżatt dak il-fajl u xejn aktar.
Reed jiftaħ id-dokument tiegħek u jifhem x'hemm ġewwa fih.
Li tadotta Reed mhux programm ta' inġinerija. Isegwi l-proċess ta' reviżjoni li diġà tuża permezz ta' akkwist, IT u konformità, u ħadd ma jrid jikteb kodiċi. Din hija t-triq mill-ewwel approvazzjoni sal-jum li Reed iwieġeb lil awditur.
L-aħħar mistoqsija hija fejn tgħix id-dejta. Reed m'għandu l-ebda server tad-dar tiegħu stess u ma jilħaq xejn waqt li jaħdem. Jaħdem fuq il-magni tiegħek stess, f'ċentru tad-dejta tal-UE li tagħżel, jew kompletament offline. Id-dejta tiegħek tibqa' taħt ir-regoli Ewropej u qatt ma taqsam fruntiera li ma approvajtx.
Ir-raġuni kollha li teżisti Reed hija mistoqsija waħda li awditur eventwalment se jistaqsi: dan inbena minn sors approvat, u tista' tipprovah. Illum it-tweġiba onesta hija "afda fina". Reed jibdel dan f'biċċa evidenza li kulħadd jista' jiċċekkja. Hawnhekk l-istess mistoqsija, imwieġba bil-mod il-qadim u bil-mod ta' Reed.
Żewġ mistoqsijiet jiddeċiedu jekk għodda jiswewx li tiġi adottata: liema spejjeż rikorrenti tneħħi, u liema espożizzjonijiet tnaqqas? Reed iwieġeb it-tnejn. In-naħa tax-xellug turi l-iffrankar; il-lemin juri r-riskji mnaqqsa. L-ebda kodiċi jew ġargon, biss każ li tista' tieħu għal laqgħa ta' approvazzjoni.
Ibda bil-mistoqsija li l-akkwist jistaqsi l-ewwel: x'jidħol fl-istate u min jikkontrollah. Reed jaħdem ġewwa l-għodda tiegħek stess, iżomm irċevuti mar-riżultati u ma jintroduċi l-ebda dipendenza fuq servizz.
Huwa ġust li wieħed ikun attent b'xi ħaġa ġdida fuq kompjuter. Allura hawnhekk huma l-mistoqsijiet onesti li persuna sensibbli tistaqsi, b'tweġibiet ċari li tista' tafda fihom. Iftaħ kwalunkwe waħda biex taqra aktar.
Il-biċċa l-kbira tal-ħin qatt ma tkun taf li Reed hemm. Iżda qed jagħmel affarijiet żgħar u utli taħt, it-tip ta' affarijiet li jsalvawk minn uġigħ ta' ras aktar tard. Hawnhekk ftit tħassib ta' kuljum li jieħu ħsiebhom bil-kwiet.
Tista' tiltaqa' ma' Reed kuljum mingħajr ma tinnotah. Joqgħod ġewwa prodotti ordinarji bħal għodda tal-kitba, formola ta' websajt jew għajnuna li twieġeb mistoqsijiet, u bil-kwiet iwettaq kompitu wieħed limitat. Dawn huma ftit minn dawk il-mumenti.
Hawnhekk il-parti li timporta bil-kwiet. Reed jaqra l-istess fajl bl-istess mod, kemm jekk jaħdem fuq il-kompjuter tiegħek id-dar kif ukoll fuq kompjuter f'pajjiż ieħor. It-tweġiba ma tinbidilx biss għax il-magna nbidlet. L-ebda sorpriża, l-ebda riżultat differenti f'jum differenti.
Aħseb f'Reed bħala qarrej attent li jaħdem għall-kompjuter. Meta app teħtieġ tiftaħ dokument, formola, jew l-issettjar tagħha stess, Reed huwa l-parti li jaqrah sew u jifhem x'hemm ġewwa. Qatt ma tmissu. Jgħid biss li l-affarijiet tiegħek jiftħu kif suppost.
SLR isuq mogħdija mgħaġġla bbażata fuq tabella, GLL jibqa' ġenerali b'ħin polinomjali fl-agħar każ, u reparse inkrementali jmiss biss is-sotto-siġra editjata. L-iskannjar strutturali SIMD jaħdem b'gigabytes kull sekonda fuq il-CPU li diġà għandek.
Reed jitwassal bħala librerija Rust, binarju CLI, Language Server, u ABI C stabbli. L-istess parser, l-istess hashes, l-istess RQL, kull fejn tgħix l-għodda tiegħek.
Reed Query Language jiddeskrivi mudelli ta' siġar f'notazzjoni konċiża. Il-kompilatur inaqqas RQL għal bytecode ta' 20-opcode u VM ta' backtracking imexxih fuq is-siġra pparsata. Sib imports, għodd sejħiet, sib regex ġewwa string literal.
Xi tokens li regex ma jistax jesprimi: indentation, heredocs, kummenti nested, raw strings. Reed jibgħat tmien skaners esterni mibnija u jħallik tirreġistra tiegħek b'direttiva waħda tal-grammatika.
Reed mhux parser wieħed. Jikkompila grammatika RGS waħda f'erba' magni, SLR, LALR, GLR, u GLL, u parse_auto jikkaskata mill-aktar mgħaġġel għall-aktar ġenerali. Imbagħad kull node huwa hashed u s-siġra hija ssiġillata f'ċertifikat BLAKE3 marbut mal-input, il-grammatika, u l-konfigurazzjoni.
Il-biċċa l-kbira tal-parsers jipproduċu AST u jinsa s-sors. Ir-riproduzzjoni ta' build tfisser li terġa' tipparsa l-kodiċi kollu. L-awdituri li jistaqsu "dan inbena minn sors approvat?" m'għandhom l-ebda tweġiba, biss katina ta' fiduċja.
Tliet kmandi: ibni l-CLI mill-workspace, parsja r-repo tiegħek, aqra l-għerq taċ-ċertifikat. L-għerq BLAKE3 tas-siġra tas-sors tiegħek huwa fit-terminal tiegħek fi ftit sekondi.
Reed jibdel kull kodiċi pparsat jew sett ta' konfigurazzjoni f'rekord stabbli u li jista' jiġi ċċekkjat. It-timijiet iżommu s-sors, il-kuntratt tal-parser u l-għerq BLAKE3, sabiex il-mistoqsijiet tal-awditjar isiru tfittxijiet ta' evidenza minflok rebuilds għaljin.
Reed jaħdem ġewwa l-apps li tuża. Jiftaħ dokumenti u formoli, jifhem l-istruttura tagħhom, u jżomm irċevuta sabiex l-istess fajl jinqara bl-istess mod kull darba. Qatt m'għandek bżonn twaqqfu.
Reed janalizza s-sors f'siġra stabbli u jissiġilla r-riżultat b'għerq ta' ċertifikat BLAKE3. It-timijiet jistgħu jistaqsu l-istruttura bħala data u jivverifikaw aktar tard li s-siġra għadha tikkorrispondi għall-istess sors u kuntratt tal-parser.
test strutturat bl-istess mod kull darba
Reed huwa l-magna lokali tal-qari tal-kodiċi ġewwa Dweve Fabric. Jagħraf il-partijiet u r-relazzjonijiet f'test strutturat u jżomm kull parti marbuta mal-post eżatt tagħha, sabiex il-workspace jista' jirrispondi b'mod preċiż u jipproduċi l-istess struttura mill-ġdid meta xejn ma nbidel. Reed huwa ppubblikat taħt Apache-2.0.
Reed juri kif il-partijiet jitwaħħlu flimkien
Ir-regoli tal-workspace, is-settings u test strutturat ieħor iġorru ordni li s-softwer irid jifhem. Reed jidentifika l-partijiet bl-isem u r-relazzjonijiet tagħhom, u jżomm kull waħda konnessa mal-post eżatt minn fejn ġiet.
Fabric jirċievi riżultat strutturat marbut mat-test oriġinali
Reed isegwi l-istess qari definit kull meta Fabric jimmaniġġja test strutturat li ma jinbidilx taħt kundizzjonijiet li ma jinbidlux. Ir-riżultat ma jiżloqx bejn ġirjiet, u bidla fit-test jew fil-kundizzjonijiet tiegħu tipproduċi riżultat differenti.