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 végrehajtása
Determinisztikus fixpontos aritmetika azonos bitekkel minden támogatott gépen.
A forrásanyagot tartalom-címzett fákká elemzi, amelyek eredete hash segítségével ellenőrizhető.
Pontos egyezéseket kér le bináris hiperdimenziós indexekből hétköznapi CPU-kon.
A szabályzatokat egyszer lefordítja, majd a forró úton értékeli őket szolgáltatás-körüli körút nélkül.
Az eseménynaplót bármely múltbeli állapotba hajtogatja, így a szimulációk és döntések újrajátszhatók.
Az FMI 3.0 modelleket determinisztikusan futtatja a támogatott szimulációs háttérrendszereken.
Egy AI-döntést érvelési tanúsítvánnyal csomagol, amely offline ellenőrizhető.
Csak hozzáfűzhető, hash-láncolt esemény-előzményeket őriz meg csendes szerkesztések nélkül.
Aláírja az ágenseseményeket, és újrajátszható futtatási rekordba hajtogatja őket.
Rögzíti, mi történt a homokozóban, nem csupán azt, hogy a folyamat el volt szigetelve.
A modelladatokat sűrűn szerializálja anélkül, hogy a JSON-szintaxist minden tokenen átvinné.
Tizenhét irodai dokumentumformátumot olvas és ír egyetlen Rust-interfészen keresztül.
Egy visszatérő forráskérdést gépelt rekordokká alakít a gyűjtési útvonal csatolásával.
A promptokat rögzített, közzétett szabályok szerint tömöríti abban a folyamatban, amely már tartalmazza a szöveget.
Ágenseknek és tervezőknek egyetlen gépelt interfészt ad egy web-natív játékvilághoz.
Programoptimalizálásokat keres egy specifikációból, és az eredményt végrehajtható kóddá alakítja.
Mesterséges életrendszereket vizsgál, amelyekben a helyi jelek adaptív kollektív viselkedést hoznak létre.
Nyissa meg a projektet, hogy lássa a mechanizmusát, interfészeit és helyét a veremben.
Tizennégy forrás-elérhető alapítvány és három kapcsolódó kutatási program. A HEDL nyilvános az Apache-2.0 licenc alatt. A többi adattár kéthetente, 2026. szeptember 1-jétől jelenik meg, kezdetben egyszerre kettő, így mindegyikre figyelem jut, nem pedig elsüllyed. A feltételek projektenként eltérőek maradnak.
Gyűjtse össze a releváns forrásanyagot egy rögzített útvonal alatt.
Elemezze az anyagot stabil, tartalom-címzett szerkezetté.
Kérje le az aktuális kérdéshez szükséges pontos bizonyítékot.
Értékelje a szabályzatot, amely meghatározza, mit tehet a rendszer ezután.
Kösse a döntést egy ellenőrizhető érvelési tanúsítványhoz.
Írja alá az ágenseseményeket, és őrizze meg a futtatást újrajátszáshoz.
A Fabric egy összefüggő eredményt mutat be
A felhasználó látja a választ; az útvonal, a bizonyíték, a szabályzat, a bizonyíték és az eseményrekord alatta csatolva marad.
A projektek nem eszközök halmaza. Mindegyik egy határt birtokol a munkában: forrásbevitel, szerkezet, visszakeresés, szabályzat, bizonyíték vagy esemény-előzmény. A műveletek megvizsgálhatják az átadást ott, ahol egy eredmény megváltozott, ahelyett, hogy egy átlátszatlan alkalmazást rekonstruálnának. Minden átadás megnevezi a felelős projektet, így a felülvizsgálat azon a lépésen kezdődik, nem pedig a teljes útvonalon, és a végén lévő futtatási rekord mindegyikre visszamutat.
Egy hasznos összeállítási út a forrásbevitellel kezdődik, és aláírt eseményrekorddal végződik. Minden projekt egy szempontot szűkít, és egy explicit artefaktumot ad tovább, így a visszakeresés, a szabályzat, a bizonyíték és az újrajátszás fejlődhet anélkül, hogy egyetlen futásidőbe omlana össze. A népszámlálás ellenőrzött hatókört rögzít, nem automatikus láncot, így itt csak ott létezik él, ahol egy projekt kijelenti, és minden más párosítás az Ön választása marad.
A források és a feldolgozott struktúrák a futtatáshoz csatolva maradnak.
A lekérés, a szabályzat és az érvelés mindegyike saját kimenetet hagy maga után.
A végső futtatási rekord visszamutat minden egyes átadásra.
A Fabric az a munkaterület, amelyet használsz. Alatta fókuszált részek gyűjtik a megfelelő anyagot, rendezik, megtalálják, ami fontos, ellenőrzik a szabályokat, megmagyarázzák a döntést, és megjegyzik, mi történt. Egyiket sem működteted külön. Az eredmény egy helyen érkezik vissza, és a mögötte lévő nyomvonal mindig elérhető marad, amikor meg akarod nézni. Nincs semmi extra, amit telepítened, frissítened vagy kezelned kellene.
A Fabric megkapja a kérdést abban a munkaterületben, amelyet már használsz.
Gyűjtenek, rendeznek, megtalálnak, ellenőriznek, magyaráznak és rögzítenek.
A válasz egyértelmű, miközben a támogató nyomvonal elérhető marad.
és nyisd meg a projektet, amely birtokolja
Jacquard, Forge és Mycelia, egymás mellett tartva
A HEDL nyilvános, a többi körökben jelenik meg
A feltételek projektenként vannak megadva, soha nem öröklődnek a készletből.
vagy használd az egész útvonalat egyszerre
A részek előre adják az eredményeket; soha nem működteted őket külön.
Nyiss meg egy projektoldalt, hogy egy mechanizmust alaposan megérts, vagy használd a Fabricet, hogy a teljes útvonalat egy munkaterületként tapasztald meg.
A Fabric bemutatja az eredményt, miközben a fókuszált részek alatta dolgoznak.
A projektek kész eredményeket adnak tovább, nem rejtik a munkát egyetlen futási környezetbe.
Minden projekt egy szűk technikai felelősséget visel.
A Fabric az a munkaterület, amelyet használsz. Alatta tizennégy, forrással elérhető alap mindegyike egy szűk feladatot lát el. A HEDL nyilvános, nyílt forráskódú projekt Apache-2.0 licenccel; a többi 2026. szeptember 1-jétől kéthetente jelenik meg, a feltételeket projektenként közöljük. A Jacquard, a Forge és a Mycelia az út mellett három külön kutatási irányként szerepel, nem pedig a megnyitott munkaterület részeként.
14 forrással elérhető alap + 3 kutatási irány
A Fabric az a munkaterület, amelyet használsz. Alatta tizennégy forrással elérhető alap mindegyike az út egy meghatározott részét látja el: gyűjtenek, rendeznek, visszakeresnek, ellenőriznek, magyaráznak és rögzítenek, anélkül hogy külön kezelned kellene bármelyiket.
Tizennégy alap és három kapcsolódó kutatási irány, építészeti szerep szerint csoportosítva. Nyiss meg bármelyik nevet a működés megismeréséhez.
Minden projektoldal ismerteti a működést, a felületeket és a bizonyítékokat. Kezdd azzal a képességgel, amelyre szükséged van, majd kövesd, hogyan épül össze a többi elemmel.
Térképezd fel egy felelősséget és annak átadásait, vagy nézd meg, hogyan telepítik és üzemeltetik a teljes rendszert a környezetedben.
Kezd azzal a képességgel, amelyre szükséged van
Asztali i9-en, AVX2-vel, GPU nélkül mérve. Pontos visszakeresés 10 ezer dokumentumnál tartva. A tesztek a repókban találhatók.
teszt replay::bit_identical_across_isa ... ok
teszt rounding::correctly_rounded_all_kernels ... ok
lookup/hot_path time: [1.36 ns 1.36 ns 1.37 ns]
Hybrid-MultiQ 10K 1.0000 34873.6 116.8
Index N Recall QPS P50(us)
cargo run --release --example comprehensive_benchmark
A determinizmust a tesztcsomag ellenőrzi, nem csak szövegben ígéri.
Olvasd el a népszámlálás bizonyítékpontja mellett.
Használd a projektparancsot a saját hardvereden.
Kezdd a BitWeave, Lattice vagy Numerus elemekkel, ahol már van megnevezett mért út.
Egy benchmark csak akkor számít, ha a mögötte álló parancs egyértelmű. Válasszon mért útvonalat, futtassa ugyanazt a mechanizmust az Ön által felügyelt hardveren, hasonlítsa össze az eredményt a népszámlálással, majd futtassa újra a determinizmust védő teszteket. A BitWeave, a Lattice és a Numerus már megnevez egy mért útvonalat, ezért kezdje ezek egyikénél, ahelyett hogy saját keretrendszert építene.
Tizennégy alapozó út + három kutatási útvonal
Amit a projektoldal állít, vagy mutató a repóra, ahol még formálódik.
crates.io, ahol már él, és a körével, ahol még nem. Világosan megfogalmazva.
Egy reprodukálható eredmény, ahol egy kiemelt mérés hasznos.
A felelősség, amelyet ez a projekt visel az összeállított veremben.
Minden projekt egy szűk architekturális szerepet visel. Olvassa el a szerepét, vizsgálja meg a bizonyítékpontot, ahol hasznos, majd nyissa meg a projektet, hogy részletesen kövesse a mechanizmusokat és interfészeket.
A népszámlálás a forrásbevitelt, a matematikát, az irányelvet, a bizonyítást, az eseménytörténetet és az adatkezelést egy-egy felelős projekthez rendeli. Amikor egy eredmény megváltozik, a csapatok megtalálhatják a felelős átadást, ahelyett hogy egy átláthatatlan alkalmazást auditálnának.
Interfészek, bizonyítékok, projektútvonalak
A forrásbevitel, a matematika, az irányelv, a bizonyítás, az eseménytörténet és a dokumentumkezelés nem tűnik el egyetlen platformon belül. Mindegyiknek van egy fókuszált projektje és egy explicit átadása, így a műveletek megtalálhatják az eredmény tulajdonosát, megvizsgálhatják a bizonyítékot, és megváltoztathatnak egy réteget anélkül, hogy a teljes útvonalat lecserélnék.
Tizennégy alapozó mindegyike egy architekturális szerepet, interfészt és bizonyítéknyomot birtokol. Három szomszédos kutatási pálya külön hatókörben marad. Használja a népszámlálást a felelősség megtalálásához, kövesse az összeállítási útvonalat az alapozók átadásainak megértéséhez, majd reprodukáljon egy mért viselkedést, ahol egy kiemelt eredmény hasznos.