{"block_close_oss.c33fd1fe9c":"Skupnost in ekosistem","core-extras.96d330537a":"Osnovni IR","core-extras.bee831a169":"Podlaga","core-extras.61a0822826":"Aplikacije na jedru","core-extras.15438cc098":"ni podprto","core-extras.ad565d9d01":"Funkcija","core-extras.0155bf03e5":"Legenda segmentov","core-extras.8b7110078e":"Skupine algoritmov glede na vrsto podatkov","core-extras.25ab4276a6":"Drsna matrika zmogljivosti","open-source-aion.81f3904118":"Upravljanje znanja, zasnovano na sledljivosti v slogu AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Izdelki","open-source-aion.de5ec3713e":"Merkle-preverljiv razčlenjevalnik, ki ga AION uporablja za obdelavo vhodov.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Preverjeno izvajalno okolje, ki združuje AION potrdila z izvajalnimi prepisi.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Sledljivost dogodkov za sisteme: verižno zgoščeni zapisi o tem, kaj se je zgodilo, ne o korakih sklepanja znotraj odločitve.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Nadaljuj raziskovanje","open-source-aion.75e393a1ac":"Razišči sorodne projekte","open-source-aion.f9743247fa":"Preberi dokumentacijo","open-source-aion.ef0fd4ccef":"Preglej pot dokaza","open-source-aion.77453cde44":"Zaženi primer potrdila in ga preveri z aion check, cvc5 ali katerim koli LRAT-združljivim preverjevalnikom, ko repozitorij to objavi. Objava je načrtovana za 1. september 2026, z njo pa pridejo tudi navodila za namestitev.","open-source-aion.dd58b70279":"Dokaz pride skupaj z odgovorom","open-source-aion.90e40d5043":"Začni","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Odprta koda","open-source-aion.close.accent":"da ga lahko preveri vsak brez tebe","open-source-aion.close.panel.title":"Kaj nosi potrdilo","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Ena oblika, osem polj","open-source-aion.close.panel.row.1.label":"Družine","open-source-aion.close.panel.row.1.value":"Devet registriranih, razširljivo","open-source-aion.close.panel.row.2.label":"Preverjanje","open-source-aion.close.panel.row.2.value":"Omejeno, brez licence, brez ponovitve","open-source-aion.close.panel.row.3.label":"Kje deluje","open-source-aion.close.panel.row.3.value":"Na tvojem spletišču, nič odhodnega","open-source-aion.close.panel.foot":"Potrdilo ostane majhno in ga je mogoče znova preveriti tudi leta pozneje.","open-source-aion.ea722c81af":"Evropska","open-source-aion.26803e587f":"Ob reviziji","open-source-aion.15edfb4da4":"Narejeno v","open-source-aion.75f527181b":"Brez povezave","open-source-aion.f8c94a3b4b":"Kaj je to","open-source-aion.6b5eb5323e":"Brez povezave, linearni čas","open-source-aion.a49b62e167":"Natančna racionalna števila","open-source-aion.45f053dc73":"Aritmetika","open-source-aion.4329e5da7b":"11 logičnih domen","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Formati dokazov","open-source-aion.87415af880":"Dokazna potrdila","open-source-aion.9c8c22f54d":"Dokazi, ne zagotovila","open-source-aion.44ab85a252":"Izvor","open-source-aion.3271776def":"Brez povezave, brez storitve","open-source-aion.03128bed90":"Preverjanje","open-source-aion.4f1428fca3":"Strojna oprema, ki jo nadzoruješ","open-source-aion.5703321d0e":"Deluje na","open-source-aion.978e9ec250":"Standardno, prenosljivo","open-source-aion.3229609e15":"Preverjanje","open-source-aion.cba0624eb5":"Zapis preverjanja","open-source-aion.26ef011865":"Poglej, kje deluje","open-source-aion.6f696724c6":"Poglej pot preverjanja","open-source-aion.a3f1131acb":"AION je dokazna infrastruktura za odločitve umetne inteligence, javna od 1. septembra 2026. Ob rezultatu umetne inteligence izda kompakten dokaz, ločen preverjevalnik pa ta dokaz preveri glede na prvotne predpostavke ter ga sprejme ali zavrne brez modela, seje reševalnika ali omrežja.","open-source-aion.a2831cb958":"za neodvisno preverjene odločitve umetne inteligence","open-source-aion.78db6d1920":"Dokazna infrastruktura","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Nikoli mu ne zaupaj kar tako","open-source-aion.4c1c703b94":"Bistvo","open-source-aion.2518be9b9c":"Ni potrebno","open-source-aion.4ab2910209":"Tvoj račun","open-source-aion.3477f4d91d":"Enak odgovor","open-source-aion.d7e70b6e08":"Isto vprašanje","open-source-aion.930888ee28":"Brez interneta","open-source-aion.d072f5db48":"Preverjanje potreb","open-source-aion.576347ec82":"Evropa","open-source-aion.eeffc514bd":"Ne, drugi to uporabljajo namesto vas","open-source-aion.cef1deea41":"Vi to zgradite","open-source-aion.64ae43e8fe":"Preverjanje dokazov","open-source-aion.fdd1e56642":"Potrdilo za odgovore","open-source-aion.704869f20f":"Preprosto povedano","open-source-aion.658a8547d7":"Je varno?","open-source-aion.06c805023d":"Razlog, ki ga lahko nosite s seboj","open-source-aion.e92ed103c2":"AION doda preverljivo potrdilo k odgovoru umetne inteligence. Vaš pomočnik vam lahko pove, ali sklepanje drži, ne da bi od vas zahteval razumevanje delovanja, potrdilo pa je mogoče znova preveriti brez internetne povezave. AION je javno dostopen od 1. septembra 2026, ko je objavljena tudi njegova dokumentacija.","open-source-aion.336366183a":"za odločitve umetne inteligence","open-source-aion.41cbc965ef":"Preverljivo potrdilo","open-source-aion.4eabc3bc63":"CDCL s teoretičnimi vtičniki","open-source-aion.68836c550e":"Jedro","open-source-aion.0cdb7c9a36":"Linearni čas, brez povezave","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":"Projektni list","open-source-aion.d4a74b503a":"Preberite dokumentacijo","open-source-aion.b683cc6ce4":"AION odpre program 1. septembra 2026: infrastruktura za dokaze pri odločitvah umetne inteligence, s skladiščem in dokumentacijo, objavljenima skupaj. Naknadne razlage od vas le zahtevajo, da zaupate drugemu opisu istega sistema. AION namesto tega izda potrdilo o dokazu, ki ga lahko vsak preveritelj preveri brez povezave, v linearnem času, brez reševalnika.","open-source-aion.8f2ee5be83":"Rezultati umetne inteligence","open-source-aion.376868cca2":"za neodvisno preverjene","open-source-aion.hero.source":"Vprašajte o izdaji","open-source-aion.45471af790":"Izvor dogodkov","open-source-aion.ac9835d4bd":"Zapisniki izvajanja","open-source-aion.24f43d4446":"Sintaksna drevesa","open-source-aion.f6b229e148":"Vaše datoteke, vaša strojna oprema, vaše številke in preveritelj, ki prebere dokaz tujca","open-source-aion.144fbc96c6":"PREŠTETO","open-source-aion.719075bb86":"RAZČLENI IN REŠI","open-source-aion.8f84ba12df":"VAŠE LASTNE DATOTEKE","open-source-aion.8f088dbc07":"To je dvotedenska ocena s pisnim izidom in ne predstavitev. Korpus je vaš, strojna oprema je vaša, številke so vaše za interno objavo in nič pri vaji ne zahteva pogovora z nami. Orodje je priloženo skladišču, tako da se lahko zagon začne na dan, ko dobite dostop.","open-source-aion.36ef075645":"Pravilno ni mnenje AION-a o sebi. Vsaka datoteka v standardnem korpusu nosi status, za katerega je znano, da ga ima, in orodje primerja AION-ov odgovor s to oznako primer za primerom, tako da je število na koncu rezultat glede na navedeno resnico. Naslovni prostor na zagon je lahko omejen, kar prepreči, da bi ena patološka datoteka povlekla stroj s seboj.","open-source-aion.e5bce47d50":"Kaj prinese pilotni projekt","open-source-aion.680f97998b":"AION vključuje orodje za primerjalno vrednotenje, tako da so številke, ki jih navedete v poslovnem primeru, tiste, ki so jih ustvarile vaše lastne datoteke na vaši strojni opremi. Usmerite ga na korpus in zabeleži čas razčlenjevanja, čas reševanja in največjo uporabo pomnilnika za vsak primer, nato izpiše število pravilnih odgovorov. Zagon se ponovi na istem korpusu, tako da lahko drugo oceno postavite ob prvo vrstico za vrstico.","open-source-aion.2d5f8acea9":"in preberite številke nazaj","open-source-aion.5586707b63":"Najprej zaženite svoje datoteke","open-source-aion.67ec8d614c":"Preden se zavežete","open-source-aion.55744ee096":"Tudi ob vsem tem bo nekdo izpodbijal izid. To potrebuje pot, ne sestanek","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"GLEDANO V ŽIVO","open-source-aion.24538c3986":"RAZLIKA, NE ALARM","open-source-aion.368f25d10d":"Nekje pred zadnjim je bil dan, ko je bilo delo še popoldansko, in to je dan, ki ga želi vodja označiti, ker vsaka možnost po njem stane več. Vsakodnevno branje razlike je način, kako najti ta dan.","open-source-aion.c5701049a8":"Poročilo ima lastnika in ne čakalne vrste, vsaka vrstica na njem pa pomeni drugačno delo z drugačno nujnostjo. Ena je končana in ne zahteva dejanj nikogar. Ena ima še štiri dni, kar jo uvršča v načrt tega tedna in ne današnjega. Ena ima še en dan, kar jo uvršča med današnje jutranje delo. Ena je že dva tedna po roku, kar potrebuje ime ob njej in stavek, ki pojasni vrzel.","open-source-aion.26435b9406":"Vse, kar ima rok, je mogoče spremljati med izvajanjem, AION pa poroča o preostalem prostoru kot predznačeni številki in ne kot o opravljenem. Okno za odziv s štirimi preostalimi dnevi. Obdobje hrambe dva tedna po datumu, ko bi se moralo zaključiti. To je operativno branje, na katerega se lahko nekdo odzove to jutro. Številka se spreminja vsak dan, zato se poročilo bere kot razlika in ne kot alarm.","open-source-aion.f49579b8d6":"preden postane kršitev","open-source-aion.0e185152c8":"Razliko berete dnevno","open-source-aion.bc09e774e9":"Žive obveznosti","open-source-aion.cff8079f65":"Zapisi odgovarjajo na vprašanja po dejstvu. Nekatere obveznosti je treba spremljati med izvajanjem","open-source-aion.127edee78d":"PODPISANO","open-source-aion.b1c1ba1af8":"SEZNAM","open-source-aion.8d27ef68f5":"SEDEM SE LAHKO SPREMENI","open-source-aion.c84f34cb7c":"Pripisovanje je drugi mehanizem in ne dodatni stolpec istega zapisa. Podpis se uporabi nad vrstnim redom izpeljave, tako da kdo je ustvaril rezultat preživi spremembo izvajalca, dva enaka odgovora dveh dobaviteljev pa ostaneta razločljiva. To velja tudi, če sta bila oba ustvarjena iz istih navedenih vhodov.","open-source-aion.a76201631f":"Vsak vnos na tem seznamu imenuje komponento, ki se je spremenila, shranjeno potrdilo za njim pa je popolno, zato je ponovno preverjanje zagon in ne rekonstrukcija. Alternativa, ki jo ima večina organizacij, je izbira med ponovnim pregledom vsega in ponovnim pregledom ničesar, v praksi pa se ta izbira vedno sprejme na enak način.","open-source-aion.5c82441a97":"Zapis","open-source-aion.10d9103c24":"Rezultat, sprejet lani, je bil sprejet pod lansko pogodbo. Sedem različnih stvari se lahko spremeni pod njim: pravilo preveritelja, shema potrdila, pravilnik, pravilo prevajalnika, pogodba izvajalnega okolja, različica modela ali pogodba simulacije. Ko se ena od njih spremeni, ima vprašanje, kateri pretekli sklepi so temeljili na spremenjenem delu, odgovor, odgovor pa je seznam.","open-source-aion.1829734913":"dobite seznam za ponovitev","open-source-aion.6d49555943":"Ko se pravilo pozneje spremeni","open-source-aion.7f325552d8":"Vaša revizijska sled, z različicami","open-source-aion.d272027f73":"Lokalni zapis je enostavno voditi. Težje je ohraniti njegov pomen, ko se pravila spremenijo","open-source-aion.05a898ec87":"BREZ GOSTITELJA MODELA","open-source-aion.c530254e40":"VAŠE SPLETIŠČE","open-source-aion.66b3dbbe8f":"BREZ ODHAJNEGA KLICA","open-source-aion.8ae7a1670e":"Za pooblaščenca za varstvo podatkov, ki odgovori na kratek seznam vprašanj o tej poti, in samo o tej poti: nobenega obdelovalca za dodati v register, nobenega prenosa za utemeljiti, nobenega ponudnika modela v verigi in ničesar našega, kar bi lahko bilo nedosegljivo med vašim incidentom ali spremembo pod vami na tujem načrtu izdaj. Gradnja, ki jo imate, je gradnja, ki teče naslednje leto. Ta odgovor je enak, ne glede na to, ali je spletišče povezano ali izolirano.","open-source-aion.60ad7ae15b":"Dve poti lahko prečkata mejo in obe sta vaši za konfiguracijo. Gruča teče prek naslovov, ki jih nastavite sami. Zunanji dokazovalec, če ga želite vključiti, je program, ki ga namestite in teče kot lokalni proces na vašem lastnem računalniku.","open-source-aion.2f6a307ba7":"Za operaterje","open-source-aion.dbc08c41b9":"Privzeta gradnja AION nima odhodnega odjemalca. Preverjanje dokaza, prevajanje zahteve, spremljanje signala in izvajanje iskanja se vse zgodi na napravi, na kateri ste jih začeli, znotraj vaše lastne meje, na strojni opremi, ki jo nadzirate. V verigi ni gostiteljskega modela in ni poti do njega. Ista gradnja teče v izolirani sobi kot v povezani, ker nič na privzeti poti ne potrebuje omrežja za dokončanje.","open-source-aion.90c790a231":"in nič ne kliče navzven","open-source-aion.4b9230d5db":"Vse teče na kraju samem","open-source-aion.fe7f7fc61a":"Kje poteka delo","open-source-aion.ed461cacdf":"Dokaz o pravilih je ena stvar. Kje poteka delo, je naslednje vprašanje, ki ga ljudje postavijo","open-source-aion.640d41197b":"ENO DELOVALO","open-source-aion.29ff0fb82f":"SEDEM IZJAV","open-source-aion.431d64456a":"To je izjava o naboru pravil in ne vzorec preteklih primerov. Testiranje tisoč aplikacij pokaže tisoč aplikacij; preverjanje neinterference pokriva vsak par, ki ga pravila dovoljujejo, z uporabo samokompozicije, lastnostno usmerjene dosegljivosti in k-indukcije, z abstrakcijo, ki se zaostri, kjer par pokaže, da je bila preohlapna. Ko ne velja, tisto, kar se vrne, ni statistika. To sta dve aplikaciji, enaki v vseh javnih poljih, različni v tistem, o katerem ste vprašali, z dvema različnima izidoma, natisnjenima drug ob drugem. To je ugotovitev, na katero lahko pooblaščenec za skladnost ukrepa še isti dan.","open-source-aion.e5e1cd5506":"Vzemite tisto, ki jo regulatorji in pritožniki najpogosteje postavijo, v različnih besedah: ali je to polje spremenilo izid? Nanjo se odgovori kot lastnost nad dvema zagonoma. Povežite vsak javni vhod, pustite zadevno polje prosto na vsaki strani in zahtevajte, da se vidni izid ujema. Če se vedno ujema, izid ni bil odvisen od tega polja.","open-source-aion.227872d789":"Eden od njih, obdelan","open-source-aion.5f92fd5ed1":"Potrdilo je zanimivo samo zaradi stavka, ki ga omogoča izreči. Ta binarna datoteka ustreza temu grafu izvorne kode. Ta delovna obremenitev je tekla pod temi zmogljivostmi. To dejanje je imelo zahtevano odobritev. Ta optimum izpolnjuje to mejo. Ta trajektorija je spoštovala te invariante. Ta sklep izhaja iz teh omejitev. Ta izhod izvira iz tega natančnega modela in nabora parametrov.","open-source-aion.418a3bc2fc":"postavljen pred regulatorja","open-source-aion.7a7af31402":"Sedem izjav, ki jih lahko","open-source-aion.a13c1cf72d":"Kaj lahko dejansko dokažete","open-source-aion.20467ce964":"Primer se nanaša na eno aplikacijo. Nekatera vprašanja se nanašajo na dve hkrati","open-source-aion.dde18d1e41":"KDO JE LASTNIK","open-source-aion.f3b603a5b2":"V VREDNOSTIH","open-source-aion.53d2799375":"PRIMER","open-source-aion.f18bb15530":"Oboje sta ugotovitvi in obe imata lastnika. Nobena ni na voljo iz uspeha ali neuspeha. Protiprimer je tisti, ki vam pove, katero od obeh držite.","open-source-aion.d83e9c1af9":"Protiprimer tudi konča argumente, ki bi sicer trajali tedne, ker ni mnenje nikogar o tem, ali je pravilo prestrogo. To je primer, izrisan v resničnih vrednostih, nad katerimi pravilo deluje. Bodisi je primer mogoč nekje v vašem poslovanju, v tem primeru je pravilo pravilno in sistem je napačen, bodisi se primer ne more zgoditi, v tem primeru specifikaciji manjka omejitev, ki so jo vsi predpostavljali in nihče ni zapisal.","open-source-aion.7455444aea":"Ko pravilo ne velja, AION vrne posebno situacijo, ki ga krši, zapisano kot proza: katere vrednosti, kakšne vrste in katere pogoje kršijo. Inženir jo lahko reproducira in vodja jo lahko ovrednoti, in tokrat se oba prepirata o istem primeru.","open-source-aion.7d4873637b":"kot primer, ki ga je zlomil","open-source-aion.aeb268fac7":"Zlomljeno pravilo se vrne","open-source-aion.b5951203ea":"Kaj vam izroči neuspeh","open-source-aion.8a9a27b8f7":"Kar ostane, so stavki, ki lahko pomenijo dvoje, in o teh se sprašuje","open-source-aion.e1814a04c0":"PREGLEDNO","open-source-aion.20e7dea6cd":"NAVADNO BRANJE","open-source-aion.295ea7bb80":"ANGLEŠČINA OHRANJENA","open-source-aion.a4abbaea33":"Prevajanje je knjižnica vzorcev in ne model, zato isti stavek vedno proizvede isto branje in pregleda ni treba ponavljati, ker je orodje spremenilo mnenje med enim četrtletjem in naslednjim. Drugi pregledovalec, ki prebere isti stavek, pride do istega pogoja, kar naredi pregled prenosljiv.","open-source-aion.f3689055f1":"Vsak pogoj pride z enim stavkom v navadni angleščini, ki pove, kaj kodira, in s količinami, nad katerimi deluje, vsaka poimenovana z vrsto vrednosti, ki jo ima, in s svojo vrstico opisa. Tako lahko pregled opravi oseba, ki je lastnica zahteve, in ne samo oseba, ki je lastnica zapisa.","open-source-aion.cac3da045e":"Kako velja","open-source-aion.c6b765e4cc":"Zahteve napišejo ljudje, ki razumejo poslovanje, v pogoje pa jih pretvorijo ljudje, ki razumejo zapis, nato pa se ti dve različici leta razhajata. AION ju drži skupaj: zahtevo zapišete kot angleški stavek, pogoj, ki iz njega nastane, pa nosi vaš stavek s seboj. Pregledovalec bere oboje skupaj, zato se razhajanje pokaže na strani in ne v incidentu.","open-source-aion.589a38f560":"osebi, ki je vprašala","open-source-aion.5d212c3d75":"Pravilo ostane berljivo","open-source-aion.5373332e20":"Kdo lahko prebere, kaj je bilo preverjeno","open-source-aion.5f882ec681":"Sklic je uporaben le, če je pravilo, na katerega kaže, takšno, ki ga lahko preberejo vaši ljudje","open-source-aion.bca8d6442c":"IZVEDLJIVO","open-source-aion.705bc98c49":"POIMENUJE PRAVILO","open-source-aion.ab9f5d57e4":"POIMENUJE KORAK","open-source-aion.b4ba975800":"Ločevanje teh dveh stvari je tisto, kar sploh omogoči, da se zavrnitev pošlje dobavitelju, saj je obtožba edina stvar, ki je ne morete tiho umakniti iz odnosa z dobaviteljem.","open-source-aion.7a47f854de":"Ta oblika je tisto, na kar lahko reagirata revizor ali vodja dobaviteljev, saj spor spremeni v sklic. AION loči tudi dve vrsti napak, ki prideta pod eno besedo. Ali se korak ne da rekonstruirati, kar je napaka v dokazu in ugotovitev zoper tistega, ki ga je izdelal, ali pa korak uporablja pravilo, ki ga ta preverjevalnik ne pozna, kar je vprašanje obsega za vas in ne ugotovitev zoper nikogar.","open-source-aion.d9469b7dda":"Napaka, ki se glasi preverjanje ni uspelo, se ne da dodeliti, izpodbijati ali popraviti, in pride kot spor in ne kot ugotovitev. AION vrne lokacijo in razlog: kateri korak, v kateri datoteki, katero pravilo naj bi uporabljal in kaj je manjkalo, ko je bil korak znova izračunan. Zavrnitev se lahko vrne ekipi, ki je dokaz izdelala, z reproducibilnim naslovom. Če dokaza ni mogoče rekonstruirati, je lastništvo pri izdelovalcu; če preverjevalnik nima imenovanega pravila, je to odločitev o obsegu. To sta različni vrsti čakalnih vrst in različni sanaciji.","open-source-aion.ccc6a09991":"s korakom in razlogom","open-source-aion.3619f211ef":"Neuspelo preverjanje se vrne","open-source-aion.29801085dc":"Izhod, ki mora biti uporaben","open-source-aion.57c6ba11fc":"Sedem izdelovalcev vodi svoj izhod. AION standardizira ovojnico in usmerjanje za svoje dokaze.","open-source-aion.f37804f36b":"ENA OVOJNICA","open-source-aion.8a3b4bf313":"SEDEM IZDELOVALCEV","open-source-aion.479f1de8ea":"Skupna ovojnica organizaciji omogoči en register, en model združljivosti in en nabor prizadetih elementov, ko se pravilo spremeni. Vsaka družina potrdil ohrani svoj preverjevalnik in pravila zavrnitve. Nova družina se pridruži tako, da registrira ta pravila in svoj preverjevalnik; AION ne postane izdelovalec. Register je del, ki raste.","open-source-aion.5b958e86c7":"Reševalnik lahko izda logična, optimizacijska ali časovna potrdila. Twin in FMI proizvajata različne izhode, vendar si delita družino simulacije in FMI. Izdelovalec pove, kaj je bilo narejeno; družina potrdil pove, kako se preverja njegova trditev. Ti dve stvari sta zapisani ločeno, zato nobene ni mogoče razbrati iz druge.","open-source-aion.57e1cc2701":"Kaj spremeni ena ovojnica","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin in FMI so sedem izdelovalcev različnih izhodov, ne sedem družin potrdil. AION da njihovim dokazom eno ovojnico in usmeri vsako potrdilo k preverjevalniku, specifičnemu za družino. Ovojnica nosi izdelovalca, družino, shemo in deklarirane vhode, medtem ko preverjevalnik družine ohrani tehnični pomen. Dobavitelj lahko spremeni svojo implementacijo, ne da bi spremenil mejo dokazov organizacije; le sprememba družine ali sheme razširi pregled združljivosti.","open-source-aion.65a41e884e":"ena ovojnica za dokaze","open-source-aion.837663a52a":"Sedem izdelovalcev in","open-source-aion.647e0f46ec":"Sedem izdelovalcev","open-source-aion.af6010147d":"En dobavitelj je en odnos. Zanimivo vprašanje je, kako daleč to sega","open-source-aion.35ecafecfb":"VAŠ RAČUNALNIK","open-source-aion.0676f9f8de":"TRI STVARI","open-source-aion.dfc87eabb4":"To premakne pogovor s terena, kjer se dobavitelji počutijo udobno. Od njih ne zahtevate več, da vas prepričajo, in ne plačujete več za reprodukcijo njihovega okolja. Ko imate te tri stvari, je preverjanje vaše in ga lahko ponovite, kadar koli želite, na kateri koli strojni opremi želite, tudi teden dni po izteku pogodbe.","open-source-aion.7677ed77e3":"Vredno je biti natančen glede artefakta, ker ni vedno datoteka. Odvisno od družine je lahko datoteka, arhiv, tok, podpisan sveženj, par sledi, priča, potrdilo o izvedbi ali strukturirana izpeljava. Kar vedno je, ne glede na obliko, je nekaj, kar lahko preverjevalnik prebere brez prisotnosti izdelovalca.","open-source-aion.a29def781f":"Kaj potrdilo dejansko je","open-source-aion.fdca1fef67":"Potrdilo ni dnevnik in ni povzetek. Je dokaz, ki ga je delo pustilo za seboj, in kar dobavitelj preda, so tri stvari: trditev, deklarirani vhodi in pogodba, na podlagi katere je nastala, ter potrdilo, ki ga je sistem izdelal. Ne njihova licenca, ne njihova različica, ne njihov računalnik. Te tri stvari potujejo skupaj in za njihovo preverjanje od dobavitelja ni potrebno nič več.","open-source-aion.b054d236cd":"namesto njihove programske opreme","open-source-aion.53e1575f60":"Preverjate potrdilo","open-source-aion.5e40f4ba8a":"Sprememba položaja","open-source-aion.b9e2767b28":"Obstaja pot, ki ni niti verjeti jim niti znova zagnati njihove programske opreme","open-source-aion.7d87348ad6":"VAŠE IME NA NJEM","open-source-aion.48a5aca907":"NJIHOV SISTEM","open-source-aion.32c3cafa08":"To je položaj, ki ga revizor gleda, ko vas vpraša, kako ste se prepričali, tudi v skladu s pravili o dokazih, kot so tista iz akta EU o umetni inteligenci. AION ga spremeni tako, da vsakemu od teh rezultatov dodeli potrdilo, ki ga lahko preverite, brez reprodukcije dobavitelja in brez dostopa do česar koli, kar imajo za svoje. Preverjanje teče na vašem računalniku, samo na podlagi potrdila.","open-source-aion.ac90e72b2c":"Običajni izhodi obeh končajo na istem mestu. Lahko zaprosite za njihove dokaze, kar je dokument, ki so ga napisali o svoji programski opremi. Lahko pa sami reproducirate njihov sistem, kar zahteva njihovo licenco, njihovo različico in njihovo okolje, pa še vedno ostane odvisno od stvari, ki je odgovor ustvarila.","open-source-aion.fc63c534d2":"Reševalnik pravi, da je urnik izvedljiv. Sistem umetne inteligence doseže reguliran sklep. Agentski sistem izvede operacijo v vašem imenu. Prevajalnik ustvari varnostno kritičen izdelek. Izvajalno okolje izvede nadzorovano obremenitev. Simulacija potrdi oblikovalsko odločitev. Digitalni dvojček poroča, da je delovno stanje varno. V vsakem od teh primerov se je delo zgodilo nekje drugje, posledica pa pade na vas.","open-source-aion.c9672e2ac8":"vaše ime je na odgovoru","open-source-aion.925d7b4a2d":"Njihov sistem ga je ustvaril","open-source-aion.47b025f850":"Kje je odgovornost","open-source-aion.905aee629b":"Postopek, razlog, ki ga lahko preberete, in isto pravilo za vse, ki jih zadeva","open-source-aion.4d0ee37058":"DATUM","open-source-aion.6ccb4a6f6a":"ISTI RAZLOG","open-source-aion.84adcc762b":"ISTO PREVERJANJE","open-source-aion.56c6f422d8":"To je pismo, ki ga lahko nekdo napiše. Namesto da bi rekli, da se je sistem odločil, lahko navedete pravilo, imenujete datum, imenujete različico in vprašate osebo, ki ga je napisala, ali je to mislila.","open-source-aion.073cdea47b":"To je vredno le, če ga lahko vidite, zato vam ostanejo tri stvari, ki jih lahko uporabite. Pravilo, v navadnih besedah, ki jih lahko preberete na glas. Razlog, zakaj se je uporabilo za vas, z navedbo tega pravila z vašo situacijo v njem. In datum, ko je bil postopek preverjen. Ta zapis navaja, kaj ga je preverilo in proti kateri različici pravil je bil preverjen.","open-source-aion.a50f912efb":"Kaj lahko z njim naredite","open-source-aion.1d94c73b03":"Isti postopek dajte AION-u dvakrat in preverjanje bo enako, v ponedeljek in v petek, za vas in za osebo za vami v vrsti. Ne gre za to, da vsi dobijo isti odgovor, ker ljudje prinesejo različne situacije. Gre za to, da se samo preverjanje ne spreminja in nihče ne razlaga vašega primera sproti. Čez leto dni isti postopek preverjajo ista pisana pravila, zato je odgovor, ki ste ga dobili, še vedno mogoče pojasniti.","open-source-aion.fba7a52bf4":"v ponedeljek in v petek","open-source-aion.77a3327a99":"Preverjeno na enak način","open-source-aion.cebde51ae2":"Kaj vam ostane","open-source-aion.a566f0cb1b":"Čas je ena vrsta pravila. Večina jih je navadnih, uporabljenih za vse","open-source-aion.29231cd04d":"PRAVOČASNO","open-source-aion.d89f7642e7":"SPREMLJANO","open-source-aion.5d491ce50f":"PREOSTALIH DNI","open-source-aion.c50722f442":"Isto branje deluje po datumu tako kot pred njim. Štirinajst dni nazaj je dejstvo, o katerem lahko nekoga vprašate, z datumom, ne pa rdeča oznaka, ki je prišla brez opozorila.","open-source-aion.0b1cbd5f8a":"Opravljen preizkus vam ne pove ničesar, dokler ne preneha biti opravljen, in takrat so poceni možnosti že izginile. Številka vam pove, kje ste: dvaindvajset dni preostalih je zapis v dnevniku, štirje dnevi preostali so ta teden, en dan preostal je to jutro.","open-source-aion.af41b675b0":"Kaj vam to da","open-source-aion.2ff91b62ec":"Pravila z uro v njih so tista, ki ljudi ujamejo. Odgovor, ki ga je treba dati v tridesetih dneh, okno za vračilo, obdobje, po katerem je treba nekaj izbrisati. AION jih spremlja, medtem ko tečejo, in poroča, koliko prostora je danes ostalo, kot število dni.","open-source-aion.94dc6c2b80":"dolgo pred zadnjim","open-source-aion.6bdbc0422a":"Vidite lahko preostale dni","open-source-aion.37f768721f":"Roki, ki vas zadevajo","open-source-aion.e3c2d4b24a":"Delo na kraju samem pomeni tudi, da lahko pazi na uro za vas","open-source-aion.4ace2cc9bc":"BREZ RAČUNA","open-source-aion.c5c3055a7b":"NIČ POSLANO","open-source-aion.a5b9137c2b":"OSTANE TUKAJ","open-source-aion.874bab5372":"Če je povezava sploh vključena, je to tista, ki jo je nekdo namerno vzpostavil med svojimi napravami, in je izklopljena, dokler je ne vklopi. Vaš stavek preberejo pisana pravila, v istem prostoru kot vi, in odgovor pride z izklopljeno povezavo. Nič ni zapustilo naprave, da bi ga ustvarilo, in nič ni bilo poslano stran.","open-source-aion.4a03f17947":"Brez računa, brez prijave in brez zunanje storitve, ki bi morala delovati, biti zaupanja vredna ali biti še naslednje leto v poslu, da dobite odgovor.","open-source-aion.f10eb79b5b":"Kaj to pomeni za vas","open-source-aion.c17d4e01b4":"Številna orodja odgovorijo na vprašanje o vas tako, da pošljejo vaše podatke stran in čakajo na odgovor. Vaši podatki so potovali, do podjetja, ki ga niste izbrali, morda v državo, katere imena ne boste nikoli slišali. AION opravi delo tam, kjer že je. Nič ni poslano, ker ni ničesar, s čimer bi poslali.","open-source-aion.9e50609149":"na napravi, pri kateri ste","open-source-aion.ca67037369":"Odgovor je izračunan","open-source-aion.7df600af96":"Kam gredo vaši podatki","open-source-aion.399483042a":"Biti vprašan je ena polovica. Druga polovica je, kaj vam povedo, ko je odgovor ne","open-source-aion.0b5b7048ea":"VI IZBERETE","open-source-aion.f12c755afa":"VPRAŠA VAS","open-source-aion.300453f44e":"DVA POMENA","open-source-aion.6debd2c487":"Kar zveni kot majhna vljudnost. To je razlika med pravilom, s katerim ste se strinjali, in pravilom, ki ga je nekdo uganil v vašem imenu, v naglici, na dan, ko vas ni bilo. Ugibanje je običajen način, kako se to naredi, in nikomur ni nikoli povedano, da se je zgodilo. Vprašanje stane trenutek in odstrani ugibanje iz zapisa.","open-source-aion.6f02dd9d43":"AION se ustavi in vpraša. Navede besede, o katerih ni prepričan, vam jih vrne, predstavi obe branji v preprostem jeziku, postavi vprašanje z vašo lastno frazo v njem in počaka. Vi izberete. Nič se ne odloči, dokler je vprašanje odprto.","open-source-aion.0ccfcd0de4":"Kaj se spremeni","open-source-aion.b3124516ab":"\"Prekliči, če je zamuda daljša od ene ure.\" Je zamuda petinsedemdeset minut daljša od ene ure, ali se ure štejejo cele, torej je petinsedemdeset minut ena ura in ena ura ni več kot ena? Obe branji sta navadna angleščina. Ne strinjata se glede natanko enega primera in ta primer se bo pojavil.","open-source-aion.4449c95cf9":"pomenita dve stvari, vpraša","open-source-aion.75ca04ac1b":"Če bi vaš stavek lahko","open-source-aion.2297deb89a":"Ko je vaš stavek nejasen","open-source-aion.32cf0852b8":"Stavek lahko pomeni tudi dve stvari hkrati, in to je vredno ustaviti se","open-source-aion.b5d2541ad8":"BREZ ŽARGONA","open-source-aion.3b7c198e57":"VRNE SE","open-source-aion.c4cc4b9845":"SVOBODNE BESEDE","open-source-aion.5c9a5c3396":"In ko isti stavek preberemo znova, ustvari popolnoma isto pravilo, ker se v AION nič ne uči, ne spreminja in nima boljše ideje vmes. Pravilo, s katerim si se strinjal, ostane pravilo, s katerim si se strinjal, in oseba, ki ga prejme, bere tvoj stavek, ne pa povzetek nekoga drugega. Nič na poti ga ne spremeni v besede drugih.","open-source-aion.ba41f25c15":"Iz ohranjanja stavka sledita dve stvari. Lahko ugotoviš, ali je bil razumljen na dan, ko si ga napisal, tako da ga prebereš, namesto da bi izvedel iz incidenta leto kasneje.","open-source-aion.c19473d784":"Pravilo zapiši v običajnih besedah in AION te besede ohrani. To se sliši kot majhna vljudnost, dokler ne postane pomembno: mesece kasneje, ko je nekaj ustavljeno zaradi tega pravila, se tvoj stavek vrne na vrh razlage, v besedah, ki si jih izbral.","open-source-aion.4c0e51d183":"bi to povedal na glas","open-source-aion.dcf65c0f8a":"Pravilo zapiši tako, kot","open-source-aion.e1a651b90e":"Povedati, kaj želiš","open-source-aion.beda6f7681":"Ponovni izračun zahteva zapisan izračun. Enako velja za pravilo, in tvoje je lahko stavek","open-source-aion.ef6371cd2e":"USTAVI SE","open-source-aion.47ce22a1f7":"KORAK ZA KORAKOM","open-source-aion.9195df51f1":"DRUGI PREBIR","open-source-aion.b66352de76":"Ustavljanje je pomembna polovica. Vsakdo se lahko strinja s tabo. Nekaj, kar se bo ustavilo in pokazalo na vrstico, je vredno imeti, in tega je zelo malo.","open-source-aion.e04fafc8fc":"AION znova sešteje stolpec. Ne za račune, ampak za težjo vrsto dela, ki ga stroji opravijo, ko odločijo, da je nekaj dovoljeno, varno ali nemogoče, ko nekaj zgradijo, ko nekaj izvajajo v tvojem imenu ali ko ugotovijo, kaj bi se zgodilo, preden kdo poskusi. Prebere izračun, ki ga je zapisal prvi stroj, sam ponovi vsak korak in se ustavi pri prvem, ki ga ne more izpeljati.","open-source-aion.b55b759c73":"Ko je račun videti napačen, ne razpravljaš o tem, ali je vsota pravilna. Sam znova sešteješ stolpec. Če dobiš isto številko, vsota velja. Če se ustaviš pri četrti vrstici, ker ne deluje, lahko natančno poveš, katera vrstica, in spor je končan v enem stavku.","open-source-aion.59141b0dfa":"namesto da bi verjel na besedo","open-source-aion.fa22d5033b":"Nekdo ponovno izračuna vsoto","open-source-aion.333a6c87f2":"sprememba ustvari prizadeto množico in čakalno vrsto, ne tihe nove razlage preteklosti","open-source-aion.0eecb96558":"je pet dejstev","open-source-aion.59e22ed738":"ustvarjen, podpisan, preverjen, sprejet in še vedno združljiv","open-source-aion.d78c662e5b":"preverjeno, ne domnevno","open-source-aion.5b44284acd":"še vedno združljiv z","open-source-aion.cc4bc74f90":"s pogodbeno različico","open-source-aion.3bb51eeea5":"sprejet pod","open-source-aion.72954f75cf":"z različico preverjevalnika","open-source-aion.3741770a87":"preveril","open-source-aion.7fc7c8aef9":"preko zgoščene vrednosti izpeljanega vrstnega reda","open-source-aion.d2a7817a72":"podpisal","open-source-aion.9d7c5e8097":"z različico","open-source-aion.8fffa5fcb8":"ustvaril","open-source-aion.756e62f03a":"En rezultat, pet dejstev","open-source-aion.2b8be4ecd3":"Pripisovanje deluje na lastnem mehanizmu: podpis Ed25519 nad zgoščeno vrednostjo BLAKE3 izpeljanega vrstnega reda, z monotono nonco in časovnim žigom, preverljiv proti javnemu ključu proizvajalca. Sprejetje deluje na drugem, ki nosi identiteto in različico preverjevalnika ter pogodbeno različico, ki jo je odobril. Ko se karkoli spodaj premakne, pravilo preverjevalnika, shema potrdila, pravilnik, pravilo prevajalnika, izvajalna pogodba ali različica modela, potrdila, ki so razglasila odvisnost od tega, tvorijo prizadeto množico in so v čakalni vrsti za ponovno preverjanje, pri čemer je spremenjena komponenta imenovana.","open-source-aion.6b8169d142":"Sodba sama je beseda brez avtorja. Pet dejstev, ki se običajno zlijejo v eno, je tu ločenih: kdo je ustvaril rezultat, kdo ga je podpisal, kaj ga je preverilo, pod katero pogodbo je bil sprejet in ali je še vedno združljiv s pravili, kot veljajo danes. To je pet različnih vprašanj in štiri od njih preživijo zamenjavo dobavitelja.","open-source-aion.2cd4b335f4":"Preverjevalnik ga preveri.","open-source-aion.d15fbc9566":"Nič ni preverjeno.","open-source-aion.481d0fc02c":"Celoten argument","open-source-aion.ca75c84634":"Vsako potrdilo tukaj se konča kot en zapis, zapis pa ohranja dejstva ločena","open-source-aion.3ecc9abb23":"RAZŠIRLJIVO","open-source-aion.8112bd91bc":"ZRAČNA REŽA","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Kadar je posamezno preverjanje resnično preveliko za en stroj, se delo razdeli na kocke med stroji s skupno uporabo klavzul med njimi, sestavljen rezultat pa je sprejet le po preverjanju pokritosti: nobeni dve kocki ne smeta popraviti istega nabora literalov, in tisto, kar zajemata, mora sešteti do celotnega prostora, ne pa do skoraj vsega. Združitev, ki manjka za eno, je zavrnitev, kar je ista disciplina kot drugod v izdelku. Poleg tega sta register preverjevalnikov in razširitveni API način, kako se družina potrdil, ki je nihče tukaj ni napisal, preveri tukaj.","open-source-aion.04cd68c7fb":"Samo dve stvari lahko prečkata mejo in obe sta konfigurirani s strani tebe. Gruča deluje preko naslovov, ki jih določiš. Zunanji proizvajalec je program, ki ga namestiš in zaženeš kot lokalni proces. V verigi ni gostovanega modela in ni naše storitve, ki bi lahko bila nedosegljiva med tvojim incidentom ali se spremenila pod tabo po urniku izdaj nekoga drugega. Okolje z zračno režo preverja natanko tako kot povezano, ker preverjanje nikoli ni potrebovalo proizvajalca.","open-source-aion.ac1913e46c":"Dve poti ven, in obe sta tvoji","open-source-aion.c2193fefe2":"Preverjanje je izračun kot vsak drug, in kje se izvaja, je tvoja odločitev. AION izide 1. septembra 2026: ko je repozitorij javen, poveži knjižnico, zaženi ukaz ali postavi storitev znotraj svoje meje. Privzeta gradnja ne nosi odhodnega odjemalca, zato preverjanje potrdila ne potrebuje računa, ponudnika ali poti iz stroja, na katerem se je začelo.","open-source-aion.72d09c5994":"storitev ali enklava","open-source-aion.f8ac38e647":"Knjižnica, ukaz","open-source-aion.604918db00":"Kje poteka preverjanje","open-source-aion.c07ebfbab5":"Arhiv miruje. Zadnje vprašanje je, kje vse to dejansko teče","open-source-aion.d34941b7ce":"INDEKSIRANO","open-source-aion.79ae623ce9":"NASLOVLJENO Z VSEBINO","open-source-aion.0f7d1ea9ca":"Del, ki ga je treba zgraditi in ne predpostaviti, je indeks. Ko se spremeni pravilo preverjevalnika, shema potrdila, pravilnik, pravilo prevajalnika, pogodba izvajalnega okolja ali različica modela, se potrdila, katerih veljavnost je bila odvisna od spremenjenega dela, poiščejo z iskanjem, ne s pregledovanjem vsega in upanjem. Odvisnosti so deklarirane v ovojnici, zato je prizadeti niz poizvedba, čakalna vrsta za ponovno preverjanje pa njen rezultat, pri čemer je spremenjeni del naveden pri vsakem vnosu. Alternativa, ki jo večina organizacij dejansko ima, je izbira med ponovnim pregledom vsega in ponovnim pregledom ničesar.","open-source-aion.144711734a":"Shramba je uporabna le, če jo lahko odpre tudi bralec, ki je šel naprej, zato vsak zapis nosi podpis proizvajalca, identiteto in različico preverjevalnika, ki ga je sprejel, različico pogodbe, pod katero je bil sprejet, in odvisnosti, na katerih sloni. Test združljivosti se izvede na poti nazaj.","open-source-aion.22f96be502":"Prizadeti niz je pravi indeks","open-source-aion.a1b04ec691":"Potrdila, ki jih je vredno hraniti, so tista, o katerih vas bodo spraševali leta pozneje. AION shranjuje sprejeto potrdilo kompaktno in po naslovu vsebine: identifikatorji so shranjeni kot razlike, ponavljajoči se vzorci so kodirani z dolžino zaporedja, enaki poddokazi so zgoščeni in shranjeni enkrat, celota pa je naslovljena po svoji vsebini in ne po tem, kam jo je nekdo uvrstil. Naslov vsebine omogoča bralcu, ki je šel naprej, da najde isto potrdilo in ga preveri drugič, leta po izvedbi, ki ga je ustvarila.","open-source-aion.c017c017d7":"in ostaja preverljivo","open-source-aion.2e10b84b57":"Potrdilo ostane majhno","open-source-aion.9263a81467":"Shranjevanje preverjenega","open-source-aion.1f029bacad":"Šest družin in vsaka konča v istem zapisu","open-source-aion.1deb4d4a29":"PUTANJA","open-source-aion.f8d5b44c34":"INVARIANTA","open-source-aion.52dd7acef9":"SKLADNOST","open-source-aion.24d7374cb9":"Ločevanje teh je tisto, zaradi česar sta prvi dve vredni. Zagotovilo, ki tiho namiguje na tretje, je tisto, ki odpove pred regulatorjem, potrdilo, ki imenuje lastno mejo, pa je tisto, ki preživi sestanek.","open-source-aion.0e4ffe42fa":"Simulaciji se postavljajo tri različna vprašanja in biti pošten glede tega, kateri dve sta tukaj odgovorljivi, je vsa strokovna vsebina tega razdelka. Skladnost izvajanja sprašuje, ali so deklarirani model, parametri in konfiguracija dejansko ustvarili to trajektorijo, in to je preverljivo. Preverjanje matematičnih lastnosti sprašuje, ali navedene invariante veljajo med izvajanjem, in tudi to je preverljivo, pri čemer napaka vrne sled in ne sodbe. Fizična veljavnost sprašuje, ali model predstavlja resnični svet, in nobeno potrdilo tega ne ugotavlja. To pripada lastniku modela in mu pripada trajno.","open-source-aion.bb70d13ca4":"Meja, na katero je ta razdelek pozoren","open-source-aion.ac558913f9":"Rezultat simulacije se uporablja za odločitve dolgo po tem, ko je izvedba izginila. Potrdilo nosi identiteto modela in FMU, nabor parametrov, začetno stanje, konfiguracijo reševalnika, zaporedje časovnih korakov ali dogodkov, prehode stanj, izvedena preverjanja invariant, status konvergence ali zaključka, zgoščeno vrednost nastale trajektorije in protiprimer sledi, kjer lastnost ne uspe.","open-source-aion.1c9f5f0f21":"odgovarja natanko na dve","open-source-aion.242c47d00a":"Tri vprašanja in to","open-source-aion.a635f9edf3":"Twin in FMI, potrjeno","open-source-aion.43f8bc442f":"Izvajanje je en zagon ene stvari. Simulacija jih naredi milijone hkrati","open-source-aion.d3a968f797":"ID IZHODA","open-source-aion.d79014995c":"POTRJENO","open-source-aion.2fbbf64505":"ZMOŽNOSTI","open-source-aion.51fd9d7843":"Determinizem je tisto, zaradi česar je vse ostalo preverljivo. Ker so prehodi deterministični glede na modul, vhode in dovoljenja, jih lahko preverjevalnik spremlja brez ponovnega izvajanja delovne obremenitve v njenem prvotnem okolju, dve izvedbi, ki trdita isto identiteto izhoda iz istih vhodov, pa se bodisi strinjata bodisi pokažeta na prehod, kjer sta se nehali strinjati. To je v praksi potrditev izvajanja: kaj je teklo, pod kakšno avtoriteto, preverljivo brez ponovnega zagona.","open-source-aion.0d0fd79859":"Večina vprašanj o delovni obremenitvi po dejstvu so v resnici vprašanja o njeni avtoriteti. Kaj je ta stvar lahko dosegla med izvajanjem in ali je dosegla še kaj drugega. Potrdilo, ki nosi dovoljenja zmožnosti skupaj s prehodi, na to odgovori brez branja dnevnika in odgovori nekomu, ki ne upravlja izvajalnega okolja.","open-source-aion.890c61e134":"Zakaj je nabor zmožnosti zanimivo polje","open-source-aion.1331fa2052":"Izhodni status pove, da je delovna obremenitev končana. Izvedbeno potrdilo pove, kaj je končalo: identiteto delovne obremenitve in modula, različico izvajalnega okolja, dovoljenja zmožnosti, ki jih je imela, vhode, ki jih je prejela, deterministične prehode stanj, skozi katere je šla, omejitve virov, znotraj katerih je tekla, identiteto izhoda, ki ga je ustvarila, in ali je bila dokončana ali ujeta. Vsako od teh je polje, iz katerega je mogoče odgovoriti na poznejše vprašanje, brez vračanja na stroj, ki ga je izvajal.","open-source-aion.65576ef482":"pod katerimi zmožnostmi","open-source-aion.74a9894f4f":"Kaj je teklo, na čem in","open-source-aion.eabc461dcf":"Selvedge, potrjeno","open-source-aion.b4792818f1":"Sestavljen artefakt mora še vedno nekam teči in ta zagon je tudi trditev","open-source-aion.414cbcc9ec":"IZVOR","open-source-aion.24466ece94":"VIR V ARTEFAKT","open-source-aion.c81d361198":"Ta natančnost je tisto, zaradi česar je artefakt uporaben naprej v verigi. V reguliranem okolju vprašanje le redko je, ali je prevajalnik dober. Vprašanje je, ali ta binarna datoteka ustreza temu izvornemu grafu pod to konfiguracijo optimizacije, kar je vprašanje z odgovorom, in odgovor potuje z artefaktom, ne pa živi v sistemu za gradnjo, ki ga je ustvaril. To v praksi pomeni izvor gradnje: trditev o tem artefaktu, ki jo je mogoče preveriti brez sistema za gradnjo, ki ga je naredil.","open-source-aion.6c1fd4df2b":"Izjava je disciplina. Certifikat ne trdi, da je bila vsaka optimizacija pravilna kot ena nediferencirana trditev, ker ta trditev ni niti preverljiva niti resnična za noben pravi prevajalnik. Natančno poimenuje, katere lastnosti ohranjanja ali enakovrednosti vzpostavlja pri katerih transformacijah, in preverjevalnik preveri prav te in ne poroča o ničemer drugem.","open-source-aion.fd5ed4a1d8":"Poimenovane trditve, ne pavšalna","open-source-aion.82a76c947a":"Prevajalnik vam izroči artefakt in izhodno stanje. Certifikat prevajanja nosi, kaj naj bi ta artefakt bil: identiteto izvora ali grafa, iz katerega izhaja, različico prevajalnika in optimizacije, zaporedje transformacij, uporabljenih pri tem, ohranjanje tipov in oblike pri teh transformacijah, izbrana jedra, identiteto ustvarjenega artefakta ter preverjanja enakovrednosti ali invariant, ki jih certifikat razglaša.","open-source-aion.06efebf0f5":"o izvoru, iz katerega izhaja","open-source-aion.3f208ecc5e":"Binarna datoteka je tudi trditev","open-source-aion.716710e273":"Kera, certificiran","open-source-aion.89572e64cc":"Organizacija je lahko certificirana. Tudi prevajalnik, ki je zgradil tisto, na čemer teče","open-source-aion.502114d554":"POTRDILA","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"POOBLASTILO","open-source-aion.965738574a":"Vrednost se pokaže, ko je operacija sporna. Sled delovnega toka je organizacijska pripoved o sebi. Certifikat, ki ga je neodvisni preverjevalnik sprejel pod imenovano različico pogodbe, je drugačen razred dokazov, in razlika je natanko tista, ki jo AION obstaja, da bi jo ustvaril.","open-source-aion.f4652935ed":"To je certifikat o urejeni operaciji, ne o tem, kaj je agent mislil. Razrešuje vprašanja, ki jih bo nekdo dejansko zastavil: ali je pooblastilo obstajalo v trenutku, ko se je sprožilo dejanje, ali so se vrata, ki bi morala zadržati, zadržala, ali je bilo odobritev pritrjena na dejanje in ne na sporočilo v bližini, in ali so prehodi stanj, ki jih zapis trdi, tisti, ki jih pogodba dovoljuje. Vsa ta je mogoče preveriti strojno in nobeno od njih ne zahteva dostopa do modela.","open-source-aion.be15814346":"Kaj vzpostavlja in česa ne","open-source-aion.38d3c11f27":"Dokončan delovni tok je trditev kot vsaka druga. Organizacijski certifikat vzpostavlja urejeno operacijo, ki se je dejansko zgodila: cilj in različico pravilnika, pod katerim je potekala, oblikovano organizacijo, razrešene vloge in pooblastila, izvedene naloge in njihove prehode, prečiščena pravila, pritrjena odobritve, izvedena dejanja in zabeležena potrdila.","open-source-aion.65a8805f19":"da je sledil svoji pogodbi","open-source-aion.f827cfbcbf":"Operacijo je mogoče dokazati","open-source-aion.07fba05892":"Nexus, certificiran","open-source-aion.c6fd961235":"Razmišljanje je en proizvajalec. Organizacijo agentov je težje certificirati","open-source-aion.2764d46fd5":"BREZ KLICA MODELA","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Tudi angleški zahtevek za vmesnik spada sem, ker je certifikat razmišljanja le toliko pregleden, kolikor je pregledna omejitev na njegovem vrhu. Deterministična knjižnica vzorcev vrne formalne pogoje, razvrščene po tem, koliko sprožilnih fraz se je ujemalo, pri čemer vsak nosi svoj navaden zapis in količine, nad katerimi deluje, in kjer stavek resnično nosi več kot en zapis, dvigne dvoumnost z imenovanim vprašanjem, namesto da bi jo tiho razrešil.","open-source-aion.c4d7d27503":"Spodaj so proizvajalci obeh vrst in so sprejeti skozi isto mejo. AION sam odloča o Boolovi strukturi, aritmetiki razlik, bitnih vektorjih in enakosti z neinterpretiranimi funkcijami, prek popolnega iskanja, usmerjenega s konflikti, z dvema opazovanima literaloma, hevristiko aktivnosti, urejeno s kopico, geometrijskimi ponovnimi zagoni in brisanjem klavzul na podlagi aktivnosti. Ob nezadovoljivem odgovoru vrne jedro, ki poimenuje, katere vaše lastne omejitve so se spopadale, namesto da bi opisalo iskanje, ki jih je našlo. Zunanji reševalec teče kot svoj proces in vrne dokaz, in nič razen te datoteke ne prečka med njima. Vsako orodje, ki odds dokaz v formatu, za katerega AION nosi preverjevalnik, je primerno, med njimi tudi cvc5, in meja je format, ne proizvajalec.","open-source-aion.5264c1875d":"Proizvajalci, domači in zunanji","open-source-aion.09b6611fc2":"Loom razmišlja. Kar AION preverja, je artefakt, ki ga razmišljanje pusti za seboj: omejitve, ki so bile aktivne, pravila, ki so bila uporabljena, podproblemi, ki so šli reševalcu, certifikati, ki so jih ti reševalci vrnili, najdene protislovja, meje, ki so zaprle odločitev, in končno uveljavljena trditev. Eksplicitni računski artefakti in razglašene izpeljave, preverjeni kot taki.","open-source-aion.2224f4889f":"izpeljava, na kateri sloni","open-source-aion.1aceefa727":"Sklep pride z","open-source-aion.40e8df9cbd":"Loom in reševalci pod njim","open-source-aion.cbac360b09":"Boolovi in aritmetični koraki so ena družina. Razmišljanje je tam, kjer se sklad začne","open-source-aion.9786d05f5a":"FUZZIRANO","open-source-aion.a9bb80378b":"ZNOVA IZPELJANO","open-source-aion.0204e8b30c":"PRAVILO ZA PRAVILOM","open-source-aion.a43c278b96":"Na ravni klavzule je vsak dodatek znova izpeljan iz prvih načel: predpostavi se, da je nova klavzula napačna, razširijo se klavzule, na katere se sklicujejo njeni namigi, in zahteva se protislovje, ki so ga ti namigi obljubili. Kjer samo širjenje tega ne doseže, gre dodatek na strožji pogoj z imenovanim pivotnim literalom proti vsaki klavzuli, s katero bi se ta pivot lahko razrešil, tako da koraka ni mogoče potrditi zgolj z imenovanjem pivota, ki ga klavzula ne vsebuje. Formula in dokaz se bereta vrstico za vrstico, zato se dokaz, večji od pomnilnika na napravi, še vedno preveri v celoti. AION-ova lastna zbirka je sovražna do AION-a: namig, ki se sklicuje na korak, ki naj bi ga utemeljil, dva koraka, ki stojita drug na drugem, pivot, ki je naveden, a ga ni, dve klavzuli pod enim identifikatorjem, končni znak, uporabljen kot identifikator, izbris klavzule, ki ni bila nikoli dodana, in ista klavzula, izbrisana dvakrat. Vsak bralnik, ki se dotakne datoteke, ki jo je napisal nekdo drug, je fuzzingan proti semenskemu korpusu.","open-source-aion.13a29c20f0":"Trije pogoji so pred preverjanjem pravil na vsakem koraku, v določenem vrstnem redu: ali se korak sklicuje sam nase, ali je vsaka številka, na katero se sklicuje, prisotna, in ali je katera od njih oštevilčena nad korakom, ki se nanjo sklicuje. Pred vsemi štirimi se datoteka enkrat pregleda za ponovljeno številko koraka. Samo dokaz, pri katerem vsak korak prestane vse to, doseže zadnji pogoj, to je, ali se datoteka konča s protislovjem. Izpeljava, ki se konča z literali, ki še vedno stojijo, je prestala vse ostalo in je še vedno zavrnjena.","open-source-aion.f626b7a7da":"Pod površjem","open-source-aion.1a95f2e67d":"Klavzulni dokazi v družini LRAT, ki je SAT, in pravni dokazi v formatu Alethe, ki je SMT, so družina z najdaljšo zgodovino poskusov, da bi jo premagali, zaradi česar je prava za prikaz. AION vsak korak pošlje rutini, ki izvaja njegovo pravilo, in ime pravila, za katerim ni ničesar, konča branje namesto tihega prehoda, pri čemer se izpišeta številka koraka in pravilo.","open-source-aion.8294eed416":"in neznano pravilo ga ustavi","open-source-aion.9959b32cda":"Vsak korak prestane štiri preizkuse","open-source-aion.3821e115bc":"Družina z nasprotniki","open-source-aion.c415bc49f1":"Najstarejša družina ima največ nasprotnikov, zato je tista, ki jo je treba pogledati najprej","open-source-aion.06d55361b1":"RAZLIČICNO","open-source-aion.bca8de5f5a":"DEVET DRUŽIN","open-source-aion.187b58774c":"Družine so različicno ločene iz istega razloga. Nabor pravil se lahko zaostri v logični družini, ne da bi motil simulacijsko družino, in prizadeti nabor potrdil za to spremembo je natanko tisti zapisi, ki so razglasili različico, ki se spreminja. Današnjih devet je logika in izpolnljivost, optimizacija, časovne in hiperlastnosti, sklepanje, organizacijsko, prevajanje, izvajanje, simulacija in FMI ter celovitost shranjevanja.","open-source-aion.ca4a7a3c63":"Registracija družine je način, kako sistem, ki ni obstajal, ko je bil AION napisan, postane preverljiv z njim. Ovojnica je že enaka, plast shranjevanja in čakalna vrsta za ponovno preverjanje že delujeta, in kar mora nova družina zagotoviti, sta preverjevalnik in razglašen nabor pravil. Programska oprema tretjih oseb, ki izvaja pogodbo o potrdilu, pride skozi ista vrata kot karkoli našega.","open-source-aion.6581749da9":"Zakaj je register in ne seznam","open-source-aion.c453f0b87d":"Družina potrdil je poimenovana, različicna pogodba in ne oblika datoteke. Vsaka razglasi svojo identiteto in različico, vrsto trditve, ki jo vzpostavlja, vhode, ki jih zahteva, kako je dokaz ali priča predstavljen, algoritem preverjanja, nabor pravil, ki ga preverjevalnik sprejema, metapodatke o odvisnostih in združljivosti, človeku berljiv prikaz, kjer ga ima, in lastno taksonomijo zavrnitev.","open-source-aion.29a8090d97":"in nabor je razširljiv","open-source-aion.7dd9783a82":"Devet družin, en register","open-source-aion.f4c0c73854":"Register","open-source-aion.2b6d7305db":"Neodvisno preverjanje mora vedeti, katero vrsto potrdila drži","open-source-aion.b4dee9d399":"BREZ PONOVITVE","open-source-aion.1ae37e9b3a":"BREZ LICENCE","open-source-aion.082414b331":"OMEJENO PREVERJANJE","open-source-aion.85bcd01276":"V nobenem od teh primerov preverjevalnik ne potrebuje proizvajalčevega iskanja, hevristik, skritega stanja, klicev modela ali izvajalnega okolja. To je tisto, zaradi česar je neodvisno preverjanje cenovno dostopno in ne le želja.","open-source-aion.73dc1e45ec":"Asimetrija je enake oblike v vsaki domeni in vredno jo je videti štirikrat. Iskanje, ki ga vodi konflikt, lahko teče ure po prostoru, ki ga nihče ne more našteti; dokaz klavzul, ki ga izda, se spremlja vrstico za vrstico. Prevajalnik lahko izvede na stotine optimizacijskih prehodov s hevristikami, ki jih nihče zunaj ekipe ne razume; potrdilo beleži trditve o ohranjanju, ki morajo veljati čeznje. Simulacija lahko teče čez milijone korakov; potrdilo zagotavlja kontrolne točke, prehode, invariante in sled, zaradi katerih je izid preverljiv. Operacija Nexus lahko usklajuje zelo veliko agentov; potrdilo vzpostavlja avtoriteto, prehode stanj, odobritve in potrdila o dejanjih.","open-source-aion.3bcb80f6d9":"Kaj vsak proizvajalec obdrži zase","open-source-aion.ceb0061493":"Sistem, ki je ustvaril rezultat, nima zadnje besede o tem, ali njegovo potrdilo drži. AION preverja omejen artefakt in ne ponavlja dragega izračuna, zato lahko preverjanje teče na prenosniku proti delu, ki je gruči vzelo cel vikend, in zato ne potrebuje niti proizvajalčeve licence niti njegovega stroja. Potrdilo zagotavlja kontrolne točke, po katerih hodi preverjevalnik, zato strošek preverjanja sledi velikosti artefakta in ne velikosti iskanja za njim.","open-source-aion.69524cecfe":"in to je ves trik","open-source-aion.ee21bac231":"Preverjanje ni ponavljanje","open-source-aion.396e9b624d":"Arhitekturna ločitev","open-source-aion.504a1b0a8d":"Ovojnica pove, kaj je prispelo. Naslednje vprašanje je, kdo jo sme odpreti","open-source-aion.a9ea7a518b":"ENA OVOJNICA","open-source-aion.d7e877b15b":"OSEM POLJ","open-source-aion.34c043fc06":"Polje odvisnosti je tisto, ki ga ljudje podcenjujejo. Potrdilo, ki sloni na drugem potrdilu, ga poimenuje, tako da se zavrnitev ali sprememba sheme razširi na množico, ki se je nanj opirala, namesto da bi se ustavila pri prvem zapisu, ki ga kdo slučajno pogleda. To je tisto, kar kup sprejetih rezultatov spremeni v nekaj, na kar lahko postaviš vprašanje.","open-source-aion.7dc6226fd7":"Če usmerjevalne informacije postaviš v nosilno vsebino, vsaka nova družina potrdil postane nova integracija za vse v nadaljnjem toku. Če jih pustiš zunaj, so plast shranjevanja, sledilnik združljivosti, čakalna vrsta za ponovno preverjanje in revizijski zapis napisani enkrat in delujejo za družine, ki ob njihovem nastanku še niso obstajale.","open-source-aion.48eb1ab2b4":"Zakaj se ločitev obnese","open-source-aion.419ad6edc1":"Prevajalno potrdilo in dokaz o klavzuli si v notranjosti nimata nič skupnega, a prispe v isti ovojnici. Osem polj: trditev, vhodi, na podlagi katerih je bila narejena, proizvajalec, različica pogodbe, vrsta potrdila, nosilna vsebina potrdila, odvisnosti in podpis. Vse, kar je značilno za družino, je v nosilni vsebini, vse, kar potrebuje preverjevalnik za usmerjanje, različice in zapis, pa je zunaj nje.","open-source-aion.03a195fded":"in osem polj v njej","open-source-aion.9895a4db76":"Vsaka družina, ena ovojnica","open-source-aion.33164fb254":"Skupna ovojnica","open-source-aion.315fae6edd":"Osem vrst sistemov, osem vrst trditev in ena ovojnica, v kateri vse potujejo","open-source-aion.661f13bc63":"PREVERJENO","open-source-aion.ea0dae37f4":"POTRDILO","open-source-aion.f07b84d4d2":"TRDITEV","open-source-aion.1edfca7587":"AION je ta drugi program. Vzame potrdilo, ki ga je izdelal neznanec, rekonstruira, kaj trdi, in kjer se trditev ne da rekonstruirati, poimenuje element, poimenuje pravilo in se tam ustavi. Zavrnitev, ki kaže na vrstico 40, je nekaj, kar ena sama beseda nikoli ne more biti.","open-source-aion.4428102723":"Formalne metode so se za to ureditev odločile že pred desetletji zaradi enega razloga. Proizvajalec zapiše svoje delo, drugi, precej manjši program pa to delo prebere nazaj. Drugi program je tisti, ki ga je vredno skrbno zgraditi, ker je dovolj majhen, da ga je mogoče razumeti od začetka do konca. AION to ureditev vzame iz sveta reševalcev in jo naredi za pogodbo za vse ostalo: sklepanje, operacije agentov, prevajanje, izvajanje, simulacijo.","open-source-aion.51edeceac1":"unsat. prevedeno. dokončano. varno. optimalno. politika sprejeta. simulacija konvergirala. potek dela odobren. Osem sistemov, osem besed in nobena od njih ne nosi razloga, zakaj je resnična. Računanje z dokazom je alternativa: proizvajalec obdrži drago delo in ob rezultatu izda potrdilo, nekaj, kar nima interesa pri odgovoru, pa to potrdilo preveri.","open-source-aion.d3571e9e01":"dokler tega nekdo ne ponovi","open-source-aion.03d9c22d95":"Rezultat je le trditev","open-source-aion.dfc28595b4":"Zakaj obstaja drugi pregled","open-source-aion.3c6178c9cd":"Komu pripada poročilo","open-source-aion.42c21bbe27":"Kaj primer razreši","open-source-aion.4d05bcfcbf":"Kaj ti zavrnitev omogoča","open-source-aion.4c0a0d8ef3":"Dve običajni poti ven","open-source-aion.e097afe170":"Kaj sledi iz tega, da jo obdržiš","open-source-aion.c9681d6875":"Kaj dejansko počne","open-source-aion.1ee58a7b8d":"Od kod ureditev izvira","open-source-aion.eec3b038bd":"pripis","open-source-aion.65279e1ecf":"preverjanje","oss-aion-adoption-paths.733a87e5fb":"Preizkusite eno odločitveno pot","oss-aion-adoption-paths.34dfd13db9":"Preden AION vključite v dejansko odločitveno pot, zaženite primer certifikata.","oss-aion-adoption-paths.3f1d1c0d24":"Preglejte priloženi primer certifikata.","oss-aion-adoption-paths.a5339faf54":"Zaženite priložene primere dokazov kot preverjanje.","oss-aion-adoption-paths.b38db2875a":"Preverite isti certifikat z ukazom aion check in z neodvisnim združljivim preverjevalnikom.","oss-aion-adoption-paths.0e42c62826":"Vaša ekipa za vrednotenje","oss-aion-adoption-paths.ca15f8db66":"Vgradite ga v sistem","oss-aion-adoption-paths.e8219f1ea8":"Vaša obstoječa programska ekipa poveže knjižnico, da lahko sistemi, ki jih že uporabljate, ob vsaki odločitvi posredujejo certifikat.","oss-aion-adoption-paths.91e2e7e34b":"Vaši inženirji dodajo AION v sistem, ki ga že upravljate.","oss-aion-adoption-paths.96e8012ed9":"Vsaka odločitev nato nosi preverljiv certifikat.","oss-aion-adoption-paths.6e56d00bc7":"Noben nov ponudnik ni vključen v pot te odločitve.","oss-aion-adoption-paths.b0e0c85d36":"Vaša inženirska ekipa","oss-aion-adoption-paths.4637a51566":"Uporabite ga ob reviziji","oss-aion-adoption-paths.03b3d20015":"Certifikat, ustvarjen prej, lahko kadar koli znova preverite z orodjem ukazne vrstice, na lastni strojni opremi, brez povezave.","oss-aion-adoption-paths.8b6e7ae424":"Shranite certifikat, ustvarjen ob sprejetju odločitve.","oss-aion-adoption-paths.ab48bfd890":"Pozneje ga znova preverite z orodjem ukazne vrstice, brez povezave.","oss-aion-adoption-paths.6fe516ffcf":"Isti zapis predajte regulatorju ali revizorju.","oss-aion-adoption-paths.4e64c95d9e":"Vaša ekipa za skladnost","oss-aion-adoption-paths.6b5eb5323e":"Začnite z eno odločitveno potjo","oss-aion-adoption-paths.1635f113ec":"Trije načini uvedbe","oss-aion-adoption-paths.5eef32f959":"Kdo jo uporablja","oss-aion-adoption-paths.29a9e7fa74":"Certifikat je enak ne glede na izbrano pot.","oss-aion-adoption-paths.3e4f1a5e1b":"Ena knjižnica, eno orodje ukazne vrstice","oss-aion-adoption-paths.tag.d59fec26d9":"Pred vključitvijo","oss-aion-adoption-paths.tag.391b31405f":"Za vaše inženirje","oss-aion-adoption-paths.tag.6fd7b4f249":"Za skladnost","oss-aion-archive-parts.cea57012da":"ni stisnjeno po branju","oss-aion-archive-parts.10f2f8d11a":"stisnjeno za polico","oss-aion-archive-parts.0468a5b797":"ARHIV","oss-aion-archive-parts.bce5035461":"in eno polje, ki jih preživi","oss-aion-archive-parts.bd678f55fe":"Štirje premiki na enem potrdilu","oss-aion-archive-parts.44e396b17f":"Kateri preveritelj ga je sprejel in pod katero različico pogodbe.","oss-aion-archive-parts.5348eece0f":"Preveritelj in pogodba ohranjena","oss-aion-archive-parts.53229277ab":"Enaki poddokazi shranjeni enkrat in pozneje navedeni z zgoščeno vrednostjo.","oss-aion-archive-parts.0f6513214f":"Poddokazi zgoščeni","oss-aion-archive-parts.76a7786a63":"Ponavljajoči se vzorec shranjen enkrat, z dolžino, za katero se ponavlja.","oss-aion-archive-parts.9e1a0f7aac":"Zaporedja strnjena","oss-aion-archive-parts.d6f5880b44":"Vsak identifikator shranjen kot njegova razdalja od prejšnjega.","oss-aion-archive-parts.6b78716e70":"Identifikatorji kot vrzeli","oss-aion-archived-proof.5808299e06":"pogledano, ne pometeno","oss-aion-archived-proof.39241dfc0d":"Ostalo je zaprto, ker je indeks že vedel, da niso prizadeti.","oss-aion-archived-proof.d84b2eb85d":"Devet deklariranih odvisnosti, dva zavihka potegnjena, pet poimenovanih potrdil.","oss-aion-archived-proof.c9269e3e61":"sedem zavihkov je ostalo zaprtih","oss-aion-archived-proof.6f13975269":"še vedno združljivo","oss-aion-archived-proof.8ec798a819":"pravilo r7","oss-aion-archived-proof.4b50837e2e":"v čakalni vrsti za ponovno branje","oss-aion-archived-proof.2a858a12ec":"pravilo r7 zamenjano v verifikatorju 2.5.0","oss-aion-archived-proof.0b58a007b4":"obvestilo o spremembi","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"isto potrdilo","oss-aion-archived-proof.4b37dd07e6":"kot arhivirano","oss-aion-archived-proof.39c9f8bf3a":"dva poddokaza, ena oblika","oss-aion-archived-proof.8c28e2d0a9":"en blok, obdržan enkrat","oss-aion-archived-proof.e75bd8054c":"identifikatorji kot vrzeli","oss-aion-archived-proof.9bfe0da4af":"ena dolga datoteka","oss-aion-archived-proof.46dc2748fa":"kot proizvedeno","oss-aion-archived-proof.b6a0714797":"ilustrativni identifikatorji","oss-aion-archived-proof.16bb6017da":"dva od petih v čakalni vrsti","oss-aion-archived-proof.884fa4a4de":"Eno potrdilo, dvakrat","oss-aion-archived-proof.11ed0e1dd4":"politika p9","oss-aion-archived-proof.1f776189b1":"shema 2","oss-aion-archived-proof.ec690c70cd":"potrdilo d20c9b","oss-aion-archived-proof.a96a7e2f89":"potrdilo 1a55f0","oss-aion-archived-proof.b504f66e53":"model m1","oss-aion-archived-proof.fd6c33ce54":"pogodba izvajalnega okolja 3.1","oss-aion-archived-proof.ff651ff51f":"pravilo prevajalnika c1","oss-aion-archived-proof.d00ec63b0b":"potrdilo b4e187","oss-aion-archived-proof.e20acd4672":"potrdilo 3c90de","oss-aion-archived-proof.6d50cc6c2e":"potrdilo 7f21ab","oss-aion-archived-proof.5dd9b11122":"politika p2","oss-aion-archived-proof.70d70366cf":"shema 4","oss-aion-archived-proof.d61ceadbdb":"pogodba","oss-aion-archived-proof.e15436a2bb":"verifikator","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Zakaj je mojo zahtevo zavrnil stroj?","oss-aion-asked-questions.answer.refused":"AION prikaže točno mesto, kjer se je preverjanje ustavilo, in zakaj, namesto ene nepojasnjene besede.","oss-aion-asked-questions.question.check":"Ali lahko sam preverim avtomatizirano odločitev?","oss-aion-asked-questions.answer.check":"Da. AION vsak korak znova izvede na napravi, pri kateri ste, brez računa in brez pošiljanja česar koli.","oss-aion-asked-questions.question.sent":"Ali se moji podatki kam pošljejo?","oss-aion-asked-questions.answer.sent":"Ne. Privzeta različica nima ničesar, s čimer bi jih lahko poslala. Delo poteka tam, kjer že ste.","oss-aion-asked-questions.chrome.path":"Vprašanja, ki jih zavrnitev dejansko odpira","oss-aion-asked-questions.chrome.status":"odgovorjena javno","oss-aion-asked-questions.readout":"To so tri vprašanja, na katera ta stran odgovarja javno, brez računa in brez pošiljanja česar koli.","oss-aion-asked-questions.band":"Vprašano enkrat, odgovorjeno javno","oss-aion-asked-you.ef80b73d6b":"namesto presenečenja pozneje","oss-aion-asked-you.7e066a9db0":"vprašanje zdaj","oss-aion-asked-you.fb041ecc2d":"Čaka","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"in kaj se zgodi naprej","oss-aion-asked-you.fb5efec5ec":"Kaj sprašuje","oss-aion-asked-you.ed223cb507":"Z vašo lastno frazo v njej, namesto obrazca za izpolnjevanje.","oss-aion-asked-you.47ba586268":"Postavi vprašanje","oss-aion-asked-you.16bb2c320d":"V preprostih besedah, ne kot izbira med simboli.","oss-aion-asked-you.590f0368a8":"Prikaže obe razlagi","oss-aion-asked-you.c0fedb51ee":"Del vašega stavka, glede katerega ni prepričan, v vaših besedah.","oss-aion-asked-you.945cd96360":"Citira besede nazaj","oss-aion-asymmetry.109e612009":"dokazi potujejo","oss-aion-asymmetry.54086b1730":"delo ostane pri ustvarjalcu","oss-aion-asymmetry.77e82797f7":"ASIMETRIJA","oss-aion-asymmetry.7f5d144dcb":"na ustvarjalca","oss-aion-asymmetry.d1abed327f":"Kaj se ne reproducira","oss-aion-asymmetry.816e835f60":"Pooblastila, prehodi, odobritve, potrdila.","oss-aion-asymmetry.4f83e60cbc":"Veliko agentov, ki usklajujejo.","oss-aion-asymmetry.d946c1fc52":"Agentski sistem","oss-aion-asymmetry.d978ba491a":"Kontrolne točke, prehodi in invariante.","oss-aion-asymmetry.b081bda78f":"Milijoni korakov integracije.","oss-aion-asymmetry.8e34943c35":"Simulacija","oss-aion-asymmetry.db98a95880":"Trditve o ohranjanju med njimi.","oss-aion-asymmetry.ce4dee4e4f":"Na stotine prehodov in njihove hevristike.","oss-aion-asymmetry.341a20e237":"Prevajalnik","oss-aion-asymmetry.d50aca2923":"Izpeljava, ki ji sledimo vrstico za vrstico.","oss-aion-asymmetry.c0644e2b00":"Iskanje po prostoru, ki ga nihče ne našteje.","oss-aion-asymmetry.2212b12df6":"Reševalnik","oss-aion-audit-flow.0d368d5958":"Odločitev je sprejeta","oss-aion-audit-flow.723d4b8215":"AI v vašem sistemu pride do odgovora.","oss-aion-audit-flow.60616f24a0":"Potrdilo se hrani","oss-aion-audit-flow.319012d052":"Utemeljitev se zabeleži kot prenosljiv zapis.","oss-aion-audit-flow.b6e0507002":"Ponovno se preveri","oss-aion-audit-flow.060bdf8393":"Vsakdo lahko preverjanje ponovno zažene brez povezave, na svojem računalniku.","oss-aion-audit-flow.549ee9a7f2":"Revizor ga sprejme","oss-aion-audit-flow.45d8142b03":"Dokazi, ki jih preveri, ne obljuba, ki bi ji moral zaupati.","oss-aion-audit-flow.29a5795456":"Posredujete dnevnike in upate, da bodo sprejeti.","oss-aion-audit-flow.691576c10d":"Predate potrdilo, ki ga revizor preveri sam.","oss-aion-audit-flow.4f25ce109b":"Pojasnilo je vezano na enega dobavitelja.","oss-aion-audit-flow.17092b76ad":"Standardni formati dokazov zagotavljajo, da je potrdilo mogoče preveriti ne glede na prvotnega dobavitelja in okolje izvajanja.","oss-aion-audit-flow.4cb1b63499":"Zapis se ponovno preveri na infrastrukturi, ki je ne nadzorujete.","oss-aion-audit-flow.c0baf00a21":"Zapis se ponovno preveri brez povezave, na strojni opremi, ki jo nadzorujete.","oss-aion-audit-flow.1574ac4dc4":"Od odločitve do sprejetih dokazov","oss-aion-audit-flow.0fc25779d4":"Brez preverljivih dokazov","oss-aion-audit-flow.4b32d8f574":"Z AION","oss-aion-audit-flow.effbb773a5":"Ob reviziji predložite dokaze, ne zagotovil.","oss-aion-audit-flow.630840198f":"Neodvisno preverjanje","oss-aion-broken-case.b2d44d537d":"dve deli dela","oss-aion-broken-case.21a5e37384":"Res piše, da mora zdaj nekdo izbrati eno.","oss-aion-broken-case.446dd52366":"Primer ne pove, v kateri od teh dveh situacij ste.","oss-aion-broken-case.1592f95dfc":"kdor koli ima specifikacijo","oss-aion-broken-case.5350b811e8":"Vsi so to vedeli in nihče tega ni zapisal, zato je bil primer sploh\n              na voljo. Torej je delo zapisati manjkajočo omejitev.","oss-aion-broken-case.7e1ad0c117":"ponovni poskus tukaj ni mogoč pri ničelnem stanju","oss-aion-broken-case.e2acc6be4b":"ali je to tukaj mogoče?","oss-aion-broken-case.70cf0e9d6e":"ekipa, ki ga upravlja","oss-aion-broken-case.f4418abec4":"Torej je pravilo pravilno in sistem je napačen. Delo je sprememba sistema.","oss-aion-broken-case.7ebf5ee2c1":"ponovni poskusi pri treh z ničelnim stanjem so običajen ponedeljek","oss-aion-broken-case.818db6fde5":"paketni način omogoča največ dva ponovna poskusa","oss-aion-broken-case.9ad82bcd1a":"brez ponovnega poskusa, dokler je stanje nič","oss-aion-broken-case.db09c40b94":"pogoji, ki jih krši","oss-aion-broken-case.1a01155586":"Specifikacija ne drži. Tukaj je situacija, v kateri ne drži, zapisana.","oss-aion-broken-case.bb5f480b82":"primer, ko se vrne","oss-aion-broken-case.8ba48b3c8c":"ilustrativni primer","oss-aion-broken-case.2a0ea29615":"en primer, dva lastnika","oss-aion-broken-case.0efd66fc70":"Primer, ki ga je zlomil","oss-aion-broken-case.fd12863535":"ne","oss-aion-broken-case.fb360f9c09":"da","oss-aion-broken-case.e7aef2e893":"način je paketni (vrsta: besedilo)","oss-aion-broken-case.dcfad8c5bf":"stanje je 0 (vrsta: celo število)","oss-aion-broken-case.bbf98b54e9":"ponovni poskusi so 3 (vrsta: celo število)","oss-aion-business-glyph.9c8c22f54d":"Zasnovano za preverljivost","oss-aion-business-glyph.afd7103781":"Vaša infrastruktura","oss-aion-business-glyph.ea722c81af":"Evropska","oss-aion-business-glyph.870c4d024a":"Prenosljive oblike","oss-aion-business-glyph.81c093497b":"Zaprto s potrdilom","oss-aion-business-glyph.862ee3b17a":"Izpostavljenost","oss-aion-business-glyph.6b5eb5323e":"Dokaz priložen","oss-aion-business-glyph.b7a3f27883":"Tveganje odpravljeno","oss-aion-business-glyph.7ba75e0ac6":"Preverjanje potrdil leta pozneje","oss-aion-business-glyph.9f89ecaff5":"Prvotna seja je izginila","oss-aion-business-glyph.33620369b5":"Arhiv","oss-aion-business-glyph.7a71b6b89e":"Na strojni opremi, ki jo nadzirate","oss-aion-business-glyph.e94a6d4bba":"Pojasnjeno na tuji strojni opremi","oss-aion-business-glyph.3eaad00bc0":"Podatki","oss-aion-business-glyph.e20fee7c23":"Ločen preverjevalnik","oss-aion-business-glyph.9e3ee5bddf":"Prvotni model je še vedno potreben","oss-aion-business-glyph.5cb182685f":"Preverjevalnik","oss-aion-business-glyph.c5d37b3ae0":"Potrdilo, ki ga preveri revizor","oss-aion-business-glyph.6c4186cc8c":"Dnevniki, za katere upate, da bodo sprejeti","oss-aion-business-glyph.d51b35c242":"Revizija","oss-aion-cadence-banners.independent.eyebrow":"AION / neodvisno preverjanje","oss-aion-cadence-banners.independent.lead":"Zaupajte ovojnici","oss-aion-cadence-banners.independent.accent":"po tem, ko jo sprejme drug preverjevalnik","oss-aion-cadence-banners.independent.body.one":"Potrdilo je uporabno, ker preverjevalnik ne potrebuje izvajalnega okolja proizvajalca. Prejme deklarirano pravilo, vhode, rezultat in dokaze kot eno samo omejeno ovojnico.","oss-aion-cadence-banners.independent.body.two":"Druga implementacija preveri te dokaze proti isti pogodbi. Soglasje je nato dokaz o rezultatu, ne ponovno izvajanje iste poti kode.","oss-aion-cadence-banners.independent.panel":"Zapis neodvisnega sprejema","oss-aion-cadence-banners.independent.tag":"PREVERJENO LOČENO","oss-aion-cadence-banners.independent.item.rule.label":"Deklarirano pravilo","oss-aion-cadence-banners.independent.item.rule.detail":"Zahteva in družina potrdil sta poimenovani.","oss-aion-cadence-banners.independent.item.rule.status":"PRISOTNO","oss-aion-cadence-banners.independent.item.input.label":"Omejeni vhodi","oss-aion-cadence-banners.independent.item.input.detail":"Vrednosti, uporabljene pri odločitvi, potujejo z njo.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Zatrjevani rezultat","oss-aion-cadence-banners.independent.item.result.detail":"Izid je naveden pred začetkom preverjanja.","oss-aion-cadence-banners.independent.item.result.status":"DEKLARIRANO","oss-aion-cadence-banners.independent.item.verifier.label":"Ločen preverjevalnik","oss-aion-cadence-banners.independent.item.verifier.detail":"Druga implementacija preveri isto ovojnico.","oss-aion-cadence-banners.independent.item.verifier.status":"SPREJETO","oss-aion-cadence-banners.independent.verdict":"dokazi preživijo zunaj sistema, ki jih je ustvaril","oss-aion-cadence-banners.independent.footer":"preverjanje prečka mejo implementacije, ne da bi izgubilo pogodbo","oss-aion-cadence-banners.refusal.eyebrow":"AION / pogodba o napaki","oss-aion-cadence-banners.refusal.lead":"Neuspeli dokaz","oss-aion-cadence-banners.refusal.accent":"mora poimenovati pravilo, ki ga ni mogel izpolniti","oss-aion-cadence-banners.refusal.body.one":"Natančno preverjanje ni ohlapen ovoj za uspeh ali neuspeh. Preverjevalnik sledi deklarirani pretvorbi, aritmetiki in logičnim vratom po vrstnem redu, nato se ustavi pri prvem neveljavnem pogoju.","oss-aion-cadence-banners.refusal.body.two":"Ta zavrnitev sodi v dokaze. Pove klicatelju, katera predpostavka, lestvica, izraz ali zaščita je odpovedala, preden bi lahko kateri koli poznejši korak skril vzrok.","oss-aion-cadence-banners.refusal.panel":"Prvo neuspelo vrata","oss-aion-cadence-banners.refusal.tag":"ZAVRNJENO","oss-aion-cadence-banners.refusal.item.read.label":"Preberite deklarirane vrednosti","oss-aion-cadence-banners.refusal.item.read.detail":"Vhodi in identiteta pravila so določeni pred preverjanjem.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Uporabite deklarirano pretvorbo","oss-aion-cadence-banners.refusal.item.scale.detail":"Noben tihi nadomestek ne spremeni aritmetične pogodbe.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Ovrednotite vsaka vrata po vrstnem redu","oss-aion-cadence-banners.refusal.item.check.detail":"Prvi neveljavni pogoj ostane pripisljiv.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Vrnite poimenovano zavrnitev","oss-aion-cadence-banners.refusal.item.refuse.detail":"Klicatelj prejme neuspelo pravilo in njegove dokaze.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"zavrnitev je pregleden dokaz, ne prazna napaka","oss-aion-cadence-banners.refusal.footer":"prvi neuspeli pogoj ostane viden naslednjemu pregledovalcu","oss-aion-cadence-banners.certificates.eyebrow":"AION / veriga potrdil","oss-aion-cadence-banners.certificates.lead":"Ena odločitev","oss-aion-cadence-banners.certificates.accent":"lahko nosi več vrst dokazov","oss-aion-cadence-banners.certificates.body.one":"Utemeljevanje, organizacijska avtoriteta, prevajanje in izvajanje odgovarjajo na različna vprašanja. Če jih obravnavamo kot eno splošno zagotovilo, bi skrili, kje je trditev močna in kje je še vedno potrebno drugo preverjanje.","oss-aion-cadence-banners.certificates.body.two":"AION ohranja potrdila ločena in jih povezuje z istim zapisom odločitve. Pregledovalec lahko sledi verigi, ne da bi zamenjal avtoriteto za aritmetiko ali uspešno izvajanje za odobreno pravilo.","oss-aion-cadence-banners.certificates.panel":"Pot dokazov odločitve","oss-aion-cadence-banners.certificates.tag":"POVEZANO","oss-aion-cadence-banners.certificates.item.reasoning.label":"Potrdilo o utemeljitvi","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Pokaže, zakaj navedeni sklep sledi.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Potrdilo o avtoriteti","oss-aion-cadence-banners.certificates.item.organisation.detail":"Poimenuje, kdo lahko odobri ali izvede dejanje.","oss-aion-cadence-banners.certificates.item.organisation.status":"AVTORITETA","oss-aion-cadence-banners.certificates.item.compile.label":"Potrdilo o prevajanju","oss-aion-cadence-banners.certificates.item.compile.detail":"Poveže izvorno kodo, pretvorbo in ustvarjeni izdelek.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Potrdilo o izvajanju","oss-aion-cadence-banners.certificates.item.execution.detail":"Zabeleži, kaj se je izvajalo, kje in pod katerimi vhodi.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"vsaka trditev ohrani družino potrdil, ki jo dejansko lahko podpre","oss-aion-cadence-banners.certificates.footer":"povezani dokazi ostanejo dovolj specifični za izpodbijanje","oss-aion-cadence-banners.recheck.eyebrow":"AION / rezultat, ki ga lahko ponovno pregledate","oss-aion-cadence-banners.recheck.lead":"Isto pravilo","oss-aion-cadence-banners.recheck.accent":"je mogoče pozneje znova preveriti","oss-aion-cadence-banners.recheck.body.one":"Stavek, izbrani pomen in časovna omejitev ostanejo priloženi rezultatu. Vidite lahko, kaj je bilo odločeno in kako dolgo odločitev ostane veljavna, ne da bi gradivo poslali stran.","oss-aion-cadence-banners.recheck.body.two":"Ko se pravilo ali datum spremeni, zapis opredeli, kaj potrebuje novo preverjanje. Prejšnji odgovor ostane viden, namesto da bi bil tiho zamenjan.","oss-aion-cadence-banners.recheck.panel":"Kaj preverjanje upošteva","oss-aion-cadence-banners.recheck.tag":"PONOVLJIVO","oss-aion-cadence-banners.recheck.item.sentence.label":"Vaš izvirni stavek","oss-aion-cadence-banners.recheck.item.sentence.detail":"Besedilo ostane ob razlagi.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Izbrani pomen","oss-aion-cadence-banners.recheck.item.rule.detail":"Uporabljeno pravilo je zapisano jasno.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Datum veljavnosti","oss-aion-cadence-banners.recheck.item.deadline.detail":"Preostali čas je viden, preden rezultat poteče.","oss-aion-cadence-banners.recheck.item.deadline.status":"VIDNO","oss-aion-cadence-banners.recheck.item.result.label":"Sveže preverjanje","oss-aion-cadence-banners.recheck.item.result.detail":"Iste dokaze je mogoče ponovno ovrednotiti.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"odgovor lahko znova preverite, ne da bi izgubili razlog za njim","oss-aion-cadence-banners.recheck.footer":"zapis ohranja besede, pravilo in datum skupaj","oss-aion-cadence-banners.supplier.eyebrow":"AION / dokazi dobavitelja","oss-aion-cadence-banners.supplier.lead":"Odgovor dobavitelja","oss-aion-cadence-banners.supplier.accent":"bi moral prispeti z nečim, kar lahko preverite","oss-aion-cadence-banners.supplier.body.one":"Potrdilo loči rezultat od orodja dobavitelja. Navaja, kaj je bilo preverjeno, katera družina dokazov velja in kateri vhodi in artefakti pripadajo trditvi.","oss-aion-cadence-banners.supplier.body.two":"Vaša ekipa lahko te dokaze obdrži in uporabi drugega preverjevalca. Pregled ni več odvisen od dostopa do prvotne storitve ali od tega, da dobavitelj ponovno izvede postopek.","oss-aion-cadence-banners.supplier.panel":"Dokazi, prejeti z rezultatom","oss-aion-cadence-banners.supplier.tag":"PRENOSLJIVO","oss-aion-cadence-banners.supplier.item.claim.label":"Trditev dobavitelja","oss-aion-cadence-banners.supplier.item.claim.detail":"Rezultat in njegov obseg sta izrecno navedena.","oss-aion-cadence-banners.supplier.item.claim.status":"PREJETO","oss-aion-cadence-banners.supplier.item.certificate.label":"Ovojnica potrdila","oss-aion-cadence-banners.supplier.item.certificate.detail":"Dokazi in identifikatorji potujejo s trditvijo.","oss-aion-cadence-banners.supplier.item.certificate.status":"PRILOŽENO","oss-aion-cadence-banners.supplier.item.coverage.label":"Izjava o pokritosti","oss-aion-cadence-banners.supplier.item.coverage.detail":"Družina potrdil pove, kaj lahko ugotovi.","oss-aion-cadence-banners.supplier.item.coverage.status":"OPREDELJENO","oss-aion-cadence-banners.supplier.item.checker.label":"Neodvisni preverjevalec","oss-aion-cadence-banners.supplier.item.checker.detail":"Vaša stran preveri dokaze brez proizvajalca.","oss-aion-cadence-banners.supplier.item.checker.status":"NA VOLJO","oss-aion-cadence-banners.supplier.verdict":"dokazi ostanejo uporabni po koncu postopka dobavitelja","oss-aion-cadence-banners.supplier.footer":"preverljiv rezultat je lažje obdržati, primerjati in izpodbijati","oss-aion-cadence-banners.boundary.eyebrow":"AION / nadzorovani pregled","oss-aion-cadence-banners.boundary.lead":"Pregled ostane znotraj","oss-aion-cadence-banners.boundary.accent":"meje, ki jo določi vaša organizacija","oss-aion-cadence-banners.boundary.body.one":"Primer, pravilo in potrdilo je mogoče preveriti tam, kjer že so. Lokalno preverjanje preprečuje, da bi pregled postal še ena pot razkritja gradiva, ki se preučuje.","oss-aion-cadence-banners.boundary.body.two":"Zapis še vedno navaja ugotovljeno lastnost in uporabljene dokaze. Podatki na mestu ne pomenijo opustitve sledljive revizijske poti.","oss-aion-cadence-banners.boundary.panel":"Pot lokalnega pregleda","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Odprite ohranjeni primer","oss-aion-cadence-banners.boundary.item.case.detail":"Izvorno gradivo ostane v svojem obstoječem okolju.","oss-aion-cadence-banners.boundary.item.case.status":"NA MESTU","oss-aion-cadence-banners.boundary.item.property.label":"Izberite trditev za preverjanje","oss-aion-cadence-banners.boundary.item.property.detail":"Obseg potrdila ostaja izrecen.","oss-aion-cadence-banners.boundary.item.property.status":"OPREDELJENO","oss-aion-cadence-banners.boundary.item.perimeter.label":"Izvedba znotraj območja","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Za preverjanje ni potrebna odhodna storitev.","oss-aion-cadence-banners.boundary.item.perimeter.status":"ZADRŽANO","oss-aion-cadence-banners.boundary.item.record.label":"Ohranite zapis pregleda","oss-aion-cadence-banners.boundary.item.record.detail":"Vhodi, preverjevalec in izid ostanejo pripisani.","oss-aion-cadence-banners.boundary.item.record.status":"ZABELEŽENO","oss-aion-cadence-banners.boundary.verdict":"dokaze je mogoče preveriti brez novega prenosa podatkov","oss-aion-cadence-banners.boundary.footer":"lokalna izvedba in preverljivi dokazi spadajo v isti nadzor","oss-aion-case-fields.ce69e76708":"primer začne odločitev","oss-aion-case-fields.9a83c048c3":"razsodba konča preverjanje","oss-aion-case-fields.afc58d4c40":"prvi, ki ne uspe, po imenu","oss-aion-case-fields.3bc6a69e80":"stanje mora preseči nič pred ponovnim poskusom","oss-aion-case-fields.4e0285b28b":"pogoj prekršen","oss-aion-case-fields.4e0af55321":"PROTIPRIMER","oss-aion-case-fields.344daefb37":"En primer v celoti","oss-aion-case-fields.62e0ec394a":"vrednosti in kakšne vrste je vsaka","oss-aion-case-fields.7f01fe787c":"serija","oss-aion-checked-not-rerun.dd5b6cbe2b":"ena združitev, ena odsotnost","oss-aion-checked-not-rerun.846a719bdc":"Zadnja vrstica nima protipostavke pri nobeni ceni.","oss-aion-checked-not-rerun.6c26a05ac4":"Pet od sedmih gre, dve pa se združita.","oss-aion-checked-not-rerun.4f01efffc8":"prebral nekdo, ki nikoli ni imel njihove programske opreme","oss-aion-checked-not-rerun.a70205a694":"primerjano z naslednjim četrtletjem","oss-aion-checked-not-rerun.0d85e26645":"arhivirano z odločitvijo, ki jo je podprlo","oss-aion-checked-not-rerun.ffc7dbc2ad":"kar imaš na koncu","oss-aion-checked-not-rerun.d6124c1aee":"nič na levi ne proizvede tega","oss-aion-checked-not-rerun.9b9252883d":"samo potrdilo","oss-aion-checked-not-rerun.0bfa7a3bd8":"deklarirani vhodi in pogodba","oss-aion-checked-not-rerun.d7f7f555ad":"trditev","oss-aion-checked-not-rerun.527c7f544a":"tri stvari","oss-aion-checked-not-rerun.f8a34d2942":"preveriti njihovo potrdilo","oss-aion-checked-not-rerun.2a20acacc2":"sedem stvari","oss-aion-checked-not-rerun.a94f90b8e9":"reproducirati njihov sistem","oss-aion-checked-not-rerun.d2eae1af1f":"enaka zagotovila, dve poti","oss-aion-checked-not-rerun.87f754c087":"pet prečrtanih, ena odsotna","oss-aion-checked-not-rerun.2a62bb8028":"kaj zahteva vsaka pot","oss-aion-checked-not-rerun.35d7d25591":"ali to še velja po spremembi","oss-aion-checked-not-rerun.6cd8ba818d":"na podlagi čigavih podatkov","oss-aion-checked-not-rerun.96f39a5e7d":"proti kateri različici nabora pravil","oss-aion-checked-not-rerun.c8d59ae061":"kateri pogoji so bili preverjeni","oss-aion-checked-not-rerun.b028b89ea7":"njihova pomoč","oss-aion-checked-not-rerun.c03c2fce6e":"stroj ustrezne velikosti","oss-aion-checked-not-rerun.867d12b7ad":"vhodni podatki","oss-aion-checked-not-rerun.717e42eb01":"njihova konfiguracijska datoteka","oss-aion-checked-not-rerun.935b145c44":"ustrezen operacijski sistem","oss-aion-checked-not-rerun.fa15ad3da2":"točno različica, ki so jo uporabili","oss-aion-checked-not-rerun.5990a1ec89":"licenca za njihovo programsko opremo","oss-aion-compile-cert.b1991b0d44":"torej zavrnitev kaže na eno","oss-aion-compile-cert.85edd85611":"zahtevki so poimenovani posamično","oss-aion-compile-cert.6e8814b9a0":"Kar je prišlo ven, po vsebinskem naslovu, vezano na vse zgoraj navedeno.","oss-aion-compile-cert.a41732e051":"Identiteta artefakta","oss-aion-compile-cert.6d4151d7a5":"Kar je šlo noter, po vsebinskem naslovu in ne po imenu datoteke.","oss-aion-compile-cert.7204133281":"Identiteta vira ali grafa","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"in kaj trdi o vsakem","oss-aion-compile-cert.0bcab6c465":"Kaj potrdilo imenuje","oss-aion-compile-cert.027f7ee7d1":"Katere lastnosti to potrdilo vzpostavlja med njimi.","oss-aion-compile-cert.8906f98ae0":"Razglašeno ohranjanje","oss-aion-compile-cert.d186ea41e2":"Uporabljeni prehodi, v vrstnem redu, kot so bili uporabljeni.","oss-aion-compile-cert.66ad6a206e":"Zaporedje transformacij","oss-aion-compile-cert.ebb0c953d1":"Katera izgradnja, pri kateri optimizacijski konfiguraciji.","oss-aion-compile-cert.691f87f640":"Prevajalnik in optimizacija","oss-aion-console.5d71265e50":"Preveri dokazno potrdilo. Brez reševalca, brez omrežja.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Preverjanje dokaza: proof.alethe","oss-aion-console.1016f1bcf3":"Format: Alethe","oss-aion-console.70142f344c":"Razčlenjevanje: OK","oss-aion-console.8455c5ceeb":"Dokaz ima N korakov","oss-aion-console.fc539fcf62":"Preverjanje dokaza: USPEŠNO","oss-aion-console.88f6db402f":"Čas preverjanja: Nms","oss-aion-console.4f437cea65":"Vaš preverjevalnik je potrdil. Izhod 0. Nič ni bilo poslano v omrežje.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Preberite potrdilo","oss-aion-console.0cef7497bf":"Preverjevalnik odpre datoteko z dokazom, ki ste jo prejeli. Ne potrebuje ničesar drugega: nobenih uteži modela, nobene prijave pri prodajalcu, nobenega interneta.","oss-aion-console.830903eaf6":"Prehodite vsak korak","oss-aion-console.6ce1fb843f":"Vsak sklep se ponovno izvede glede na premise, ki jih navaja. LRAT vsebuje namige za propagacijo enot, zato je prehod linearen glede na dolžino dokaza.","oss-aion-console.1044fbcb06":"Sprejmite ali zavrnite","oss-aion-console.cb4e501f7a":"Če vsak korak drži, preverjevalnik izpiše USPEŠNO in se zaključi z izhodom 0. Če kateri koli korak ne drži, poimenuje napako in se zaključi z neničelnim izhodom. Ni vmesne možnosti.","oss-aion-console.b568d47f2e":"Vhod","oss-aion-console.df73f614f5":"Datoteka z dokazom","oss-aion-console.0562f32dc5":"Odvisnosti","oss-aion-console.7334b0e2cf":"Nič ob preverjanju","oss-aion-console.64ae43e8fe":"Stroški","oss-aion-console.660020f41a":"Linearno glede na dolžino dokaza","oss-aion-console.5faa59d4bc":"Rezultat","oss-aion-console.de76d16078":"USPEŠNO ali poimenovana napaka","oss-aion-console.76d6562c0a":"Preverjanje","oss-aion-console.edabf74eb3":"En ukaz prebere dokaz in","oss-aion-console.d161c0634a":"ga sprejme ali zavrne","oss-aion-console.a997e63df7":"Preverjevalnik je neodvisen od reševalca. Predajte mu potrdilo in vaš lastni preverjevalnik\n          ga potrdi ali zavrne, brez povezave, brez dostopa do motorja, ki ga je ustvaril.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"preverjevalnik brez povezave","oss-aion-console.6b5eb5323e":"Neodvisni preverjevalnik","oss-aion-console.165cb4a2fd":"N korakov in Nms sta ogradi: dejanske številke prihajajo iz dokaza, ki ga preverjate, ne\n              od nas. Površina ukaza je resnična, aion check razčleni, prehodi in poroča USPEŠNO.","oss-aion-console.b8fae1a1a1":"AION / preverjanje dokaza","oss-aion-consumer-glyph.dccc2b6aff":"Brez interneta ni potrebno","oss-aion-consumer-glyph.22c2234e11":"Narejeno v Evropi","oss-aion-consumer-glyph.75f527181b":"Preverljivo kasneje","oss-aion-consumer-glyph.94651c6eb5":"Drugi pomočnik to preveri","oss-aion-consumer-glyph.b9fefb3f5b":"Izgleda prav","oss-aion-consumer-glyph.fb447dd18d":"Vaš račun","oss-aion-consumer-glyph.49a8e53c77":"Stroj odgovori","oss-aion-consumer-glyph.f5ad0f0059":"Da, in tukaj je zakaj","oss-aion-consumer-glyph.7011b1a621":"Odgovor","oss-aion-consumer-glyph.07d0cfac8b":"Korak za korakom, zapisano","oss-aion-consumer-glyph.5bcd26af49":"Kako je bilo doseženo","oss-aion-consumer-glyph.8afc953f7f":"Je to pravo zame?","oss-aion-consumer-glyph.d79cce547d":"Vprašanje","oss-aion-coverage-join.fa5284c04d":"kratko je kratko","oss-aion-coverage-join.d04fa188df":"Štirinajst še zdaleč ni vse, zato je združitev zavrnjena in ne zaokrožena navzgor.","oss-aion-coverage-join.0b67159da5":"Šestnajst celic je upoštevanih in sestavljeni rezultat je sprejet.","oss-aion-coverage-join.7142d70e45":"sestava zavrnjena, pokritost prekratka","oss-aion-coverage-join.245fbeffee":"ni zaokrožitvena napaka. Regija, ki je nihče ni pogledal.","oss-aion-coverage-join.1df8f3c0e7":"14 od 16","oss-aion-coverage-join.1c1d6ac8f1":"dve celici, ki ju nihče ni pogledal","oss-aion-coverage-join.f0833f7fc6":"ista združitev, ena kocka manjka","oss-aion-coverage-join.db8d5bf534":"sestava sprejeta","oss-aion-coverage-join.558480e414":"16 od 16","oss-aion-coverage-join.26f1b36edc":"vsaka celica je upoštevana","oss-aion-coverage-join.39cd7fa9c4":"štiri kocke","oss-aion-coverage-join.bb2dba7602":"ponazoritvene kocke","oss-aion-coverage-join.a4d76ddfc7":"pokritost prekratka za dve celici","oss-aion-coverage-join.e4445ac125":"Eno preverjanje razdelitve","oss-aion-coverage-join.186c8cd284":"Gradnja, ki jo imate, se pod vami ne spremeni.","oss-aion-coverage-join.9daf9699cc":"gradnja","oss-aion-coverage-join.66506ab77b":"Noben model ni poklican.","oss-aion-coverage-join.f2250926d2":"Nič ne zapusti meje.","oss-aion-coverage-join.3110d06249":"kar zapusti","oss-aion-coverage-join.0bd87fb406":"Na tej poti ni nobenega procesorja.","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":"štirje stroji, en odgovor","oss-aion-coverage-join.3ea0cf3ca7":"naslovi, ki jih nastavite","oss-aion-coverage-join.7b9e33922c":"storitev","oss-aion-coverage-join.17819009bd":"en klic","oss-aion-coverage-join.2c4d8b9dd8":"ukaz","oss-aion-coverage-join.5a78e04d95":"povezano","oss-aion-coverage-join.985e108737":"knjižnica","oss-aion-coverage-join.1d06a0d76f":"model","oss-aion-coverage-join.8eab5a6dbb":"procesor","oss-aion-coverage-table.356f85e809":"en AION ovojnica in usmerjevalna pogodba","oss-aion-coverage-table.4f52f572dd":"sedem izhodov proizvajalca","oss-aion-coverage-table.2a268cd632":"SEDEM PROIZVAJALCEV","oss-aion-coverage-table.8351372237":"najprej izhod, preverjevalnik izbran glede na družino potrdil","oss-aion-coverage-table.b7d5fe11a0":"Kaj za seboj pustijo sedmi proizvajalci","oss-aion-coverage-table.f31a7c9011":"Reševalec","oss-aion-coverage-table.a194f815cb":"Izvedljivo, neizvedljivo ali optimalno","oss-aion-coverage-table.7ec93e2d31":"Dokaz, model, jedro, priča ali meja","oss-aion-coverage-table.651e0f73b2":"Preverjevalnik reševalca, specifičen za družino","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Sklep iz deklariranih omejitev","oss-aion-coverage-table.9ac60dc1a8":"Izpeljava omejitev in vrnjeni dokazi reševalca","oss-aion-coverage-table.d5ef792d46":"Preverjevalnik sklepanja Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Zaključena upravljana operacija","oss-aion-coverage-table.70d43be1ea":"Pooblastila, politike, odobritve, prehodi in potrdila","oss-aion-coverage-table.5372a8e90f":"Organizacijski preverjevalnik Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Preveden artefakt","oss-aion-coverage-table.1f3e5d7c89":"Izvorni graf, transformacije, invariante in identiteta artefakta","oss-aion-coverage-table.86ca1bd031":"Preverjevalnik prevajanja Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Izvedena delovna obremenitev","oss-aion-coverage-table.24f1ac9e33":"Modul, vhodi, dodelitve zmogljivosti, prehodi, omejitve in izhod","oss-aion-coverage-table.0f9ea21c74":"Preverjevalnik izvajanja Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Simulirana trajektorija","oss-aion-coverage-table.ef85239d10":"Identiteta modela, parametri, stanje, kontrolne točke, invariante in zgoščena vrednost trajektorije","oss-aion-coverage-table.c5b7fe3198":"Preverjevalnik simulacije in FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Zaključen zagon FMU","oss-aion-coverage-table.8f5753fba0":"Identiteta FMU, konfiguracija, koraki, dogodki, konvergenca in sled","oss-aion-coverage-table.4d64b5bbaf":"Preverjevalnik simulacije in FMI","oss-aion-coverage-table.7d1ab3c6e0":"Dokazi:","oss-aion-coverage-table.4e5bc7d129":"Preverjevalnik:","oss-aion-days-left.545fa01eea":"in to piše pred zadnjim dnem","oss-aion-days-left.eaa861cef8":"isto pravilo, prebrano štirikrat","oss-aion-days-left.2017bddab0":"Vprašajte kateri koli dan in isto pravilo opravi račun. Nič pri četrtem branju\n          ni glasnejše od prvega, le manjše je.","oss-aion-days-left.81b20537a7":"še preostalo, v dneh","oss-aion-days-left.0526dbf682":"URA","oss-aion-days-left.2f29339cb6":"ista ura, štiri dni narazen","oss-aion-days-left.47a76d1261":"Ena zahteva, štiri branja","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":"danes","oss-aion-dispute-parts.65edc28a9d":"plošča in odločitev pripadata vašemu lastnemu procesu, artefakt pa se ne premika","oss-aion-dispute-parts.e56cf65ada":"in to ni tribunal","oss-aion-dispute-parts.37f322f735":"zagotavlja dokaze,","oss-aion-dispute-parts.7b7570d892":"odločitev","oss-aion-dispute-parts.52e3685580":"okno","oss-aion-dispute-parts.7de929b394":"plošča","oss-aion-dispute-parts.2eba0fb6ad":"kar ima vaš lastni proces","oss-aion-dispute-parts.ea4031d789":"kateri preverjevalnik, katera različica","oss-aion-dispute-parts.93be71a61d":"pogodba","oss-aion-dispute-parts.48b63234e3":"poimenovan namesto povzet","oss-aion-dispute-parts.cced6746e2":"točka napake","oss-aion-dispute-parts.2c9e8d06dd":"ponovljivo za vsakogar","oss-aion-dispute-parts.2e02032e1d":"preverjanje","oss-aion-dispute-parts.804e9af218":"proizvajalec in podpis nedotaknjena","oss-aion-dispute-parts.69506051d5":"ohranjeno, kot je bilo sprejeto","oss-aion-dispute-parts.6b578cc32e":"potrdilo","oss-aion-dispute-parts.21df0b2530":"Kaj prispeva AION","oss-aion-dispute-parts.4029dc5f44":"Ohranja potrdilo, kot je bilo sprejeto. Ohranja pripis, tako da preživi spremembo izvajalca, kdo je ustvaril rezultat. Na zahtevo, od kogar koli, brez proizvajalca, ponovi preverjanje. Namesto da bi vrnil sodbo, opredeli natančno točko napake. In pokaže, kateri preverjevalnik je sprejel rezultat in pod katero različico pogodbe. Plošča, okno in odločitev pripadajo procesu, ki ga vaša organizacija že izvaja. AION zagotavlja artefakt, o katerem ta proces razpravlja.","oss-aion-dispute-parts.434ae4f1d6":"AION-ova naloga v tej situaciji je ozka in to je uporabni del.","oss-aion-dispute-parts.3eb5567b60":"Delo, ki ga ustvari ena stranka in na katerega se zanaša druga, sčasoma povzroči nesoglasje o tem, ali je bilo dobro. O tem skoraj nikoli ne odloča moč argumentacije. Odloča to, ali obstaja artefakt, ki ga lahko preučita obe strani in ga nobena ne more spremeniti, v večini sporov pa zapise, ki bi razrešili vprašanje, hrani ena od obeh strank.","oss-aion-dispute-parts.2ccc6715e9":"Ne boljši argument.","oss-aion-dispute-parts.aa0d5ae0e6":"Spor potrebuje dokaze.","oss-aion-dispute-parts.b4b6237893":"Ko se nekdo ne strinja","oss-aion-dispute-parts.eec3b038bd":"pripis","oss-aion-dispute-parts.100ec4462d":"dokazi","oss-aion-envelope-fields.cfc233d284":"ovojnica nikoli ni","oss-aion-envelope-fields.1c80a87a33":"vsebina je specifična za družino","oss-aion-envelope-fields.d85cb39036":"družina, ki določa preverjevalnika","oss-aion-envelope-fields.a975c5af10":"Vrsta potrdila","oss-aion-envelope-fields.4282e3d696":"poimenovana, nikoli implicirana","oss-aion-envelope-fields.0562f32dc5":"Odvisnosti","oss-aion-envelope-fields.ca2dc8737d":"kateri sistem, katera različica","oss-aion-envelope-fields.7b7194967f":"Proizvajalec","oss-aion-envelope-fields.f33f785291":"proti čemur je bilo narejeno in katera različica","oss-aion-envelope-fields.404e7d3e00":"Vhodi in pogodba","oss-aion-envelope-fields.93a29173f5":"identifikator ter vsebina ali njen zgoščen zapis","oss-aion-envelope-fields.dc4e08a408":"Zahtevek","oss-aion-envelope-fields.78e789d605":"POGODBA","oss-aion-envelope-fields.d12a9ca770":"zunaj vsebine, vsaka družina","oss-aion-envelope-fields.f18dee6041":"Ovojnica","oss-aion-envelope-fields.f07e5a8156":"vsebina","oss-aion-evidence.cbf668da60":"Dnevniki","oss-aion-evidence.28e06c789a":"Dnevnik pokaže, da je sistem deloval. Ne pokaže, zakaj je bil dosežen odgovor, in dnevnik je mogoče tiho spremeniti.","oss-aion-evidence.c637aebe3a":"Nepregleden","oss-aion-evidence.5c3fc92e3f":"Stopnja zaupanja","oss-aion-evidence.fd3c76543b":"Ena številka, ki povzema notranje stanje. Dva sistema lahko prikažeta enako stopnjo in na istem vnosu prideta do nasprotnih zaključkov.","oss-aion-evidence.16f3dacf52":"Brez izpeljave","oss-aion-evidence.7f34e37f1b":"Samodejno ustvarjena razlaga","oss-aion-evidence.361b70a63e":"Napisal jo je isti model, ki je sprejel odločitev. Ocenjuje svoje lastno delo, zato ne more služiti kot neodvisen dokaz.","oss-aion-evidence.782acc59ce":"Krožno","oss-aion-evidence.477416bf24":"Zaupajte prodajalcu","oss-aion-evidence.1e84c62138":"Ko regulator, pacient ali sodišče vpraša »pokažite svoje delo«, obljuba na ravni storitve ni odgovor, ki bi ga lahko preverili.","oss-aion-evidence.76afe0e09f":"Nepreverljivo","oss-aion-evidence.06f2d5f1a8":"Potrdilo, ne trditev","oss-aion-evidence.cdcc6f712c":"AION poleg odgovora izda potrdilo o dokazih. Potrdilo navaja vsak korak sklepanja v vrstnem redu, v katerem je bil narejen.","oss-aion-evidence.6d1c5f470b":"Preveril nekdo drug","oss-aion-evidence.cc65178dc5":"Ločen preverjevalnik pregleda korake in jih bodisi sprejme bodisi zavrne. Stranka, ki postavlja vprašanje, ga zažene sama.","oss-aion-evidence.412a3b1e5e":"Ponovno izvedljivo pozneje","oss-aion-evidence.9082c552d2":"Isto potrdilo se naslednji mesec preveri na enak način, na drugem računalniku, brez dostopa do prvotnega sistema.","oss-aion-evidence.1206578b48":"pokažite svoje delo","oss-aion-evidence.494beafd71":"vprašanje revizije","oss-aion-evidence.bba8b0753d":"dokazi proti trditvam","oss-aion-evidence.00e2ca4c85":"Ko odločitev umetne inteligence doseže regulatorja, pacienta ali varnostni primer, nekdo vpraša","oss-aion-evidence.1defdb9d85":"kako je prišla do tega odgovora.","oss-aion-evidence.290a698043":"Večina organizacij ne more dati odgovora,\n          ki bi ga lahko oseba, ki ga postavlja, preverila sama.","oss-aion-evidence.56f6624482":"Ni dokaz","oss-aion-evidence.a295517f40":"Kaj ponujajo danes","oss-aion-evidence.7ea014de7b":"Dokazi","oss-aion-evidence.4cb1cd3e53":"Kaj preda AION","oss-aion-evidence.2a36a263da":"Dokazi niso zatrjeni. Dokazi so preverjeni.","oss-aion-evidence.e0a4c0a385":"Neodvisno preverjanje je edini odgovor, ki ga lahko sprejme revizor.","oss-aion-exact-sum.21aaad8129":"negativni množitelj je zavrnjen, preden se vzame vsota, pri prvem preverjanju","oss-aion-exact-sum.3b267c2a81":"v tej verigi ni nobenega notranjega plavajočega števila","oss-aion-exact-sum.1a43ebe28c":"zato je sistem ovržen","oss-aion-exact-sum.452308dbcd":"konstanta ostane","oss-aion-exact-sum.35add33a7a":"kar ostane","oss-aion-exact-sum.df326a819b":"členi y se izničijo","oss-aion-exact-sum.dae482d4b2":"členi x se izničijo","oss-aion-exact-sum.c36d183406":"seštejte skalirane neenakosti","oss-aion-exact-sum.79e4c9d3fa":"skalirajte jo","oss-aion-exact-sum.c3c4b24b20":"obe neenakosti, vse na eni strani","oss-aion-exact-sum.b6b4c73115":"vsota v celoti","oss-aion-exact-sum.c1c66bf52c":"Pogoji se preverjajo po vrstnem redu in vsak je sam po sebi zavrnitev. Negativni\n            množitelj je zavrnjen, preden se vzame katera koli vsota, ker skaliranje z negativnim\n            številom obrne neenakost. Vsota, kjer preživi člen s spremenljivko, je zavrnjena z\n            navedbo preživelega člena. Vsota, katere preostala konstanta ni pozitivna, je\n            zavrnjena, ker ne dokazuje ničesar. Koeficient nad varovalom velikosti sproži\n            prelivanje namesto ovijanja. Nič v tej verigi ni toleranca.","oss-aion-exact-sum.6efbacfc5b":"Aritmetično ovržbo je niz množiteljev. Vsako neenakost zapišite z\n            vse na eni strani znaka, jo skalirajte, seštejte skalirane neenakosti,\n            in če se vsi členi s spremenljivkami izničijo in kar ostane je pozitivno število, za\n            katero se pravi, da je največ nič, to ne more držati, torej tudi sistem, iz\n            katerega izhaja, ne more. AION sprejme\n            te množitelje na meji in jih pretvori v deklarirano prilagodljivo\n            celoštevilsko/fiksno predstavitev pred preverjanjem. Shranjuje, kopiči in\n            ne računa nobenih vrednosti s plavajočo vejico interno in nima rezerve s plavajočo vejico.\n            Ulomek ostane tukaj natisnjen, ker naredi protislovje berljivo; preverjanje\n            ureja njegova deklarirana pretvorba in merilo.","oss-aion-exact-sum.31934abfaa":"Njegova pretvorba deklarira merilo.","oss-aion-exact-sum.a3caf489e5":"Tretjina ni 0,333.","oss-aion-exact-sum.15e6a906dd":"Deklarirana prilagodljiva fiksna aritmetika","oss-aion-exact-sum.108a35964a":"vsota pravi 11/6 <= 0, kar je napač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":"natančno","oss-aion-exec-cert.6a230011ab":"nekaj drugega to preverja","oss-aion-exec-cert.2c14724b1b":"runtime je to ustvaril","oss-aion-exec-cert.b07722ef0c":"omejitev","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"modul za izpis","oss-aion-exec-cert.a7b63abc02":"Kaj nosi potrdilo","oss-aion-exec-cert.e1bbfaa783":"Identiteta tega, kar je nastalo, in ali se je ujelo.","oss-aion-exec-cert.59871c9494":"Izhod in stanje","oss-aion-exec-cert.ffb779a5c3":"Omejitve, znotraj katerih je delovalo, kot meje in ne kot opažanja.","oss-aion-exec-cert.ffbc724f07":"Okvir virov","oss-aion-exec-cert.273c1da325":"Deterministično, glede na modul, vhode in dovoljenja.","oss-aion-exec-cert.acee491c99":"Prehodi stanj","oss-aion-exec-cert.eab885bbb2":"Kaj mu je bilo dovoljeno doseči, določeno pred izvajanjem.","oss-aion-exec-cert.dc009dc166":"Dodelitve zmogljivosti","oss-aion-exec-cert.6f3eb29822":"Kateri modul, po vsebinskem naslovu, pri kateri različici runtime.","oss-aion-exec-cert.c201b4ae89":"Identiteta modula","oss-aion-executed-under.6b6dab207c":"Kaj potrdilo dovoljuje","oss-aion-executed-under.1fcfedc78a":"kaj bi lahko doseglo","oss-aion-executed-under.0338c5441d":"Vprašanje po dejstvu je avtoriteta, potrdilo pa jo nosi.","oss-aion-executed-under.bc70ed4db9":"Štiri odobritve pridržane in tri zavrnjene.","oss-aion-executed-under.6f9d76b8c0":"Prehodi so deterministični glede na modul, vhode in odobritve, zato je bilo vse to\n            izvedeno brez zaganjanja delovne obremenitve.","oss-aion-executed-under.e044b5f419":"Identiteta, ki jo potrdilo razglaša, ni identiteta, ki jo prehodi ustvarijo, zato je\n            zagon zavrnjen na izhodu. Vse pred tem je bilo natančno rekonstruirano.","oss-aion-executed-under.7f0cc64ae8":"deterministični prehodi","oss-aion-executed-under.5fa4050afc":"nabor zmogljivosti, razglašen pred zagonom","oss-aion-executed-under.844e9ed357":"ura, opazovanje ni nastavljeno","oss-aion-executed-under.b3ccbb4041":"omejitev pomnilnika 512 MiB","oss-aion-executed-under.1fe892a96f":"ena vtičnica, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"branje /var/lib/claims","oss-aion-executed-under.7a02a68db0":"ni pridržano","oss-aion-executed-under.685706abcf":"izhodna identiteta se razlikuje","oss-aion-executed-under.6287ff317a":"ustvarjeno","oss-aion-executed-under.0baff051a0":"razglašeno","oss-aion-executed-under.1029d67644":"izhod","oss-aion-executed-under.fbd34a2b6e":"modul","oss-aion-executed-under.910e029098":"ilustrativno","oss-aion-executed-under.df6fe4f714":"zmožnost vztrajanja po zagonu","oss-aion-executed-under.b51590997b":"vsak drug naslov","oss-aion-executed-under.e4e545e3b7":"vse ostalo v datotečnem sistemu","oss-aion-fact-strip.0dc9622797":"Vsaka številka izvira iz skladišča AION.","oss-aion-fact-strip.b7feece146":"AION v številkah","oss-aion-fact-strip.fedec331ff":"Knjižnica, CLI in merila uspešnosti v enem delovnem okolju","oss-aion-fact-strip.13a24daf03":"Implementacija","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Dvojiška, cela in prilagodljiva fiksna vejica; brez notranje plavajoče vejice","oss-aion-fact-strip.5688a0448c":"Aritmetično jedro","oss-aion-fact-strip.0cae74747c":"Natančno","oss-aion-fact-strip.379c055f01":"Linearno glede na dolžino dokaza, brez povezave, brez reševalnika","oss-aion-fact-strip.04ce84fb6e":"Stroški preverjanja","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe in enotna vmesna oblika","oss-aion-fact-strip.e6c67de15e":"Formati dokazov","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Logične teorije","oss-aion-failure-notice.d8164c5dd8":"ugotovitev, ne spor","oss-aion-failure-notice.159098bbba":"Drugi začne prepir, ki ga nihče ne more končati.","oss-aion-failure-notice.814fc5cd4f":"Enega od teh je mogoče v torek popoldne poslati dobavitelju.","oss-aion-failure-notice.2e6ea3eaa5":"ni mogoče dodeliti, ni mogoče ovrednotiti, ni mogoče natančno izpodbijati","oss-aion-failure-notice.e896d6344f":"preverjanje ni uspelo","oss-aion-failure-notice.587270a2e4":"kam gre vsako polje","oss-aion-failure-notice.ba0f0eb3fe":"predpostavka ni prisotna","oss-aion-failure-notice.0c2a7f4aef":"korak 415","oss-aion-failure-notice.55daa4a2ea":"zadnji štirje koraki se glasijo","oss-aion-failure-notice.ca548ed152":"17. marec 2026","oss-aion-failure-notice.3c05b129e2":"sodba ni izdana","oss-aion-failure-notice.aa943932a5":"obvestilo o zavrnitvi","oss-aion-failure-notice.28fb3d519e":"rekonstruirano","oss-aion-failure-notice.bd370d1b6f":"korak","oss-aion-failure-notice.910e029098":"ponazoritveno","oss-aion-failure-notice.e6b658331e":"in nihče ni obtožen","oss-aion-failure-notice.94002635cd":"vi, če gre za vprašanje obsega","oss-aion-failure-notice.7ab178c9a0":"vrsta","oss-aion-failure-notice.0d967ff8f3":"zagotovi manjkajočo predpostavko","oss-aion-failure-notice.b54c9b7359":"kdor je ustvaril korak","oss-aion-failure-notice.94a94ba774":"razlog","oss-aion-failure-notice.ba3167e426":"potrdi, kaj naj ta korak naredi","oss-aion-failure-notice.32ec97b69b":"lastnik vašega nabora pravil","oss-aion-failure-notice.b543dc38fd":"pravilo","oss-aion-failure-notice.ad866c4aef":"odpre datoteko pri koraku 415","oss-aion-failure-notice.06fddd86f6":"ekipa za preverjanje dobavitelja","oss-aion-failure-notice.aecf66bfac":"lokacija","oss-aion-failure-notice.1d7794c5e2":"za ta dokaz ni izdana sodba","oss-aion-failure-notice.f4475dac73":"posledica","oss-aion-failure-notice.566c7d73a0":"korak navaja predpostavko, ki ni prisotna v datoteki","oss-aion-failure-notice.7947e92e3c":"razlog","oss-aion-failure-notice.5dfa011717":"pravilo, razrešitev","oss-aion-failure-notice.64463af8a3":"414 sprejetih","oss-aion-failure-notice.c21ce4fb88":"prebrani koraki","oss-aion-failure-notice.2bf60a2164":"analiza spora z dobaviteljem za marčevski nabor pravil","oss-aion-failure-notice.335ce16b3f":"predmet","oss-aion-family-board.ca8f6715c8":"ločeno različiceno","oss-aion-family-board.e794ff76c1":"orodje, ki čaka na preverjevalnika","oss-aion-family-board.0f2e82af82":"Devet družin si deli eno ovojnico in ničesar drugega. Deseta je","oss-aion-family-board.ca6c6dda8e":"preverjevalnik in razglašen nabor pravil","oss-aion-family-board.c53186083e":"deseta","oss-aion-family-board.0020359543":"neveljaven prehod, presežen dovoljeni obseg, neujemanje izhoda,\n              nepopolna sled","oss-aion-family-board.187225126d":"taksonomija zavrnitev","oss-aion-family-board.fac6c7230f":"ponovno predvajanje prehodov glede na razglašene\n              omejitve in nabor pravil","oss-aion-family-board.155e6164fc":"algoritem preverjanja","oss-aion-family-board.924f583920":"deterministično zaporedje prehodov z identitetami vhodov in\n              izhodov","oss-aion-family-board.c0e6022509":"predstavitev dokaza","oss-aion-family-board.927f6ddf1e":"ta obremenitev je delovala pod temi dovoljenji in dosegla ta izhod","oss-aion-family-board.79bf5b0ee6":"vrsta zahtevka","oss-aion-family-board.131097a25c":"Izvedba v času izvajanja, v2","oss-aion-family-board.50b24e4d4c":"ena plošča, odprta","oss-aion-family-board.803aa98470":"da je shranjeni zapis tisti, ki je bil sprejet","oss-aion-family-board.3e71ceb1ca":"celovitost shranjevanja","oss-aion-family-board.f8603f4710":"da je razglašeni model ustvaril ta zagon","oss-aion-family-board.ccc3c9b41d":"Simulacija in FMI","oss-aion-family-board.d0c6b470a4":"da je deloval znotraj dovoljenj, ki jih je prejel","oss-aion-family-board.dc37599f99":"Izvedba v času izvajanja","oss-aion-family-board.4f059da0be":"da artefakt ohranja vir","oss-aion-family-board.aad755de42":"Prevajanje","oss-aion-family-board.69ce9b9c4f":"da se je upravljana operacija zgodila","oss-aion-family-board.ed87ca5ca0":"Organizacijsko","oss-aion-family-board.0dbf90d179":"da razglašena izpeljava rekonstruira","oss-aion-family-board.e272c597fd":"Utemeljevanje","oss-aion-family-board.e79949ba43":"da lastnost velja v vseh zagonih, ne le enem","oss-aion-family-board.bdb5a28846":"Časovno in hiperlastnostno","oss-aion-family-board.b83c805a0a":"da nič boljšega ne obstaja znotraj meja","oss-aion-family-board.c794704381":"Optimizacija","oss-aion-family-board.ede1ae7e54":"da nobena dodelitev ne izpolnjuje nabora","oss-aion-family-board.a04ce90d06":"Logika in izpolnljivost","oss-aion-family-board.b98b54298f":"devet registriranih, ena orodje","oss-aion-family-board.6253e9d668":"Družinska plošča","oss-aion-family-board.910e029098":"ilustrativno","oss-aion-family-registry.6e32650bab":"in različica na vseh","oss-aion-family-registry.dcd1f1fdc9":"štiri deklaracije na družino","oss-aion-family-registry.3bc3fe987d":"Napake, ki jih ta družina lahko vrne, vsaka z lokacijo.","oss-aion-family-registry.d129426d71":"Taksonomija zavrnitev","oss-aion-family-registry.d4504f5b41":"Kaj poganja preverjevalnik in nabor pravil, ki jih sprejema.","oss-aion-family-registry.52ab770040":"Algoritem preverjanja","oss-aion-family-registry.4c9dd89c88":"Kako se prenaša priča, izpeljava ali sled.","oss-aion-family-registry.016fecd943":"Predstavitev dokaza","oss-aion-family-registry.ab1e33179a":"Kaj ta družina ugotavlja in česa namenoma ne.","oss-aion-family-registry.8a547220fc":"Vrsta zahtevka","oss-aion-family-registry.37094b3cc5":"preden ga je mogoče preveriti","oss-aion-family-registry.b14e18379b":"REGISTER","oss-aion-family-registry.b3e4281358":"Kaj družina deklarira","oss-aion-family-registry.7efea8ff96":"nepopolno","oss-aion-family-registry.995fee1f1a":"nepodprto","oss-aion-family-registry.81f344a768":"neveljavno","oss-aion-foreign-proof.4c43cb0de1":"brez licence, brez okolja","oss-aion-foreign-proof.9406c96fa7":"štiri tanke črte med njima","oss-aion-foreign-proof.9fefe2d67f":"Štiri vrste dela na eni strani, štirje berljivi predmeti na drugi, in","oss-aion-foreign-proof.57802c0b4e":"Preverjevalnik nikoli ni pognal leve strani in mu tega ni treba.","oss-aion-foreign-proof.1dfc94b110":"en račun","oss-aion-foreign-proof.cff5f15fed":"dva prehoda","oss-aion-foreign-proof.d58f13fb52":"preverjanje pooblastil","oss-aion-foreign-proof.24ef006723":"pooblastila in računi","oss-aion-foreign-proof.933912faec":"agenti, usklajevanje","oss-aion-foreign-proof.2ae1de46da":"stanje ostane znotraj deklarirane ovojnice","oss-aion-foreign-proof.ed96565674":"kontrolne točke in invarianta","oss-aion-foreign-proof.0ae689c7bd":"koraki integracije","oss-aion-foreign-proof.f9020659b6":"izbira jedra","oss-aion-foreign-proof.3e77a07952":"trditve o ohranjanju","oss-aion-foreign-proof.2bb64b9b5b":"optimizacijski prehodi","oss-aion-foreign-proof.c8b39aa910":"izpeljava klavzul","oss-aion-foreign-proof.4da89bbc52":"iskanje reševalca","oss-aion-foreign-proof.51339ff0ea":"dokazi na vašem računalniku","oss-aion-foreign-proof.4f45bf808d":"delo na proizvajalcu","oss-aion-foreign-proof.c369931988":"štiri vrstice, nič drugega","oss-aion-foreign-proof.ec0b7e2c43":"Kaj prečka mejo","oss-aion-foreign-proof.44d74dd33f":"oblike","oss-aion-foreign-proof.e7b1fff700":"vrste","oss-aion-foreign-proof.910e029098":"ilustrativno","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT in Alethe preverjata v linearnem času brez povezave. DRAT se preveri in nato skrajša v LRAT.\n            Unified pretvarja med njima brez izgub.","oss-aion-formats.14a628e6d3":"Preveril","oss-aion-formats.dda6ac27b9":"Preveri","oss-aion-formats.34556fa12c":"Kartica formata","oss-aion-formats.e6c67de15e":"Formati dokazov","oss-aion-formats.8a5e29e5bb":"pretvorba brez izgub","oss-aion-formats.ddb7c01560":"en vir, štiri oblike","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# enotni vmesni dokaz","oss-aion-formats.0d3311a5dc":"pretvornik aion-proofs","oss-aion-formats.1f5124d90b":"Pretvorjeno ob izvozu","oss-aion-formats.8c21b7e1f1":"Notranja predstavitev, ki pretvarja med ostalimi brez izgub.","oss-aion-formats.ebb8e8cf49":"Vmesna oblika","oss-aion-formats.287fda8114":"Enotni","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":"Linearni čas, brez povezave","oss-aion-formats.f6f7b642b0":"Format skupnosti SMT-LIB iz rodov cvc5 in veriT.","oss-aion-formats.4aa5db37af":"Dokaz SMT","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat vrstice za dodajanje in brisanje","oss-aion-formats.f3ba7f38e9":"drat-trim v LRAT","oss-aion-formats.36f33c83a6":"Preverjeno, nato skrajšano","oss-aion-formats.4745aebc97":"Klavzalno dodajanje in brisanje. Preverjevalniki formatov skrajšajo v LRAT.","oss-aion-formats.154df3dc2f":"Certifikat SAT","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" izpeljana prazna klavzula","oss-aion-formats.6fd630d612":" lrat z namigi za enotsko propagacijo","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Industrijski standardni dokazi z razreševanjem za propozicijsko jedro.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"datoteka, ki se nikoli ne zapre","oss-aion-four-gates.0ff8f0eb5a":"in še ena na koncu","oss-aion-four-gates.a1ebd8379f":"pred korakom 1","oss-aion-four-gates.b161dbb47d":"Datoteka se najprej pregleda za ponovljeno številko koraka.","oss-aion-four-gates.21e412d2d0":"Dva koraka, ena številka","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"in ena pred vsemi","oss-aion-four-gates.e74bdcd46a":"Štirje testi, v tem vrstnem redu","oss-aion-four-gates.fef891bb33":"korak 15","oss-aion-four-gates.cc90eb3e73":"Ni rutine za ime. Branje se ustavi, ne preskoči.","oss-aion-four-gates.787e8a8577":"Pravilo neznano","oss-aion-four-gates.e70c55582f":"korak 52","oss-aion-four-gates.59446cbcf9":"Premisa, ki je prisotna, vendar oštevilčena nad korakom, ki se nanjo sklicuje.","oss-aion-four-gates.f1604fe1aa":"Navedeno izven vrstnega reda","oss-aion-four-gates.a42f56e597":"korak 44","oss-aion-four-gates.371b9613cc":"Navedena številka, ki je ni nikjer v datoteki.","oss-aion-four-gates.1d1369a316":"Premisa ni prisotna","oss-aion-four-gates.e1391a7c80":"korak 31","oss-aion-four-gates.9a7512e955":"Korak, ki stoji na lastnem zaključku. Vprašano najprej, pri vsakem koraku.","oss-aion-four-gates.7f30dfcc04":"Sklicuje se nase","oss-aion-governed-operation.b0582e8559":"Ena operacija, preverjena","oss-aion-governed-operation.8af7f1d469":"upravljana, nato preverjena","oss-aion-governed-operation.ada470c3d7":"Veriga in njeno preverjanje sta dve različni avtoriteti.","oss-aion-governed-operation.90fba649e4":"Štirje elementi so bili rekonstruirani, peti pa ustavi branje.","oss-aion-governed-operation.ea8356461f":"ni v tem potrdilu: kaj je kateri agent mislil","oss-aion-governed-operation.2f68c232b4":"Različica pravilnika, ki jo potrdilo navaja, ne vsebuje pogoja, za katerega ta vrata\n                trdijo, da so ga uporabila. Operacija je zavrnjena pri tem elementu in za celoto\n                ni izdana nobena sodba.","oss-aion-governed-operation.be51277bfd":"ni doseženo","oss-aion-governed-operation.57b160e317":"prehod preverjevalnika, na lastno avtoriteto","oss-aion-governed-operation.26f017e3e6":"sprejeto, ref 4471-b","oss-aion-governed-operation.34c3c00446":"prejem zabeležen","oss-aion-governed-operation.159338740e":"navodilo za plačilo, knjigovodski sistem","oss-aion-governed-operation.80f6148b56":"dejanje izvedeno","oss-aion-governed-operation.458c8c203d":"na dejanje, ne na sporočilo v njegovi bližini","oss-aion-governed-operation.1b4dcda6ba":"odobritev priložena","oss-aion-governed-operation.303418bf06":"nad 50 000 je potreben drugi odobritelj","oss-aion-governed-operation.faf1f5eb4b":"pravilniška vrata","oss-aion-governed-operation.557df801be":"prehodi nalog","oss-aion-governed-operation.b1c842256e":"uradnik za zahtevke","oss-aion-governed-operation.59bef6c3e5":"avtoriteta razrešena","oss-aion-governed-operation.0639a9efd0":"štirje agenti, neenak obseg","oss-aion-governed-operation.8e44be8724":"organizacija ustanovljena","oss-aion-governed-operation.139146ad26":"pravilnik v4.2","oss-aion-governed-operation.8524f08438":"poravnaj četrtletne zahtevke dobaviteljev","oss-aion-governed-operation.cab7375bdf":"operacija, kot jo je izvedel Nexus","oss-aion-governed-operation.82c8154dca":"zavrnjeno pri vratih","oss-aion-governed-operation.a503bc1da2":"zavrnjeno","oss-aion-governed-operation.28fb3d519e":"rekonstruirano","oss-aion-governed-operation.45807bf2ec":"poravnano","oss-aion-governed-operation.fb92f3f834":"ocenjeno","oss-aion-governed-operation.590abaace4":"odprto","oss-aion-governed-operation.d2dc873868":"objektivno","oss-aion-governed-operation.910e029098":"ponazoritveno","oss-aion-harness-fields.d5ad303466":"in številka, ki jo lahko navedete","oss-aion-harness-fields.5a31ca3c0f":"vaš korpus, vaša strojna oprema","oss-aion-harness-fields.58664673b0":"Natisnjeno nad celotnim korpusom na koncu izvajanja.","oss-aion-harness-fields.6197b910db":"Pravilno število","oss-aion-harness-fields.175226a475":"V primerjavi s stanjem, zabeleženim v sami datoteki.","oss-aion-harness-fields.d787e678da":"Odgovor glede na stanje","oss-aion-harness-fields.b5ec587356":"Samo iskanje, po primeru, ne povprečeno.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Čas reševanja","oss-aion-harness-fields.bec737ff93":"Koliko časa je trajalo branje datoteke, ločeno od reševanja.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Čas razčlenjevanja","oss-aion-harness-fields.20e5752f58":"Najvišja vrednost, tako da ima načrt zmogljivosti številko.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Najvišja uporaba pomnilnika","oss-aion-harness-fields.b660370132":"ena datoteka iz vašega korpusa","oss-aion-harness-fields.ec845d015d":"po primeru, nato sešteto","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Kaj zabeleži eno izvajanje","oss-aion-harness-fields.b3cbdd75cb":"ovrženo","oss-aion-harness-fields.48a3661d84":"stanje","oss-aion-harness-fields.25dc282b5a":"odgovor","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Reševanje...","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":"Čas: 4 ms","oss-aion-hero-glyph.138243f0f4":"Rezultat: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Dokaz: 128 korakov","oss-aion-hero-glyph.41294a8dc8":"Dokaz zapisan v: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Preverjanje dokaza: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Razčlenjevanje: OK","oss-aion-hero-glyph.27d28e3ca9":"Dokaz ima 128 korakov","oss-aion-hero-glyph.1ba94dea63":"Statistika dokaza:","oss-aion-hero-glyph.e1b3c4d7c5":"  Skupaj korakov: 128","oss-aion-hero-glyph.e30b86fef9":"  Korakov rezolucije: 71","oss-aion-hero-glyph.8215376faf":"  Aritmetičnih korakov: 24","oss-aion-hero-glyph.552f29f0b5":"  Največja velikost klavzule: 6","oss-aion-hero-glyph.fc539fcf62":"Preverjanje dokaza: USPEŠNO","oss-aion-hero-glyph.1e4bdfb80c":"Čas preverjanja: 2 ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Brez povezave","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":"preverjanje v linearnem času","oss-aion-hero-glyph.6b5eb5323e":"Priloženo potrdilo","oss-aion-how-to-check.c799cc998b":"Rezultat: to je pravilno.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"Prvi stroj izroči potrdilo ločenemu pomočniku, ki ga preveri","oss-aion-how-to-check.d026bcfccb":"Rezultat je jasen: potrdilo se sešteje ali pa se ne. Ni morda.","oss-aion-how-to-check.d0c84a5a37":"Preverjanje poteka tam, kjer ste. Nič se ne pošilja stran in spletna stran ni potrebna.","oss-aion-how-to-check.623151a710":"Pomočnik, ki preverja, ni stroj, ki je odgovoril. Ne more se kar strinjati sam s seboj.","oss-aion-how-to-check.87e974a415":"ga prebere in preveri","oss-aion-how-to-check.3c487e646c":"Drugi pomočnik","oss-aion-how-to-check.78829f8a37":"koraki, zapisani","oss-aion-how-to-check.9b7b265fbb":"Potrdilo","oss-aion-how-to-check.f58fd2cb80":"da odgovor in potrdilo","oss-aion-how-to-check.50e90303d4":"Prvi stroj","oss-aion-integration.b1873dbd42":"En motor, brez zunanje storitve. Povežite crate, določite različico in preverite potrdila v istem okolju.","oss-aion-integration.5f2e7d7c25":"Enako dokazno potrdilo z vsake površine. Vnesete poizvedbo, dobite preverljivo potrdilo.","oss-aion-integration.a4db3ae8b6":"Kako ga kličete","oss-aion-integration.4ec6d609ab":"Začnite z eno odločitveno potjo","oss-aion-integration.559461e293":"knjižnica, CLI, bench","oss-aion-integration.0228a4c724":"Vsakdo lahko preveri potrdilo z aion check ali z neodvisnim preverjevalnikom LRAT ali Alethe na svojem računalniku.","oss-aion-integration.dda6ac27b9":"Preveri","oss-aion-integration.4d2c6036eb":"Postavite aion-cli za svojo storitvijo. Dokazno potrdilo je pogodba, ki jo storitev vrne.","oss-aion-integration.c3447e7954":"Ovijte","oss-aion-integration.f9109d0f04":"Dodajte crate obstoječi aplikaciji Rust in oddajajte potrdila v skladu z odgovori, ki jih že ustvarja.","oss-aion-integration.ad02e14e28":"Vgradite","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Namenska binarna datoteka za primerjalno testiranje je v delovnem prostoru. Izmerite reševanje in preverjanje na svoji strojni opremi, namesto da zaupate podatkom prodajalca.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Upravljajte AION iz lupine ali opravila CI. solve izvede poizvedbo, check preveri dokazno potrdilo brez povezave, prove pa ga ustvari. Enak izhod potrdila kot knjižnica.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Povežite AION kot crate in neposredno kličite reševalnik ter oddajnik potrdil. Jedro, teorije in formati potrdil so v procesu, brez potrebe po storitvi.","oss-aion-integration.8319d9b3b9":"Knjižnica Rust","oss-aion-live-margins.df15dfd304":"eden od njih je dejanje","oss-aion-live-margins.96576608a5":"tri od teh so branja","oss-aion-live-margins.5711ac01c1":"SPREMLJANO","oss-aion-live-margins.f719aa9511":"preteklo glede na dovoljeno","oss-aion-live-margins.a344938438":"Štiri obveznosti","oss-aion-live-margins.19e5ecc09e":"isti dan, na dogodku","oss-aion-live-margins.828697f103":"Zapis prenosa","oss-aion-live-margins.222af170d9":"44 dni od 30, še odprto","oss-aion-live-margins.a441e09d1a":"Obdobje hrambe","oss-aion-live-margins.30e04c8f23":"2 dni od 3","oss-aion-live-margins.20d6944505":"Obvestilo o kršitvi","oss-aion-live-margins.9b9419d2e2":"26 dni od 30","oss-aion-live-margins.6e7d6c760b":"Odgovor subjektu","oss-aion-nothing-outbound.45b9d8acdc":"brez odhodnega odjemalca","oss-aion-nothing-outbound.5b16b5db9a":"Vsaka pot se začne in konča znotraj črte, ki ste jo narisali.","oss-aion-nothing-outbound.59a0768496":"Nič na tem listu ne seže čez obris.","oss-aion-nothing-outbound.71c31d8219":"lokalni proces na tem računalniku","oss-aion-nothing-outbound.605f85e28f":"zunanji dokazovalec","oss-aion-nothing-outbound.150bc2359d":"en podomrežje, ki ga določite vi","oss-aion-nothing-outbound.5193678a39":"naslovi gruče","oss-aion-nothing-outbound.49c4e670b3":"vaše omrežje","oss-aion-nothing-outbound.273ca4c134":"kar konfigurirate","oss-aion-nothing-outbound.7f8d7aeedb":"pet vrstic","oss-aion-nothing-outbound.bcec1ac359":"kaj ta pot doda vašemu registru","oss-aion-nothing-outbound.4553aa0c94":"lokalna shramba","oss-aion-nothing-outbound.93d65d8ef8":"arhiv","oss-aion-nothing-outbound.760cfc52ce":"preverjevalnik","oss-aion-nothing-outbound.6621d172f5":"niz pravil, ki se bere","oss-aion-nothing-outbound.565f3cfc6a":"potrdilo, ki se preverja","oss-aion-nothing-outbound.284f61c8db":"vaše spletišče, vaša strojna oprema","oss-aion-nothing-outbound.f368a04bb8":"ena meja, in je vaša","oss-aion-nothing-outbound.5c795b7e7d":"nobena pot ne zapusti","oss-aion-nothing-outbound.4f98b1412d":"Nič ne zapusti oboda","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Različica, ki jo imate, se vam ne spremeni.","oss-aion-nothing-outbound.07b9a651d1":"Razpored dobaviteljevih izdaj za spremljanje","oss-aion-nothing-outbound.8fa0bea3f8":"Nobena naša storitev ni na poti.","oss-aion-nothing-outbound.11449c8bd3":"Odvisnost razpoložljivosti za beleženje","oss-aion-nothing-outbound.66506ab77b":"Noben model se ne kliče.","oss-aion-nothing-outbound.af474ee96b":"Ponudnik modela za oceno","oss-aion-nothing-outbound.f2250926d2":"Nič ne zapusti meje.","oss-aion-nothing-outbound.e80e5b3403":"Čezmejni prenos za utemeljitev","oss-aion-nothing-outbound.0bd87fb406":"Na tej poti ni nobenega procesorja.","oss-aion-nothing-outbound.9494490634":"Procesor za dodajanje","oss-aion-obligation-calendar.366609b500":"rob, ne alarm","oss-aion-obligation-calendar.3c8532b3c7":"Pravilo na sredini je tam, kjer poceni popravek ni bil več na voljo.","oss-aion-obligation-calendar.949b1361f5":"Obe številki sta odčitka, ki ju lahko vsakdo vzame danes zjutraj.","oss-aion-obligation-calendar.7758d9c282":"potrebno ukrepanje","oss-aion-obligation-calendar.4ebebe0b7c":"-14 dni","oss-aion-obligation-calendar.6937bf485d":"začelo pred tem mesecem","oss-aion-obligation-calendar.37ed878825":"obdobje hrambe","oss-aion-obligation-calendar.3974c3ac47":"+4 dni","oss-aion-obligation-calendar.aa69fdaab6":"odprto, dovoljenih 30 dni","oss-aion-obligation-calendar.c6727ea40c":"odziv subjekta","oss-aion-obligation-calendar.51269d14af":"zadnji dan, ko je bilo to še popoldansko delo","oss-aion-obligation-calendar.96a8ebf797":"ilustrativni datumi","oss-aion-obligation-calendar.fdcce3f37e":"eden je prekoračil rok","oss-aion-obligation-calendar.11ddafb2cc":"En mesec obveznosti","oss-aion-obligation-calendar.a2620cbc10":"dan","oss-aion-one-contract-six.d3926ca64d":"en register, en prizadet nabor","oss-aion-one-contract-six.c4d72c2328":"Njihovi dokazi sledijo eni ovojnici AION.","oss-aion-one-contract-six.a7e545052a":"Izhodi proizvajalcev ostanejo ločeni.","oss-aion-one-contract-six.5cbf78425a":"eno pravilo se spremeni, ponovno preveri prizadete zapise","oss-aion-one-contract-six.f5c6772ad7":"ena čakalna vrsta za ponovno preverjanje","oss-aion-one-contract-six.d3516bd6ea":"en register in zapis o shranjevanju","oss-aion-one-contract-six.2ec012da6f":"ena ovojnica AION","oss-aion-one-contract-six.2c653cc8fa":"istih sedem proizvajalcev, skozi eno ovojnico AION","oss-aion-one-contract-six.725c682066":"različni izhodi, verifikatorji, specifični za družino","oss-aion-one-contract-six.cddf74f2cf":"sedem izhodov proizvajalcev","oss-aion-one-contract-six.f063fe5bcd":"sedem izhodov zgoraj, ena ovojnica spodaj","oss-aion-one-contract-six.c34e6d1a39":"sedem proizvajalcev, ena ovojnica dokazov","oss-aion-one-contract-six.910e029098":"ilustrativno","oss-aion-one-contract-six.67bb73569c":"simulacijsko potrdilo","oss-aion-one-contract-six.7966a9fa49":"potrdilo o prevajanju","oss-aion-one-contract-six.1111f590cc":"organizacijsko potrdilo","oss-aion-one-contract-six.293194c28e":"potrdilo o sklepanju","oss-aion-one-contract-six.8aa194122c":"zapis logičnega dokaza","oss-aion-one-contract-six.30870de828":"identiteta modela, parametri, stanje, kontrolne točke, invariante in zgoščena vrednost trajektorije","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"modul, vhodi, dodeljena pooblastila, prehodi, omejitve in izhod","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"izvorni graf, transformacije, invariante in identiteta artefakta","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"organ, politika, odobritve, prehodi in potrdila","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"izpeljava omejitev in vrnjeni dokazi reševalnika","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"dokaz, model, jedro, priča ali meja","oss-aion-one-contract-six.fde68155d3":"Reševalnik","oss-aion-one-contract-six.71c9a5c1a1":"Izvedljivo, neizvedljivo ali optimalno","oss-aion-one-contract-six.8f7924f6f5":"Verifikator reševalnika, specifičen za družino","oss-aion-one-contract-six.2e9d2d4990":"Sklep iz deklariranih omejitev","oss-aion-one-contract-six.0e7a123b77":"Verifikator sklepanja Loom","oss-aion-one-contract-six.3c1a0d119e":"Zaključena upravljana operacija","oss-aion-one-contract-six.6c2ed5435d":"Organizacijski verifikator Nexus","oss-aion-one-contract-six.07b127b70d":"Preveden artefakt","oss-aion-one-contract-six.4f9018da9e":"Verifikator prevajanja Kera","oss-aion-one-contract-six.1f42a0b0ce":"Izvedena delovna obremenitev","oss-aion-one-contract-six.5a3c8f1f84":"Verifikator izvajanja Selvedge","oss-aion-one-contract-six.8879cc2e8a":"Simulirana trajektorija","oss-aion-one-contract-six.0d72478caf":"Verifikator simulacije in FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Zaključen zagon FMU","oss-aion-one-contract-six.8f5753fba0":"Identiteta FMU, konfiguracija, koraki, dogodki, konvergenca in sled","oss-aion-one-contract-six.4d64b5bbaf":"Verifikator simulacije in FMI","oss-aion-one-contract-six.6f99b37c1c":"Trditev","oss-aion-one-contract-six.4cb3ee8fa2":"Dokaz","oss-aion-one-contract-six.0f3253d8d8":"Verifikator","oss-aion-one-envelope.3b24a9a880":"osem polj, z različicami","oss-aion-one-envelope.a348113c09":"kateri\n          preveritelj ga prebere.","oss-aion-one-envelope.08ace6c26e":"eno polje odloča","oss-aion-one-envelope.396e2145f9":"Štiri vrste dokazov, ena odprtina in","oss-aion-one-envelope.dc1a7be459":"je slonel na drugem","oss-aion-one-envelope.ddc01a5859":"trditev o poti","oss-aion-one-envelope.7f211a50e2":"niz parametrov","oss-aion-one-envelope.8f2aa45103":"identiteta modela","oss-aion-one-envelope.23e75e07fb":"izbrano s poljem vrste potrdila, ne glede na to, kdo ga je poslal","oss-aion-one-envelope.4e4dc30b71":"kateri preveritelj ga prebere","oss-aion-one-envelope.c8c687f0ff":"ista odprtina, vsakič","oss-aion-one-envelope.b5a871e570":"kup potrdil","oss-aion-one-envelope.f90f47de4d":"zaporedje prehodov","oss-aion-one-envelope.3116f117c0":"tabela prehodov","oss-aion-one-envelope.134483f4a2":"dokaz s klavzulami","oss-aion-one-envelope.93a8ee0c5f":"kaj gre noter","oss-aion-one-envelope.582a139a7d":"usmerjeno po vrsti","oss-aion-one-envelope.6b9805fe87":"Ena ovojnica, štirje vsebinski deli","oss-aion-one-envelope.3dde401523":"izvajanje med izvajanjem","oss-aion-one-envelope.708563c595":"ed25519, preverjeno","oss-aion-one-envelope.f2e0576c5b":"dva, poimenovana spodaj","oss-aion-one-envelope.f7b7603261":"zapečateno, 41 kB","oss-aion-one-envelope.15aae6195c":"vsebinski del potrdila","oss-aion-one-envelope.6732222b05":"vrsta potrdila","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"različica pogodbe","oss-aion-one-envelope.b578b9727d":"brez dvojnega zaračunavanja v obdobju 2026-06","oss-aion-one-envelope.a503bc1da2":"zavrnjeno","oss-aion-one-envelope.51c817ab85":"sprejeto","oss-aion-one-envelope.495117c360":"odvisnosti","oss-aion-one-envelope.910e029098":"ilustrativno","oss-aion-one-field-apart.e704601d64":"os, ne vzorec","oss-aion-one-field-apart.5c256bca81":"Izid se je premaknil z njo, in to je ugotovitev, ne statistika.","oss-aion-one-field-apart.7a1e726c2f":"Dve prijavi, enaki v vsakem javnem polju, ločeni za eno številko.","oss-aion-one-field-apart.084f6c9ebe":"vsak par, ki ga pravila dopuščajo","oss-aion-one-field-apart.ddaee9368d":"tisoč preizkušenih primerov","oss-aion-one-field-apart.4c4ccacd1b":"par, ki ga lahko shranite v datoteko","oss-aion-one-field-apart.6fddc6a6d1":"pas B,","oss-aion-one-field-apart.dbf68713b1":"ista vrstica, s korakom","oss-aion-one-field-apart.8c6c701170":"primer, ki ne uspe","oss-aion-one-field-apart.0f9dcd24f1":"izid ni bil odvisen od tega polja","oss-aion-one-field-apart.154b3f8e44":"pas B, 3 ponudbe","oss-aion-one-field-apart.4392f1d89c":"ena vrstica, brez koraka","oss-aion-one-field-apart.02de2da27e":"primer, ki velja","oss-aion-one-field-apart.b7de103af7":"bruto plača, na vsaki strani prosta","oss-aion-one-field-apart.c86b5b3346":"izenačeno na obeh straneh","oss-aion-one-field-apart.54bb687f85":"ilustrativne prijave","oss-aion-one-field-apart.b69108366c":"izid se premakne pri paru","oss-aion-one-field-apart.e79b0df746":"razlika v enem polju","oss-aion-one-field-apart.e1fef06921":"ponudbe","oss-aion-one-field-apart.8699f2b04f":"stalno","oss-aion-one-field-apart.06e3125012":"zaposlitev","oss-aion-one-field-apart.305fa62f02":"30 do 39","oss-aion-one-field-apart.c6a0c81b25":"starostni pas","oss-aion-one-field-apart.61a7508ed1":"osnovno","oss-aion-one-field-apart.38a007151a":"izdelek","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"regija","oss-aion-one-word.95fa084cc9":"eden od njih AION preverja","oss-aion-one-word.ce157273ec":"tri od teh, ki jim verjameš","oss-aion-one-word.a04376ab99":"in kaj lahko storiš s tem","oss-aion-one-word.1a5b0d2471":"VZZEL","oss-aion-one-word.69dc71b6f9":"S čim pride rezultat","oss-aion-one-word.8d40d2bfcc":"Zapisane trditve, vsaka poimenuje pravilo, prehod ali predpostavko.","oss-aion-one-word.2f8acfe792":"Potrdilo","oss-aion-one-word.b04dce1dd0":"Koliko časa je trajalo, da smo bili prepričani. Gotovost ni vprašanje.","oss-aion-one-word.7eb987f893":"Trajanje","oss-aion-one-word.8388e9c8ba":"Kaj je sistem naredil. Ne zakaj sledi sklep.","oss-aion-one-word.40d0f0d4b5":"Dnevnik","oss-aion-one-word.e7597ba59a":"unsat, prevedeno, varno, odobreno. Ničesar, s čimer se ne bi strinjali.","oss-aion-one-word.ae976ad8e9":"Ena beseda","oss-aion-org-cert.dd25bad09c":"in vsak od njih je preverjen","oss-aion-org-cert.e8add8f2b8":"organizacija, vloge, naloge in odobritve zapolnijo vrzeli","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"od cilja do prejema","oss-aion-org-cert.0a629276bf":"Osem členov v verigi","oss-aion-org-cert.51e6694762":"Kaj je bilo dejansko opravljeno zunaj in kaj se je vrnilo.","oss-aion-org-cert.4f0a23ec14":"Dejanja in prejemi","oss-aion-org-cert.b249df120c":"Vsaka meja, ki jo je delo prečkalo, in kaj jo je očistilo.","oss-aion-org-cert.5eaad4eb5f":"Počiščene meje","oss-aion-org-cert.aba30ac5b8":"Katera vloga je imela kaj, v trenutku, ko je bilo dejanje poskušeno.","oss-aion-org-cert.145ae750ce":"Razrešena pooblastila","oss-aion-org-cert.f8a4dc9c6b":"Kaj se je poskušalo in pod katero različico pravilnika.","oss-aion-org-cert.63fbd2b7ee":"Cilj in pravilnik","oss-aion-pipeline.b07bbe8800":"Jedro propozicij","oss-aion-pipeline.81f811c968":"Iskanje s konfliktno vodenim učenjem klavzul po Boolovi ogrodju. Odloča, propagira, naleti na konflikt, se nauči klavzulo in se vrne nazaj. Binarne, cele in prilagodljive vrednosti s fiksno vejico so osnova postopka odločanja; v aritmetičnem jedru ni shranjenih, kopičenih ali uporabljenih vrednosti s plavajočo vejico kot rezerva.","oss-aion-pipeline.dc0dd5bc07":"odločitve in naučene klavzule","oss-aion-pipeline.0c5ad3c30f":"Teoretični vtičniki","oss-aion-pipeline.f3a7990ab0":"Jedro preda delno dodelitev teoretični plasti. Aritmetika, bitni vektorji, polja in nizi sklepajo na svojih področjih ter vračajo propagacije in konflikte. Zunanji vnos s plavajočo vejico se na meji dekodira v binarne polja ali deklarirano lestvico s fiksno vejico, preden se pridruži preverjanju. Jedro gosti te sklepalnike; časovne in programske teorije živijo v spremljevalnih zabojnikih.","oss-aion-pipeline.9d1b00d225":"teoretične leme in konflikti","oss-aion-pipeline.fa6a461dcc":"Oddajnik dokazov","oss-aion-pipeline.b3ca95c05c":"Vsak korak, ki ga naredi pogon, vsako resolucijo in vsako teoretično lemo, oddajnik dokazov zabeleži sproti. Rezultat je urejena izpeljava, ki jo lahko ločen preverjalnik ponovno predvaja glede na njene premise.","oss-aion-pipeline.17ac98f8af":"urejena izpeljava","oss-aion-pipeline.26d98dc390":"Izvoz formata","oss-aion-pipeline.a79251f54d":"Izpeljava se zapiše kot LRAT, DRAT ali Alethe ali ohrani v enotni vmesni obliki. LRAT nosi namige o enotinih propagacijah, kar omogoča linearno preverjanje brez povezave glede na dolžino dokaza.","oss-aion-pipeline.8c3cee1cd3":"prenosljivo potrdilo","oss-aion-pipeline.77ec79ed26":"od odločitve do potrdila","oss-aion-pipeline.c320454a47":"CDCL + teorija + oddajnik","oss-aion-pipeline.a618b4be8d":"Poizvedba","oss-aion-pipeline.10de46b3b3":"Potrdilo","oss-aion-pipeline.62923220ae":"Celo število / fiksna vejica.","oss-aion-pipeline.4961117925":"Brez vrednosti s plavajočo vejico v jedru.","oss-aion-pipeline.591118af56":"Veriga resolucij.","oss-aion-pipeline.39dfacd414":"Vsak korak navaja premise, od katerih je odvisen, po vrstnem redu.","oss-aion-pipeline.7fc7b98317":"Preverjalnik neodvisen.","oss-aion-pipeline.f0bef425b5":"Potrdilo se ponovno predvaja brez reševalnika.","oss-aion-pipeline.a73bc5ed23":"Arhitektura, jedro CDCL, teoretični vtičniki, oddajnik dokazov","oss-aion-plain-card.7e190a46ae":"Stroj da odgovor","oss-aion-plain-card.b8941c136d":"Računalnik nekaj izračuna namesto vas. Sam od sebe, morate mu pač verjeti na besedo.","oss-aion-plain-card.1232ecf314":"Napiše tudi potrdilo","oss-aion-plain-card.af7230bfb9":"AION poskrbi, da stroj poleg odgovora natisne majhno potrdilo. Potrdilo prikazuje vsak korak, ki ga je naredil, da je prišel do rezultata.","oss-aion-plain-card.262d1681dd":"Potrdilo lahko preveri vsak","oss-aion-plain-card.7d35d2e097":"Vaš lastni pomočnik prebere potrdilo in reče: da, to se ujema, ali pa: ne, to je narobe. Prvemu stroju mu ni treba zaupati prav nič.","oss-aion-plain-card.e8146bafb5":"AION, preprosto povedano","oss-aion-plain-card.0b081a8ef4":"Potrdilo je priloženo","oss-aion-plain-card.a32564404b":"Predstavljajte si plačilno potrdilo. Ko nekaj kupite, dobite listek, ki dokazuje, da vam je\n          trgovina zaračunala pravi znesek. To potrdilo lahko pokažete komur koli in ta ga lahko\n          sam preveri.","oss-aion-plain-card.d5d9b99b9c":"AION naredi enako za računalnik.","oss-aion-plain-card.2cc68d964c":"Ko stroj da\n          odgovor, vam AION izroči potrdilo, ki dokazuje, da je odgovor pravilen, in vsak ga lahko preveri.","oss-aion-plain-card.374c644917":"Nikoli vam ni treba kar tako zaupati stroju. Potrdilo opravi dokazovanje.","oss-aion-plain-refusal.7d7fc8edd4":"ista razlaga velja za vas in za vsakogar, ki jo pregleduje, ker gre za eno\n            razlago","oss-aion-plain-refusal.40c2416b25":"primer, ki ga lahko preberete, ne križ, ki ga ne morete","oss-aion-plain-refusal.f795b42ea6":"Prostor na tej kartici se 1. avgusta, čez dva dni, vrne na polni znesek.","oss-aion-plain-refusal.3ae2a82129":"ko se to zgodi","oss-aion-plain-refusal.a6012020ae":"Bodisi 150 evrov več prostora na kartici bodisi plačilo 90 evrov ali manj.","oss-aion-plain-refusal.74b2c9301b":"kaj bi to spremenilo","oss-aion-plain-refusal.e88b1876e6":"90 evrov ne pokrije 240 evrov, zato plačilo in preostali prostor ne moreta oba veljati.","oss-aion-plain-refusal.d649363397":"kateri del to krši","oss-aion-plain-refusal.ec7a8f0a8d":"Plačilo je bilo 240 evrov. Preostali prostor na kartici danes je bil 90 evrov.","oss-aion-plain-refusal.fcd45ae097":"vaša situacija","oss-aion-plain-refusal.e51b51ac5a":"Plačilo gre skozi le, če ga preostali prostor na kartici danes pokrije.","oss-aion-plain-refusal.93823841cb":"kaj pravi pravilo","oss-aion-plain-refusal.9bc7984374":"Zakaj ni šlo skozi","oss-aion-plain-refusal.549840f998":"Ko je pravilo kršeno, AION zapiše situacijo, ki ga je kršila, v običajnih\n            stavkih s številkami v njih. Plačilo je bilo za toliko, preostali prostor na\n            kartici danes je bil manj kot to, in skupaj ti dve dejstvi kršita pravilo. Lahko\n            to preberete, se z njim natančno ne strinjate ali spremenite tisto, kar se mora spremeniti.\n            Križ v polju vam ne da nič od tega in ni krajši, le bolj prazen.","oss-aion-plain-refusal.3b50831d8a":"Avtomatizirana odločitev, ki vas zavrne, je slabša od tiste, ki jo je sprejel človek, ker\n            običajno ni ničesar za vprašati. Zavrnitev pride dokončana. Kar dobite, je izid\n            in, če imate srečo, referenčna številka, pot do dejanske razlage pa je\n            pritožba, ki traja tedne in doseže nekoga, ki tudi ni bil vpleten.","oss-aion-plain-refusal.ada63e5c2f":"Izdelan primer je.","oss-aion-plain-refusal.462f7e9213":"»Ni dovoljeno« ni razlog.","oss-aion-plain-refusal.5abdfa9cd6":"Razlika","oss-aion-plain-refusal.68c46e84d7":"navadno","oss-aion-reasoning-cert.0f1fb3d007":"in je vsak element preverjen","oss-aion-reasoning-cert.98ec75a261":"meje in končna trditev dopolnjujejo sedmerico","oss-aion-reasoning-cert.433b925481":"Kaj je bilo izključeno in katere predpostavke so to izključile.","oss-aion-reasoning-cert.13382efd7c":"Protislovja","oss-aion-reasoning-cert.e856a27527":"Podproblem, ki je bil izločen, in dokaz, ki se je vrnil.","oss-aion-reasoning-cert.92324f5363":"Certifikati reševalnika","oss-aion-reasoning-cert.fe451714e4":"Vsak poimenovan, v vrstnem redu uporabe.","oss-aion-reasoning-cert.e0d40a5309":"Uporabe pravil","oss-aion-reasoning-cert.e0753c6513":"Kaj je veljalo, pri kateri različici, ko je delo potekalo.","oss-aion-reasoning-cert.b9366c0dbf":"Aktivne omejitve","oss-aion-reasoning-cert.a04ed61a81":"reševalnik","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"sedem elementov","oss-aion-reasoning-cert.eb64d71581":"Kaj vsebuje certifikat sklepanja","oss-aion-reasoning-chain.126806353c":"razglašeno, nato preverjeno","oss-aion-reasoning-chain.751e90e830":"Vsak od njih je artefakt, ki ga je sklepanje pustilo za seboj, in vsak je prebran.","oss-aion-reasoning-chain.bc96941170":"Štiri omejitve, dve uporabi pravil, en obisk reševalca in ena protislovnost.","oss-aion-reasoning-chain.57fa7b904f":"Kar se tu preverja, je izpeljava, ki jo je sistem razglasil, korak za korakom.","oss-aion-reasoning-chain.e0aa3695ac":"jedro 01 02 04, 03 pa ni v njem","oss-aion-reasoning-chain.e3338dab26":"dvojna bremenitev izključena","oss-aion-reasoning-chain.a43e177c4c":"04 vračilo razveljavi","oss-aion-reasoning-chain.becc703d80":"združena bremenitev","oss-aion-reasoning-chain.398df239b3":"iz 01 in 02","oss-aion-reasoning-chain.373c5eb4cc":"prebrano korak za korakom, se zapre","oss-aion-reasoning-chain.45f358826b":"vrne dokazovalec, v Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitni vektor in enakost, nič drugega ne prečka","oss-aion-reasoning-chain.34fcd5c8c7":"podproblem, zapečaten","oss-aion-reasoning-chain.8c7f764922":"ob številu ponovitev, iz 02 in 03","oss-aion-reasoning-chain.7c960fefa4":"tri dvignjene v jedro, ena ostala, kjer je bila","oss-aion-reasoning-chain.eeacd6e80f":"aktivne omejitve, v besedah, kot jih je zapisala odgovorna oseba","oss-aion-reasoning-chain.0ee0bb12eb":"Ta konfiguracija ne more povzročiti dvojne bremenitve v enem obračunskem obdobju.","oss-aion-reasoning-chain.c0644670d0":"trditev, ki jo uveljavlja Loom","oss-aion-reasoning-chain.9616861141":"ilustrativna trditev in različice","oss-aion-reasoning-chain.e4f7c8c782":"jedro imenuje tri, razreši eno","oss-aion-reasoning-chain.43c7dffedb":"En sklep, odprt","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"iz 8 in 9","oss-aion-reasoning-chain.3d26486c4c":"iz 8","oss-aion-reasoning-chain.5a6d9bdd37":"iz 3 in 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Vračilo razveljavi bremenitev, ki jo imenuje.","oss-aion-reasoning-chain.4c449f834c":"Obračunsko obdobje se zapre ob polnoči zadnjega dne.","oss-aion-reasoning-chain.a663638447":"Ponovitev nikoli ne sproži druge bremenitve.","oss-aion-reasoning-chain.0d43228516":"Bremenitev se sproži enkrat na opravljeno dostavo.","oss-aion-reassure.38a3bd59d5":"Bistvo je preprosto: nikoli ne zaupaj slepo stroju. Ohrani razlog, ki ga lahko preveri drug preverjevalnik.","oss-aion-reassure.0ccc7397a4":"Ne. Račun lahko preverite kar tam, kjer ste, brez pošiljanja po internetu.","oss-aion-reassure.5bea629f3e":"Ali je moj odgovor poslan nekam?","oss-aion-reassure.af397dc934":"Zgrajen je v Evropi. Ločen preverjevalnik, ne stroj, ki je ustvaril odgovor, preveri vsak račun.","oss-aion-reassure.7de6360d68":"Od kod prihaja?","oss-aion-reassure.a93d9edbec":"Ne. Ničesar od tega ne gradite sami. Trgovina, bolnišnica ali pisarna to uporablja namesto vas. Vi samo dobite jasnejši odgovor.","oss-aion-reassure.39af3a44b7":"Ali moram biti vešč računalnikov?","oss-aion-reassure.bdbcd6057e":"Da. Račun je mogoče preveriti znova brez prvotnega modela, seje, računa ali internetne povezave.","oss-aion-reassure.aa1b0d7005":"Ali ga je mogoče preveriti pozneje?","oss-aion-receipt.36889df54f":"Tega nikoli ne naredite sami. Ko vam to opravi trgovina ali pisarna, je to listek,\n          ki ga lahko izročijo.","oss-aion-receipt.46fbbfb5be":"Vsakdo ga lahko prebere in preveri, da se vse izide.","oss-aion-receipt.9c258dd430":"in morate temu verjeti. Pri AION-u vam\n            stroj prav tako izroči mali listek na levi. Prikazuje vprašanje, korake in\n            odgovor.","oss-aion-receipt.013700f8eb":"Navaden stroj samo reče","oss-aion-receipt.12df5bb228":"Vaš za vedno","oss-aion-receipt.7b8544fad0":"Se izide","oss-aion-receipt.def2581739":"Potrdilo o odgovoru","oss-aion-receipt.6e17da21e4":"Primer potrdila o odgovoru","oss-aion-receipt.f2688d32ea":"Če vprašate znova, dobite enak odgovor in enak listek na katerem koli računalniku.","oss-aion-receipt.2379231efe":"Vsakič enako","oss-aion-receipt.a4b884c0e4":"Vaš pomočnik preveri listek kar tam, kjer ste, brez pošiljanja kam drugam.","oss-aion-receipt.930888ee28":"Brez interneta","oss-aion-receipt.7a019cc1d2":"Razlog je na listku, ne skrit v stroju. Lahko ga obdržite ali pokažete.","oss-aion-receipt.47b716baec":"Pisno","oss-aion-receipt.92ed516e5b":"Da, in tukaj je zakaj.","oss-aion-receipt.7011b1a621":"Odgovor","oss-aion-receipt.8ab9465666":"Vaš primer je bil povezan z njim.","oss-aion-receipt.16bb8dfc44":"Drugi korak","oss-aion-receipt.d3ca88b9f3":"Pravilo je bilo prebrano v celoti.","oss-aion-receipt.e97cc54395":"Prvi korak","oss-aion-receipt.afd2793ce0":"Ali mi pripada to vračilo?","oss-aion-receipt.d79cce547d":"Vprašanje","oss-aion-recheck-list.09d5defeae":"dve vrstici, dve imeni","oss-aion-recheck-list.fd3e1afd0e":"ali, veliko pogosteje, sploh ničesar.","oss-aion-recheck-list.459f160ffa":"Brez različice za vsako vrstico isti zaznamek povzroči ponovni pregled\n          vsega,","oss-aion-recheck-list.cade8a80df":"seznama in tega, kdo ga ima","oss-aion-recheck-list.6f13975269":"še združljivo","oss-aion-recheck-list.48f8969999":"potreben ponovni prenos","oss-aion-recheck-list.af0f44d357":", spremenjeno v","oss-aion-recheck-list.4202e0844e":"Pravilo omejitve optimalnosti se razlaga strožje. Omejitev, navedena točno na meji, se\n              ne šteje več za pod mejo.","oss-aion-recheck-list.1c26bb5963":"izdano 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Preverjevalnik v7.0","oss-aion-recheck-list.9ffcf8f72b":"ilustrativni vnosi","oss-aion-recheck-list.dc490c03ae":"dva od petih označena","oss-aion-recheck-list.7316018edf":"Prizadeti zapisi","oss-aion-recheck-list.2237af7cd3":"pravilo omejitve optimalnosti","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Optimalna pot, depo sever","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Vdelana programska oprema, prehod 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Ocena soglasja, kampanja 44","oss-aion-recheck-list.3c54a1df45":"v hiši","oss-aion-recheck-list.b8d251e8cd":"Paketni izračun cen","oss-aion-recheck-list.dce56394a1":"Načrt izmene, teden 12","oss-aion-recheck-list.48a3661d84":"stanje","oss-aion-recheck-list.29e5b9a8e6":"preverjevalnik","oss-aion-recheck-list.51c817ab85":"sprejeto","oss-aion-recheck-list.e2979e7595":"dobavitelj","oss-aion-recheck-list.335ce16b3f":"zadeva","oss-aion-recheck-list.796a88413e":"J. Okonkwo, operacije","oss-aion-recheck-list.90916dd844":"Ponovno preverite in nato potrdite navedeno omejitev z dobaviteljem.","oss-aion-recheck-list.00e67572db":"M. de Vries, varstvo podatkov","oss-aion-recheck-list.e4faeae968":"Ponovno preverite shranjeno potrdilo glede na v7.0.","oss-aion-record-fields.8580937ae7":"vsak od njih ustvari svoj nabor prizadetih elementov","oss-aion-record-fields.632f62dd8b":"shema potrdila dopolnjuje sedmico","oss-aion-record-fields.7039b2f0bd":"kjer je zdaj","oss-aion-record-fields.74b489c3d1":"kjer je bil","oss-aion-record-fields.5d5dc3b7c3":"TRAJNO","oss-aion-record-fields.c2a1a83804":"in niso le pravila dokazovanja","oss-aion-record-fields.12b83ffb63":"Kaj se lahko spremeni v ozadju","oss-aion-record-fields.91b3cb991a":"novejša različica modela","oss-aion-record-fields.e1ab670f61":"pogodba modela ali simulacije","oss-aion-record-fields.da15b4cbb5":"trditev sama se je premaknila","oss-aion-record-fields.26e4976c38":"pogodba prevajalnika ali izvajalnega okolja","oss-aion-record-fields.cb2c2e30b7":"počiščeno pod drugim","oss-aion-record-fields.43e275dea3":"pravilnik","oss-aion-record-fields.521a7a8570":"zdaj prebrano drugače","oss-aion-record-fields.58fd9f572c":"pravilo preverjevalnika","oss-aion-refusal-fields.432aa8565f":"referenca, ki jo lahko nekdo preveri","oss-aion-refusal-fields.36a85f9074":"ne rdeči križ","oss-aion-refusal-fields.fe71871083":"OBVESTILO","oss-aion-refusal-fields.4f84be92c8":"da lahko nekdo ukrepa na podlagi tega","oss-aion-refusal-fields.fa31a3ca39":"Kaj vsebuje zavrnitev","oss-aion-refusal-fields.5647a1c020":"odločite, čigava ugotovitev je","oss-aion-refusal-fields.11c0add347":"Napaka v dokazu ali pravilo, ki ga ne upoštevamo. To ni isto.","oss-aion-refusal-fields.a74aa40f65":"Vrsta","oss-aion-refusal-fields.d3144a7994":"poglej, česa ni bilo","oss-aion-refusal-fields.060958d8fd":"Kaj je manjkalo ali bilo narobe, ko je bilo znova obdelano.","oss-aion-refusal-fields.a7dc07c061":"Razlog","oss-aion-refusal-fields.3b21710b2e":"preveri, kaj bi moralo storiti","oss-aion-refusal-fields.f80b017fdb":"Kaj je korak trdil, da počne.","oss-aion-refusal-fields.0056e788fc":"Pravilo","oss-aion-refusal-fields.89abf35df5":"odpri ga na tej vrstici","oss-aion-refusal-fields.3dac51b71a":"Kateri korak, po številki, v kateri datoteki.","oss-aion-refusal-fields.2fb8438f32":"Lokacija","oss-aion-reviewable.e0cb1b89aa":"ne le avtor","oss-aion-reviewable.f29c4ff9dd":"lastnik ga pregleda","oss-aion-reviewable.c6465865b0":"vaš stavek","oss-aion-reviewable.ed6912ad70":"PREGLED","oss-aion-reviewable.5867cc6bd5":"brez učenja zapisa","oss-aion-reviewable.8f8dec6da0":"Kaj vidi pregledovalec","oss-aion-reviewable.da8643122f":"Ime, datum in različica potrjenega stavka.","oss-aion-reviewable.7c92afb7f9":"Podpisana potrditev","oss-aion-reviewable.340e6b4675":"Ponovni pregled vidi enako, ker nič ni vzorčilo modela.","oss-aion-reviewable.b08be2b959":"Vsakič enako","oss-aion-reviewable.d3a2628a1c":"Vsaka količina poimenovana, z vrsto vrednosti, ki jo vsebuje.","oss-aion-reviewable.2587914ff8":"Na čem deluje","oss-aion-reviewable.f0a2aa51a4":"En stavek, ki pove, kaj celotni pogoj kodira.","oss-aion-reviewable.5a47a1dcaf":"Preprosto branje","oss-aion-reviewable.aee2d461c7":"Nespremenjeno, na vrhu, kot so ga zapisali.","oss-aion-reviewable.7488358db7":"Njihov lastni stavek","oss-aion-risk-ledger.1a0f2538e1":"Pet operativnih izpostavljenosti nadomesti eno potrdilo, ki ga lahko preveri drug preveritelj.","oss-aion-risk-ledger.4b32d8f574":"Z AION","oss-aion-risk-ledger.2e34d48ba3":"Običajni način","oss-aion-risk-ledger.d1d7499182":"PRIMERJAVA DRUG OB DRUGEM","oss-aion-risk-ledger.02c7234156":"Predvajaj sklepanje brez povezave in se sam prepričaj.","oss-aion-risk-ledger.b5058e1c76":"Dobavitelju verjemi na besedo, da je bil odgovor pravilen.","oss-aion-risk-ledger.d2e183faa1":"Koliko mu zaupati","oss-aion-risk-ledger.96f0603563":"Potrdilo preveri brez katerega koli od njih.","oss-aion-risk-ledger.04312971f3":"Prvotni model, seja reševalnika in storitev morajo biti še vedno na voljo.","oss-aion-risk-ledger.2df1215b19":"Od česa je odvisno preverjanje","oss-aion-risk-ledger.8ddd34c358":"Deluje na vaši strojni opremi, znotraj jurisdikcije, ki jo odobrite.","oss-aion-risk-ledger.c3fe4a906f":"Odločitve so pojasnjene na strežnikih, ki jih ne nadzorujete.","oss-aion-risk-ledger.242ebe0c39":"Kje so podatki","oss-aion-risk-ledger.75eb05728b":"Standardni formati dokazov ostajajo neodvisno preverljivi.","oss-aion-risk-ledger.46d3f9eccd":"Pojasnilo izgine skupaj s prvotno storitvijo.","oss-aion-risk-ledger.8ea6189e84":"Ko se izvajalno okolje spremeni","oss-aion-risk-ledger.21ff58d6a7":"Izročite potrdilo, ki ga lahko revizor preveri sam.","oss-aion-risk-ledger.934929b924":"Posredujete dnevniške datoteke in upate, da jih bodo obravnavali kot dokaz.","oss-aion-risk-ledger.8632e0b3b5":"Ko revizor vpraša","oss-aion-rule-refusal.c354dff2de":"brez razsodbe po 15","oss-aion-rule-refusal.0fc2b67ff7":"pri prvem korak odpove","oss-aion-rule-refusal.d7cb461a4b":"Štirje testi v določenem vrstnem redu in branje se ustavi","oss-aion-rule-refusal.ad9deadf27":"en identifikator stavka, uporabljen za dva stavka","oss-aion-rule-refusal.ffc05ba511":"pivot, določen na literalu, ki ga stavek ne vsebuje","oss-aion-rule-refusal.5af32fb7c4":"namig, ki navaja korak, ki naj bi ga utemeljil","oss-aion-rule-refusal.fbf5522f0e":"pripet iz sovražne zbirke","oss-aion-rule-refusal.d3b27b8f89":"se ni zaprl","oss-aion-rule-refusal.0f04e9ee60":"literali še vedno stojijo na zadnjem stavku","oss-aion-rule-refusal.90f9cbf1cb":"konec datoteke","oss-aion-rule-refusal.196a925493":"indeks premise, od 1 do 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, pravilo za pravilom","oss-aion-rule-refusal.b14e7fc954":"ustavljeno pri 15","oss-aion-rule-refusal.ce0ed8058b":"En dokaz, bran od zgoraj","oss-aion-rule-refusal.af0cbd46a2":"naveden izven vrstnega reda","oss-aion-rule-refusal.165a394589":"iz 61 in 20","oss-aion-rule-refusal.dd39474e4f":"premisa manjka","oss-aion-rule-refusal.6edfd31763":"iz 88","oss-aion-rule-refusal.d18b697772":"se sklicuje nase","oss-aion-rule-refusal.5c7bf112ac":"iz 31 in 18","oss-aion-rule-refusal.64b0295aa0":"nepodprto pravilo","oss-aion-rule-refusal.5e2428fc82":"iz 14","oss-aion-rule-refusal.a7e8697338":"iz 12 in 13","oss-aion-rule-refusal.ba08b53848":"iz 4","oss-aion-rule-refusal.2a1be725ca":"12 resolucij","oss-aion-rule-refusal.54a0121f57":"iz 4 in 9","oss-aion-rule-refusal.8ffe1b4177":"pravilo znano","oss-aion-rule-refusal.ebed34abd2":"pod lastnim","oss-aion-rule-refusal.d182b65e15":"premisa prisotna","oss-aion-rule-refusal.a503bc1da2":"zavrnjeno","oss-aion-rule-refusal.3a21295d81":"shrani","oss-aion-same-except-one.279e6c9e96":"ena je obdelana spodaj","oss-aion-same-except-one.87ca0e7356":"meje, izpeljave in izvor modela dopolnjujejo sedmico","oss-aion-same-except-one.72b459f8cc":"LASTNOSTI","oss-aion-same-except-one.25119f6e70":"in družina, ki vsako nosi","oss-aion-same-except-one.ed6552be04":"Izjave, ki jih lahko podate","oss-aion-same-except-one.633255fe41":"Ta pot je spoštovala te invariante.","oss-aion-same-except-one.6b403d2a35":"To dejanje je imelo zahtevano odobritev.","oss-aion-same-except-one.ac5d8ada02":"Ta delovna obremenitev je delovala pod temi zmogljivostmi.","oss-aion-same-except-one.5e8efc64f2":"Ta binarna datoteka ustreza temu grafu izvorne kode.","oss-aion-same-except-one.81c0e8e986":"simulacija","oss-aion-same-except-one.92fe1455a7":"organizacijski","oss-aion-same-except-one.1e21474598":"izvajanje","oss-aion-same-except-one.023646ce84":"prevajanje","oss-aion-same-rule-parts.3326352b94":"te tri jo preživijo","oss-aion-same-rule-parts.b33174d833":"odgovor je ena vrstica","oss-aion-same-rule-parts.490fbefa4b":"če isto delo dvakrat predaš, je preverjanje enako","oss-aion-same-rule-parts.ce173fc797":"Zadržano za drugi pregled.","oss-aion-same-rule-parts.60c6fa6f09":"odgovor","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"ko odgovor prispe","oss-aion-same-rule-parts.3fea5c7183":"Tri stvari, ki jih obdržiš","oss-aion-same-rule-parts.f460809c86":"Kdaj je bilo delo preverjeno in kaj ga je preverilo.","oss-aion-same-rule-parts.1f26226511":"zapis","oss-aion-same-rule-parts.f3488c72aa":"Datum","oss-aion-same-rule-parts.7e9a6ac9d7":"Pravilo, navedeno nazaj, z vašo situacijo v njem.","oss-aion-same-rule-parts.fa1f96a2cc":"natisnjeno z odgovorom","oss-aion-same-rule-parts.a7dc07c061":"Razlog","oss-aion-same-rule-parts.51240e4e03":"Navadne besede, ohranjene, da jih lahko prebereš komurkoli.","oss-aion-same-rule-parts.f901c543a0":"kot jih je nekdo zapisal","oss-aion-same-rule-parts.0056e788fc":"Pravilo","oss-aion-same-rule-thrice.8716c9d2d1":"citabilno za vse tri","oss-aion-same-rule-thrice.56daaad027":"Nihče ni sproti razlagal primera kogar koli.","oss-aion-same-rule-thrice.fe8d9a24bc":"Tri imena, trije datumi, en razlog dobesedno.","oss-aion-same-rule-thrice.2d4e5d243a":"iste besede v vseh treh pismih","oss-aion-same-rule-thrice.36c5f05f0e":"Moja zahteva je bila zadržana, ker je vsaka zahteva z računa, ki je bil kdaj v minusu,\n              zadržana za drugi pregled. Ali ste to želeli doseči?","oss-aion-same-rule-thrice.47b69ccfd4":"kaj lahko napiše kateri koli od treh","oss-aion-same-rule-thrice.5441126254":"razlog, z vašimi številkami","oss-aion-same-rule-thrice.e026ce35f8":"pravilo, z besedami","oss-aion-same-rule-thrice.c6b6fdf0c8":"Vaša zahteva je zadržana","oss-aion-same-rule-thrice.4af8028f5b":"To zadene vsakogar, ki je bil nekoč teden dni v minusu.","oss-aion-same-rule-thrice.43d7f6edd9":"Vsaka zahteva z računa, ki je bil kdaj v minusu, je zadržana za drugi pregled.","oss-aion-same-rule-thrice.d5dff79fd0":"pravilo, kot ga je zapisala odgovorna oseba","oss-aion-same-rule-thrice.660cf69152":"isti razlog, trikrat","oss-aion-same-rule-thrice.2aa5baf4fa":"eno pravilo, trije ljudje","oss-aion-same-rule-thrice.2969c22def":"v minusu en dan avgusta 2024","oss-aion-same-rule-thrice.db55a373e5":"2. julij","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"v minusu dva dni novembra 2021","oss-aion-same-rule-thrice.8a343dea89":"19. junij","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"v minusu šest dni marca 2023","oss-aion-same-rule-thrice.e46936527e":"4. junij","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Vaš račun je bil v nekem trenutku v minusu, zato je ta zahteva zadržana za drugi pregled.","oss-aion-same-rule-thrice.69449f994d":"ref","oss-aion-same-rule-thrice.910e029098":"ponazoritveno","oss-aion-second-reader.e2a4a212d5":"kazanje na vrstico je uporabni del","oss-aion-second-reader.b31aece7ea":"strinjanje je enostavno","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"kaj naredi drugo branje","oss-aion-second-reader.d160172930":"Še enkrat seštejemo","oss-aion-second-reader.0bd3d42b28":"Drugačen program, brez razloga za prednost odgovora.","oss-aion-second-reader.2c814bb70c":"Ni prvi stroj","oss-aion-second-reader.b792afd627":"In pove, kateri korak, zato je nekaj, na kar lahko pokažemo.","oss-aion-second-reader.4a195096b0":"Ustavi se pri prvi napaki","oss-aion-second-reader.58f56fa2c3":"To ponovno izračuna, namesto da bi zaupal, da je bilo narejeno.","oss-aion-second-reader.5abf0b9df4":"Naredi vsak korak","oss-aion-second-reader.de8f44bd3b":"Ne odgovor. Koraki, ki naj bi do njega pripeljali.","oss-aion-second-reader.0a461499ae":"Prebere postopek","oss-aion-second-sum.2517e33359":"kraj, ne sodba","oss-aion-second-sum.1f31706279":"Kar si potreboval, je bila vrstica, in tam je.","oss-aion-second-sum.1b06fb1625":"Oba stolpca dosežeta vsoto in eden od njiju je napačen.","oss-aion-second-sum.715f45331b":"Branje se ustavi pri petih in ne nadaljuje na šest, ker preverjanje, ki preskoči korak, ki ga ne more izpeljati, ni preverjanje.","oss-aion-second-sum.be51277bfd":"ni doseženo","oss-aion-second-sum.a90d766915":"ta korak ne izide","oss-aion-second-sum.b214ae4ce2":"isti premik, ki ga je stroj zapisal","oss-aion-second-sum.e4cddfd229":"Vsakdo lahko sam sešteje stolpec in pride do iste vrstice. To je bistvo, preneseno na delo, ki ga nihče ne vidi.","oss-aion-second-sum.a72b4463ba":"Stolpca se ujemata v treh vrsticah. Obroč se vrti okoli vrstice, kjer se ločita, ne okoli vsote, ker vsota nikoli ni bila koristna stvar za prerekanje.","oss-aion-second-sum.136fc39d05":"Deset centov in je pri jabolkih.","oss-aion-second-sum.1104f28cf8":"plačati","oss-aion-second-sum.51111a2b99":"trgovina, torek","oss-aion-second-sum.e9594ccf76":"ločita se pri jabolkih","oss-aion-second-sum.bb470fd83f":"isti stolpec, dvakrat seštet","oss-aion-second-sum.0220a293b9":"zahtevek je plačan","oss-aion-second-sum.f7e5a74a1f":"kar je treba še plačati, se sešteje","oss-aion-second-sum.597b954c29":"presežek je bil odštet","oss-aion-second-sum.edccd745a8":"znesek je pod omejitvijo za to popravilo","oss-aion-second-sum.709d0bb348":"popravilo je na seznamu kritih storitev","oss-aion-second-sum.1396b1459a":"račun je bil odprt na dan zahtevka","oss-aion-second-sum.d2fc512490":"svinčnik","oss-aion-second-sum.1c8f15dab7":"natisnjeno","oss-aion-second-sum.910e029098":"ilustrativno","oss-aion-second-sum.f6c1ab8181":"milo","oss-aion-second-sum.bcef7a0462":"sir","oss-aion-second-sum.76c2436b59":"jabolka","oss-aion-second-sum.44213f9f4d":"kava","oss-aion-second-sum.6ff291d817":"kruh","oss-aion-second-sum.cf5dbf0ec5":"mleko","oss-aion-sentence-returns.e9a72f31df":"vaše besede, oba konca","oss-aion-sentence-returns.254545287c":"Osem mesecev pozneje jo bere tujec, ne povzetek.","oss-aion-sentence-returns.f0e71316de":"Ena oseba je napisala stavek in ga pospravila.","oss-aion-sentence-returns.4c51f16cb4":"Med tema dvema branjema se ni nič naučilo, ni spremenilo mnenja ali imelo\n            boljše ideje.","oss-aion-sentence-returns.06152533dc":"drugi obračun za eno naročilo v obračunskem mesecu ni dovoljen","oss-aion-sentence-returns.fb3e6817f1":"iz branja leto pozneje","oss-aion-sentence-returns.32af205ca5":"iz branja marca","oss-aion-sentence-returns.0b1eb314b5":"isti stavek, prebran znova čez leto dni","oss-aion-sentence-returns.547a49e160":"naročilo 44-8127 je bilo zaračunano tretjega novembra in devetnajstega","oss-aion-sentence-returns.d3141af6d8":"kar je trčilo vanj","oss-aion-sentence-returns.a2d40412ef":"drugi obračun za eno naročilo v obračunskem mesecu","oss-aion-sentence-returns.0ee2593cc5":"del, ki ni bil izpolnjen","oss-aion-sentence-returns.43015fadc4":"Nihče ne bi smel biti zaračunan dvakrat za isto naročilo v istem mesecu.","oss-aion-sentence-returns.2ce9eb0823":"pravilo, v besedah, v katerih je bilo zapisano","oss-aion-sentence-returns.5c4173fbcf":"9. november, poslano stranki","oss-aion-sentence-returns.96ec36f99b":"Plačilo je bilo ustavljeno","oss-aion-sentence-returns.14da1cff14":"osem mesecev","oss-aion-sentence-returns.b59f623fe2":"prebrano kot","oss-aion-sentence-returns.6a250da793":"14. marec, oseba, ki je odgovorna za obračunavanje","oss-aion-sentence-returns.8766d15f20":"iste besede na obeh koncih","oss-aion-sentence-returns.33e656aa3a":"en stavek, osem mesecev narazen","oss-aion-sentence-returns.6180960e2c":"napisano","oss-aion-sentence-returns.910e029098":"ponazoritveno","oss-aion-side-by-side-rule.1462946510":"obrnjena hierarhija","oss-aion-side-by-side-rule.dc685ee970":"je najmanjši niz, na dnu.","oss-aion-side-by-side-rule.37ba9a07a7":"Edina vrstica tukaj, ki je nihče ne rabi znati prebrati","oss-aion-side-by-side-rule.24205c8d5e":"Telo tega lista je tisto, kar je bilo zahtevano.","oss-aion-side-by-side-rule.136ec48046":"različica stavka 3","oss-aion-side-by-side-rule.5714c84617":"9. april 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, obračunavanje","oss-aion-side-by-side-rule.4c1493cdf2":"pogoj, kot je shranjen","oss-aion-side-by-side-rule.5050bceb24":"nad čim deluje","oss-aion-side-by-side-rule.70a7ded724":"Drugi obračun proti referenci, ki je bila že obračunana v obračunskem obdobju, je\n          zavrnjen.","oss-aion-side-by-side-rule.decbbbcbea":"Noben stranka ne sme biti zaračunana dvakrat za isto reference v enem obračunskem obdobju.","oss-aion-side-by-side-rule.41f5b5d765":"ni potreben zapis","oss-aion-side-by-side-rule.fd9d8f9d79":"potrdil lastnik","oss-aion-side-by-side-rule.dbd8504696":"pregledni list","oss-aion-side-by-side-rule.b714510ded":"kolikokrat je bila ta referenca že obračunana","oss-aion-side-by-side-rule.71aa03cd23":"število obračunov","oss-aion-side-by-side-rule.8f404d9e59":"mesec, v katerega pade obračun","oss-aion-side-by-side-rule.28db3c4a10":"obračunsko obdobje","oss-aion-side-by-side-rule.7bbf8d007a":"identifikator, proti kateremu se izvede obračun","oss-aion-side-by-side-rule.333190a7a5":"referenca","oss-aion-silent-wrong.e516f1474a":"korak 40, pravilo neznano","oss-aion-silent-wrong.52c4b2ffb7":"kje se je ustavilo","oss-aion-silent-wrong.bdc9060b3b":"Osem zagonov je vrnilo osem besed. Le tista, ki je svoje delo zapisala,\n          lahko pove","oss-aion-silent-wrong.dc3fb44cee":"zavrnitev poimenuje črto","oss-aion-silent-wrong.d55eb7e866":"Ta bralnik nima pravila s tem imenom pri koraku 40, zato se je tam ustavil.\n            Žig ni bil nikoli spuščen in ni bila izdana nobena sodba.","oss-aion-silent-wrong.d04a61e19e":"kaj je branje proizvedlo","oss-aion-silent-wrong.b31f1a6015":"alethe, koraki od 38 naprej","oss-aion-silent-wrong.74cb6750e3":"ena od njih, zapisana","oss-aion-silent-wrong.c9266795e0":"osem sistemov, osem rezultatov","oss-aion-silent-wrong.d7d4ae123f":"ilustrativno, en zagon od osmih","oss-aion-silent-wrong.3c05b129e2":"ni izdane sodbe","oss-aion-silent-wrong.c6dc61d79f":"Osem besed, ena odprta","oss-aion-silent-wrong.64494819a0":"premisa 40, prazna klavzula","oss-aion-silent-wrong.9dae957efd":"premisa 39","oss-aion-silent-wrong.52e787751c":"premisi 31 in 38","oss-aion-silent-wrong.36901d48ad":"premisi 12 in 31","oss-aion-silent-wrong.e00bcd7ac6":"delovni tok odobren","oss-aion-silent-wrong.fd40251b0b":"simulacija konvergirala","oss-aion-silent-wrong.9204d100a8":"politika sprejeta","oss-aion-silent-wrong.51c817ab85":"sprejeto","oss-aion-silent-wrong.4d64c22879":"ponovi","oss-aion-silent-wrong.94ec44c4f4":"verjemi","oss-aion-silent-wrong.4848901b39":"optimalno","oss-aion-silent-wrong.bf31c52c32":"varno","oss-aion-silent-wrong.231e564db4":"dokončano","oss-aion-silent-wrong.bac2ad9d5d":"prevedeno","oss-aion-silent-wrong.d203c40ac4":"nezadovoljivo","oss-aion-sim-cert.d836eab67a":"fizična veljavnost ni","oss-aion-sim-cert.8f9800edbe":"skladnost in lastnosti se preverjajo tukaj","oss-aion-sim-cert.d982b6fdda":"ali model predstavlja svet, ostaja pri lastniku modela","oss-aion-sim-cert.c27ccdf78d":"fizična veljavnost","oss-aion-sim-cert.99c6aa48cb":"nikjer ni odgovorjeno","oss-aion-sim-cert.e4125aa830":"navedene lastnosti veljajo med izvajanjem ali pa se sled vrne","oss-aion-sim-cert.24fa71fdd6":"preverjanja invariant","oss-aion-sim-cert.82ffe3f79b":"deklarirani model, parametri in konfiguracija so ustvarili to trajektorijo","oss-aion-sim-cert.8c30aa1c6e":"skladnost izvajanja","oss-aion-sim-cert.790f468e4d":"odgovorjeno tukaj","oss-aion-sim-cert.f6bceb137b":"DVONIK IN FMI","oss-aion-sim-cert.cf2b82cb4f":"model v trajektorijo","oss-aion-sim-cert.a7b63abc02":"Kaj nosi potrdilo","oss-aion-sim-cert.07ecfba93e":"trajektorija in status","oss-aion-sim-cert.6874c92610":"zaporedje dogodkov","oss-aion-sim-cert.e77c056cdc":"parametri in začetno stanje","oss-aion-sim-cert.720a1e14e6":"identiteta modela in FMU","oss-aion-source-to-artefact.ce10986f79":"Od izvora do potrdila","oss-aion-source-to-artefact.c1ce053887":"poimenovano, ne pavšalno","oss-aion-source-to-artefact.75a0766041":"Pavšalna trditev ne bi mogla nikjer spodleteti.","oss-aion-source-to-artefact.b5e1e87d48":"Tri poimenovane trditve in tista, ki spodleti, poimenuje prehod, pri katerem spodleti.","oss-aion-source-to-artefact.8732c432be":"Da je vsak prehod v zaporedju na splošno pravilen. Nobeno potrdilo tukaj ne pravi, da je\n                prevajalnik dober, in nobeno mu tega ni treba.","oss-aion-source-to-artefact.64d8424b5b":"česar ne trdi","oss-aion-source-to-artefact.302df26f74":"izvorni graf","oss-aion-source-to-artefact.e95689d184":"referenčni izvedbi na deklarirani vhodni domeni","oss-aion-source-to-artefact.0ca9407ef6":"jedrno enakovreden","oss-aion-source-to-artefact.5e68638068":"deklarirano ohranjanje oblike na tem prehodu ne velja za podano vhodno\n                    domeno","oss-aion-source-to-artefact.ab2050f59e":"oblike tenzorjev ohranjene","oss-aion-source-to-artefact.213addbd25":"pri canonicalise in fusion za vsak deklarirani tip","oss-aion-source-to-artefact.9deae195e3":"tipi ohranjeni","oss-aion-source-to-artefact.2297843111":"raven optimizacije 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"trditev o obliki zavrnjena","oss-aion-source-to-artefact.2fa9505626":"artefakt","oss-aion-source-to-artefact.910e029098":"ilustrativno","oss-aion-source-to-artefact.9f939ff8a4":"izbira jedra","oss-aion-sovereignty.0fe4587501":"Preverjanje ostane tam, kjer so shranjeni dokazi: ob sistemu, ki jih ustvari, v storitvi za pregled ali v izoliranem arhivu.","oss-aion-sovereignty.2d7bdcb19f":"Vaše odločitve ostanejo pod vašim nadzorom.","oss-aion-sovereignty.9426b99215":"Digitalna suverenost","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe in enotna oblika omogočajo, da so potrdila neodvisno preverljiva tudi zunaj prvotnega okolja.","oss-aion-sovereignty.25c4717a63":"Prenosljivi formati dokazov","oss-aion-sovereignty.d99f32de40":"Preverjanje dokaza deluje popolnoma brez povezave. Ne zanašate se na oddaljeno storitev, ki bi lahko spremenila pogoje ali izginila.","oss-aion-sovereignty.34ebf0117d":"Brez zunanje odvisnosti","oss-aion-sovereignty.44a8a39a30":"Znotraj vašega podatkovnega centra ali regije, ki jo izberete. Utemeljitev odločitve nikoli ne sme preseči meje, ki je niste odobrili.","oss-aion-sovereignty.331242fd64":"Deluje tam, kjer izberete","oss-aion-sovereignty.599b928605":"AION je zgrajen v Evropi, njegov preverjevalnik pa lahko ostane znotraj iste evropske meje kot odločitve, ki jih preverja.","oss-aion-sovereignty.45f9bdf22b":"Evropski izvor","oss-aion-split-parts.cc0d7be136":"in enklava ne spremeni ničesar","oss-aion-split-parts.a2fb24de32":"privzeta gradnja nima odhodnega odjemalca","oss-aion-split-parts.ffd75a18c4":"NAMESTI","oss-aion-split-parts.91f8c088aa":"in kaj vsaka potrebuje","oss-aion-split-parts.758bd7cc2a":"Štirje načini za zagon","oss-aion-split-parts.400bd9a040":"Razdeljeno po strojih in sestavljeno šele po preverjanju pokritosti.","oss-aion-split-parts.bb3d98dfee":"Porazdeljeno","oss-aion-split-parts.74da65bc96":"Znotraj vaše meje, na naslovih, ki jih nastavite sami.","oss-aion-split-parts.664046e78a":"Storitev","oss-aion-split-parts.ce2ab3edc4":"Usmerite ga na potrdilo. Nič drugega ne sme teči.","oss-aion-split-parts.a7218c8eca":"Ukaz","oss-aion-split-parts.eefb3bac5d":"Povezan v vaš lasten proces. Vprašajte in odgovorite, brez zapisa datoteke.","oss-aion-split-parts.fa66edb7bd":"Knjižnica","oss-aion-stays-here.e3e08ad140":"iz sobe ni odšlo nič","oss-aion-stays-here.18ab547f60":"Ta prazen papir je celotna trditev.","oss-aion-stays-here.907d22f7f0":"Med škatlo in tremi stvarmi ob njej ni nič narisanega.","oss-aion-stays-here.001b06036c":"ni na tej sliki","oss-aion-stays-here.8c84675037":"povezava do drugega računalnika v isti organizaciji, izklopljena, dokler je kdo namenoma ne nastavi","oss-aion-stays-here.e3527ba222":"Odgovor pride, ko je povezava prekinjena, ker povezava nikoli ni bila del njega.","oss-aion-stays-here.caf3a041c8":"Zamuda je bila petinsedemdeset minut, kar je več kot ena ura, zato je rezervacija preklicana in vozovnica se vrne na kartico, s katere je bila plačana.","oss-aion-stays-here.7296ef48e5":"kaj se je vrnilo","oss-aion-stays-here.395ee2333f":"preklic konča rezervacijo in vrne vozovnico","oss-aion-stays-here.46d2008236":"ura pomeni šestdeset minut, brez zaokroževanja","oss-aion-stays-here.2fd4fcb567":"zamuda se šteje od časa, natisnjenega na vozovnici","oss-aion-stays-here.f5b422b60e":"pisana pravila, ob katerih se presoja","oss-aion-stays-here.ee04bc3b23":"Prekliči mojo rezervacijo samo, če je zamuda daljša od ene ure.","oss-aion-stays-here.af5509db2b":"kaj ste vnesli","oss-aion-stays-here.3cbd68d678":"računalnik pred vami","oss-aion-stays-here.531aa138ac":"odgovorjeno brez odhoda","oss-aion-stays-here.fb23ddcc1c":"eno vprašanje, eno mesto","oss-aion-stays-here.96ccbc62ab":"vaše besede niso stvar, ki bi jo kdo drug prejel","oss-aion-stays-here.1b215d440d":"računalnik nekje drugje, ki bere vaš stavek","oss-aion-stays-here.b5a5c63d23":"za odgovor ni treba, da deluje nič zunanjega","oss-aion-stays-here.b5c483d9d9":"storitev, ki mora biti na voljo","oss-aion-stays-here.fa287ade3d":"nič ne vpraša, kdo ste, ker nič ni treba vedeti","oss-aion-stays-here.d5a3ef8b78":"račun za prijavo","oss-aion-stays-here.910e029098":"ponazoritveno","oss-aion-stays-here-list.56a6e8f9a7":"in ničesar za predati","oss-aion-stays-here-list.57eef35c96":"brez čakanja","oss-aion-stays-here-list.a64eab5744":"na kaj čaka","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"in na kaj nikoli ne čaka","oss-aion-stays-here-list.13591491d9":"Na čem teče","oss-aion-stays-here-list.1458464f09":"Ničesar ni treba prijaviti, zato ni ničesar, česar bi bil stranka.","oss-aion-stays-here-list.257fa99e08":"Brez računa","oss-aion-stays-here-list.b165f2d684":"Vaš stavek se preverja glede na pravila, v istem prostoru kot vi.","oss-aion-stays-here-list.37a25e4e99":"Zapisana pravila","oss-aion-stays-here-list.7ee33f1c7a":"Delo poteka tam, kjer ste, in nihče drug ne mora biti zagnan.","oss-aion-stays-here-list.d3612f57d8":"Stroj, pri katerem ste","oss-aion-supplier-answer.6d6ddcd4c1":"ena izjava, štiri prazne vrstice","oss-aion-supplier-answer.a5d36ba87c":"Nobeno od štirih vprašanj ni odgovorjeno nikjer na obrazcu.","oss-aion-supplier-answer.d09481b0a5":"Vsaka beseda na njem je resnična in nekdo ga je podpisal.","oss-aion-supplier-answer.cec9b36162":"14. marec 2026","oss-aion-supplier-answer.22715d5cb9":"Konfiguracija, predložena 12. marca 2026, je bila preverjena in ne vsebuje sporov.","oss-aion-supplier-answer.1e0a1891e8":"ref SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"potrdilo o skladnosti","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"štiri neodgovorjena","oss-aion-supplier-answer.910e029098":"ponazoritveni","oss-aion-supplier-answer.f86e5cfb14":"Ali bi to veljalo še po torkovi spremembi?","oss-aion-supplier-answer.bbe7a72e5a":"Na podlagi čigavih podatkov in koliko teh podatkov?","oss-aion-supplier-answer.c25776701b":"Glede na katero različico našega nabora pravil?","oss-aion-supplier-answer.84d9ed92b5":"Kateri pogoji so bili dejansko preverjeni?","oss-aion-theory-matrix.ac8d77d669":"Propozicijska","oss-aion-theory-matrix.3d52a6d8fe":"logika","oss-aion-theory-matrix.42f3aff840":"Boolean satisfiability z učenjem klavzul, ki ga vodi konflikt. Izhodišče za vse druge teorije.","oss-aion-theory-matrix.6078532ab2":"Kvantifikatorji","oss-aion-theory-matrix.02f664dd36":"Logika prvega reda z instanciacijo, ki jo vodi model. Utemeljuje forall in exists nad podprtimi vrstami.","oss-aion-theory-matrix.49167dbc57":"Linearna aritmetika","oss-aion-theory-matrix.45f053dc73":"Aritmetika","oss-aion-theory-matrix.876aafb6c1":"Linearna celoštevilska aritmetika in realne vrednosti na deklarirani lestvici. Preverjevalnik interno uporablja cela ali prilagodljiva fiksno-pična števila.","oss-aion-theory-matrix.b618fadea3":"Nelinearna","oss-aion-theory-matrix.fd99188844":"Nelinearna celoštevilska aritmetika in realne vrednosti na deklarirani lestvici. Preverjevalnik uporablja cela ali prilagodljiva fiksno-pična števila, nikoli števila s plavajočo vejico.","oss-aion-theory-matrix.d11f66aff2":"Vhod s plavajočo vejico","oss-aion-theory-matrix.19080aec82":"Vhod IEEE 754 je sprejet le na meji, nato pa je pred preverjanjem dekodiran v binarne polja. Nobena vrednost s plavajočo vejico ni shranjena, kopičena ali izračunana interno.","oss-aion-theory-matrix.914807cdef":"Bitni vektorji","oss-aion-theory-matrix.e5e429bcc9":"Podatki","oss-aion-theory-matrix.23c278d5ca":"Binarna beseda fiksne širine s semantiko prelivanja. Za preverjanje strojne opreme in preverjanje binarnih protokolov.","oss-aion-theory-matrix.b90cc9bfd2":"Tabela","oss-aion-theory-matrix.eac25fcfc6":"Teorija tabel z aksiomoma select in store. Odločljivi fragmenti so izrecno sledeni.","oss-aion-theory-matrix.3816c4beac":"Nizi","oss-aion-theory-matrix.8e5a47db7d":"Besedne enačbe, omejitve dolžine in regularno-izrazno pripadnost nad nizi.","oss-aion-theory-matrix.0efe5fd2a3":"Časovna","oss-aion-theory-matrix.ab14d0a7db":"Programi","oss-aion-theory-matrix.12dfdaf96a":"spremljevalna zbirka","oss-aion-theory-matrix.dd600bd946":"Fragmenti linearne in razvejane časovne logike za sklepanje o obnašanju skozi čas.","oss-aion-theory-matrix.bb8c6ec608":"Verjetnostna","oss-aion-theory-matrix.042a4dc40b":"Sklepanje o verjetnostnih programih, vključno s sklepanjem v slogu verjetnostnega Dataloga.","oss-aion-theory-matrix.1e1837d4e8":"Vzporedna","oss-aion-theory-matrix.60e30b1d8e":"Sklepanje o vzporednih programih in prepletanjih, ki jih lahko ustvarijo njihove niti.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"pokritost teorij","oss-aion-theory-matrix.4329e5da7b":"11 logičnih domen","oss-aion-theory-matrix.dc1baa8539":"jedro + spremljevalci","oss-aion-theory-matrix.5b1e898fc0":"Teorija","oss-aion-theory-matrix.cd89376f98":"Živi v","oss-aion-theory-matrix.df1e1e1732":"Enajst teorij, vsak sklepalnik ustvarja korake, ki jih lahko oddajnik dokazov zabeleži in jih lahko preverjevalnik ponovno predvaja.","oss-aion-theory-matrix.36ce8cbd4c":"PROP do CONCUR","oss-aion-three-questions.381a478392":"Dva odgovora, ena meja","oss-aion-three-questions.b695e87b19":"dva odgovorjena, eden lastniški","oss-aion-three-questions.9f5234300d":"Tretje vprašanje ni naše, in prav to, da to povemo, je tisto, zaradi česar sta prvi dve vredni\n          česar koli.","oss-aion-three-questions.8149763299":"Skladnost drži, ena invarianta ne uspe s svojo sledjo.","oss-aion-three-questions.5974dafe20":"vrata so narisana tako trdno kot stena","oss-aion-three-questions.392d2df212":"Lastnik modela ima to vprašanje in ga ima trajno. Nobeno potrdilo tukaj\n                se ga ne dotika in nobeno ga tudi tiho ne implicira.","oss-aion-three-questions.c27ccdf78d":"fizična veljavnost","oss-aion-three-questions.dbbe530d6c":"ali ta model predstavlja resnični svet","oss-aion-three-questions.44b8fe96f9":"korak 1 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"protiargument, dvignjen in povečan","oss-aion-three-questions.ed4bde3030":"tlak v zanki ostane pod 8 bar","oss-aion-three-questions.4676659f50":"obvodni ventil se nikoli ne odpre dvakrat v enem koraku","oss-aion-three-questions.045757b8af":"povratna temperatura ostane pod 95 °C","oss-aion-three-questions.24fa71fdd6":"preverjanja invariant","oss-aion-three-questions.846ee97ae5":"ali navedene invariante držijo skozi celotno izvajanje","oss-aion-three-questions.17f80cae31":"Izvajanje se reproducira iz tega, kar potrdilo razglaša.","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":"toleranca 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"korak 0,01 s","oss-aion-three-questions.8c30aa1c6e":"skladnost izvajanja","oss-aion-three-questions.b3c58a82bd":"ali sta navedeni model in konfiguracija ustvarila to trajektorijo","oss-aion-three-questions.5d3f336ca9":"zgoščena vrednost blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"chiller-loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"model in FMU","oss-aion-three-questions.b697dd615a":"dva od treh","oss-aion-three-questions.f14f15b304":"trajektorija","oss-aion-three-questions.f1f1425b65":"parametri","oss-aion-three-questions.910e029098":"ilustrativno","oss-aion-three-readings.41d8442e84":"odčitki in njihove zanesljivosti so AION-ovi, izbira je vaša in je zabeležena","oss-aion-three-readings.42e8a93311":"trije odčitki, ena odločitev, in ima avtorja","oss-aion-three-readings.62b4619c99":"število, ki ne more pasti pod nič","oss-aion-three-readings.48a15f3a18":"celo število pod pet","oss-aion-three-readings.ae3925651e":"ali so ponovitve celo število, število ali poljubna vrednost?","oss-aion-three-readings.dffe60eb6a":"zastavljeno vprašanje","oss-aion-three-readings.fb76182a92":"vprašano, ne domnevano","oss-aion-three-readings.8c3f96fa33":"Ponovitve morajo biti pod pet","oss-aion-three-readings.e9be13f9ec":"AION izpostavi dvoumnost, namesto da bi jo razrešil. Poimenuje vrsto dvoumnosti,\n          navede odčitke z zanesljivostjo, ki jo nosi vsak, in pogojem, ki bi ga vsak\n          uveljavljal, ter zastavi vprašanje, ki poimenuje sporno spremenljivko. Odločitev še\n          vedno pripada osebi. Spremeni se to, da je sprejeta enkrat, zapisano, s strani tistega,\n          ki je odgovoren za zahtevo, ne pa tistega, ki je po naključju opravljal pretvorbo.","oss-aion-three-readings.f26c9b4ff8":"Pod pet poskusov, šteto celo. Ali pod pet,\n          kjer je štiri in pol legitimna vrednost. Ali število, ki prav tako ne more pasti pod\n          nič. To so tri različna pravila in razlika se prej ali slej pokaže kot incident. V\n          običajnem načinu dela je eno od njih izbral tisti, ki je opravljal\n          prevod, v četrtek, ne da bi komur koli povedal.","oss-aion-three-readings.7b5121a8f0":"»Ponovitve morajo biti pod pet.«","oss-aion-three-readings.ffe5d68fe6":"Nekdo je izbral eno.","oss-aion-three-readings.55b8b0b398":"Vaš stavek je imel dva odčitka.","oss-aion-three-readings.2d1501c7e4":"Tiha odločitev, ki je ni nihče sprejel","oss-aion-three-readings.bec998cdfe":"poljubno število, vključno s štiri in pol","oss-aion-time-left.88430838dd":"nikomur nič ni bilo vsiljeno","oss-aion-time-left.227b19b5aa":"Postalo je le manjše, pred nekom, ki bi še lahko ukrepal.","oss-aion-time-left.ac61a8b97d":"Številka je bila tam osmi dan in ni nikoli postala glasnejša.","oss-aion-time-left.0703308f0f":"Na tem listu ni alarma in nič ni postalo rdeče. Vsak od teh je\n          isti stavek, prebran na drug dan.","oss-aion-time-left.6222c927fd":"Gre osebi, ki podpisuje pozne odgovore, z datumom, in ti\n            odpiše.","oss-aion-time-left.4dfda36be9":"14 dni pretečenih","oss-aion-time-left.d5f128da73":"odgovor je bil dolgovan šestnajstega","oss-aion-time-left.58cdff89f9":"druga prošnja, prebrana po datumu","oss-aion-time-left.6a7651b700":"trideset dni po tem, ko si vprašal","oss-aion-time-left.813d27411f":"odgovor je dolgovan","oss-aion-time-left.d8b0301347":"prosil si za kopijo tega, kar imajo o tebi","oss-aion-time-left.4c3d95bf6a":"prošnja","oss-aion-time-left.795bcac29d":"danes še štirje dnevi","oss-aion-time-left.56ff55acfb":"en rok, prebran štirikrat","oss-aion-time-left.acafbd7541":"pokliči jih danes","oss-aion-time-left.148b21034f":"4 dni preostalih","oss-aion-time-left.f165b88925":"poženi to ta teden","oss-aion-time-left.b85bbd50bd":"8 dni preostalih","oss-aion-time-left.4a8b5bac9b":"še v redu","oss-aion-time-left.67f9059ac5":"14 dni preostalih","oss-aion-time-left.ca372a8fb7":"zapiši si v koledar","oss-aion-time-left.16f29c69b8":"22 dni preostalih","oss-aion-time-left.910e029098":"ilustrativno","oss-aion-two-routes.89c24f999c":"drugi preverja dokaze","oss-aion-two-routes.3a5d844ae5":"ena pot jih reproducira","oss-aion-two-routes.028a6cf2d7":"njihovo potrdilo","oss-aion-two-routes.5c837ce426":"njihov sistem","oss-aion-two-routes.27f65e5e47":"kar potrebuje","oss-aion-two-routes.d0765bbac1":"PRIMERJAJ","oss-aion-two-routes.91f8c088aa":"in kaj vsak potrebuje","oss-aion-two-routes.8930c1c9b8":"Dva načina za gotovost","oss-aion-two-routes.d56d985300":"preveri","oss-aion-two-routes.e1fc5057de":"reproduciraj","oss-aion-two-routes.b028b89ea7":"njihovo pomoč","oss-aion-two-routes.999464a52f":"ni reproducirano","oss-aion-two-routes.9b9252883d":"samo potrdilo","oss-aion-two-routes.4dc537c80f":"trditev, vhodi in pogodba","oss-aion-two-routes.ad95c10298":"njihova natančna različica in naprava","oss-aion-two-routes.cfd05bd2f2":"njihova licenca","oss-aion-value-grid.6cc3364a24":"Dokazilo priloženo","oss-aion-value-grid.4910ee0aea":"Dokazi ob vsakem rezultatu","oss-aion-value-grid.411bf64817":"Rezultat in njegovo kompaktno potrdilo potujeta skupaj, zato so dokazi ustvarjeni ob odločitvi in ne rekonstruirani med pregledom.","oss-aion-value-grid.05f9c0dc34":"Preveril drug mehanizem","oss-aion-value-grid.eea79d1484":"Ločen preverjevalnik preveri potrdilo glede na prvotne predpostavke. Model ne sme ocenjevati lastnega odgovora.","oss-aion-value-grid.cbd17d59ba":"Prenosljive oblike","oss-aion-value-grid.5e6cba1721":"Dokazi preživijo izvajalno okolje","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe in enotna oblika dokaza ohranjajo potrdilo berljivo tudi po tem, ko se model, reševalec ali storitev spremeni.","oss-aion-value-grid.a60bdd7985":"Preverjanje brez povezave","oss-aion-value-grid.ebfb47f4ba":"Brez odvisnosti od žive povezave","oss-aion-value-grid.6144cbfcab":"Za preverjanje dokaza ni potrebno omrežje, račun ali živa povezava z nami. Stvar, na katero se zanašate pri reviziji, nima ponavljajoče se odvisnosti od dobavitelja.","oss-aion-value-grid.26ef011865":"Suverenost EU","oss-aion-value-grid.23672ea195":"Evropsko in vaše za izvajanje","oss-aion-value-grid.26e89e1455":"Zgrajeno v Evropi in v celoti izvedljivo na strojni opremi, ki jo nadzorujete. Vaši dokazi in odločitve nikoli ne smejo zapustiti jurisdikcije, ki jo odobrite.","oss-aion-value-grid.66ac329042":"Revizije z manj tveganja","oss-aion-value-grid.9c8c22f54d":"Dokazi, ki jih lahko preizkusi druga stran","oss-aion-value-grid.6572cc2be6":"Ko regulator ali revizor vpraša, kako je bila odločitev sprejeta, predate potrdilo, ki ga lahko preveri vsak, namesto da se zanašate na obljubo dobavitelja, ki je ne morete preizkusiti.","oss-aion-value-grid.6b5eb5323e":"Dokazi o odločitvah","oss-aion-value-grid.870c4d024a":"Neodvisno preverjanje","oss-aion-value-grid.93e2c4e5c4":"Začnite z eno potjo odločanja in ohranite njeno potrdilo skozi pregled.","oss-aion-value-grid.217fc9a42f":"potrdilo · preverjevalnik · arhiv","oss-aion-what-you-got.2b69c8154b":"in vsako vprašanje prinaša","oss-aion-what-you-got.7f629c0e9f":"štiri stvari, ki jih prejmete","oss-aion-what-you-got.7a9727c9f8":"ki jih lahko preverite sami","oss-aion-what-you-got.bc1c663195":"kaj prejmete","oss-aion-what-you-got.0da9f51943":"OPAŽENO","oss-aion-what-you-got.8becd8f7be":"in kaj to razreši","oss-aion-what-you-got.7d3574bfa5":"Kaj dobavitelj izroči","oss-aion-what-you-got.0306f977ae":"Katera različica je to povedala. Ne kaj je preverjala ali kako.","oss-aion-what-you-got.fd12863535":"ne","oss-aion-what-you-got.7b0c210f52":"Številka različice","oss-aion-what-you-got.f78a920a78":"Njihov opis lastnega postopka, ki so ga napisali sami.","oss-aion-what-you-got.301941b624":"njihov opis","oss-aion-what-you-got.7591a35462":"Opis metode","oss-aion-what-you-got.5eec058df8":"Nekdo stoji za besedo, ne za utemeljitvijo.","oss-aion-what-you-got.28fde2f659":"samo ime","oss-aion-what-you-got.7573daa505":"Podpis","oss-aion-what-you-got.94ebda1bd3":"Varno, izvedljivo, dosledno. Ena beseda, brez utemeljitve.","oss-aion-what-you-got.c99c8e4a9b":"Sklep","oss-aion-where-it-runs.1ba0334f9f":"ni tretjega","oss-aion-where-it-runs.03e2311510":"konfigurirate dva","oss-aion-where-it-runs.076d156600":"ničesar za konfigurirati","oss-aion-where-it-runs.f16ac53550":"vaša za konfiguracijo","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"in nič drugega ne odide","oss-aion-where-it-runs.6cdd4e486a":"Dve konfigurabilni meji","oss-aion-where-it-runs.39616fc267":"Program, ki ga namestite in teče kot lokalni proces.","oss-aion-where-it-runs.00bfadf39c":"Zunanji dokazovalnik","oss-aion-where-it-runs.801db3efcd":"Samo naslovi, ki jih nastavite, in šele ko jih nastavite.","oss-aion-where-it-runs.d296df3171":"Gruča","oss-aion-where-it-runs.67204bf5d4":"ni poti","oss-aion-where-it-runs.91984fcc1b":"Gostovani model","oss-aion-where-it-runs.b8b252650e":"sploh noben odjemalec","oss-aion-where-it-runs.ee39579eba":"Privzeta gradnja","oss-aion-where-it-runs.d49fe2c403":"ni nameščen","oss-aion-where-you-meet-it.2a85ffb07a":"Kraj se spremeni, obljuba ne: razlog, ki ga lahko preberete, in preverba, ki jo lahko izvede vsak.","oss-aion-where-you-meet-it.9a8413cd88":"AION-a ne boste nikoli zagnali sami. To so kraji, kjer lahko tiho deluje za\n            vas.","oss-aion-where-you-meet-it.33fb502270":"Trije vsakdanji trenutki","oss-aion-where-you-meet-it.40e32f89eb":"Vsak, ki mu zaupate, lahko preveri izpisek in ga potrdi.","oss-aion-where-you-meet-it.03ef5e1328":"Ko pisarna uporablja stroj za preverjanje vašega primera, vam pripada razlog, ki ga lahko preberete in preizprašate.","oss-aion-where-you-meet-it.2390278256":"Preveri se ugodnost ali obrazec","oss-aion-where-you-meet-it.2e92ab22dd":"Na javnem uradu","oss-aion-where-you-meet-it.0bd84e3a14":"Razlog je zapisan, ne ujet v sistemu.","oss-aion-where-you-meet-it.c4a1d64452":"Odločitve o denarju, ki jih sprejme stroj, so lahko kot zaprta vrata. Izpisek jih odpre z jasnimi koraki.","oss-aion-where-you-meet-it.e17885868a":"Izračuna se posojilo ali vračilo","oss-aion-where-you-meet-it.5e45cf57a0":"V banki","oss-aion-where-you-meet-it.e2c536b2b3":"Izpisek lahko zahtevate in ga pokažete svojemu zdravniku.","oss-aion-where-you-meet-it.0b56f170bf":"Ko ima stroj besedo pri vašem zdravljenju, bi morali videti razlog za tem, ne le rezultat.","oss-aion-where-you-meet-it.0332b7d1b7":"Računalnik pomaga odločati o vaši oskrbi","oss-aion-where-you-meet-it.4046c6355b":"V bolnišnici","oss-aion-which-did-you-mean.1ff884a89e":"vprašano, ne ugibano","oss-aion-which-did-you-mean.2eb1c230f2":"Izbira pripada tistemu, ki je napisal stavek.","oss-aion-which-did-you-mean.d94da790d1":"Dva običajna branja, en primer med njima.","oss-aion-which-did-you-mean.3b4d06d361":"Ni bilo postavljeno vprašanje in nihče ni bil obveščen, na katero od obeh je pristalo.","oss-aion-which-did-you-mean.93a161cede":"Ure se štejejo cele. Izbrano v četrtek popoldne s strani nekoga, ki je moral\n                oddati.","oss-aion-which-did-you-mean.4b73aced85":"v veljavi","oss-aion-which-did-you-mean.17e120a269":"Prekliči, če je zamuda več kot ena ura.","oss-aion-which-did-you-mean.ddf20b2d3c":"običajni način, kako se to reši","oss-aion-which-did-you-mean.3f42a39277":"kot dejansko poteka","oss-aion-which-did-you-mean.1e9a34969e":"cele ure","oss-aion-which-did-you-mean.9c2a4532bb":"Ko si napisal več kot eno uro, si mislil cele ure ali zamudo, kot dejansko\n                poteka?","oss-aion-which-did-you-mean.280b34e1e5":"Tvoj vlak zamuja petinsedemdeset minut in rezervacija se prekliče, preden se\n                    odločiš, ali še želiš potovati.","oss-aion-which-did-you-mean.97e4112012":"Zamuda je tako dolga, kot dejansko je. Ura in četrt je več kot ena\n                    ura.","oss-aion-which-did-you-mean.c5d620cfa2":"branje dve","oss-aion-which-did-you-mean.466780685c":"Tvoj vlak zamuja petinsedemdeset minut in nič ni preklicano. Čakaš na\n                    peronu na vlak, ki še vedno prihaja.","oss-aion-which-did-you-mean.6b67a39030":"Ure se štejejo cele. Zamuda ure in četrt se šteje kot ena ura,\n                    in ena ura ni več kot ena ura.","oss-aion-which-did-you-mean.9cf85c69a8":"branje ena","oss-aion-which-did-you-mean.ef52f97a5b":"več kot ena ura","oss-aion-which-did-you-mean.371c6d7efd":"Prekliči, če je zamuda","oss-aion-which-did-you-mean.887640fa01":"napisal si","oss-aion-which-did-you-mean.3650db40be":"čakam na tvoj odgovor","oss-aion-which-did-you-mean.ff312b91d2":"kaj si mislil","oss-aion-which-did-you-mean.6f8f8e9f76":"potem","oss-aion-which-did-you-mean.910e029098":"ponazoritveni","oss-aion-your-corpus.a54df5506a":"dva tedna, s pisnim izdelkom","oss-aion-your-corpus.ee646eb7cc":"Zaženite isti korpus s tem, kar uporabljate zdaj, in postavite obe poročili eno poleg drugega.","oss-aion-your-corpus.f2d4df122d":"Dvainšestdeset od štiriinšestdesetih, na vašem računalniku, pod vašo omejitvijo.","oss-aion-your-corpus.8ff7db55b1":"ta omejitev","oss-aion-your-corpus.8ada74cbb4":"ta računalnik","oss-aion-your-corpus.b2ed177f82":"ta korpus","oss-aion-your-corpus.71e1422875":"funkcija","oss-aion-your-corpus.94ef1b7ae8":"od 64 pravilnih","oss-aion-your-corpus.2ce97993d5":"še ni izreka","oss-aion-your-corpus.90326d4307":"preteklo 41 s","oss-aion-your-corpus.69bb8da1c5":"še poteka","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"ni zabeleženega odgovora","oss-aion-your-corpus.72330c3954":"16 GB naslovnega prostora","oss-aion-your-corpus.b4f0923eae":"16 GB na zagon","oss-aion-your-corpus.ff367b6b79":"omejitev naslovnega prostora","oss-aion-your-corpus.d1ea89e714":"32 jeder, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"ponazoritveni zagon","oss-aion-your-corpus.e380724f89":"en omejen, eden še poteka","oss-aion-your-corpus.f6f66c95d6":"Vaš korpus, na mestu","oss-aion-your-corpus.8d95729188":"omejeno","oss-aion-your-corpus.7817c52b25":"računalnik","oss-aion-your-corpus.d95f464bc9":"primerki","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"korpus","oss-aion-your-sentence-parts.8e7ed848f6":"še vedno jo lahko preberete","oss-aion-your-sentence-parts.78c48f428a":"napisali ste jo","oss-aion-your-sentence-parts.c569c19f0b":"Preberite znova, daje isto pravilo. Med tem se ni nič spremenilo.","oss-aion-your-sentence-parts.43015fadc4":"Nihče ne bi smel biti zaračunan dvakrat za isto naročilo v istem mesecu.","oss-aion-your-sentence-parts.a14707f800":"Vaš stavek, nespremenjen","oss-aion-your-sentence-parts.2ccea15065":"leto pozneje","oss-aion-your-sentence-parts.a80d4309ae":"Na vrhu sporočila, nad delom, ki ni bil izpolnjen.","oss-aion-your-sentence-parts.f33c43e8f9":"Vaš stavek, naveden","oss-aion-your-sentence-parts.f0f795235c":"dan, ko velja","oss-aion-your-sentence-parts.fe74b20e8f":"Kot ste ga vnesli, z eno preprosto vrstico, ki pove, kako je bil prebran.","oss-aion-your-sentence-parts.358b1cbc5d":"Vaš stavek, ohranjen","oss-aion-your-sentence-parts.13211e2743":"dan, ko ga napišete","oss-aion-your-sentence-parts.27a0362e59":"VAŠE BESEDE","oss-aion-your-sentence-parts.d37598cc12":"na tri različne dni","oss-aion-your-sentence-parts.32a5ee7a1f":"Isti stavek","page-breadcrumb.c766e66518":"Drobtinice","page-toc.7e439c353e":"Na tej strani","section_st_a1_display-split.7c9a7c0610":"Podrobnosti","section_st_f1_cta-dark.90e40d5043":"Začnite","spindle-extras.127edee78d":"PODPISANO","toc-rail.f5cbdf6bfb":"Kazalo"}