Independent Verification for Every Result | Dweve AION

Kunskapsstyrning byggd på AION-liknande härkomst.

Merkle-certifierbar parser som används av AION för inmatningshantering.

Verifierad runtime som kopplar AION-certifikat till exekveringstranskript.

Händelsehärkomst för system: hash-kedjade poster över vad som hände, inte resonemangssteg i ett beslut.

Kör ett exempelcertifikat och kontrollera det med aion check, cvc5 eller någon LRAT-kompatibel verifierare när repot publiceras. Publicering är planerad till 1 september 2026, och installationsinstruktionerna kommer med den.

så vem som helst kan kontrollera det utan dig

Begränsad, ingen licens, ingen uppspelning

Ett certifikat förblir litet och förblir kontrollerbart år senare.

AION är bevisinfrastruktur för AI-beslut, offentlig från 1 september 2026. Den avger ett kompakt bevis bredvid ett AI-resultat, och en separat kontrollant går igenom beviset mot de ursprungliga premisserna och accepterar eller avvisar det utan modellen, lösarsessionen eller nätverket.

AION lägger till ett kontrollerbart kvitto på ett AI-svar. Din assistent kan berätta om resonemanget håller utan att kräva att du förstår mekaniken, och kvittot kan kontrolleras igen utan internetanslutning. AION är offentligt från 1 september 2026, samma dag som dess dokumentation publiceras.

AION öppnar programmet den 1 september 2026: bevisinfrastruktur för AI-beslut, med arkivet och dess dokumentation publicerade tillsammans. Efterhandsbaserade förklaringar kräver bara att du litar på en annan redogörelse från samma system. AION genererar istället ett beviscertifikat som vilken verifierare som helst kan kontrollera offline, i linjär tid, utan lösaren.

Dina filer, din hårdvara, dina siffror och en kontrollant som läser en främlings bevis

Det är en tvåveckorsutvärdering med skriftligt resultat snarare än en demonstration. Korpusen är din, hårdvaran är din, siffrorna är dina att publicera internt, och ingenting i övningen kräver en konversation med oss. Harnessen följer med i arkivet, så körningen kan starta samma dag som åtkomst ges.

Korrekt är inte AION:s egen åsikt om sig själv. Varje fil i en standardkorpus bär den status som den är känd att ha, och harnessen jämför AION:s svar mot den annoteringen instans för instans, så antalet i slutet är en poäng mot en angiven grundsanning. Adressutrymmet per körning kan begränsas, vilket hindrar en patologisk fil från att ta med sig en maskin.

AION levererar en benchmarkharness, så siffrorna du citerar i en affärsplan är de som dina egna filer producerade på din egen hårdvara. Peka den mot en korpus, så registrerar den parsetid, lösningstid och maximalt minne för varje instans, och skriver sedan ut ett antal för hur många svar som var korrekta. Körningen upprepas på samma korpus, så en andra utvärdering kan ställas bredvid den första rad för rad.

Även med allt detta kommer någon att bestrida ett resultat. Det behöver en väg, inte ett möte

Någonstans före den sista fanns en dag då arbetet fortfarande var en eftermiddags arbete, och det är den dagen en chef vill ha markerad, eftersom varje alternativ efter den kostar mer. Att läsa marginalen dagligen är hur den dagen hittas.

Rapporten har en ägare snarare än en kö, och varje rad på den innebär ett annat arbete med en annan brådska. En är klar och kräver ingen åtgärd från någon. En har fyra dagar kvar, vilket gör den till den här veckans plan snarare än dagens. En har en enda dag kvar, vilket gör den till morgonens arbete. En har passerat sitt datum för två veckor sedan, vilket kräver ett namn mot den och en mening som förklarar gapet.

Allt med en deadline kan övervakas medan det körs, och AION rapporterar det återstående utrymmet som ett signerat tal snarare än ett godkänt. Ett svarsfönster med fyra dagar kvar. En kvarhållningsperiod två veckor efter det datum då den borde ha stängts. Det är en operativ avläsning som någon kan agera på i morse. Siffran rör sig varje dag, så rapporten läses som en marginal snarare än som ett larm.

Register svarar på frågor i efterhand. Vissa skyldigheter behöver övervakas medan de körs

Attribution är en andra mekanism snarare än en annan kolumn i samma register. En signatur appliceras över härledningsordningen, så vem som producerade ett resultat överlever ett byte av leverantör, och två identiska svar från två leverantörer förblir åtskiljbara. Det gäller även när båda producerades från samma deklarerade indata.

