AI Infrastructure Foundations

Explore Dweve foundations for deterministic arithmetic, parsing, retrieval, policy and agent runtimes. HEDL is public; the rest publish from 1 September 2026.

    return Err(SessionExpired);

.dweve/plans/auth-session.md · 64 rindas

Deterministiska fiksēta punkta aritmētika ar identiskiem bitiem katrā atbalstītajā mašīnā.

Parsē avota materiālu satura adresētos kokos, kuru izcelsmi var pārbaudīt ar hešu.

Iegūst precīzas atbilstības no bināriem hiperdimensionāliem indeksiem parastos CPU.

Kompilē politikas vienreiz, pēc tam tās izvērtē karstajā ceļā bez pakalpojuma turp un atpakaļ.

Saloka notikumu žurnālu jebkurā iepriekšējā stāvoklī, lai simulācijas un lēmumus varētu atkārtoti izspēlēt.

Vada FMI 3.0 modeļus deterministiski visos atbalstītajos simulācijas backendos.

Iepako AI lēmumu ar pamatojuma sertifikātu, ko var pārbaudīt bezsaistē.

Saglabā tikai pievienojamu, ar hešu ķēdētu notikumu izcelsmi bez klusām vēstures izmaiņām.

Paraksta aģenta notikumus un saloka tos atkārtojamā izpildes ierakstā.

Ieraksta, kas notika smilškastē, nevis tikai to, ka process bija ierobežots.

Blīvi serializē modeļa datus, neizmantojot JSON sintaksi katrā tokenā.

Lasīj un raksta septiņpadsmit biroja dokumentu formātus, izmantojot vienu Rust saskarni.

Pārvērš atkārtotu avota jautājumu tipizētos ierakstos ar pievienotu vākšanas maršrutu.

Saspiež uzvednes pēc fiksētiem publicētiem noteikumiem procesā, kas jau satur tekstu.

Dod aģentiem un dizaineriem vienu tipizētu saskarni tīmekļa vietējai spēļu pasaulei.

Meklē programmas optimizācijas no specifikācijas un pārvērš rezultātu izpildāmā kodā.

Pēta mākslīgās dzīves sistēmas, kurās vietējie signāli rada adaptīvu kolektīvu uzvedību.

Atveriet projektu, lai redzētu tā mehānismu, saskarnes un vietu stekā.

Četrpadsmit avota pieejami pamati un trīs blakus pētniecības programmas. HEDL ir publisks saskaņā ar Apache-2.0. Pārējie repozitoriji publicējas divu nedēļu kārtās no 2026. gada 1. septembra, sākumā pa diviem, lai katrs tiktu izlasīts, nevis aprakts. Noteikumi paliek projektu specifiski.

Apkopojiet atbilstošo avota materiālu vienā ierakstītā maršrutā.

Parsējiet materiālu stabilā, satura adresētā struktūrā.

Iegūstiet precīzus pierādījumus, kas nepieciešami aktuālajam jautājumam.

Izvērtējiet politiku, kas nosaka, ko sistēma drīkst darīt tālāk.

Piesaistiet lēmumu pārbaudāmam pamatojuma sertifikātam.

Parakstiet aģenta notikumus un saglabājiet izpildi atkārtošanai.

Fabric piedāvā vienu saskaņotu rezultātu

Lietotājs redz atbildi; maršruts, pierādījumi, politika, pierādījums un notikumu ieraksts paliek pievienoti apakšā.

Projekti nav utilītu maisījums. Katrs pārvalda vienu robežu darbā: avota uzņemšanu, struktūru, izguvi, politiku, pierādījumu vai notikumu vēsturi. Operācijas var pārbaudīt nodošanu, kur rezultāts mainījās, nevis rekonstruēt vienu necaurspīdīgu lietojumprogrammu. Katra nodošana nosauc projektu, kas par to atbild, tāpēc pārskats sākas šajā solī, nevis visā maršrutā, un beigu izpildes ieraksts norāda atpakaļ uz katru no tiem.

