{"block_close_oss.c33fd1fe9c":"Zajednica i ekosustav","core-extras.96d330537a":"Osnovni IR","core-extras.bee831a169":"Supstrat","core-extras.61a0822826":"Aplikacije na Coreu","core-extras.15438cc098":"nije podržano","core-extras.ad565d9d01":"Značajka","core-extras.0155bf03e5":"Legenda segmenata","core-extras.8b7110078e":"Grupe algoritama prema vrsti podataka","core-extras.25ab4276a6":"Moguća matrica pomicanja","open-source-aion.81f3904118":"Upravljanje znanjem utemeljeno na provjerenom podrijetlu u stilu AION-a.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Proizvodi","open-source-aion.de5ec3713e":"Parser koji se može potvrditi Merkleovim stablom, a AION ga koristi za obradu ulaza.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Provjereno izvođenje koje uparuje AION certifikate s transkriptima izvođenja.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Provjereno podrijetlo događaja za sustave: hash-lančani zapisi onoga što se dogodilo, ne koraka zaključivanja unutar odluke.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Nastavi istraživati","open-source-aion.75e393a1ac":"Istraži povezane projekte","open-source-aion.f9743247fa":"Pročitaj dokumentaciju","open-source-aion.ef0fd4ccef":"Pregledaj put dokaza","open-source-aion.77453cde44":"Pokrenite primjer certifikata i provjerite ga pomoću aion check, cvc5 ili bilo kojeg LRAT-kompatibilnog verifikatora nakon što repozitorij bude objavljen. Objava je planirana za 1. rujna 2026., a upute za instalaciju stižu s njom.","open-source-aion.dd58b70279":"Dokaz stiže uz odgovor","open-source-aion.90e40d5043":"Započni","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Otvoreni kod","open-source-aion.close.accent":"da ga svatko može provjeriti bez vas","open-source-aion.close.panel.title":"Što certifikat nosi","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Jedan oblik, osam polja","open-source-aion.close.panel.row.1.label":"Obitelji","open-source-aion.close.panel.row.1.value":"Devet registriranih, i proširive","open-source-aion.close.panel.row.2.label":"Provjera","open-source-aion.close.panel.row.2.value":"Ograničena, bez licence, bez ponavljanja","open-source-aion.close.panel.row.3.label":"Gdje se izvodi","open-source-aion.close.panel.row.3.value":"Na vašoj stranici, ništa ne odlazi van","open-source-aion.close.panel.foot":"Certifikat ostaje mali i može se ponovno provjeravati godinama kasnije.","open-source-aion.ea722c81af":"Europski","open-source-aion.26803e587f":"U vrijeme revizije","open-source-aion.15edfb4da4":"Izrađeno u","open-source-aion.75f527181b":"Izvan mreže","open-source-aion.f8c94a3b4b":"Što je to","open-source-aion.6b5eb5323e":"Izvan mreže, linearno vrijeme","open-source-aion.a49b62e167":"Točni racionalni brojevi","open-source-aion.45f053dc73":"Aritmetika","open-source-aion.4329e5da7b":"11 logičkih domena","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Formati dokaza","open-source-aion.87415af880":"Certifikati dokaza","open-source-aion.9c8c22f54d":"Dokazi, ne jamstva","open-source-aion.44ab85a252":"Podrijetlo","open-source-aion.3271776def":"Izvan mreže, bez usluge","open-source-aion.03128bed90":"Verifikacija","open-source-aion.4f1428fca3":"Hardver koji kontrolirate","open-source-aion.5703321d0e":"Radi na","open-source-aion.978e9ec250":"Standardno, prenosivo","open-source-aion.3229609e15":"Verifikacija","open-source-aion.cba0624eb5":"Zapis verifikacije","open-source-aion.26ef011865":"Pogledajte gdje se izvodi","open-source-aion.6f696724c6":"Pogledajte put verifikacije","open-source-aion.a3f1131acb":"AION je infrastruktura za dokaze AI odluka, javna od 1. rujna 2026. Uz AI rezultat emitira kompaktan dokaz, a zasebni provjeravač prolazi kroz taj dokaz prema izvornim premisama te ga prihvaća ili odbacuje bez modela, sesije rješavača ili mreže.","open-source-aion.a2831cb958":"za neovisno provjerene AI odluke","open-source-aion.78db6d1920":"Infrastruktura za dokaze","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Nikad mu ne vjerujte samo na riječ","open-source-aion.4c1c703b94":"Poanta","open-source-aion.2518be9b9c":"Nije potrebno","open-source-aion.4ab2910209":"Vaš račun","open-source-aion.3477f4d91d":"Isti odgovor","open-source-aion.d7e70b6e08":"Isto pitanje","open-source-aion.930888ee28":"Nema interneta","open-source-aion.d072f5db48":"Provjera potreba","open-source-aion.576347ec82":"Europa","open-source-aion.eeffc514bd":"Ne, drugi to koriste za vas","open-source-aion.cef1deea41":"Vi to gradite","open-source-aion.64ae43e8fe":"Provjera dokaza","open-source-aion.fdd1e56642":"Potvrda za odgovore","open-source-aion.704869f20f":"Običnim riječima","open-source-aion.658a8547d7":"Je li sigurno?","open-source-aion.06c805023d":"Razlog koji možete ponijeti sa sobom","open-source-aion.e92ed103c2":"AION dodaje provjerljivu potvrdu AI odgovoru. Vaš asistent može vam reći vrijedi li zaključivanje bez da od vas traži da razumijete mehaniku, a potvrda se može ponovno provjeriti bez internetske veze. AION je javan od 1. rujna 2026., dana kada i njegova dokumentacija postaje dostupna.","open-source-aion.336366183a":"za AI odluke","open-source-aion.41cbc965ef":"Provjerljiva potvrda","open-source-aion.4eabc3bc63":"CDCL s teorijskim dodacima","open-source-aion.68836c550e":"Jezgra","open-source-aion.0cdb7c9a36":"Linearno vrijeme, izvan mreže","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teorije","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Jezik","open-source-aion.942587e61e":"Informativni list projekta","open-source-aion.d4a74b503a":"Pročitajte dokumentaciju","open-source-aion.b683cc6ce4":"AION otvara program 1. rujna 2026.: infrastruktura dokaza za AI odluke, s repozitorijem i dokumentacijom objavljenima zajedno. Naknadna objašnjenja samo traže da vjerujete drugom izvještaju iz istog sustava. AION umjesto toga izdaje certifikat dokaza koji svaki provjeritelj može provjeriti izvan mreže, u linearnom vremenu, bez rješavača.","open-source-aion.8f2ee5be83":"AI rezultati","open-source-aion.376868cca2":"za neovisno provjerene","open-source-aion.hero.source":"Pitajte o izdanju","open-source-aion.45471af790":"Podrijetlo događaja","open-source-aion.ac9835d4bd":"Transkripti izvođenja","open-source-aion.24f43d4446":"Stabla sintakse","open-source-aion.f6b229e148":"Vaše datoteke, vaš hardver, vaši brojevi i provjeritelj koji čita tuđi dokaz","open-source-aion.144fbc96c6":"PREBROJANO","open-source-aion.719075bb86":"PARSIRAJ I RIJEŠI","open-source-aion.8f84ba12df":"VAŠE VLASTITE DATOTEKE","open-source-aion.8f088dbc07":"To je dvotjedna evaluacija s pisanim rezultatom, a ne demonstracija. Korpus je vaš, hardver je vaš, brojevi su vaši za internu objavu i ništa u vježbi ne zahtijeva razgovor s nama. Okvir se isporučuje s repozitorijem, pa izvođenje može početi dan kada pristup stigne.","open-source-aion.36ef075645":"Točno nije AION-ovo mišljenje o sebi. Svaka datoteka u standardnom korpusu nosi status za koji se zna da ima, a okvir uspoređuje AION-ov odgovor s tom anotacijom instancu po instancu, pa je broj na kraju rezultat prema navedenoj stvarnoj istini. Adresni prostor po izvođenju može se ograničiti, što sprječava da jedna patološka datoteka ponese stroj sa sobom.","open-source-aion.e5bce47d50":"Što pilot proizvodi","open-source-aion.680f97998b":"AION isporučuje okvir za mjerenje, pa su brojevi koje navedete u poslovnom slučaju oni koje su vaše vlastite datoteke proizvele na vašem vlastitom hardveru. Usmjerite ga na korpus i bilježi vrijeme parsiranja, vrijeme rješavanja i najveću rezidentnu memoriju za svaku instancu, zatim ispisuje broj točnih odgovora. Izvođenje se ponavlja na istom korpusu, pa se druga evaluacija može postaviti uz prvu redak po redak.","open-source-aion.2d5f8acea9":"i pročitajte brojeve","open-source-aion.5586707b63":"Prvo pokrenite vlastite datoteke","open-source-aion.67ec8d614c":"Prije nego se obvežete","open-source-aion.55744ee096":"Čak i uz sve to, netko će osporiti ishod. To zahtijeva put, ne sastanak","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"GLEDANO UŽIVO","open-source-aion.24538c3986":"MARŽA, NE UZBUNJENOST","open-source-aion.368f25d10d":"Negdje prije tog posljednjeg postojao je dan kada je posao još bio posao od jednog poslijepodneva, i to je dan koji menadžer želi označiti, jer svaka opcija nakon njega košta više. Čitanje marže svakodnevno je način na koji se taj dan pronalazi.","open-source-aion.c5701049a8":"Izvješće ima vlasnika, a ne red čekanja, i svaki redak u njemu podrazumijeva drugačiji posao s drugačijom hitnošću. Jedan je dovršen i ne zahtijeva nikakvu akciju. Jedan ima četiri preostala dana, što ga čini planom za ovaj tjedan, a ne za danas. Jedan ima jedan preostali dan, što ga čini poslom za jutros. Jedan je prošao svoj datum prije dva tjedna, što zahtijeva ime uz njega i rečenicu koja objašnjava razliku.","open-source-aion.26435b9406":"Sve s rokom može se pratiti dok se izvodi, a AION izvještava preostali prostor kao broj s predznakom, a ne kao prolaz. Prozor odgovora s četiri preostala dana. Razdoblje zadržavanja dva tjedna nakon datuma kada je trebalo biti zatvoreno. To je operativno čitanje na koje netko može djelovati jutros. Broj se mijenja svaki dan, pa se izvješće čita kao marža, a ne kao uzbuna.","open-source-aion.f49579b8d6":"prije nego postane prekršaj","open-source-aion.0e185152c8":"Maržu čitate svakodnevno","open-source-aion.bc09e774e9":"Aktivne obveze","open-source-aion.cff8079f65":"Zapisi odgovaraju na pitanja naknadno. Neke obveze treba pratiti dok se izvode","open-source-aion.127edee78d":"POTPISANO","open-source-aion.b1c1ba1af8":"POPIS","open-source-aion.8d27ef68f5":"SEDAM SE MOŽE POMAKNUTI","open-source-aion.c84f34cb7c":"Atribucija je drugi mehanizam, a ne još jedan stupac istog zapisa. Potpis se primjenjuje na redoslijed izvođenja, pa tko je proizveo rezultat preživljava promjenu izvođača, a dva identična odgovora od dva dobavljača ostaju razlikovljiva. To vrijedi čak i kada su oba proizvedena iz istih deklariranih ulaza.","open-source-aion.a76201631f":"Svaki unos na tom popisu imenuje komponentu koja se promijenila, a pohranjeni certifikat iza njega je potpun, pa je ponovna provjera izvođenje, a ne rekonstrukcija. Alternativa, koju većina organizacija ima, izbor je između ponovnog ispitivanja svega i ponovnog ispitivanja ničega, a u praksi se taj izbor uvijek donosi na isti način.","open-source-aion.5c82441a97":"Zapis","open-source-aion.10d9103c24":"Rezultat prihvaćen prošle godine prihvaćen je pod prošlogodišnjim ugovorom. Sedam različitih stvari može se pomaknuti ispod njega: pravilo provjeritelja, shema certifikata, politika, pravilo prevoditelja, ugovor izvođenja, verzija modela ili ugovor simulacije. Kada se jedna od njih pomakne, pitanje na kojim se prošlim zaključcima temeljio promijenjeni dio ima odgovor, a odgovor je popis.","open-source-aion.1829734913":"dobijete popis za ponoviti","open-source-aion.6d49555943":"Kada se pravilo kasnije promijeni","open-source-aion.7f325552d8":"Vaš revizijski trag, s verzijama","open-source-aion.d272027f73":"Lokalni zapis lako je voditi. Teže ga je održati smislenim kada se pravila promijene","open-source-aion.05a898ec87":"BEZ HOSTINGA MODELA","open-source-aion.c530254e40":"VAŠA WEB STRANICA","open-source-aion.66b3dbbe8f":"BEZ ODLAZNOG POZIVA","open-source-aion.8ae7a1670e":"Za službenika za zaštitu podataka koji odgovara na kratki popis pitanja o ovom putu, i samo o ovom putu: nema obrade koju treba dodati u registar, nema prijenosa koji treba opravdati, nema pružatelja modela u lancu i ništa naše što bi moglo biti nedostupno tijekom vašeg incidenta ili se promijeniti ispod vas prema tuđem rasporedu izdanja. Verzija koju imate jest verzija koja će raditi i sljedeće godine. Taj je odgovor isti bilo da je stranica povezana ili potpuno izolirana.","open-source-aion.60ad7ae15b":"Dva puta mogu prijeći granicu i oba su vaša za konfiguriranje. Klaster radi preko adresa koje sami postavite. Vanjski dokazivač, ako ga želite uključiti, program je koji instalirate i radi kao lokalni proces na vašem vlastitom računalu.","open-source-aion.2f6a307ba7":"Za operatere","open-source-aion.dbc08c41b9":"Zadana verzija AION-a ne sadrži odlazni klijent. Provjera dokaza, prevođenje zahtjeva, praćenje signala i pokretanje pretraživanja događaju se na računalu na kojem ste ih pokrenuli, unutar vaše vlastite granice, na hardveru koji kontrolirate. U lancu nema hostiranog modela niti puta do njega. Ista verzija radi u potpuno izoliranoj prostoriji kao i u povezanoj, jer ništa na zadanom putu ne treba mrežu da bi se dovršilo.","open-source-aion.90c790a231":"i ništa ne poziva prema van","open-source-aion.4b9230d5db":"Sve se izvodi na vašoj lokaciji","open-source-aion.fe7f7fc61a":"Gdje se posao odvija","open-source-aion.ed461cacdf":"Dokaz o pravilima jedno je. Gdje se posao izvodi sljedeće je pitanje koje ljudi postavljaju","open-source-aion.640d41197b":"JEDAN PROVJEREN","open-source-aion.29ff0fb82f":"SEDAM IZJAVA","open-source-aion.431d64456a":"To je izjava o skupu pravila, a ne uzorak prošlih slučajeva. Testiranje tisuću aplikacija pokazuje tisuću aplikacija; provjera neometanosti pokriva svaki par koji pravila dopuštaju, koristeći samokompoziciju, dosezljivost usmjerenu na svojstva i k-indukciju, s apstrakcijom zategnutom gdje god par pokaže da je bila previše labava. Kada ne vrijedi, ono što se vrati nije statistika. To su dvije aplikacije identične u svakom javnom polju, koje se razlikuju u onome o čemu ste pitali, s dva različita ishoda ispisana jedan pored drugog. To je nalaz na koji službenik za usklađenost može reagirati istog jutra.","open-source-aion.e5e1cd5506":"Uzmite ono što regulatori i podnositelji pritužbi najčešće pitaju, različitim riječima: je li ovo polje promijenilo ishod? Na njega se odgovara kao svojstvo nad dva pokretanja. Povežite svaki javni ulaz, ostavite polje o kojem je riječ slobodnim na svakoj strani i zahtijevajte da se vidljivi ishod podudara. Ako se uvijek podudara, ishod ne ovisi o tom polju.","open-source-aion.227872d789":"Jedan od njih, detaljno obrađen","open-source-aion.5f92fd5ed1":"Potvrda je zanimljiva samo zbog rečenice koju vam omogućuje izgovoriti. Ovaj binarni zapis odgovara ovom izvornom grafu. Ovo radno opterećenje radilo je pod ovim mogućnostima. Ova radnja imala je potrebno odobrenje. Ovaj optimum zadovoljava ovu granicu. Ova putanja poštivala je ove invarijante. Ovaj zaključak slijedi iz ovih ograničenja. Ovaj izlaz potječe iz ovog točnog modela i skupa parametara.","open-source-aion.418a3bc2fc":"pred regulatora","open-source-aion.7a7af31402":"Sedam izjava koje možete","open-source-aion.a13c1cf72d":"Što zapravo možete dokazati","open-source-aion.20467ce964":"Slučaj se odnosi na jednu aplikaciju. Neka pitanja odnose se na dvije odjednom","open-source-aion.dde18d1e41":"TKO GA POSJEDUJE","open-source-aion.f3b603a5b2":"U VRIJEDNOSTIMA","open-source-aion.53d2799375":"SLUČAJ","open-source-aion.f18bb15530":"Oba su nalaza i oba imaju vlasnika. Nijedan nije dostupan iz prolaza ili neuspjeha. Protuprimjer je ono što vam govori koji od ta dva držite.","open-source-aion.d83e9c1af9":"Protuprimjer također okončava rasprave koje inače traju tjednima, jer nije ničije mišljenje o tome je li pravilo prestrogo. To je slučaj, nacrtan u stvarnim vrijednostima nad kojima pravilo radi. Ili je slučaj moguć negdje u vašem poslovanju, u kojem slučaju je pravilo ispravno, a sustav pogrešan, ili se slučaj ne može dogoditi, u kojem slučaju specifikaciji nedostaje ograničenje koje su svi pretpostavljali, a nitko nije zapisao.","open-source-aion.7455444aea":"Kada pravilo ne vrijedi, AION vraća konkretnu situaciju koja ga krši, ispisanu kao prozu: koje vrijednosti, kakve vrste i koje uvjete krše. Inženjer to može reproducirati, a menadžer procijeniti, i napokon se njih dvojica raspravljaju o istom slučaju.","open-source-aion.7d4873637b":"kao slučaj koji ga je slomio","open-source-aion.aeb268fac7":"Prekršeno pravilo vraća se","open-source-aion.b5951203ea":"Što vam neuspjeh daje","open-source-aion.8a9a27b8f7":"Što ostavlja rečenice koje mogu značiti dvije stvari, a o njima se postavlja pitanje","open-source-aion.e1814a04c0":"PREGLEDNO","open-source-aion.20e7dea6cd":"JASNO ČITANJE","open-source-aion.295ea7bb80":"ENGLESKI ZADRŽAN","open-source-aion.a4abbaea33":"Prijevod je biblioteka uzoraka, a ne model, tako da ista rečenica uvijek proizvodi isto čitanje, a pregled se ne mora ponavljati jer se alat predomislio između jednog tromjesečja i sljedećeg. Drugi recenzent koji čita istu rečenicu dolazi do istog uvjeta, što pregled čini prenosivim.","open-source-aion.f3689055f1":"Svaki uvjet dolazi s jednom rečenicom na jasnom engleskom koja govori što kodira, te s veličinama nad kojima radi, svaka imenovana vrstom vrijednosti koju sadrži i vlastitom linijom opisa. Dakle, pregled može obaviti osoba koja je vlasnik zahtjeva, a ne samo osoba koja je vlasnik notacije.","open-source-aion.cac3da045e":"Kako to vrijedi","open-source-aion.c6b765e4cc":"Zahtjeve pišu ljudi koji razumiju posao, a uvjeti ih pretvaraju u zapise ljudi koji razumiju notaciju, pa te dvije verzije godinama odlutaju jedna od druge. AION ih drži povezanima: zahtjev napišete kao englesku rečenicu, a uvjet proizašao iz nje nosi vašu rečenicu sa sobom. Recenzent čita oboje zajedno, pa odstupanje iskoči na stranici, a ne u incidentu.","open-source-aion.589a38f560":"osobi koja je pitala","open-source-aion.5d212c3d75":"Pravilo ostaje čitljivo","open-source-aion.5373332e20":"Tko može vidjeti što je provjereno","open-source-aion.5f882ec681":"Referenca je korisna samo ako je pravilo na koje upućuje čitljivo vašim ljudima","open-source-aion.bca8d6442c":"PROVEDIVO","open-source-aion.705bc98c49":"IMENUJE PRAVILO","open-source-aion.ab9f5d57e4":"IMENUJE KORAK","open-source-aion.b4ba975800":"Razdvajanje toga omogućuje da se odbijanje uopće pošalje dobavljaču, jer je optužba jedino što se iz odnosa s dobavljačem ne može tiho povući.","open-source-aion.7a47f854de":"Taj oblik je nešto na što revizor ili voditelj dobavljača može reagirati, jer nesuglasicu pretvara u referencu. AION također razdvaja dvije pogreške koje dolaze pod jednom riječju. Ili se korak ne može rekonstruirati, što je nedostatak u dokazu i nalaz protiv onoga tko ga je proizveo, ili korak koristi pravilo koje ovaj provjeravač ne nosi, što je pitanje opsega za vas, a ne nalaz protiv bilo koga.","open-source-aion.d9469b7dda":"Pogreška koja kaže provjera nije uspjela ne može se dodijeliti, osporiti niti popraviti, a stiže kao spor, a ne kao nalaz. AION vraća lokaciju i razlog: koji korak, u kojoj datoteci, koje je pravilo tvrdio primjenjivati i što je nedostajalo kad se korak ponovno razradio. Odbijanje se može vratiti timu koji ga je proizveo s ponovljivom adresom. Ako se dokaz ne može rekonstruirati, vlasništvo je na proizvođaču; ako provjeravaču nedostaje navedeno pravilo, riječ je o odluci o opsegu. To su različiti redovi čekanja i različite sanacije.","open-source-aion.ccc6a09991":"s korakom i razlogom","open-source-aion.3619f211ef":"Neuspjela provjera vraća se","open-source-aion.29801085dc":"Izlaz koji mora biti upotrebljiv","open-source-aion.57c6ba11fc":"Sedam proizvođača drži vlastite izlaze. AION standardizira omotnicu i usmjeravanje za svoje dokaze.","open-source-aion.f37804f36b":"JEDNA OMOTNICA","open-source-aion.8a3b4bf313":"SEDAM PROIZVOĐAČA","open-source-aion.479f1de8ea":"Zajednička omotnica organizaciji daje jedan registar, jedan model kompatibilnosti i jedan skup pogođenih kad se pravilo promijeni. Svaka obitelj potvrda zadržava vlastiti provjeravač i pravila odbijanja. Nova se obitelj pridružuje registracijom tih pravila i svog provjeravača; AION ne postaje proizvođač. Registar je dio koji raste.","open-source-aion.5b958e86c7":"Rješavač može izdati logičke, optimizacijske ili vremenske potvrde. Twin i FMI proizvode različite izlaze, ali dijele obitelj simulacije i FMI-ja. Proizvođač kaže što je napravljeno; obitelj potvrda kaže kako se njezina tvrdnja provjerava. Njih dvoje bilježe se odvojeno, pa se jedno ne može iščitati iz drugoga.","open-source-aion.57e1cc2701":"Što jedna omotnica mijenja","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin i FMI sedam su proizvođača različitih izlaza, a ne sedam obitelji potvrda. AION daje njihovim dokazima jednu omotnicu i usmjerava svaku potvrdu na provjeravača specifičnog za obitelj. Omotnica nosi proizvođača, obitelj, shemu i deklarirane ulaze, dok provjeravač obitelji zadržava tehničko značenje. Dobavljač može promijeniti svoju implementaciju bez promjene granice dokaza organizacije; samo promjena obitelji ili sheme proširuje pregled kompatibilnosti.","open-source-aion.65a41e884e":"jedna omotnica za dokaze","open-source-aion.837663a52a":"Sedam proizvođača, i","open-source-aion.647e0f46ec":"Sedam proizvođača","open-source-aion.af6010147d":"Jedan dobavljač jedna je veza. Zanimljivo je pitanje koliko ovo doseže","open-source-aion.35ecafecfb":"VAŠ STROJ","open-source-aion.0676f9f8de":"TRI STVARI","open-source-aion.dfc87eabb4":"To pomiče razgovor s terena na kojem su dobavljači ugodni. Više ih ne tražite da vas uvjere i više ne plaćate reprodukciju njihova okruženja. Kad držite te tri stvari, provjera je vaša da je ponavljate kad god želite, na bilo kojem hardveru koji želite, uključujući i tjedan nakon isteka ugovora.","open-source-aion.7677ed77e3":"Vrijedi biti precizan oko artefakta jer nije uvijek datoteka. Ovisno o obitelji, to može biti datoteka, arhiva, tok, potpisani snop, par tragova, svjedok, potvrda o izvršenju ili strukturirana derivacija. Ono što uvijek jest, bez obzira na oblik, nešto je što provjeravač može pročitati bez prisutnosti proizvođača.","open-source-aion.a29def781f":"Što je potvrda zapravo","open-source-aion.fdca1fef67":"Potvrda nije zapisnik niti sažetak. To je dokaz koji je rad ostavio za sobom, a ono što dobavljač predaje tri su stvari: tvrdnja, deklarirani ulazi i ugovor prema kojem je napravljena, te potvrda koju je sustav proizveo. Ne njihova licenca, ne njihova verzija, ne njihov stroj. Te tri stvari putuju zajedno, a za njihovu provjeru nije potrebno ništa više od dobavljača.","open-source-aion.b054d236cd":"umjesto njihova softvera","open-source-aion.53e1575f60":"Provjeravate potvrdu","open-source-aion.5e40f4ba8a":"Promjena pozicije","open-source-aion.b9e2767b28":"Postoji put koji nije ni vjerovanje njima ni ponovno pokretanje njihova softvera","open-source-aion.7d87348ad6":"VAŠE IME NA NJOJ","open-source-aion.48a5aca907":"NJIHOV SUSTAV","open-source-aion.32c3cafa08":"To je pozicija koju revizor gleda kad pita kako ste se sami uvjerili, uključujući i prema pravilima o dokazima poput onih iz EU AI Act-a. AION to mijenja dajući svakom od tih rezultata potvrdu koju možete provjeriti, bez reprodukcije dobavljača i bez pristupa bilo čemu što oni smatraju svojim. Provjera se izvodi na vašem vlastitom stroju, samo na temelju potvrde.","open-source-aion.ac90e72b2c":"Uobičajeni putovi oboje završavaju na istom mjestu. Možete tražiti njihove dokaze, što je dokument koji su napisali o vlastitom softveru. Ili možete tražiti da sami reproducirate njihov sustav, što zahtijeva njihovu licencu, njihovu verziju i njihovo okruženje, i i dalje vas ostavlja da se oslanjate na stvar koja je proizvela odgovor.","open-source-aion.fc63c534d2":"Rješavač kaže da je raspored izvediv. AI sustav donosi regulirani zaključak. Agentski sustav obavlja operaciju u vaše ime. Kompajler proizvodi sigurnosno kritičan artefakt. Izvođač izvršava kontrolirano opterećenje. Simulacija potvrđuje odluku o dizajnu. Digitalni blizanac izvještava da je radno stanje sigurno. U svakom od tih slučajeva posao se dogodio negdje drugdje, a posljedica pada na vas.","open-source-aion.c9672e2ac8":"vaše ime je na odgovoru","open-source-aion.925d7b4a2d":"Njihov sustav ga je proizveo","open-source-aion.47b025f850":"Gdje je odgovornost","open-source-aion.905aee629b":"Postupak, razlog koji možete pročitati i isto pravilo za sve koje dotiče","open-source-aion.4d0ee37058":"DATUM","open-source-aion.6ccb4a6f6a":"ISTI RAZLOG","open-source-aion.84adcc762b":"ISTA PROVJERA","open-source-aion.56c6f422d8":"To je pismo koje netko može napisati. Umjesto da kažete da je sustav odlučio, možete citirati pravilo, navesti datum, navesti verziju i pitati osobu koja ga je napisala je li to ono što je mislila.","open-source-aion.073cdea47b":"To vrijedi samo ako to možete vidjeti, pa ono što vam ostaje u rukama su tri stvari koje možete koristiti. Pravilo, običnim riječima koje možete pročitati naglas. Razlog zašto se primijenilo na vas, citirajući to pravilo s vašom vlastitom situacijom u njemu. I datum kada je postupak provjeren. Taj zapis navodi što ga je provjerilo i prema kojoj verziji pravila je provjeren.","open-source-aion.a50f912efb":"Što možete učiniti s tim","open-source-aion.1d94c73b03":"Predajte isti postupak AION-u dvaput i provjera ispadne ista, u ponedjeljak i u petak, za vas i za osobu iza vas u redu. Nije da svi dobiju isti odgovor, jer ljudi donose različite situacije. Bit je da se sama provjera ne mijenja i nitko ne tumači vaš slučaj na licu mjesta. Godinu dana kasnije isti postupak provjeravaju ista pisana pravila, pa se odgovor koji ste dobili još uvijek može objasniti.","open-source-aion.fba7a52bf4":"u ponedjeljak i u petak","open-source-aion.77a3327a99":"Provjereno na isti način","open-source-aion.cebde51ae2":"Što vam ostaje u rukama","open-source-aion.a566f0cb1b":"Vrijeme je jedna vrsta pravila. Većina ih je obična, primijenjena na sve","open-source-aion.29231cd04d":"NA VRIJEME","open-source-aion.d89f7642e7":"PRAĆENO","open-source-aion.5d491ce50f":"DANA OSTALO","open-source-aion.c50722f442":"Isto čitanje djeluje i nakon datuma kao i prije njega. Četrnaest dana prošlo je činjenica o kojoj se netko može pitati, s pripadajućim datumom, a ne crvena oznaka koja je stigla bez upozorenja.","open-source-aion.0b1cbd5f8a":"Prolaz vam ne govori ništa dok ne prestane biti prolaz, a do tada su jeftine opcije nestale. Broj vam govori gdje ste: dvadeset dva dana ostalo je bilješka u dnevniku, četiri dana ostalo je ovaj tjedan, jedan dan ostalo je jutros.","open-source-aion.af41b675b0":"Što vam to daje","open-source-aion.2ff91b62ec":"Pravila sa satom u sebi su ona koja ljude uhvate nespremne. Odgovor koji se duguje u roku od trideset dana, prozor za povrat, razdoblje nakon kojeg se nešto mora izbrisati. AION ih prati dok traju i izvještava koliko je prostora ostalo danas, kao broj dana.","open-source-aion.94dc6c2b80":"mnogo prije posljednjeg","open-source-aion.6bdbc0422a":"Možete vidjeti preostale dane","open-source-aion.37f768721f":"Rokovi koji vas se tiču","open-source-aion.e3c2d4b24a":"Rad na licu mjesta također znači da može paziti na sat za vas","open-source-aion.4ace2cc9bc":"BEZ RAČUNA","open-source-aion.c5c3055a7b":"NIŠTA POSLANO","open-source-aion.a5b9137c2b":"OSTAJE OVDJE","open-source-aion.874bab5372":"Ako je veza uopće uključena, to je ona koju je netko namjerno uspostavio između vlastitih strojeva, i isključena je dok to ne učine. Vaša rečenica se čita prema pisanim pravilima, u istoj prostoriji kao i vi, a odgovor stiže s prekinutom vezom. Ništa nije napustilo stroj da bi ga proizvelo i ništa nije poslano.","open-source-aion.4a03f17947":"Bez računa, bez prijave i bez vanjske usluge koja mora raditi, biti pouzdana ili još uvijek poslovati sljedeće godine da biste dobili odgovor.","open-source-aion.f10eb79b5b":"Što to znači za vas","open-source-aion.c17d4e01b4":"Mnogi alati odgovaraju na pitanje o vama tako što šalju vaše podatke i čekaju odgovor. Vaše su informacije putovale, do tvrtke koju niste odabrali, možda u zemlju za koju nikada nećete čuti da se spominje. AION radi posao tamo gdje već jest. Ništa se ne šalje, jer nema čime poslati.","open-source-aion.9e50609149":"na stroju na kojem jeste","open-source-aion.ca67037369":"Odgovor se izračunava","open-source-aion.7df600af96":"Gdje idu vaši podaci","open-source-aion.399483042a":"Biti upitan je jedna polovica. Druga polovica je ono što vam se kaže kada je odgovor ne","open-source-aion.0b5b7048ea":"VI BIRATE","open-source-aion.f12c755afa":"PITA VAS","open-source-aion.300453f44e":"DVA ZNAČENJA","open-source-aion.6debd2c487":"Što zvuči kao mala ljubaznost. To je razlika između pravila na koje ste pristali i pravila koje je netko pogodio u vaše ime, u žurbi, na dan kada niste bili tamo. Pogađanje je uobičajen način na koji se to radi i nikome se nikada ne kaže da se dogodilo. Pitanje košta trenutak i uklanja nagađanje iz zapisa.","open-source-aion.6f02dd9d43":"AION se zaustavlja i pita. Citira vam riječi oko kojih nije siguran, iznosi oba čitanja običnim jezikom, postavlja pitanje s vašom vlastitom frazom unutar njega i čeka. Vi birate. Ništa se ne odlučuje dok je pitanje otvoreno.","open-source-aion.0ccfcd0de4":"Što se mijenja","open-source-aion.b3124516ab":"\"Otkaži ako je kašnjenje dulje od jednog sata.\" Je li kašnjenje od sedamdeset pet minuta dulje od jednog sata, ili se sati broje cijelo, pa je sedamdeset pet minuta jedan sat i jedan sat nije više od jednog? Oba čitanja su običan engleski. Ne slažu se oko točno jednog slučaja, a taj slučaj će se pojaviti.","open-source-aion.4449c95cf9":"znače dvije stvari, pita","open-source-aion.75ca04ac1b":"Ako bi vaša rečenica mogla","open-source-aion.2297deb89a":"Kada je vaša rečenica nejasna","open-source-aion.32cf0852b8":"Rečenica može značiti i dvije stvari odjednom, i to je vrijedno zaustavljanja","open-source-aion.b5d2541ad8":"BEZ ŽARGONA","open-source-aion.3b7c198e57":"VRAĆA SE","open-source-aion.c4cc4b9845":"VAŠIM RIJEČIMA","open-source-aion.5c9a5c3396":"A kada se ista rečenica ponovno pročita, proizvodi potpuno isto pravilo, jer ništa u AION-u ne uči, ne odstupa niti u međuvremenu ima bolju ideju. Pravilo koje ste jednom prihvatili ostaje pravilo koje ste prihvatili, a osoba koja ga prima čita vašu rečenicu, a ne nečiji sažetak. Ništa usput ne pretvara je u tuđe riječi.","open-source-aion.ba41f25c15":"Dvije stvari proizlaze iz zadržavanja rečenice. Možete reći je li bila shvaćena na dan kada ste je napisali, čitanjem, umjesto da to saznate iz incidenta godinu dana kasnije.","open-source-aion.c19473d784":"Napišite pravilo običnim riječima i AION zadržava te riječi. Što zvuči kao mala usluga sve do dana kada postane važno: mjesecima kasnije, kada je nešto zaustavljeno zbog tog pravila, rečenica koju ste napisali vraća se na vrh objašnjenja, riječima koje ste odabrali.","open-source-aion.4c0e51d183":"izgovorili biste to naglas","open-source-aion.dcf65c0f8a":"Napišite pravilo onako kako","open-source-aion.e1a651b90e":"Govoreći što želite","open-source-aion.beda6f7681":"Ponovno računanje zahtijeva zapisan zbroj. Isto vrijedi i za pravilo, a vaše može biti rečenica","open-source-aion.ef6371cd2e":"ZAUSTAVLJA","open-source-aion.47ce22a1f7":"KORAK PO KORAK","open-source-aion.9195df51f1":"DRUGO ČITANJE","open-source-aion.b66352de76":"Zaustavljanje je važna polovica. Bilo što se može složiti s vama. Nešto što će se zaustaviti i pokazati na redak vrijedi imati, a toga je vrlo malo.","open-source-aion.e04fafc8fc":"AION ponovno zbraja stupac. Ne za račune, nego za težu vrstu rada koju strojevi obavljaju kada odluče da je nešto dopušteno, sigurno ili nemoguće, kada nešto grade, kada nešto pokreću u vaše ime ili kada izračunaju što bi se dogodilo prije nego što itko to isproba. Čita rad koji je prvi stroj zapisao, sam ponavlja svaki korak i zaustavlja se na prvom koji ne može dovršiti.","open-source-aion.b55b759c73":"Kada račun izgleda pogrešno, ne raspravljate o tome je li zbroj točan. Sami ponovno zbrojite stupac. Ako dobijete isti broj, zbroj stoji. Ako se zaustavite na četvrtom retku jer ne funkcionira, možete točno reći koji je redak, i rasprava je gotova u jednoj rečenici.","open-source-aion.59141b0dfa":"umjesto da vam vjeruje na riječ","open-source-aion.fa22d5033b":"Netko ponovno izračuna zbroj","open-source-aion.333a6c87f2":"promjena proizvodi pogođeni skup i red čekanja, a ne tiho reinterpretiranje prošlosti","open-source-aion.0eecb96558":"su pet činjenica","open-source-aion.59e22ed738":"proizvedeno, potpisano, verificirano, prihvaćeno i još uvijek kompatibilno","open-source-aion.d78c662e5b":"provjereno, ne pretpostavljeno","open-source-aion.5b44284acd":"još uvijek kompatibilno s","open-source-aion.cc4bc74f90":"s verzijom ugovora","open-source-aion.3bb51eeea5":"prihvaćeno pod","open-source-aion.72954f75cf":"s verzijom verifikatora","open-source-aion.3741770a87":"verificirano od strane","open-source-aion.7fc7c8aef9":"nad hashom redoslijeda izvođenja","open-source-aion.d2a7817a72":"potpisano od strane","open-source-aion.9d7c5e8097":"s verzijom","open-source-aion.8fffa5fcb8":"proizvedeno od strane","open-source-aion.756e62f03a":"Jedan rezultat, pet činjenica","open-source-aion.2b8be4ecd3":"Atribucija radi na vlastitom mehanizmu: Ed25519 potpis nad BLAKE3 hashom redoslijeda izvođenja, s monotonskim nonceom i vremenskom oznakom, provjerljiv prema javnom ključu proizvođača. Prihvaćanje radi na drugom, noseći identitet i verziju verifikatora te verziju ugovora koju je odobrio. Kada se bilo što ispod pomakne, pravilo provjere, shema certifikata, pravila, pravilo kompajlera, ugovor izvođenja ili verzija modela, certifikati koji su deklarirali ovisnost o tome čine pogođeni skup i stavljaju se u red za ponovnu provjeru, s imenovanom promijenjenom komponentom.","open-source-aion.6b8169d142":"Presuda sama po sebi je riječ bez autora. Pet činjenica koje se obično stapaju u jednu ovdje su odvojene: tko je proizveo rezultat, tko ga je potpisao, što ga je verificiralo, pod kojim ugovorom je prihvaćen i je li još uvijek kompatibilan s pravilima kakva su danas. To je pet različitih pitanja i četiri od njih preživljavaju promjenu dobavljača.","open-source-aion.2cd4b335f4":"Provjeravač to verificira.","open-source-aion.d15fbc9566":"Ništa nije verificirano.","open-source-aion.481d0fc02c":"Cijeli argument","open-source-aion.ca75c84634":"Svaki certifikat ovdje završava kao jedan zapis, a zapis drži svoje činjenice odvojeno","open-source-aion.3ecc9abb23":"PROŠIRIVO","open-source-aion.8112bd91bc":"ZRAČNI JAZ","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Kada je jedno verifikacija stvarno prevelika za jedan stroj, posao se dijeli na kocke između strojeva s dijeljenjem klauzula između njih, a sastavljeni rezultat prihvaća se samo nakon provjere pokrivenosti: nijedne dvije kocke ne smiju popraviti isti skup literala, a ono što pokrivaju mora se zbrajati na cijeli prostor, a ne na gotovo cijeli. Spoj koji je kratak za jedan je odbijanje, što je ista disciplina kao i svugdje drugdje u proizvodu. Osim toga, registar verifikatora i API za proširenje način su na koji se obitelj certifikata koju nitko ovdje nije napisao provjerava ovdje.","open-source-aion.04cd68c7fb":"Samo dvije stvari mogu prijeći granicu i obje konfigurirate vi. Klaster radi preko adresa koje postavite. Vanjski proizvođač je program koji instalirate i pokrećete kao lokalni proces. Ne postoji hostani model nigdje u lancu i nijedna naša usluga koja može biti nedostupna tijekom vašeg incidenta ili se promijeniti ispod vas prema tuđem rasporedu izdanja. Zračno odvojeno imanje verificira točno kao i povezano, jer verifikacija nikada nije trebala proizvođača na prvom mjestu.","open-source-aion.ac1913e46c":"Dva puta van, i oba su vaša","open-source-aion.c2193fefe2":"Verifikacija je izračun kao i svaki drugi, a gdje se izvodi vaša je odluka. AION izlazi 1. rujna 2026.: kada repozitorij postane javan, povežite biblioteku, pokrenite naredbu ili podignite uslugu unutar vlastite granice. Zadana izgradnja ne nosi odlaznog klijenta, tako da provjera certifikata ne zahtijeva račun, pružatelja ni put izvan stroja na kojem je započela.","open-source-aion.72d09c5994":"usluga ili enklava","open-source-aion.f8ac38e647":"Biblioteka, naredba","open-source-aion.604918db00":"Gdje se provjera izvodi","open-source-aion.c07ebfbab5":"Arhiv miruje. Posljednje je pitanje gdje se sve to zapravo izvodi","open-source-aion.d34941b7ce":"INDEKSIRANO","open-source-aion.79ae623ce9":"ADRESIRANO SADRŽAJEM","open-source-aion.0f7d1ea9ca":"Dio koji se mora izgraditi, a ne pretpostaviti, jest indeks. Kada se promijeni pravilo provjeravača, shema certifikata, pravila, pravilo kompajlera, ugovor izvođenja ili verzija modela, certifikati čija je valjanost ovisila o promijenjenoj komponenti pronalaze se pretraživanjem, a ne skeniranjem svega i nadom. Ovisnosti su deklarirane u omotnici, pa je pogođeni skup upit, a red čekanja za ponovnu provjeru njegov rezultat, s imenom promijenjene komponente uz svaki unos. Alternativa koju većina organizacija zapravo ima jest izbor između ponovnog ispitivanja svega i ponovnog ispitivanja ničega.","open-source-aion.144711734a":"Pohrana je korisna samo ako je čitatelj koji je otišao dalje i dalje može otvoriti, pa svaki zapis nosi potpis proizvođača, identitet i verziju provjeravača koji ga je prihvatio, verziju ugovora pod kojom je prihvaćen i ovisnosti na kojima počiva. Test kompatibilnosti izvodi se na povratku.","open-source-aion.22f96be502":"Pogođeni skup pravi je indeks","open-source-aion.a1b04ec691":"Certifikati koje vrijedi čuvati jesu oni o kojima će vas pitati godinama kasnije. AION pohranjuje prihvaćeni certifikat kompaktno i adresirano sadržajem: identifikatori kao razlike, ponovljeni obrasci kodirani duljinom ponavljanja, identični poddokazi hashirani i pohranjeni jednom, a cijela stvar adresirana svojim sadržajem, a ne mjestom gdje ju je netko pohranio. Adresa sadržaja ono je što čitatelju koji je otišao dalje omogućuje da ponovno pronađe isti certifikat i provjeri ga drugi put, godinama nakon izvođenja koje ga je proizvelo.","open-source-aion.c017c017d7":"i ostaje provjerljiv","open-source-aion.2e10b84b57":"Certifikat ostaje malen","open-source-aion.9263a81467":"Pohrana onoga što je provjereno","open-source-aion.1f029bacad":"Šest obitelji, i svaka završava u istom zapisu","open-source-aion.1deb4d4a29":"PUTANJA","open-source-aion.f8d5b44c34":"INVARIJANTE","open-source-aion.52dd7acef9":"USKLAĐENOST","open-source-aion.24d7374cb9":"Razdvajanje tih pojmova ono je što prva dva čini vrijednima. Uvjeravanje koje tiho implicira treće jest ono koje pada pred regulatorom, a certifikat koji imenuje vlastitu granicu jest onaj koji preživljava sastanak.","open-source-aion.0e4ffe42fa":"Tri različita pitanja postavljaju se simulaciji, a iskrenost o tome koja su dva ovdje odgovoriva cijeli je profesionalni sadržaj ovog odjeljka. Izvršna usklađenost pita je li deklarirani model, parametri i konfiguracija doista proizveli ovu putanju, i to je provjerljivo. Provjera matematičkih svojstava pita vrijede li navedene invarijante tijekom izvođenja, i to je također provjerljivo, pri čemu neuspjeh vraća trag umjesto presude. Fizička valjanost pita predstavlja li model stvarni svijet, i nijedan certifikat to ne utvrđuje. Ona pripada vlasniku modela i pripada mu trajno.","open-source-aion.bb70d13ca4":"Granica o kojoj ovaj odjeljak vodi računa","open-source-aion.ac558913f9":"Rezultat simulacije koristi se za donošenje odluka dugo nakon što je izvođenje nestalo. Certifikat nosi identitet modela i FMU-a, skup parametara, početno stanje, konfiguraciju rješavača, slijed vremenskih koraka ili događaja, prijelaze stanja, provedene provjere invarijanti, status konvergencije ili završetka, hash rezultirajuće putanje i protuprimjer traga gdje svojstvo ne uspije.","open-source-aion.1c9f5f0f21":"odgovara točno na dva od njih","open-source-aion.242c47d00a":"Tri pitanja, i ovo","open-source-aion.a635f9edf3":"Twin i FMI, certificirani","open-source-aion.43f8bc442f":"Izvođenje je jedno pokretanje jedne stvari. Simulacija ih čini milijune odjednom","open-source-aion.d3a968f797":"ID IZLAZA","open-source-aion.d79014995c":"POTVRĐENO","open-source-aion.2fbbf64505":"MOGUĆNOSTI","open-source-aion.51fd9d7843":"Determinizam je ono što ostalo čini provjerljivim. Budući da su prijelazi deterministički s obzirom na modul, ulaze i dopuštenja, provjeravač ih može pratiti bez ponovnog izvođenja radnog opterećenja u njegovom izvornom okruženju, a dva izvođenja koja tvrde isti identitet izlaza iz istih ulaza ili se slažu ili ukazuju na prijelaz na kojem su se prestala slagati. To je u praksi potvrda izvođenja: što se izvodilo, pod kojim ovlastima, provjerljivo bez ponovnog pokretanja.","open-source-aion.0d0fd79859":"Većina pitanja koja se naknadno postavljaju o radnom opterećenju zapravo su pitanja o njegovim ovlastima. Do čega je ova stvar mogla doprijeti dok je radila i je li doprla do čega drugog. Certifikat koji nosi dopuštenja mogućnosti uz prijelaze odgovara na to bez čitanja zapisnika, i odgovara nekome tko ne upravlja izvođenjem.","open-source-aion.890c61e134":"Zašto je skup mogućnosti zanimljivo polje","open-source-aion.1331fa2052":"Status izlaza kaže da je radno opterećenje završilo. Certifikat izvođenja kaže što je završilo: identitet radnog opterećenja i modula, verzija izvođenja, dopuštenja mogućnosti koja je imalo, ulazi koje je primilo, deterministički prijelazi stanja kroz koje je prošlo, ograničenja resursa unutar kojih je radilo, identitet izlaza koji je proizvelo te je li dovršeno ili je zapelo. Svako od toga polje je iz kojeg se može odgovoriti na kasnije pitanje, bez povratka na stroj koji ga je izvodio.","open-source-aion.65576ef482":"pod kojim mogućnostima","open-source-aion.74a9894f4f":"Što se izvodilo, na čemu i","open-source-aion.eabc461dcf":"Selvedge, certificiran","open-source-aion.b4792818f1":"Kompilirani artefakt i dalje se mora negdje izvoditi, a to izvođenje također je tvrdnja","open-source-aion.414cbcc9ec":"PODRIJETLO","open-source-aion.24466ece94":"IZVOR U ARTEFAKT","open-source-aion.c81d361198":"Ta je preciznost ono što artefakt čini korisnim nizvodno. U reguliranom okruženju pitanje je rijetko je li prevodilac dobar. Pitanje je odgovara li ovaj binarni zapis ovom izvornom grafu pod ovom konfiguracijom optimizacije, što je pitanje s odgovorom, a odgovor putuje s artefaktom, a ne živi u sustavu izgradnje koji ga je proizveo. To u praksi znači provjereno podrijetlo izgradnje: tvrdnja o ovom artefaktu, provjerljiva bez sustava izgradnje koji ga je stvorio.","open-source-aion.6c1fd4df2b":"Deklaracija je disciplina. Potvrda ne tvrdi da je svaka optimizacija bila ispravna kao jedna nediferencirana tvrdnja, jer ta tvrdnja nije ni provjerljiva ni istinita za bilo koji stvarni prevodilac. Ona imenuje točno koja svojstva očuvanja ili ekvivalencije uspostavlja kroz koje transformacije, a verifikator provjerava upravo to i ne izvještava ni o čemu drugom.","open-source-aion.fd5ed4a1d8":"Imenovane tvrdnje, ne jedna sveobuhvatna","open-source-aion.82a76c947a":"Prevodilac vam predaje artefakt i izlazni status. Potvrda o prevođenju nosi ono što se za taj artefakt tvrdi: identitet izvora ili grafa iz kojeg je nastao, verziju prevodioca i optimizacije, primijenjeni slijed transformacija, očuvanje tipa i oblika kroz te transformacije, odabrane jezgre, identitet proizvedenog artefakta te provjere ekvivalencije ili invarijante koje potvrda deklarira.","open-source-aion.06efebf0f5":"o izvoru iz kojeg je nastao","open-source-aion.3f208ecc5e":"Binarni zapis je također tvrdnja","open-source-aion.716710e273":"Kera, certificirana","open-source-aion.89572e64cc":"Organizacija može biti certificirana. Isto tako i prevodilac koji je izgradio ono na čemu ona radi","open-source-aion.502114d554":"POTVRDE","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORITET","open-source-aion.965738574a":"Vrijednost se pokazuje kada je operacija sporna. Trag tijeka rada je organizacijski prikaz same sebe. Potvrda koju je neovisni verifikator prihvatio, pod imenovanom verzijom ugovora, druga je klasa dokaza, a razlika je upravo ona koju AION postoji da stvori.","open-source-aion.f4652935ed":"Ovo je potvrda o upravljanoj operaciji, ne o tome što je agent mislio. Ona rješava pitanja koja će netko stvarno postaviti: je li autoritet postojao u trenutku kada je radnja pokrenuta, je li vrata koja su trebala zadržati doista zadržala, je li odobrenje vezano uz radnju, a ne uz poruku u njezinoj blizini, te jesu li prijelazi stanja koje zapis tvrdi oni koje ugovor dopušta. Sve je to strojno provjerljivo i ništa od toga ne zahtijeva pristup modelu.","open-source-aion.be15814346":"Što uspostavlja, a što ne","open-source-aion.38d3c11f27":"Dovršeni tijek rada je tvrdnja kao i svaka druga. Organizacijska potvrda uspostavlja upravljanu operaciju koja se stvarno dogodila: cilj i verziju politike pod kojom je radila, formiranu organizaciju, riješene uloge i autoritete, izvršene zadatke i njihove prijelaze, pročišćene političke kapije, priložena odobrenja, izvršene radnje i zabilježene potvrde.","open-source-aion.65a8805f19":"da je slijedio svoj ugovor","open-source-aion.f827cfbcbf":"Operacija se može dokazati","open-source-aion.07fba05892":"Nexus, certificiran","open-source-aion.c6fd961235":"Razmišljanje je jedan proizvođač. Organizacija agenata teže je certificirati","open-source-aion.2764d46fd5":"BEZ POZIVA MODELA","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Zahtjev za engleskim jezikom također pripada ovdje, jer je potvrda o razmišljanju samo onoliko pregledna koliko je i ograničenje na njenom vrhu. Deterministička biblioteka uzoraka vraća formalne uvjete rangirane prema broju podudaranja okidačkih fraza, svaki s jasnim tumačenjem i količinama na kojima radi, a gdje rečenica stvarno nosi više od jednog tumačenja, podiže dvosmislenost s imenovanim pitanjem umjesto da je tiho rješava.","open-source-aion.c4d7d27503":"Ispod se nalaze proizvođači obiju vrsta, a prihvaćaju se kroz istu granicu. AION sam odlučuje o Booleovoj strukturi, aritmetici razlika, bitvektorskim riječima i jednakosti s neinterpretiranim funkcijama, kroz potpunu pretragu vođenu sukobima s dva promatrana literala, heuristikom aktivnosti temeljenom na hrpi, geometrijskim ponovnim pokretanjima i brisanjem klauzula temeljenim na aktivnosti. Na nezadovoljiv odgovor vraća jezgru, koja imenuje koja su se vaša vlastita ograničenja borila, umjesto da opisuje pretragu koja ih je pronašla. Vanjski rješavač radi kao vlastiti proces i vraća dokaz, a ništa osim te datoteke ne prelazi između njih. Bilo koji alat koji emitira dokaz u formatu za koji AION nosi provjeru kvalificira se, među njima i cvc5, a granica je format, a ne dobavljač.","open-source-aion.5264c1875d":"Proizvođači, izvorni i vanjski","open-source-aion.09b6611fc2":"Loom razmišlja. Ono što AION provjerava je artefakt koji razmišljanje ostavlja za sobom: ograničenja koja su bila aktivna, pravila koja su primijenjena, podproblemi koji su otišli rješavaču, potvrde koje su ti rješavači vratili, pronađene kontradikcije, granice koje su zatvorile odluku i konačno tvrdnja. Eksplicitni računalni artefakti i deklarirane derivacije, provjereni kao takvi.","open-source-aion.2224f4889f":"derivacija na kojoj počiva","open-source-aion.1aceefa727":"Zaključak stiže s","open-source-aion.40e8df9cbd":"Loom i rješavači ispod njega","open-source-aion.cbac360b09":"Booleovi i aritmetički koraci jedna su obitelj. Razmišljanje je mjesto gdje stog počinje","open-source-aion.9786d05f5a":"FUZZIRANO","open-source-aion.a9bb80378b":"PONOVNO IZVEDENO","open-source-aion.0204e8b30c":"PRAVILO PO PRAVILO","open-source-aion.a43c278b96":"Na razini klauzule svaki se dodatak ponovno izvodi iz prvih načela: pretpostavite da je nova klauzula lažna, proširite klauzule na koje se njezine upute pozivaju i zahtijevajte sukob koji su te upute obećale. Tamo gdje samo širenje to ne forsira, dodatak ide na stroži uvjet o imenovanom pivotnom literalu protiv svake klauzule s kojom bi se taj pivot mogao razriješiti, tako da se korak ne može olako provući imenovanjem pivota kojeg klauzula ne sadrži. Formula i dokaz čitaju se redak po redak, pa se dokaz veći od memorije na stroju i dalje provjerava u cijelosti. AION-ov vlastiti skup je neprijateljski raspoložen prema AION-u: uputa koja citira korak koji bi trebala opravdati, dva koraka koja stoje jedan na drugome, pivot koji je naveden, ali ga nema, dvije klauzule pod jednim identifikatorom, krajnja oznaka korištena kao identifikator, brisanje klauzule koja nikada nije dodana te ista klauzula obrisana dvaput. Svaki čitač koji dotakne datoteku koju je netko drugi napisao podvrgava se fuzzing testiranju na zasijanom korpusu.","open-source-aion.13a29c20f0":"Tri uvjeta prethode provjeri pravila na svakom koraku, fiksnim redoslijedom: citira li korak sam sebe, je li svaki broj koji citira prisutan te je li bilo koji od njih numeriran iznad koraka koji ga citira. Prije svega toga, datoteka se jednom skenira radi ponovljenog broja koraka. Samo dokaz čiji svaki korak prolazi sve to dolazi do posljednjeg uvjeta, a to je zatvara li se datoteka u kontradikciji. Derivacija koja završi s literalima koji još uvijek stoje prošla je sve ostalo i i dalje se odbija.","open-source-aion.f626b7a7da":"Ispod površine","open-source-aion.1a95f2e67d":"Dokazi klauzula u LRAT obitelji, koja je SAT, i dokazi pravila u Alethe formatu, koji je SMT, obitelj su s najdužom poviješću ljudi koji je pokušavaju pobijediti, što je čini pravom za prikazati. AION prosljeđuje svaki korak rutini koja implementira njegovo pravilo, a naziv pravila iza kojeg ništa ne stoji prekida čitanje umjesto da tiho prođe, s ispisanim brojem koraka i pravilom.","open-source-aion.8294eed416":"i nepoznato pravilo zaustavlja ga","open-source-aion.9959b32cda":"Svaki korak prolazi četiri testa","open-source-aion.3821e115bc":"Obitelj s protivnicima","open-source-aion.c415bc49f1":"Najstarija obitelj je ona s najviše protivnika, pa je ona prva koju treba pogledati","open-source-aion.06d55361b1":"VERZIONIRANO","open-source-aion.bca8de5f5a":"DEVET OBITELJI","open-source-aion.187b58774c":"Obitelji su verzionirane odvojeno iz istog razloga. Skup pravila može se zategnuti u logičkoj obitelji bez ometanja simulacijske obitelji, a skup pogođenih certifikata za tu promjenu točno su zapisi koji su deklarirali verziju koja se mijenja. Današnjih devet su logika i zadovoljivost, optimizacija, temporalna i hiper-svojstva, zaključivanje, organizacijska, kompilacija, izvođenje u stvarnom vremenu, simulacija i FMI te integritet pohrane.","open-source-aion.ca4a7a3c63":"Registracija obitelji način je na koji sustav koji nije postojao kada je AION napisan postaje provjerljiv njime. Omotnica je već ista, sloj pohrane i red ponovne provjere već rade, a ono što nova obitelj mora osigurati su verifikator i deklarirani skup pravila. Softver treće strane koji implementira ugovor o certifikatu dolazi na ista vrata kao i bilo što naše.","open-source-aion.6581749da9":"Zašto je registar, a ne popis","open-source-aion.c453f0b87d":"Obitelj certifikata je imenovani, verzionirani ugovor, a ne format datoteke. Svaka deklarira svoj identitet i verziju, vrstu tvrdnje koju uspostavlja, ulaze koje zahtijeva, kako je dokaz ili svjedok predstavljen, algoritam verifikacije, skup pravila koje verifikator prihvaća, metapodatke o ovisnostima i kompatibilnosti, ljudski čitljiv prikaz tamo gdje ga ima te vlastitu taksonomiju odbijanja.","open-source-aion.29a8090d97":"a skup je proširiv","open-source-aion.7dd9783a82":"Devet obitelji, jedan registar","open-source-aion.f4c0c73854":"Registar","open-source-aion.2b6d7305db":"Neovisna provjera mora znati koju vrstu certifikata drži","open-source-aion.b4dee9d399":"BEZ REPLAYJA","open-source-aion.1ae37e9b3a":"BEZ LICENCE","open-source-aion.082414b331":"OGRANIČENA PROVJERA","open-source-aion.85bcd01276":"Ni u jednom od tih slučajeva verifikatoru ne trebaju proizvođačeva pretraga, heuristike, skriveno stanje, pozivi modela ili okruženje izvođenja. To je ono što čini neovisnu verifikaciju pristupačnom, a ne aspiracijskom.","open-source-aion.73dc1e45ec":"Asimetrija je istog oblika u svakoj domeni i vrijedi je vidjeti četiri puta. Pretraga vođena sukobom može trajati satima kroz prostor koji nitko ne može nabrojati; dokaz klauzule koji emitira prati se redak po redak. Kompajler može izvesti stotine optimizacijskih prolaza s heuristikama koje nitko izvan tima ne razumije; certifikat bilježi tvrdnje o očuvanju koje moraju vrijediti kroz njih. Simulacija može trajati milijune koraka; certifikat osigurava kontrolne točke, prijelaze, invarijante i trag koji čine ishod provjerljivim. Nexus operacija može koordinirati velik broj agenata; certifikat uspostavlja autoritet, prijelaze stanja, odobrenja i potvrde o radnjama.","open-source-aion.3bcb80f6d9":"Što svaki proizvođač zadržava za sebe","open-source-aion.ceb0061493":"Sustav koji je proizveo rezultat nema posljednju riječ o tome vrijedi li njegov certifikat. AION provjerava ograničeni artefakt umjesto da ponavlja skupo izračunavanje, zbog čega se verifikacija može pokrenuti na prijenosniku protiv posla za koji je klaster trebao vikend i zbog čega joj ne trebaju ni proizvođačeva licenca ni njegov stroj. Certifikat osigurava kontrolne točke kojima provjeravač prolazi, pa trošak provjere prati veličinu artefakta, a ne veličinu pretrage iza njega.","open-source-aion.69524cecfe":"i to je cijeli trik","open-source-aion.ee21bac231":"Provjera nije ponavljanje","open-source-aion.396e9b624d":"Arhitektonska podjela","open-source-aion.504a1b0a8d":"Omotnica kaže što je stiglo. Sljedeće pitanje je tko je smije otvoriti","open-source-aion.a9ea7a518b":"JEDNA OMOTNICA","open-source-aion.d7e877b15b":"OSAM POLJA","open-source-aion.34c043fc06":"Polje ovisnosti je ono koje ljudi podcjenjuju. Certifikat koji se oslanja na drugi certifikat imenuje ga, pa se odbijanje ili promjena sheme širi kroz skup koji se na njega oslanja, umjesto da se zaustavi na prvom zapisu koji netko slučajno pogleda. To je ono što hrpu prihvaćenih rezultata pretvara u nešto o čemu možete postaviti pitanje.","open-source-aion.7dc6226fd7":"Stavite podatke o usmjeravanju unutar sadržaja i svaka nova obitelj certifikata postaje nova integracija za sve nizvodno. Držite ih vani i sloj za pohranu, pratitelj kompatibilnosti, red za ponovnu provjeru i zapis revizije pišu se jednom i rade za obitelji koje nisu postojale kad su izgrađene.","open-source-aion.48eb1ab2b4":"Zašto se podjela isplati","open-source-aion.419ad6edc1":"Certifikat kompilacije i dokaz klauzule nemaju ništa zajedničko iznutra, a stižu u istoj omotnici. Osam polja: tvrdnja, ulazi na temelju kojih je napravljena, proizvođač, verzija ugovora, vrsta certifikata, sadržaj certifikata, ovisnosti i potpis. Sve što je specifično za obitelj nalazi se unutar sadržaja, a sve što verifikator treba za usmjeravanje, verzioniranje i bilježenje nalazi se izvan njega.","open-source-aion.03a195fded":"i osam polja unutar nje","open-source-aion.9895a4db76":"Svaka obitelj, jedna omotnica","open-source-aion.33164fb254":"Zajednička omotnica","open-source-aion.315fae6edd":"Osam vrsta sustava, osam vrsta tvrdnji i jedna omotnica u kojoj svi putuju","open-source-aion.661f13bc63":"PROVJERENO","open-source-aion.ea0dae37f4":"CERTIFIKAT","open-source-aion.f07b84d4d2":"TVRDNJA","open-source-aion.1edfca7587":"AION je taj drugi program. Uzima certifikat koji je proizveo stranac, rekonstruira ono što tvrdi, a gdje se tvrdnja ne može rekonstruirati, imenuje stavku, imenuje pravilo i tu se zaustavlja. Odbijanje koje upućuje na redak 40 nešto je što jedna riječ nikad ne može biti.","open-source-aion.4428102723":"Formalne metode odlučile su se za ovaj raspored prije desetljeća iz jednog razloga. Proizvođač zapisuje svoj rad, a drugi, mnogo manji program čita taj rad unatrag. Drugi program je onaj koji vrijedi pažljivo graditi, jer je dovoljno mali da se razumije od početka do kraja. Ono što AION čini jest izvući taj raspored iz svijeta rješavača i učiniti ga ugovorom za sve ostalo: zaključivanje, operacije agenata, kompilaciju, izvršavanje, simulaciju.","open-source-aion.51edeceac1":"unsat. kompajlirano. dovršeno. sigurno. optimalno. pravila prošla. simulacija konvergirala. tijek rada odobren. Osam sustava, osam riječi i nijedna od njih ne nosi razlog zašto je istinita. Računanje s dokazom alternativa je: proizvođač zadržava skupi posao i emitira certifikat uz rezultat, a netko tko nema udjela u odgovoru provjerava taj certifikat.","open-source-aion.d3571e9e01":"dok to netko ne ponovi","open-source-aion.03d9c22d95":"Rezultat je samo tvrdnja","open-source-aion.dfc28595b4":"Zašto postoji drugo čitanje","open-source-aion.3c6178c9cd":"Kome izvješće pripada","open-source-aion.42c21bbe27":"Što slučaj rješava","open-source-aion.4d05bcfcbf":"Što vam odbijanje omogućuje","open-source-aion.4c0a0d8ef3":"Dva uobičajena izlaza","open-source-aion.e097afe170":"Što proizlazi iz zadržavanja","open-source-aion.c9681d6875":"Što zapravo radi","open-source-aion.1ee58a7b8d":"Odakle dolazi raspored","open-source-aion.eec3b038bd":"pripisivanje","open-source-aion.65279e1ecf":"verifikacija","oss-aion-adoption-paths.733a87e5fb":"Testirajte jedan put odlučivanja","oss-aion-adoption-paths.34dfd13db9":"Pokrenite primjer certifikata prije integracije AION-a u aktivni put odlučivanja.","oss-aion-adoption-paths.3f1d1c0d24":"Pregledajte priloženi primjer certifikata.","oss-aion-adoption-paths.a5339faf54":"Pokrenite priložene primjere dokaza kao provjeru.","oss-aion-adoption-paths.b38db2875a":"Provjerite isti certifikat pomoću aion check i neovisnog kompatibilnog verifikatora.","oss-aion-adoption-paths.0e42c62826":"Vaš tim za evaluaciju","oss-aion-adoption-paths.ca15f8db66":"Ugradite ga u sustav","oss-aion-adoption-paths.e8219f1ea8":"Vaš postojeći softverski tim povezuje biblioteku tako da sustavi koje već koristite mogu predati certifikat uz svaku odluku.","oss-aion-adoption-paths.91e2e7e34b":"Vaši inženjeri dodaju AION u sustav koji već koristite.","oss-aion-adoption-paths.96e8012ed9":"Svaka odluka tada nosi provjerljiv certifikat.","oss-aion-adoption-paths.6e56d00bc7":"Nijedan novi dobavljač ne stoji na putu te odluke.","oss-aion-adoption-paths.b0e0c85d36":"Vaš inženjerski tim","oss-aion-adoption-paths.4637a51566":"Koristite ga u vrijeme revizije","oss-aion-adoption-paths.03b3d20015":"Ranije izdani certifikat može se u bilo kojem trenutku ponovno provjeriti pomoću alatne linije naredbi, na vašem vlastitom hardveru, izvan mreže.","oss-aion-adoption-paths.8b6e7ae424":"Sačuvajte certifikat izdan kada je odluka donesena.","oss-aion-adoption-paths.ab48bfd890":"Ponovno ga provjerite kasnije pomoću alatne linije naredbi, izvan mreže.","oss-aion-adoption-paths.6fe516ffcf":"Predajte isti zapis regulatoru ili revizoru.","oss-aion-adoption-paths.4e64c95d9e":"Vaš tim za usklađenost","oss-aion-adoption-paths.6b5eb5323e":"Započnite s jednim putem odlučivanja","oss-aion-adoption-paths.1635f113ec":"Tri načina usvajanja","oss-aion-adoption-paths.5eef32f959":"Tko ga koristi","oss-aion-adoption-paths.29a9e7fa74":"Certifikat je identičan bez obzira koji put odaberete.","oss-aion-adoption-paths.3e4f1a5e1b":"Jedna biblioteka, jedna alatna linija naredbi","oss-aion-adoption-paths.tag.d59fec26d9":"Prije integracije","oss-aion-adoption-paths.tag.391b31405f":"Za vaše inženjere","oss-aion-adoption-paths.tag.6fd7b4f249":"Za usklađenost","oss-aion-archive-parts.cea57012da":"nije komprimiran nakon čitanja","oss-aion-archive-parts.10f2f8d11a":"komprimiran za policu","oss-aion-archive-parts.0468a5b797":"ARHIVA","oss-aion-archive-parts.bce5035461":"i jedno polje koje ih nadživljava","oss-aion-archive-parts.bd678f55fe":"Četiri poteza na jednom certifikatu","oss-aion-archive-parts.44e396b17f":"Koji je verifikator prihvatio, pod kojom verzijom ugovora.","oss-aion-archive-parts.5348eece0f":"Verifikator i ugovor zadržani","oss-aion-archive-parts.53229277ab":"Identificirani poddokazi pohranjeni jednom i kasnije citirani putem hasha.","oss-aion-archive-parts.0f6513214f":"Poddokazi hashirani","oss-aion-archive-parts.76a7786a63":"Ponovljeni uzorak pohranjen jednom, s duljinom za koju se ponavlja.","oss-aion-archive-parts.9e1a0f7aac":"Ponavljanja sažeta","oss-aion-archive-parts.d6f5880b44":"Svaki identifikator pohranjen kao njegova udaljenost od posljednjeg.","oss-aion-archive-parts.6b78716e70":"Identifikatori kao razmaci","oss-aion-archived-proof.5808299e06":"pogledano, ne pretraženo","oss-aion-archived-proof.39241dfc0d":"Ostalo je zatvoreno jer je indeks već znao da nisu pogođeni.","oss-aion-archived-proof.d84b2eb85d":"Devet deklariranih ovisnosti, dvije kartice povučene, pet imenovanih certifikata.","oss-aion-archived-proof.c9269e3e61":"sedam kartica ostalo je zatvoreno","oss-aion-archived-proof.6f13975269":"još uvijek kompatibilno","oss-aion-archived-proof.8ec798a819":"pravilo r7","oss-aion-archived-proof.4b50837e2e":"u redu za ponovno čitanje","oss-aion-archived-proof.2a858a12ec":"pravilo r7 zamijenjeno u verifikatoru 2.5.0","oss-aion-archived-proof.0b58a007b4":"obavijest o promjeni","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"isti certifikat","oss-aion-archived-proof.4b37dd07e6":"kao arhivirano","oss-aion-archived-proof.39c9f8bf3a":"dva poddokaza, jedan oblik","oss-aion-archived-proof.8c28e2d0a9":"jedan blok, zadržan jednom","oss-aion-archived-proof.e75bd8054c":"identifikatori kao praznine","oss-aion-archived-proof.9bfe0da4af":"jedna duga datoteka","oss-aion-archived-proof.46dc2748fa":"kako je proizvedeno","oss-aion-archived-proof.b6a0714797":"ilustrativni identifikatori","oss-aion-archived-proof.16bb6017da":"dva od pet u redu","oss-aion-archived-proof.884fa4a4de":"Jedan certifikat, dvaput","oss-aion-archived-proof.11ed0e1dd4":"politika p9","oss-aion-archived-proof.1f776189b1":"shema 2","oss-aion-archived-proof.ec690c70cd":"certifikat d20c9b","oss-aion-archived-proof.a96a7e2f89":"certifikat 1a55f0","oss-aion-archived-proof.b504f66e53":"model m1","oss-aion-archived-proof.fd6c33ce54":"ugovor izvođenja 3.1","oss-aion-archived-proof.ff651ff51f":"pravilo prevoditelja c1","oss-aion-archived-proof.d00ec63b0b":"certifikat b4e187","oss-aion-archived-proof.e20acd4672":"certifikat 3c90de","oss-aion-archived-proof.6d50cc6c2e":"certifikat 7f21ab","oss-aion-archived-proof.5dd9b11122":"politika p2","oss-aion-archived-proof.70d70366cf":"shema 4","oss-aion-archived-proof.d61ceadbdb":"ugovor","oss-aion-archived-proof.e15436a2bb":"verifikator","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Zašto je moj zahtjev odbijen od strane stroja?","oss-aion-asked-questions.answer.refused":"AION prikazuje točnu točku na kojoj je provjera zaustavljena i zašto, umjesto jedne neobjašnjene riječi.","oss-aion-asked-questions.question.check":"Mogu li sam provjeriti automatiziranu odluku?","oss-aion-asked-questions.answer.check":"Da. AION ponovno izračunava svaki korak, na stroju na kojem se nalazite, bez računa i bez slanja bilo čega.","oss-aion-asked-questions.question.sent":"Šalje li se moja informacija bilo gdje?","oss-aion-asked-questions.answer.sent":"Ne. Zadana verzija nema čime to poslati. Rad se odvija tamo gdje se već nalazite.","oss-aion-asked-questions.chrome.path":"Pitanja koja odbijanje zapravo pokreće","oss-aion-asked-questions.chrome.status":"odgovorena javno","oss-aion-asked-questions.readout":"Ovo su tri pitanja na koja je ova stranica izgrađena da odgovori, javno, bez računa i bez slanja bilo čega.","oss-aion-asked-questions.band":"Postavljeno jednom, odgovoreno javno","oss-aion-asked-you.ef80b73d6b":"umjesto iznenađenja kasnije","oss-aion-asked-you.7e066a9db0":"pitanje sada","oss-aion-asked-you.fb041ecc2d":"Čeka","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"i što se događa dalje","oss-aion-asked-you.fb5efec5ec":"Što pita","oss-aion-asked-you.ed223cb507":"S vlastitom frazom unutar nje, umjesto obrasca za ispunjavanje.","oss-aion-asked-you.47ba586268":"Postavlja pitanje","oss-aion-asked-you.16bb2c320d":"Običnim riječima, ne kao izbor između simbola.","oss-aion-asked-you.590f0368a8":"Izlaže oba čitanja","oss-aion-asked-you.c0fedb51ee":"Dio vaše rečenice oko kojeg nije sigurno, vašim riječima.","oss-aion-asked-you.945cd96360":"Citira riječi natrag","oss-aion-asymmetry.109e612009":"dokazi putuju","oss-aion-asymmetry.54086b1730":"rad ostaje uz proizvođača","oss-aion-asymmetry.77e82797f7":"ASIMETRIJA","oss-aion-asymmetry.7f5d144dcb":"po proizvođaču","oss-aion-asymmetry.d1abed327f":"Što se ne reproducira","oss-aion-asymmetry.816e835f60":"Ovlasti, prijelazi, odobrenja, potvrde.","oss-aion-asymmetry.4f83e60cbc":"Mnogi agenti, koji koordiniraju.","oss-aion-asymmetry.d946c1fc52":"Sustav agenata","oss-aion-asymmetry.d978ba491a":"Kontrolne točke, prijelazi i invarijante.","oss-aion-asymmetry.b081bda78f":"Milijuni koraka integracije.","oss-aion-asymmetry.8e34943c35":"Simulacija","oss-aion-asymmetry.db98a95880":"Tvrdnje o očuvanju kroz njih.","oss-aion-asymmetry.ce4dee4e4f":"Stotine prolaza i njihove heuristike.","oss-aion-asymmetry.341a20e237":"Kompilator","oss-aion-asymmetry.d50aca2923":"Izvođenje praćeno redak po redak.","oss-aion-asymmetry.c0644e2b00":"Pretraživanje prostora koji nitko ne nabraja.","oss-aion-asymmetry.2212b12df6":"Rješavač","oss-aion-audit-flow.0d368d5958":"Donesena je odluka","oss-aion-audit-flow.723d4b8215":"AI u vašem sustavu dolazi do odgovora.","oss-aion-audit-flow.60616f24a0":"Certifikat se čuva","oss-aion-audit-flow.319012d052":"Obrazloženje se bilježi kao prijenosni zapis.","oss-aion-audit-flow.b6e0507002":"Ponovno se provjerava","oss-aion-audit-flow.060bdf8393":"Svatko ponovno pokreće provjeru izvan mreže, na vlastitom uređaju.","oss-aion-audit-flow.549ee9a7f2":"Revizor ga prihvaća","oss-aion-audit-flow.45d8142b03":"Dokazi koje provjeravaju, a ne obećanje koje moraju prihvatiti.","oss-aion-audit-flow.29a5795456":"Prosljeđujete zapise i nadate se da će biti prihvaćeni.","oss-aion-audit-flow.691576c10d":"Predajete certifikat koji revizor sam provjerava.","oss-aion-audit-flow.4f25ce109b":"Objašnjenje je vezano uz jednog dobavljača.","oss-aion-audit-flow.17092b76ad":"Standardni formati dokaza omogućuju provjeru certifikata i izvan izvornog dobavljača i izvršnog okruženja.","oss-aion-audit-flow.4cb1b63499":"Zapis se ponovno provjerava na infrastrukturi kojom ne upravljate.","oss-aion-audit-flow.c0baf00a21":"Zapis se ponovno provjerava izvan mreže, na hardveru kojim upravljate.","oss-aion-audit-flow.1574ac4dc4":"Od odluke do prihvaćenog dokaza","oss-aion-audit-flow.0fc25779d4":"Bez provjerljivog dokaza","oss-aion-audit-flow.4b32d8f574":"Uz AION","oss-aion-audit-flow.effbb773a5":"U trenutku revizije predstavljate dokaze, a ne uvjeravanja.","oss-aion-audit-flow.630840198f":"Neovisna provjera","oss-aion-broken-case.b2d44d537d":"dva dijela posla","oss-aion-broken-case.21a5e37384":"Doista piše da netko sada mora odabrati jedno.","oss-aion-broken-case.446dd52366":"Slučaj ne kaže u kojem se od ova dva nalazite.","oss-aion-broken-case.1592f95dfc":"tko god posjeduje specifikaciju","oss-aion-broken-case.5350b811e8":"Svi su to znali i nitko to nikada nije zapisao, zbog čega je slučaj uopće\n              mogao biti pronađen. Dakle, posao je napisati nedostajuće ograničenje.","oss-aion-broken-case.7e1ad0c117":"ponovni pokušaj ovdje ne može se dogoditi s nultim stanjem","oss-aion-broken-case.e2acc6be4b":"može li se to ovdje dogoditi?","oss-aion-broken-case.70cf0e9d6e":"tim koji njime upravlja","oss-aion-broken-case.f4418abec4":"Dakle, pravilo je ispravno, a sustav je pogrešan. Posao je promjena sustava.","oss-aion-broken-case.7ebf5ee2c1":"ponovni pokušaji tri puta s nultim stanjem su obični ponedjeljak","oss-aion-broken-case.818db6fde5":"grupni način rada dopušta najviše dva ponovna pokušaja","oss-aion-broken-case.9ad82bcd1a":"bez ponovnog pokušaja dok je stanje nula","oss-aion-broken-case.db09c40b94":"uvjeti koje krši","oss-aion-broken-case.1a01155586":"Specifikacija ne vrijedi. Evo situacije u kojoj ne vrijedi, zapisane.","oss-aion-broken-case.bb5f480b82":"slučaj, kako se vraća","oss-aion-broken-case.8ba48b3c8c":"ilustrativni slučaj","oss-aion-broken-case.2a0ea29615":"jedan slučaj, dva vlasnika","oss-aion-broken-case.0efd66fc70":"Slučaj koji ga je slomio","oss-aion-broken-case.fd12863535":"ne","oss-aion-broken-case.fb360f9c09":"da","oss-aion-broken-case.e7aef2e893":"način rada je grupni (vrsta: tekst)","oss-aion-broken-case.dcfad8c5bf":"stanje je 0 (vrsta: cijeli broj)","oss-aion-broken-case.bbf98b54e9":"ponovni pokušaji su 3 (vrsta: cijeli broj)","oss-aion-business-glyph.9c8c22f54d":"Revizijski provjerljiv po dizajnu","oss-aion-business-glyph.afd7103781":"Vaša infrastruktura","oss-aion-business-glyph.ea722c81af":"Europski","oss-aion-business-glyph.870c4d024a":"Prijenosni formati","oss-aion-business-glyph.81c093497b":"Zatvoreno certifikatom","oss-aion-business-glyph.862ee3b17a":"Izloženost","oss-aion-business-glyph.6b5eb5323e":"Dokaz priložen","oss-aion-business-glyph.b7a3f27883":"Rizik uklonjen","oss-aion-business-glyph.7ba75e0ac6":"Provjera certifikata godinama kasnije","oss-aion-business-glyph.9f89ecaff5":"Izvorna sesija je nestala","oss-aion-business-glyph.33620369b5":"Arhiva","oss-aion-business-glyph.7a71b6b89e":"Na hardveru koji kontrolirate","oss-aion-business-glyph.e94a6d4bba":"Objašnjeno na tuđem hardveru","oss-aion-business-glyph.3eaad00bc0":"Podaci","oss-aion-business-glyph.e20fee7c23":"Zasebni provjeravač","oss-aion-business-glyph.9e3ee5bddf":"Izvorni model još uvijek potreban","oss-aion-business-glyph.5cb182685f":"Provjeravač","oss-aion-business-glyph.c5d37b3ae0":"Certifikat koji revizor provjerava","oss-aion-business-glyph.6c4186cc8c":"Zapisnici za koje se nadate da će biti prihvaćeni","oss-aion-business-glyph.d51b35c242":"Revizija","oss-aion-cadence-banners.independent.eyebrow":"AION / neovisna provjera","oss-aion-cadence-banners.independent.lead":"Vjerujte omotnici","oss-aion-cadence-banners.independent.accent":"nakon što je drugi provjeravatelj prihvati","oss-aion-cadence-banners.independent.body.one":"Potvrda je korisna jer provjeravatelju nije potreban izvođačev runtime. Prima deklarirano pravilo, ulaze, rezultat i dokaze kao jednu ograničenu omotnicu.","oss-aion-cadence-banners.independent.body.two":"Druga implementacija provjerava te dokaze prema istom ugovoru. Sklad je tada dokaz o rezultatu, a ne ponovno izvođenje istog koda.","oss-aion-cadence-banners.independent.panel":"Zapis neovisnog prihvaćanja","oss-aion-cadence-banners.independent.tag":"PROVJERENO ODVOJENO","oss-aion-cadence-banners.independent.item.rule.label":"Deklarirano pravilo","oss-aion-cadence-banners.independent.item.rule.detail":"Zahtjev i obitelj potvrda su imenovani.","oss-aion-cadence-banners.independent.item.rule.status":"PRISUTNO","oss-aion-cadence-banners.independent.item.input.label":"Ograničeni ulazi","oss-aion-cadence-banners.independent.item.input.detail":"Vrijednosti koje odluka koristi prate je.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Prijavljeni rezultat","oss-aion-cadence-banners.independent.item.result.detail":"Ishod je naveden prije početka provjere.","oss-aion-cadence-banners.independent.item.result.status":"DEKLARIRANO","oss-aion-cadence-banners.independent.item.verifier.label":"Zasebni provjeravatelj","oss-aion-cadence-banners.independent.item.verifier.detail":"Druga implementacija provjerava istu omotnicu.","oss-aion-cadence-banners.independent.item.verifier.status":"PRIHVAĆENO","oss-aion-cadence-banners.independent.verdict":"dokazi preživljavaju izvan sustava koji ih je proizveo","oss-aion-cadence-banners.independent.footer":"provjera prelazi granicu implementacije bez gubitka ugovora","oss-aion-cadence-banners.refusal.eyebrow":"AION / ugovor o neuspjehu","oss-aion-cadence-banners.refusal.lead":"Neuspjeli dokaz","oss-aion-cadence-banners.refusal.accent":"mora imenovati pravilo koje nije mogao zadovoljiti","oss-aion-cadence-banners.refusal.body.one":"Točna provjera nije nejasan omotač prolaz/neuspjeh. Provjeravatelj slijedi deklariranu pretvorbu, aritmetiku i logičke uvjete redom, zatim se zaustavlja na prvom nevažećem uvjetu.","oss-aion-cadence-banners.refusal.body.two":"To odbijanje pripada dokazima. Govori pozivatelju koja je pretpostavka, mjerilo, pojam ili zaštita zakazala prije nego što je bilo koji kasniji korak mogao sakriti uzrok.","oss-aion-cadence-banners.refusal.panel":"Prvi neuspjeli uvjet","oss-aion-cadence-banners.refusal.tag":"ODBIJENO","oss-aion-cadence-banners.refusal.item.read.label":"Pročitajte deklarirane vrijednosti","oss-aion-cadence-banners.refusal.item.read.detail":"Ulazi i identitet pravila fiksirani su prije provjere.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Primijenite deklariranu pretvorbu","oss-aion-cadence-banners.refusal.item.scale.detail":"Nijedan tihi zamjenski mehanizam ne mijenja aritmetički ugovor.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Procijenite svaki uvjet redom","oss-aion-cadence-banners.refusal.item.check.detail":"Prvi nevažeći uvjet ostaje pripisiv.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Vratite imenovano odbijanje","oss-aion-cadence-banners.refusal.item.refuse.detail":"Pozivatelj prima neuspjelo pravilo i njegove dokaze.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"odbijanje je dokaz koji se može pregledati, a ne prazna pogreška","oss-aion-cadence-banners.refusal.footer":"prvi neuspjeli uvjet ostaje vidljiv sljedećem pregledavatelju","oss-aion-cadence-banners.certificates.eyebrow":"AION / lanac potvrda","oss-aion-cadence-banners.certificates.lead":"Jedna odluka","oss-aion-cadence-banners.certificates.accent":"može nositi više vrsta dokaza","oss-aion-cadence-banners.certificates.body.one":"Razmišljanje, organizacijski autoritet, kompilacija i izvođenje odgovaraju na različita pitanja. Tretirati ih kao jednu generičku garanciju sakrilo bi gdje je tvrdnja jaka, a gdje je druga provjera još potrebna.","oss-aion-cadence-banners.certificates.body.two":"AION drži potvrde odvojenima i povezuje ih s istim zapisom odluke. Pregledavatelj može pratiti lanac bez miješanja autoriteta s aritmetikom ili uspješnog izvođenja s odobrenim pravilom.","oss-aion-cadence-banners.certificates.panel":"Put dokaza odluke","oss-aion-cadence-banners.certificates.tag":"POVEZANO","oss-aion-cadence-banners.certificates.item.reasoning.label":"Potvrda razmišljanja","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Pokazuje zašto navedeni zaključak slijedi.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Potvrda autoriteta","oss-aion-cadence-banners.certificates.item.organisation.detail":"Imenuje tko može odobriti ili izvršiti radnju.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORITET","oss-aion-cadence-banners.certificates.item.compile.label":"Potvrda kompilacije","oss-aion-cadence-banners.certificates.item.compile.detail":"Povezuje izvor, pretvorbu i proizvedeni artefakt.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Potvrda izvođenja","oss-aion-cadence-banners.certificates.item.execution.detail":"Bilježi što se izvodilo, gdje i pod kojim ulazima.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"svaka tvrdnja zadržava obitelj potvrda koja je doista može podržati","oss-aion-cadence-banners.certificates.footer":"povezani dokazi ostaju dovoljno specifični za osporavanje","oss-aion-cadence-banners.recheck.eyebrow":"AION / rezultat kojem se možete vratiti","oss-aion-cadence-banners.recheck.lead":"Isto pravilo","oss-aion-cadence-banners.recheck.accent":"može se ponovno provjeriti kasnije","oss-aion-cadence-banners.recheck.body.one":"Rečenica, odabrano značenje i vremensko ograničenje ostaju vezani uz rezultat. Možete vidjeti što je odlučeno i koliko dugo odluka ostaje važeća bez slanja materijala.","oss-aion-cadence-banners.recheck.body.two":"Kada se pravilo ili datum promijeni, zapis identificira što treba ponovnu provjeru. Raniji odgovor ostaje vidljiv umjesto da bude tiho zamijenjen.","oss-aion-cadence-banners.recheck.panel":"Što ponovna provjera obuhvaća","oss-aion-cadence-banners.recheck.tag":"PONOVLJIVO","oss-aion-cadence-banners.recheck.item.sentence.label":"Vaša izvorna rečenica","oss-aion-cadence-banners.recheck.item.sentence.detail":"Tekst ostaje uz tumačenje.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Značenje koje je odabrano","oss-aion-cadence-banners.recheck.item.rule.detail":"Primijenjeno pravilo napisano je jasno.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Datum valjanosti","oss-aion-cadence-banners.recheck.item.deadline.detail":"Preostalo vrijeme vidljivo je prije isteka rezultata.","oss-aion-cadence-banners.recheck.item.deadline.status":"VIDLJIVO","oss-aion-cadence-banners.recheck.item.result.label":"Nova provjera","oss-aion-cadence-banners.recheck.item.result.detail":"Isti dokazi mogu se ponovno ocijeniti.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"možete ponovno pogledati odgovor bez gubitka razloga iza njega","oss-aion-cadence-banners.recheck.footer":"zapis zadržava riječi, pravilo i datum zajedno","oss-aion-cadence-banners.supplier.eyebrow":"AION / dokazi dobavljača","oss-aion-cadence-banners.supplier.lead":"Odgovor dobavljača","oss-aion-cadence-banners.supplier.accent":"trebao bi stići s nečim što možete provjeriti","oss-aion-cadence-banners.supplier.body.one":"Potvrda odvaja rezultat od alata dobavljača. Navodi što je provjereno, koja obitelj dokaza se primjenjuje te koji ulazi i artefakti pripadaju tvrdnji.","oss-aion-cadence-banners.supplier.body.two":"Vaš tim može zadržati te dokaze i koristiti drugi verifikator. Pregled više ne ovisi o pristupu izvornoj usluzi niti o zahtjevu dobavljaču da ponovno stvori izvođenje.","oss-aion-cadence-banners.supplier.panel":"Dokazi primljeni s rezultatom","oss-aion-cadence-banners.supplier.tag":"PRENOSIVO","oss-aion-cadence-banners.supplier.item.claim.label":"Tvrdnja dobavljača","oss-aion-cadence-banners.supplier.item.claim.detail":"Rezultat i njegov opseg jasno su navedeni.","oss-aion-cadence-banners.supplier.item.claim.status":"PRIMLJENO","oss-aion-cadence-banners.supplier.item.certificate.label":"Omotnica potvrde","oss-aion-cadence-banners.supplier.item.certificate.detail":"Dokazi i identifikatori putuju s tvrdnjom.","oss-aion-cadence-banners.supplier.item.certificate.status":"PRILOŽENO","oss-aion-cadence-banners.supplier.item.coverage.label":"Izjava o pokrivenosti","oss-aion-cadence-banners.supplier.item.coverage.detail":"Obitelj potvrda navodi što može utvrditi.","oss-aion-cadence-banners.supplier.item.coverage.status":"OGRAĐENO","oss-aion-cadence-banners.supplier.item.checker.label":"Neovisni provjeritelj","oss-aion-cadence-banners.supplier.item.checker.detail":"Vaša strana provjerava dokaze bez proizvođača.","oss-aion-cadence-banners.supplier.item.checker.status":"DOSTUPNO","oss-aion-cadence-banners.supplier.verdict":"dokazi ostaju korisni nakon što je izvođenje dobavljača završilo","oss-aion-cadence-banners.supplier.footer":"provjerljiv rezultat lakše je zadržati, usporediti i osporiti","oss-aion-cadence-banners.boundary.eyebrow":"AION / kontrolirani pregled","oss-aion-cadence-banners.boundary.lead":"Pregled ostaje unutar","oss-aion-cadence-banners.boundary.accent":"granice koje vaša organizacija postavlja","oss-aion-cadence-banners.boundary.body.one":"Slučaj, pravilo i potvrda mogu se provjeriti tamo gdje već postoje. Lokalna provjera izbjegava pretvaranje pregleda u još jedan put otkrivanja materijala koji se ispituje.","oss-aion-cadence-banners.boundary.body.two":"Zapis i dalje imenuje utvrđeno svojstvo i korištene dokaze. Zadržavanje podataka na lokaciji ne znači odricanje od atributivnog revizijskog traga.","oss-aion-cadence-banners.boundary.panel":"Put pregleda na lokaciji","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Otvori zadržani slučaj","oss-aion-cadence-banners.boundary.item.case.detail":"Izvorni materijal ostaje u svom postojećem okruženju.","oss-aion-cadence-banners.boundary.item.case.status":"NA LOKACIJI","oss-aion-cadence-banners.boundary.item.property.label":"Odaberi tvrdnju za provjeru","oss-aion-cadence-banners.boundary.item.property.detail":"Opseg potvrde ostaje jasan.","oss-aion-cadence-banners.boundary.item.property.status":"OGRAĐENO","oss-aion-cadence-banners.boundary.item.perimeter.label":"Izvedi unutar perimetra","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Za provjeru nije potrebna odlazna usluga.","oss-aion-cadence-banners.boundary.item.perimeter.status":"SADRŽANO","oss-aion-cadence-banners.boundary.item.record.label":"Zadrži zapis pregleda","oss-aion-cadence-banners.boundary.item.record.detail":"Ulazi, provjeritelj i ishod ostaju atributivni.","oss-aion-cadence-banners.boundary.item.record.status":"ZABILJEŽENO","oss-aion-cadence-banners.boundary.verdict":"dokazi se mogu provjeriti bez stvaranja novog prijenosa podataka","oss-aion-cadence-banners.boundary.footer":"lokalno izvođenje i provjerljivi dokazi pripadaju istoj kontroli","oss-aion-case-fields.ce69e76708":"slučaj pokreće odluku","oss-aion-case-fields.9a83c048c3":"presuda završava provjeru","oss-aion-case-fields.afc58d4c40":"prvi koji padne, po imenu","oss-aion-case-fields.3bc6a69e80":"saldo mora biti veći od nule prije ponovnog pokušaja","oss-aion-case-fields.4e0285b28b":"uvjet prekršen","oss-aion-case-fields.4e0af55321":"PROTUPRIMJER","oss-aion-case-fields.344daefb37":"Jedan slučaj, u cijelosti","oss-aion-case-fields.62e0ec394a":"vrijednosti i koje su vrste svaka od njih","oss-aion-case-fields.7f01fe787c":"serija","oss-aion-checked-not-rerun.dd5b6cbe2b":"jedno spajanje, jedan izostanak","oss-aion-checked-not-rerun.846a719bdc":"Posljednji redak nema pandan ni po kojoj cijeni.","oss-aion-checked-not-rerun.6c26a05ac4":"Pet od sedam odlazi, a dva se spajaju.","oss-aion-checked-not-rerun.4f01efffc8":"pročitao netko tko nikada nije držao njihov softver","oss-aion-checked-not-rerun.a70205a694":"uspoređeno sa sljedećeg tromjesečja","oss-aion-checked-not-rerun.0d85e26645":"arhivirano uz odluku koju je podržavalo","oss-aion-checked-not-rerun.ffc7dbc2ad":"ono što nakon toga držite","oss-aion-checked-not-rerun.d6124c1aee":"ništa s lijeve strane ne proizvodi ovo","oss-aion-checked-not-rerun.9b9252883d":"sam certifikat","oss-aion-checked-not-rerun.0bfa7a3bd8":"deklarirani ulazi i ugovor","oss-aion-checked-not-rerun.d7f7f555ad":"tvrdnja","oss-aion-checked-not-rerun.527c7f544a":"tri stvari","oss-aion-checked-not-rerun.f8a34d2942":"provjeriti njihov certifikat","oss-aion-checked-not-rerun.2a20acacc2":"sedam stvari","oss-aion-checked-not-rerun.a94f90b8e9":"reproducirati njihov sustav","oss-aion-checked-not-rerun.d2eae1af1f":"ista jamstva, dva puta","oss-aion-checked-not-rerun.87f754c087":"pet pogođeno, jedan izostao","oss-aion-checked-not-rerun.2a62bb8028":"što svaki put zahtijeva","oss-aion-checked-not-rerun.35d7d25591":"vrijedi li i dalje nakon promjene","oss-aion-checked-not-rerun.6cd8ba818d":"na čijim podacima","oss-aion-checked-not-rerun.96f39a5e7d":"prema kojoj verziji skupa pravila","oss-aion-checked-not-rerun.c8d59ae061":"koji su uvjeti provjereni","oss-aion-checked-not-rerun.b028b89ea7":"njihova pomoć","oss-aion-checked-not-rerun.c03c2fce6e":"stroj odgovarajuće veličine","oss-aion-checked-not-rerun.867d12b7ad":"ulazni podaci","oss-aion-checked-not-rerun.717e42eb01":"njihova konfiguracijska datoteka","oss-aion-checked-not-rerun.935b145c44":"odgovarajući operativni sustav","oss-aion-checked-not-rerun.fa15ad3da2":"točna verzija koju su koristili","oss-aion-checked-not-rerun.5990a1ec89":"licenca za njihov softver","oss-aion-compile-cert.b1991b0d44":"pa odbijanje upućuje na jedno","oss-aion-compile-cert.85edd85611":"tvrdnje su imenovane pojedinačno","oss-aion-compile-cert.6e8814b9a0":"Što je izašlo, prema sadržajnoj adresi, vezano za sve gore navedeno.","oss-aion-compile-cert.a41732e051":"Identitet artefakta","oss-aion-compile-cert.6d4151d7a5":"Što je ušlo, prema sadržajnoj adresi, a ne prema nazivu datoteke.","oss-aion-compile-cert.7204133281":"Identitet izvora ili grafa","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"i što tvrdi o svakome","oss-aion-compile-cert.0bcab6c465":"Što certifikat imenuje","oss-aion-compile-cert.027f7ee7d1":"Koja svojstva ovaj certifikat utvrđuje među njima.","oss-aion-compile-cert.8906f98ae0":"Deklarirano očuvanje","oss-aion-compile-cert.d186ea41e2":"Primijenjeni prolazi, redoslijedom kojim su primijenjeni.","oss-aion-compile-cert.66ad6a206e":"Slijed transformacija","oss-aion-compile-cert.ebb0c953d1":"Koja izgradnja, pri kojoj optimizacijskoj konfiguraciji.","oss-aion-compile-cert.691f87f640":"Prevodioc i optimizacija","oss-aion-console.5d71265e50":"Provjerite certifikat dokaza. Bez solvera, bez mreže.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Provjera dokaza: proof.alethe","oss-aion-console.1016f1bcf3":"Format: Alethe","oss-aion-console.70142f344c":"Parsiranje: OK","oss-aion-console.8455c5ceeb":"Dokaz ima N koraka","oss-aion-console.fc539fcf62":"Provjera dokaza: PROŠAO","oss-aion-console.88f6db402f":"Vrijeme provjere: Nms","oss-aion-console.4f437cea65":"Vaš provjeravač je to potvrdio. Izlaz 0. Ništa nije kontaktiralo vanjski svijet.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Pročitajte certifikat","oss-aion-console.0cef7497bf":"Provjeravač otvara datoteku dokaza koju ste dobili. Ne treba mu ništa drugo: bez težina modela, bez prijave dobavljača, bez interneta.","oss-aion-console.830903eaf6":"Prođite kroz svaki korak","oss-aion-console.6ce1fb843f":"Svaka dedukcija se ponovno izvodi na temelju premisa na koje se poziva. LRAT nosi upute za propagaciju jedinica, pa je prolazak linearan u duljini dokaza.","oss-aion-console.1044fbcb06":"Prihvatite ili odbijte","oss-aion-console.cb4e501f7a":"Ako svaki korak stoji, provjeravač ispisuje PROŠAO i izlazi s 0. Ako bilo koji korak ne stoji, imenuje neuspjeh i izlazi s ne-nula vrijednošću. Nema sredine.","oss-aion-console.b568d47f2e":"Ulaz","oss-aion-console.df73f614f5":"Datoteka dokaza","oss-aion-console.0562f32dc5":"Ovisnosti","oss-aion-console.7334b0e2cf":"Nijedna u trenutku provjere","oss-aion-console.64ae43e8fe":"Trošak","oss-aion-console.660020f41a":"Linearano u duljini dokaza","oss-aion-console.5faa59d4bc":"Rezultat","oss-aion-console.de76d16078":"PROŠAO ili imenovani neuspjeh","oss-aion-console.76d6562c0a":"Provjera","oss-aion-console.edabf74eb3":"Jedna naredba čita dokaz i","oss-aion-console.d161c0634a":"prihvaća ga ili odbija","oss-aion-console.a997e63df7":"Provjeravač je neovisan o solveru. Dajte mu certifikat i vaš vlastiti provjeravač\n          ga potvrđuje ili odbija, izvan mreže, bez pristupa motoru koji ga je proizveo.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"izvanmrežni provjeravač","oss-aion-console.6b5eb5323e":"Neovisni provjeravač","oss-aion-console.165cb4a2fd":"N koraka i Nms su rezervirana mjesta: stvarne brojke dolaze iz dokaza koji provjeravate, ne\n              od nas. Površina naredbe je stvarna, aion check parsira, prolazi i izvještava PROŠAO.","oss-aion-console.b8fae1a1a1":"AION / provjera dokaza","oss-aion-consumer-glyph.dccc2b6aff":"Nije potreban internet","oss-aion-consumer-glyph.22c2234e11":"Proizvedeno u Europi","oss-aion-consumer-glyph.75f527181b":"Može se provjeriti kasnije","oss-aion-consumer-glyph.94651c6eb5":"Drugi pomoćnik to provjerava","oss-aion-consumer-glyph.b9fefb3f5b":"Izgleda ispravno","oss-aion-consumer-glyph.fb447dd18d":"Vaš račun","oss-aion-consumer-glyph.49a8e53c77":"Stroj odgovara","oss-aion-consumer-glyph.f5ad0f0059":"Da, i evo zašto","oss-aion-consumer-glyph.7011b1a621":"Odgovor","oss-aion-consumer-glyph.07d0cfac8b":"Korak po korak, zapisano","oss-aion-consumer-glyph.5bcd26af49":"Kako je došlo do toga","oss-aion-consumer-glyph.8afc953f7f":"Je li ovo pravo za mene?","oss-aion-consumer-glyph.d79cce547d":"Pitanje","oss-aion-coverage-join.fa5284c04d":"kratko je kratko","oss-aion-coverage-join.d04fa188df":"Četrnaest nije ni približno sve, pa se spajanje odbija umjesto da se zaokruži.","oss-aion-coverage-join.0b67159da5":"Šesnaest ćelija je obrađeno i sastavljeni rezultat je prihvaćen.","oss-aion-coverage-join.7142d70e45":"sastavljanje odbijeno, pokrivenost prekratka","oss-aion-coverage-join.245fbeffee":"nije greška zaokruživanja. Regija koju nitko nije pogledao.","oss-aion-coverage-join.1df8f3c0e7":"14 od 16","oss-aion-coverage-join.1c1d6ac8f1":"dvije ćelije koje nitko nije pogledao","oss-aion-coverage-join.f0833f7fc6":"isto spajanje, jedna kocka nedostaje","oss-aion-coverage-join.db8d5bf534":"sastavljanje prihvaćeno","oss-aion-coverage-join.558480e414":"16 od 16","oss-aion-coverage-join.26f1b36edc":"svaka ćelija obrađena","oss-aion-coverage-join.39cd7fa9c4":"četiri kocke","oss-aion-coverage-join.bb2dba7602":"ilustrativne kocke","oss-aion-coverage-join.a4d76ddfc7":"pokrivenost prekratka za dvije ćelije","oss-aion-coverage-join.e4445ac125":"Jedna provjera podjele","oss-aion-coverage-join.186c8cd284":"Verzija koju držite ne mijenja se pod vama.","oss-aion-coverage-join.9daf9699cc":"verzija","oss-aion-coverage-join.66506ab77b":"Nijedan model se ne poziva.","oss-aion-coverage-join.f2250926d2":"Ništa ne napušta granicu.","oss-aion-coverage-join.3110d06249":"što napušta","oss-aion-coverage-join.0bd87fb406":"Nijedan procesor na ovom putu.","oss-aion-coverage-join.1fa5b0500c":"ne a, ne b, ne c","oss-aion-coverage-join.898fae3bdc":"ne a, ne b, c","oss-aion-coverage-join.a8f663af2d":"ne a, b","oss-aion-coverage-join.bee9689def":"četiri stroja, jedan odgovor","oss-aion-coverage-join.3ea0cf3ca7":"adrese koje postavite","oss-aion-coverage-join.7b9e33922c":"usluga","oss-aion-coverage-join.17819009bd":"jedan poziv","oss-aion-coverage-join.2c4d8b9dd8":"naredba","oss-aion-coverage-join.5a78e04d95":"povezano","oss-aion-coverage-join.985e108737":"biblioteka","oss-aion-coverage-join.1d06a0d76f":"model","oss-aion-coverage-join.8eab5a6dbb":"procesor","oss-aion-coverage-table.356f85e809":"jedan AION omot i ugovor o usmjeravanju","oss-aion-coverage-table.4f52f572dd":"sedam izlaza proizvođača","oss-aion-coverage-table.2a268cd632":"SEDAM PROIZVOĐAČA","oss-aion-coverage-table.8351372237":"prvo izlaz, provjeravač odabran prema obitelji certifikata","oss-aion-coverage-table.b7d5fe11a0":"Što sedam proizvođača ostavlja za sobom","oss-aion-coverage-table.f31a7c9011":"Rješavač","oss-aion-coverage-table.a194f815cb":"Izvedivo, neizvedivo ili optimalno","oss-aion-coverage-table.7ec93e2d31":"Dokaz, model, jezgra, svjedok ili granica","oss-aion-coverage-table.651e0f73b2":"Provjeravač rješavača specifičan za obitelj","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Zaključak iz deklariranih ograničenja","oss-aion-coverage-table.9ac60dc1a8":"Izvođenje ograničenja i vraćeni dokazi rješavača","oss-aion-coverage-table.d5ef792d46":"Loom provjeravač zaključivanja","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Dovršena upravljana operacija","oss-aion-coverage-table.70d43be1ea":"Ovlasti, politike, odobrenja, prijelazi i potvrde","oss-aion-coverage-table.5372a8e90f":"Nexus provjeravač organizacije","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Kompilirani artefakt","oss-aion-coverage-table.1f3e5d7c89":"Izvorni graf, transformacije, invarijante i identitet artefakta","oss-aion-coverage-table.86ca1bd031":"Kera provjeravač kompilacije","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Izvršeno opterećenje","oss-aion-coverage-table.24f1ac9e33":"Modul, ulazi, dodjele mogućnosti, prijelazi, ograničenja i izlaz","oss-aion-coverage-table.0f9ea21c74":"Selvedge provjeravač izvršenja","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Simulirana putanja","oss-aion-coverage-table.ef85239d10":"Identitet modela, parametri, stanje, kontrolne točke, invarijante i hash putanje","oss-aion-coverage-table.c5b7fe3198":"Provjeravač simulacije i FMI-ja","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Dovršeno izvođenje FMU-a","oss-aion-coverage-table.8f5753fba0":"Identitet FMU-a, konfiguracija, koraci, događaji, konvergencija i trag","oss-aion-coverage-table.4d64b5bbaf":"Provjeravač simulacije i FMI-ja","oss-aion-coverage-table.7d1ab3c6e0":"Dokaz:","oss-aion-coverage-table.4e5bc7d129":"Provjeravač:","oss-aion-days-left.545fa01eea":"i to stoji prije posljednjeg dana","oss-aion-days-left.eaa861cef8":"isto pravilo, pročitano četiri puta","oss-aion-days-left.2017bddab0":"Pitajte bilo kojeg dana i isto pravilo računa. Ništa o četvrtom čitanju\n          nije glasnije od prvog, samo manje.","oss-aion-days-left.81b20537a7":"preostalo prostora, u danima","oss-aion-days-left.0526dbf682":"SAT","oss-aion-days-left.2f29339cb6":"isti sat, četiri dana razlike","oss-aion-days-left.47a76d1261":"Jedan zahtjev, četiri čitanja","oss-aion-days-left.9dd1fe0fd2":"26 od 30","oss-aion-days-left.f4c6daac2a":"dan 26","oss-aion-days-left.62f21454ca":"22 od 30","oss-aion-days-left.4ad399ed8a":"dan 22","oss-aion-days-left.ae5a29afae":"16 od 30","oss-aion-days-left.195b05cbbd":"dan 16","oss-aion-days-left.d31b7d0f91":"8 od 30","oss-aion-days-left.185b76515a":"dan 8","oss-aion-days-left.2dd2bed725":"danas","oss-aion-dispute-parts.65edc28a9d":"ploča i odluka pripadaju vašem vlastitom procesu, a artefakt se ne pomiče","oss-aion-dispute-parts.e56cf65ada":"i to nije tribunal","oss-aion-dispute-parts.37f322f735":"on pruža dokaze,","oss-aion-dispute-parts.7b7570d892":"odluka","oss-aion-dispute-parts.52e3685580":"prozor","oss-aion-dispute-parts.7de929b394":"ploča","oss-aion-dispute-parts.2eba0fb6ad":"ono što vaš vlastiti proces posjeduje","oss-aion-dispute-parts.ea4031d789":"koji verifikator, koja verzija","oss-aion-dispute-parts.93be71a61d":"ugovor","oss-aion-dispute-parts.48b63234e3":"imenovan, a ne sažet","oss-aion-dispute-parts.cced6746e2":"točka kvara","oss-aion-dispute-parts.2c9e8d06dd":"ponovljivo od strane bilo koga","oss-aion-dispute-parts.2e02032e1d":"verifikacija","oss-aion-dispute-parts.804e9af218":"proizvođač i potpis netaknuti","oss-aion-dispute-parts.69506051d5":"sačuvano kao prihvaćeno","oss-aion-dispute-parts.6b578cc32e":"certifikat","oss-aion-dispute-parts.21df0b2530":"Što AION doprinosi","oss-aion-dispute-parts.4029dc5f44":"On čuva certifikat onako kako je prihvaćen. Čuva atribuciju, tako da tko je proizveo rezultat preživi promjenu izvođača. On reproducira verifikaciju na zahtjev, od strane bilo koga, bez proizvođača. On identificira točnu točku kvara umjesto da vraća presudu. I pokazuje koji je verifikator prihvatio rezultat i pod kojom verzijom ugovora. Ploča, prozor i odluka pripadaju procesu koji vaša organizacija već vodi. AION isporučuje artefakt o kojem taj proces raspravlja.","oss-aion-dispute-parts.434ae4f1d6":"AION-ova uloga u toj situaciji je uska i to je korisni dio.","oss-aion-dispute-parts.3eb5567b60":"Rad koji je proizvela jedna strana, a na koji se oslanja druga, na kraju dovodi do neslaganja o tome je li bio dobar. Ono što to odlučuje gotovo nikada nije snaga argumentiranja. To je postoji li artefakt koji obje strane mogu ispitati i koji nijedna strana ne može izmijeniti, a u većini sporova zapisi koji bi riješili pitanje nalaze se kod jedne od dviju strana.","oss-aion-dispute-parts.2ccc6715e9":"Ne bolji argument.","oss-aion-dispute-parts.aa0d5ae0e6":"Spor treba dokaze.","oss-aion-dispute-parts.b4b6237893":"Kada se netko ne slaže","oss-aion-dispute-parts.eec3b038bd":"atribucija","oss-aion-dispute-parts.100ec4462d":"dokazi","oss-aion-envelope-fields.cfc233d284":"omotnica nikad nije","oss-aion-envelope-fields.1c80a87a33":"teret je specifičan za obitelj","oss-aion-envelope-fields.d85cb39036":"obitelj, koja određuje verifikator","oss-aion-envelope-fields.a975c5af10":"Vrsta certifikata","oss-aion-envelope-fields.4282e3d696":"imenovan, nikad impliciran","oss-aion-envelope-fields.0562f32dc5":"Ovisnosti","oss-aion-envelope-fields.ca2dc8737d":"koji sustav, koja verzija","oss-aion-envelope-fields.7b7194967f":"Proizvođač","oss-aion-envelope-fields.f33f785291":"prema čemu je napravljen i koja verzija","oss-aion-envelope-fields.404e7d3e00":"Ulazi i ugovor","oss-aion-envelope-fields.93a29173f5":"identifikator i teret ili njegov hash","oss-aion-envelope-fields.dc4e08a408":"Tvrdnja","oss-aion-envelope-fields.78e789d605":"UGOVOR","oss-aion-envelope-fields.d12a9ca770":"izvan tereta, svaka obitelj","oss-aion-envelope-fields.f18dee6041":"Omotnica","oss-aion-envelope-fields.f07e5a8156":"teret","oss-aion-evidence.cbf668da60":"Datoteke dnevnika","oss-aion-evidence.28e06c789a":"Dnevnik pokazuje da je sustav radio. Ne pokazuje zašto je odgovor donesen, a dnevnik se može tiho izmijeniti.","oss-aion-evidence.c637aebe3a":"Neprozirno","oss-aion-evidence.5c3fc92e3f":"Pouzdanost","oss-aion-evidence.fd3c76543b":"Jedan broj koji sažima unutarnje stanje. Dva sustava mogu pokazati isti rezultat i doći do suprotnih zaključaka na istom unosu.","oss-aion-evidence.16f3dacf52":"Bez izvođenja","oss-aion-evidence.7f34e37f1b":"Samostvoreno objašnjenje","oss-aion-evidence.361b70a63e":"Napisao ga je isti model koji je donio odluku. Sam sebi ocjenjuje rad, pa ne može poslužiti kao neovisni dokaz.","oss-aion-evidence.782acc59ce":"Kružno","oss-aion-evidence.477416bf24":"Vjerujte dobavljaču","oss-aion-evidence.1e84c62138":"Kad regulator, pacijent ili sud zatraži \"pokažite svoj rad\", obećanje na razini usluge nije odgovor koji mogu provjeriti.","oss-aion-evidence.76afe0e09f":"Neprovjerljivo","oss-aion-evidence.06f2d5f1a8":"Potvrda, ne tvrdnja","oss-aion-evidence.cdcc6f712c":"AION uz odgovor izdaje potvrdu o dokazu. Potvrda navodi svaki korak zaključivanja redoslijedom kojim je poduzet.","oss-aion-evidence.6d1c5f470b":"Provjerio netko drugi","oss-aion-evidence.cc65178dc5":"Zasebni provjeravač prolazi kroz korake i prihvaća ih ili odbija. Strana koja postavlja pitanje pokreće ga sama.","oss-aion-evidence.412a3b1e5e":"Moguće ponovno pokrenuti kasnije","oss-aion-evidence.9082c552d2":"Ista potvrda provjerava se na isti način sljedeći mjesec, na drugom računalu, bez pristupa izvornom sustavu.","oss-aion-evidence.1206578b48":"pokažite svoj rad","oss-aion-evidence.494beafd71":"pitanje revizije","oss-aion-evidence.bba8b0753d":"dokaz nasuprot tvrdnji","oss-aion-evidence.00e2ca4c85":"Kad odluka umjetne inteligencije stigne do regulatora, pacijenta ili sigurnosnog slučaja, netko pita","oss-aion-evidence.1defdb9d85":"kako je došla do tog odgovora.","oss-aion-evidence.290a698043":"Većina organizacija ne može dati odgovor\n          koji osoba koja pita može sama provjeriti.","oss-aion-evidence.56f6624482":"Nije dokaz","oss-aion-evidence.a295517f40":"Što se danas nudi","oss-aion-evidence.7ea014de7b":"Dokaz","oss-aion-evidence.4cb1cd3e53":"Što AION predaje","oss-aion-evidence.2a36a263da":"Dokaz se ne tvrdi. Dokaz se provjerava.","oss-aion-evidence.e0a4c0a385":"Neovisna provjera jedini je odgovor koji revizor može prihvatiti.","oss-aion-exact-sum.21aaad8129":"negativni množitelj se odbija prije nego što se uzme zbroj, pri prvoj provjeri","oss-aion-exact-sum.3b267c2a81":"nema unutarnjeg pomičnog zareza u tom lancu","oss-aion-exact-sum.1a43ebe28c":"pa je sustav opovrgnut","oss-aion-exact-sum.452308dbcd":"konstanta koja ostaje","oss-aion-exact-sum.35add33a7a":"ono što ostane","oss-aion-exact-sum.df326a819b":"članovi s y se poništavaju","oss-aion-exact-sum.dae482d4b2":"članovi s x se poništavaju","oss-aion-exact-sum.c36d183406":"zbrojite skalirane nejednakosti","oss-aion-exact-sum.79e4c9d3fa":"skalirajte je","oss-aion-exact-sum.c3c4b24b20":"dvije nejednakosti, sve na jednoj strani","oss-aion-exact-sum.b6b4c73115":"Zbroj, u cijelosti","oss-aion-exact-sum.c1c66bf52c":"Uvjeti se provjeravaju redom i svaki je zasebno odbijanje. Negativni\n            množitelj se odbija prije nego što se uzme bilo koji zbroj, jer skaliranje negativnim\n            brojem okreće nejednakost. Zbroj u kojem preživi varijabilni član odbija se s\n            imenovanim preživjelim članom. Zbroj čija preostala konstanta nije pozitivna odbija\n            se jer ne dokazuje ništa. Koeficijent iznad granice veličine izaziva prekoračenje\n            umjesto prelamanja. Ništa u tom lancu nije tolerancija.","oss-aion-exact-sum.6efbacfc5b":"Aritmetičko opovrgavanje je skup množitelja. Napišite svaku nejednakost sa\n            svime na jednoj strani znaka, skalirajte je, zbrojite skalirane nejednakosti,\n            i ako se svaki varijabilni član poništi i ono što ostane je pozitivan broj za koji\n            se kaže da je najviše nula, to ne može vrijediti, pa ne može ni sustav iz kojeg\n            potječe. AION prihvaća te množitelje na granici i pretvara ih u deklariranu\n            adaptivnu cjelobrojnu/fiksnozareznu reprezentaciju prije provjere. Pohranjuje,\n            akumulira i računa bez vrijednosti s pomičnim zarezom interno, i nema\n            rezervni način s pomičnim zarezom. Razlomak ostaje ispisan ovdje jer čini\n            proturječje čitljivim; provjera je vođena svojom deklariranom pretvorbom i\n            skalom.","oss-aion-exact-sum.31934abfaa":"Njegova pretvorba deklarira skalu.","oss-aion-exact-sum.a3caf489e5":"Trećina nije 0.333.","oss-aion-exact-sum.15e6a906dd":"Deklarirana adaptivna fiksnozarezna aritmetika","oss-aion-exact-sum.108a35964a":"zbroj kaže 11/6 <= 0, što je netočno,","oss-aion-exact-sum.6045546490":"y - x + 1/3 <= 0","oss-aion-exact-sum.a9171dcc84":"x - y + 3/2 <= 0","oss-aion-exact-sum.0df9336e46":"3y - 3x + 1 <= 0","oss-aion-exact-sum.022fb6347f":"2x - 2y + 3 <= 0","oss-aion-exact-sum.fb360f9c09":"da","oss-aion-exact-sum.c4c6c57253":"pozitivno","oss-aion-exact-sum.b55e22fe78":"točno","oss-aion-exec-cert.6a230011ab":"nešto drugo to provjerava","oss-aion-exec-cert.2c14724b1b":"runtime ga je proizveo","oss-aion-exec-cert.b07722ef0c":"ograničenje","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"modul za izlaz","oss-aion-exec-cert.a7b63abc02":"Što certifikat nosi","oss-aion-exec-cert.e1bbfaa783":"Identitet onoga što je izašlo i je li se zaustavilo.","oss-aion-exec-cert.59871c9494":"Izlaz i status","oss-aion-exec-cert.ffb779a5c3":"Ograničenja unutar kojih je radio, kao granice, a ne kao opažanja.","oss-aion-exec-cert.ffbc724f07":"Okvir resursa","oss-aion-exec-cert.273c1da325":"Deterministički, s obzirom na modul, ulaze i dopuštenja.","oss-aion-exec-cert.acee491c99":"Prijelazi stanja","oss-aion-exec-cert.eab885bbb2":"Što mu je bilo dopušteno doseći, deklarirano prije izvođenja.","oss-aion-exec-cert.dc009dc166":"Dodjela mogućnosti","oss-aion-exec-cert.6f3eb29822":"Koji modul, prema sadržajnoj adresi, na kojoj verziji runtimea.","oss-aion-exec-cert.c201b4ae89":"Identitet modula","oss-aion-executed-under.6b6dab207c":"Što certifikat dopušta","oss-aion-executed-under.1fcfedc78a":"do čega bi mogao doseći","oss-aion-executed-under.0338c5441d":"Pitanje nakon činjenice je ovlast, a certifikat je nosi.","oss-aion-executed-under.bc70ed4db9":"Četiri dopuštenja zadržana, a tri uskraćena.","oss-aion-executed-under.6f9d76b8c0":"Prijelazi su deterministički s obzirom na modul, ulaze i dopuštenja, pa je sve\n            to praćeno bez ikad pokretanja radnog opterećenja.","oss-aion-executed-under.e044b5f419":"Identitet koji certifikat deklarira nije identitet koji prijelazi proizvode, pa se\n            izvođenje odbija na izlazu. Sve prije toga rekonstruirano je točno.","oss-aion-executed-under.7f0cc64ae8":"deterministički prijelazi","oss-aion-executed-under.5fa4050afc":"skup mogućnosti, deklariran prije izvođenja","oss-aion-executed-under.844e9ed357":"sat, promatranje nije postavljeno","oss-aion-executed-under.b3ccbb4041":"memorijski limit 512 MiB","oss-aion-executed-under.1fe892a96f":"jedan utor, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"čitanje /var/lib/claims","oss-aion-executed-under.7a02a68db0":"nije zadržano","oss-aion-executed-under.685706abcf":"izlazni identitet se razlikuje","oss-aion-executed-under.6287ff317a":"proizveden","oss-aion-executed-under.0baff051a0":"deklariran","oss-aion-executed-under.1029d67644":"izlaz","oss-aion-executed-under.fbd34a2b6e":"modul","oss-aion-executed-under.910e029098":"ilustrativno","oss-aion-executed-under.df6fe4f714":"sposobnost postojanja nakon izvođenja","oss-aion-executed-under.b51590997b":"svaka druga adresa","oss-aion-executed-under.e4e545e3b7":"sve ostalo na datotečnom sustavu","oss-aion-fact-strip.0dc9622797":"Svaka brojka vodi do AION repozitorija.","oss-aion-fact-strip.b7feece146":"AION u brojkama","oss-aion-fact-strip.fedec331ff":"Biblioteka, CLI i benchmark u jednom radnom prostoru","oss-aion-fact-strip.13a24daf03":"Implementacija","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Binarni, cjelobrojni i prilagodljivi fiksni zarez; bez unutarnjeg pomičnog zareza","oss-aion-fact-strip.5688a0448c":"Aritmetička jezgra","oss-aion-fact-strip.0cae74747c":"Točno","oss-aion-fact-strip.379c055f01":"Linearno u duljini dokaza, izvan mreže, bez rješavača","oss-aion-fact-strip.04ce84fb6e":"Trošak provjere","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe i jedinstveni međuoblik","oss-aion-fact-strip.e6c67de15e":"Formati dokaza","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Logičke teorije","oss-aion-failure-notice.d8164c5dd8":"nalaz, a ne spor","oss-aion-failure-notice.159098bbba":"Drugi započinje raspravu koju nitko ne može zaključiti.","oss-aion-failure-notice.814fc5cd4f":"Jedan od ovih može se poslati dobavljaču u utorak poslijepodne.","oss-aion-failure-notice.2e6ea3eaa5":"ne može se dodijeliti, ne može se cijeniti, ne može se precizno osporiti","oss-aion-failure-notice.e896d6344f":"provjera nije uspjela","oss-aion-failure-notice.587270a2e4":"gdje ide svako polje","oss-aion-failure-notice.ba0f0eb3fe":"premisa nije prisutna","oss-aion-failure-notice.0c2a7f4aef":"korak 415","oss-aion-failure-notice.55daa4a2ea":"posljednja četiri koraka glase","oss-aion-failure-notice.ca548ed152":"17. ožujka 2026.","oss-aion-failure-notice.3c05b129e2":"nije izdana presuda","oss-aion-failure-notice.aa943932a5":"obavijest o odbijanju","oss-aion-failure-notice.28fb3d519e":"rekonstruirano","oss-aion-failure-notice.bd370d1b6f":"korak","oss-aion-failure-notice.910e029098":"ilustrativno","oss-aion-failure-notice.e6b658331e":"i nitko nije optužen","oss-aion-failure-notice.94002635cd":"vi, ako je riječ o pitanju opsega","oss-aion-failure-notice.7ab178c9a0":"vrsta","oss-aion-failure-notice.0d967ff8f3":"nadopunjuje nedostajuću premisu","oss-aion-failure-notice.b54c9b7359":"tko god je izradio korak","oss-aion-failure-notice.94a94ba774":"razlog","oss-aion-failure-notice.ba3167e426":"potvrđuje što bi taj korak trebao činiti","oss-aion-failure-notice.32ec97b69b":"vlasnik vašeg skupa pravila","oss-aion-failure-notice.b543dc38fd":"pravilo","oss-aion-failure-notice.ad866c4aef":"otvara datoteku na koraku 415","oss-aion-failure-notice.06fddd86f6":"tim za dokaze dobavljača","oss-aion-failure-notice.aecf66bfac":"lokacija","oss-aion-failure-notice.1d7794c5e2":"nije izdana presuda za ovaj dokaz","oss-aion-failure-notice.f4475dac73":"posljedica","oss-aion-failure-notice.566c7d73a0":"korak navodi premisu koja nije prisutna u datoteci","oss-aion-failure-notice.7947e92e3c":"razlog","oss-aion-failure-notice.5dfa011717":"pravilo, rješenje","oss-aion-failure-notice.64463af8a3":"414 prihvaćeno","oss-aion-failure-notice.c21ce4fb88":"koraci pročitani","oss-aion-failure-notice.2bf60a2164":"analiza sukoba dobavljača za ožujski skup pravila","oss-aion-failure-notice.335ce16b3f":"predmet","oss-aion-family-board.ca8f6715c8":"zasebno inačicirano","oss-aion-family-board.e794ff76c1":"okvir koji čeka verifikatora","oss-aion-family-board.0f2e82af82":"Devet obitelji dijeli jedan omot i ništa drugo. Deseta je","oss-aion-family-board.ca6c6dda8e":"verifikator i deklarirani skup pravila","oss-aion-family-board.c53186083e":"deseta","oss-aion-family-board.0020359543":"nevažeći prijelaz, prekoračenje odobrenja, nepodudaranje izlaza,\n              nepotpun trag","oss-aion-family-board.187225126d":"taksonomija odbijanja","oss-aion-family-board.fac6c7230f":"ponovno izvedi prijelaze prema deklariranim\n              ograničenjima i skupu pravila","oss-aion-family-board.155e6164fc":"algoritam verifikacije","oss-aion-family-board.924f583920":"deterministički slijed prijelaza s identitetima ulaza i\n              izlaza","oss-aion-family-board.c0e6022509":"prikaz dokaza","oss-aion-family-board.927f6ddf1e":"ovo je radno opterećenje izvedeno pod ovim odobrenjima i doseglo ovaj izlaz","oss-aion-family-board.79bf5b0ee6":"vrsta tvrdnje","oss-aion-family-board.131097a25c":"Izvođenje u stvarnom vremenu, v2","oss-aion-family-board.50b24e4d4c":"jedna ploča, otvorena","oss-aion-family-board.803aa98470":"da je pohranjeni zapis onaj koji je prihvaćen","oss-aion-family-board.3e71ceb1ca":"Integritet pohrane","oss-aion-family-board.f8603f4710":"da je deklarirani model proizveo ovo izvođenje","oss-aion-family-board.ccc3c9b41d":"Simulacija i FMI","oss-aion-family-board.d0c6b470a4":"da je izvedeno unutar odobrenja koja su mu dana","oss-aion-family-board.dc37599f99":"Izvođenje u stvarnom vremenu","oss-aion-family-board.4f059da0be":"da artefakt čuva izvor","oss-aion-family-board.aad755de42":"Kompilacija","oss-aion-family-board.69ce9b9c4f":"da se dogodila upravljana operacija","oss-aion-family-board.ed87ca5ca0":"Organizacijski","oss-aion-family-board.0dbf90d179":"da deklarirana derivacija rekonstruira","oss-aion-family-board.e272c597fd":"Rezoniranje","oss-aion-family-board.e79949ba43":"da svojstvo vrijedi kroz izvođenja, ne samo jedno","oss-aion-family-board.bdb5a28846":"Vremensko i hiper-svojstvo","oss-aion-family-board.b83c805a0a":"da ništa bolje ne postoji unutar granica","oss-aion-family-board.c794704381":"Optimizacija","oss-aion-family-board.ede1ae7e54":"da nijedna dodjela ne zadovoljava skup","oss-aion-family-board.a04ce90d06":"Logika i zadovoljivost","oss-aion-family-board.b98b54298f":"devet registriranih, jedan okvir","oss-aion-family-board.6253e9d668":"Obiteljska ploča","oss-aion-family-board.910e029098":"ilustrativno","oss-aion-family-registry.6e32650bab":"i verzija na svima njima","oss-aion-family-registry.dcd1f1fdc9":"četiri deklaracije po obitelji","oss-aion-family-registry.3bc3fe987d":"Kvarovi koje ova obitelj može vratiti, svaki s lokacijom.","oss-aion-family-registry.d129426d71":"Taksonomija odbijanja","oss-aion-family-registry.d4504f5b41":"Što verifikator pokreće i skup pravila koje prihvaća.","oss-aion-family-registry.52ab770040":"Algoritam verifikacije","oss-aion-family-registry.4c9dd89c88":"Kako se nosi svjedok, derivacija ili trag.","oss-aion-family-registry.016fecd943":"Reprezentacija dokaza","oss-aion-family-registry.ab1e33179a":"Što ova obitelj utvrđuje i što namjerno ne utvrđuje.","oss-aion-family-registry.8a547220fc":"Vrsta tvrdnje","oss-aion-family-registry.37094b3cc5":"prije nego što se može provjeriti","oss-aion-family-registry.b14e18379b":"REGISTAR","oss-aion-family-registry.b3e4281358":"Što obitelj deklarira","oss-aion-family-registry.7efea8ff96":"nepotpuno","oss-aion-family-registry.995fee1f1a":"nepodržano","oss-aion-family-registry.81f344a768":"nevažeće","oss-aion-foreign-proof.4c43cb0de1":"bez licence, bez okruženja","oss-aion-foreign-proof.9406c96fa7":"četiri tanke linije između njih","oss-aion-foreign-proof.9fefe2d67f":"Četiri vrste posla na jednoj strani, četiri čitljiva objekta na drugoj, i","oss-aion-foreign-proof.57802c0b4e":"Verifikator nikada nije pokrenuo lijevu stranu, i ne mora.","oss-aion-foreign-proof.1dfc94b110":"jedan račun","oss-aion-foreign-proof.cff5f15fed":"dvije tranzicije","oss-aion-foreign-proof.d58f13fb52":"provjera ovlasti","oss-aion-foreign-proof.24ef006723":"ovlasti i računi","oss-aion-foreign-proof.933912faec":"agenti, koordinacija","oss-aion-foreign-proof.2ae1de46da":"stanje ostaje unutar deklarirane granice","oss-aion-foreign-proof.ed96565674":"kontrolne točke i invarijanta","oss-aion-foreign-proof.0ae689c7bd":"koraci integracije","oss-aion-foreign-proof.f9020659b6":"izbor jezgre","oss-aion-foreign-proof.3e77a07952":"tvrdnje o očuvanju","oss-aion-foreign-proof.2bb64b9b5b":"optimizacijski prolazi","oss-aion-foreign-proof.c8b39aa910":"izvođenje klauzula","oss-aion-foreign-proof.4da89bbc52":"pretraga rješavača","oss-aion-foreign-proof.51339ff0ea":"dokaz, na vašem uređaju","oss-aion-foreign-proof.4f45bf808d":"posao, na proizvođaču","oss-aion-foreign-proof.c369931988":"četiri linije, ništa više","oss-aion-foreign-proof.ec0b7e2c43":"Što prelazi granicu","oss-aion-foreign-proof.44d74dd33f":"oblici","oss-aion-foreign-proof.e7b1fff700":"tipovi","oss-aion-foreign-proof.910e029098":"ilustrativno","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT i Alethe provjeravaju u linearnom vremenu izvan mreže. DRAT se provjerava, a zatim skraćuje na LRAT.\n            Unified pretvara između njih bez gubitaka.","oss-aion-formats.14a628e6d3":"Provjerio","oss-aion-formats.dda6ac27b9":"Provjeri","oss-aion-formats.34556fa12c":"Kartica formata","oss-aion-formats.e6c67de15e":"Formati dokaza","oss-aion-formats.8a5e29e5bb":"pretvorba bez gubitaka","oss-aion-formats.ddb7c01560":"jedan izvor, četiri oblika","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# objedinjeni posredni dokaz","oss-aion-formats.0d3311a5dc":"aion-proofs pretvarač","oss-aion-formats.1f5124d90b":"Pretvoreno pri izvozu","oss-aion-formats.8c21b7e1f1":"Interna reprezentacija koja pretvara između ostalih bez gubitaka.","oss-aion-formats.ebb8e8cf49":"Posredni oblik","oss-aion-formats.287fda8114":"Objedinjeno","oss-aion-formats.6d56822b09":"(h1 h2))","oss-aion-formats.87d27a2d97":"t3 (cl Q) ","oss-aion-formats.6d3a4ab6e5":"(=> P Q))","oss-aion-formats.ec18650019":"cvc5, Carcara","oss-aion-formats.0cdb7c9a36":"Linearno vrijeme, izvan mreže","oss-aion-formats.f6f7b642b0":"SMT-LIB zajednički format iz loze cvc5 i veriT.","oss-aion-formats.4aa5db37af":"SMT dokaz","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat dodavanje i brisanje redaka","oss-aion-formats.f3ba7f38e9":"drat-trim u LRAT","oss-aion-formats.36f33c83a6":"Provjereno, zatim skraćeno","oss-aion-formats.4745aebc97":"Klauzalno dodavanje i brisanje. Provjeravatelji formata skraćuju u LRAT.","oss-aion-formats.154df3dc2f":"SAT certifikat","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" izvedena prazna klauzula","oss-aion-formats.6fd630d612":" lrat s uputama za jediničnu propagaciju","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Industrijski standardni dokazi rezolucije za propozicijsku jezgru.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"datoteka koja se nikad ne zatvara","oss-aion-four-gates.0ff8f0eb5a":"i još jedna na kraju","oss-aion-four-gates.a1ebd8379f":"prije koraka 1","oss-aion-four-gates.b161dbb47d":"Datoteka se najprije skenira radi ponovljenog broja koraka.","oss-aion-four-gates.21e412d2d0":"Dva koraka, jedan broj","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"i jedna prije bilo koje od njih","oss-aion-four-gates.e74bdcd46a":"Četiri testa, ovim redoslijedom","oss-aion-four-gates.fef891bb33":"korak 15","oss-aion-four-gates.cc90eb3e73":"Nema rutine za naziv. Čitanje se zaustavlja umjesto da preskače.","oss-aion-four-gates.787e8a8577":"Nepoznato pravilo","oss-aion-four-gates.e70c55582f":"korak 52","oss-aion-four-gates.59446cbcf9":"Premisa koja je prisutna, ali numerirana iznad koraka koji je citira.","oss-aion-four-gates.f1604fe1aa":"Citirano izvan reda","oss-aion-four-gates.a42f56e597":"korak 44","oss-aion-four-gates.371b9613cc":"Citirani broj koji nije nigdje u datoteci.","oss-aion-four-gates.1d1369a316":"Premisa odsutna","oss-aion-four-gates.e1391a7c80":"korak 31","oss-aion-four-gates.9a7512e955":"Korak koji stoji na vlastitom zaključku. Pita se prvi, za svaki korak.","oss-aion-four-gates.7f30dfcc04":"Citira sam sebe","oss-aion-governed-operation.b0582e8559":"Jedna operacija, provjerena","oss-aion-governed-operation.8af7f1d469":"upravljano, zatim provjereno","oss-aion-governed-operation.ada470c3d7":"Lanac i njegova provjera dvije su različite ovlasti.","oss-aion-governed-operation.90fba649e4":"Četiri stavke rekonstruirane, a peta zaustavlja čitanje.","oss-aion-governed-operation.ea8356461f":"nije u ovoj potvrdi: što je bilo koji agent mislio","oss-aion-governed-operation.2f68c232b4":"Verzija pravila koju potvrda deklarira ne nosi uvjet koji ova kapija\n                tvrdi da je primijenila. Operacija je odbijena na toj stavci i ne izdaje se\n                presuda za cjelinu.","oss-aion-governed-operation.be51277bfd":"nije dosegnuto","oss-aion-governed-operation.57b160e317":"prolaz verifikatora, na vlastitu ovlast","oss-aion-governed-operation.26f017e3e6":"prihvaćeno, ref 4471-b","oss-aion-governed-operation.34c3c00446":"potvrda o primitku zabilježena","oss-aion-governed-operation.159338740e":"nalog za plaćanje, knjigovodstveni sustav","oss-aion-governed-operation.80f6148b56":"radnja izvršena","oss-aion-governed-operation.458c8c203d":"na radnju, ne na poruku u njezinoj blizini","oss-aion-governed-operation.1b4dcda6ba":"odobrenje priloženo","oss-aion-governed-operation.303418bf06":"preko 50 000 zahtijeva drugog odobravatelja","oss-aion-governed-operation.faf1f5eb4b":"pravilna kapija","oss-aion-governed-operation.557df801be":"prijelazi zadataka","oss-aion-governed-operation.b1c842256e":"službenik za zahtjeve","oss-aion-governed-operation.59bef6c3e5":"ovlast razriješena","oss-aion-governed-operation.0639a9efd0":"četiri agenta, nejednak opseg","oss-aion-governed-operation.8e44be8724":"organizacija formirana","oss-aion-governed-operation.139146ad26":"pravila v4.2","oss-aion-governed-operation.8524f08438":"podmiriti dobavljačke zahtjeve za tromjesečje","oss-aion-governed-operation.cab7375bdf":"operacija, kako ju je izvršio Nexus","oss-aion-governed-operation.82c8154dca":"odbijeno na kapiji","oss-aion-governed-operation.a503bc1da2":"odbijeno","oss-aion-governed-operation.28fb3d519e":"rekonstruirano","oss-aion-governed-operation.45807bf2ec":"podmireno","oss-aion-governed-operation.fb92f3f834":"procijenjeno","oss-aion-governed-operation.590abaace4":"otvoreno","oss-aion-governed-operation.d2dc873868":"cilj","oss-aion-governed-operation.910e029098":"ilustrativno","oss-aion-harness-fields.d5ad303466":"i broj koji možete citirati","oss-aion-harness-fields.5a31ca3c0f":"vaš korpus, vaš hardver","oss-aion-harness-fields.58664673b0":"Ispisano nad cijelim korpusom na kraju pokretanja.","oss-aion-harness-fields.6197b910db":"Točan broj","oss-aion-harness-fields.175226a475":"U usporedbi sa statusom zabilježenim u samoj datoteci.","oss-aion-harness-fields.d787e678da":"Odgovor prema statusu","oss-aion-harness-fields.b5ec587356":"Samo pretraživanje, po instanci, ne prosječeno.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Vrijeme rješavanja","oss-aion-harness-fields.bec737ff93":"Koliko je vremena trebalo za čitanje datoteke, odvojeno od rješavanja.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Vrijeme parsiranja","oss-aion-harness-fields.20e5752f58":"Najviša točka, tako da plan kapaciteta ima broj.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Najveća rezidentna memorija","oss-aion-harness-fields.b660370132":"jedna datoteka iz vašeg korpusa","oss-aion-harness-fields.ec845d015d":"po instanci, zatim zbrojeno","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Što jedno pokretanje bilježi","oss-aion-harness-fields.b3cbdd75cb":"opovrgnuto","oss-aion-harness-fields.48a3661d84":"status","oss-aion-harness-fields.25dc282b5a":"odgovor","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Rješavanje...","oss-aion-hero-glyph.3d08723a54":"Rezultat: SAT","oss-aion-hero-glyph.9e1279af1f":"Model:","oss-aion-hero-glyph.45dcf6e46f":"  x = 1","oss-aion-hero-glyph.81ef4e711c":"  y = 3","oss-aion-hero-glyph.70f4daaa7f":"Vrijeme: 4ms","oss-aion-hero-glyph.138243f0f4":"Rezultat: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Dokaz: 128 koraka","oss-aion-hero-glyph.41294a8dc8":"Dokaz zapisan u: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Provjera dokaza: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Parsiranje: OK","oss-aion-hero-glyph.27d28e3ca9":"Dokaz ima 128 koraka","oss-aion-hero-glyph.1ba94dea63":"Statistika dokaza:","oss-aion-hero-glyph.e1b3c4d7c5":"  Ukupno koraka: 128","oss-aion-hero-glyph.e30b86fef9":"  Koraka rezolucije: 71","oss-aion-hero-glyph.8215376faf":"  Aritmetičkih koraka: 24","oss-aion-hero-glyph.552f29f0b5":"  Maksimalna veličina klauzule: 6","oss-aion-hero-glyph.fc539fcf62":"Provjera dokaza: PROŠAO","oss-aion-hero-glyph.1e4bdfb80c":"Vrijeme provjere: 2ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Izvan mreže","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + teorija","oss-aion-hero-glyph.6ba46a924e":"adaptivna fiksna točka","oss-aion-hero-glyph.a9f24b1b66":"linearna vremenska provjera","oss-aion-hero-glyph.6b5eb5323e":"Certifikat priložen","oss-aion-how-to-check.c799cc998b":"Rezultat: ovo je točno.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"Prvi stroj predaje svoj račun zasebnom pomoćniku koji ga provjerava","oss-aion-how-to-check.d026bcfccb":"Rezultat je jasan: račun se zbraja ili se ne zbraja. Nema možda.","oss-aion-how-to-check.d0c84a5a37":"Provjera se događa upravo tamo gdje jeste. Ništa se ne šalje i nije potrebna web stranica.","oss-aion-how-to-check.623151a710":"Pomoćnik koji provjerava nije stroj koji je odgovorio. Ne može se jednostavno složiti sam sa sobom.","oss-aion-how-to-check.87e974a415":"čita ga i provjerava","oss-aion-how-to-check.3c487e646c":"Drugi pomoćnik","oss-aion-how-to-check.78829f8a37":"koraci, zapisani","oss-aion-how-to-check.9b7b265fbb":"Račun","oss-aion-how-to-check.f58fd2cb80":"daje odgovor i račun","oss-aion-how-to-check.50e90303d4":"Prvi stroj","oss-aion-integration.b1873dbd42":"Jedan mehanizam, bez vanjske usluge. Povežite crate, zaključajte verziju i provjerite certifikate u istom okruženju.","oss-aion-integration.5f2e7d7c25":"Isti dokazni certifikat sa svake površine. Upit unutra, provjerljiv certifikat vani.","oss-aion-integration.a4db3ae8b6":"Kako ga pozivate","oss-aion-integration.4ec6d609ab":"Počnite s jednim putem odlučivanja","oss-aion-integration.559461e293":"biblioteka, CLI, bench","oss-aion-integration.0228a4c724":"Svatko može provjeriti certifikat pomoću aion check ili neovisnim LRAT ili Alethe provjeravačem na vlastitom računalu.","oss-aion-integration.dda6ac27b9":"Provjeri","oss-aion-integration.4d2c6036eb":"Stavite aion-cli iza vlastite usluge. Dokazni certifikat je ugovor koji usluga vraća.","oss-aion-integration.c3447e7954":"Omotajte","oss-aion-integration.f9109d0f04":"Dodajte crate postojećoj Rust aplikaciji i emitirajte certifikate u skladu s odgovorima koje već proizvodi.","oss-aion-integration.ad02e14e28":"Ugradite","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Namjenski benchmark binarni program dolazi u radnom prostoru. Mjerite rješavanje i provjeru na vlastitom hardveru umjesto da vjerujete broju dobavljača.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Upravljajte AION-om iz ljuske ili CI posla. solve pokreće upit, check provjerava dokazni certifikat izvan mreže, a prove emitira jedan. Isti dokazni izlaz kao biblioteka.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Povežite AION kao crate i izravno pozovite rješavač i emiter dokaza. Jezgra, teorije i formati dokaza su u procesu, bez usluge koju treba podići.","oss-aion-integration.8319d9b3b9":"Rust biblioteka","oss-aion-live-margins.df15dfd304":"jedan od njih je radnja","oss-aion-live-margins.96576608a5":"tri od ovih su čitanja","oss-aion-live-margins.5711ac01c1":"PRAĆENO","oss-aion-live-margins.f719aa9511":"proteklo u odnosu na dopušteno","oss-aion-live-margins.a344938438":"Četiri obveze","oss-aion-live-margins.19e5ecc09e":"isti dan, na događaju","oss-aion-live-margins.828697f103":"Prijenos zapisa","oss-aion-live-margins.222af170d9":"44 dana od 30, još otvoreno","oss-aion-live-margins.a441e09d1a":"Razdoblje zadržavanja","oss-aion-live-margins.30e04c8f23":"2 dana od 3","oss-aion-live-margins.20d6944505":"Obavijest o povredi","oss-aion-live-margins.9b9419d2e2":"26 dana od 30","oss-aion-live-margins.6e7d6c760b":"Odgovor subjekta","oss-aion-nothing-outbound.45b9d8acdc":"bez odlaznog klijenta","oss-aion-nothing-outbound.5b16b5db9a":"Svaki put počinje i završava unutar linije koju ste nacrtali.","oss-aion-nothing-outbound.59a0768496":"Ništa na ovom listu ne prelazi obris.","oss-aion-nothing-outbound.71c31d8219":"lokalni proces na ovom računalu","oss-aion-nothing-outbound.605f85e28f":"vanjski prover","oss-aion-nothing-outbound.150bc2359d":"jedna podmreža, koju postavljate vi","oss-aion-nothing-outbound.5193678a39":"adrese klastera","oss-aion-nothing-outbound.49c4e670b3":"vaša mreža","oss-aion-nothing-outbound.273ca4c134":"ono što konfigurirate","oss-aion-nothing-outbound.7f8d7aeedb":"pet redaka","oss-aion-nothing-outbound.bcec1ac359":"što ovaj put dodaje vašem registru","oss-aion-nothing-outbound.4553aa0c94":"lokalna pohrana","oss-aion-nothing-outbound.93d65d8ef8":"arhiva","oss-aion-nothing-outbound.760cfc52ce":"provjeravač","oss-aion-nothing-outbound.6621d172f5":"skup pravila koji se čita","oss-aion-nothing-outbound.565f3cfc6a":"certifikat koji se provjerava","oss-aion-nothing-outbound.284f61c8db":"vaša stranica, vaš hardver","oss-aion-nothing-outbound.f368a04bb8":"jedna granica, i ona je vaša","oss-aion-nothing-outbound.5c795b7e7d":"nijedan put ne izlazi","oss-aion-nothing-outbound.4f98b1412d":"Ništa ne izlazi iz perimetra","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Verzija koju držite ne mijenja se pod vama.","oss-aion-nothing-outbound.07b9a651d1":"Raspored isporuke dobavljača za praćenje","oss-aion-nothing-outbound.8fa0bea3f8":"Nijedna naša usluga nije na putu.","oss-aion-nothing-outbound.11449c8bd3":"Ovisnost o dostupnosti za bilježenje","oss-aion-nothing-outbound.66506ab77b":"Nijedan model se ne poziva.","oss-aion-nothing-outbound.af474ee96b":"Davatelj modela za procjenu","oss-aion-nothing-outbound.f2250926d2":"Ništa ne izlazi iz granice.","oss-aion-nothing-outbound.e80e5b3403":"Prekogranični prijenos za opravdanje","oss-aion-nothing-outbound.0bd87fb406":"Nijedan procesor na ovom putu.","oss-aion-nothing-outbound.9494490634":"Procesor za dodavanje","oss-aion-obligation-calendar.366609b500":"margina, ne panika","oss-aion-obligation-calendar.3c8532b3c7":"Pravilo u sredini je mjesto gdje je jeftino rješenje prestalo biti dostupno.","oss-aion-obligation-calendar.949b1361f5":"Obje brojke su očitanja koja svatko može uzeti jutros.","oss-aion-obligation-calendar.7758d9c282":"potrebna radnja","oss-aion-obligation-calendar.4ebebe0b7c":"-14 dana","oss-aion-obligation-calendar.6937bf485d":"započeto prije ovog mjeseca","oss-aion-obligation-calendar.37ed878825":"razdoblje zadržavanja","oss-aion-obligation-calendar.3974c3ac47":"+4 dana","oss-aion-obligation-calendar.aa69fdaab6":"otvoreno, dopušteno 30 dana","oss-aion-obligation-calendar.c6727ea40c":"odgovor subjekta","oss-aion-obligation-calendar.51269d14af":"posljednji dan kada je to još bio posao od popodneva","oss-aion-obligation-calendar.96a8ebf797":"ilustrativni datumi","oss-aion-obligation-calendar.fdcce3f37e":"jedan je prošao svoj datum","oss-aion-obligation-calendar.11ddafb2cc":"Mjesec dana obveza","oss-aion-obligation-calendar.a2620cbc10":"dan","oss-aion-one-contract-six.d3926ca64d":"jedan registar, jedan zahvaćeni skup","oss-aion-one-contract-six.c4d72c2328":"Njihovi dokazi prate jedan AION omot.","oss-aion-one-contract-six.a7e545052a":"Izlazi proizvođača ostaju odvojeni.","oss-aion-one-contract-six.5cbf78425a":"jedna promjena pravila, ponovna provjera zahvaćenih zapisa","oss-aion-one-contract-six.f5c6772ad7":"jedan red za ponovnu verifikaciju","oss-aion-one-contract-six.d3516bd6ea":"jedan registar i zapis pohrane","oss-aion-one-contract-six.2ec012da6f":"jedan AION omot","oss-aion-one-contract-six.2c653cc8fa":"istih sedam proizvođača, kroz jedan AION omot","oss-aion-one-contract-six.725c682066":"različiti izlazi, verifikatori specifični za obitelj","oss-aion-one-contract-six.cddf74f2cf":"sedam izlaza proizvođača","oss-aion-one-contract-six.f063fe5bcd":"sedam izlaza gore, jedan omot dolje","oss-aion-one-contract-six.c34e6d1a39":"sedam proizvođača, jedan omot dokaza","oss-aion-one-contract-six.910e029098":"ilustrativno","oss-aion-one-contract-six.67bb73569c":"simulacijski certifikat","oss-aion-one-contract-six.7966a9fa49":"certifikat kompilacije","oss-aion-one-contract-six.1111f590cc":"organizacijski certifikat","oss-aion-one-contract-six.293194c28e":"certifikat zaključivanja","oss-aion-one-contract-six.8aa194122c":"zapis logičkog dokaza","oss-aion-one-contract-six.30870de828":"identitet modela, parametri, stanje, kontrolne točke, invarijante i hash putanje","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"modul, ulazi, dodijeljene ovlasti, prijelazi, ograničenja i izlaz","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"izvorni graf, transformacije, invarijante i identitet artefakta","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"autoritet, politika, odobrenja, prijelazi i potvrde","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"izvođenje ograničenja i vraćeni dokazi rješavača","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"dokaz, model, jezgra, svjedok ili granica","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Izvedivo, neizvedivo ili optimalno","oss-aion-one-contract-six.8f7924f6f5":"Verifikator rješavača specifičan za obitelj","oss-aion-one-contract-six.2e9d2d4990":"Zaključak iz deklariranih ograničenja","oss-aion-one-contract-six.0e7a123b77":"Loom verifikator zaključivanja","oss-aion-one-contract-six.3c1a0d119e":"Dovršena upravljana operacija","oss-aion-one-contract-six.6c2ed5435d":"Nexus organizacijski verifikator","oss-aion-one-contract-six.07b127b70d":"Kompilirani artefakt","oss-aion-one-contract-six.4f9018da9e":"Kera verifikator kompilacije","oss-aion-one-contract-six.1f42a0b0ce":"Izvršeno opterećenje","oss-aion-one-contract-six.5a3c8f1f84":"Selvedge verifikator izvršenja","oss-aion-one-contract-six.8879cc2e8a":"Simulirana putanja","oss-aion-one-contract-six.0d72478caf":"Simulacijski i FMI verifikator","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Dovršeno FMU pokretanje","oss-aion-one-contract-six.8f5753fba0":"FMU identitet, konfiguracija, koraci, događaji, konvergencija i trag","oss-aion-one-contract-six.4d64b5bbaf":"Simulacijski i FMI verifikator","oss-aion-one-contract-six.6f99b37c1c":"Tvrdnja","oss-aion-one-contract-six.4cb3ee8fa2":"Dokaz","oss-aion-one-contract-six.0f3253d8d8":"Verifikator","oss-aion-one-envelope.3b24a9a880":"osam polja, s verzijama","oss-aion-one-envelope.a348113c09":"koji\n          verifikator to čita.","oss-aion-one-envelope.08ace6c26e":"jedno polje odlučuje","oss-aion-one-envelope.396e2145f9":"Četiri vrste dokaza, jedan otvor i","oss-aion-one-envelope.dc1a7be459":"počivao na drugom","oss-aion-one-envelope.ddc01a5859":"tvrdnja o putanji","oss-aion-one-envelope.7f211a50e2":"skup parametara","oss-aion-one-envelope.8f2aa45103":"identitet modela","oss-aion-one-envelope.23e75e07fb":"odabrano prema polju vrste potvrde, ne prema tome tko ju je poslao","oss-aion-one-envelope.4e4dc30b71":"koji verifikator to čita","oss-aion-one-envelope.c8c687f0ff":"isti otvor, svaki put","oss-aion-one-envelope.b5a871e570":"hrpa potvrda","oss-aion-one-envelope.f90f47de4d":"niz prijelaza","oss-aion-one-envelope.3116f117c0":"tablica prolaza","oss-aion-one-envelope.134483f4a2":"dokaz klauzule","oss-aion-one-envelope.93a8ee0c5f":"što ide unutra","oss-aion-one-envelope.582a139a7d":"usmjereno prema vrsti","oss-aion-one-envelope.6b9805fe87":"Jedna omotnica, četiri sadržaja","oss-aion-one-envelope.3dde401523":"izvođenje u stvarnom vremenu","oss-aion-one-envelope.708563c595":"ed25519, provjereno","oss-aion-one-envelope.f2e0576c5b":"dva, navedena u nastavku","oss-aion-one-envelope.f7b7603261":"zapečaćeno, 41 kB","oss-aion-one-envelope.15aae6195c":"sadržaj potvrde","oss-aion-one-envelope.6732222b05":"vrsta potvrde","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"verzija ugovora","oss-aion-one-envelope.b578b9727d":"bez dvostrukog naplate u razdoblju 2026-06","oss-aion-one-envelope.a503bc1da2":"odbijeno","oss-aion-one-envelope.51c817ab85":"prihvaćeno","oss-aion-one-envelope.495117c360":"ovisnosti","oss-aion-one-envelope.910e029098":"ilustrativno","oss-aion-one-field-apart.e704601d64":"os, ne uzorak","oss-aion-one-field-apart.5c256bca81":"Ishod se pomaknuo s njom, i to je nalaz, a ne statistika.","oss-aion-one-field-apart.7a1e726c2f":"Dvije prijave identične u svim javnim poljima, razlikuju se za jedan broj.","oss-aion-one-field-apart.084f6c9ebe":"svaki par koji pravila dopuštaju","oss-aion-one-field-apart.ddaee9368d":"tisuću testiranih slučajeva","oss-aion-one-field-apart.4c4ccacd1b":"par koji možete staviti u datoteku","oss-aion-one-field-apart.6fddc6a6d1":"skupina B,","oss-aion-one-field-apart.dbf68713b1":"ista linija, sa stupnjem","oss-aion-one-field-apart.8c6c701170":"slučaj koji ne prolazi","oss-aion-one-field-apart.0f9dcd24f1":"ishod nije ovisio o ovom polju","oss-aion-one-field-apart.154b3f8e44":"skupina B, 3 ponude","oss-aion-one-field-apart.4392f1d89c":"jedna linija, bez stupnja","oss-aion-one-field-apart.02de2da27e":"slučaj koji vrijedi","oss-aion-one-field-apart.b7de103af7":"bruto plaća, slobodna s obje strane","oss-aion-one-field-apart.c86b5b3346":"izjednačeno s obje strane","oss-aion-one-field-apart.54bb687f85":"ilustrativne prijave","oss-aion-one-field-apart.b69108366c":"ishod se mijenja na paru","oss-aion-one-field-apart.e79b0df746":"Jedno polje razlike","oss-aion-one-field-apart.e1fef06921":"ponude","oss-aion-one-field-apart.8699f2b04f":"trajno","oss-aion-one-field-apart.06e3125012":"zaposlenje","oss-aion-one-field-apart.305fa62f02":"30 do 39","oss-aion-one-field-apart.c6a0c81b25":"dobna skupina","oss-aion-one-field-apart.61a7508ed1":"osnovno","oss-aion-one-field-apart.38a007151a":"proizvod","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"regija","oss-aion-one-word.95fa084cc9":"jedan od njih AION provjerava","oss-aion-one-word.ce157273ec":"tri od ovih u koje vjeruješ","oss-aion-one-word.a04376ab99":"i što s njime možeš učiniti","oss-aion-one-word.1a5b0d2471":"PROCIJEP","oss-aion-one-word.69dc71b6f9":"S čime stiže rezultat","oss-aion-one-word.8d40d2bfcc":"Tipizirane tvrdnje, svaka imenuje pravilo, prijelaz ili premisu.","oss-aion-one-word.2f8acfe792":"Potvrda","oss-aion-one-word.b04dce1dd0":"Koliko je trebalo da se bude siguran. Izvjesnost nije pitanje.","oss-aion-one-word.7eb987f893":"Trajanje","oss-aion-one-word.8388e9c8ba":"Što je sustav učinio. Ne zašto slijedi zaključak.","oss-aion-one-word.40d0f0d4b5":"Zapisnik","oss-aion-one-word.e7597ba59a":"nezadovoljivo, prevedeno, sigurno, odobreno. Nema u njemu ničega s čime se ne slažeš.","oss-aion-one-word.ae976ad8e9":"Jedna riječ","oss-aion-org-cert.dd25bad09c":"i svaki je provjeren","oss-aion-org-cert.e8add8f2b8":"organizacija, uloge, zadaci i odobrenja popunjavaju praznine","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"od cilja do potvrde","oss-aion-org-cert.0a629276bf":"Osam stavki u lancu","oss-aion-org-cert.51e6694762":"Što je zapravo učinjeno izvana i što se vratilo.","oss-aion-org-cert.4f0a23ec14":"Radnje i potvrde","oss-aion-org-cert.b249df120c":"Svaka granica koju je rad prešao i što ju je pročistilo.","oss-aion-org-cert.5eaad4eb5f":"Pročišćene granice","oss-aion-org-cert.aba30ac5b8":"Koja je uloga držala što, u trenutku kada je radnja pokušana.","oss-aion-org-cert.145ae750ce":"Razriješeni autoritet","oss-aion-org-cert.f8a4dc9c6b":"Što se pokušavalo, pod kojom verzijom pravila.","oss-aion-org-cert.63fbd2b7ee":"Cilj i pravila","oss-aion-pipeline.b07bbe8800":"Propozicijska jezgra","oss-aion-pipeline.81f811c968":"Pretraživanje vođeno sukobima i učenjem klauzula nad Booleovim kosturom. Odlučuje, propagira, nailazi na sukob, uči klauzulu i vraća se unatrag. Binarne, cjelobrojne i adaptivne vrijednosti fiksne točke temelj su postupka odlučivanja; nijedna vrijednost s pomičnim zarezom nije pohranjena, akumulirana niti korištena kao rezerva u aritmetičkoj jezgri.","oss-aion-pipeline.dc0dd5bc07":"odluke i naučene klauzule","oss-aion-pipeline.0c5ad3c30f":"Teorijski dodaci","oss-aion-pipeline.f3a7990ab0":"Jezgra predaje djelomičnu dodjelu teorijskom sloju. Aritmetika, bitvektori, polja i nizovi rasuđuju u vlastitim domenama te vraćaju propagacije i sukobe. Vanjski ulaz s pomičnim zarezom dekodira se na granici u binarna polja ili deklariranu ljestvicu fiksne točke prije nego što se pridruži provjeri. Jezgra je domaćin tim rezonerima; vremenske i programske teorije žive u pratećim crateovima.","oss-aion-pipeline.9d1b00d225":"teorijske leme i sukobi","oss-aion-pipeline.fa6a461dcc":"Emiter dokaza","oss-aion-pipeline.b3ca95c05c":"Svaki korak koji stroj poduzme, svaka rezolucija i svaka teorijska lema, bilježi se u emiteru dokaza u trenutku nastanka. Rezultat je uređena derivacija koju zasebni provjeravač može reproducirati na temelju njezinih premisa.","oss-aion-pipeline.17ac98f8af":"uređena derivacija","oss-aion-pipeline.26d98dc390":"Izvoz formata","oss-aion-pipeline.a79251f54d":"Derivacija se zapisuje kao LRAT, DRAT ili Alethe ili se čuva u jedinstvenom međuobliku. LRAT nosi natuknice o jediničnoj propagaciji, što čini izvanmrežnu provjeru linearnom u duljini dokaza.","oss-aion-pipeline.8c3cee1cd3":"prijenosni certifikat","oss-aion-pipeline.77ec79ed26":"odluka do certifikata","oss-aion-pipeline.c320454a47":"CDCL + teorija + emiter","oss-aion-pipeline.a618b4be8d":"Upit","oss-aion-pipeline.10de46b3b3":"Certifikat","oss-aion-pipeline.62923220ae":"Cjelobrojno / fiksna točka.","oss-aion-pipeline.4961117925":"Nema vrijednosti s pomičnim zarezom unutar jezgre.","oss-aion-pipeline.591118af56":"Lanac rezolucija.","oss-aion-pipeline.39dfacd414":"Svaki korak navodi premise o kojima ovisi, redom.","oss-aion-pipeline.7fc7b98317":"Provjeravač neovisan.","oss-aion-pipeline.f0bef425b5":"Certifikat se reproducira bez rješavača.","oss-aion-pipeline.a73bc5ed23":"Arhitektura, CDCL jezgra, teorijski dodaci, emiter dokaza","oss-aion-plain-card.7e190a46ae":"Stroj daje odgovor","oss-aion-plain-card.b8941c136d":"Računalo vam nešto izračuna. Sami morate prihvatiti njegovu riječ.","oss-aion-plain-card.1232ecf314":"Također ispisuje račun","oss-aion-plain-card.af7230bfb9":"AION čini da stroj ispiše mali račun pored odgovora. Račun prikazuje svaki korak koji je poduzeo da dođe do odgovora.","oss-aion-plain-card.262d1681dd":"Svatko može provjeriti račun","oss-aion-plain-card.7d35d2e097":"Vaš vlastiti pomoćnik čita račun i kaže da, ovo se slaže, ili ne, ovo je pogrešno. Ne mora uopće vjerovati prvom stroju.","oss-aion-plain-card.e8146bafb5":"AION, jednostavnim riječima","oss-aion-plain-card.0b081a8ef4":"Račun uključen","oss-aion-plain-card.a32564404b":"Zamislite račun o plaćanju. Kad nešto kupite, dobijete papirnati račun koji dokazuje da vas je trgovina naplatila ispravan iznos. Taj račun možete pokazati bilo kome i oni ga mogu sami zbrojiti.","oss-aion-plain-card.d5d9b99b9c":"AION čini isto za računalo.","oss-aion-plain-card.2cc68d964c":"Kad stroj daje odgovor, AION vam pruža račun koji pokazuje da je odgovor točan i svatko ga može provjeriti.","oss-aion-plain-card.374c644917":"Nikada ne morate samo vjerovati stroju. Račun to dokazuje.","oss-aion-plain-refusal.7d7fc8edd4":"isto objašnjenje vrijedi za tebe i za svakoga tko ga pregledava, jer je to jedno\n            objašnjenje","oss-aion-plain-refusal.40c2416b25":"slučaj koji možeš pročitati, a ne križ koji ne možeš","oss-aion-plain-refusal.f795b42ea6":"Prostor na ovoj kartici vraća se na puni iznos 1. kolovoza, za dva dana.","oss-aion-plain-refusal.3ae2a82129":"kada se to dogodi","oss-aion-plain-refusal.a6012020ae":"Ili 150 eura više prostora na kartici, ili plaćanje od 90 eura ili manje.","oss-aion-plain-refusal.74b2c9301b":"što bi to promijenilo","oss-aion-plain-refusal.e88b1876e6":"90 eura ne pokriva 240 eura, pa plaćanje i preostali prostor ne mogu oboje stajati.","oss-aion-plain-refusal.d649363397":"koji dio to kvari","oss-aion-plain-refusal.ec7a8f0a8d":"Plaćanje je bilo 240 eura. Preostali prostor na kartici danas bio je 90 eura.","oss-aion-plain-refusal.fcd45ae097":"tvoja situacija","oss-aion-plain-refusal.e51b51ac5a":"Plaćanje prolazi samo ako preostali prostor na kartici danas pokriva taj iznos.","oss-aion-plain-refusal.93823841cb":"što pravilo kaže","oss-aion-plain-refusal.9bc7984374":"Zašto nije prošlo","oss-aion-plain-refusal.549840f998":"Kada je pravilo prekršeno, AION ispisuje situaciju koja ga je prekršila, običnim\n            rečenicama s brojevima u njima. Plaćanje je bilo toliko, preostali prostor na kartici\n            danas bio je manji od toga, i zajedno te dvije činjenice krše pravilo. Možeš ga\n            pročitati, precizno se ne složiti s njim ili promijeniti jedinu stvar koju treba\n            promijeniti. Križ u okviru ne daje ti ništa od toga, i nije kraći, samo prazniji.","oss-aion-plain-refusal.3b50831d8a":"Automatizirana odluka koja te odbija gora je od one koju je donijela osoba, jer\n            obično nema što pitati. Odbijanje stiže gotovo. Ono što dobiješ jest ishod i,\n            ako imaš sreće, referentni broj, a put do stvarnog objašnjenja jest pritužba\n            koja traje tjednima i stiže do nekoga tko također nije bio uključen.","oss-aion-plain-refusal.ada63e5c2f":"Razrađeni slučaj jest.","oss-aion-plain-refusal.462f7e9213":"\"Nije dopušteno\" nije razlog.","oss-aion-plain-refusal.5abdfa9cd6":"Razlika","oss-aion-plain-refusal.68c46e84d7":"obično","oss-aion-reasoning-cert.0f1fb3d007":"i svaka je stavka provjerena","oss-aion-reasoning-cert.98ec75a261":"granice i konačna tvrdnja upotpunjuju sedam","oss-aion-reasoning-cert.433b925481":"Što je isključeno i premise koje su to isključile.","oss-aion-reasoning-cert.13382efd7c":"Kontradikcije","oss-aion-reasoning-cert.e856a27527":"Podproblem koji je izašao i dokaz koji se vratio.","oss-aion-reasoning-cert.92324f5363":"Solverovi certifikati","oss-aion-reasoning-cert.fe451714e4":"Svaki imenovan, redoslijedom kojim je primijenjen.","oss-aion-reasoning-cert.e0d40a5309":"Primjene pravila","oss-aion-reasoning-cert.e0753c6513":"Što je bilo na snazi, u kojoj verziji, kada je rad izvršen.","oss-aion-reasoning-cert.b9366c0dbf":"Aktivna ograničenja","oss-aion-reasoning-cert.a04ed61a81":"solver","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"sedam stavki","oss-aion-reasoning-cert.eb64d71581":"Što nosi certifikat zaključivanja","oss-aion-reasoning-chain.126806353c":"deklarirano, zatim provjereno","oss-aion-reasoning-chain.751e90e830":"Svaki od njih artefakt je koji je razmišljanje ostavilo za sobom, i svaki se čita.","oss-aion-reasoning-chain.bc96941170":"Četiri ograničenja, dvije primjene pravila, jedan prolaz rješavača i jedna kontradikcija.","oss-aion-reasoning-chain.57fa7b904f":"Ovdje se provjerava izvođenje koje je sustav deklarirao, stavku po stavku.","oss-aion-reasoning-chain.e0aa3695ac":"jezgra 01 02 04, a 03 nije u njoj","oss-aion-reasoning-chain.e3338dab26":"dvostruko naplaćivanje isključeno","oss-aion-reasoning-chain.a43e177c4c":"povrat 04 poništava","oss-aion-reasoning-chain.becc703d80":"spojena naplata","oss-aion-reasoning-chain.398df239b3":"iz 01 i 02","oss-aion-reasoning-chain.373c5eb4cc":"čita se korak po korak, zatvara se","oss-aion-reasoning-chain.45f358826b":"vratio prover, u Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvector i jednakost, ništa drugo ne prelazi","oss-aion-reasoning-chain.34fcd5c8c7":"podproblem, zapečaćen","oss-aion-reasoning-chain.8c7f764922":"o broju ponavljanja, iz 02 i 03","oss-aion-reasoning-chain.7c960fefa4":"tri podignuta u jezgru, jedan ostavljen gdje je bio","oss-aion-reasoning-chain.eeacd6e80f":"aktivna ograničenja, riječima koje je odgovorna osoba napisala","oss-aion-reasoning-chain.0ee0bb12eb":"Ova konfiguracija ne može proizvesti dvostruko naplaćivanje unutar jednog obračunskog razdoblja.","oss-aion-reasoning-chain.c0644670d0":"tvrdnja koju Loom iznosi","oss-aion-reasoning-chain.9616861141":"ilustrativna tvrdnja i verzije","oss-aion-reasoning-chain.e4f7c8c782":"jezgra imenuje tri, čisti jednu","oss-aion-reasoning-chain.43c7dffedb":"Jedan zaključak, otvoren","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"iz 8 i 9","oss-aion-reasoning-chain.3d26486c4c":"iz 8","oss-aion-reasoning-chain.5a6d9bdd37":"iz 3 i 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Povrat poništava naplatu koju imenuje.","oss-aion-reasoning-chain.4c449f834c":"Obračunsko razdoblje zatvara se u ponoć posljednjeg dana.","oss-aion-reasoning-chain.a663638447":"Ponavljanje nikada ne podiže drugu naplatu.","oss-aion-reasoning-chain.0d43228516":"Naplata se podiže jednom po završenoj isporuci.","oss-aion-reassure.38a3bd59d5":"Poanta je jednostavna: nikad ne vjeruj stroju na riječ. Zadrži razlog koji drugi provjeravač može testirati.","oss-aion-reassure.0ccc7397a4":"Ne. Potvrda se može provjeriti odmah na mjestu gdje jesi, bez slanja bilo čega putem interneta.","oss-aion-reassure.5bea629f3e":"Šalje li se moj odgovor negdje drugdje?","oss-aion-reassure.af397dc934":"Izrađen je u Europi. Zaseban provjeravač, ne stroj koji je proizveo odgovor, provjerava svaku potvrdu.","oss-aion-reassure.7de6360d68":"Odakle dolazi?","oss-aion-reassure.a93d9edbec":"Ne. Ništa od ovoga ne moraš sam graditi. Trgovina, bolnica ili ured to koristi umjesto tebe. Ti samo dobiješ jasniji odgovor.","oss-aion-reassure.39af3a44b7":"Moram li biti vješt s računalima?","oss-aion-reassure.bdbcd6057e":"Da. Potvrda se može ponovno provjeriti bez originalnog modela, sesije, računa ili internetske veze.","oss-aion-reassure.aa1b0d7005":"Može li se provjeriti kasnije?","oss-aion-receipt.36889df54f":"To nikada ne radite sami. Kada vam to napravi trgovina ili ured, ovo je potvrda\n          koju vam mogu predati.","oss-aion-receipt.46fbbfb5be":"Svatko je može pročitati i provjeriti da se sve slaže.","oss-aion-receipt.9c258dd430":"i morate mu vjerovati. S AION-om vam\n          stroj također predaje mali listić s lijeve strane. Na njemu su pitanje, koraci i\n          odgovor.","oss-aion-receipt.013700f8eb":"Običan stroj samo kaže","oss-aion-receipt.12df5bb228":"Vaše za čuvanje","oss-aion-receipt.7b8544fad0":"Slaže se","oss-aion-receipt.def2581739":"Potvrda odgovora","oss-aion-receipt.6e17da21e4":"Primjer potvrde odgovora","oss-aion-receipt.f2688d32ea":"Pitajte ponovno i dobit ćete isti odgovor i isti listić, na bilo kojem računalu.","oss-aion-receipt.2379231efe":"Isto svaki put","oss-aion-receipt.a4b884c0e4":"Vaš vlastiti pomoćnik provjerava listić odmah kod vas, bez slanja bilo čega.","oss-aion-receipt.930888ee28":"Bez interneta","oss-aion-receipt.7a019cc1d2":"Razlog je na listiću, ne skriven u stroju. Možete ga zadržati ili pokazati.","oss-aion-receipt.47b716baec":"U pisanom obliku","oss-aion-receipt.92ed516e5b":"Da, i evo zašto.","oss-aion-receipt.7011b1a621":"Odgovor","oss-aion-receipt.8ab9465666":"Vaš slučaj je usklađen s njim.","oss-aion-receipt.16bb8dfc44":"Drugi korak","oss-aion-receipt.d3ca88b9f3":"Pravilo je pročitano u cijelosti.","oss-aion-receipt.e97cc54395":"Prvi korak","oss-aion-receipt.afd2793ce0":"Imam li pravo na ovaj povrat?","oss-aion-receipt.d79cce547d":"Pitanje","oss-aion-recheck-list.09d5defeae":"dva retka, dva imena","oss-aion-recheck-list.fd3e1afd0e":"ili, mnogo češće, ničega.","oss-aion-recheck-list.459f160ffa":"Bez verzije iza svakog retka, ista obavijest dovodi do ponovnog pregleda\n          svega,","oss-aion-recheck-list.cade8a80df":"popisa i onoga tko ga drži","oss-aion-recheck-list.6f13975269":"još uvijek kompatibilno","oss-aion-recheck-list.48f8969999":"potrebno ponovno čitanje","oss-aion-recheck-list.af0f44d357":", promijenjeno u","oss-aion-recheck-list.4202e0844e":"Pravilo granice optimalnosti tumači se strože. Granica navedena točno na ograničenju\n              više se ne prihvaća kao da je ispod njega.","oss-aion-recheck-list.1c26bb5963":"objavljeno 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Checker v7.0","oss-aion-recheck-list.9ffcf8f72b":"ilustrativni unosi","oss-aion-recheck-list.dc490c03ae":"dva od pet označena","oss-aion-recheck-list.7316018edf":"Pogođeni zapisi","oss-aion-recheck-list.2237af7cd3":"pravilo granice optimalnosti","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Optimum rute, skladište sjever","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Izrada firmvera, pristupnik 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Procjena privole, kampanja 44","oss-aion-recheck-list.3c54a1df45":"u kući","oss-aion-recheck-list.b8d251e8cd":"Serijsko izračunavanje cijena","oss-aion-recheck-list.dce56394a1":"Plan rasporeda, tjedan 12","oss-aion-recheck-list.48a3661d84":"status","oss-aion-recheck-list.29e5b9a8e6":"provjeritelj","oss-aion-recheck-list.51c817ab85":"prihvaćeno","oss-aion-recheck-list.e2979e7595":"dobavljač","oss-aion-recheck-list.335ce16b3f":"predmet","oss-aion-recheck-list.796a88413e":"J. Okonkwo, operacije","oss-aion-recheck-list.90916dd844":"Ponovno provjerite, zatim potvrdite navedenu granicu s dobavljačem.","oss-aion-recheck-list.00e67572db":"M. de Vries, zaštita podataka","oss-aion-recheck-list.e4faeae968":"Ponovno provjerite pohranjeni certifikat prema v7.0.","oss-aion-record-fields.8580937ae7":"svaki proizvodi vlastiti zahvaćeni skup","oss-aion-record-fields.632f62dd8b":"shema certifikata upotpunjuje sedmicu","oss-aion-record-fields.7039b2f0bd":"gdje je sada","oss-aion-record-fields.74b489c3d1":"gdje je bio","oss-aion-record-fields.5d5dc3b7c3":"TRAJNO","oss-aion-record-fields.c2a1a83804":"i nisu samo pravila dokazivanja","oss-aion-record-fields.12b83ffb63":"Što se može promijeniti u pozadini","oss-aion-record-fields.91b3cb991a":"novija verzija modela","oss-aion-record-fields.e1ab670f61":"Ugovor o modelu ili simulaciji","oss-aion-record-fields.da15b4cbb5":"sama tvrdnja se pomaknula","oss-aion-record-fields.26e4976c38":"Ugovor o prevoditelju ili izvođenju","oss-aion-record-fields.cb2c2e30b7":"odobreno pod drugim","oss-aion-record-fields.43e275dea3":"Pravilnik","oss-aion-record-fields.521a7a8570":"sada se čita drugačije","oss-aion-record-fields.58fd9f572c":"Pravilo provjere","oss-aion-refusal-fields.432aa8565f":"referenca koju netko može pratiti","oss-aion-refusal-fields.36a85f9074":"nije crveni križ","oss-aion-refusal-fields.fe71871083":"OBAVIJEST","oss-aion-refusal-fields.4f84be92c8":"da netko može djelovati na temelju toga","oss-aion-refusal-fields.fa31a3ca39":"Što sadrži odbijanje","oss-aion-refusal-fields.5647a1c020":"odlučite čiji je nalaz","oss-aion-refusal-fields.11c0add347":"Greška u dokazu ili pravilo koje ne primjenjujemo. Nije isto.","oss-aion-refusal-fields.a74aa40f65":"Vrsta","oss-aion-refusal-fields.d3144a7994":"vidjeti ono što nije bilo tamo","oss-aion-refusal-fields.060958d8fd":"Što je nedostajalo ili je bilo pogrešno kada je ponovno provjereno.","oss-aion-refusal-fields.a7dc07c061":"Razlog","oss-aion-refusal-fields.3b21710b2e":"provjeriti što je trebalo učiniti","oss-aion-refusal-fields.f80b017fdb":"Što je korak tvrdio da radi.","oss-aion-refusal-fields.0056e788fc":"Pravilo","oss-aion-refusal-fields.89abf35df5":"otvorite ga na tom retku","oss-aion-refusal-fields.3dac51b71a":"Koji korak, po broju, u kojoj datoteci.","oss-aion-refusal-fields.2fb8438f32":"Lokacija","oss-aion-reviewable.e0cb1b89aa":"ne samo autor","oss-aion-reviewable.f29c4ff9dd":"vlasnik ga pregledava","oss-aion-reviewable.c6465865b0":"vaša rečenica","oss-aion-reviewable.ed6912ad70":"PREGLED","oss-aion-reviewable.5867cc6bd5":"bez učenja notacije","oss-aion-reviewable.8f8dec6da0":"Što recenzent vidi","oss-aion-reviewable.da8643122f":"Ime, datum i verzija potvrđene rečenice.","oss-aion-reviewable.7c92afb7f9":"Potpisana potvrda","oss-aion-reviewable.340e6b4675":"Ponovljeni pregled čita isto, jer ništa nije uzorkovalo model.","oss-aion-reviewable.b08be2b959":"Isto svaki put","oss-aion-reviewable.d3a2628a1c":"Svaka količina imenovana, s vrstom vrijednosti koju sadrži.","oss-aion-reviewable.2587914ff8":"Na čemu radi","oss-aion-reviewable.f0a2aa51a4":"Jedna rečenica koja govori što cijeli uvjet kodira.","oss-aion-reviewable.5a47a1dcaf":"Obično čitanje","oss-aion-reviewable.aee2d461c7":"Nepromijenjeno, na vrhu, kako su ga napisali.","oss-aion-reviewable.7488358db7":"Njihova vlastita rečenica","oss-aion-risk-ledger.1a0f2538e1":"Pet operativnih izlaganja zamijenjeno je jednim certifikatom koji drugi provjeritelj može provjeriti.","oss-aion-risk-ledger.4b32d8f574":"Uz AION","oss-aion-risk-ledger.2e34d48ba3":"Uobičajeni način","oss-aion-risk-ledger.d1d7499182":"USPOREDBA","oss-aion-risk-ledger.02c7234156":"Ponovno pokrenite zaključivanje izvan mreže i provjerite ga sami.","oss-aion-risk-ledger.b5058e1c76":"Vjerujte dobavljaču na riječ da je odgovor bio ispravan.","oss-aion-risk-ledger.d2e183faa1":"Koliko mu vjerovati","oss-aion-risk-ledger.96f0603563":"Certifikat se provjerava bez ijednog od njih.","oss-aion-risk-ledger.04312971f3":"Izvorni model, sesija rješavača i usluga moraju i dalje biti dostupni.","oss-aion-risk-ledger.2df1215b19":"O čemu ovisi provjera","oss-aion-risk-ledger.8ddd34c358":"Radi na vašem vlastitom hardveru, unutar jurisdikcije koju odobrite.","oss-aion-risk-ledger.c3fe4a906f":"Odluke se objašnjavaju na poslužiteljima kojima ne upravljate.","oss-aion-risk-ledger.242ebe0c39":"Gdje se podaci nalaze","oss-aion-risk-ledger.75eb05728b":"Standardni formati dokaza ostaju neovisno provjerljivi.","oss-aion-risk-ledger.46d3f9eccd":"Objašnjenje nestaje s izvornom uslugom.","oss-aion-risk-ledger.8ea6189e84":"Kada se izvođenje promijeni","oss-aion-risk-ledger.21ff58d6a7":"Predajete certifikat koji revizor može sam provjeriti.","oss-aion-risk-ledger.934929b924":"Prosljeđujete datoteke dnevnika i nadate se da će se čitati kao dokaz.","oss-aion-risk-ledger.8632e0b3b5":"Kada revizor pita","oss-aion-rule-refusal.c354dff2de":"nema presude nakon 15","oss-aion-rule-refusal.0fc2b67ff7":"na prvom korak ne uspije","oss-aion-rule-refusal.d7cb461a4b":"Četiri testa u fiksnom redoslijedu, i čitanje se zaustavlja","oss-aion-rule-refusal.ad9deadf27":"jedan identifikator klauzule korišten za dvije klauzule","oss-aion-rule-refusal.ffc05ba511":"pivot deklariran na literalu koji klauzula ne sadrži","oss-aion-rule-refusal.5af32fb7c4":"nagovještaj koji citira korak koji treba opravdati","oss-aion-rule-refusal.fbf5522f0e":"prikvačeno iz neprijateljskog skupa","oss-aion-rule-refusal.d3b27b8f89":"nije zatvoreno","oss-aion-rule-refusal.0f04e9ee60":"literali još uvijek stoje na posljednjoj klauzuli","oss-aion-rule-refusal.90f9cbf1cb":"kraj datoteke","oss-aion-rule-refusal.196a925493":"indeks premise, 1 do 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, pravilo po pravilo","oss-aion-rule-refusal.b14e7fc954":"zaustavljeno na 15","oss-aion-rule-refusal.ce0ed8058b":"Jedan dokaz, čitan odozgo","oss-aion-rule-refusal.af0cbd46a2":"citirano izvan reda","oss-aion-rule-refusal.165a394589":"iz 61 i 20","oss-aion-rule-refusal.dd39474e4f":"premisa odsutna","oss-aion-rule-refusal.6edfd31763":"iz 88","oss-aion-rule-refusal.d18b697772":"citira sam sebe","oss-aion-rule-refusal.5c7bf112ac":"iz 31 i 18","oss-aion-rule-refusal.64b0295aa0":"nepodržano pravilo","oss-aion-rule-refusal.5e2428fc82":"iz 14","oss-aion-rule-refusal.a7e8697338":"iz 12 i 13","oss-aion-rule-refusal.ba08b53848":"iz 4","oss-aion-rule-refusal.2a1be725ca":"12 rezolucija","oss-aion-rule-refusal.54a0121f57":"iz 4 i 9","oss-aion-rule-refusal.8ffe1b4177":"pravilo poznato","oss-aion-rule-refusal.ebed34abd2":"ispod svoje","oss-aion-rule-refusal.d182b65e15":"premisa prisutna","oss-aion-rule-refusal.a503bc1da2":"odbijeno","oss-aion-rule-refusal.3a21295d81":"pohrana","oss-aion-same-except-one.279e6c9e96":"jedan je obrađen u nastavku","oss-aion-same-except-one.87ca0e7356":"granice, izvođenja i podrijetlo modela upotpunjuju sedam","oss-aion-same-except-one.72b459f8cc":"SVOJSTVA","oss-aion-same-except-one.25119f6e70":"i obitelj koja nosi svako","oss-aion-same-except-one.ed6552be04":"Izjave koje možete dati","oss-aion-same-except-one.633255fe41":"Ova putanja poštovala je ove invarijante.","oss-aion-same-except-one.6b403d2a35":"Ova radnja imala je potrebno odobrenje.","oss-aion-same-except-one.ac5d8ada02":"Ovo radno opterećenje izvodilo se pod ovim mogućnostima.","oss-aion-same-except-one.5e8efc64f2":"Ovaj binarni zapis odgovara ovom izvornom grafu.","oss-aion-same-except-one.81c0e8e986":"simulacija","oss-aion-same-except-one.92fe1455a7":"organizacijski","oss-aion-same-except-one.1e21474598":"izvršavanje","oss-aion-same-except-one.023646ce84":"kompilacija","oss-aion-same-rule-parts.3326352b94":"ove tri nadžive to","oss-aion-same-rule-parts.b33174d833":"odgovor je jedan redak","oss-aion-same-rule-parts.490fbefa4b":"predaj isti rad dvaput i provjera ispadne ista","oss-aion-same-rule-parts.ce173fc797":"Zadržano radi druge provjere.","oss-aion-same-rule-parts.60c6fa6f09":"odgovor","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"nakon što odgovor stigne","oss-aion-same-rule-parts.3fea5c7183":"Tri stvari koje zadržavaš","oss-aion-same-rule-parts.f460809c86":"Kada je rad provjeren i što ga je provjerilo.","oss-aion-same-rule-parts.1f26226511":"zapis","oss-aion-same-rule-parts.f3488c72aa":"Datum","oss-aion-same-rule-parts.7e9a6ac9d7":"Pravilo citirano unatrag, s tvojom situacijom unutar njega.","oss-aion-same-rule-parts.fa1f96a2cc":"tiskano uz odgovor","oss-aion-same-rule-parts.a7dc07c061":"Razlog","oss-aion-same-rule-parts.51240e4e03":"Obične riječi, zadržane, da ih možeš pročitati bilo kome.","oss-aion-same-rule-parts.f901c543a0":"kako ih je netko napisao","oss-aion-same-rule-parts.0056e788fc":"Pravilo","oss-aion-same-rule-thrice.8716c9d2d1":"koje svi troje mogu citirati","oss-aion-same-rule-thrice.56daaad027":"Nitko nije tumačio tuđi slučaj na licu mjesta.","oss-aion-same-rule-thrice.fe8d9a24bc":"Tri imena, tri datuma, jedan razlog od riječi do riječi.","oss-aion-same-rule-thrice.2d4e5d243a":"iste riječi u sva tri pisma","oss-aion-same-rule-thrice.36c5f05f0e":"Moj zahtjev je zadržan jer se svaki zahtjev s računa koji je ikada bio u minusu\n              zadržava radi druge provjere. Jeste li to htjeli postići?","oss-aion-same-rule-thrice.47b69ccfd4":"što bilo koji od troje može napisati","oss-aion-same-rule-thrice.5441126254":"razlog, s vašim brojkama","oss-aion-same-rule-thrice.e026ce35f8":"pravilo, riječima","oss-aion-same-rule-thrice.c6b6fdf0c8":"Vaš zahtjev je zadržan","oss-aion-same-rule-thrice.4af8028f5b":"To pogađa sve koji su jednom bili kratko u minusu tjedan dana.","oss-aion-same-rule-thrice.43d7f6edd9":"Svaki zahtjev s računa koji je ikada bio u minusu zadržava se radi druge provjere.","oss-aion-same-rule-thrice.d5dff79fd0":"pravilo, kako ga je napisala odgovorna osoba","oss-aion-same-rule-thrice.660cf69152":"isti razlog, tri puta","oss-aion-same-rule-thrice.2aa5baf4fa":"jedno pravilo, troje ljudi","oss-aion-same-rule-thrice.2969c22def":"u minusu jedan dan u kolovozu 2024.","oss-aion-same-rule-thrice.db55a373e5":"2. srpnja","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"u minusu dva dana u studenom 2021.","oss-aion-same-rule-thrice.8a343dea89":"19. lipnja","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"u minusu šest dana u ožujku 2023.","oss-aion-same-rule-thrice.e46936527e":"4. lipnja","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Vaš je račun u nekom trenutku bio u minusu, pa se ovaj zahtjev zadržava radi druge provjere.","oss-aion-same-rule-thrice.69449f994d":"ref","oss-aion-same-rule-thrice.910e029098":"ilustrativno","oss-aion-second-reader.e2a4a212d5":"pokazivanje na redak je koristan dio","oss-aion-second-reader.b31aece7ea":"suglasnost je laka","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"što čini drugo čitanje","oss-aion-second-reader.d160172930":"Ponovno zbrajanje","oss-aion-second-reader.0bd3d42b28":"Drugi program, bez razloga za preferiranje odgovora.","oss-aion-second-reader.2c814bb70c":"Nije prvi stroj","oss-aion-second-reader.b792afd627":"I kaže koji korak, pa postoji nešto na što se može pokazati.","oss-aion-second-reader.4a195096b0":"Zaustavlja se na prvoj pogrešci","oss-aion-second-reader.58f56fa2c3":"Ponovno izračuna umjesto da vjeruje da je učinjeno.","oss-aion-second-reader.5abf0b9df4":"Radi svaki korak","oss-aion-second-reader.de8f44bd3b":"Ne odgovor. Koraci koji su trebali dovesti do njega.","oss-aion-second-reader.0a461499ae":"Čita postupak","oss-aion-second-sum.2517e33359":"lokacija, a ne presuda","oss-aion-second-sum.1f31706279":"Ono što ti je trebalo bila je linija, i evo je.","oss-aion-second-sum.1b06fb1625":"Oba stupca dosežu zbroj, i jedan od njih je pogrešan.","oss-aion-second-sum.715f45331b":"Čitanje se zaustavlja na pet umjesto da nastavi na šest, jer provjera koja preskače\n          korak koji ne može izaći na kraj nije provjera.","oss-aion-second-sum.be51277bfd":"nije dosegnuto","oss-aion-second-sum.a90d766915":"ovaj korak ne izlazi na kraj","oss-aion-second-sum.b214ae4ce2":"isti potez, na radu stroj zapisao","oss-aion-second-sum.e4cddfd229":"Svatko može sam zbrojiti stupac i doći do iste linije. To je\n              cijela ideja, prenesena na rad koji nitko ne može vidjeti.","oss-aion-second-sum.a72b4463ba":"Dva se stupca slažu u tri linije. Prsten ide oko linije gdje se\n              razdvajaju, ne oko zbroja, jer zbroj nikada nije bio korisna stvar oko koje se\n              raspravljalo.","oss-aion-second-sum.136fc39d05":"Deset centi, i to je kod jabuka.","oss-aion-second-sum.1104f28cf8":"platiti","oss-aion-second-sum.51111a2b99":"dućan, utorak","oss-aion-second-sum.e9594ccf76":"razdvajaju se kod jabuka","oss-aion-second-sum.bb470fd83f":"isti stupac, zbrojen dvaput","oss-aion-second-sum.0220a293b9":"zahtjev je plaćen","oss-aion-second-sum.f7e5a74a1f":"ono što je ostalo za platiti zbraja se","oss-aion-second-sum.597b954c29":"višak je skinut","oss-aion-second-sum.edccd745a8":"iznos je ispod ograničenja za taj popravak","oss-aion-second-sum.709d0bb348":"popravak je na popisu pokrivenih","oss-aion-second-sum.1396b1459a":"račun je bio otvoren na dan zahtjeva","oss-aion-second-sum.d2fc512490":"olovka","oss-aion-second-sum.1c8f15dab7":"tiskano","oss-aion-second-sum.910e029098":"ilustrativno","oss-aion-second-sum.f6c1ab8181":"sapun","oss-aion-second-sum.bcef7a0462":"sir","oss-aion-second-sum.76c2436b59":"jabuke","oss-aion-second-sum.44213f9f4d":"kava","oss-aion-second-sum.6ff291d817":"kruh","oss-aion-second-sum.cf5dbf0ec5":"mlijeko","oss-aion-sentence-returns.e9a72f31df":"vaše riječi, na oba kraja","oss-aion-sentence-returns.254545287c":"Osam mjeseci kasnije stranac to čita, ne sažetak toga.","oss-aion-sentence-returns.f0e71316de":"Jedna je osoba napisala rečenicu i odložila je.","oss-aion-sentence-returns.4c51f16cb4":"Ništa između ta dva čitanja nije ništa naučilo, nije promijenilo mišljenje niti je imalo\n            bolju ideju.","oss-aion-sentence-returns.06152533dc":"druga naplata za jednu narudžbu unutar obračunskog mjeseca nije dopuštena","oss-aion-sentence-returns.fb3e6817f1":"iz čitanja godinu dana kasnije","oss-aion-sentence-returns.32af205ca5":"iz čitanja u ožujku","oss-aion-sentence-returns.0b1eb314b5":"ista rečenica, ponovno pročitana nakon godinu dana","oss-aion-sentence-returns.547a49e160":"narudžba 44-8127 naplaćena je trećeg studenoga i ponovno devetnaestoga","oss-aion-sentence-returns.d3141af6d8":"što je u nju udarilo","oss-aion-sentence-returns.a2d40412ef":"druga naplata za jednu narudžbu unutar obračunskog mjeseca","oss-aion-sentence-returns.0ee2593cc5":"dio koji nije ispunjen","oss-aion-sentence-returns.43015fadc4":"Nitko ne bi trebao biti naplaćen dvaput za istu narudžbu u istom mjesecu.","oss-aion-sentence-returns.2ce9eb0823":"pravilo, riječima u kojima je napisano","oss-aion-sentence-returns.5c4173fbcf":"9. studenoga, poslano kupcu","oss-aion-sentence-returns.96ec36f99b":"Naplata je zaustavljena","oss-aion-sentence-returns.14da1cff14":"osam mjeseci","oss-aion-sentence-returns.b59f623fe2":"čitano kao","oss-aion-sentence-returns.6a250da793":"14. ožujka, od strane osobe koja je zadužena za naplatu","oss-aion-sentence-returns.8766d15f20":"iste riječi na oba kraja","oss-aion-sentence-returns.33e656aa3a":"jedna rečenica, osam mjeseci razmaka","oss-aion-sentence-returns.6180960e2c":"napisano","oss-aion-sentence-returns.910e029098":"ilustrativno","oss-aion-side-by-side-rule.1462946510":"obrnuta hijerarhija","oss-aion-side-by-side-rule.dc685ee970":"je onaj koji je najmanji, na dnu.","oss-aion-side-by-side-rule.37ba9a07a7":"Jedini redak ovdje koji nitko ne mora moći pročitati","oss-aion-side-by-side-rule.24205c8d5e":"Tijelo ovog lista je ono što je traženo.","oss-aion-side-by-side-rule.136ec48046":"verzija rečenice 3","oss-aion-side-by-side-rule.5714c84617":"9. travnja 2026.","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, obračun naplate","oss-aion-side-by-side-rule.4c1493cdf2":"uvjet kako je pohranjen","oss-aion-side-by-side-rule.5050bceb24":"na što se odnosi","oss-aion-side-by-side-rule.70a7ded724":"Druga naplata za referencu koja je već naplaćena unutar obračunskog razdoblja\n          se odbija.","oss-aion-side-by-side-rule.decbbbcbea":"Nijedan klijent ne smije biti naplaćen dva puta za istu referencu u jednom obračunskom razdoblju.","oss-aion-side-by-side-rule.41f5b5d765":"nije potrebna oznaka","oss-aion-side-by-side-rule.fd9d8f9d79":"potvrdio vlasnik","oss-aion-side-by-side-rule.dbd8504696":"list za pregled","oss-aion-side-by-side-rule.b714510ded":"koliko je puta ova referenca već naplaćena","oss-aion-side-by-side-rule.71aa03cd23":"broj naplata","oss-aion-side-by-side-rule.8f404d9e59":"mjesec u kojem pada naplata","oss-aion-side-by-side-rule.28db3c4a10":"obračunsko razdoblje","oss-aion-side-by-side-rule.7bbf8d007a":"identifikator na koji se naplata odnosi","oss-aion-side-by-side-rule.333190a7a5":"referenca","oss-aion-silent-wrong.e516f1474a":"korak 40, pravilo nepoznato","oss-aion-silent-wrong.52c4b2ffb7":"gdje je stalo","oss-aion-silent-wrong.bdc9060b3b":"Osam pokretanja vratilo je osam riječi. Samo ona koja je zapisala svoj rad\n          može reći","oss-aion-silent-wrong.dc3fb44cee":"odbijanje imenuje crtu","oss-aion-silent-wrong.d55eb7e866":"Ovaj čitač nema pravilo s tim imenom u koraku 40, pa je tamo stao. Pečat\n            nikada nije spušten i nije izdana presuda.","oss-aion-silent-wrong.d04a61e19e":"što je čitanje proizvelo","oss-aion-silent-wrong.b31f1a6015":"alethe, koraci od 38 nadalje","oss-aion-silent-wrong.74cb6750e3":"jedna od njih, zapisana","oss-aion-silent-wrong.c9266795e0":"osam sustava, osam rezultata","oss-aion-silent-wrong.d7d4ae123f":"ilustrativno, jedno pokretanje od osam","oss-aion-silent-wrong.3c05b129e2":"nije izdana presuda","oss-aion-silent-wrong.c6dc61d79f":"Osam riječi, jedna od njih otvorena","oss-aion-silent-wrong.64494819a0":"premisa 40, prazna klauzula","oss-aion-silent-wrong.9dae957efd":"premisa 39","oss-aion-silent-wrong.52e787751c":"premise 31 i 38","oss-aion-silent-wrong.36901d48ad":"premise 12 i 31","oss-aion-silent-wrong.e00bcd7ac6":"tijek rada odobren","oss-aion-silent-wrong.fd40251b0b":"simulacija konvergirala","oss-aion-silent-wrong.9204d100a8":"politika prošla","oss-aion-silent-wrong.51c817ab85":"prihvaćeno","oss-aion-silent-wrong.4d64c22879":"ponovi","oss-aion-silent-wrong.94ec44c4f4":"vjeruj","oss-aion-silent-wrong.4848901b39":"optimalno","oss-aion-silent-wrong.bf31c52c32":"sigurno","oss-aion-silent-wrong.231e564db4":"dovršeno","oss-aion-silent-wrong.bac2ad9d5d":"prevedeno","oss-aion-silent-wrong.d203c40ac4":"nezadovoljivo","oss-aion-sim-cert.d836eab67a":"fizička valjanost nije","oss-aion-sim-cert.8f9800edbe":"ovdje se provjeravaju sukladnost i svojstva","oss-aion-sim-cert.d982b6fdda":"odgovara li model stvarni svijet ostaje na vlasniku modela","oss-aion-sim-cert.c27ccdf78d":"fizička valjanost","oss-aion-sim-cert.99c6aa48cb":"nije odgovoreno nigdje","oss-aion-sim-cert.e4125aa830":"navedena svojstva vrijede tijekom izvođenja ili se trag vraća","oss-aion-sim-cert.24fa71fdd6":"provjere invarijanti","oss-aion-sim-cert.82ffe3f79b":"deklarirani model, parametri i konfiguracija proizveli su ovu putanju","oss-aion-sim-cert.8c30aa1c6e":"sukladnost izvođenja","oss-aion-sim-cert.790f468e4d":"odgovoreno ovdje","oss-aion-sim-cert.f6bceb137b":"BLIZANAC I FMI","oss-aion-sim-cert.cf2b82cb4f":"model u putanju","oss-aion-sim-cert.a7b63abc02":"Što certifikat nosi","oss-aion-sim-cert.07ecfba93e":"putanja i status","oss-aion-sim-cert.6874c92610":"slijed događaja","oss-aion-sim-cert.e77c056cdc":"parametri i početno stanje","oss-aion-sim-cert.720a1e14e6":"identitet modela i FMU-a","oss-aion-source-to-artefact.ce10986f79":"Od izvora do potvrde","oss-aion-source-to-artefact.c1ce053887":"imenovan, ne paušalan","oss-aion-source-to-artefact.75a0766041":"Paušalna tvrdnja ne bi mogla pasti nigdje.","oss-aion-source-to-artefact.b5e1e87d48":"Tri imenovane tvrdnje, a ona koja padne imenuje prolaz na kojem pada.","oss-aion-source-to-artefact.8732c432be":"Da je svaki prolaz u nizu općenito ispravan. Nijedna potvrda ovdje ne kaže da je\n                prevodilac dobar, niti mora.","oss-aion-source-to-artefact.64d8424b5b":"što ne tvrdi","oss-aion-source-to-artefact.302df26f74":"izvorni graf","oss-aion-source-to-artefact.e95689d184":"referentnoj implementaciji, na deklariranoj ulaznoj domeni","oss-aion-source-to-artefact.0ca9407ef6":"ekvivalentan jezgri","oss-aion-source-to-artefact.5e68638068":"deklarirano očuvanje oblika ne vrijedi na ovom prolazu za zadanu ulaznu\n                    domenu","oss-aion-source-to-artefact.ab2050f59e":"oblici tenzora očuvani","oss-aion-source-to-artefact.213addbd25":"kroz canonicalise i fusion, za svaki deklarirani tip","oss-aion-source-to-artefact.9deae195e3":"tipovi očuvani","oss-aion-source-to-artefact.2297843111":"razina optimizacije 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"tvrdnja o obliku odbijena","oss-aion-source-to-artefact.2fa9505626":"artefakt","oss-aion-source-to-artefact.910e029098":"ilustrativno","oss-aion-source-to-artefact.9f939ff8a4":"odabir jezgre","oss-aion-sovereignty.0fe4587501":"Provjera ostaje tamo gdje je dokaz pohranjen: uz sustav koji ga proizvodi, unutar usluge za pregled ili u izoliranom arhivu.","oss-aion-sovereignty.2d7bdcb19f":"Vaše odluke ostaju pod vašom kontrolom.","oss-aion-sovereignty.9426b99215":"Digitalna suverenost","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe i jedinstveni oblik čine certifikate neovisno provjerljivima izvan izvornog okruženja.","oss-aion-sovereignty.25c4717a63":"Prijenosni formati dokaza","oss-aion-sovereignty.d99f32de40":"Provjera dokaza radi potpuno izvan mreže. Ne oslanjate se na udaljenu uslugu koja bi mogla promijeniti uvjete ili nestati.","oss-aion-sovereignty.34ebf0117d":"Bez vanjske ovisnosti","oss-aion-sovereignty.44a8a39a30":"Unutar vlastitog podatkovnog centra ili regije koju odaberete. Obrazloženje iza odluke nikada ne mora prijeći granicu koju niste odobrili.","oss-aion-sovereignty.331242fd64":"Radi tamo gdje odaberete","oss-aion-sovereignty.599b928605":"AION je izgrađen u Europi, a njegov provjeravač može ostati unutar iste europske granice kao i odluke koje provjerava.","oss-aion-sovereignty.45f9bdf22b":"Europsko podrijetlo","oss-aion-split-parts.cc0d7be136":"a enklava ne mijenja ništa","oss-aion-split-parts.a2fb24de32":"zadana izgradnja nema odlaznog klijenta","oss-aion-split-parts.ffd75a18c4":"PRIMJENA","oss-aion-split-parts.91f8c088aa":"i što svaki od njih treba","oss-aion-split-parts.758bd7cc2a":"Četiri načina pokretanja","oss-aion-split-parts.400bd9a040":"Razdvojeno na više strojeva, a sastavljeno tek nakon provjere pokrivenosti.","oss-aion-split-parts.bb3d98dfee":"Distribuirano","oss-aion-split-parts.74da65bc96":"Unutar vaše granice, na adresama koje sami postavite.","oss-aion-split-parts.664046e78a":"Usluga","oss-aion-split-parts.ce2ab3edc4":"Uputite ga na certifikat. Ništa drugo ne mora biti pokrenuto.","oss-aion-split-parts.a7218c8eca":"Naredba","oss-aion-split-parts.eefb3bac5d":"Povezano u vaš vlastiti proces. Pitajte i odgovorite, bez zapisivanja datoteke.","oss-aion-split-parts.fa66edb7bd":"Biblioteka","oss-aion-stays-here.e3e08ad140":"ništa nije napustilo prostoriju","oss-aion-stays-here.18ab547f60":"Ta prazna stranica cijela je tvrdnja.","oss-aion-stays-here.907d22f7f0":"Ništa nije nacrtano između kutije i tri stvari pokraj nje.","oss-aion-stays-here.001b06036c":"nije na ovoj slici","oss-aion-stays-here.8c84675037":"veza do drugog stroja u istoj organizaciji, isključena dok je netko namjerno ne postavi","oss-aion-stays-here.e3527ba222":"Odgovor stiže sa spuštenom linijom, jer linija nikad nije bila dio toga.","oss-aion-stays-here.caf3a041c8":"Kašnjenje je bilo sedamdeset pet minuta, što je više od jednog sata, pa se rezervacija otkazuje i naknada se vraća na karticu s koje je došla.","oss-aion-stays-here.7296ef48e5":"što se vratilo","oss-aion-stays-here.395ee2333f":"otkazivanje prekida rezervaciju i vraća naknadu","oss-aion-stays-here.46d2008236":"sat znači šezdeset minuta, bez zaokruživanja","oss-aion-stays-here.2fd4fcb567":"kašnjenje se računa od vremena otisnutog na karti","oss-aion-stays-here.f5b422b60e":"pisana pravila prema kojima se čita","oss-aion-stays-here.ee04bc3b23":"Otkazat ću rezervaciju samo ako je kašnjenje dulje od jednog sata.","oss-aion-stays-here.af5509db2b":"što ste upisali","oss-aion-stays-here.3cbd68d678":"stroj ispred vas","oss-aion-stays-here.531aa138ac":"odgovoreno bez odlaska","oss-aion-stays-here.fb23ddcc1c":"jedno pitanje, jedno mjesto","oss-aion-stays-here.96ccbc62ab":"vaše riječi nisu stvar koju itko drugi prima","oss-aion-stays-here.1b215d440d":"stroj negdje drugdje koji čita vašu rečenicu","oss-aion-stays-here.b5a5c63d23":"nikakva vanjska stvar ne mora raditi da bi odgovor stigao","oss-aion-stays-here.b5c483d9d9":"usluga koja mora biti dostupna","oss-aion-stays-here.fa287ade3d":"nitko ne pita tko ste, jer nitko ne treba znati","oss-aion-stays-here.d5a3ef8b78":"račun za prijavu","oss-aion-stays-here.910e029098":"ilustrativno","oss-aion-stays-here-list.56a6e8f9a7":"i ništa za predati","oss-aion-stays-here-list.57eef35c96":"bez čekanja","oss-aion-stays-here-list.a64eab5744":"na što čeka","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"i na što nikad ne čeka","oss-aion-stays-here-list.13591491d9":"Na čemu radi","oss-aion-stays-here-list.1458464f09":"Nema prijave, pa nema ni korisnika.","oss-aion-stays-here-list.257fa99e08":"Bez računa","oss-aion-stays-here-list.b165f2d684":"Vaša se rečenica provjerava prema pravilima, u istoj prostoriji kao i vi.","oss-aion-stays-here-list.37a25e4e99":"Pisana pravila","oss-aion-stays-here-list.7ee33f1c7a":"Posao se obavlja tamo gdje jeste, i nitko drugi ne mora biti pokrenut.","oss-aion-stays-here-list.d3612f57d8":"Stroj na kojem radite","oss-aion-supplier-answer.6d6ddcd4c1":"jedna izjava, četiri prazna retka","oss-aion-supplier-answer.a5d36ba87c":"Nijedno od četiri pitanja nije odgovoreno nigdje na listu.","oss-aion-supplier-answer.d09481b0a5":"Svaka riječ na njemu je istinita i netko ga je potpisao.","oss-aion-supplier-answer.cec9b36162":"14. ožujka 2026.","oss-aion-supplier-answer.22715d5cb9":"Konfiguracija podnesena 12. ožujka 2026. verificirana je kao bez sukoba.","oss-aion-supplier-answer.1e0a1891e8":"ref SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"potvrda o sukladnosti","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"četiri neodgovorena","oss-aion-supplier-answer.910e029098":"ilustrativno","oss-aion-supplier-answer.f86e5cfb14":"Bi li to i dalje vrijedilo nakon utorkove promjene?","oss-aion-supplier-answer.bbe7a72e5a":"Na čijim podacima i koliko njih?","oss-aion-supplier-answer.c25776701b":"U odnosu na koju verziju našeg skupa pravila?","oss-aion-supplier-answer.84d9ed92b5":"Koji su uvjeti zapravo provjereni?","oss-aion-theory-matrix.ac8d77d669":"Propozicijska","oss-aion-theory-matrix.3d52a6d8fe":"Logika","oss-aion-theory-matrix.42f3aff840":"Zadovoljivost Booleove logike s učenjem klauzula vođenim sukobima. Polazište za svaku drugu teoriju.","oss-aion-theory-matrix.6078532ab2":"Kvantifikatori","oss-aion-theory-matrix.02f664dd36":"Logika prvog reda s instanciranjem vođenim modelom. Razmatra forall i exists nad podržanim vrstama.","oss-aion-theory-matrix.49167dbc57":"Linearna aritmetika","oss-aion-theory-matrix.45f053dc73":"Aritmetika","oss-aion-theory-matrix.876aafb6c1":"Linearna cjelobrojna aritmetika i ulaz s realnim vrijednostima na deklariranoj skali. Interno provjeravač koristi cjelobrojne ili adaptivne vrijednosti s fiksnom točkom.","oss-aion-theory-matrix.b618fadea3":"Nelinearna","oss-aion-theory-matrix.fd99188844":"Nelinearna cjelobrojna aritmetika i ulaz s realnim vrijednostima na deklariranoj skali. Provjeravač koristi cjelobrojne ili adaptivne vrijednosti s fiksnom točkom, nikada vrijednosti s pomičnim zarezom.","oss-aion-theory-matrix.d11f66aff2":"Ulaz s pomičnim zarezom","oss-aion-theory-matrix.19080aec82":"IEEE 754 ulaz prihvaća se samo na granici, a zatim se dekodira u binarna polja prije provjere. Nijedna vrijednost s pomičnim zarezom ne pohranjuje se, ne akumulira niti se interno izračunava.","oss-aion-theory-matrix.914807cdef":"Bitvektori","oss-aion-theory-matrix.e5e429bcc9":"Podaci","oss-aion-theory-matrix.23c278d5ca":"Binarne riječi fiksne širine sa semantikom prekoračenja. Za provjeru hardvera i provjeru binarnih protokola.","oss-aion-theory-matrix.b90cc9bfd2":"Polja","oss-aion-theory-matrix.eac25fcfc6":"Teorija polja s aksiomima select i store. Odlučivi fragmenti prate se eksplicitno.","oss-aion-theory-matrix.3816c4beac":"Nizovi","oss-aion-theory-matrix.8e5a47db7d":"Riječne jednadžbe, ograničenja duljine i pripadnost regularnim izrazima nad nizovima.","oss-aion-theory-matrix.0efe5fd2a3":"Vremenska","oss-aion-theory-matrix.ab14d0a7db":"Programi","oss-aion-theory-matrix.12dfdaf96a":"prateća crate","oss-aion-theory-matrix.dd600bd946":"Fragmenti vremenske logike s linearnim i granajućim vremenom za razmišljanje o ponašanju tijekom vremena.","oss-aion-theory-matrix.bb8c6ec608":"Vjerojatnosna","oss-aion-theory-matrix.042a4dc40b":"Vjerojatnosno razmišljanje o programima, uključujući zaključivanje u stilu vjerojatnosnog Dataloga.","oss-aion-theory-matrix.1e1837d4e8":"Konkurentna","oss-aion-theory-matrix.60e30b1d8e":"Razmišljanje o konkurentnim programima i preplitanjima koja njihove niti mogu proizvesti.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"pokrivenost teorija","oss-aion-theory-matrix.4329e5da7b":"11 logičkih domena","oss-aion-theory-matrix.dc1baa8539":"jezgra + prateće","oss-aion-theory-matrix.5b1e898fc0":"Teorija","oss-aion-theory-matrix.cd89376f98":"Živi u","oss-aion-theory-matrix.df1e1e1732":"Jedanaest teorija, svaki rezoner proizvodi korake koje emiter dokaza može zabilježiti i koje provjeravač može ponoviti.","oss-aion-theory-matrix.36ce8cbd4c":"PROP do CONCUR","oss-aion-three-questions.381a478392":"Dva odgovora, jedna granica","oss-aion-three-questions.b695e87b19":"dva odgovorena, jedan u vlasništvu","oss-aion-three-questions.9f5234300d":"Treće pitanje nije naše, a reći to je ono što prva dva čini vrijednima.","oss-aion-three-questions.8149763299":"Sukladnost vrijedi, jedna invarijanta pada uz svoj trag.","oss-aion-three-questions.5974dafe20":"vrata su nacrtana jednako čvrsto kao i zid","oss-aion-three-questions.392d2df212":"Vlasnik modela drži to pitanje, i drži ga trajno. Nijedan certifikat ovdje ga ne dira, i nijedan ga ne podrazumijeva tiho.","oss-aion-three-questions.c27ccdf78d":"fizička valjanost","oss-aion-three-questions.dbbe530d6c":"predstavlja li ovaj model stvarni svijet","oss-aion-three-questions.44b8fe96f9":"korak 1 284, p = 8.14 bar","oss-aion-three-questions.dcf63117f5":"kontraprimjer, podignut i uvećan","oss-aion-three-questions.ed4bde3030":"tlak u petlji ostaje ispod 8 bara","oss-aion-three-questions.4676659f50":"premosni ventil se nikada ne otvara dvaput u jednom koraku","oss-aion-three-questions.045757b8af":"povratna temperatura ostaje ispod 95 C","oss-aion-three-questions.24fa71fdd6":"provjere invarijanti","oss-aion-three-questions.846ee97ae5":"vrijede li navedene invarijante tijekom cijelog tijeka","oss-aion-three-questions.17f80cae31":"Tijek se reproducira iz onoga što certifikat proglašava.","oss-aion-three-questions.ba01008496":"t = 4.20","oss-aion-three-questions.ff4e31b5a8":"x0 = 2.5","oss-aion-three-questions.a74e1bd7e0":"t = 1.75","oss-aion-three-questions.63df9305f6":"tolerancija 1e-6","oss-aion-three-questions.884f613dc6":"t = 0.00","oss-aion-three-questions.0c1ded1963":"korak 0.01 s","oss-aion-three-questions.8c30aa1c6e":"izvršna sukladnost","oss-aion-three-questions.b3c58a82bd":"jesu li deklarirani model i konfiguracija proizveli ovu putanju","oss-aion-three-questions.5d3f336ca9":"hash blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"chiller-loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"model i FMU","oss-aion-three-questions.b697dd615a":"dva od tri","oss-aion-three-questions.f14f15b304":"putanja","oss-aion-three-questions.f1f1425b65":"parametri","oss-aion-three-questions.910e029098":"ilustrativno","oss-aion-three-readings.41d8442e84":"očitanja i njihove pouzdanosti su AION-ove, izbor je vaš, i on je zabilježen","oss-aion-three-readings.42e8a93311":"tri očitanja, jedna odluka, i ona ima autora","oss-aion-three-readings.62b4619c99":"broj koji ne može pasti ispod nule","oss-aion-three-readings.48a15f3a18":"cijeli broj manji od pet","oss-aion-three-readings.ae3925651e":"je li retries cijeli broj, broj ili bilo koja vrijednost?","oss-aion-three-readings.dffe60eb6a":"postavljeno pitanje","oss-aion-three-readings.fb76182a92":"upitano, ne pretpostavljeno","oss-aion-three-readings.8c3f96fa33":"Retries mora biti manji od pet","oss-aion-three-readings.e9be13f9ec":"AION podiže dvosmislenost umjesto da je razriješi. Imenuje vrstu dvosmislenosti,\n          navodi očitanja s pouzdanošću koju svako nosi i uvjetom koji bi svako\n          nametnulo, i postavlja pitanje koje imenuje varijablu o kojoj je riječ. Odluka i dalje pripada\n          osobi. Ono što se mijenja jest da se donosi jednom, na zapisniku, od strane onoga tko je\n          odgovoran za zahtjev, a ne od strane onoga tko je slučajno radio\n          pretvorbu.","oss-aion-three-readings.f26c9b4ff8":"Manje od pet pokušaja, brojeno cijelo. Ili manje od pet\n          gdje je četiri i pol legitimna vrijednost. Ili broj koji također ne može pasti ispod\n          nule. To su tri različita pravila i razlika se na kraju pojavi kao incident.\n          U uobičajenom načinu rada, jedno od njih je izabrao onaj tko je radio\n          prijevod, u četvrtak, ne rekavši nikome.","oss-aion-three-readings.7b5121a8f0":"\"Retries mora biti manji od pet.\"","oss-aion-three-readings.ffe5d68fe6":"Netko je izabrao jedno.","oss-aion-three-readings.55b8b0b398":"Vaša rečenica imala je dva očitanja.","oss-aion-three-readings.2d1501c7e4":"Tiha odluka koju nitko nije donio","oss-aion-three-readings.bec998cdfe":"bilo koji broj, uključujući četiri i pol","oss-aion-time-left.88430838dd":"nikome ništa nije iznenada palo na pamet","oss-aion-time-left.227b19b5aa":"Samo je postalo manje, pred nekim tko je još mogao djelovati na to.","oss-aion-time-left.ac61a8b97d":"Broj je bio tu osmoga dana i nikada nije postao glasniji.","oss-aion-time-left.0703308f0f":"Na ovom listu nema alarma i ništa nije pocrvenjelo. Svaka od ovih rečenica ista je rečenica pročitana na drugi dan.","oss-aion-time-left.6222c927fd":"Ide osobi koja potpisuje zakašnjele odgovore, s datumom, i ona ti odgovara.","oss-aion-time-left.4dfda36be9":"14 dana prošlo","oss-aion-time-left.d5f128da73":"odgovor je trebao biti dan šesnaestoga","oss-aion-time-left.58cdff89f9":"drugi zahtjev, pročitan nakon datuma","oss-aion-time-left.6a7651b700":"trideset dana nakon što si pitao","oss-aion-time-left.813d27411f":"odgovor se duguje","oss-aion-time-left.d8b0301347":"tražio si kopiju onoga što imaju o tebi","oss-aion-time-left.4c3d95bf6a":"zahtjev","oss-aion-time-left.795bcac29d":"danas su ostala četiri dana","oss-aion-time-left.56ff55acfb":"jedan rok, pročitan četiri puta","oss-aion-time-left.acafbd7541":"nazovi ih danas","oss-aion-time-left.148b21034f":"4 dana preostalo","oss-aion-time-left.f165b88925":"potjeraj to ovaj tjedan","oss-aion-time-left.b85bbd50bd":"8 dana preostalo","oss-aion-time-left.4a8b5bac9b":"još uvijek u redu","oss-aion-time-left.67f9059ac5":"14 dana preostalo","oss-aion-time-left.ca372a8fb7":"zapiši u kalendar","oss-aion-time-left.16f29c69b8":"22 dana preostalo","oss-aion-time-left.910e029098":"ilustrativno","oss-aion-two-routes.89c24f999c":"drugi ispituje dokaze","oss-aion-two-routes.3a5d844ae5":"jedan put ih reproducira","oss-aion-two-routes.028a6cf2d7":"njihov certifikat","oss-aion-two-routes.5c837ce426":"njihov sustav","oss-aion-two-routes.27f65e5e47":"što mu treba","oss-aion-two-routes.d0765bbac1":"USPOREDI","oss-aion-two-routes.91f8c088aa":"i što svakome treba","oss-aion-two-routes.8930c1c9b8":"Dva načina da budete sigurni","oss-aion-two-routes.d56d985300":"provjeri","oss-aion-two-routes.e1fc5057de":"reproduciraj","oss-aion-two-routes.b028b89ea7":"njihova pomoć","oss-aion-two-routes.999464a52f":"nije reproducirano","oss-aion-two-routes.9b9252883d":"sam certifikat","oss-aion-two-routes.4dc537c80f":"tvrdnja, ulazi i ugovor","oss-aion-two-routes.ad95c10298":"njihova točna verzija i stroj","oss-aion-two-routes.cfd05bd2f2":"njihova licenca","oss-aion-value-grid.6cc3364a24":"Dokaz priložen","oss-aion-value-grid.4910ee0aea":"Dokazi uz svaki rezultat","oss-aion-value-grid.411bf64817":"Rezultat i njegov kompaktni certifikat putuju zajedno, pa se dokazi stvaraju u trenutku donošenja odluke, a ne rekonstruiraju tijekom pregleda.","oss-aion-value-grid.05f9c0dc34":"Provjereno drugim motorom","oss-aion-value-grid.eea79d1484":"Zasebni verifikator provjerava certifikat prema izvornim premisama. Model ne ocjenjuje vlastiti odgovor.","oss-aion-value-grid.cbd17d59ba":"Prijenosni formati","oss-aion-value-grid.5e6cba1721":"Dokazi nadživljuju izvođenje","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe i jedinstveni oblik dokaza održavaju certifikat čitljivim i nakon što se model, rješavač ili usluga promijene.","oss-aion-value-grid.a60bdd7985":"Provjera izvan mreže","oss-aion-value-grid.ebfb47f4ba":"Bez ovisnosti o mreži","oss-aion-value-grid.6144cbfcab":"Provjera dokaza ne zahtijeva mrežu, račun ni izravnu vezu s nama. Ono o čemu ovisite u trenutku revizije nema ponavljajuću ovisnost o dobavljaču.","oss-aion-value-grid.26ef011865":"EU suverenost","oss-aion-value-grid.23672ea195":"Europski i vaš za pokretanje","oss-aion-value-grid.26e89e1455":"Izgrađeno u Europi i potpuno izvodljivo na hardveru koji kontrolirate. Vaši dokazi i vaše odluke nikada ne moraju napustiti jurisdikciju koju odobravate.","oss-aion-value-grid.66ac329042":"Revizije s manjim rizikom","oss-aion-value-grid.9c8c22f54d":"Dokazi koje druga strana može provjeriti","oss-aion-value-grid.6572cc2be6":"Kada regulator ili revizor pita kako je odluka donesena, predajete certifikat koji svatko može provjeriti, umjesto da se oslanjate na obećanje dobavljača koje ne možete testirati.","oss-aion-value-grid.6b5eb5323e":"Dokazi o odluci","oss-aion-value-grid.870c4d024a":"Neovisna provjera","oss-aion-value-grid.93e2c4e5c4":"Započnite s jednim putem odlučivanja i zadržite njegov certifikat kroz pregled.","oss-aion-value-grid.217fc9a42f":"certifikat · provjeravač · arhiva","oss-aion-what-you-got.2b69c8154b":"i svako pitanje postavlja jedno","oss-aion-what-you-got.7f629c0e9f":"četiri stvari koje dobivate","oss-aion-what-you-got.7a9727c9f8":"provjerljivo od vas","oss-aion-what-you-got.bc1c663195":"što dobivate","oss-aion-what-you-got.0da9f51943":"PROMATRANO","oss-aion-what-you-got.8becd8f7be":"i što to rješava","oss-aion-what-you-got.7d3574bfa5":"Što dobavljač predaje","oss-aion-what-you-got.0306f977ae":"Koja je izrada to rekla. Ne što je provjerila, niti kako.","oss-aion-what-you-got.fd12863535":"ne","oss-aion-what-you-got.7b0c210f52":"Broj verzije","oss-aion-what-you-got.f78a920a78":"Njihov opis vlastitog procesa, koji su napisali sami.","oss-aion-what-you-got.301941b624":"njihov opis","oss-aion-what-you-got.7591a35462":"Bilješka o metodi","oss-aion-what-you-got.5eec058df8":"Netko stoji iza riječi, ne iza obrazloženja.","oss-aion-what-you-got.28fde2f659":"samo naziv","oss-aion-what-you-got.7573daa505":"Potpis","oss-aion-what-you-got.94ebda1bd3":"Sigurno, izvedivo, dosljedno. Jedna riječ, bez rada.","oss-aion-what-you-got.c99c8e4a9b":"Zaključak","oss-aion-where-it-runs.1ba0334f9f":"nema trećeg","oss-aion-where-it-runs.03e2311510":"konfigurirate ta dva","oss-aion-where-it-runs.076d156600":"ništa unutra za konfigurirati","oss-aion-where-it-runs.f16ac53550":"vaše za konfigurirati","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"i ništa drugo ne odlazi","oss-aion-where-it-runs.6cdd4e486a":"Dvije konfigurabilne granice","oss-aion-where-it-runs.39616fc267":"Program koji instalirate, koji radi kao lokalni proces.","oss-aion-where-it-runs.00bfadf39c":"Vanjski prover","oss-aion-where-it-runs.801db3efcd":"Samo adrese koje postavite, i to samo nakon što ih postavite.","oss-aion-where-it-runs.d296df3171":"Klaster","oss-aion-where-it-runs.67204bf5d4":"nema rute","oss-aion-where-it-runs.91984fcc1b":"Hostani model","oss-aion-where-it-runs.b8b252650e":"uopće nema klijenta","oss-aion-where-it-runs.ee39579eba":"Zadana izgradnja","oss-aion-where-it-runs.d49fe2c403":"nije instaliran","oss-aion-where-you-meet-it.2a85ffb07a":"Mjesto se mijenja, obećanje ne: razlog koji možete pročitati i provjera koju svatko može pokrenuti.","oss-aion-where-you-meet-it.9a8413cd88":"AION nikada nećete pokretati sami. Ovo su mjesta na kojima može tiho raditi za\n            vas.","oss-aion-where-you-meet-it.33fb502270":"Tri svakodnevna trenutka","oss-aion-where-you-meet-it.40e32f89eb":"Svatko kome vjerujete može provjeriti izvještaj i potvrditi ga.","oss-aion-where-you-meet-it.03ef5e1328":"Kada ured koristi stroj za provjeru vašeg slučaja, imate pravo na razlog koji možete pročitati i propitati.","oss-aion-where-you-meet-it.2390278256":"Provjerava se naknada ili obrazac","oss-aion-where-you-meet-it.2e92ab22dd":"U javnom uredu","oss-aion-where-you-meet-it.0bd84e3a14":"Razlog je zapisan, nije zaključan u sustavu.","oss-aion-where-you-meet-it.c4a1d64452":"Odluke o novcu koje donosi stroj mogu djelovati kao zatvorena vrata. Račun ih otvara, u jasnim koracima.","oss-aion-where-you-meet-it.e17885868a":"Izračunava se kredit ili povrat","oss-aion-where-you-meet-it.5e45cf57a0":"U banci","oss-aion-where-you-meet-it.e2c536b2b3":"Možete zatražiti izvještaj i pokazati ga svom liječniku.","oss-aion-where-you-meet-it.0b56f170bf":"Kada stroj ima udjela u vašem liječenju, trebali biste moći vidjeti razlog iza toga, ne samo rezultat.","oss-aion-where-you-meet-it.0332b7d1b7":"Računalo pomaže odlučiti o vašoj skrbi","oss-aion-where-you-meet-it.4046c6355b":"U bolnici","oss-aion-which-did-you-mean.1ff884a89e":"pitano, ne nagađano","oss-aion-which-did-you-mean.2eb1c230f2":"Izbor pripada onome tko je napisao rečenicu.","oss-aion-which-did-you-mean.d94da790d1":"Dva uobičajena čitanja, jedan slučaj između njih.","oss-aion-which-did-you-mean.3b4d06d361":"Nije postavljeno pitanje i nikome nije rečeno na koje je od to dvoje palo.","oss-aion-which-did-you-mean.93a161cede":"Sati se broje cijeli. Odabrano u četvrtak poslijepodne od strane nekoga tko je trebao\n                isporučiti.","oss-aion-which-did-you-mean.4b73aced85":"na snazi","oss-aion-which-did-you-mean.17e120a269":"Otkaži ako je kašnjenje dulje od jednog sata.","oss-aion-which-did-you-mean.ddf20b2d3c":"uobičajeni način na koji se to rješava","oss-aion-which-did-you-mean.3f42a39277":"kako stvarno teče","oss-aion-which-did-you-mean.1e9a34969e":"cijeli sati","oss-aion-which-did-you-mean.9c2a4532bb":"Kada ste napisali više od jednog sata, jeste li mislili na cijele sate ili na kašnjenje kako\n                stvarno teče?","oss-aion-which-did-you-mean.280b34e1e5":"Vaš vlak kasni sedamdeset pet minuta i rezervacija se poništava, prije nego što ste\n                    odlučili želite li još uvijek putovati.","oss-aion-which-did-you-mean.97e4112012":"Kašnjenje je koliko god stvarno traje. Sat i četvrt je više od jednog\n                    sata.","oss-aion-which-did-you-mean.c5d620cfa2":"drugo čitanje","oss-aion-which-did-you-mean.466780685c":"Vaš vlak kasni sedamdeset pet minuta i ništa se ne otkazuje. Čekate na\n                    peronu vlak koji još uvijek dolazi.","oss-aion-which-did-you-mean.6b67a39030":"Sati se broje cijeli. Kašnjenje od sat i četvrt računa se kao jedan sat,\n                    a jedan sat nije više od jednog sata.","oss-aion-which-did-you-mean.9cf85c69a8":"prvo čitanje","oss-aion-which-did-you-mean.ef52f97a5b":"više od jednog sata","oss-aion-which-did-you-mean.371c6d7efd":"Otkaži ako je kašnjenje","oss-aion-which-did-you-mean.887640fa01":"napisali ste","oss-aion-which-did-you-mean.3650db40be":"čekajući vaš odgovor","oss-aion-which-did-you-mean.ff312b91d2":"što ste mislili","oss-aion-which-did-you-mean.6f8f8e9f76":"zatim","oss-aion-which-did-you-mean.910e029098":"ilustrativno","oss-aion-your-corpus.a54df5506a":"dva tjedna, s pisanim rezultatom","oss-aion-your-corpus.ee646eb7cc":"Pokrenite isti korpus na onome što danas koristite i stavite dva izvješća jedno pokraj\n            drugoga.","oss-aion-your-corpus.f2d4df122d":"Šezdeset dva od šezdeset četiri, na vašem stroju, pod vašim ograničenjem.","oss-aion-your-corpus.8ff7db55b1":"ovo ograničenje","oss-aion-your-corpus.8ada74cbb4":"ovaj stroj","oss-aion-your-corpus.b2ed177f82":"ovaj korpus","oss-aion-your-corpus.71e1422875":"funkcija od","oss-aion-your-corpus.94ef1b7ae8":"od 64 točna","oss-aion-your-corpus.2ce97993d5":"još nema presude","oss-aion-your-corpus.90326d4307":"proteklo 41 s","oss-aion-your-corpus.69bb8da1c5":"još uvijek radi","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"nema zabilježenog odgovora","oss-aion-your-corpus.72330c3954":"16 GB adresnog prostora","oss-aion-your-corpus.b4f0923eae":"16 GB po pokretanju","oss-aion-your-corpus.ff367b6b79":"ograničenje adresnog prostora","oss-aion-your-corpus.d1ea89e714":"32 jezgre, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"ilustrativno pokretanje","oss-aion-your-corpus.e380724f89":"jedan ograničen, jedan još uvijek radi","oss-aion-your-corpus.f6f66c95d6":"Vaš korpus, na mjestu","oss-aion-your-corpus.8d95729188":"ograničen","oss-aion-your-corpus.7817c52b25":"stroj","oss-aion-your-corpus.d95f464bc9":"instance","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"korpus","oss-aion-your-sentence-parts.8e7ed848f6":"još uvijek je možete pročitati","oss-aion-your-sentence-parts.78c48f428a":"vi ste je napisali","oss-aion-your-sentence-parts.c569c19f0b":"Pročitajte ponovno, daje isto pravilo. Ništa se nije promijenilo između.","oss-aion-your-sentence-parts.43015fadc4":"Nitko ne bi trebao biti naplaćen dvaput za istu narudžbu u istom mjesecu.","oss-aion-your-sentence-parts.a14707f800":"Vaša rečenica, nepromijenjena","oss-aion-your-sentence-parts.2ccea15065":"godinu dana kasnije","oss-aion-your-sentence-parts.a80d4309ae":"Na vrhu poruke, iznad dijela koji nije ispunjen.","oss-aion-your-sentence-parts.f33c43e8f9":"Vaša rečenica, citirana","oss-aion-your-sentence-parts.f0f795235c":"dan na koji se primjenjuje","oss-aion-your-sentence-parts.fe74b20e8f":"Kako ste je upisali, s jednom jednostavnom linijom koja kaže kako je pročitana.","oss-aion-your-sentence-parts.358b1cbc5d":"Vaša rečenica, zadržana","oss-aion-your-sentence-parts.13211e2743":"dan kada je napišete","oss-aion-your-sentence-parts.27a0362e59":"VAŠE RIJEČI","oss-aion-your-sentence-parts.d37598cc12":"na tri različita dana","oss-aion-your-sentence-parts.32a5ee7a1f":"Ista rečenica","page-breadcrumb.c766e66518":"Putokaz","page-toc.7e439c353e":"Na ovoj stranici","section_st_a1_display-split.7c9a7c0610":"Pojedinosti","section_st_f1_cta-dark.90e40d5043":"Započni","spindle-extras.127edee78d":"POTPISANO","toc-rail.f5cbdf6bfb":"Sadržaj"}