Varje post på listan namnger komponenten som ändrades, och det lagrade certifikatet bakom den är komplett, så omkontroll är en körning snarare än en rekonstruktion. Alternativet, som är vad de flesta organisationer har, är ett val mellan att granska allt igen och att granska ingenting igen, och i praktiken görs det valet alltid på samma sätt.

Ett resultat som accepterades förra året accepterades under förra årets kontrakt. Sju olika saker kan röra sig under det: en kontrollantregel, ett certifikatschema, en policy, en kompilatorregel, ett körningskontrakt, en modellversion eller ett simuleringskontrakt. När en av dem gör det, har frågan om vilka tidigare slutsatser som vilade på den del som ändrades ett svar, och svaret är en lista.

En lokal logg är lätt att föra. Att hålla den meningsfull när reglerna ändras är svårare

För en dataskyddsansvarig som besvarar en kort lista med frågor om den här vägen, och bara den här vägen: ingen processortillägg i ett register, ingen överföring att motivera, ingen modellleverantör i kedjan, och inget av vårt som kan vara otillgängligt under din incident eller ändras under dig på någon annans releaseschema. Den version du har är den version som körs nästa år. Det svaret läses likadant oavsett om webbplatsen är ansluten eller nätverksisolerad.

Två vägar kan korsa en gräns och båda är dina att konfigurera. Ett kluster körs över adresser du själv anger. En extern bevisare, om du vill ha en i loopen, är ett program du installerar och det körs som en lokal process på din egen maskin.

Standardversionen av AION har ingen utgående klient. Att kontrollera ett bevis, översätta ett krav, övervaka en signal och köra sökningen sker allt på den maskin du startade dem på, inom din egen gräns, på hårdvara du kontrollerar. Det finns ingen värdmodell i kedjan och ingen väg till en. Samma version körs i ett nätverksisolerat rum som i ett anslutet, eftersom inget på standardvägen behöver ett nätverk för att slutföras.

Ett bevis om reglerna är en sak. Var arbetet körs är nästa fråga människor ställer

Det är ett uttalande om regeluppsättningen snarare än ett urval av tidigare fall. Att testa tusen applikationer visar tusen applikationer; en icke-interferenskontroll täcker varje par reglerna tillåter, med hjälp av självkomposition, egenskapsstyrd nåbarhet och k-induktion, med abstraktionen åtdragen där ett par visade att den var för lös. När det inte håller är det som kommer tillbaka inte en statistik. Det är två applikationer identiska i alla publika fält, som skiljer sig i det du frågade om, med två olika utfall tryckta sida vid sida. Det är ett fynd en regelefterlevnadsansvarig kan agera på samma morgon.

Ta den som tillsynsmyndigheter och klagande oftast ställer, i olika ordalag: ändrade detta fält utfallet? Det besvaras som en egenskap över två körningar. Bind samman alla publika indata, lämna fältet i fråga fritt på varje sida, och kräv att det synliga utfallet överensstämmer. Om det alltid överensstämmer, berodde utfallet inte på det fältet.

Ett certifikat är bara intressant för meningen det låter dig säga. Den här binären motsvarar den här källgrafen. Den här arbetsbelastningen kördes under dessa kapabiliteter. Den här åtgärden hade det krävda godkännandet. Detta optimum uppfyller denna gräns. Denna bana respekterade dessa invarianter. Denna slutsats följer av dessa begränsningar. Denna utdata kom från denna exakta modell och parameteruppsättning.

Ett ärende handlar om en applikation. Vissa frågor handlar om två av dem samtidigt

Båda dessa är fynd, och båda har en ägare. Ingen av dem är tillgänglig från ett godkänt eller underkänt. Motexemplet är det som berättar vilken av de två du håller i.

Motexemplet avslutar också argument som annars pågår i veckor, eftersom det inte är någons åsikt om huruvida regeln är för strikt. Det är ett fall, ritat i de verkliga värden regeln arbetar över. Antingen är fallet möjligt någonstans i din verksamhet, i vilket fall regeln är rätt och systemet är fel, eller så kan fallet inte inträffa, i vilket fall specifikationen saknar en begränsning som alla antog och ingen skrev ner.

När en regel inte håller returnerar AION den specifika situation som bryter den, skriven som prosa: vilka värden, av vilket slag, och vilka villkor de bryter mot. En ingenjör kan reproducera det och en chef kan prissätta det, och för en gångs skull argumenterar de två om samma fall.

Vilket lämnar meningarna som kan betyda två saker, och de blir ifrågasatta

Översättning är ett mönsterbibliotek snarare än en modell, så samma mening producerar alltid samma läsning, och en granskning behöver inte upprepas för att verktyget ändrade sig mellan ett kvartal och nästa. En andra granskare som läser samma mening kommer fram till samma villkor, vilket är det som gör en granskning överförbar.