Noderīgs salikšanas ceļš sākas ar avota uzņemšanu un beidzas ar parakstītu notikumu ierakstu. Katrs projekts sašaurina vienu rūpi un nodod skaidru artefaktu tālāk, tāpēc izguve, politika, pierādījums un atkārtošana var attīstīties, nesabrukot vienā izpildes vidē. Cenzs reģistrē pārbaudītu darbības jomu, nevis automātisku ķēdi, tāpēc mala šeit pastāv tikai tur, kur projekts to norāda, un katra cita kombinācija paliek jūsu izvēle.

Avoti un analizētās struktūras paliek piesaistīti izpildei.

Iegūšana, politika un spriešana katrs atstāj savu izvadi.

Galīgais izpildes ieraksts norāda atpakaļ uz katru pāreju.

Fabric ir darbvieta, ko tu izmanto. Zem tās fokusētas daļas savāc pareizo materiālu, organizē to, atrod svarīgo, pārbauda noteikumus, izskaidro lēmumu un atceras, kas notika. Tu nevienu no tām nedarbini atsevišķi. Rezultāts atgriežas vienā vietā, un tā pēdas paliek pieejamas, kad vien vēlies tās apskatīt. Tev nekas papildus nav jāinstalē, jāatjaunina vai jāpārvalda.

Fabric saņem jautājumu darbvietā, ko tu jau izmanto.

Tās savāc, organizē, atrod, pārbauda, izskaidro un ieraksta.

Atbilde ir skaidra, un tās pamatojuma pēdas paliek pieejamas.

Jacquard, Forge un Mycelia, turēti blakus

HEDL ir publisks, pārējie publicē kārtās

Noteikumi ir norādīti katram projektam, nekad nav mantoti no kopas.

Daļas nodod rezultātus tālāk; tu tās nekad nedarbini atsevišķi.

Atver projekta lapu, lai dziļi izprastu vienu mehānismu, vai izmanto Fabric, lai piedzīvotu pilnu maršrutu kā vienu darbvietu.

Fabric parāda rezultātu, kamēr fokusētās daļas strādā fonā.

Projekti skaidri nodod rezultātus tālāk, nevis slēpj darbu vienā izpildes vidē.

Katrs projekts pārvalda vienu šauru tehnisko atbildību.

Fabric ir darbvieta, ko izmantojat. Zem tās četrpadsmit ar avota kodu pieejami pamati katrs pārvalda vienu šauru uzdevumu. HEDL ir publisks atvērtā koda projekts saskaņā ar Apache-2.0; pārējie tiek publicēti divu nedēļu ciklos no 2026. gada 1. septembra, ar noteikumiem, kas norādīti katram projektam. Jacquard, Forge un Mycelia atrodas blakus šim ceļam kā trīs atsevišķi pētniecības virzieni, nevis kā daļas no darbvietas, ko atverat.

14 ar avota kodu pieejami pamati + 3 pētniecības virzieni

Fabric ir darbvieta, ko izmantojat. Zem tās četrpadsmit ar avota kodu pieejami pamati katrs pārvalda vienu konkrētu ceļa daļu: tie vāc, organizē, izgūst, pārbauda, izskaidro un ieraksta, neprasot, lai jūs tos pārvaldītu atsevišķi.

Četrpadsmit ar avota kodu pieejami pamati

Četrpadsmit pamati un trīs blakus esoši pētniecības virzieni, grupēti pēc arhitektūras uzdevuma. Atveriet jebkuru nosaukumu, lai redzētu tā mehānismu.

Katra projekta lapa izskaidro tā mehānismu, saskarnes un pierādījumus. Sāciet ar iespēju, kas jums nepieciešama, un pēc tam sekojiet, kā tā savienojas ar pārējo kopumu.

Kartējiet vienu atbildību un tās nodošanu, vai skatiet, kā pilns kopums tiek izvietots un darbināts jūsu vidē.

Sāciet ar iespēju, kas jums nepieciešama

Izvēlieties slāni, kas jums nepieciešams

Mērīts uz galddatora i9, AVX2, bez GPU. Precīza atsaukšana saglabāta pie 10K dokumentiem. Testu komplekti tiek piegādāti kopā ar repozitorijiem.

testa replay::bit_identical_across_isa ... ok

