protocol pentru probe publice contestabile
Cercetare / prototip
Afirmații analizate ca dosare de probe, nu verdicte instant.
DOVADA este un protocol și o implementare de nod de referință pentru analizarea unei singure afirmații publice atomice, cu ajutorul probelor publice. Dosarul păstrează vizibile cele mai puternice probe favorabile și contrare, contextul, golurile de date și orice contestație. Nu se reduce niciodată la un singur scor, nu deduce intenții ascunse, iar nicio autoritate centrală nu decide adevărul pentru toate nodurile. Astăzi depozitul conține o specificație acceptată, o fundație de aplicație inertă, contracte de domeniu v0.2 executabile și o limită offline pentru AI. Nimic nu colectează, nu evaluează și nu publică încă.
Scriu specificația și contractele de domeniu, modelul federat de operare, porțile juridice și de publicare, limita pentru AI și limbajul vizual, și țin fundația de referință sintetică până când fiecare poartă este cu adevărat trecută.
Imagini din proiect
Ce construim
Dosare pentru afirmații atomice
O afirmație largă este redusă la o singură formulare precisă înainte de atașarea surselor, fragmentelor, datelor, provenienței și limitărilor. Intenția și motivul sunt tipuri explicite de afirmație; nimic nu le deduce din sincronizare, asemănare sau infrastructură comună.
Probe în ambele direcții
Dosarul arată cele mai puternice probe acceptate care susțin și care contrazic afirmația, semnalele de context, golurile de date și ce ar schimba evaluarea. O evaluare cu încredere scăzută sau disputată trebuie să spună ce ar schimba-o; una cu încredere ridicată trebuie să-și numească probele-cheie.
Contestație și corecție
Evaluările rămân contestabile prin revizuire, contestație, corecție, retragere și istoric de versiuni. O semnătură dovedește cine a emis un dosar și că nu a fost modificat, niciodată că afirmația este adevărată, corectă sau completă.
Analiză prudentă a tiparelor
O direcție Radar ulterioară poate analiza tipare publice documentate, dar un grup trebuie să poarte o explicație alternativă, iar niciun contract nu expune un scor, o ideologie sau o proprietate de sinceritate despre o persoană. Radar rămâne dezactivat astăzi.
Cum funcționează
Steward, nu operator
Proiectul menține protocolul, schemele, codul de referință și suitele de conformitate. Nu operează niciun nod. Orice nod real ar deține independent sursele, furnizorii, politicile, evaluatorii, cheile, infrastructura și publicațiile, iar nicio cheie a stewardului, licență sau rezultat de conformitate nu poate porni un nod.
Mai întâi sintetic, cu oprire sigură
Fiecare conector și furnizor de modele este dezactivat prin politică, iar chiar și o verificare pozitivă de capabilitate întoarce NO_RUNTIME_CAPABILITY. Singurul adaptor de model este un simulacru determinist în memorie, fără acces la rețea, iar evaluarea offline înghețată acoperă injecția de prompt, scurgerea de date private, nepotrivirea citărilor și certitudinea falsă, pe date sintetice. LangChain și LangGraph au fost măsurate și nu au fost adoptate încă.
Porți care spun ce dovedesc
Opt verificări rulează înainte ca o schimbare să intre: fișele de sarcini, baza imuabilă, contractele și prompturile generate, tipurile stricte, evaluarea offline, testele în browser cu axe, scanarea de secrete și un SBOM CycloneDX. Astăzi înseamnă 38 din 38 de teste de specificație și 328 din 328 de teste unitare, iar fiecare poartă declară că dovedește doar fundația locală.