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.