testa rounding::correctly_rounded_all_kernels ... ok

lookup/hot_path laiks: [1.36 ns 1.36 ns 1.37 ns]

Hybrid-MultiQ 10K 1.0000 34873.6 116.8

Indekss N Atsaukšana QPS P50(us)

cargo run --release --example comprehensive_benchmark

Determinisms tiek pārbaudīts ar testu komplektu, nevis tikai solīts tekstā.

Izlasi to blakus pierādījumu punktam pārskatā.

Izmantojiet projekta komandu aparatūrā, kuru kontrolējat.

Sāciet ar BitWeave, Lattice vai Numerus, kur jau ir nosaukts izmērīts ceļš.

Etalons ir nozīmīgs tikai tad, ja komanda aiz tā ir skaidra. Izvēlieties izmērītu maršrutu, palaidiet to pašu mehānismu uz aparatūras, kuru kontrolējat, salīdziniet rezultātu ar apkopojumu un pēc tam atkārtoti palaidiet testus, kas aizsargā determinismu. BitWeave, Lattice un Numerus jau nosauc izmērītu maršrutu, tāpēc sāciet ar kādu no tiem, nevis veidojiet savu testu sistēmu.

Četrpadsmit pamatu ceļi + trīs pētniecības maršruti

Tas, ko norāda projekta lapa, vai norāde uz repozitoriju, kur tas vēl tiek precizēts.

crates.io, kur tas šobrīd ir pieejams, un ar tā kārtu, kur tas nav. Skaidri norādīts.

Viens atkārtojams rezultāts, kur galvenais mērījums ir noderīgs.

Atbildība, ko šis projekts uzņemas saliktajā struktūrā.

Katrs projekts uzņemas vienu šauru arhitektūras lomu. Izlasiet tā lomu, pārbaudiet pierādījumu punktu, kur tas ir noderīgs, un pēc tam atveriet projektu, lai padziļināti izsekotu mehānismam un saskarnēm.

Apkopojums kartē avotu ievadi, matemātiku, politiku, pierādījumus, notikumu vēsturi un datu apstrādi ar vienu atbildīgu projektu katram. Kad rezultāts mainās, komandas var atrast atbildīgo pāreju, nevis auditēt vienu necaurredzamu lietojumprogrammu.

Avotu ievade, matemātika, politika, pierādījumi, notikumu vēsture un dokumentu apstrāde nepazūd vienā platformā. Katram ir fokusēts projekts un skaidra pāreja, tāpēc operācijas var atrast rezultāta īpašnieku, pārbaudīt pierādījumus un mainīt vienu slāni, neaizstājot visu maršrutu.

Četrpadsmit pamati katrs uzņemas vienu arhitektūras lomu, saskarni un pierādījumu ceļu. Trīs blakus esošie pētniecības virzieni paliek atsevišķi noteikti. Izmantojiet apkopojumu, lai atrastu atbildību, sekojiet kompozīcijas maršrutam, lai redzētu pamatu pārejas, un pēc tam atveidojiet izmērītu uzvedību, kur galvenais rezultāts ir noderīgs.

Četrpadsmit pamati, viena loma katram; trīs blakus esošie pētniecības virzieni ir uzskaitīti atsevišķi. Mērījumi parādās tikai tur, kur atkārtojams galvenais rezultāts palīdz izskaidrot mehānismu. Atveriet jebkuru rindu, lai sekotu tās saskarnēm, uzvedībai un vietai saliktajā pamatu struktūrā.

apmēram par 93% vairāk vērtības uz vienu tokenu nekā JSON

1,000 atsaukšana pie ~35K QPS, 10K dokumentiem

Kā viena atbildīga darbība šķērso Dweve produktu kopumu

Saglabājiet AI darbu un uzņēmuma ierakstus to pareizajā dzīves ciklā.

Pamatojiet darbu, pēc tam izveidojiet izsekojamu rezultātu.

Pārvērtiet mērķi pārvaldītos uzdevumos un operatoram redzamās darbībās.

Izpildiet izvēlēto darbu uz deklarētās infrastruktūras.

Rezultāts, apstiprinājumi, pierādījumi un ieraksts