{"block_close_oss.c33fd1fe9c":"Komunita a ekosystém","core-extras.96d330537a":"Základné IR","core-extras.bee831a169":"Substrát","core-extras.61a0822826":"Aplikácie na Core","core-extras.15438cc098":"nepodporované","core-extras.ad565d9d01":"Funkcia","core-extras.0155bf03e5":"Legenda segmentov","core-extras.8b7110078e":"Skupiny algoritmov podľa typu údajov","core-extras.25ab4276a6":"Posúvateľná matica schopností","open-source-aion.81f3904118":"Riadenie znalostí postavené na pôvode štýlu AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Produkty","open-source-aion.de5ec3713e":"Parser overiteľný cez Merkle stromy, ktorý AION používa na spracovanie vstupov.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Overený runtime, ktorý spája certifikáty AION s transkriptmi vykonávania.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Pôvod udalostí pre systémy: reťazovo hashované záznamy o tom, čo sa stalo, nie kroky uvažovania v rámci rozhodnutia.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Pokračovať v objavovaní","open-source-aion.75e393a1ac":"Preskúmať súvisiace projekty","open-source-aion.f9743247fa":"Prečítať dokumentáciu","open-source-aion.ef0fd4ccef":"Skontrolovať cestu dôkazu","open-source-aion.77453cde44":"Spustite príklad certifikátu a overte ho pomocou aion check, cvc5 alebo ľubovoľného overovača kompatibilného s LRAT, akonáhle repozitár zverejní. Zverejnenie je naplánované na 1. septembra 2026 a s ním prídu aj pokyny na inštaláciu.","open-source-aion.dd58b70279":"Dôkaz sa dodáva s odpoveďou","open-source-aion.90e40d5043":"Začať","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Open Source","open-source-aion.close.accent":"aby si ho mohol ktokoľvek skontrolovať bez teba","open-source-aion.close.panel.title":"Čo certifikát nesie","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Jeden tvar, osem polí","open-source-aion.close.panel.row.1.label":"Rodiny","open-source-aion.close.panel.row.1.value":"Deväť registrovaných a rozšíriteľných","open-source-aion.close.panel.row.2.label":"Kontrola","open-source-aion.close.panel.row.2.value":"Ohraničená, bez licencie, bez prehrávania","open-source-aion.close.panel.row.3.label":"Kde beží","open-source-aion.close.panel.row.3.value":"Na vašej stránke, nič odchádzajúce","open-source-aion.close.panel.foot":"Certifikát zostáva malý a zostáva overiteľný aj o roky neskôr.","open-source-aion.ea722c81af":"Európska","open-source-aion.26803e587f":"Pri audite","open-source-aion.15edfb4da4":"Vyrobené v","open-source-aion.75f527181b":"Offline","open-source-aion.f8c94a3b4b":"Čo to je","open-source-aion.6b5eb5323e":"Offline, lineárny čas","open-source-aion.a49b62e167":"Presné racionálne čísla","open-source-aion.45f053dc73":"Aritmetika","open-source-aion.4329e5da7b":"11 logických domén","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Formáty dôkazov","open-source-aion.87415af880":"Dôkazové certifikáty","open-source-aion.9c8c22f54d":"Dôkazy, nie uistenia","open-source-aion.44ab85a252":"Pôvod","open-source-aion.3271776def":"Offline, bez služby","open-source-aion.03128bed90":"Overenie","open-source-aion.4f1428fca3":"Hardvér, ktorý ovládate","open-source-aion.5703321d0e":"Beží na","open-source-aion.978e9ec250":"Štandardný, prenosný","open-source-aion.3229609e15":"Overenie","open-source-aion.cba0624eb5":"Záznam o overení","open-source-aion.26ef011865":"Pozrite sa, kde to beží","open-source-aion.6f696724c6":"Pozrite si cestu overenia","open-source-aion.a3f1131acb":"AION je dôkazová infraštruktúra pre rozhodnutia AI, verejná od 1. septembra 2026. Vedľa výsledku AI vydáva kompaktný dôkaz a samostatný kontrolór prechádza tento dôkaz proti pôvodným predpokladom a prijíma alebo zamieta ho bez modelu, relácie riešiteľa alebo siete.","open-source-aion.a2831cb958":"pre nezávisle kontrolované rozhodnutia AI","open-source-aion.78db6d1920":"Dôkazová infraštruktúra","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Nikdy to len neslepo neberte","open-source-aion.4c1c703b94":"Zmysel","open-source-aion.2518be9b9c":"Nie je potrebné","open-source-aion.4ab2910209":"Váš účet","open-source-aion.3477f4d91d":"Rovnaká odpoveď","open-source-aion.d7e70b6e08":"Rovnaká otázka","open-source-aion.930888ee28":"Bez internetu","open-source-aion.d072f5db48":"Kontrola potrieb","open-source-aion.576347ec82":"Európa","open-source-aion.eeffc514bd":"Nie, iní to používajú za vás","open-source-aion.cef1deea41":"Vy to vytvoríte","open-source-aion.64ae43e8fe":"Kontrola dôkazu","open-source-aion.fdd1e56642":"Potvrdenka za odpovede","open-source-aion.704869f20f":"Jednoducho povedané","open-source-aion.658a8547d7":"Je to bezpečné?","open-source-aion.06c805023d":"Dôvod, ktorý si môžete odniesť","open-source-aion.e92ed103c2":"AION pridáva k odpovedi AI kontrolovateľnú potvrdenku. Váš asistent vám môže povedať, či úvaha obstojí, bez toho, aby ste museli rozumieť mechanizmu, a potvrdenku je možné skontrolovať znova aj bez internetového pripojenia. AION je verejný od 1. septembra 2026, v deň, keď vyjde aj jeho dokumentácia.","open-source-aion.336366183a":"pre rozhodnutia AI","open-source-aion.41cbc965ef":"Kontrolovateľná potvrdenka","open-source-aion.4eabc3bc63":"CDCL s teóriovými pluginmi","open-source-aion.68836c550e":"Core","open-source-aion.0cdb7c9a36":"Lineárny čas, offline","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teórie","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Jazyk","open-source-aion.942587e61e":"Projektový list","open-source-aion.d4a74b503a":"Prečítať dokumentáciu","open-source-aion.b683cc6ce4":"AION otvára program 1. septembra 2026: infraštruktúra dôkazov pre rozhodnutia AI, pričom repozitár a jeho dokumentácia vychádzajú spoločne. Dodatočné vysvetlenia od vás len žiadajú, aby ste dôverovali ďalšiemu opisu z toho istého systému. AION namiesto toho vydáva certifikát dôkazu, ktorý môže ktorýkoľvek overovateľ skontrolovať offline, v lineárnom čase, bez solvera.","open-source-aion.8f2ee5be83":"Výsledky AI","open-source-aion.376868cca2":"pre nezávisle skontrolované","open-source-aion.hero.source":"Spýtať sa na vydanie","open-source-aion.45471af790":"Pôvod udalostí","open-source-aion.ac9835d4bd":"Prepisy vykonávania","open-source-aion.24f43d4446":"Stromy syntaxe","open-source-aion.f6b229e148":"Vaše súbory, váš hardvér, vaše čísla a kontrolór, ktorý číta dôkaz od cudzinca","open-source-aion.144fbc96c6":"SPOČÍTANÉ","open-source-aion.719075bb86":"ANALYZOVAŤ A RIEŠIŤ","open-source-aion.8f84ba12df":"VAŠE VLASTNÉ SÚBORY","open-source-aion.8f088dbc07":"To je dvojtýždňové vyhodnotenie s písomným výstupom, nie demonštrácia. Korpus je váš, hardvér je váš, čísla môžete interne publikovať a nič v tomto cvičení nevyžaduje rozhovor s nami. Súprava nástrojov je súčasťou repozitára, takže beh môže začať v deň, keď získate prístup.","open-source-aion.36ef075645":"Správne nie je AION-ov názor na seba samého. Každý súbor v štandardnom korpuse nesie stav, o ktorom je známe, že ho má, a súprava porovnáva AION-ovu odpoveď s touto anotáciou prípad po prípade, takže počet na konci je skóre voči uvedenej základnej pravde. Adresný priestor na jeden beh je možné obmedziť, čo zabráni tomu, aby jeden patologický súbor stiahol so sebou aj stroj.","open-source-aion.e5bce47d50":"Čo pilot prináša","open-source-aion.680f97998b":"AION obsahuje benchmarkovú súpravu, takže čísla, ktoré citujete v obchodnom prípade, sú tie, ktoré vytvorili vaše vlastné súbory na vašom vlastnom hardvéri. Nasmerujte ju na korpus a zaznamená čas analýzy, čas riešenia a špičkovú rezidentnú pamäť pre každý prípad, potom vytlačí počet správnych odpovedí. Beh sa opakuje na rovnakom korpuse, takže druhé vyhodnotenie možno postaviť vedľa prvého riadok po riadku.","open-source-aion.2d5f8acea9":"a prečítať čísla späť","open-source-aion.5586707b63":"Najprv spustite vlastné súbory","open-source-aion.67ec8d614c":"Predtým, než sa zaviažete","open-source-aion.55744ee096":"Aj napriek všetkému niekto spochybní výsledok. To si vyžaduje cestu, nie stretnutie","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"SLEDOVANÉ NAŽIVO","open-source-aion.24538c3986":"REZERVA, NIE POPLACH","open-source-aion.368f25d10d":"Niekde pred tým posledným bol deň, keď bola práca ešte záležitosťou jedného popoludnia, a to je deň, ktorý chce manažér označiť, pretože každá možnosť po ňom stojí viac. Čítanie rezervy denne je spôsob, ako tento deň nájsť.","open-source-aion.c5701049a8":"Správa má vlastníka, nie poradovník, a každý riadok v nej znamená inú prácu s inou naliehavosťou. Jedna je hotová a nevyžaduje žiadnu akciu od nikoho. Jedna má štyri dni, čo z nej robí plán na tento týždeň, nie na dnešok. Jedna má jeden deň, čo z nej robí prácu na dnes ráno. Jedna je po termíne už dva týždne, čo si vyžaduje meno a vetu vysvetľujúcu medzeru.","open-source-aion.26435b9406":"Čokoľvek s termínom možno sledovať počas behu a AION hlási zostávajúci priestor ako číslo so znamienkom, nie ako prechod. Okno odpovede so štyrmi zostávajúcimi dňami. Retenčná lehota dva týždne po dátume, kedy sa mala uzavrieť. To je prevádzkové čítanie, podľa ktorého môže niekto konať dnes ráno. Číslo sa mení každý deň, takže správa sa číta ako rezerva, nie ako poplach.","open-source-aion.f49579b8d6":"kým sa z toho stane porušenie","open-source-aion.0e185152c8":"Rezervu čítate denne","open-source-aion.bc09e774e9":"Živé záväzky","open-source-aion.cff8079f65":"Záznamy odpovedajú na otázky dodatočne. Niektoré záväzky treba sledovať počas ich trvania","open-source-aion.127edee78d":"PODPÍSANÉ","open-source-aion.b1c1ba1af8":"ZOZNAM","open-source-aion.8d27ef68f5":"SEDEM SA MÔŽE POHYBIŤ","open-source-aion.c84f34cb7c":"Priradenie je druhý mechanizmus, nie ďalší stĺpec toho istého záznamu. Podpis sa aplikuje na poradie odvodenia, takže kto vytvoril výsledok, prežije zmenu dodávateľa a dve rovnaké odpovede od dvoch dodávateľov zostanú rozlíšiteľné. To platí aj vtedy, keď boli obe vytvorené z rovnakých deklarovaných vstupov.","open-source-aion.a76201631f":"Každá položka v tomto zozname uvádza komponent, ktorý sa zmenil, a uložený certifikát za ňou je úplný, takže opätovná kontrola je beh, nie rekonštrukcia. Alternatíva, ktorú má väčšina organizácií, je voľba medzi preskúmaním všetkého a preskúmaním ničoho, a v praxi sa táto voľba vždy robí rovnako.","open-source-aion.5c82441a97":"Záznam","open-source-aion.10d9103c24":"Výsledok prijatý minulý rok bol prijatý podľa minuloročnej zmluvy. Sedem rôznych vecí sa môže pod ním pohnúť: pravidlo kontrolóra, schéma certifikátu, politika, pravidlo kompilátora, zmluva o behu, verzia modelu alebo simulačná zmluva. Keď sa jedna z nich pohne, otázka, ktoré minulé závery spočívali na zmenenej časti, má odpoveď a odpoveďou je zoznam.","open-source-aion.1829734913":"dostanete zoznam na prepracovanie","open-source-aion.6d49555943":"Keď sa pravidlo neskôr zmení","open-source-aion.7f325552d8":"Váš auditný záznam, verzovaný","open-source-aion.d272027f73":"Lokálny záznam sa ľahko vedie. Udržať ho zmysluplný, keď sa pravidlá menia, je ťažšie","open-source-aion.05a898ec87":"ŽIADNY MODEL HOSTING","open-source-aion.c530254e40":"VAŠA STRÁNKA","open-source-aion.66b3dbbe8f":"ŽIADNE ODCHÁDZAJÚCE VOLANIE","open-source-aion.8ae7a1670e":"Pre zodpovednú osobu za ochranu údajov, ktorá odpovedá na krátky zoznam otázok o tejto ceste, a len o tejto ceste: žiadny spracovateľ na doplnenie do registra, žiadny prenos na odôvodnenie, žiadny poskytovateľ modelu v reťazci a nič z našej strany, čo by mohlo byť nedostupné počas vášho incidentu alebo sa zmeniť pod vami podľa cudzieho plánu vydaní. Verzia, ktorú máte, je verzia, ktorá beží aj o rok. Táto odpoveď znie rovnako, či je stránka pripojená alebo vzduchotesne oddelená.","open-source-aion.60ad7ae15b":"Dve cesty môžu prekročiť hranicu a obe si konfigurujete sami. Cluster beží na adresách, ktoré si nastavíte. Externý overovateľ, ak ho chcete v procese, je program, ktorý si nainštalujete a beží ako lokálny proces na vašom vlastnom počítači.","open-source-aion.2f6a307ba7":"Pre prevádzkovateľov","open-source-aion.dbc08c41b9":"Predvolená verzia AION nemá žiadneho odchádzajúceho klienta. Kontrola dôkazu, preklad požiadavky, monitorovanie signálu a spustenie vyhľadávania sa všetko deje na stroji, na ktorom ste ich spustili, vo vnútri vašej hranice, na hardvéri, ktorý ovládate. V reťazci nie je žiadny hostovaný model a žiadna cesta k nemu. Rovnaká verzia beží v vzduchotesne oddelenej miestnosti aj v pripojenej, pretože nič na predvolenej ceste nepotrebuje sieť na dokončenie.","open-source-aion.90c790a231":"a nič nevolá smerom von","open-source-aion.4b9230d5db":"Všetko beží na mieste","open-source-aion.fe7f7fc61a":"Kde sa práca deje","open-source-aion.ed461cacdf":"Dôkaz o pravidlách je jedna vec. Kde práca beží, je ďalšia otázka, ktorú ľudia kladú","open-source-aion.640d41197b":"JEDEN PRÍPAD","open-source-aion.29ff0fb82f":"SEDEM VÝROKOV","open-source-aion.431d64456a":"Toto je výrok o sade pravidiel, nie vzorka minulých prípadov. Testovanie tisíc aplikácií ukáže tisíc aplikácií; kontrola nezasahovania pokrýva každý pár, ktorý pravidlá umožňujú, pomocou self-kompozície, vlastnostne riadenej dosiahnuteľnosti a k-indukcie, pričom abstrakcia sa sprísni vždy, keď pár ukáže, že bola príliš voľná. Keď neplatí, čo sa vráti, nie je štatistika. Sú to dve aplikácie identické vo všetkých verejných poliach, líšiace sa v tom, na ktoré ste sa pýtali, s dvoma rôznymi výsledkami vytlačenými vedľa seba. To je zistenie, na ktoré môže compliance officer reagovať ešte to isté ráno.","open-source-aion.e5e1cd5506":"Vezmite si tú, ktorú regulátori a sťažovatelia kladú najčastejšie, rôznymi slovami: zmenilo toto pole výsledok? Odpovedá sa ako vlastnosť nad dvoma behmi. Zviažte všetky verejné vstupy, ponechajte dané pole voľné na každej strane a vyžadujte, aby sa viditeľný výsledok zhodoval. Ak sa vždy zhoduje, výsledok nezávisel od tohto poľa.","open-source-aion.227872d789":"Jeden z nich, prepracovaný","open-source-aion.5f92fd5ed1":"Certifikát je zaujímavý len pre vetu, ktorú vám umožní povedať. Tento binárny súbor zodpovedá tomuto zdrojovému grafu. Táto záťaž bežala pod týmito schopnosťami. Táto akcia mala požadovaný súhlas. Toto optimum spĺňa túto hranicu. Táto trajektória rešpektovala tieto invarianty. Tento záver vyplýva z týchto obmedzení. Tento výstup pochádza z tohto presného modelu a sady parametrov.","open-source-aion.418a3bc2fc":"predložené regulátorovi","open-source-aion.7a7af31402":"Sedem výrokov, ktoré môžete","open-source-aion.a13c1cf72d":"Čo môžete skutočne dokázať","open-source-aion.20467ce964":"Prípad sa týka jednej aplikácie. Niektoré otázky sa týkajú dvoch naraz","open-source-aion.dde18d1e41":"KTO TO VLASTNÍ","open-source-aion.f3b603a5b2":"V HODNOTÁCH","open-source-aion.53d2799375":"PRÍPAD","open-source-aion.f18bb15530":"Obe sú zistenia a obe majú vlastníka. Ani jedno nie je dostupné z prešiel alebo neprešiel. Protipríklad vám povie, ktoré z tých dvoch držíte.","open-source-aion.d83e9c1af9":"Protipríklad tiež ukončí argumenty, ktoré by inak trvali týždne, pretože to nie je názor nikoho na to, či je pravidlo príliš prísne. Je to prípad, nakreslený v skutočných hodnotách, nad ktorými pravidlo pracuje. Buď je prípad možný niekde vo vašom podnikaní, v tom prípade je pravidlo správne a systém je nesprávny, alebo sa prípad nemôže vyskytnúť, v tom prípade špecifikácii chýba obmedzenie, ktoré všetci predpokladali a nikto nezapísal.","open-source-aion.7455444aea":"Keď pravidlo neplatí, AION vráti konkrétnu situáciu, ktorá ho porušuje, napísanú ako prózu: ktoré hodnoty, akého druhu a ktoré podmienky porušujú. Inžinier to môže reprodukovať a manažér to môže oceniť, a tentoraz sa obaja hádajú o rovnakom prípade.","open-source-aion.7d4873637b":"ako prípad, ktorý ho porušil","open-source-aion.aeb268fac7":"Porušené pravidlo sa vráti","open-source-aion.b5951203ea":"Čo vám zlyhanie dá","open-source-aion.8a9a27b8f7":"Čo zostáva, sú vety, ktoré môžu znamenať dve veci, a na tie sa pýtajú","open-source-aion.e1814a04c0":"PRESKÚMATEĽNÉ","open-source-aion.20e7dea6cd":"JEDNODUCHÉ ČÍTANIE","open-source-aion.295ea7bb80":"ZACHOVANÁ ANGLIČTINA","open-source-aion.a4abbaea33":"Preklad je knižnica vzorov, nie model, takže rovnaká veta vždy vytvorí rovnaké čítanie a recenzia sa nemusí opakovať, pretože nástroj zmenil názor medzi jedným štvrťrokom a druhým. Druhý recenzent, ktorý číta rovnakú vetu, dospeje k rovnakej podmienke, čo robí recenziu prenositeľnou.","open-source-aion.f3689055f1":"Každá podmienka prichádza s jednou vetou v jednoduchej angličtine, ktorá hovorí, čo kóduje, a s veličinami, nad ktorými pracuje, každá pomenovaná druhom hodnoty, ktorú drží, a vlastným riadkom popisu. Takže recenziu môže urobiť osoba, ktorá vlastní požiadavku, nielen osoba, ktorá vlastní notáciu.","open-source-aion.cac3da045e":"Ako to platí","open-source-aion.c6b765e4cc":"Požiadavky píšu ľudia, ktorí rozumejú biznisu, a pretvárajú ich na podmienky ľudia, ktorí rozumejú notácii, a tieto dve verzie sa potom roky rozchádzajú. AION ich drží pohromade: požiadavku napíšete ako anglickú vetu a podmienka, ktorá z nej vznikne, nesie vašu vetu so sebou. Recenzent číta oboje naraz, takže odchýlka sa ukáže na stránke, nie pri incidente.","open-source-aion.589a38f560":"tomu, kto sa pýtal","open-source-aion.5d212c3d75":"Pravidlo zostáva čitateľné","open-source-aion.5373332e20":"Kto môže vidieť, čo sa kontrolovalo","open-source-aion.5f882ec681":"Referencia je užitočná len vtedy, ak pravidlo, na ktoré odkazuje, dokážu prečítať vaši vlastní ľudia","open-source-aion.bca8d6442c":"AKCIA","open-source-aion.705bc98c49":"POMENÚVA PRAVIDLO","open-source-aion.ab9f5d57e4":"POMENÚVA KROK","open-source-aion.b4ba975800":"Práve oddelenie týchto vecí umožňuje poslať odmietnutie dodávateľovi, pretože obvinenie je jediná vec, ktorú nemôžete v dodávateľskom vzťahu potichu stiahnuť.","open-source-aion.7a47f854de":"Tento tvar je to, s čím môže pracovať audítor alebo manažér dodávateľov, pretože z nezhody robí referenciu. AION tiež oddeľuje dve zlyhania, ktoré prichádzajú pod jedným slovom. Buď sa krok nedá zrekonštruovať, čo je chyba v dôkaze a zistenie voči tomu, kto ho vytvoril, alebo krok používa pravidlo, ktoré tento kontrolór nemá, čo je otázka rozsahu pre vás, a nie zistenie voči nikomu.","open-source-aion.d9469b7dda":"Zlyhanie, ktoré hovorí „overenie zlyhalo“, sa nedá priradiť, argumentovať ani opraviť, a prichádza ako spor, nie ako zistenie. AION vráti miesto a dôvod: ktorý krok, v ktorom súbore, ktoré pravidlo tvrdil, že používa, a čo chýbalo, keď sa krok znova prepracoval. Odmietnutie sa môže vrátiť produkčnému tímu s reprodukovateľnou adresou. Ak sa dôkaz nedá zrekonštruovať, vlastníctvo je na strane producenta; ak kontrolórovi chýba menované pravidlo, je to rozhodnutie o rozsahu. Sú to rôzne fronty a rôzna náprava.","open-source-aion.ccc6a09991":"s krokom a dôvodom","open-source-aion.3619f211ef":"Neúspešná kontrola sa vráti","open-source-aion.29801085dc":"Výstup, ktorý musí byť použiteľný","open-source-aion.57c6ba11fc":"Sedem producentov si drží vlastný výstup. AION štandardizuje obálku a smerovanie pre svoje dôkazy.","open-source-aion.f37804f36b":"JEDNA OBÁLKA","open-source-aion.8a3b4bf313":"SEDEM PRODUCENTOV","open-source-aion.479f1de8ea":"Zdieľaná obálka dáva organizácii jeden register, jeden model kompatibility a jednu množinu dotknutých prvkov, keď sa zmení pravidlo. Každá rodina certifikátov si drží vlastný verifikátor a vlastné pravidlá odmietnutia. Nová rodina sa pripojí registráciou týchto pravidiel a svojho verifikátora; AION sa nestáva producentom. Register je časť, ktorá rastie.","open-source-aion.5b958e86c7":"Solver môže vydávať logické, optimalizačné alebo temporálne certifikáty. Twin a FMI produkujú rôzne výstupy, ale zdieľajú rodinu simulácie a FMI. Producent hovorí, čo sa vytvorilo; rodina certifikátov hovorí, ako sa kontroluje jej tvrdenie. Tieto dve veci sa zaznamenávajú oddelene, takže ani jedna sa nedá odvodiť z druhej.","open-source-aion.57e1cc2701":"Čo mení jedna obálka","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin a FMI sú siedmi producenti rôznych výstupov, nie sedem rodín certifikátov. AION dáva ich dôkazom jednu obálku a smeruje každý certifikát k verifikátoru špecifickému pre rodinu. Obálka nesie producenta, rodinu, schému a deklarované vstupy, zatiaľ čo rodinný verifikátor si drží technický význam. Dodávateľ môže zmeniť svoju implementáciu bez zmeny hranice dôkazov organizácie; iba zmena rodiny alebo schémy rozširuje kontrolu kompatibility.","open-source-aion.65a41e884e":"jedna obálka pre dôkazy","open-source-aion.837663a52a":"Sedem producentov a","open-source-aion.647e0f46ec":"Sedem producentov","open-source-aion.af6010147d":"Jeden dodávateľ je jeden vzťah. Zaujímavá otázka je, ako ďaleko to siaha","open-source-aion.35ecafecfb":"VÁŠ STROJ","open-source-aion.0676f9f8de":"TRI VECI","open-source-aion.dfc87eabb4":"To presúva konverzáciu z pôdy, na ktorej sa dodávatelia cítia pohodlne. Už ich nežiadate, aby vás presvedčili, a už neplatíte za reprodukciu ich prostredia. Keď máte tie tri veci, kontrola je vaša a môžete si ju zopakovať, kedykoľvek chcete, na akomkoľvek hardvéri chcete, vrátane týždňa po skončení zmluvy.","open-source-aion.7677ed77e3":"Stojí za to byť presný o artefakte, pretože to nie je vždy súbor. V závislosti od rodiny to môže byť súbor, archív, stream, podpísaný balík, pár stôp, svedok, potvrdenie o vykonaní alebo štruktúrovaná derivácia. Vždy to je, bez ohľadu na tvar, niečo, čo verifikátor dokáže prečítať bez prítomnosti producenta.","open-source-aion.a29def781f":"Čo certifikát vlastne je","open-source-aion.fdca1fef67":"Certifikát nie je log a nie je zhrnutie. Je to dôkaz, ktorý práca zanechala, a to, čo dodávateľ odovzdá, sú tri veci: tvrdenie, deklarované vstupy a zmluva, proti ktorej sa vytvoril, a certifikát, ktorý systém vyprodukoval. Nie ich licencia, nie ich verzia, nie ich stroj. Tieto tri veci cestujú spolu a na ich kontrolu nie je potrebné nič ďalšie od dodávateľa.","open-source-aion.b054d236cd":"nie ich softvér","open-source-aion.53e1575f60":"Kontrolujete certifikát","open-source-aion.5e40f4ba8a":"Zmena pozície","open-source-aion.b9e2767b28":"Existuje cesta, ktorá nie je ani veriť im, ani znovu spúšťať ich softvér","open-source-aion.7d87348ad6":"VAŠE MENO NA TOM","open-source-aion.48a5aca907":"ICH SYSTÉM","open-source-aion.32c3cafa08":"To je pozícia, na ktorú sa audítor pozerá, keď sa pýta, ako ste sa presvedčili, vrátane pravidiel o dôkazoch, ako sú tie v zákone EÚ o umelej inteligencii. AION to mení tým, že každému z týchto výsledkov dáva certifikát, ktorý môžete skontrolovať, bez reprodukovania dodávateľa a bez prístupu k čomukoľvek, čo považujú za svoje. Kontrola beží na vašom vlastnom stroji, len proti certifikátu.","open-source-aion.ac90e72b2c":"Zvyčajné cesty von obe končia na rovnakom mieste. Môžete požiadať o ich dôkazy, čo je dokument, ktorý napísali o svojom vlastnom softvéri. Alebo môžete požiadať o reprodukciu ich systému sami, čo si vyžaduje ich licenciu, ich verziu a ich prostredie, a stále vás to necháva závisieť od veci, ktorá odpoveď vytvorila.","open-source-aion.fc63c534d2":"Riešiteľ hovorí, že harmonogram je uskutočniteľný. Systém AI dospeje k regulovanému záveru. Agentový systém vykoná operáciu vo vašom mene. Kompilátor vytvorí bezpečnostne kritický artefakt. Runtime vykonáva riadenú záťaž. Simulácia overí rozhodnutie o návrhu. Digitálne dvojča hlási, že prevádzkový stav je bezpečný. V každom z týchto prípadov sa práca stala niekde inde a dôsledok dopadá na vás.","open-source-aion.c9672e2ac8":"vaše meno je na odpovedi","open-source-aion.925d7b4a2d":"Ich systém to vytvoril","open-source-aion.47b025f850":"Kde leží zodpovednosť","open-source-aion.905aee629b":"Postup, dôvod, ktorý si môžete prečítať, a rovnaké pravidlo pre každého, koho sa to týka","open-source-aion.4d0ee37058":"DÁTUM","open-source-aion.6ccb4a6f6a":"Rovnaký dôvod","open-source-aion.84adcc762b":"Rovnaká kontrola","open-source-aion.56c6f422d8":"To je list, ktorý môže niekto napísať. Namiesto toho, aby ste povedali, že systém rozhodol, môžete citovať pravidlo, uviesť dátum, uviesť verziu a opýtať sa osoby, ktorá to napísala, či to myslela tak.","open-source-aion.073cdea47b":"To má hodnotu len vtedy, ak to môžete vidieť, takže vám zostávajú tri veci, ktoré môžete použiť. Pravidlo, obyčajnými slovami, ktoré môžete prečítať nahlas. Dôvod, prečo sa na vás vzťahovalo, citujúc to pravidlo späť s vašou vlastnou situáciou. A dátum, kedy bol postup skontrolovaný. Tento záznam uvádza, čo to skontrolovalo a proti ktorej verzii pravidiel sa to kontrolovalo.","open-source-aion.a50f912efb":"Čo s tým môžete urobiť","open-source-aion.1d94c73b03":"Odovzdajte rovnaký postup AIONu dvakrát a kontrola vyjde rovnako, v pondelok aj v piatok, pre vás aj pre osobu za vami v rade. Nie je to tak, že každý dostane rovnakú odpoveď, pretože ľudia prinášajú rôzne situácie. Je to tak, že samotná kontrola sa nepotuluje a nikto neinterpretuje váš prípad na mieste. O rok neskôr sa rovnaký postup kontroluje podľa rovnakých písaných pravidiel, takže odpoveď, ktorú ste dostali, sa dá stále vysvetliť.","open-source-aion.fba7a52bf4":"v pondelok aj v piatok","open-source-aion.77a3327a99":"Skontrolované rovnako","open-source-aion.cebde51ae2":"Čo vám zostáva","open-source-aion.a566f0cb1b":"Čas je jeden druh pravidla. Väčšina z nich je obyčajný druh, aplikovaný na každého","open-source-aion.29231cd04d":"VČAS","open-source-aion.d89f7642e7":"SLEDOVANÉ","open-source-aion.5d491ce50f":"ZOSTÁVA DNÍ","open-source-aion.c50722f442":"Rovnaké čítanie funguje po dátume aj pred ním. Štrnásť dní dozadu je fakt, na ktorý sa možno niekoho opýtať, s pripojeným dátumom, a nie červená značka, ktorá prišla bez varovania.","open-source-aion.0b1cbd5f8a":"Prechod vám nepovie nič, až kým neprestane byť prechodom, a vtedy sú lacné možnosti preč. Číslo vám povie, kde ste: dvadsaťdva dní zostáva je poznámka v diáři, štyri dni zostáva je tento týždeň, jeden deň zostáva je dnes ráno.","open-source-aion.af41b675b0":"Čo vám to dáva","open-source-aion.2ff91b62ec":"Pravidlá s hodinami v nich sú tie, ktoré ľudí nachytajú. Odpoveď splatná do tridsiatich dní, lehota na vrátenie, obdobie, po ktorom sa musí niečo vymazať. AION ich sleduje, kým bežia, a hlási, koľko miesta zostáva dnes, ako počet dní.","open-source-aion.94dc6c2b80":"dlho pred posledným","open-source-aion.6bdbc0422a":"Môžete vidieť zostávajúce dni","open-source-aion.37f768721f":"Lehoty, ktoré sa vás týkajú","open-source-aion.e3c2d4b24a":"Práca na mieste tiež znamená, že môže za vás strážiť hodiny","open-source-aion.4ace2cc9bc":"ŽIADNY ÚČET","open-source-aion.c5c3055a7b":"NIČ NEODOSLANÉ","open-source-aion.a5b9137c2b":"ZOSTÁVA TU","open-source-aion.874bab5372":"Ak je vôbec zapojené spojenie, je to také, ktoré niekto zámerne nastavil medzi svojimi vlastnými strojmi, a je vypnuté, kým to neurobí. Vaša veta sa číta podľa písaných pravidiel, v tej istej miestnosti ako vy, a odpoveď prichádza s odpojeným vedením. Nič neopustilo stroj, aby to vytvorilo, a nič nebolo odoslané.","open-source-aion.4a03f17947":"Žiadny účet, žiadna registrácia a žiadna externá služba, ktorá musí fungovať, byť dôveryhodná alebo stále v prevádzke budúci rok, aby ste dostali odpoveď.","open-source-aion.f10eb79b5b":"Čo to pre vás znamená","open-source-aion.c17d4e01b4":"Mnohé nástroje odpovedajú na otázku o vás tým, že pošlú vaše údaje preč a čakajú na odpoveď. Vaše informácie cestovali, do spoločnosti, ktorú ste si nevybrali, možno do krajiny, ktorej meno nikdy nepočujete. AION robí prácu tam, kde už je. Nič sa neposiela, pretože nie je čo poslať.","open-source-aion.9e50609149":"na stroji, pri ktorom ste","open-source-aion.ca67037369":"Odpoveď je vypracovaná","open-source-aion.7df600af96":"Kam idú vaše údaje","open-source-aion.399483042a":"Byť požiadaný je jedna polovica. Druhá polovica je to, čo vám povedia, keď je odpoveď nie","open-source-aion.0b5b7048ea":"VY SI VYBERÁTE","open-source-aion.f12c755afa":"OPÝTA SA VÁS","open-source-aion.300453f44e":"DVA VÝZNAMY","open-source-aion.6debd2c487":"Čo znie ako malá zdvorilosť. Je to rozdiel medzi pravidlom, s ktorým ste súhlasili, a pravidlom, ktoré niekto uhádol vo vašom mene, v zhone, v deň, keď ste tam neboli. Hádanka je bežný spôsob, ako sa to robí, a nikomu sa nikdy nepovie, že sa to stalo. Opýtať sa stojí chvíľu a odstráni hádanku zo záznamu.","open-source-aion.6f02dd9d43":"AION sa zastaví a opýta sa. Cituje vám späť slová, o ktorých si nie je istý, vysvetlí oba výklady obyčajným jazykom, položí otázku s vašou vlastnou frázou vo vnútri a čaká. Vy si vyberiete. Nič sa nerozhoduje, kým je otázka otvorená.","open-source-aion.0ccfcd0de4":"Čo sa mení","open-source-aion.b3124516ab":"„Zrušiť, ak je oneskorenie viac ako jednu hodinu.“ Je oneskorenie sedemdesiatpäť minút viac ako jedna hodina, alebo sa hodiny počítajú celé, takže sedemdesiatpäť minút je jedna hodina a jedna hodina nie je viac ako jedna? Oba výklady sú bežná angličtina. Nezhodujú sa v presne jednom prípade a ten prípad sa určite vyskytne.","open-source-aion.4449c95cf9":"znamená dve veci, opýta sa","open-source-aion.75ca04ac1b":"Ak by vaša veta mohla","open-source-aion.2297deb89a":"Keď je vaša veta nejasná","open-source-aion.32cf0852b8":"Veta môže znamenať aj dve veci naraz, a to stojí za zastavenie","open-source-aion.b5d2541ad8":"ŽIADNY ŽARGÓN","open-source-aion.3b7c198e57":"VRÁTI SA TO","open-source-aion.c4cc4b9845":"VLASTNÝMI SLOVAMI","open-source-aion.5c9a5c3396":"A keď sa tá istá veta prečíta znova, vytvorí presne to isté pravidlo, pretože v AION sa nič neučí, nič sa neposúva a nikto medzitým nepríde s lepším nápadom. Pravidlo, s ktorým ste raz súhlasili, zostáva pravidlom, s ktorým ste súhlasili, a človek na druhej strane číta vašu vetu, nie niečí jej súhrn. Nič na ceste z nej neurobí cudzie slová.","open-source-aion.ba41f25c15":"Z ponechania vety vyplývajú dve veci. Môžete zistiť, či bola pochopená v deň, keď ste ju napísali, a to čítaním, namiesto toho, aby ste sa to dozvedeli z incidentu o rok neskôr.","open-source-aion.c19473d784":"Napíšte pravidlo obyčajnými slovami a AION tie slová zachová. Čo znie ako malá zdvorilosť, až kým nepríde deň, keď na tom záleží: o mesiace neskôr, keď sa niečo zastaví kvôli tomuto pravidlu, veta, ktorú ste napísali, sa vráti na začiatok vysvetlenia, v slovách, ktoré ste si vybrali.","open-source-aion.4c0e51d183":"povedali by ste to nahlas","open-source-aion.dcf65c0f8a":"Napíšte pravidlo tak, ako","open-source-aion.e1a651b90e":"Povedať, čo chcete","open-source-aion.beda6f7681":"Na prerátanie súčtu treba mať súčet zapísaný. To isté platí pre pravidlo a vaše môže byť veta","open-source-aion.ef6371cd2e":"ZASTAVÍ SA TO","open-source-aion.47ce22a1f7":"KROK ZA KROKOM","open-source-aion.9195df51f1":"DRUHÉ ČÍTANIE","open-source-aion.b66352de76":"Zastavenie je dôležitá polovica. S vami môže súhlasiť ktokoľvek. Niečo, čo sa zastaví a ukáže na riadok, stojí za to, a takých vecí je veľmi málo.","open-source-aion.e04fafc8fc":"AION znova spočíta stĺpec. Nie pre účty, ale pre ťažší druh práce, ktorú stroje robia, keď rozhodujú, že niečo je povolené, bezpečné alebo nemožné, keď niečo stavajú, keď niečo spúšťajú vo vašom mene, alebo keď zisťujú, čo by sa stalo, kým to niekto vyskúša. Prečíta si postup, ktorý zapísal prvý stroj, sám zopakuje každý krok a zastaví sa pri prvom, ktorý mu nevyjde.","open-source-aion.b55b759c73":"Keď účet vyzerá zle, nehádajte sa o tom, či je súčet správny. Sami si stĺpec znova spočítate. Ak vám vyjde rovnaké číslo, súčet platí. Ak sa zastavíte na štvrtom riadku, pretože nesedí, môžete presne povedať, ktorý riadok to je, a spor je ukončený jednou vetou.","open-source-aion.59141b0dfa":"namiesto toho, aby ste to brali za slovo","open-source-aion.fa22d5033b":"Niekto preráta súčet","open-source-aion.333a6c87f2":"zmena vytvorí ovplyvnenú množinu a front, nie tichú reinterpretáciu minulosti","open-source-aion.0eecb96558":"je päť faktov","open-source-aion.59e22ed738":"vytvorený, podpísaný, overený, prijatý a stále kompatibilný","open-source-aion.d78c662e5b":"skontrolované, nie predpokladané","open-source-aion.5b44284acd":"stále kompatibilný s","open-source-aion.cc4bc74f90":"s verziou zmluvy","open-source-aion.3bb51eeea5":"prijaté podľa","open-source-aion.72954f75cf":"s verziou overovateľa","open-source-aion.3741770a87":"overené","open-source-aion.7fc7c8aef9":"nad hashom odvodeného poradia","open-source-aion.d2a7817a72":"podpísané","open-source-aion.9d7c5e8097":"s verziou","open-source-aion.8fffa5fcb8":"vytvorené","open-source-aion.756e62f03a":"Jeden výsledok, päť faktov","open-source-aion.2b8be4ecd3":"Priradenie beží na vlastnom mechanizme: podpis Ed25519 nad hashom BLAKE3 odvodeného poradia, s monotónnym nonce a časovou pečiatkou, overiteľný proti verejnému kľúču producenta. Prijatie beží na inom mechanizme, nesie identitu a verziu overovateľa a verziu zmluvy, ktorú udelil. Keď sa čokoľvek pod tým pohne, pravidlo kontrolóra, schéma certifikátu, politika, pravidlo kompilátora, runtime zmluva alebo verzia modelu, certifikáty, ktoré deklarovali závislosť na ňom, vytvoria ovplyvnenú množinu a sú zaradené do frontu na opätovnú kontrolu, s pomenovanou zmenenou súčasťou.","open-source-aion.6b8169d142":"Verdikt sám o sebe je slovo bez autora. Päť faktov, ktoré sa zvyčajne zlúčia do jedného, je tu oddelených: kto vytvoril výsledok, kto ho podpísal, čo ho overilo, podľa ktorej zmluvy bol prijatý a či je stále kompatibilný s pravidlami, ako platia dnes. To je päť rôznych otázok a štyri z nich prežijú zmenu dodávateľa.","open-source-aion.2cd4b335f4":"Overovateľ to overí.","open-source-aion.d15fbc9566":"Nič nie je overené.","open-source-aion.481d0fc02c":"Celý argument","open-source-aion.ca75c84634":"Každý certifikát tu skončí ako jeden záznam a záznam drží svoje fakty oddelene","open-source-aion.3ecc9abb23":"ROZŠIRITEĽNÉ","open-source-aion.8112bd91bc":"VZDUCHOVOU MEDZEROU ODDELENÉ","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Ak je jedno overenie naozaj príliš veľké pre jeden stroj, práca sa rozdelí na kocky naprieč strojmi so zdieľaním klauzúl medzi nimi a zložený výsledok sa prijme až po kontrole pokrytia: žiadne dve kocky nemôžu opraviť rovnakú množinu literálov a to, čo pokrývajú, musí dávať dokopy celý priestor, nie takmer celý. Spojenie, ktorému chýba jedna, je odmietnutie, čo je rovnaká disciplína ako všade inde v produkte. Okrem toho sú register overovateľov a rozširujúce API spôsobom, ako sa tu kontroluje rodina certifikátov, ktorú nikto tu nenapísal.","open-source-aion.04cd68c7fb":"Len dve veci môžu prekročiť hranicu a obe konfigurujete vy. Cluster beží na adresách, ktoré nastavíte. Externý producent je program, ktorý nainštalujete a spustíte ako lokálny proces. Nikde v reťazci nie je hostovaný model a žiadna naša služba nemôže byť nedostupná počas vášho incidentu alebo sa zmeniť pod vami podľa cudzieho plánu vydaní. Prostredie oddelené vzduchovou medzerou overuje presne tak ako pripojené, pretože overovanie producenta nikdy nepotrebovalo.","open-source-aion.ac1913e46c":"Dve cesty von a obe sú vaše","open-source-aion.c2193fefe2":"Overovanie je výpočet ako každý iný a to, kde beží, je vaše rozhodnutie. AION vychádza 1. septembra 2026: akonáhle je repozitár verejný, pripojte knižnicu, spustite príkaz alebo postavte službu vo vlastných hraniciach. Predvolené zostavenie nemá žiadneho odchádzajúceho klienta, takže kontrola certifikátu nevyžaduje účet, poskytovateľa ani cestu von zo stroja, na ktorom začala.","open-source-aion.72d09c5994":"služba alebo enkláva","open-source-aion.f8ac38e647":"Knižnica, príkaz","open-source-aion.604918db00":"Kde prebieha overovanie","open-source-aion.c07ebfbab5":"Archív zostáva nehybný. Posledná otázka je, kde to všetko vlastne beží","open-source-aion.d34941b7ce":"INDEXOVANÉ","open-source-aion.79ae623ce9":"ADRESOVANÉ OBSAHOM","open-source-aion.0f7d1ea9ca":"Časť, ktorú treba vytvoriť, nie predpokladať, je index. Keď sa zmení pravidlo kontrolóra, schéma certifikátu, politika, pravidlo kompilátora, zmluvná podmienka prostredia alebo verzia modelu, certifikáty, ktorých platnosť závisela od zmenenej súčasti, sa nájdu vyhľadaním, nie skenovaním všetkého a dúfaním. Závislosti sú deklarované v obálke, takže dotknutá množina je dotaz a fronta na opätovné overenie je jeho výsledok, pričom zmenená súčasť je uvedená pri každej položke. Alternatíva, ktorú väčšina organizácií skutočne má, je voľba medzi opätovným preskúmaním všetkého a nepreskúmaním ničoho.","open-source-aion.144711734a":"Ukladanie je užitočné len vtedy, ak ho dokáže otvoriť aj čitateľ, ktorý sa posunul ďalej, takže každý záznam nesie podpis producenta, identitu a verziu overovateľa, ktorý ho prijal, verziu zmluvy, podľa ktorej bol prijatý, a závislosti, na ktorých stojí. Pri návrate sa spustí test kompatibility.","open-source-aion.22f96be502":"Dotknutá množina je skutočný index","open-source-aion.a1b04ec691":"Certifikáty, ktoré sa oplatí uchovávať, sú tie, na ktoré sa vás budú pýtať o roky neskôr. AION ukladá prijatý certifikát kompaktne a podľa adresy obsahu: identifikátory uložené ako rozdiely, opakované vzory kódované dĺžkou, identické poddôkazy hashované a uložené raz, a celá vec adresovaná obsahom, nie tým, kam ju niekto zaradil. Adresa obsahu umožňuje čitateľovi, ktorý sa posunul ďalej, nájsť rovnaký certifikát znova a skontrolovať ho druhýkrát, roky po behu, ktorý ho vytvoril.","open-source-aion.c017c017d7":"a zostáva znova kontrolovateľný","open-source-aion.2e10b84b57":"Certifikát zostáva malý","open-source-aion.9263a81467":"Ukladanie toho, čo bolo skontrolované","open-source-aion.1f029bacad":"Šesť rodín a každá z nich skončí v rovnakom zázname","open-source-aion.1deb4d4a29":"TRAJEKTÓRIA","open-source-aion.f8d5b44c34":"INVARIANTY","open-source-aion.52dd7acef9":"ZHODA","open-source-aion.24d7374cb9":"Ich oddelenie je to, čo robí prvé dve hodnotnými. Uistenie, ktoré ticho naznačuje tretie, je to, ktoré zlyhá pred regulátorom, a certifikát, ktorý pomenúva svoju vlastnú hranicu, je ten, ktorý prežije stretnutie.","open-source-aion.0e4ffe42fa":"Od simulácie sa kladú tri rôzne otázky a byť úprimný o tom, ktoré dve sú tu zodpovedateľné, je celý profesionálny obsah tejto časti. Zhoda vykonávania sa pýta, či deklarovaný model, parametre a konfigurácia skutočne vytvorili túto trajektóriu, a to sa dá skontrolovať. Kontrola matematických vlastností sa pýta, či uvedené invarianty platia počas behu, a to sa tiež dá skontrolovať, pričom zlyhanie vráti stopu, nie verdikt. Fyzická platnosť sa pýta, či model predstavuje skutočný svet, a žiadny certifikát to nepreukazuje. Patrí vlastníkovi modelu a patrí mu natrvalo.","open-source-aion.bb70d13ca4":"Čiara, na ktorú si táto časť dáva pozor","open-source-aion.ac558913f9":"Výsledok simulácie sa používa na rozhodovanie dlho po tom, čo beh skončí. Certifikát nesie identitu modelu a FMU, množinu parametrov, počiatočný stav, konfiguráciu riešiča, sekvenciu časových krokov alebo udalostí, prechody stavov, vykonané kontroly invariantov, stav konvergencie alebo ukončenia, hash výslednej trajektórie a protipríkladovú stopu, kde vlastnosť zlyhá.","open-source-aion.1c9f5f0f21":"odpovedá presne na dve z nich","open-source-aion.242c47d00a":"Tri otázky a toto","open-source-aion.a635f9edf3":"Twin a FMI, certifikované","open-source-aion.43f8bc442f":"Vykonanie je jeden beh jednej veci. Simulácia ich robí milióny naraz","open-source-aion.d3a968f797":"ID VÝSTUPU","open-source-aion.d79014995c":"DOSVEDČENÉ","open-source-aion.2fbbf64505":"SCHOPNOSTI","open-source-aion.51fd9d7843":"Determinizmus je to, čo robí zvyšok kontrolovateľným. Pretože prechody sú deterministické vzhľadom na modul, vstupy a povolenia, overovateľ ich môže sledovať bez opätovného vykonania pracovnej záťaže v jej pôvodnom prostredí, a dva behy, ktoré tvrdia rovnakú identitu výstupu z rovnakých vstupov, buď súhlasia, alebo ukazujú na prechod, kde prestali súhlasiť. To je v praxi atestácia prostredia: čo bežalo, pod akou autoritou, kontrolovateľné bez opätovného spustenia.","open-source-aion.0d0fd79859":"Väčšina otázok o pracovnej záťaži po jej skončení sú v skutočnosti otázky o jej autorite. Čo mohla táto vec dosiahnuť, kým bežala, a dosiahla niečo iné. Certifikát, ktorý nesie povolenia schopností spolu s prechodmi, na to odpovedá bez toho, aby niekto čítal denník, a odpovedá na to niekomu, kto neprevádzkuje prostredie.","open-source-aion.890c61e134":"Prečo je množina schopností zaujímavé pole","open-source-aion.1331fa2052":"Stav ukončenia hovorí, že pracovná záťaž skončila. Certifikát vykonania hovorí, čo skončilo: identita pracovnej záťaže a modulu, verzia prostredia, povolenia schopností, ktoré držala, vstupy, ktoré dostala, deterministické prechody stavov, ktorými prešla, limity zdrojov, v ktorých bežala, identita výstupu, ktorý vytvorila, a či sa dokončila alebo uviazla. Každé z týchto polí môže zodpovedať neskoršiu otázku bez návratu k stroju, ktorý ju spustil.","open-source-aion.65576ef482":"pod akými schopnosťami","open-source-aion.74a9894f4f":"Čo bežalo, na čom a","open-source-aion.eabc461dcf":"Selvedge, certifikované","open-source-aion.b4792818f1":"Skompilovaný artefakt stále musí niekde bežať a tento beh je tiež tvrdenie","open-source-aion.414cbcc9ec":"PÔVOD","open-source-aion.24466ece94":"ZDROJ DO ARTEFAKTU","open-source-aion.c81d361198":"Práve táto presnosť robí artefakt užitočným pre ďalšie spracovanie. V regulovanom prostredí nie je otázka zvyčajne o tom, či je kompilátor dobrý. Je o tom, či tento binárny súbor zodpovedá tomuto zdrojovému grafu pri tejto konfigurácii optimalizácie, čo je otázka s odpoveďou, a odpoveď cestuje s artefaktom, nie žije v systéme zostavenia, ktorý ho vytvoril. To v praxi znamená pôvod zostavenia: tvrdenie o tomto artefakte, overiteľné bez systému zostavenia, ktorý ho vytvoril.","open-source-aion.6c1fd4df2b":"Deklarácia je disciplína. Certifikát netvrdí, že každá optimalizácia bola správna ako jedno nediferencované tvrdenie, pretože také tvrdenie nie je ani overiteľné, ani pravdivé o žiadnom skutočnom kompilátore. Presne pomenúva, ktoré vlastnosti zachovania alebo ekvivalencie stanovuje naprieč ktorými transformáciami, a overovač kontroluje práve tie a nehlási nič iné.","open-source-aion.fd5ed4a1d8":"Pomenované tvrdenia, nie jedno paušálne","open-source-aion.82a76c947a":"Kompilátor vám odovzdá artefakt a návratový stav. Certifikát kompilácie nesie to, čím má tento artefakt byť: identitu zdroja alebo grafu, z ktorého vznikol, verziu kompilátora a optimalizácie, použitú postupnosť transformácií, zachovanie typov a tvarov naprieč týmito transformáciami, vybrané jadrá, identitu vytvoreného artefaktu a kontroly ekvivalencie alebo invariantov, ktoré certifikát deklaruje.","open-source-aion.06efebf0f5":"o zdroji, z ktorého vznikol","open-source-aion.3f208ecc5e":"Aj binárny súbor je tvrdenie","open-source-aion.716710e273":"Kera, certifikovaná","open-source-aion.89572e64cc":"Certifikovaná môže byť organizácia. Aj kompilátor, ktorý zostavil to, na čom beží","open-source-aion.502114d554":"POTVRDENIA","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORITA","open-source-aion.965738574a":"Hodnota sa prejaví, keď je operácia spochybnená. Pracovný postup je vyjadrením organizácie o sebe samej. Certifikát, ktorý nezávislý overovateľ prijal pod pomenovanou verziou zmluvy, je iná trieda dôkazov a rozdiel je presne ten, na vytvorenie ktorého existuje AION.","open-source-aion.f4652935ed":"Toto je certifikát o riadenej operácii, nie o tom, čo si agent myslel. Urovnáva otázky, ktoré niekto naozaj položí: či autorita existovala v momente, keď sa akcia spustila, či brána, ktorá mala držať, držala, či sa schválenie viazalo na akciu, nie na správu v jej blízkosti, a či sú zmeny stavu, ktoré záznam tvrdí, tie, ktoré zmluva povoľuje. To všetko je strojovo overiteľné a žiadne z toho nevyžaduje prístup k modelu.","open-source-aion.be15814346":"Čo stanovuje a čo nestanovuje","open-source-aion.38d3c11f27":"Dokončený pracovný postup je tvrdenie ako každé iné. Organizačný certifikát stanovuje riadenú operáciu, ktorá sa skutočne uskutočnila: cieľ a verziu politiky, pod ktorou prebiehala, vytvorenú organizáciu, vyriešené roly a autority, vykonané úlohy a ich prechody, prekonané brány politiky, pripojené schválenia, vykonané akcie a zaznamenané potvrdenia.","open-source-aion.65a8805f19":"že dodržal svoju zmluvu","open-source-aion.f827cfbcbf":"Operáciu možno dokázať","open-source-aion.07fba05892":"Nexus, certifikovaný","open-source-aion.c6fd961235":"Uvažovanie je jeden producent. Organizácia agentov je ťažšie certifikovateľná vec","open-source-aion.2764d46fd5":"ŽIADNE VOLANIE MODELU","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Aj anglický frontend požiadaviek patrí sem, pretože certifikát uvažovania je len taký preskúmateľný, ako obmedzenie na jeho začiatku. Deterministická knižnica vzorov vracia formálne podmienky zoradené podľa počtu zhodených spúšťacích fráz, pričom každá nesie svoje jasné čítanie a množstvá, nad ktorými pracuje, a ak veta naozaj nesie viac ako jedno čítanie, zdvihne nejednoznačnosť s pomenovanou otázkou, nie ju potichu vyrieši.","open-source-aion.c4d7d27503":"Pod nimi sedia producenti oboch druhov a sú prijímaní cez rovnaké rozhranie. AION rozhoduje booleovskú štruktúru, aritmetiku rozdielových logík, bitvektorové slová a rovnosť s neinterpretovanými funkciami sám, v úplnom vyhľadávaní riadenom konfliktmi s dvoma sledovanými literálmi, heuristikou aktivity s haldou, geometrickými reštartmi a mazaním klauzúl na základe aktivity. Pri neuspokojiteľnej odpovedi vráti jadro, ktoré pomenúva, ktoré z vašich vlastných obmedzení bojovali, nie opisuje hľadanie, ktoré ich našlo. Externý riešič beží ako vlastný proces a vráti dôkaz a medzi nimi neprechádza nič iné ako tento súbor. Kvalifikuje sa každý nástroj, ktorý vydáva dôkaz vo formáte, pre ktorý AION nesie kontrolór, vrátane cvc5, a rozhraním je formát, nie dodávateľ.","open-source-aion.5264c1875d":"Producenti, natívni aj externí","open-source-aion.09b6611fc2":"Loom uvažuje. To, čo AION kontroluje, je artefakt, ktorý uvažovanie zanecháva: aktívne obmedzenia, použité pravidlá, podproblémy, ktoré šli do riešiča, certifikáty, ktoré tieto riešiče vrátili, nájdené rozpory, hranice, ktoré uzavreli rozhodnutie, a napokon tvrdené tvrdenie. Explicitné výpočtové artefakty a deklarované odvodenia, kontrolované ako také.","open-source-aion.2224f4889f":"odvodenie, na ktorom stojí","open-source-aion.1aceefa727":"Záver prichádza s","open-source-aion.40e8df9cbd":"Loom a riešiče pod ním","open-source-aion.cbac360b09":"Booleovské a aritmetické kroky sú jedna rodina. Uvažovanie je miesto, kde zásobník začína","open-source-aion.9786d05f5a":"FUZZOVANÉ","open-source-aion.a9bb80378b":"ZNOVU ODVOLENÉ","open-source-aion.0204e8b30c":"PRAVIDLO ZA PRAVIDLOM","open-source-aion.a43c278b96":"Na úrovni klauzúl je každý prídavok odvodený odznova od prvých princípov: predpokladaj, že nová klauzula je nepravdivá, propaguj klauzuly, na ktoré odkazujú jej nápovede, a vyžaduj konflikt, ktorý tieto nápovede sľubujú. Ak samotná propagácia to nevynúti, prídavok prechádza na prísnejšiu podmienku týkajúcu sa menovaného pivotného literálu proti každej klauzule, s ktorou by sa tento pivot mohol rozlíšiť, takže krok nemôže byť schválený len pomenovaním pivotu, ktorý klauzula neobsahuje. Vzorec aj dôkaz sa čítajú riadok po riadku, takže dôkaz väčší ako pamäť stroja sa stále kontroluje od začiatku do konca. Vlastná sada AION je voči AION nepriateľská: nápoveda odkazujúca na krok, ktorý má odôvodniť, dva kroky stojace na sebe, pivot tvrdený, ale chýbajúci, dve klauzuly pod jedným identifikátorom, koncová značka použitá ako identifikátor, odstránenie klauzuly, ktorá nikdy nebola pridaná, a tá istá klauzula odstránená dvakrát. Každý čitateľ, ktorý sa dotkne súboru napísaného niekým iným, je fuzzovaný proti semennému korpusu.","open-source-aion.13a29c20f0":"Tri podmienky bežia pred kontrolou pravidiel na každom kroku v pevnom poradí: či krok odkazuje sám na seba, či je prítomné každé číslo, na ktoré odkazuje, a či je niektoré z nich očíslované nad krokom, ktorý naň odkazuje. Pred všetkými štyrmi sa súbor raz prehľadá na opakované číslo kroku. Iba dôkaz, ktorého každý krok prejde všetkým týmto, sa dostane k poslednej podmienke, či súbor končí v kontradikcii. Odvodenie, ktoré skončí s literálmi stále stojacími, prešlo všetkým ostatným a stále je odmietnuté.","open-source-aion.f626b7a7da":"Pod povrchom","open-source-aion.1a95f2e67d":"Klauzulové dôkazy v rodine LRAT, čo je SAT, a pravidlové dôkazy vo formáte Alethe, čo je SMT, sú rodinou s najdlhšou históriou ľudí, ktorí sa ju snažili poraziť, čo z nej robí tú správnu na ukážku. AION posiela každý krok do rutiny, ktorá implementuje jeho pravidlo, a názov pravidla bez ničoho za ním ukončí čítanie namiesto tichého prechodu, pričom sa vytlačí číslo kroku a pravidlo.","open-source-aion.8294eed416":"a neznáme pravidlo ho zastaví","open-source-aion.9959b32cda":"Každý krok spĺňa štyri testy","open-source-aion.3821e115bc":"Rodina s protivníkmi","open-source-aion.c415bc49f1":"Najstaršia rodina je tá s najväčším počtom protivníkov, takže je tá, na ktorú sa treba pozrieť ako prvú","open-source-aion.06d55361b1":"VERZIOVANÉ","open-source-aion.bca8de5f5a":"DEVÄŤ RODÍN","open-source-aion.187b58774c":"Rodiny sú verzované oddelene z rovnakého dôvodu. Sada pravidiel sa môže sprísniť v logickej rodine bez narušenia simulačnej rodiny a ovplyvnená množina certifikátov pre túto zmenu je presne záznamy, ktoré deklarovali verziu, ktorá sa mení. Dnešných deväť je logika a splniteľnosť, optimalizácia, temporálne a hypervlastnosti, uvažovanie, organizačné, kompilácia, runtime vykonávanie, simulácia a FMI a integrita úložiska.","open-source-aion.ca4a7a3c63":"Registrácia rodiny je spôsob, ako sa systém, ktorý neexistoval, keď bol AION napísaný, stane ním kontrolovateľným. Obálka je už rovnaká, úložná vrstva a front na opätovné overenie už fungujú a to, čo musí nová rodina dodať, je overovač a deklarovaná sada pravidiel. Softvér tretej strany implementujúci certifikačnú zmluvu prichádza rovnakými dverami ako čokoľvek naše.","open-source-aion.6581749da9":"Prečo je to register, nie zoznam","open-source-aion.c453f0b87d":"Certifikačná rodina je pomenovaná, verzovaná zmluva, nie formát súboru. Každá deklaruje svoju identitu a verziu, typ tvrdenia, ktorý ustanovuje, vstupy, ktoré vyžaduje, ako je reprezentovaný dôkaz alebo svedok, overovací algoritmus, sadu pravidiel, ktorú overovač prijíma, metadáta závislostí a kompatibility, svoje čitateľné zobrazenie, ak ho má, a vlastnú taxonómiu odmietnutí.","open-source-aion.29a8090d97":"a sada je rozšíriteľná","open-source-aion.7dd9783a82":"Deväť rodín, jeden register","open-source-aion.f4c0c73854":"Register","open-source-aion.2b6d7305db":"Nezávislá kontrola potrebuje vedieť, aký druh certifikátu drží","open-source-aion.b4dee9d399":"ŽIADNE PREHRANIE","open-source-aion.1ae37e9b3a":"ŽIADNA LICENCIA","open-source-aion.082414b331":"OHRANIČENÁ KONTROLA","open-source-aion.85bcd01276":"V žiadnom z týchto prípadov overovač nepotrebuje vyhľadávanie producenta, heuristiky, skrytý stav, volania modelov ani runtime prostredie. To je to, čo robí nezávislé overenie dostupným, nie aspiratívnym.","open-source-aion.73dc1e45ec":"Asymetria má rovnaký tvar v každej doméne a stojí za to ju vidieť štyrikrát. Vyhľadávanie riadené konfliktom môže bežať hodiny v priestore, ktorý nikto nevie vymenovať; klauzulový dôkaz, ktorý vydáva, sa sleduje riadok po riadku. Kompilátor môže vykonať stovky optimalizačných prechodov s heuristikami, ktorým nikto mimo tímu nerozumie; certifikát zaznamenáva tvrdenia o zachovaní, ktoré musia platiť naprieč nimi. Simulácia môže bežať cez milióny krokov; certifikát poskytuje kontrolné body, prechody, invarianty a stopu, ktoré robia výsledok kontrolovateľným. Operácia Nexus môže koordinovať veľa agentov; certifikát ustanovuje autoritu, prechody stavov, schválenia a potvrdenia akcií.","open-source-aion.3bcb80f6d9":"Čo si každý producent necháva pre seba","open-source-aion.ceb0061493":"Systém, ktorý vytvoril výsledok, nemá posledné slovo o tom, či jeho certifikát platí. AION kontroluje ohraničený artefakt namiesto opakovania nákladného výpočtu, preto overenie môže bežať na notebooku proti práci, ktorá klastru trvala víkend, a preto nepotrebuje ani licenciu producenta, ani jeho stroj. Certifikát poskytuje kontrolné body, po ktorých kontrolór kráča, takže náklady na kontrolu nasledujú veľkosť artefaktu, nie veľkosť vyhľadávania za ním.","open-source-aion.69524cecfe":"a to je celý trik","open-source-aion.ee21bac231":"Kontrola nie je prerábanie","open-source-aion.396e9b624d":"Architektonické rozdelenie","open-source-aion.504a1b0a8d":"Obálka hovorí, čo prišlo. Ďalšou otázkou je, kto ju smie otvoriť","open-source-aion.a9ea7a518b":"JEDNA OBÁLKA","open-source-aion.d7e877b15b":"OSEM POLÍ","open-source-aion.34c043fc06":"Pole závislostí je to, ktoré ľudia podceňujú. Certifikát, ktorý spočíva na inom certifikáte, ho pomenúva, takže odmietnutie alebo zmena schémy sa šíri cez množinu, ktorá sa naň spoliehala, namiesto toho, aby sa zastavila pri prvom zázname, na ktorý niekto náhodou narazí. To je to, čo zmení kopu prijatých výsledkov na niečo, na čo sa môžete opýtať otázku.","open-source-aion.7dc6226fd7":"Vložte smerovacie informácie do užitočného zaťaženia a každá nová rodina certifikátov sa stane novou integráciou pre všetkých下游. Nechajte ich vonku a vrstva úložiska, sledovač kompatibility, front na opätovné overenie a záznam auditu sa napíšu raz a fungujú pre rodiny, ktoré neexistovali, keď boli vytvorené.","open-source-aion.48eb1ab2b4":"Prečo sa rozdelenie oplatí","open-source-aion.419ad6edc1":"Kompilačný certifikát a dôkaz klauzuly nemajú vo vnútri nič spoločné a prichádzajú v tej istej obálke. Osem polí: tvrdenie, vstupy, proti ktorým bolo vytvorené, producent, verzia zmluvy, typ certifikátu, užitočné zaťaženie certifikátu, závislosti a podpis. Všetko špecifické pre rodinu je vo vnútri užitočného zaťaženia a všetko, čo overovateľ potrebuje na smerovanie, verziovanie a zaznamenanie veci, je mimo neho.","open-source-aion.03a195fded":"a osem polí v nej","open-source-aion.9895a4db76":"Každá rodina, jedna obálka","open-source-aion.33164fb254":"Spoločná obálka","open-source-aion.315fae6edd":"Osem druhov systémov, osem druhov tvrdení a jedna obálka, v ktorej všetky cestujú","open-source-aion.661f13bc63":"SKONTROLOVANÉ","open-source-aion.ea0dae37f4":"CERTIFIKÁT","open-source-aion.f07b84d4d2":"TVRDENIE","open-source-aion.1edfca7587":"AION je ten druhý program. Vezme certifikát, ktorý vytvoril cudzinec, zrekonštruuje, čo tvrdí, a ak sa tvrdenie nedá zrekonštruovať, pomenuje položku, pomenuje pravidlo a zastaví sa. Odmietnutie, ktoré ukazuje na riadok 40, je niečo, čím jedno slovo nikdy nemôže byť.","open-source-aion.4428102723":"Formálne metódy sa na tomto usporiadaní dohodli pred desaťročiami z jedného dôvodu. Producent zapíše svoju prácu a druhý, oveľa menší program túto prácu prečíta späť. Druhý program je ten, ktorý sa oplatí starostlivo postaviť, pretože je dosť malý na to, aby sa dal pochopiť od začiatku do konca. To, čo AION robí, je vziať toto usporiadanie zo sveta riešiteľov a urobiť z neho zmluvu pre všetko ostatné: uvažovanie, operácie agentov, kompiláciu, vykonávanie, simuláciu.","open-source-aion.51edeceac1":"unsat. skompilované. dokončené. bezpečné. optimálne. politika prešla. simulácia konvergovala. pracovný postup schválený. Osem systémov, osem slov a ani jedno z nich nenesie dôvod, prečo je to pravda. Výpočet s dôkazom je alternatíva: producent si ponechá drahú prácu a vydá certifikát spolu s výsledkom a niečo, čo nemá záujem na odpovedi, tento certifikát skontroluje.","open-source-aion.d3571e9e01":"kým to niekto neurobí znova","open-source-aion.03d9c22d95":"Výsledok je len tvrdenie","open-source-aion.dfc28595b4":"Prečo existuje druhé čítanie","open-source-aion.3c6178c9cd":"Komu patrí správa","open-source-aion.42c21bbe27":"Čo prípad rieši","open-source-aion.4d05bcfcbf":"Čo vám odmietnutie umožňuje","open-source-aion.4c0a0d8ef3":"Dve obvyklé cesty von","open-source-aion.e097afe170":"Čo vyplýva z jeho zachovania","open-source-aion.c9681d6875":"Čo to vlastne robí","open-source-aion.1ee58a7b8d":"Odkiaľ pochádza toto usporiadanie","open-source-aion.eec3b038bd":"pripísanie","open-source-aion.65279e1ecf":"overenie","oss-aion-adoption-paths.733a87e5fb":"Otestujte jednu rozhodovaciu cestu","oss-aion-adoption-paths.34dfd13db9":"Spustite príklad certifikátu pred integráciou AION do živej rozhodovacej cesty.","oss-aion-adoption-paths.3f1d1c0d24":"Skontrolujte priložený príklad certifikátu.","oss-aion-adoption-paths.a5339faf54":"Spustite priložené príklady dôkazov ako kontrolu.","oss-aion-adoption-paths.b38db2875a":"Skontrolujte rovnaký certifikát pomocou aion check a nezávislého kompatibilného overovača.","oss-aion-adoption-paths.0e42c62826":"Váš evalvačný tím","oss-aion-adoption-paths.ca15f8db66":"Zabudujte ho do systému","oss-aion-adoption-paths.e8219f1ea8":"Váš existujúci softvérový tím prepojí knižnicu tak, aby systémy, ktoré už prevádzkujete, mohli odovzdať certifikát s každým rozhodnutím.","oss-aion-adoption-paths.91e2e7e34b":"Vaši inžinieri pridajú AION do systému, ktorý už prevádzkujete.","oss-aion-adoption-paths.96e8012ed9":"Každé rozhodnutie potom nesie overiteľný certifikát.","oss-aion-adoption-paths.6e56d00bc7":"Žiadny nový dodávateľ nestojí v ceste tohto rozhodnutia.","oss-aion-adoption-paths.b0e0c85d36":"Váš inžiniersky tím","oss-aion-adoption-paths.4637a51566":"Použite ho pri audite","oss-aion-adoption-paths.03b3d20015":"Certifikát vytvorený skôr môžete kedykoľvek znova skontrolovať pomocou nástroja príkazového riadka, na vlastnom hardvéri, offline.","oss-aion-adoption-paths.8b6e7ae424":"Uschovajte certifikát vytvorený pri rozhodnutí.","oss-aion-adoption-paths.ab48bfd890":"Neskôr ho znova skontrolujte pomocou nástroja príkazového riadka, offline.","oss-aion-adoption-paths.6fe516ffcf":"Odovzdajte rovnaký záznam regulátorovi alebo audítorovi.","oss-aion-adoption-paths.4e64c95d9e":"Váš tím pre compliance","oss-aion-adoption-paths.6b5eb5323e":"Začnite s jednou rozhodovacou cestou","oss-aion-adoption-paths.1635f113ec":"Tri spôsoby zavedenia","oss-aion-adoption-paths.5eef32f959":"Kto to prevádzkuje","oss-aion-adoption-paths.29a9e7fa74":"Certifikát je identický bez ohľadu na to, ktorú cestu si zvolíte.","oss-aion-adoption-paths.3e4f1a5e1b":"Jedna knižnica, jeden nástroj príkazového riadka","oss-aion-adoption-paths.tag.d59fec26d9":"Pred integráciou","oss-aion-adoption-paths.tag.391b31405f":"Pre vašich inžinierov","oss-aion-adoption-paths.tag.6fd7b4f249":"Pre compliance","oss-aion-archive-parts.cea57012da":"nekomprimované po prečítaní","oss-aion-archive-parts.10f2f8d11a":"komprimované na policu","oss-aion-archive-parts.0468a5b797":"ARCHÍV","oss-aion-archive-parts.bce5035461":"a jedno pole, ktoré ich prežije","oss-aion-archive-parts.bd678f55fe":"Štyri pohyby na jednom certifikáte","oss-aion-archive-parts.44e396b17f":"Ktorý overovateľ ho prijal a podľa ktorej verzie zmluvy.","oss-aion-archive-parts.5348eece0f":"Overovateľ a zmluva zachované","oss-aion-archive-parts.53229277ab":"Identické poddôkazy uložené raz a ďalej citované hashom.","oss-aion-archive-parts.0f6513214f":"Poddôkazy hašované","oss-aion-archive-parts.76a7786a63":"Opakovaný vzor uložený raz, s dĺžkou, na ktorú sa opakuje.","oss-aion-archive-parts.9e1a0f7aac":"Behy zlúčené","oss-aion-archive-parts.d6f5880b44":"Každý identifikátor uložený ako vzdialenosť od predchádzajúceho.","oss-aion-archive-parts.6b78716e70":"Identifikátory ako medzery","oss-aion-archived-proof.5808299e06":"pozrelo sa hore, nie zametalo","oss-aion-archived-proof.39241dfc0d":"Zvyšok zostal zatvorený, pretože index už vedel, že sa ich to netýka.","oss-aion-archived-proof.d84b2eb85d":"Vyhlásených deväť závislostí, vytiahnuté dva karty, pomenovaných päť certifikátov.","oss-aion-archived-proof.c9269e3e61":"sedem kariet zostalo zatvorených","oss-aion-archived-proof.6f13975269":"stále kompatibilné","oss-aion-archived-proof.8ec798a819":"pravidlo r7","oss-aion-archived-proof.4b50837e2e":"v rade na opätovné prečítanie","oss-aion-archived-proof.2a858a12ec":"pravidlo r7 nahradené vo verifikátore 2.5.0","oss-aion-archived-proof.0b58a007b4":"oznámenie o zmenách","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"rovnaký certifikát","oss-aion-archived-proof.4b37dd07e6":"ako archivované","oss-aion-archived-proof.39c9f8bf3a":"dva poddôkazy, jeden tvar","oss-aion-archived-proof.8c28e2d0a9":"jeden blok, ponechaný raz","oss-aion-archived-proof.e75bd8054c":"identifikátory ako medzery","oss-aion-archived-proof.9bfe0da4af":"jeden dlhý súbor","oss-aion-archived-proof.46dc2748fa":"ako vyrobené","oss-aion-archived-proof.b6a0714797":"ilustratívne identifikátory","oss-aion-archived-proof.16bb6017da":"dve z piatich v rade","oss-aion-archived-proof.884fa4a4de":"Jeden certifikát, dvakrát","oss-aion-archived-proof.11ed0e1dd4":"politika p9","oss-aion-archived-proof.1f776189b1":"schéma 2","oss-aion-archived-proof.ec690c70cd":"certifikát d20c9b","oss-aion-archived-proof.a96a7e2f89":"certifikát 1a55f0","oss-aion-archived-proof.b504f66e53":"model m1","oss-aion-archived-proof.fd6c33ce54":"runtime zmluva 3.1","oss-aion-archived-proof.ff651ff51f":"kompilátorové pravidlo c1","oss-aion-archived-proof.d00ec63b0b":"certifikát b4e187","oss-aion-archived-proof.e20acd4672":"certifikát 3c90de","oss-aion-archived-proof.6d50cc6c2e":"certifikát 7f21ab","oss-aion-archived-proof.5dd9b11122":"politika p2","oss-aion-archived-proof.70d70366cf":"schéma 4","oss-aion-archived-proof.d61ceadbdb":"zmluva","oss-aion-archived-proof.e15436a2bb":"verifikátor","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Prečo moju žiadosť zamietol stroj?","oss-aion-asked-questions.answer.refused":"AION ukáže presné miesto, kde sa kontrola zastavila, a prečo, namiesto jedného nevysvetleného slova.","oss-aion-asked-questions.question.check":"Môžem si automatizované rozhodnutie skontrolovať sám?","oss-aion-asked-questions.answer.check":"Áno. AION prepočíta každý krok znova, na stroji, pri ktorom ste, bez účtu a bez odosielania čohokoľvek.","oss-aion-asked-questions.question.sent":"Posielajú sa moje informácie niekam?","oss-aion-asked-questions.answer.sent":"Nie. Predvolená verzia nemá nič, čím by ich mohla poslať. Práca sa deje tam, kde už ste.","oss-aion-asked-questions.chrome.path":"Otázky, ktoré zamietnutie skutočne vyvoláva","oss-aion-asked-questions.chrome.status":"zodpovedané otvorene","oss-aion-asked-questions.readout":"Toto sú tri otázky, na ktoré táto stránka odpovedá otvorene, bez účtu a bez odosielania čohokoľvek.","oss-aion-asked-questions.band":"Opýtané raz, zodpovedané otvorene","oss-aion-asked-you.ef80b73d6b":"namiesto prekvapenia neskôr","oss-aion-asked-you.7e066a9db0":"otázka teraz","oss-aion-asked-you.fb041ecc2d":"Čaká","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"a čo sa stane ďalej","oss-aion-asked-you.fb5efec5ec":"Na čo sa pýta","oss-aion-asked-you.ed223cb507":"S vašou vlastnou frázou v ňom, nie formulárom na vyplnenie.","oss-aion-asked-you.47ba586268":"Položí otázku","oss-aion-asked-you.16bb2c320d":"Obyčajnými slovami, nie ako voľba medzi symbolmi.","oss-aion-asked-you.590f0368a8":"Uvádza obe možnosti čítania","oss-aion-asked-you.c0fedb51ee":"Časť vašej vety, ktorou si nie je istý, vašimi slovami.","oss-aion-asked-you.945cd96360":"Cituje slová späť","oss-aion-asymmetry.109e612009":"dôkazy cestujú","oss-aion-asymmetry.54086b1730":"práca zostáva u výrobcu","oss-aion-asymmetry.77e82797f7":"ASYMETRIA","oss-aion-asymmetry.7f5d144dcb":"na výrobcu","oss-aion-asymmetry.d1abed327f":"Čo sa nereprodukuje","oss-aion-asymmetry.816e835f60":"Autorita, prechody, schválenia, potvrdenky.","oss-aion-asymmetry.4f83e60cbc":"Mnoho agentov, ktorí koordinujú.","oss-aion-asymmetry.d946c1fc52":"Agentový systém","oss-aion-asymmetry.d978ba491a":"Kontrolné body, prechody a invarianty.","oss-aion-asymmetry.b081bda78f":"Milióny krokov integrácie.","oss-aion-asymmetry.8e34943c35":"Simulácia","oss-aion-asymmetry.db98a95880":"Tvrdenia o zachovaní naprieč nimi.","oss-aion-asymmetry.ce4dee4e4f":"Stovky prechodov a ich heuristiky.","oss-aion-asymmetry.341a20e237":"Kompilátor","oss-aion-asymmetry.d50aca2923":"Odvodenie sledované riadok po riadku.","oss-aion-asymmetry.c0644e2b00":"Hľadanie v priestore, ktorý nikto nevypočítava.","oss-aion-asymmetry.2212b12df6":"Riešiteľ","oss-aion-audit-flow.0d368d5958":"Rozhodnutie je prijaté","oss-aion-audit-flow.723d4b8215":"AI dosiahne odpoveď vo vašom systéme.","oss-aion-audit-flow.60616f24a0":"Certifikát je uchovaný","oss-aion-audit-flow.319012d052":"Zdôvodnenie je zaznamenané ako prenosný záznam.","oss-aion-audit-flow.b6e0507002":"Je znovu skontrolované","oss-aion-audit-flow.060bdf8393":"Ktokoľvek spustí kontrolu offline, na vlastnom zariadení.","oss-aion-audit-flow.549ee9a7f2":"Audítor ho prijme","oss-aion-audit-flow.45d8142b03":"Dôkazy, ktoré overí, nie sľub, ktorý musí prijať.","oss-aion-audit-flow.29a5795456":"Pošlete logy a dúfate, že ich prijmú.","oss-aion-audit-flow.691576c10d":"Odovzdáte certifikát, ktorý si audítor sám skontroluje.","oss-aion-audit-flow.4f25ce109b":"Vysvetlenie je viazané na jedného dodávateľa.","oss-aion-audit-flow.17092b76ad":"Štandardné formáty dôkazov zabezpečujú, že certifikát je overiteľný aj mimo pôvodného dodávateľa a prostredia.","oss-aion-audit-flow.4cb1b63499":"Záznam je znovu skontrolovaný na infraštruktúre, ktorú nekontrolujete.","oss-aion-audit-flow.c0baf00a21":"Záznam je znovu skontrolovaný offline, na hardvéri, ktorý kontrolujete.","oss-aion-audit-flow.1574ac4dc4":"Od rozhodnutia po prijatý dôkaz","oss-aion-audit-flow.0fc25779d4":"Bez overiteľného dôkazu","oss-aion-audit-flow.4b32d8f574":"S AION","oss-aion-audit-flow.effbb773a5":"V čase auditu predložíte dôkazy, nie uistenia.","oss-aion-audit-flow.630840198f":"Nezávislé overenie","oss-aion-broken-case.b2d44d537d":"dve časti práce","oss-aion-broken-case.21a5e37384":"Naozaj sa tam hovorí, že si teraz niekto musí vybrať jednu.","oss-aion-broken-case.446dd52366":"Prípad nehovorí, v ktorej z týchto dvoch situácií sa nachádzate.","oss-aion-broken-case.1592f95dfc":"kto vlastní špecifikáciu","oss-aion-broken-case.5350b811e8":"Všetci to vedeli a nikto to nikdy nezapísal, a preto sa prípad vôbec dal nájsť. Takže prácou je zapísať chýbajúce obmedzenie.","oss-aion-broken-case.7e1ad0c117":"opakovanie tu nemôže nastať pri nulovom zostatku","oss-aion-broken-case.e2acc6be4b":"môže sa to stať tu?","oss-aion-broken-case.70cf0e9d6e":"tím, ktorý ho prevádzkuje","oss-aion-broken-case.f4418abec4":"Takže pravidlo je správne a systém je nesprávny. Prácou je zmena systému.","oss-aion-broken-case.7ebf5ee2c1":"opakovania pri troch s nulovým zostatkom sú bežný pondelok","oss-aion-broken-case.818db6fde5":"dávkový režim umožňuje najviac dve opakovania","oss-aion-broken-case.9ad82bcd1a":"žiadne opakovanie, kým je zostatok nulový","oss-aion-broken-case.db09c40b94":"podmienky, ktoré porušuje","oss-aion-broken-case.1a01155586":"Špecifikácia neplatí. Tu je situácia, v ktorej neplatí, rozpísaná.","oss-aion-broken-case.bb5f480b82":"prípad, ako sa vráti","oss-aion-broken-case.8ba48b3c8c":"ilustračný prípad","oss-aion-broken-case.2a0ea29615":"jeden prípad, dvaja vlastníci","oss-aion-broken-case.0efd66fc70":"Prípad, ktorý to rozbil","oss-aion-broken-case.fd12863535":"nie","oss-aion-broken-case.fb360f9c09":"áno","oss-aion-broken-case.e7aef2e893":"režim je dávkový (typ: text)","oss-aion-broken-case.dcfad8c5bf":"zostatok je 0 (typ: integer)","oss-aion-broken-case.bbf98b54e9":"opakovania sú 3 (typ: integer)","oss-aion-business-glyph.9c8c22f54d":"Auditovateľné už návrhom","oss-aion-business-glyph.afd7103781":"Vaša infraštruktúra","oss-aion-business-glyph.ea722c81af":"Európske","oss-aion-business-glyph.870c4d024a":"Prenosné formáty","oss-aion-business-glyph.81c093497b":"Uzavreté certifikátom","oss-aion-business-glyph.862ee3b17a":"Expozícia","oss-aion-business-glyph.6b5eb5323e":"Dôkaz priložený","oss-aion-business-glyph.b7a3f27883":"Riziko odstránené","oss-aion-business-glyph.7ba75e0ac6":"Kontrola certifikátu o roky neskôr","oss-aion-business-glyph.9f89ecaff5":"Pôvodná relácia je preč","oss-aion-business-glyph.33620369b5":"Archív","oss-aion-business-glyph.7a71b6b89e":"Na hardvéri, ktorý ovládate","oss-aion-business-glyph.e94a6d4bba":"Vysvetlené na cudzom hardvéri","oss-aion-business-glyph.3eaad00bc0":"Dáta","oss-aion-business-glyph.e20fee7c23":"Samostatný kontrolór","oss-aion-business-glyph.9e3ee5bddf":"Pôvodný model stále potrebný","oss-aion-business-glyph.5cb182685f":"Overovateľ","oss-aion-business-glyph.c5d37b3ae0":"Certifikát, ktorý audítor kontroluje","oss-aion-business-glyph.6c4186cc8c":"Denníky, ktoré dúfate, že budú prijaté","oss-aion-business-glyph.d51b35c242":"Audit","oss-aion-cadence-banners.independent.eyebrow":"AION / nezávislé overenie","oss-aion-cadence-banners.independent.lead":"Dôverujte obálke","oss-aion-cadence-banners.independent.accent":"po tom, čo ju prijme iný overovateľ","oss-aion-cadence-banners.independent.body.one":"Certifikát je užitočný, pretože overovateľ nepotrebuje prostredie výrobcu. Dostane deklarované pravidlo, vstupy, výsledok a dôkazy ako jednu ohraničenú obálku.","oss-aion-cadence-banners.independent.body.two":"Druhá implementácia skontroluje tieto dôkazy proti rovnakej zmluve. Zhoda je potom dôkazom o výsledku, nie opätovným spustením rovnakej cesty kódu.","oss-aion-cadence-banners.independent.panel":"Záznam o nezávislom prijatí","oss-aion-cadence-banners.independent.tag":"SKONTROLOVANÉ ODDELENE","oss-aion-cadence-banners.independent.item.rule.label":"Deklarované pravidlo","oss-aion-cadence-banners.independent.item.rule.detail":"Požiadavka a rodina certifikátov sú pomenované.","oss-aion-cadence-banners.independent.item.rule.status":"PRÍTOMNÉ","oss-aion-cadence-banners.independent.item.input.label":"Ohraničené vstupy","oss-aion-cadence-banners.independent.item.input.detail":"Hodnoty použité pri rozhodnutí cestujú s ním.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Uvedený výsledok","oss-aion-cadence-banners.independent.item.result.detail":"Výsledok je vyhlásený pred začiatkom overovania.","oss-aion-cadence-banners.independent.item.result.status":"DEKLAROVANÉ","oss-aion-cadence-banners.independent.item.verifier.label":"Samostatný overovateľ","oss-aion-cadence-banners.independent.item.verifier.detail":"Iná implementácia kontroluje rovnakú obálku.","oss-aion-cadence-banners.independent.item.verifier.status":"PRIJATÉ","oss-aion-cadence-banners.independent.verdict":"dôkazy prežijú mimo systému, ktorý ich vytvoril","oss-aion-cadence-banners.independent.footer":"overenie prekročí hranicu implementácie bez straty zmluvy","oss-aion-cadence-banners.refusal.eyebrow":"AION / zmluva o zlyhaní","oss-aion-cadence-banners.refusal.lead":"Neúspešný dôkaz","oss-aion-cadence-banners.refusal.accent":"musí pomenovať pravidlo, ktoré nedokázal splniť","oss-aion-cadence-banners.refusal.body.one":"Presná kontrola nie je vágny obal na prešiel/nevyhovel. Overovateľ postupuje podľa deklarovanej konverzie, aritmetiky a logických brán v poradí a potom sa zastaví pri prvej neplatnej podmienke.","oss-aion-cadence-banners.refusal.body.two":"Toto odmietnutie patrí do dôkazov. Hovorí volajúcemu, ktorý predpoklad, rozsah, výraz alebo ochrana zlyhala skôr, než by ich mohol skryť neskorší krok.","oss-aion-cadence-banners.refusal.panel":"Prvá zlyhávajúca brána","oss-aion-cadence-banners.refusal.tag":"ODMIETNUTÉ","oss-aion-cadence-banners.refusal.item.read.label":"Prečítajte deklarované hodnoty","oss-aion-cadence-banners.refusal.item.read.detail":"Vstupy a identita pravidla sú pevné pred kontrolou.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Použite deklarovanú konverziu","oss-aion-cadence-banners.refusal.item.scale.detail":"Žiadny tichý náhradný postup nemení aritmetickú zmluvu.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Vyhodnoťte každú bránu v poradí","oss-aion-cadence-banners.refusal.item.check.detail":"Prvá neplatná podmienka zostáva pripísateľná.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Vráťte pomenované odmietnutie","oss-aion-cadence-banners.refusal.item.refuse.detail":"Volajúci dostane zlyhané pravidlo a jeho dôkazy.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"odmietnutie je preskúmateľný dôkaz, nie prázdna chyba","oss-aion-cadence-banners.refusal.footer":"prvá zlyhaná podmienka zostáva viditeľná pre ďalšieho recenzenta","oss-aion-cadence-banners.certificates.eyebrow":"AION / reťazec certifikátov","oss-aion-cadence-banners.certificates.lead":"Jedno rozhodnutie","oss-aion-cadence-banners.certificates.accent":"môže niesť niekoľko druhov dôkazov","oss-aion-cadence-banners.certificates.body.one":"Uvažovanie, organizačná autorita, kompilácia a vykonanie odpovedajú na rôzne otázky. Zaobchádzať s nimi ako s jednou všeobecnou zárukou by skrylo, kde je tvrdenie silné a kde je ešte potrebná ďalšia kontrola.","oss-aion-cadence-banners.certificates.body.two":"AION drží certifikáty oddelené a spája ich s rovnakým záznamom rozhodnutia. Recenzent môže sledovať reťazec bez toho, aby si pomýlil autoritu s aritmetikou alebo úspešné spustenie so schváleným pravidlom.","oss-aion-cadence-banners.certificates.panel":"Trasa dôkazov rozhodnutia","oss-aion-cadence-banners.certificates.tag":"PREPOJENÉ","oss-aion-cadence-banners.certificates.item.reasoning.label":"Certifikát uvažovania","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Ukazuje, prečo uvedený záver vyplýva.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Certifikát autority","oss-aion-cadence-banners.certificates.item.organisation.detail":"Pomenúva, kto môže schváliť alebo vykonať akciu.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORITA","oss-aion-cadence-banners.certificates.item.compile.label":"Certifikát kompilácie","oss-aion-cadence-banners.certificates.item.compile.detail":"Spája zdroj, transformáciu a vytvorený artefakt.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Certifikát vykonania","oss-aion-cadence-banners.certificates.item.execution.detail":"Zaznamenáva, čo sa spustilo, kde a s akými vstupmi.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"každé tvrdenie si zachováva rodinu certifikátov, ktorá ho môže skutočne podporiť","oss-aion-cadence-banners.certificates.footer":"prepojené dôkazy zostávajú dostatočne konkrétne na spochybnenie","oss-aion-cadence-banners.recheck.eyebrow":"AION / výsledok, ku ktorému sa môžete vrátiť","oss-aion-cadence-banners.recheck.lead":"Rovnaké pravidlo","oss-aion-cadence-banners.recheck.accent":"možno skontrolovať neskôr znova","oss-aion-cadence-banners.recheck.body.one":"Veta, zvolený význam a časový limit zostávajú pripojené k výsledku. Môžete vidieť, čo sa rozhodlo a ako dlho rozhodnutie zostáva platné, bez toho, aby ste materiál posielali preč.","oss-aion-cadence-banners.recheck.body.two":"Keď sa pravidlo alebo dátum zmení, záznam identifikuje, čo potrebuje ďalšiu kontrolu. Skoršia odpoveď zostáva viditeľná namiesto toho, aby bola ticho nahradená.","oss-aion-cadence-banners.recheck.panel":"Čo kontrola sleduje","oss-aion-cadence-banners.recheck.tag":"OPAKOVATEĽNÉ","oss-aion-cadence-banners.recheck.item.sentence.label":"Vaša pôvodná veta","oss-aion-cadence-banners.recheck.item.sentence.detail":"Znenie zostáva pri interpretácii.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Zvolený význam","oss-aion-cadence-banners.recheck.item.rule.detail":"Použité pravidlo je napísané jasne.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Dátum platnosti","oss-aion-cadence-banners.recheck.item.deadline.detail":"Zostávajúci čas je viditeľný pred vypršaním výsledku.","oss-aion-cadence-banners.recheck.item.deadline.status":"VIDITEĽNÉ","oss-aion-cadence-banners.recheck.item.result.label":"Nové overenie","oss-aion-cadence-banners.recheck.item.result.detail":"Rovnaké dôkazy možno vyhodnotiť znova.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"môžete sa vrátiť k odpovedi bez straty dôvodu, ktorý za ňou stojí","oss-aion-cadence-banners.recheck.footer":"záznam uchováva slová, pravidlo a dátum spolu","oss-aion-cadence-banners.supplier.eyebrow":"AION / dôkazy dodávateľa","oss-aion-cadence-banners.supplier.lead":"Odpoveď dodávateľa","oss-aion-cadence-banners.supplier.accent":"by mala prísť s niečím, čo si môžete overiť","oss-aion-cadence-banners.supplier.body.one":"Certifikát oddeľuje výsledok od nástroja dodávateľa. Uvádza, čo bolo overené, ktorá rodina dôkazov sa uplatňuje a ktoré vstupy a artefakty patria k tvrdeniu.","oss-aion-cadence-banners.supplier.body.two":"Váš tím si môže tieto dôkazy ponechať a použiť iného overovateľa. Preskúmanie už nezávisí od prístupu k pôvodnej službe ani od žiadosti, aby dodávateľ zopakoval spustenie.","oss-aion-cadence-banners.supplier.panel":"Dôkazy prijaté s výsledkom","oss-aion-cadence-banners.supplier.tag":"PRENOSNÉ","oss-aion-cadence-banners.supplier.item.claim.label":"Tvrdenie dodávateľa","oss-aion-cadence-banners.supplier.item.claim.detail":"Výsledok a jeho rozsah sú výslovne uvedené.","oss-aion-cadence-banners.supplier.item.claim.status":"PRIJATÉ","oss-aion-cadence-banners.supplier.item.certificate.label":"Obálka certifikátu","oss-aion-cadence-banners.supplier.item.certificate.detail":"Dôkazy a identifikátory cestujú s tvrdením.","oss-aion-cadence-banners.supplier.item.certificate.status":"PRIPOJENÉ","oss-aion-cadence-banners.supplier.item.coverage.label":"Vyhlásenie o pokrytí","oss-aion-cadence-banners.supplier.item.coverage.detail":"Rodina certifikátov uvádza, čo môže preukázať.","oss-aion-cadence-banners.supplier.item.coverage.status":"OHRANIČENÉ","oss-aion-cadence-banners.supplier.item.checker.label":"Nezávislý overovateľ","oss-aion-cadence-banners.supplier.item.checker.detail":"Vaša strana overuje dôkazy bez výrobcu.","oss-aion-cadence-banners.supplier.item.checker.status":"DOSTUPNÉ","oss-aion-cadence-banners.supplier.verdict":"dôkazy zostávajú užitočné aj po skončení spustenia dodávateľa","oss-aion-cadence-banners.supplier.footer":"overiteľný výsledok sa ľahšie uchováva, porovnáva a spochybňuje","oss-aion-cadence-banners.boundary.eyebrow":"AION / riadené preskúmanie","oss-aion-cadence-banners.boundary.lead":"Preskúmanie zostáva vnútri","oss-aion-cadence-banners.boundary.accent":"hranice, ktoré určí vaša organizácia","oss-aion-cadence-banners.boundary.body.one":"Prípad, pravidlo a certifikát možno overiť tam, kde už sú. Lokálne overenie zabraňuje tomu, aby sa preskúmanie stalo ďalšou cestou zverejnenia materiálu, ktorý sa posudzuje.","oss-aion-cadence-banners.boundary.body.two":"Záznam stále uvádza preukázanú vlastnosť a použité dôkazy. Uchovávanie údajov na mieste neznamená vzdať sa priraditeľného audítorského záznamu.","oss-aion-cadence-banners.boundary.panel":"Spôsob preskúmania na mieste","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Otvorte uchovaný prípad","oss-aion-cadence-banners.boundary.item.case.detail":"Zdrojový materiál zostáva v existujúcom prostredí.","oss-aion-cadence-banners.boundary.item.case.status":"NA MIESTE","oss-aion-cadence-banners.boundary.item.property.label":"Vyberte tvrdenie na overenie","oss-aion-cadence-banners.boundary.item.property.detail":"Rozsah certifikátu zostáva výslovný.","oss-aion-cadence-banners.boundary.item.property.status":"OHRANIČENÉ","oss-aion-cadence-banners.boundary.item.perimeter.label":"Spustenie v rámci perimetra","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Na overenie nie je potrebná žiadna odchádzajúca služba.","oss-aion-cadence-banners.boundary.item.perimeter.status":"OBSIAHNUTÉ","oss-aion-cadence-banners.boundary.item.record.label":"Uchovajte záznam o preskúmaní","oss-aion-cadence-banners.boundary.item.record.detail":"Vstupy, overovateľ a výsledok zostávajú priraditeľné.","oss-aion-cadence-banners.boundary.item.record.status":"ZAZNAMENANÉ","oss-aion-cadence-banners.boundary.verdict":"dôkazy možno overiť bez vytvorenia nového prenosu údajov","oss-aion-cadence-banners.boundary.footer":"lokálne spustenie a overiteľné dôkazy patria do tej istej kontroly","oss-aion-case-fields.ce69e76708":"prípad začína rozhodnutie","oss-aion-case-fields.9a83c048c3":"verdikt ukončuje kontrolu","oss-aion-case-fields.afc58d4c40":"prvý, ktorý zlyhá, podľa mena","oss-aion-case-fields.3bc6a69e80":"zostatok musí byť väčší ako nula pred opakovaním","oss-aion-case-fields.4e0285b28b":"podmienka porušená","oss-aion-case-fields.4e0af55321":"PROTIPRÍKLAD","oss-aion-case-fields.344daefb37":"Jeden prípad celý","oss-aion-case-fields.62e0ec394a":"hodnoty a aký druh je každá","oss-aion-case-fields.7f01fe787c":"dávka","oss-aion-checked-not-rerun.dd5b6cbe2b":"jeden merge, jedna absencia","oss-aion-checked-not-rerun.846a719bdc":"Posledný riadok nemá za žiadnu cenu náprotivok.","oss-aion-checked-not-rerun.6c26a05ac4":"Päť zo siedmich odchádza a dvaja z nich sa spájajú.","oss-aion-checked-not-rerun.4f01efffc8":"prečítané niekým, kto nikdy nedržal ich softvér","oss-aion-checked-not-rerun.a70205a694":"porovnané s budúcoštvrťročnými","oss-aion-checked-not-rerun.0d85e26645":"archivované s rozhodnutím, ktoré podporovalo","oss-aion-checked-not-rerun.ffc7dbc2ad":"čo držíte potom","oss-aion-checked-not-rerun.d6124c1aee":"nič naľavo toto neprodukuje","oss-aion-checked-not-rerun.9b9252883d":"samotný certifikát","oss-aion-checked-not-rerun.0bfa7a3bd8":"deklarované vstupy a zmluva","oss-aion-checked-not-rerun.d7f7f555ad":"tvrdenie","oss-aion-checked-not-rerun.527c7f544a":"tri veci","oss-aion-checked-not-rerun.f8a34d2942":"skontrolovať ich certifikát","oss-aion-checked-not-rerun.2a20acacc2":"sedem vecí","oss-aion-checked-not-rerun.a94f90b8e9":"reprodukovať ich systém","oss-aion-checked-not-rerun.d2eae1af1f":"rovnaká záruka, dve cesty","oss-aion-checked-not-rerun.87f754c087":"päť vyčiarknutých, jedna absencia","oss-aion-checked-not-rerun.2a62bb8028":"čo si každá cesta vyžaduje","oss-aion-checked-not-rerun.35d7d25591":"či to stále platí po zmene","oss-aion-checked-not-rerun.6cd8ba818d":"na základe ktorých údajov","oss-aion-checked-not-rerun.96f39a5e7d":"proti ktorej verzii pravidiel","oss-aion-checked-not-rerun.c8d59ae061":"ktoré podmienky boli skontrolované","oss-aion-checked-not-rerun.b028b89ea7":"ich pomoc","oss-aion-checked-not-rerun.c03c2fce6e":"stroj dostatočnej veľkosti","oss-aion-checked-not-rerun.867d12b7ad":"vstupné údaje","oss-aion-checked-not-rerun.717e42eb01":"ich konfiguračný súbor","oss-aion-checked-not-rerun.935b145c44":"zodpovedajúci operačný systém","oss-aion-checked-not-rerun.fa15ad3da2":"presná verzia, ktorú použili","oss-aion-checked-not-rerun.5990a1ec89":"licencia na ich softvér","oss-aion-compile-cert.b1991b0d44":"takže odmietnutie ukazuje na jedno","oss-aion-compile-cert.85edd85611":"tvrdenia sú pomenované jednotlivo","oss-aion-compile-cert.6e8814b9a0":"Čo vyšlo, podľa adresy obsahu, viazané na všetko vyššie uvedené.","oss-aion-compile-cert.a41732e051":"Identita artefaktu","oss-aion-compile-cert.6d4151d7a5":"Čo vstúpilo, podľa adresy obsahu, nie podľa názvu súboru.","oss-aion-compile-cert.7204133281":"Identita zdroja alebo grafu","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"a čo o každom tvrdí","oss-aion-compile-cert.0bcab6c465":"Čo certifikát pomenúva","oss-aion-compile-cert.027f7ee7d1":"Ktoré vlastnosti tento certifikát stanovuje naprieč nimi.","oss-aion-compile-cert.8906f98ae0":"Deklarované uchovávanie","oss-aion-compile-cert.d186ea41e2":"Použité prechody, v poradí, v akom boli použité.","oss-aion-compile-cert.66ad6a206e":"Sekvencia transformácií","oss-aion-compile-cert.ebb0c953d1":"Ktoré zostavenie, pri akej konfigurácii optimalizácie.","oss-aion-compile-cert.691f87f640":"Kompilátor a optimalizácia","oss-aion-console.5d71265e50":"Skontrolujte certifikát dôkazu. Žiadny solver, žiadna sieť.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Kontrolujem dôkaz: proof.alethe","oss-aion-console.1016f1bcf3":"Formát: Alethe","oss-aion-console.70142f344c":"Analýza: OK","oss-aion-console.8455c5ceeb":"Dôkaz má N krokov","oss-aion-console.fc539fcf62":"Overenie dôkazu: PREŠLO","oss-aion-console.88f6db402f":"Čas overenia: Nms","oss-aion-console.4f437cea65":"Váš kontrolór to potvrdil. Exit 0. Nič nebolo odoslané.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Prečítajte certifikát","oss-aion-console.0cef7497bf":"Kontrolór otvorí súbor s dôkazom, ktorý ste dostali. Nepotrebuje nič iné: žiadne váhy modelu, žiadne prihlásenie dodávateľa, žiadny internet.","oss-aion-console.830903eaf6":"Prejdite každý krok","oss-aion-console.6ce1fb843f":"Každá dedukcia sa prehrá proti premisám, na ktoré sa odvoláva. LRAT nesie nápovedy jednotkovej propagácie, takže prechod je lineárny v dĺžke dôkazu.","oss-aion-console.1044fbcb06":"Prijať alebo odmietnuť","oss-aion-console.cb4e501f7a":"Ak každý krok platí, kontrolór vytlačí PREŠLO a ukončí sa s 0. Ak niektorý krok neplatí, pomenuje zlyhanie a ukončí sa s nenulovým kódom. Neexistuje žiadna stredná cesta.","oss-aion-console.b568d47f2e":"Vstup","oss-aion-console.df73f614f5":"Súbor s dôkazom","oss-aion-console.0562f32dc5":"Závislosti","oss-aion-console.7334b0e2cf":"Žiadne v čase kontroly","oss-aion-console.64ae43e8fe":"Náklady","oss-aion-console.660020f41a":"Lineárne v dĺžke dôkazu","oss-aion-console.5faa59d4bc":"Výsledok","oss-aion-console.de76d16078":"PREŠLO alebo pomenované zlyhanie","oss-aion-console.76d6562c0a":"Kontrola","oss-aion-console.edabf74eb3":"Jeden príkaz prečíta dôkaz a","oss-aion-console.d161c0634a":"prijme alebo odmietne ho","oss-aion-console.a997e63df7":"Overovač je nezávislý od solvera. Odovzdajte mu certifikát a váš vlastný kontrolór\n          ho potvrdí alebo odmietne, offline, bez prístupu k enginu, ktorý ho vytvoril.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"offline kontrolór","oss-aion-console.6b5eb5323e":"Nezávislý kontrolór","oss-aion-console.165cb4a2fd":"N krokov a Nms sú zástupné hodnoty: skutočné čísla pochádzajú z dôkazu, ktorý kontrolujete, nie\n              od nás. Povrch príkazu je skutočný, aion check analyzuje, prechádza a hlási PREŠLO.","oss-aion-console.b8fae1a1a1":"AION / kontrola dôkazu","oss-aion-consumer-glyph.dccc2b6aff":"Bez internetu to funguje","oss-aion-consumer-glyph.22c2234e11":"Vyrobené v Európe","oss-aion-consumer-glyph.75f527181b":"Dá sa skontrolovať neskôr","oss-aion-consumer-glyph.94651c6eb5":"Druhý pomocník to skontroluje","oss-aion-consumer-glyph.b9fefb3f5b":"Vyzerá správne","oss-aion-consumer-glyph.fb447dd18d":"Váš doklad","oss-aion-consumer-glyph.49a8e53c77":"Stroj odpovedá","oss-aion-consumer-glyph.f5ad0f0059":"Áno, a tu je dôvod","oss-aion-consumer-glyph.7011b1a621":"Odpoveď","oss-aion-consumer-glyph.07d0cfac8b":"Krok za krokom, zapísané","oss-aion-consumer-glyph.5bcd26af49":"Ako sa k tomu dospelo","oss-aion-consumer-glyph.8afc953f7f":"Je to pre mňa vhodné?","oss-aion-consumer-glyph.d79cce547d":"Otázka","oss-aion-coverage-join.fa5284c04d":"krátke je krátke","oss-aion-coverage-join.d04fa188df":"Štrnásť nie je ani zďaleka všetko, takže spojenie sa odmietne, nie zaokrúhli nahor.","oss-aion-coverage-join.0b67159da5":"Šestnásť buniek je zohľadnených a zložený výsledok sa prijme.","oss-aion-coverage-join.7142d70e45":"zloženie odmietnuté, pokrytie krátke","oss-aion-coverage-join.245fbeffee":"nie chyba zaokrúhľovania. Oblasť, na ktorú sa nikto nepozrel.","oss-aion-coverage-join.1df8f3c0e7":"14 zo 16","oss-aion-coverage-join.1c1d6ac8f1":"dve bunky, na ktoré sa nikto nepozrel","oss-aion-coverage-join.f0833f7fc6":"rovnaké spojenie, jedna kocka chýba","oss-aion-coverage-join.db8d5bf534":"zloženie prijaté","oss-aion-coverage-join.558480e414":"16 zo 16","oss-aion-coverage-join.26f1b36edc":"každá bunka zohľadnená","oss-aion-coverage-join.39cd7fa9c4":"štyri kocky","oss-aion-coverage-join.bb2dba7602":"ilustračné kocky","oss-aion-coverage-join.a4d76ddfc7":"pokrytie krátke o dve bunky","oss-aion-coverage-join.e4445ac125":"Jedno overenie rozdelenia","oss-aion-coverage-join.186c8cd284":"Zostava, ktorú držíte, sa vám pod rukami nemení.","oss-aion-coverage-join.9daf9699cc":"zostava","oss-aion-coverage-join.66506ab77b":"Nehovorí sa žiadny model.","oss-aion-coverage-join.f2250926d2":"Nič neopúšťa hranicu.","oss-aion-coverage-join.3110d06249":"čo odchádza","oss-aion-coverage-join.0bd87fb406":"Na tejto ceste nie je žiadny procesor.","oss-aion-coverage-join.1fa5b0500c":"nie a, nie b, nie c","oss-aion-coverage-join.898fae3bdc":"nie a, nie b, c","oss-aion-coverage-join.a8f663af2d":"nie a, b","oss-aion-coverage-join.bee9689def":"štyri stroje, jedna odpoveď","oss-aion-coverage-join.3ea0cf3ca7":"adresy, ktoré nastavíte","oss-aion-coverage-join.7b9e33922c":"služba","oss-aion-coverage-join.17819009bd":"jedno volanie","oss-aion-coverage-join.2c4d8b9dd8":"príkaz","oss-aion-coverage-join.5a78e04d95":"prepojené","oss-aion-coverage-join.985e108737":"knižnica","oss-aion-coverage-join.1d06a0d76f":"model","oss-aion-coverage-join.8eab5a6dbb":"procesor","oss-aion-coverage-table.356f85e809":"jeden obal AION a kontrakt na smerovanie","oss-aion-coverage-table.4f52f572dd":"sedem výstupov producenta","oss-aion-coverage-table.2a268cd632":"SEDEM PRODUCENTOV","oss-aion-coverage-table.8351372237":"najprv výstup, overovač vybraný podľa rodiny certifikátov","oss-aion-coverage-table.b7d5fe11a0":"Čo po sebe zanechá sedem producentov","oss-aion-coverage-table.f31a7c9011":"Riešiteľ","oss-aion-coverage-table.a194f815cb":"Prípustné, neprípustné alebo optimálne","oss-aion-coverage-table.7ec93e2d31":"Dôkaz, model, jadro, svedok alebo hranica","oss-aion-coverage-table.651e0f73b2":"Overovač riešiteľa špecifický pre rodinu","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Záver z deklarovaných obmedzení","oss-aion-coverage-table.9ac60dc1a8":"Odvodenie obmedzení a vrátené dôkazy riešiteľa","oss-aion-coverage-table.d5ef792d46":"Overovač uvažovania Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Dokončená riadená operácia","oss-aion-coverage-table.70d43be1ea":"Autorita, politika, schválenia, prechody a potvrdenia","oss-aion-coverage-table.5372a8e90f":"Organizačný overovač Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Skompilovaný artefakt","oss-aion-coverage-table.1f3e5d7c89":"Zdrojový graf, transformácie, invarianty a identita artefaktu","oss-aion-coverage-table.86ca1bd031":"Overovač kompilácie Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Vykonaná úloha","oss-aion-coverage-table.24f1ac9e33":"Modul, vstupy, udelenia oprávnení, prechody, limity a výstup","oss-aion-coverage-table.0f9ea21c74":"Overovač vykonania Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Simulovaná trajektória","oss-aion-coverage-table.ef85239d10":"Identita modelu, parametre, stav, kontrolné body, invarianty a hash trajektórie","oss-aion-coverage-table.c5b7fe3198":"Overovač simulácie a FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Dokončené spustenie FMU","oss-aion-coverage-table.8f5753fba0":"Identita FMU, konfigurácia, kroky, udalosti, konvergencia a stopa","oss-aion-coverage-table.4d64b5bbaf":"Overovač simulácie a FMI","oss-aion-coverage-table.7d1ab3c6e0":"Dôkaz:","oss-aion-coverage-table.4e5bc7d129":"Overovač:","oss-aion-days-left.545fa01eea":"a hovorí to tak pred posledným dňom","oss-aion-days-left.eaa861cef8":"rovnaké pravidlo, prečítané štyrikrát","oss-aion-days-left.2017bddab0":"Opýtajte sa v ktorýkoľvek deň a rovnaké pravidlo robí aritmetiku. Nič na štvrtom čítaní\n          nie je hlasnejšie ako prvé, len menšie.","oss-aion-days-left.81b20537a7":"zostávajúci priestor, v dňoch","oss-aion-days-left.0526dbf682":"HODINY","oss-aion-days-left.2f29339cb6":"rovnaké hodiny, štyri dni od seba","oss-aion-days-left.47a76d1261":"Jedna žiadosť, štyri čítania","oss-aion-days-left.9dd1fe0fd2":"26 z 30","oss-aion-days-left.f4c6daac2a":"deň 26","oss-aion-days-left.62f21454ca":"22 z 30","oss-aion-days-left.4ad399ed8a":"deň 22","oss-aion-days-left.ae5a29afae":"16 z 30","oss-aion-days-left.195b05cbbd":"deň 16","oss-aion-days-left.d31b7d0f91":"8 z 30","oss-aion-days-left.185b76515a":"deň 8","oss-aion-days-left.2dd2bed725":"dnes","oss-aion-dispute-parts.65edc28a9d":"panel aj rozhodnutie patria do vášho vlastného procesu a artefakt sa nepohybuje","oss-aion-dispute-parts.e56cf65ada":"a nie je to tribunál","oss-aion-dispute-parts.37f322f735":"dodáva dôkazy,","oss-aion-dispute-parts.7b7570d892":"rozhodnutie","oss-aion-dispute-parts.52e3685580":"okno","oss-aion-dispute-parts.7de929b394":"panel","oss-aion-dispute-parts.2eba0fb6ad":"to, čo vlastní váš proces","oss-aion-dispute-parts.ea4031d789":"ktorý overovateľ, ktorá verzia","oss-aion-dispute-parts.93be71a61d":"zmluva","oss-aion-dispute-parts.48b63234e3":"pomenovaný, nie zhrnutý","oss-aion-dispute-parts.cced6746e2":"miesto zlyhania","oss-aion-dispute-parts.2c9e8d06dd":"reprodukovateľné kýmkoľvek","oss-aion-dispute-parts.2e02032e1d":"overenie","oss-aion-dispute-parts.804e9af218":"producent aj podpis neporušené","oss-aion-dispute-parts.69506051d5":"zachované tak, ako bolo prijaté","oss-aion-dispute-parts.6b578cc32e":"certifikát","oss-aion-dispute-parts.21df0b2530":"Čo prináša AION","oss-aion-dispute-parts.4029dc5f44":"Zachováva certifikát tak, ako bol prijatý. Zachováva atribúciu, takže to, kto výsledok vytvoril, prežije zmenu dodávateľa. Reprodukuje overenie na požiadanie, kýmkoľvek, bez producenta. Identifikuje presné miesto zlyhania namiesto vrátenia verdiktu. A ukazuje, ktorý overovateľ prijal výsledok a podľa ktorej verzie zmluvy. Panel, okno a rozhodnutie patria do procesu, ktorý vaša organizácia už prevádzkuje. AION dodáva artefakt, o ktorom tento proces diskutuje.","oss-aion-dispute-parts.434ae4f1d6":"Úloha AION-u v tejto situácii je úzka a je to užitočná časť.","oss-aion-dispute-parts.3eb5567b60":"Práca vytvorená jednou stranou a používaná druhou nakoniec vyvolá nezhodu o tom, či bola dobrá. O tom, čo ju rozhodne, takmer nikdy nerozhoduje sila argumentácie. Rozhoduje to, či existuje artefakt, ktorý môžu obe strany preskúmať a ktorý ani jedna nemôže zmeniť, a vo väčšine sporov záznamy, ktoré by otázku vyriešili, drží jedna z dvoch strán.","oss-aion-dispute-parts.2ccc6715e9":"Nie lepší argument.","oss-aion-dispute-parts.aa0d5ae0e6":"Spor potrebuje dôkazy.","oss-aion-dispute-parts.b4b6237893":"Keď niekto nesúhlasí","oss-aion-dispute-parts.eec3b038bd":"atribúcia","oss-aion-dispute-parts.100ec4462d":"dôkazy","oss-aion-envelope-fields.cfc233d284":"obálka nikdy nie je","oss-aion-envelope-fields.1c80a87a33":"payload je špecifický pre rodinu","oss-aion-envelope-fields.d85cb39036":"rodina, ktorá rozhoduje o overovateľovi","oss-aion-envelope-fields.a975c5af10":"Typ certifikátu","oss-aion-envelope-fields.4282e3d696":"pomenovaný, nikdy nie implicitný","oss-aion-envelope-fields.0562f32dc5":"Závislosti","oss-aion-envelope-fields.ca2dc8737d":"ktorý systém, ktorá verzia","oss-aion-envelope-fields.7b7194967f":"Producent","oss-aion-envelope-fields.f33f785291":"proti čomu bol vytvorený a ktorá verzia","oss-aion-envelope-fields.404e7d3e00":"Vstupy a zmluva","oss-aion-envelope-fields.93a29173f5":"identifikátor a payload alebo jeho hash","oss-aion-envelope-fields.dc4e08a408":"Tvrdenie","oss-aion-envelope-fields.78e789d605":"ZMLUVA","oss-aion-envelope-fields.d12a9ca770":"mimo payloadu, každá rodina","oss-aion-envelope-fields.f18dee6041":"Obálka","oss-aion-envelope-fields.f07e5a8156":"payload","oss-aion-evidence.cbf668da60":"Súbory denníka","oss-aion-evidence.28e06c789a":"Denník ukazuje, že systém bežal. Neukazuje, prečo sa dospelo k odpovedi, a denník možno potichu upraviť.","oss-aion-evidence.c637aebe3a":"Nepriehľadné","oss-aion-evidence.5c3fc92e3f":"Skóre spoľahlivosti","oss-aion-evidence.fd3c76543b":"Jedno číslo zhrňujúce vnútorný stav. Dva systémy môžu vykazovať rovnaké skóre a pri rovnakom vstupe dospieť k opačným záverom.","oss-aion-evidence.16f3dacf52":"Žiadne odvodenie","oss-aion-evidence.7f34e37f1b":"Samogenerované vysvetlenie","oss-aion-evidence.361b70a63e":"Napísané tým istým modelom, ktorý rozhodol. Hodnotí vlastnú prácu, takže nemôže slúžiť ako nezávislý dôkaz.","oss-aion-evidence.782acc59ce":"Kruhové","oss-aion-evidence.477416bf24":"Dôverujte dodávateľovi","oss-aion-evidence.1e84c62138":"Keď regulátor, pacient alebo súd povie „ukážte, ako ste na to prišli“, sľub na úrovni služby nie je odpoveď, ktorú si môžu overiť.","oss-aion-evidence.76afe0e09f":"Neoveriteľné","oss-aion-evidence.06f2d5f1a8":"Certifikát, nie tvrdenie","oss-aion-evidence.cdcc6f712c":"AION vydáva certifikát dôkazu spolu s odpoveďou. Certifikát uvádza každý krok uvažovania v poradí, v akom bol vykonaný.","oss-aion-evidence.6d1c5f470b":"Skontrolované niekým iným","oss-aion-evidence.cc65178dc5":"Samostatný kontrolór prechádza krokmi a buď ich prijme, alebo zamietne. Strana, ktorá kladie otázku, ho spúšťa sama.","oss-aion-evidence.412a3b1e5e":"Znova spustiteľné neskôr","oss-aion-evidence.9082c552d2":"Rovnaký certifikát sa budúci mesiac skontroluje rovnako, na inom počítači, bez prístupu k pôvodnému systému.","oss-aion-evidence.1206578b48":"ukážte, ako ste na to prišli","oss-aion-evidence.494beafd71":"auditná otázka","oss-aion-evidence.bba8b0753d":"dôkaz verzus tvrdenie","oss-aion-evidence.00e2ca4c85":"Keď sa rozhodnutie AI dostane k regulátorovi, pacientovi alebo do bezpečnostného prípadu, niekto sa pýta","oss-aion-evidence.1defdb9d85":"ako sa dospelo k tejto odpovedi.","oss-aion-evidence.290a698043":"Väčšina organizácií nedokáže dať odpoveď,\n          ktorú si osoba, čo sa pýta, môže sama overiť.","oss-aion-evidence.56f6624482":"Nie dôkaz","oss-aion-evidence.a295517f40":"Čo sa dnes ponúka","oss-aion-evidence.7ea014de7b":"Dôkaz","oss-aion-evidence.4cb1cd3e53":"Čo AION odovzdáva","oss-aion-evidence.2a36a263da":"Dôkaz sa netvrdí. Dôkaz sa kontroluje.","oss-aion-evidence.e0a4c0a385":"Nezávislé overenie je jediná odpoveď, ktorú môže audítor prijať.","oss-aion-exact-sum.21aaad8129":"záporný násobiteľ je odmietnutý pred sčítaním, pri prvej kontrole","oss-aion-exact-sum.3b267c2a81":"žiadna vnútorná pohyblivá rádová čiarka v tomto reťazci","oss-aion-exact-sum.1a43ebe28c":"takže systém je vyvrátený","oss-aion-exact-sum.452308dbcd":"konštanta zostáva","oss-aion-exact-sum.35add33a7a":"čo zostane","oss-aion-exact-sum.df326a819b":"členy y sa rušia","oss-aion-exact-sum.dae482d4b2":"členy x sa rušia","oss-aion-exact-sum.c36d183406":"sčítajte škálované nerovnosti","oss-aion-exact-sum.79e4c9d3fa":"škálujte to","oss-aion-exact-sum.c3c4b24b20":"dve nerovnosti, všetko na jednej strane","oss-aion-exact-sum.b6b4c73115":"Súčet, v plnom rozsahu","oss-aion-exact-sum.c1c66bf52c":"Podmienky sa kontrolujú v poradí a každá je samostatným odmietnutím. Záporný\n            násobiteľ je odmietnutý pred akýmkoľvek sčítaním, pretože škálovanie záporným číslom\n            otáča nerovnosť. Súčet, v ktorom prežije premenný člen, je odmietnutý s uvedením\n            preživšieho člena. Súčet, ktorého zostávajúca konštanta nie je kladná, je odmietnutý,\n            pretože nič nedokazuje. Koeficient nad hranicou veľkosti vyvolá pretečenie namiesto\n            obtekania. Nič v tomto reťazci nie je tolerancia.","oss-aion-exact-sum.6efbacfc5b":"Aritmetické vyvrátenie je množina násobiteľov. Napíšte každú nerovnosť so\n            všetkým na jednej strane znamienka, škálujte ju, sčítajte škálované nerovnosti,\n            a ak sa každý premenný člen ruší a čo zostane je kladné číslo, o ktorom sa tvrdí, že\n            je nanajvýš nula, to nemôže platiť, takže nemôže platiť ani systém, z ktorého\n            pochádza. AION prijíma tieto násobitele na hranici a konvertuje ich na deklarovanú\n            adaptívnu reprezentáciu s pevnou rádovou čiarkou pred kontrolou. Ukladá, akumuluje\n            a počíta žiadne hodnoty s pohyblivou rádovou čiarkou interne a nemá žiadny záložný\n            mechanizmus s pohyblivou rádovou čiarkou. Zlomok tu zostáva vytlačený, pretože robí\n            rozpor čitateľným; kontrola sa riadi svojou deklarovanou konverziou a škálou.","oss-aion-exact-sum.31934abfaa":"Jeho konverzia deklaruje škálu.","oss-aion-exact-sum.a3caf489e5":"Tretina nie je 0,333.","oss-aion-exact-sum.15e6a906dd":"Deklarovaná adaptívna aritmetika s pevnou rádovou čiarkou","oss-aion-exact-sum.108a35964a":"súčet hovorí 11/6 <= 0, čo je nepravda,","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":"áno","oss-aion-exact-sum.c4c6c57253":"kladný","oss-aion-exact-sum.b55e22fe78":"presný","oss-aion-exec-cert.6a230011ab":"niečo iné to kontroluje","oss-aion-exec-cert.2c14724b1b":"runtime to vytvoril","oss-aion-exec-cert.b07722ef0c":"limit","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"modul na výstup","oss-aion-exec-cert.a7b63abc02":"Čo certifikát nesie","oss-aion-exec-cert.e1bbfaa783":"Identita toho, čo vzniklo, a či sa to zachytilo.","oss-aion-exec-cert.59871c9494":"Výstup a stav","oss-aion-exec-cert.ffb779a5c3":"Limity, v rámci ktorých to bežalo, ako hranice, nie ako pozorovania.","oss-aion-exec-cert.ffbc724f07":"Obálka zdrojov","oss-aion-exec-cert.273c1da325":"Deterministické, vzhľadom na modul, vstupy a povolenia.","oss-aion-exec-cert.acee491c99":"Prechody stavov","oss-aion-exec-cert.eab885bbb2":"Čo mu bolo povolené dosiahnuť, deklarované pred spustením.","oss-aion-exec-cert.dc009dc166":"Povolenia schopností","oss-aion-exec-cert.6f3eb29822":"Ktorý modul, podľa adresy obsahu, pri ktorej verzii runtime.","oss-aion-exec-cert.c201b4ae89":"Identita modulu","oss-aion-executed-under.6b6dab207c":"Čo certifikát povoľuje","oss-aion-executed-under.1fcfedc78a":"čo by mohol dosiahnuť","oss-aion-executed-under.0338c5441d":"Otázka po skutku je autorita a certifikát ju nesie.","oss-aion-executed-under.bc70ed4db9":"Štyri granty udelené a tri zamietnuté.","oss-aion-executed-under.6f9d76b8c0":"Prechody sú deterministické vzhľadom na modul, vstupy a granty, takže všetko\n            toto prebehlo bez spustenia úlohy.","oss-aion-executed-under.e044b5f419":"Identita, ktorú certifikát deklaruje, nie je identita, ktorú prechody vytvárajú, takže\n            spustenie je odmietnuté na výstupe. Všetko pred tým bolo rekonštruované presne.","oss-aion-executed-under.7f0cc64ae8":"deterministické prechody","oss-aion-executed-under.5fa4050afc":"množina schopností, deklarovaná pred spustením","oss-aion-executed-under.844e9ed357":"hodiny, pozorovanie nenastavené","oss-aion-executed-under.b3ccbb4041":"pamäťový limit 512 MiB","oss-aion-executed-under.1fe892a96f":"jeden socket, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"čítať /var/lib/claims","oss-aion-executed-under.7a02a68db0":"nedrží","oss-aion-executed-under.685706abcf":"výstupná identita sa líši","oss-aion-executed-under.6287ff317a":"vytvorená","oss-aion-executed-under.0baff051a0":"deklarovaná","oss-aion-executed-under.1029d67644":"výstup","oss-aion-executed-under.fbd34a2b6e":"modul","oss-aion-executed-under.910e029098":"ilustratívny","oss-aion-executed-under.df6fe4f714":"schopnosť pretrvať po spustení","oss-aion-executed-under.b51590997b":"každá iná adresa","oss-aion-executed-under.e4e545e3b7":"všetko ostatné v súborovom systéme","oss-aion-fact-strip.0dc9622797":"Každý údaj sa spája s repozitárom AION.","oss-aion-fact-strip.b7feece146":"AION v číslach","oss-aion-fact-strip.fedec331ff":"Knižnica, CLI a benchmark v jednom pracovnom priestore","oss-aion-fact-strip.13a24daf03":"Implementácia","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Binárna, celočíselná a adaptívna pevná rádová čiarka; žiadna interná pohyblivá rádová čiarka","oss-aion-fact-strip.5688a0448c":"Aritmetické jadro","oss-aion-fact-strip.0cae74747c":"Presné","oss-aion-fact-strip.379c055f01":"Lineárne v dĺžke dôkazu, offline, bez riešiteľa","oss-aion-fact-strip.04ce84fb6e":"Náklady na overenie","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe a jednotný medziformát","oss-aion-fact-strip.e6c67de15e":"Formáty dôkazov","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Logické teórie","oss-aion-failure-notice.d8164c5dd8":"zistenie, nie spor","oss-aion-failure-notice.159098bbba":"Ten druhý začne argument, ktorý nikto nedokáže uzavrieť.","oss-aion-failure-notice.814fc5cd4f":"Jeden z nich sa dá poslať dodávateľovi v utorok popoludní.","oss-aion-failure-notice.2e6ea3eaa5":"nedá sa priradiť, nedá sa oceniť, nedá sa presne spochybniť","oss-aion-failure-notice.e896d6344f":"overenie zlyhalo","oss-aion-failure-notice.587270a2e4":"kam patrí každé pole","oss-aion-failure-notice.ba0f0eb3fe":"predpoklad nie je prítomný","oss-aion-failure-notice.0c2a7f4aef":"krok 415","oss-aion-failure-notice.55daa4a2ea":"posledné štyri kroky sa čítajú","oss-aion-failure-notice.ca548ed152":"17. marca 2026","oss-aion-failure-notice.3c05b129e2":"nebol vydaný žiadny verdikt","oss-aion-failure-notice.aa943932a5":"oznámenie o odmietnutí","oss-aion-failure-notice.28fb3d519e":"rekonštruované","oss-aion-failure-notice.bd370d1b6f":"krok","oss-aion-failure-notice.910e029098":"ilustratívny","oss-aion-failure-notice.e6b658331e":"a nikto nie je obvinený","oss-aion-failure-notice.94002635cd":"vy, ak ide o otázku rozsahu","oss-aion-failure-notice.7ab178c9a0":"druh","oss-aion-failure-notice.0d967ff8f3":"dodáva chýbajúci predpoklad","oss-aion-failure-notice.b54c9b7359":"ten, kto krok vytvoril","oss-aion-failure-notice.94a94ba774":"dôvod","oss-aion-failure-notice.ba3167e426":"potvrdzuje, čo by mal krok robiť","oss-aion-failure-notice.32ec97b69b":"vlastník vášho súboru pravidiel","oss-aion-failure-notice.b543dc38fd":"pravidlo","oss-aion-failure-notice.ad866c4aef":"otvorí súbor na kroku 415","oss-aion-failure-notice.06fddd86f6":"tím na overenie dodávateľa","oss-aion-failure-notice.aecf66bfac":"umiestnenie","oss-aion-failure-notice.1d7794c5e2":"pre tento dôkaz nebol vydaný žiadny verdikt","oss-aion-failure-notice.f4475dac73":"dôsledok","oss-aion-failure-notice.566c7d73a0":"krok sa odvoláva na predpoklad, ktorý nie je v súbore prítomný","oss-aion-failure-notice.7947e92e3c":"dôvod","oss-aion-failure-notice.5dfa011717":"pravidlo, riešenie","oss-aion-failure-notice.64463af8a3":"414 prijatých","oss-aion-failure-notice.c21ce4fb88":"prečítané kroky","oss-aion-failure-notice.2bf60a2164":"analýza konfliktu dodávateľa pre marcový súbor pravidiel","oss-aion-failure-notice.335ce16b3f":"predmet","oss-aion-family-board.ca8f6715c8":"verzované samostatne","oss-aion-family-board.e794ff76c1":"obrys čakajúci na overovateľa","oss-aion-family-board.0f2e82af82":"Deväť rodín zdieľa jeden obal a nič iné. Desiata je","oss-aion-family-board.ca6c6dda8e":"overovateľ a deklarovaný súbor pravidiel","oss-aion-family-board.c53186083e":"desiata","oss-aion-family-board.0020359543":"neplatný prechod, prekročený grant, nesúlad výstupu,\n              neúplná stopa","oss-aion-family-board.187225126d":"taxonómia odmietnutí","oss-aion-family-board.fac6c7230f":"prehrať prechody proti deklarovaným\n              limitom a súboru pravidiel","oss-aion-family-board.155e6164fc":"algoritmus overenia","oss-aion-family-board.924f583920":"deterministická postupnosť prechodov s identitami vstupu a\n              výstupu","oss-aion-family-board.c0e6022509":"reprezentácia dôkazu","oss-aion-family-board.927f6ddf1e":"toto zaťaženie bežalo pod týmito grantmi a dosiahlo tento výstup","oss-aion-family-board.79bf5b0ee6":"typ tvrdenia","oss-aion-family-board.131097a25c":"Spustenie runtime, v2","oss-aion-family-board.50b24e4d4c":"jedna doska, otvorená","oss-aion-family-board.803aa98470":"že uložený záznam je ten prijatý","oss-aion-family-board.3e71ceb1ca":"Integrita úložiska","oss-aion-family-board.f8603f4710":"že deklarovaný model vytvoril toto spustenie","oss-aion-family-board.ccc3c9b41d":"Simulácia a FMI","oss-aion-family-board.d0c6b470a4":"že to bežalo v rámci grantov, ktoré dostalo","oss-aion-family-board.dc37599f99":"Spustenie runtime","oss-aion-family-board.4f059da0be":"že artefakt zachováva zdroj","oss-aion-family-board.aad755de42":"Kompilácia","oss-aion-family-board.69ce9b9c4f":"že sa uskutočnila riadená operácia","oss-aion-family-board.ed87ca5ca0":"Organizačné","oss-aion-family-board.0dbf90d179":"že deklarovaná derivácia rekonštruuje","oss-aion-family-board.e272c597fd":"Uvažovanie","oss-aion-family-board.e79949ba43":"že vlastnosť platí naprieč spusteniami, nie len jedno","oss-aion-family-board.bdb5a28846":"Časové a hypervlastnosti","oss-aion-family-board.b83c805a0a":"že v rámci hraníc neexistuje nič lepšie","oss-aion-family-board.c794704381":"Optimalizácia","oss-aion-family-board.ede1ae7e54":"že žiadne priradenie nespĺňa množinu","oss-aion-family-board.a04ce90d06":"Logika a splniteľnosť","oss-aion-family-board.b98b54298f":"deväť registrovaných, jeden obrys","oss-aion-family-board.6253e9d668":"Rodinná doska","oss-aion-family-board.910e029098":"ilustratívne","oss-aion-family-registry.6e32650bab":"a verzia na všetkých","oss-aion-family-registry.dcd1f1fdc9":"štyri deklarácie na rodinu","oss-aion-family-registry.3bc3fe987d":"Zlyhania, ktoré môže táto rodina vrátiť, každé s umiestnením.","oss-aion-family-registry.d129426d71":"Taxonómia odmietnutí","oss-aion-family-registry.d4504f5b41":"Čo overovateľ spúšťa a aký súbor pravidiel akceptuje.","oss-aion-family-registry.52ab770040":"Algoritmus overovania","oss-aion-family-registry.4c9dd89c88":"Ako sa prenáša svedok, odvodenie alebo stopa.","oss-aion-family-registry.016fecd943":"Reprezentácia dôkazu","oss-aion-family-registry.ab1e33179a":"Čo táto rodina stanovuje a čo zámerne nestanovuje.","oss-aion-family-registry.8a547220fc":"Typ tvrdenia","oss-aion-family-registry.37094b3cc5":"predtým, než ho možno skontrolovať","oss-aion-family-registry.b14e18379b":"REGISTR","oss-aion-family-registry.b3e4281358":"Čo rodina deklaruje","oss-aion-family-registry.7efea8ff96":"neúplné","oss-aion-family-registry.995fee1f1a":"nepodporované","oss-aion-family-registry.81f344a768":"neplatné","oss-aion-foreign-proof.4c43cb0de1":"žiadna licencia, žiadne prostredie","oss-aion-foreign-proof.9406c96fa7":"štyri tenké čiary medzi nimi","oss-aion-foreign-proof.9fefe2d67f":"Štyri druhy práce na jednej strane, štyri čitateľné objekty na druhej a","oss-aion-foreign-proof.57802c0b4e":"Verifikátor nikdy nespustil ľavú stranu a ani nemusel.","oss-aion-foreign-proof.1dfc94b110":"jeden doklad","oss-aion-foreign-proof.cff5f15fed":"dva prechody","oss-aion-foreign-proof.d58f13fb52":"kontrola oprávnenia","oss-aion-foreign-proof.24ef006723":"oprávnenie a doklady","oss-aion-foreign-proof.933912faec":"agenti, koordinácia","oss-aion-foreign-proof.2ae1de46da":"stav zostáva v rámci deklarovaného obalu","oss-aion-foreign-proof.ed96565674":"kontrolné body a invariant","oss-aion-foreign-proof.0ae689c7bd":"integračné kroky","oss-aion-foreign-proof.f9020659b6":"výber jadra","oss-aion-foreign-proof.3e77a07952":"tvrdenia o zachovaní","oss-aion-foreign-proof.2bb64b9b5b":"optimalizačné prechody","oss-aion-foreign-proof.c8b39aa910":"odvodenie klauzúl","oss-aion-foreign-proof.4da89bbc52":"hľadanie v riešiči","oss-aion-foreign-proof.51339ff0ea":"dôkaz na vašom počítači","oss-aion-foreign-proof.4f45bf808d":"práca na producentovi","oss-aion-foreign-proof.c369931988":"štyri riadky, nič iné","oss-aion-foreign-proof.ec0b7e2c43":"Čo prechádza cez hranicu","oss-aion-foreign-proof.44d74dd33f":"tvary","oss-aion-foreign-proof.e7b1fff700":"typy","oss-aion-foreign-proof.910e029098":"ilustratívne","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT a Alethe overujú v lineárnom čase offline. DRAT sa skontroluje a potom orezá na LRAT.\n            Unified medzi nimi konvertuje bez strát.","oss-aion-formats.14a628e6d3":"Kontroluje","oss-aion-formats.dda6ac27b9":"Overiť","oss-aion-formats.34556fa12c":"Karta formátu","oss-aion-formats.e6c67de15e":"Formáty dôkazov","oss-aion-formats.8a5e29e5bb":"konverzia bez strát","oss-aion-formats.ddb7c01560":"jeden zdroj, štyri podoby","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# jednotný medziľahlý dôkaz","oss-aion-formats.0d3311a5dc":"konvertor aion-proofs","oss-aion-formats.1f5124d90b":"Konvertované pri exporte","oss-aion-formats.8c21b7e1f1":"Interná reprezentácia, ktorá medzi ostatnými konvertuje bez strát.","oss-aion-formats.ebb8e8cf49":"Medziľahlá forma","oss-aion-formats.287fda8114":"Unified","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":"Lineárny čas, offline","oss-aion-formats.f6f7b642b0":"Komunitný formát SMT-LIB z línie cvc5 a veriT.","oss-aion-formats.4aa5db37af":"Dôkaz SMT","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat riadky pridania a odstránenia","oss-aion-formats.f3ba7f38e9":"drat-trim na LRAT","oss-aion-formats.36f33c83a6":"Skontrolované, potom orezané","oss-aion-formats.4745aebc97":"Klauzulové pridávanie a odstraňovanie. Kontroléri formátov orezávajú na LRAT.","oss-aion-formats.154df3dc2f":"SAT certifikát","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" odvodená prázdna klauzula","oss-aion-formats.6fd630d612":" lrat s hintami jednotkovej propagácie","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Priemyselné štandardné rezolučné dôkazy pre propozičné jadro.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"súbor, ktorý sa nikdy nezatvorí","oss-aion-four-gates.0ff8f0eb5a":"a ešte jeden na konci","oss-aion-four-gates.a1ebd8379f":"pred krokom 1","oss-aion-four-gates.b161dbb47d":"Súbor sa najprv prehľadá na opakované číslo kroku.","oss-aion-four-gates.21e412d2d0":"Dva kroky, jedno číslo","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"a jeden pred nimi všetkými","oss-aion-four-gates.e74bdcd46a":"Štyri testy v tomto poradí","oss-aion-four-gates.fef891bb33":"krok 15","oss-aion-four-gates.cc90eb3e73":"Žiadny postup pre názov. Čítanie sa zastaví, nie preskočí.","oss-aion-four-gates.787e8a8577":"Neznáme pravidlo","oss-aion-four-gates.e70c55582f":"krok 52","oss-aion-four-gates.59446cbcf9":"Premisa, ktorá je prítomná, ale očíslovaná nad krokom, ktorý ju cituje.","oss-aion-four-gates.f1604fe1aa":"Citované mimo poradia","oss-aion-four-gates.a42f56e597":"krok 44","oss-aion-four-gates.371b9613cc":"Citované číslo, ktoré nie je nikde v súbore.","oss-aion-four-gates.1d1369a316":"Premisa chýba","oss-aion-four-gates.e1391a7c80":"krok 31","oss-aion-four-gates.9a7512e955":"Krok stojaci na vlastnom závere. Pýta sa ako prvý, na každý krok.","oss-aion-four-gates.7f30dfcc04":"Cituje sám seba","oss-aion-governed-operation.b0582e8559":"Jedna operácia, skontrolovaná","oss-aion-governed-operation.8af7f1d469":"riadená, potom skontrolovaná","oss-aion-governed-operation.ada470c3d7":"Reťazec a jeho overenie sú dve rôzne autority.","oss-aion-governed-operation.90fba649e4":"Štyri položky rekonštruované a piata zastaví čítanie.","oss-aion-governed-operation.ea8356461f":"nie v tomto certifikáte: čo si ktorý agent myslel","oss-aion-governed-operation.2f68c232b4":"Verzia politiky, ktorú certifikát deklaruje, nenesie podmienku, ktorú táto brána\n                tvrdí, že uplatnila. Operácia je na tejto položke odmietnutá a za celok sa\n                nevydáva žiadny verdikt.","oss-aion-governed-operation.be51277bfd":"nedosiahnuté","oss-aion-governed-operation.57b160e317":"prechod overovateľa, z vlastnej autority","oss-aion-governed-operation.26f017e3e6":"prijaté, ref 4471-b","oss-aion-governed-operation.34c3c00446":"potvrdenie zaznamenané","oss-aion-governed-operation.159338740e":"platobný príkaz, účtovný systém","oss-aion-governed-operation.80f6148b56":"vykonaná akcia","oss-aion-governed-operation.458c8c203d":"k akcii, nie k správe v jej blízkosti","oss-aion-governed-operation.1b4dcda6ba":"schválenie pripojené","oss-aion-governed-operation.303418bf06":"nad 50 000 je potrebný druhý schvaľovateľ","oss-aion-governed-operation.faf1f5eb4b":"politická brána","oss-aion-governed-operation.557df801be":"prechody úloh","oss-aion-governed-operation.b1c842256e":"pracovník na nároky","oss-aion-governed-operation.59bef6c3e5":"autorita vyriešená","oss-aion-governed-operation.0639a9efd0":"štyria agenti, nerovnaký rozsah","oss-aion-governed-operation.8e44be8724":"organizácia vytvorená","oss-aion-governed-operation.139146ad26":"politika v4.2","oss-aion-governed-operation.8524f08438":"vyrovnať nároky dodávateľov za štvrťrok","oss-aion-governed-operation.cab7375bdf":"operácia, ako ju vykonal Nexus","oss-aion-governed-operation.82c8154dca":"odmietnuté na bráne","oss-aion-governed-operation.a503bc1da2":"odmietnuté","oss-aion-governed-operation.28fb3d519e":"rekonštruované","oss-aion-governed-operation.45807bf2ec":"vyrovnané","oss-aion-governed-operation.fb92f3f834":"posúdené","oss-aion-governed-operation.590abaace4":"otvorené","oss-aion-governed-operation.d2dc873868":"cieľ","oss-aion-governed-operation.910e029098":"ilustratívne","oss-aion-harness-fields.d5ad303466":"a číslo, ktoré môžete citovať","oss-aion-harness-fields.5a31ca3c0f":"váš korpus, váš hardvér","oss-aion-harness-fields.58664673b0":"Vytlačené nad celým korpusom na konci behu.","oss-aion-harness-fields.6197b910db":"Správny počet","oss-aion-harness-fields.175226a475":"V porovnaní so stavom zaznamenaným v samotnom súbore.","oss-aion-harness-fields.d787e678da":"Odpoveď podľa stavu","oss-aion-harness-fields.b5ec587356":"Samotné vyhľadávanie, pre každú inštanciu, nie spriemerované.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Čas riešenia","oss-aion-harness-fields.bec737ff93":"Ako dlho trvalo čítanie súboru, oddelené od riešenia.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Čas analýzy","oss-aion-harness-fields.20e5752f58":"Maximálna hodnota, takže plán kapacity má číslo.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Špičková rezidentná pamäť","oss-aion-harness-fields.b660370132":"jeden súbor z vášho korpusu","oss-aion-harness-fields.ec845d015d":"pre každú inštanciu, potom sčítané","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Čo jeden beh zaznamenáva","oss-aion-harness-fields.b3cbdd75cb":"vyvrátené","oss-aion-harness-fields.48a3661d84":"stav","oss-aion-harness-fields.25dc282b5a":"odpoveď","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Riešenie...","oss-aion-hero-glyph.3d08723a54":"Výsledok: 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":"Výsledok: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Dôkaz: 128 krokov","oss-aion-hero-glyph.41294a8dc8":"Dôkaz zapísaný do: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Kontrola dôkazu: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Parsovanie: OK","oss-aion-hero-glyph.27d28e3ca9":"Dôkaz má 128 krokov","oss-aion-hero-glyph.1ba94dea63":"Štatistiky dôkazu:","oss-aion-hero-glyph.e1b3c4d7c5":"  Celkový počet krokov: 128","oss-aion-hero-glyph.e30b86fef9":"  Kroky rezolúcie: 71","oss-aion-hero-glyph.8215376faf":"  Aritmetické kroky: 24","oss-aion-hero-glyph.552f29f0b5":"  Maximálna veľkosť klauzuly: 6","oss-aion-hero-glyph.fc539fcf62":"Overenie dôkazu: PREŠLO","oss-aion-hero-glyph.1e4bdfb80c":"Čas overenia: 2 ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Offline","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + teória","oss-aion-hero-glyph.6ba46a924e":"adaptívny pevný bod","oss-aion-hero-glyph.a9f24b1b66":"kontrola v lineárnom čase","oss-aion-hero-glyph.6b5eb5323e":"Priložený certifikát","oss-aion-how-to-check.c799cc998b":"Výsledok: toto je správne.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"Prvý stroj odovzdá svoj doklad samostatnému pomocníkovi, ktorý ho skontroluje","oss-aion-how-to-check.d026bcfccb":"Výsledok je jasný: doklad buď sedí, alebo nesedí. Žiadne možno.","oss-aion-how-to-check.d0c84a5a37":"Kontrola prebieha priamo u vás. Nič sa neodosiela a nie je potrebná žiadna webová stránka.","oss-aion-how-to-check.623151a710":"Pomocník, ktorý kontroluje, nie je stroj, ktorý odpovedal. Nemôže len tak súhlasiť sám so sebou.","oss-aion-how-to-check.87e974a415":"prečíta ho a skontroluje","oss-aion-how-to-check.3c487e646c":"Druhý pomocník","oss-aion-how-to-check.78829f8a37":"kroky, zapísané","oss-aion-how-to-check.9b7b265fbb":"Doklad","oss-aion-how-to-check.f58fd2cb80":"dá odpoveď a doklad","oss-aion-how-to-check.50e90303d4":"Prvý stroj","oss-aion-integration.b1873dbd42":"Jeden engine, žiadna externá služba. Prepojte crate, pripnite verziu a overte certifikáty v rovnakom prostredí.","oss-aion-integration.5f2e7d7c25":"Rovnaký dôkazový certifikát z každého povrchu. Dotaz dovnútra, overiteľný certifikát von.","oss-aion-integration.a4db3ae8b6":"Ako to voláte","oss-aion-integration.4ec6d609ab":"Začnite s jednou rozhodovacou cestou","oss-aion-integration.559461e293":"knižnica, CLI, bench","oss-aion-integration.0228a4c724":"Ktokoľvek si môže overiť certifikát pomocou aion check alebo nezávislým LRAT či Alethe checkerom na vlastnom zariadení.","oss-aion-integration.dda6ac27b9":"Overiť","oss-aion-integration.4d2c6036eb":"Dajte aion-cli za vlastnú službu. Dôkazový certifikát je zmluva, ktorú služba vracia.","oss-aion-integration.c3447e7954":"Zabaliť","oss-aion-integration.f9109d0f04":"Pridajte crate do existujúcej Rust aplikácie a generujte certifikáty inline spolu s odpoveďami, ktoré už produkuje.","oss-aion-integration.ad02e14e28":"Vložiť","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"V pracovnom priestore je špeciálny benchmark binárka. Zmerajte solve a check na vlastnom hardvéri namiesto dôveryhodnosti číslam od dodávateľa.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Ovládajte AION z shellu alebo CI úlohy. solve spustí dotaz, check overí dôkazový certifikát offline a prove ho vygeneruje. Rovnaký dôkazový výstup ako knižnica.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Prepojte AION ako crate a volajte solver a generátor dôkazov priamo. Jadro, teórie a formáty dôkazov sú všetko v procese, bez potreby spúšťať službu.","oss-aion-integration.8319d9b3b9":"Rust knižnica","oss-aion-live-margins.df15dfd304":"jeden z nich je akcia","oss-aion-live-margins.96576608a5":"tri z nich sú čítania","oss-aion-live-margins.5711ac01c1":"SLEDOVANÉ","oss-aion-live-margins.f719aa9511":"uplynulé oproti povolenému","oss-aion-live-margins.a344938438":"Štyri povinnosti","oss-aion-live-margins.19e5ecc09e":"v ten istý deň, na podujatí","oss-aion-live-margins.828697f103":"Záznam o prevode","oss-aion-live-margins.222af170d9":"44 dní z 30, stále otvorené","oss-aion-live-margins.a441e09d1a":"Okno uchovávania","oss-aion-live-margins.30e04c8f23":"2 dni z 3","oss-aion-live-margins.20d6944505":"Oznámenie o porušení","oss-aion-live-margins.9b9419d2e2":"26 dní z 30","oss-aion-live-margins.6e7d6c760b":"Odpoveď subjektu","oss-aion-nothing-outbound.45b9d8acdc":"žiadny odchádzajúci klient","oss-aion-nothing-outbound.5b16b5db9a":"Každá cesta začína a končí v rámci čiary, ktorú ste nakreslili.","oss-aion-nothing-outbound.59a0768496":"Nič na tomto hárku nepresahuje obrys.","oss-aion-nothing-outbound.71c31d8219":"lokálny proces na tomto zariadení","oss-aion-nothing-outbound.605f85e28f":"externý overovač","oss-aion-nothing-outbound.150bc2359d":"jedna podsieť, ktorú nastavíte","oss-aion-nothing-outbound.5193678a39":"adresy klastra","oss-aion-nothing-outbound.49c4e670b3":"vaša sieť","oss-aion-nothing-outbound.273ca4c134":"to, čo nakonfigurujete","oss-aion-nothing-outbound.7f8d7aeedb":"päť riadkov","oss-aion-nothing-outbound.bcec1ac359":"to, čo táto cesta pridá do vášho registra","oss-aion-nothing-outbound.4553aa0c94":"lokálne úložisko","oss-aion-nothing-outbound.93d65d8ef8":"archív","oss-aion-nothing-outbound.760cfc52ce":"kontrolór","oss-aion-nothing-outbound.6621d172f5":"čítaná sada pravidiel","oss-aion-nothing-outbound.565f3cfc6a":"kontrolovaný certifikát","oss-aion-nothing-outbound.284f61c8db":"vaša lokalita, váš hardvér","oss-aion-nothing-outbound.f368a04bb8":"jedna hranica, a je vaša","oss-aion-nothing-outbound.5c795b7e7d":"žiadna cesta neodchádza","oss-aion-nothing-outbound.4f98b1412d":"Nič neopúšťa perimetra","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Verzia, ktorú držíte, sa vám pod rukami nemení.","oss-aion-nothing-outbound.07b9a651d1":"Harmonogram vydaní dodávateľa na sledovanie","oss-aion-nothing-outbound.8fa0bea3f8":"Žiadna naša služba nie je na ceste.","oss-aion-nothing-outbound.11449c8bd3":"Závislosť dostupnosti na zaznamenanie","oss-aion-nothing-outbound.66506ab77b":"Žiadny model sa nevolá.","oss-aion-nothing-outbound.af474ee96b":"Poskytovateľ modelu na posúdenie","oss-aion-nothing-outbound.f2250926d2":"Nič neopúšťa hranicu.","oss-aion-nothing-outbound.e80e5b3403":"Cezhraničný prenos na odôvodnenie","oss-aion-nothing-outbound.0bd87fb406":"Žiadny spracovateľ na tejto ceste.","oss-aion-nothing-outbound.9494490634":"Spracovateľ na pridanie","oss-aion-obligation-calendar.366609b500":"okraj, nie poplach","oss-aion-obligation-calendar.3c8532b3c7":"Pravidlo v strede je miesto, kde prestala byť dostupná lacná oprava.","oss-aion-obligation-calendar.949b1361f5":"Obe čísla sú údaje, ktoré si dnes ráno môže prečítať každý.","oss-aion-obligation-calendar.7758d9c282":"vyžaduje sa akcia","oss-aion-obligation-calendar.4ebebe0b7c":"-14 dní","oss-aion-obligation-calendar.6937bf485d":"začalo pred týmto mesiacom","oss-aion-obligation-calendar.37ed878825":"okno uchovávania","oss-aion-obligation-calendar.3974c3ac47":"+4 dni","oss-aion-obligation-calendar.aa69fdaab6":"otvorené, povolených 30 dní","oss-aion-obligation-calendar.c6727ea40c":"odpoveď subjektu","oss-aion-obligation-calendar.51269d14af":"posledný deň, keď to bolo ešte popoludňajšia práca","oss-aion-obligation-calendar.96a8ebf797":"ilustračné dátumy","oss-aion-obligation-calendar.fdcce3f37e":"jeden je po termíne","oss-aion-obligation-calendar.11ddafb2cc":"Jeden mesiac povinností","oss-aion-obligation-calendar.a2620cbc10":"deň","oss-aion-one-contract-six.d3926ca64d":"jeden register, jedna dotknutá množina","oss-aion-one-contract-six.c4d72c2328":"Ich dôkazy nasledujú jednu obálku AION.","oss-aion-one-contract-six.a7e545052a":"Výstupy producentov zostávajú oddelené.","oss-aion-one-contract-six.5cbf78425a":"zmení sa jedno pravidlo, znova skontroluj dotknuté záznamy","oss-aion-one-contract-six.f5c6772ad7":"jedna fronta na opätovné overenie","oss-aion-one-contract-six.d3516bd6ea":"jeden register a záznam o úložisku","oss-aion-one-contract-six.2ec012da6f":"jedna obálka AION","oss-aion-one-contract-six.2c653cc8fa":"tí istí siedmi producenti, cez jednu obálku AION","oss-aion-one-contract-six.725c682066":"rôzne výstupy, overovače špecifické pre rodinu","oss-aion-one-contract-six.cddf74f2cf":"sedem výstupov producentov","oss-aion-one-contract-six.f063fe5bcd":"sedem výstupov hore, jedna obálka dole","oss-aion-one-contract-six.c34e6d1a39":"siedmi producenti, jedna obálka dôkazov","oss-aion-one-contract-six.910e029098":"ilustratívny","oss-aion-one-contract-six.67bb73569c":"simulačný certifikát","oss-aion-one-contract-six.7966a9fa49":"kompilačný certifikát","oss-aion-one-contract-six.1111f590cc":"organizačný certifikát","oss-aion-one-contract-six.293194c28e":"certifikát odôvodnenia","oss-aion-one-contract-six.8aa194122c":"záznam logického dôkazu","oss-aion-one-contract-six.30870de828":"identita modelu, parametre, stav, kontrolné body, invarianty a hash trajektórie","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"modul, vstupy, udelenia oprávnení, prechody, limity a výstup","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"zdrojový graf, transformácie, invarianty a identita artefaktu","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"autorita, politika, schválenia, prechody a potvrdenia","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"odvodenie obmedzení a vrátené dôkazy riešiteľa","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"dôkaz, model, jadro, svedok alebo hranica","oss-aion-one-contract-six.fde68155d3":"Riešiteľ","oss-aion-one-contract-six.71c9a5c1a1":"Prípustné, neprípustné alebo optimálne","oss-aion-one-contract-six.8f7924f6f5":"Overovač riešiteľa špecifický pre rodinu","oss-aion-one-contract-six.2e9d2d4990":"Záver z deklarovaných obmedzení","oss-aion-one-contract-six.0e7a123b77":"Overovač odôvodnenia Loom","oss-aion-one-contract-six.3c1a0d119e":"Dokončená riadená operácia","oss-aion-one-contract-six.6c2ed5435d":"Organizačný overovač Nexus","oss-aion-one-contract-six.07b127b70d":"Skompilovaný artefakt","oss-aion-one-contract-six.4f9018da9e":"Overovač kompilácie Kera","oss-aion-one-contract-six.1f42a0b0ce":"Vykonaná úloha","oss-aion-one-contract-six.5a3c8f1f84":"Overovač vykonania Selvedge","oss-aion-one-contract-six.8879cc2e8a":"Simulovaná trajektória","oss-aion-one-contract-six.0d72478caf":"Simulačný a FMI overovač","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Dokončené spustenie FMU","oss-aion-one-contract-six.8f5753fba0":"Identita FMU, konfigurácia, kroky, udalosti, konvergencia a stopa","oss-aion-one-contract-six.4d64b5bbaf":"Simulačný a FMI overovač","oss-aion-one-contract-six.6f99b37c1c":"Tvrdenie","oss-aion-one-contract-six.4cb3ee8fa2":"Dôkaz","oss-aion-one-contract-six.0f3253d8d8":"Overovač","oss-aion-one-envelope.3b24a9a880":"osem polí, verzované","oss-aion-one-envelope.a348113c09":"ktorý\n          overovateľ ho číta.","oss-aion-one-envelope.08ace6c26e":"jedno pole rozhoduje","oss-aion-one-envelope.396e2145f9":"Štyri druhy dôkazov, jeden otvor a","oss-aion-one-envelope.dc1a7be459":"spočíval na druhom","oss-aion-one-envelope.ddc01a5859":"tvrdenie o trajektórii","oss-aion-one-envelope.7f211a50e2":"sada parametrov","oss-aion-one-envelope.8f2aa45103":"identita modelu","oss-aion-one-envelope.23e75e07fb":"určené poľom typu certifikátu, nie tým, kto ho poslal","oss-aion-one-envelope.4e4dc30b71":"ktorý overovateľ ho číta","oss-aion-one-envelope.c8c687f0ff":"rovnaký otvor, zakaždým","oss-aion-one-envelope.b5a871e570":"stoh účteniek","oss-aion-one-envelope.f90f47de4d":"postupnosť prechodov","oss-aion-one-envelope.3116f117c0":"tabuľka prechodov","oss-aion-one-envelope.134483f4a2":"dôkaz klauzuly","oss-aion-one-envelope.93a8ee0c5f":"čo sa vkladá","oss-aion-one-envelope.582a139a7d":"smerované podľa typu","oss-aion-one-envelope.6b9805fe87":"Jedna obálka, štyri užitočné zaťaženia","oss-aion-one-envelope.3dde401523":"spustenie za behu","oss-aion-one-envelope.708563c595":"ed25519, overené","oss-aion-one-envelope.f2e0576c5b":"dva, pomenované nižšie","oss-aion-one-envelope.f7b7603261":"uzavreté, 41 kB","oss-aion-one-envelope.15aae6195c":"užitočné zaťaženie certifikátu","oss-aion-one-envelope.6732222b05":"typ certifikátu","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"verzia zmluvy","oss-aion-one-envelope.b578b9727d":"žiadne dvojité účtovanie v období 2026-06","oss-aion-one-envelope.a503bc1da2":"odmietnuté","oss-aion-one-envelope.51c817ab85":"prijaté","oss-aion-one-envelope.495117c360":"závislosti","oss-aion-one-envelope.910e029098":"ilustračné","oss-aion-one-field-apart.e704601d64":"os, nie vzorka","oss-aion-one-field-apart.5c256bca81":"Výsledok sa s tým pohyboval, a to je zistenie, nie štatistika.","oss-aion-one-field-apart.7a1e726c2f":"Dve aplikácie zhodné vo všetkých verejných poliach, líšiace sa o jedno číslo.","oss-aion-one-field-apart.084f6c9ebe":"každý pár, ktorý pravidlá umožňujú","oss-aion-one-field-apart.ddaee9368d":"tisíc testovaných prípadov","oss-aion-one-field-apart.4c4ccacd1b":"pár, ktorý môžete vložiť do súboru","oss-aion-one-field-apart.6fddc6a6d1":"pásmo B,","oss-aion-one-field-apart.dbf68713b1":"rovnaký riadok, posunutý","oss-aion-one-field-apart.8c6c701170":"prípad, ktorý zlyhá","oss-aion-one-field-apart.0f9dcd24f1":"výsledok nezávisel od tohto poľa","oss-aion-one-field-apart.154b3f8e44":"pásmo B, 3 ponuky","oss-aion-one-field-apart.4392f1d89c":"jeden riadok, bez posunu","oss-aion-one-field-apart.02de2da27e":"prípad, ktorý platí","oss-aion-one-field-apart.b7de103af7":"hrubá mzda, ponechaná voľná na oboch stranách","oss-aion-one-field-apart.c86b5b3346":"zhodné na oboch stranách","oss-aion-one-field-apart.54bb687f85":"ilustračné aplikácie","oss-aion-one-field-apart.b69108366c":"výsledok sa mení pri páre","oss-aion-one-field-apart.e79b0df746":"líšiace sa o jedno pole","oss-aion-one-field-apart.e1fef06921":"ponuky","oss-aion-one-field-apart.8699f2b04f":"trvalý","oss-aion-one-field-apart.06e3125012":"zamestnanie","oss-aion-one-field-apart.305fa62f02":"30 až 39","oss-aion-one-field-apart.c6a0c81b25":"veková skupina","oss-aion-one-field-apart.61a7508ed1":"základný","oss-aion-one-field-apart.38a007151a":"produkt","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"región","oss-aion-one-word.95fa084cc9":"jeden z nich AION kontroluje","oss-aion-one-word.ce157273ec":"tri z týchto, ktorým veríte","oss-aion-one-word.a04376ab99":"a čo s tým môžete robiť","oss-aion-one-word.1a5b0d2471":"PRIEPASŤ","oss-aion-one-word.69dc71b6f9":"S čím prichádza výsledok","oss-aion-one-word.8d40d2bfcc":"Typované tvrdenia, z ktorých každé pomenúva pravidlo, prechod alebo predpoklad.","oss-aion-one-word.2f8acfe792":"Certifikát","oss-aion-one-word.b04dce1dd0":"Ako dlho trvalo, kým si to bol istý. Istota nie je otázka.","oss-aion-one-word.7eb987f893":"Trvanie","oss-aion-one-word.8388e9c8ba":"Čo systém urobil. Nie prečo z toho vyplýva záver.","oss-aion-one-word.40d0f0d4b5":"Protokol","oss-aion-one-word.e7597ba59a":"unsat, skompilované, bezpečné, schválené. Nie je v tom čo namietať.","oss-aion-one-word.ae976ad8e9":"Jedno slovo","oss-aion-org-cert.dd25bad09c":"a každý z nich je skontrolovaný","oss-aion-org-cert.e8add8f2b8":"organizácia, roly, úlohy a schvaľovania vypĺňajú medzery","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"od cieľa po potvrdenie","oss-aion-org-cert.0a629276bf":"Osem položiek v reťazci","oss-aion-org-cert.51e6694762":"Čo sa skutočne vykonalo vonku a čo sa vrátilo.","oss-aion-org-cert.4f0a23ec14":"Akcie a potvrdenia","oss-aion-org-cert.b249df120c":"Každá hranica, cez ktorú práca prešla, a čo ju prečistilo.","oss-aion-org-cert.5eaad4eb5f":"Prejdené brány","oss-aion-org-cert.aba30ac5b8":"Ktorá rola držala čo v momente, keď sa akcia pokúsila.","oss-aion-org-cert.145ae750ce":"Vyriešená autorita","oss-aion-org-cert.f8a4dc9c6b":"Čo sa pokúšalo vykonať a pod ktorou verziou politiky.","oss-aion-org-cert.63fbd2b7ee":"Cieľ a politika","oss-aion-pipeline.b07bbe8800":"Propozičné jadro","oss-aion-pipeline.81f811c968":"Vyhľadávanie s učením klauzúl riadené konfliktmi nad booleovskou kostrou. Rozhoduje, propaguje, narazí na konflikt, naučí sa klauzulu a vráti sa späť. Binárne, celočíselné a adaptívne hodnoty s pevnou rádovou čiarkou tvoria základ rozhodovacieho postupu; v aritmetickom jadre sa neukladajú, neakumulujú ani nepoužívajú ako záložné riešenie žiadne hodnoty s pohyblivou rádovou čiarkou.","oss-aion-pipeline.dc0dd5bc07":"rozhodnutia a naučené klauzuly","oss-aion-pipeline.0c5ad3c30f":"Teoretické zásuvné moduly","oss-aion-pipeline.f3a7990ab0":"Jadro odovzdá čiastočné priradenie teoretickej vrstve. Aritmetika, bitové vektory, polia a reťazce uvažujú vo vlastných doménach a spätne poskytujú propagácie a konflikty. Externý vstup s pohyblivou rádovou čiarkou sa na hranici dekóduje na binárne polia alebo deklarovanú škálu s pevnou rádovou čiarkou, kým sa pripojí ku kontrole. Jadro hostí tieto odvodzovače; temporálne a programové teórie žijú v sprievodných crate-och.","oss-aion-pipeline.9d1b00d225":"teoretické lemy a konflikty","oss-aion-pipeline.fa6a461dcc":"Emitor dôkazov","oss-aion-pipeline.b3ca95c05c":"Každý krok, ktorý engine vykoná, každú rezolúciu a každú teoretickú lemu, emitor dôkazov zaznamenáva hneď, ako k nim dôjde. Výsledkom je usporiadané odvodenie, ktoré môže samostatný kontrolór prehrať proti jeho premisám.","oss-aion-pipeline.17ac98f8af":"usporiadané odvodenie","oss-aion-pipeline.26d98dc390":"Export formátu","oss-aion-pipeline.a79251f54d":"Odvodenie sa zapíše ako LRAT, DRAT alebo Alethe, alebo sa ponechá v jednotnom medziformáte. LRAT nesie nápovedy o jednotkovej propagácii, vďaka čomu je offline kontrola lineárna vzhľadom na dĺžku dôkazu.","oss-aion-pipeline.8c3cee1cd3":"prenosný certifikát","oss-aion-pipeline.77ec79ed26":"od rozhodnutia k certifikátu","oss-aion-pipeline.c320454a47":"CDCL + teória + emitor","oss-aion-pipeline.a618b4be8d":"Dopyt","oss-aion-pipeline.10de46b3b3":"Certifikát","oss-aion-pipeline.62923220ae":"Celočíselné / s pevnou rádovou čiarkou.","oss-aion-pipeline.4961117925":"Žiadne hodnoty s pohyblivou rádovou čiarkou vo vnútri jadra.","oss-aion-pipeline.591118af56":"Reťazec rezolúcií.","oss-aion-pipeline.39dfacd414":"Každý krok uvádza premisy, od ktorých závisí, v poradí.","oss-aion-pipeline.7fc7b98317":"Nezávislý kontrolór.","oss-aion-pipeline.f0bef425b5":"Certifikát sa prehrá bez riešiča.","oss-aion-pipeline.a73bc5ed23":"Architektúra, jadro CDCL, teoretické zásuvné moduly, emitor dôkazov","oss-aion-plain-card.7e190a46ae":"Stroj dá odpoveď","oss-aion-plain-card.b8941c136d":"Počítač vám niečo vypočíta. Sami to nemôžete overiť, musíte mu to jednoducho veriť.","oss-aion-plain-card.1232ecf314":"Zároveň napíše bloček","oss-aion-plain-card.af7230bfb9":"AION spôsobí, že stroj vytlačí malý bloček vedľa odpovede. Na bločku je vidieť každý krok, ktorý k odpovedi viedol.","oss-aion-plain-card.262d1681dd":"Bloček si môže skontrolovať každý","oss-aion-plain-card.7d35d2e097":"Váš vlastný pomocník si prečíta bloček a povie: áno, to sedí, alebo nie, to je zle. Prvému stroju vôbec nemusí dôverovať.","oss-aion-plain-card.e8146bafb5":"AION jednoducho","oss-aion-plain-card.0b081a8ef4":"Bloček v cene","oss-aion-plain-card.a32564404b":"Predstavte si bloček z obchodu. Keď si niečo kúpite, dostanete papierik, ktorý dokazuje, že\n          vás obchod neobral. Tento bloček môžete ukázať komukoľvek a on si to môže sám spočítať.","oss-aion-plain-card.d5d9b99b9c":"AION robí to isté pre počítač.","oss-aion-plain-card.2cc68d964c":"Keď stroj dá\n          odpoveď, AION vám podá bloček, ktorý dokazuje, že odpoveď je správna, a každý si ho môže skontrolovať.","oss-aion-plain-card.374c644917":"Stroju nikdy nemusíte len tak veriť. Dôkaz zabezpečí bloček.","oss-aion-plain-refusal.7d7fc8edd4":"rovnaké vysvetlenie platí pre vás aj pre každého, kto to posudzuje, pretože je to jedno\n            vysvetlenie","oss-aion-plain-refusal.40c2416b25":"prípad, ktorý si môžete prečítať, nie krížik, ktorý nemôžete","oss-aion-plain-refusal.f795b42ea6":"Prostriedky na tejto karte sa vrátia na plnú výšku 1. augusta, o dva dni.","oss-aion-plain-refusal.3ae2a82129":"keď sa to stane","oss-aion-plain-refusal.a6012020ae":"Buď o 150 eur viac prostriedkov na karte, alebo platba 90 eur alebo menej.","oss-aion-plain-refusal.74b2c9301b":"čo by to zmenilo","oss-aion-plain-refusal.e88b1876e6":"90 eur nepokrýva 240 eur, takže platba aj zostávajúce prostriedky nemôžu platiť súčasne.","oss-aion-plain-refusal.d649363397":"ktorá časť to porušuje","oss-aion-plain-refusal.ec7a8f0a8d":"Platba bola 240 eur. Zostávajúce prostriedky na karte dnes boli 90 eur.","oss-aion-plain-refusal.fcd45ae097":"vaša situácia","oss-aion-plain-refusal.e51b51ac5a":"Platba prejde len vtedy, ak ju zostávajúce prostriedky na karte dnes pokrývajú.","oss-aion-plain-refusal.93823841cb":"čo hovorí pravidlo","oss-aion-plain-refusal.9bc7984374":"Prečo platba neprešla","oss-aion-plain-refusal.549840f998":"Keď sa poruší pravidlo, AION vypíše situáciu, ktorá ho porušila, v bežných\n            vetách s číslami. Platba bola za toľko, zostávajúce prostriedky na karte dnes boli\n            menej, a tieto dve skutočnosti spolu porušujú pravidlo. Môžete si to prečítať,\n            presne s tým nesúhlasiť alebo zmeniť jedinú vec, ktorá sa musí zmeniť.\n            Krížik v políčku vám nič z toho nedá, a nie je kratší, len prázdnejší.","oss-aion-plain-refusal.3b50831d8a":"Automatizované rozhodnutie, ktoré vás odmietne, je horšie ako rozhodnutie človeka, pretože\n            zvyčajne niet čo spochybniť. Odmietnutie príde hotové. Dostanete výsledok\n            a, ak máte šťastie, referenčné číslo, a cesta k skutočnému vysvetleniu je\n            sťažnosť, ktorá trvá týždne a dostane sa k niekomu, kto s tým tiež nemal nič spoločné.","oss-aion-plain-refusal.ada63e5c2f":"Prepracovaný prípad áno.","oss-aion-plain-refusal.462f7e9213":"„Nie je povolené“ nie je dôvod.","oss-aion-plain-refusal.5abdfa9cd6":"Rozdiel","oss-aion-plain-refusal.68c46e84d7":"jednoducho","oss-aion-reasoning-cert.0f1fb3d007":"a každá položka je skontrolovaná","oss-aion-reasoning-cert.98ec75a261":"hranice a konečný nárok dopĺňajú sedmičku","oss-aion-reasoning-cert.433b925481":"Čo bolo vylúčené a predpoklady, ktoré to vylúčili.","oss-aion-reasoning-cert.13382efd7c":"Protirečenia","oss-aion-reasoning-cert.e856a27527":"Subproblém, ktorý odpadol, a dôkaz, ktorý sa vrátil.","oss-aion-reasoning-cert.92324f5363":"Certifikáty riešiteľa","oss-aion-reasoning-cert.fe451714e4":"Každý pomenovaný v poradí, v akom bol použitý.","oss-aion-reasoning-cert.e0d40a5309":"Aplikácie pravidiel","oss-aion-reasoning-cert.e0753c6513":"Čo platilo, v ktorej verzii, keď práca bežala.","oss-aion-reasoning-cert.b9366c0dbf":"Aktívne obmedzenia","oss-aion-reasoning-cert.a04ed61a81":"riešiteľ","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"sedem položiek","oss-aion-reasoning-cert.eb64d71581":"Čo nesie certifikát odôvodnenia","oss-aion-reasoning-chain.126806353c":"vyhlásené, potom skontrolované","oss-aion-reasoning-chain.751e90e830":"Každý z nich je artefakt, ktorý zanechalo uvažovanie, a každý sa číta.","oss-aion-reasoning-chain.bc96941170":"Štyri obmedzenia, dve aplikácie pravidiel, jeden beh riešiča a jeden rozpor.","oss-aion-reasoning-chain.57fa7b904f":"Tu sa kontroluje odvodenie, ktoré systém vyhlásil, položku po položke.","oss-aion-reasoning-chain.e0aa3695ac":"jadro 01 02 04 a 03 v ňom nie je","oss-aion-reasoning-chain.e3338dab26":"dvojité účtovanie vylúčené","oss-aion-reasoning-chain.a43e177c4c":"04 vrátenie platby ruší","oss-aion-reasoning-chain.becc703d80":"zlúčený poplatok","oss-aion-reasoning-chain.398df239b3":"z 01 a 02","oss-aion-reasoning-chain.373c5eb4cc":"číta sa krok za krokom, uzatvára sa","oss-aion-reasoning-chain.45f358826b":"vrátené dokazovačom, v Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvektor a rovnosť, nič iné neprechádza","oss-aion-reasoning-chain.34fcd5c8c7":"podproblém, zapečatený","oss-aion-reasoning-chain.8c7f764922":"pri počte opakovaní, z 02 a 03","oss-aion-reasoning-chain.7c960fefa4":"tri vyzdvihnuté do jadra, jedno zostalo tam, kde bolo","oss-aion-reasoning-chain.eeacd6e80f":"aktívne obmedzenia, slovami zodpovednej osoby","oss-aion-reasoning-chain.0ee0bb12eb":"Táto konfigurácia nemôže spôsobiť dvojité účtovanie v rámci jedného fakturačného obdobia.","oss-aion-reasoning-chain.c0644670d0":"tvrdenie, ktoré Loom presadzuje","oss-aion-reasoning-chain.9616861141":"ilustratívne tvrdenie a verzie","oss-aion-reasoning-chain.e4f7c8c782":"jadro menuje tri, jedno čistí","oss-aion-reasoning-chain.43c7dffedb":"Jeden záver, otvorený","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"z 8 a 9","oss-aion-reasoning-chain.3d26486c4c":"z 8","oss-aion-reasoning-chain.5a6d9bdd37":"z 3 a 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Vrátenie platby ruší poplatok, ktorý uvádza.","oss-aion-reasoning-chain.4c449f834c":"Fakturačné obdobie sa uzatvára o polnoci v posledný deň.","oss-aion-reasoning-chain.a663638447":"Opakovanie nikdy nevytvorí druhý poplatok.","oss-aion-reasoning-chain.0d43228516":"Poplatok sa vytvorí raz za každé dokončené doručenie.","oss-aion-reassure.38a3bd59d5":"Point je jednoduchý: nikdy neber strojové slovo ako samozrejmosť. Maj dôvod, ktorý môže overiť druhý kontrolór.","oss-aion-reassure.0ccc7397a4":"Nie. Potvrdenie sa dá skontrolovať priamo na mieste, bez toho, aby sa čokoľvek posielalo cez internet.","oss-aion-reassure.5bea629f3e":"Posiela sa moja odpoveď niekam?","oss-aion-reassure.af397dc934":"Je vyrobené v Európe. Samostatný kontrolór, nie stroj, ktorý odpoveď vytvoril, overuje každé potvrdenie.","oss-aion-reassure.7de6360d68":"Odkiaľ to pochádza?","oss-aion-reassure.a93d9edbec":"Nie. Nič z toho si nemusíš stavať sám. Obchod, nemocnica alebo kancelária to používa za teba. Ty len dostaneš jasnejšiu odpoveď.","oss-aion-reassure.39af3a44b7":"Musím byť zdatný v počítačoch?","oss-aion-reassure.bdbcd6057e":"Áno. Potvrdenie sa dá skontrolovať znova bez pôvodného modelu, relácie, účtu alebo internetového pripojenia.","oss-aion-reassure.aa1b0d7005":"Dá sa to skontrolovať neskôr?","oss-aion-receipt.36889df54f":"Toto nikdy nerobíte sami. Keď to za vás použije obchod alebo kancelária, toto je lístok,\n          ktorý vám môžu odovzdať.","oss-aion-receipt.46fbbfb5be":"Ktokoľvek si ho môže prečítať a overiť, že sedí.","oss-aion-receipt.9c258dd430":"a musíte mu veriť. S AION vám\n            stroj tiež podá malý lístok vľavo. Ukazuje otázku, kroky a\n            odpoveď.","oss-aion-receipt.013700f8eb":"Bežný stroj len povie","oss-aion-receipt.12df5bb228":"Patrí vám","oss-aion-receipt.7b8544fad0":"Sedí to","oss-aion-receipt.def2581739":"Potvrdenie odpovede","oss-aion-receipt.6e17da21e4":"Príklad potvrdenia odpovede","oss-aion-receipt.f2688d32ea":"Keď sa spýtate znova, dostanete rovnakú odpoveď a rovnaký lístok na akomkoľvek počítači.","oss-aion-receipt.2379231efe":"Vždy rovnako","oss-aion-receipt.a4b884c0e4":"Váš vlastný pomocník skontroluje lístok priamo u vás, bez toho, aby sa čokoľvek odoslalo.","oss-aion-receipt.930888ee28":"Bez internetu","oss-aion-receipt.7a019cc1d2":"Dôvod je na lístku, nie skrytý v stroji. Môžete si ho nechať alebo ho ukázať.","oss-aion-receipt.47b716baec":"Písomne","oss-aion-receipt.92ed516e5b":"Áno, a tu je prečo.","oss-aion-receipt.7011b1a621":"Odpoveď","oss-aion-receipt.8ab9465666":"Váš prípad bol k nej priradený.","oss-aion-receipt.16bb8dfc44":"Krok dva","oss-aion-receipt.d3ca88b9f3":"Pravidlo sa prečítalo celé.","oss-aion-receipt.e97cc54395":"Krok jeden","oss-aion-receipt.afd2793ce0":"Mám nárok na túto náhradu?","oss-aion-receipt.d79cce547d":"Otázka","oss-aion-recheck-list.09d5defeae":"dva riadky, dve mená","oss-aion-recheck-list.fd3e1afd0e":"alebo, oveľa častejšie, o úplne ničom.","oss-aion-recheck-list.459f160ffa":"Bez verzie za každým riadkom tá istá výzva spôsobí opätovné preskúmanie\n          všetkého,","oss-aion-recheck-list.cade8a80df":"zoznamu a toho, kto ho vlastní","oss-aion-recheck-list.6f13975269":"stále kompatibilné","oss-aion-recheck-list.48f8969999":"vyžaduje sa opätovné prečítanie","oss-aion-recheck-list.af0f44d357":", zmenené v","oss-aion-recheck-list.4202e0844e":"Pravidlo hranice optimality sa číta prísnejšie. Hranica uvedená presne na limite sa\n              už nepovažuje za hranicu pod ním.","oss-aion-recheck-list.1c26bb5963":"vydané 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Checker v7.0","oss-aion-recheck-list.9ffcf8f72b":"ilustračné záznamy","oss-aion-recheck-list.dc490c03ae":"dva z piatich označené","oss-aion-recheck-list.7316018edf":"Dotknuté záznamy","oss-aion-recheck-list.2237af7cd3":"pravidlo hranice optimality","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Optimálna trasa, depo sever","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Firmvér build, brána 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Vyhodnotenie súhlasu, kampaň 44","oss-aion-recheck-list.3c54a1df45":"vo firme","oss-aion-recheck-list.b8d251e8cd":"Dávkové spustenie cien","oss-aion-recheck-list.dce56394a1":"Plán zmien, týždeň 12","oss-aion-recheck-list.48a3661d84":"stav","oss-aion-recheck-list.29e5b9a8e6":"kontrolór","oss-aion-recheck-list.51c817ab85":"prijaté","oss-aion-recheck-list.e2979e7595":"dodávateľ","oss-aion-recheck-list.335ce16b3f":"predmet","oss-aion-recheck-list.796a88413e":"J. Okonkwo, prevádzka","oss-aion-recheck-list.90916dd844":"Skontrolujte znova a potvrďte uvedenú hranicu s dodávateľom.","oss-aion-recheck-list.00e67572db":"M. de Vries, ochrana údajov","oss-aion-recheck-list.e4faeae968":"Znova skontrolujte uložený certifikát proti v7.0.","oss-aion-record-fields.8580937ae7":"každý z nich vytvára vlastnú množinu dotknutých prvkov","oss-aion-record-fields.632f62dd8b":"schéma certifikátu dopĺňa sedmičku","oss-aion-record-fields.7039b2f0bd":"kde je teraz","oss-aion-record-fields.74b489c3d1":"kde bol","oss-aion-record-fields.5d5dc3b7c3":"TRVANLIVÝ","oss-aion-record-fields.c2a1a83804":"a nie sú to len pravidlá dôkazov","oss-aion-record-fields.12b83ffb63":"Čo sa môže zmeniť pod povrchom","oss-aion-record-fields.91b3cb991a":"novšia verzia modelu","oss-aion-record-fields.e1ab670f61":"Zmluva o modeli alebo simulácii","oss-aion-record-fields.da15b4cbb5":"samotné tvrdenie sa posunulo","oss-aion-record-fields.26e4976c38":"Zmluva o kompilátore alebo runtime","oss-aion-record-fields.cb2c2e30b7":"vybavené pod iným","oss-aion-record-fields.43e275dea3":"Politika","oss-aion-record-fields.521a7a8570":"teraz čítané inak","oss-aion-record-fields.58fd9f572c":"Pravidlo kontrolóra","oss-aion-refusal-fields.432aa8565f":"odkaz, ktorý môže niekto sledovať","oss-aion-refusal-fields.36a85f9074":"nie červený kríž","oss-aion-refusal-fields.fe71871083":"OZNÁMENIE","oss-aion-refusal-fields.4f84be92c8":"aby na to niekto mohol reagovať","oss-aion-refusal-fields.fa31a3ca39":"Čo obsahuje odmietnutie","oss-aion-refusal-fields.5647a1c020":"rozhodnúť, koho zistenie to je","oss-aion-refusal-fields.11c0add347":"Chyba v dôkaze alebo pravidlo, ktoré nepoužívame. Nie je to to isté.","oss-aion-refusal-fields.a74aa40f65":"Druh","oss-aion-refusal-fields.d3144a7994":"pozrieť sa, čo tam nebolo","oss-aion-refusal-fields.060958d8fd":"Čo chýbalo alebo bolo zlé, keď sa to znova spracúvalo.","oss-aion-refusal-fields.a7dc07c061":"Dôvod","oss-aion-refusal-fields.3b21710b2e":"skontrolovať, čo to malo urobiť","oss-aion-refusal-fields.f80b017fdb":"Čo krok tvrdil, že robí.","oss-aion-refusal-fields.0056e788fc":"Pravidlo","oss-aion-refusal-fields.89abf35df5":"otvoriť to na tomto riadku","oss-aion-refusal-fields.3dac51b71a":"Ktorý krok, podľa čísla, v ktorom súbore.","oss-aion-refusal-fields.2fb8438f32":"Umiestnenie","oss-aion-reviewable.e0cb1b89aa":"nielen autor","oss-aion-reviewable.f29c4ff9dd":"vlastník to posudzuje","oss-aion-reviewable.c6465865b0":"vaša veta","oss-aion-reviewable.ed6912ad70":"RECENZIA","oss-aion-reviewable.5867cc6bd5":"bez učenia sa notácie","oss-aion-reviewable.8f8dec6da0":"Čo vidí recenzent","oss-aion-reviewable.da8643122f":"Meno, dátum a verzia potvrdenej vety.","oss-aion-reviewable.7c92afb7f9":"Podpísané potvrdenie","oss-aion-reviewable.340e6b4675":"Opakovaná recenzia prečíta to isté, pretože nič nevzorkovalo model.","oss-aion-reviewable.b08be2b959":"Vždy to isté","oss-aion-reviewable.d3a2628a1c":"Každá veličina pomenovaná, s druhom hodnoty, ktorú nesie.","oss-aion-reviewable.2587914ff8":"Na čom pracuje","oss-aion-reviewable.f0a2aa51a4":"Jedna veta, ktorá hovorí, čo celá podmienka kóduje.","oss-aion-reviewable.5a47a1dcaf":"Jednoduché čítanie","oss-aion-reviewable.aee2d461c7":"Nezmenené, hore, ako to napísali.","oss-aion-reviewable.7488358db7":"Ich vlastná veta","oss-aion-risk-ledger.1a0f2538e1":"Päť prevádzkových expozícií nahradených jedným certifikátom, ktorý si môže overiť iný kontrolór.","oss-aion-risk-ledger.4b32d8f574":"S AION","oss-aion-risk-ledger.2e34d48ba3":"Bežný spôsob","oss-aion-risk-ledger.d1d7499182":"POROVNANÉ VEDĽA SEBA","oss-aion-risk-ledger.02c7234156":"Prehrajte si odôvodnenie offline a presvedčte sa sami.","oss-aion-risk-ledger.b5058e1c76":"Verte dodávateľovi, že odpoveď bola správna.","oss-aion-risk-ledger.d2e183faa1":"Nakoľko mu dôverovať","oss-aion-risk-ledger.96f0603563":"Certifikát sa kontroluje bez ktoréhokoľvek z nich.","oss-aion-risk-ledger.04312971f3":"Pôvodný model, relácia riešiteľa a služba musia byť stále k dispozícii.","oss-aion-risk-ledger.2df1215b19":"Od čoho závisí overenie","oss-aion-risk-ledger.8ddd34c358":"Beží na vašom vlastnom hardvéri, v jurisdikcii, ktorú schválite.","oss-aion-risk-ledger.c3fe4a906f":"Rozhodnutia sú vysvetľované na serveroch, ktoré nekontrolujete.","oss-aion-risk-ledger.242ebe0c39":"Kde sú údaje","oss-aion-risk-ledger.75eb05728b":"Štandardné formáty dôkazov zostávajú nezávisle overiteľné.","oss-aion-risk-ledger.46d3f9eccd":"Vysvetlenie zmizne spolu s pôvodnou službou.","oss-aion-risk-ledger.8ea6189e84":"Keď sa zmení prostredie","oss-aion-risk-ledger.21ff58d6a7":"Odovzdáte certifikát, ktorý si kontrolór môže overiť sám.","oss-aion-risk-ledger.934929b924":"Prepošlete logy a dúfate, že ich prijmú ako dôkaz.","oss-aion-risk-ledger.8632e0b3b5":"Keď sa kontrolór opýta","oss-aion-rule-refusal.c354dff2de":"žiadny verdikt po 15","oss-aion-rule-refusal.0fc2b67ff7":"pri prvom zlyhá krok","oss-aion-rule-refusal.d7cb461a4b":"Štyri testy v pevnom poradí a čítanie sa zastaví","oss-aion-rule-refusal.ad9deadf27":"jeden identifikátor klauzuly použitý pre dve klauzuly","oss-aion-rule-refusal.ffc05ba511":"pivot deklarovaný na literáli, ktorý klauzula neobsahuje","oss-aion-rule-refusal.5af32fb7c4":"nápoveda odkazujúca na krok, ktorý má odôvodniť","oss-aion-rule-refusal.fbf5522f0e":"pripnutý z nepriateľskej sady","oss-aion-rule-refusal.d3b27b8f89":"neuzavrel","oss-aion-rule-refusal.0f04e9ee60":"literály stále stojace na poslednej klauzule","oss-aion-rule-refusal.90f9cbf1cb":"koniec súboru","oss-aion-rule-refusal.196a925493":"index premisy, 1 až 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, pravidlo za pravidlom","oss-aion-rule-refusal.b14e7fc954":"zastavené na 15","oss-aion-rule-refusal.ce0ed8058b":"Jeden dôkaz, čítaný od začiatku","oss-aion-rule-refusal.af0cbd46a2":"citované mimo poradia","oss-aion-rule-refusal.165a394589":"z 61 a 20","oss-aion-rule-refusal.dd39474e4f":"premisa chýba","oss-aion-rule-refusal.6edfd31763":"z 88","oss-aion-rule-refusal.d18b697772":"cituje samo seba","oss-aion-rule-refusal.5c7bf112ac":"z 31 a 18","oss-aion-rule-refusal.64b0295aa0":"nepodporované pravidlo","oss-aion-rule-refusal.5e2428fc82":"zo 14","oss-aion-rule-refusal.a7e8697338":"z 12 a 13","oss-aion-rule-refusal.ba08b53848":"zo 4","oss-aion-rule-refusal.2a1be725ca":"12 rezolúcia","oss-aion-rule-refusal.54a0121f57":"zo 4 a 9","oss-aion-rule-refusal.8ffe1b4177":"pravidlo známe","oss-aion-rule-refusal.ebed34abd2":"pod svojím vlastným","oss-aion-rule-refusal.d182b65e15":"premisa prítomná","oss-aion-rule-refusal.a503bc1da2":"odmietnuté","oss-aion-rule-refusal.3a21295d81":"úložisko","oss-aion-same-except-one.279e6c9e96":"jeden je spracovaný nižšie","oss-aion-same-except-one.87ca0e7356":"hranice, odvodenia a pôvod modelu dopĺňajú sedmičku","oss-aion-same-except-one.72b459f8cc":"VLASTNOSTI","oss-aion-same-except-one.25119f6e70":"a rodina, ktorá každý nesie","oss-aion-same-except-one.ed6552be04":"Tvrdenia, ktoré môžete urobiť","oss-aion-same-except-one.633255fe41":"Táto trajektória rešpektovala tieto invarianty.","oss-aion-same-except-one.6b403d2a35":"Táto akcia mala požadované schválenie.","oss-aion-same-except-one.ac5d8ada02":"Tento pracovný tok bežal s týmito schopnosťami.","oss-aion-same-except-one.5e8efc64f2":"Tento binárny súbor zodpovedá tomuto grafu zdrojov.","oss-aion-same-except-one.81c0e8e986":"simulácia","oss-aion-same-except-one.92fe1455a7":"organizačný","oss-aion-same-except-one.1e21474598":"vykonanie","oss-aion-same-except-one.023646ce84":"kompilácia","oss-aion-same-rule-parts.3326352b94":"tieto tri to prežijú","oss-aion-same-rule-parts.b33174d833":"odpoveď má jeden riadok","oss-aion-same-rule-parts.490fbefa4b":"ak tú istú prácu odovzdáš dvakrát, kontrola vyjde rovnako","oss-aion-same-rule-parts.ce173fc797":"Pozdržané na druhú kontrolu.","oss-aion-same-rule-parts.60c6fa6f09":"odpoveď","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"po príchode odpovede","oss-aion-same-rule-parts.3fea5c7183":"Tri veci, ktoré si necháš","oss-aion-same-rule-parts.f460809c86":"Kedy bola práca skontrolovaná a čo ju skontrolovalo.","oss-aion-same-rule-parts.1f26226511":"záznam","oss-aion-same-rule-parts.f3488c72aa":"Dátum","oss-aion-same-rule-parts.7e9a6ac9d7":"Citované pravidlo s tvojou vlastnou situáciou v ňom.","oss-aion-same-rule-parts.fa1f96a2cc":"vytlačené s odpoveďou","oss-aion-same-rule-parts.a7dc07c061":"Dôvod","oss-aion-same-rule-parts.51240e4e03":"Obyčajné slová, zachované, aby si to mohol prečítať komukoľvek.","oss-aion-same-rule-parts.f901c543a0":"ako to niekto napísal","oss-aion-same-rule-parts.0056e788fc":"Pravidlo","oss-aion-same-rule-thrice.8716c9d2d1":"citovateľné všetkými tromi","oss-aion-same-rule-thrice.56daaad027":"Nikto na mieste neinterpretoval prípad nikoho.","oss-aion-same-rule-thrice.fe8d9a24bc":"Tri mená, tri dátumy, jeden dôvod doslova.","oss-aion-same-rule-thrice.2d4e5d243a":"rovnaké slová vo všetkých troch listoch","oss-aion-same-rule-thrice.36c5f05f0e":"Moja žiadosť bola pozastavená, pretože každá žiadosť z účtu, ktorý bol niekedy prečerpaný,\n              je pozastavená na druhú kontrolu. Chceli ste to tak?","oss-aion-same-rule-thrice.47b69ccfd4":"čo môže napísať ktorýkoľvek z troch","oss-aion-same-rule-thrice.5441126254":"dôvod, s vašimi číslami","oss-aion-same-rule-thrice.e026ce35f8":"pravidlo, slovami","oss-aion-same-rule-thrice.c6b6fdf0c8":"Vaša žiadosť je pozastavená","oss-aion-same-rule-thrice.4af8028f5b":"To sa týka každého, kto bol raz týždeň v mínuse.","oss-aion-same-rule-thrice.43d7f6edd9":"Každá žiadosť z účtu, ktorý bol niekedy prečerpaný, je pozastavená na druhú kontrolu.","oss-aion-same-rule-thrice.d5dff79fd0":"pravidlo, ako ho napísala zodpovedná osoba","oss-aion-same-rule-thrice.660cf69152":"rovnaký dôvod, trikrát","oss-aion-same-rule-thrice.2aa5baf4fa":"jedno pravidlo, traja ľudia","oss-aion-same-rule-thrice.2969c22def":"prečerpaný jeden deň v auguste 2024","oss-aion-same-rule-thrice.db55a373e5":"2. júla","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"prečerpaný dva dni v novembri 2021","oss-aion-same-rule-thrice.8a343dea89":"19. júna","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"prečerpaný šesť dní v marci 2023","oss-aion-same-rule-thrice.e46936527e":"4. júna","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Váš účet bol v určitom okamihu prečerpaný, preto je táto žiadosť pozastavená na druhú kontrolu.","oss-aion-same-rule-thrice.69449f994d":"ref","oss-aion-same-rule-thrice.910e029098":"ilustratívne","oss-aion-second-reader.e2a4a212d5":"ukazovať na riadok je tá užitočná časť","oss-aion-second-reader.b31aece7ea":"dohoda je ľahká","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"čo robí druhé čítanie","oss-aion-second-reader.d160172930":"Spočítať to znova","oss-aion-second-reader.0bd3d42b28":"Iný program, bez dôvodu uprednostniť odpoveď.","oss-aion-second-reader.2c814bb70c":"Nie je prvý stroj","oss-aion-second-reader.b792afd627":"A hovorí, ktorý krok, takže je na čo ukazovať.","oss-aion-second-reader.4a195096b0":"Zastaví sa pri prvej chybe","oss-aion-second-reader.58f56fa2c3":"Spočíta to znova, namiesto toho, aby dôveroval, že to bolo urobené.","oss-aion-second-reader.5abf0b9df4":"Urobí každý krok","oss-aion-second-reader.de8f44bd3b":"Nie odpoveď. Kroky, ktoré k nej mali viesť.","oss-aion-second-reader.0a461499ae":"Číta postup","oss-aion-second-sum.2517e33359":"miesto, nie verdikt","oss-aion-second-sum.1f31706279":"Potrebovali ste ten riadok a je tam.","oss-aion-second-sum.1b06fb1625":"Oba stĺpce dosiahnu súčet a jeden z nich je zlý.","oss-aion-second-sum.715f45331b":"Čítanie sa zastaví na päťke namiesto toho, aby pokračovalo na šestku, pretože kontrola, ktorá preskočí krok, ktorý nemôže vyjsť, nie je kontrola.","oss-aion-second-sum.be51277bfd":"nedosiahnuté","oss-aion-second-sum.a90d766915":"tento krok nevyjde","oss-aion-second-sum.b214ae4ce2":"rovnaký ťah, ktorý stroj zapísal pri práci","oss-aion-second-sum.e4cddfd229":"Každý si môže stĺpec spočítať sám a dostať sa na rovnaký riadok. To je celá myšlienka, prenesená na prácu, ktorú nikto nevidí.","oss-aion-second-sum.a72b4463ba":"Oba stĺpce sa zhodujú v troch riadkoch. Krúžok obchádza riadok, kde sa rozchádzajú, nie súčet, pretože súčet nikdy nebol užitočná vec na hádku.","oss-aion-second-sum.136fc39d05":"Desať centov a je to pri jablkách.","oss-aion-second-sum.1104f28cf8":"zaplatiť","oss-aion-second-sum.51111a2b99":"obchod, utorok","oss-aion-second-sum.e9594ccf76":"rozchádzajú sa pri jablkách","oss-aion-second-sum.bb470fd83f":"rovnaký stĺpec, sčítaný dvakrát","oss-aion-second-sum.0220a293b9":"nárok je vyplatený","oss-aion-second-sum.f7e5a74a1f":"čo zostáva zaplatiť, sa sčíta","oss-aion-second-sum.597b954c29":"prebytok bol odpočítaný","oss-aion-second-sum.edccd745a8":"suma je pod limitom pre túto opravu","oss-aion-second-sum.709d0bb348":"oprava je na zozname pokrytých","oss-aion-second-sum.1396b1459a":"účet bol otvorený v deň nároku","oss-aion-second-sum.d2fc512490":"ceruzka","oss-aion-second-sum.1c8f15dab7":"tlačené","oss-aion-second-sum.910e029098":"ilustračné","oss-aion-second-sum.f6c1ab8181":"mydlo","oss-aion-second-sum.bcef7a0462":"syr","oss-aion-second-sum.76c2436b59":"jablká","oss-aion-second-sum.44213f9f4d":"káva","oss-aion-second-sum.6ff291d817":"chlieb","oss-aion-second-sum.cf5dbf0ec5":"mlieko","oss-aion-sentence-returns.e9a72f31df":"vaše slová, oba konce","oss-aion-sentence-returns.254545287c":"O osem mesiacov neskôr to číta cudzinec, nie jej zhrnutie.","oss-aion-sentence-returns.f0e71316de":"Jeden človek napísal vetu a odložil ju.","oss-aion-sentence-returns.4c51f16cb4":"Medzi týmito dvoma čítaniami sa nič nenaučilo, nezmenilo názor ani nemalo lepší nápad.","oss-aion-sentence-returns.06152533dc":"druhé účtovanie za jednu objednávku v rámci fakturačného mesiaca nie je povolené","oss-aion-sentence-returns.fb3e6817f1":"z čítania o rok neskôr","oss-aion-sentence-returns.32af205ca5":"z čítania v marci","oss-aion-sentence-returns.0b1eb314b5":"tá istá veta, prečítaná znova o rok","oss-aion-sentence-returns.547a49e160":"objednávka 44-8127 bola účtovaná tretieho novembra a znova devätnásteho","oss-aion-sentence-returns.d3141af6d8":"čo do nej vbehlo","oss-aion-sentence-returns.a2d40412ef":"druhé účtovanie za jednu objednávku v rámci fakturačného mesiaca","oss-aion-sentence-returns.0ee2593cc5":"časť, ktorá nebola splnená","oss-aion-sentence-returns.43015fadc4":"Nikto by nemal byť účtovaný dvakrát za tú istú objednávku v tom istom mesiaci.","oss-aion-sentence-returns.2ce9eb0823":"pravidlo, slovami, v ktorých bolo napísané","oss-aion-sentence-returns.5c4173fbcf":"9. novembra, odoslané zákazníkovi","oss-aion-sentence-returns.96ec36f99b":"Účtovanie bolo zastavené","oss-aion-sentence-returns.14da1cff14":"osem mesiacov","oss-aion-sentence-returns.b59f623fe2":"čítané ako","oss-aion-sentence-returns.6a250da793":"14. marca, osobou, ktorá vlastní fakturáciu","oss-aion-sentence-returns.8766d15f20":"rovnaké slová na oboch koncoch","oss-aion-sentence-returns.33e656aa3a":"jedna veta, osem mesiacov od seba","oss-aion-sentence-returns.6180960e2c":"napísané","oss-aion-sentence-returns.910e029098":"ilustratívne","oss-aion-side-by-side-rule.1462946510":"inverzná hierarchia","oss-aion-side-by-side-rule.dc685ee970":"je najmenšia sada, úplne dole.","oss-aion-side-by-side-rule.37ba9a07a7":"Jediný riadok, ktorý tu nikto nemusí vedieť prečítať","oss-aion-side-by-side-rule.24205c8d5e":"Telo tohto hárku je to, o čo sa žiadalo.","oss-aion-side-by-side-rule.136ec48046":"verzia vety 3","oss-aion-side-by-side-rule.5714c84617":"9. apríla 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, fakturačné operácie","oss-aion-side-by-side-rule.4c1493cdf2":"podmienka tak, ako je uložená","oss-aion-side-by-side-rule.5050bceb24":"na čom pracuje","oss-aion-side-by-side-rule.70a7ded724":"Druhé účtovanie voči referencii, ktorá už bola účtovaná v rámci fakturačného obdobia, je\n          odmietnuté.","oss-aion-side-by-side-rule.decbbbcbea":"Žiadnemu klientovi nemožno účtovať rovnakú referenciu dvakrát v jednom fakturačnom období.","oss-aion-side-by-side-rule.41f5b5d765":"bez poznámky","oss-aion-side-by-side-rule.fd9d8f9d79":"potvrdené vlastníkom","oss-aion-side-by-side-rule.dbd8504696":"kontrolný hárok","oss-aion-side-by-side-rule.b714510ded":"koľkokrát už bola táto referencia účtovaná","oss-aion-side-by-side-rule.71aa03cd23":"počet účtovaní","oss-aion-side-by-side-rule.8f404d9e59":"mesiac, do ktorého spadá účtovanie","oss-aion-side-by-side-rule.28db3c4a10":"fakturačné obdobie","oss-aion-side-by-side-rule.7bbf8d007a":"identifikátor, voči ktorému sa účtovanie vykonáva","oss-aion-side-by-side-rule.333190a7a5":"referencia","oss-aion-silent-wrong.e516f1474a":"krok 40, neznáme pravidlo","oss-aion-silent-wrong.52c4b2ffb7":"kde sa to zastavilo","oss-aion-silent-wrong.bdc9060b3b":"Osem behov vrátilo osem slov. Len to, ktoré si zapísalo svoj postup,\n          to môže povedať","oss-aion-silent-wrong.dc3fb44cee":"odmietnutie pomenúva hranicu","oss-aion-silent-wrong.d55eb7e866":"Tento čítač nemá žiadne pravidlo s týmto názvom v kroku 40, takže sa tam zastavil. Pečiatka sa nikdy nepoužila a nebol vydaný žiadny verdikt.","oss-aion-silent-wrong.d04a61e19e":"čo čítanie vyprodukovalo","oss-aion-silent-wrong.b31f1a6015":"alethe, kroky 38 a ďalej","oss-aion-silent-wrong.74cb6750e3":"jedno z nich, vypísané","oss-aion-silent-wrong.c9266795e0":"osem systémov, osem výsledkov","oss-aion-silent-wrong.d7d4ae123f":"ilustratívne, jeden beh z ôsmich","oss-aion-silent-wrong.3c05b129e2":"nebol vydaný žiadny verdikt","oss-aion-silent-wrong.c6dc61d79f":"Osem slov, jedno z nich otvorené","oss-aion-silent-wrong.64494819a0":"premisa 40, prázdna klauzula","oss-aion-silent-wrong.9dae957efd":"premisa 39","oss-aion-silent-wrong.52e787751c":"premisy 31 a 38","oss-aion-silent-wrong.36901d48ad":"premisy 12 a 31","oss-aion-silent-wrong.e00bcd7ac6":"pracovný postup schválený","oss-aion-silent-wrong.fd40251b0b":"simulácia konvergovala","oss-aion-silent-wrong.9204d100a8":"politika prešla","oss-aion-silent-wrong.51c817ab85":"prijaté","oss-aion-silent-wrong.4d64c22879":"znovu","oss-aion-silent-wrong.94ec44c4f4":"veriť","oss-aion-silent-wrong.4848901b39":"optimálne","oss-aion-silent-wrong.bf31c52c32":"bezpečné","oss-aion-silent-wrong.231e564db4":"dokončené","oss-aion-silent-wrong.bac2ad9d5d":"skompilované","oss-aion-silent-wrong.d203c40ac4":"unsat","oss-aion-sim-cert.d836eab67a":"fyzická platnosť nie je","oss-aion-sim-cert.8f9800edbe":"zhoda a vlastnosti sa kontrolujú tu","oss-aion-sim-cert.d982b6fdda":"či model reprezentuje svet, zostáva na vlastníkovi modelu","oss-aion-sim-cert.c27ccdf78d":"fyzická platnosť","oss-aion-sim-cert.99c6aa48cb":"nikde nezodpovedané","oss-aion-sim-cert.e4125aa830":"uvedené vlastnosti platia počas behu, alebo sa vráti stopa","oss-aion-sim-cert.24fa71fdd6":"kontroly invariantov","oss-aion-sim-cert.82ffe3f79b":"deklarovaný model, parametre a konfigurácia vytvorili túto trajektóriu","oss-aion-sim-cert.8c30aa1c6e":"zhoda vykonania","oss-aion-sim-cert.790f468e4d":"zodpovedané tu","oss-aion-sim-cert.f6bceb137b":"DVOJČA A FMI","oss-aion-sim-cert.cf2b82cb4f":"model na trajektóriu","oss-aion-sim-cert.a7b63abc02":"Čo certifikát nesie","oss-aion-sim-cert.07ecfba93e":"trajektória a stav","oss-aion-sim-cert.6874c92610":"sekvencia udalostí","oss-aion-sim-cert.e77c056cdc":"parametre a počiatočný stav","oss-aion-sim-cert.720a1e14e6":"identita modelu a FMU","oss-aion-source-to-artefact.ce10986f79":"Od zdroja po certifikát","oss-aion-source-to-artefact.c1ce053887":"pomenované, nie paušálne","oss-aion-source-to-artefact.75a0766041":"Paušálne tvrdenie by nemohlo zlyhať nikde.","oss-aion-source-to-artefact.b5e1e87d48":"Tri pomenované tvrdenia a to, ktoré zlyhá, pomenúva fázu, v ktorej zlyhá.","oss-aion-source-to-artefact.8732c432be":"Že každý krok v sekvencii je vo všeobecnosti správny. Žiadny certifikát tu netvrdí, že\n                kompilátor je dobrý, a ani nemusí.","oss-aion-source-to-artefact.64d8424b5b":"čo netvrdí","oss-aion-source-to-artefact.302df26f74":"graf zdroja","oss-aion-source-to-artefact.e95689d184":"referenčnej implementácii na deklarovanej vstupnej doméne","oss-aion-source-to-artefact.0ca9407ef6":"ekvivalent jadra","oss-aion-source-to-artefact.5e68638068":"deklarované zachovanie tvaru neplatí v tejto fáze pre danú vstupnú\n                    doménu","oss-aion-source-to-artefact.ab2050f59e":"tvary tenzorov zachované","oss-aion-source-to-artefact.213addbd25":"naprieč canonicalise a fusion pre každý deklarovaný typ","oss-aion-source-to-artefact.9deae195e3":"typy zachované","oss-aion-source-to-artefact.2297843111":"úroveň optimalizácie 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"tvrdenie o tvare odmietnuté","oss-aion-source-to-artefact.2fa9505626":"artefakt","oss-aion-source-to-artefact.910e029098":"ilustratívny","oss-aion-source-to-artefact.9f939ff8a4":"výber jadra","oss-aion-sovereignty.0fe4587501":"Overenie zostáva tam, kde sú uložené dôkazy: vedľa systému, ktorý ich vytvára, v rámci revízneho servisu alebo v izolovanom archíve.","oss-aion-sovereignty.2d7bdcb19f":"Vaše rozhodnutia zostávajú pod vašou kontrolou.","oss-aion-sovereignty.9426b99215":"Digitálna suverenita","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe a jednotný formát umožňujú nezávisle overovať certifikáty aj mimo pôvodného prostredia.","oss-aion-sovereignty.25c4717a63":"Prenosné formáty dôkazov","oss-aion-sovereignty.d99f32de40":"Kontrola dôkazu funguje úplne offline. Nespoliehate sa na vzdialenú službu, ktorá by mohla zmeniť svoje podmienky alebo zaniknúť.","oss-aion-sovereignty.34ebf0117d":"Žiadna externá závislosť","oss-aion-sovereignty.44a8a39a30":"Vo vašom vlastnom dátovom centre alebo v regióne, ktorý si vyberiete. Zdôvodnenie rozhodnutia nikdy nemusí prekročiť hranicu, ktorú ste neschválili.","oss-aion-sovereignty.331242fd64":"Beží tam, kde si zvolíte","oss-aion-sovereignty.599b928605":"AION je postavený v Európe a jeho kontrolór môže zostať v rámci rovnakej európskej hranice ako rozhodnutia, ktoré overuje.","oss-aion-sovereignty.45f9bdf22b":"Európsky pôvod","oss-aion-split-parts.cc0d7be136":"a enkláva nič nemení","oss-aion-split-parts.a2fb24de32":"predvolené zostavenie nemá žiadneho odchádzajúceho klienta","oss-aion-split-parts.ffd75a18c4":"NASADENIE","oss-aion-split-parts.91f8c088aa":"a čo každý z nich potrebuje","oss-aion-split-parts.758bd7cc2a":"Štyri spôsoby spustenia","oss-aion-split-parts.400bd9a040":"Rozdelené medzi strojmi a zložené až po kontrole pokrytia.","oss-aion-split-parts.bb3d98dfee":"Distribuované","oss-aion-split-parts.74da65bc96":"Vo vašej hranici, na adresách, ktoré si sami nastavíte.","oss-aion-split-parts.664046e78a":"Služba","oss-aion-split-parts.ce2ab3edc4":"Nasmerujte ho na certifikát. Nič iné nemusí bežať.","oss-aion-split-parts.a7218c8eca":"Príkaz","oss-aion-split-parts.eefb3bac5d":"Zapojené do vášho vlastného procesu. Pýtajte sa a odpovedajte, žiadny súbor sa nezapíše.","oss-aion-split-parts.fa66edb7bd":"Knižnica","oss-aion-stays-here.e3e08ad140":"nič neopustilo miestnosť","oss-aion-stays-here.18ab547f60":"Ten prázdny papier je celé tvrdenie.","oss-aion-stays-here.907d22f7f0":"Medzi škatuľou a tromi vecami vedľa nej nie je nič nakreslené.","oss-aion-stays-here.001b06036c":"nie na tomto obrázku","oss-aion-stays-here.8c84675037":"odkaz na iný stroj v tej istej organizácii, vypnutý, kým ho niekto zámerne nenastaví","oss-aion-stays-here.e3527ba222":"Odpoveď prichádza s linkou dole, pretože linka nikdy nebola jej súčasťou.","oss-aion-stays-here.caf3a041c8":"Meškanie bolo sedemdesiatpäť minút, čo je viac ako hodina, takže rezervácia sa ruší a cestovné sa vracia na kartu, z ktorej prišlo.","oss-aion-stays-here.7296ef48e5":"čo sa vrátilo","oss-aion-stays-here.395ee2333f":"zrušenie ukončí rezerváciu a vráti cestovné","oss-aion-stays-here.46d2008236":"hodina znamená šesťdesiat minút, bez zaokrúhľovania","oss-aion-stays-here.2fd4fcb567":"meškanie sa počíta od času vytlačeného na lístku","oss-aion-stays-here.f5b422b60e":"písané pravidlá, podľa ktorých sa to posudzuje","oss-aion-stays-here.ee04bc3b23":"Zruš moju rezerváciu iba vtedy, ak je meškanie viac ako hodina.","oss-aion-stays-here.af5509db2b":"čo si napísal","oss-aion-stays-here.3cbd68d678":"stroj pred tebou","oss-aion-stays-here.531aa138ac":"zodpovedané bez odchodu","oss-aion-stays-here.fb23ddcc1c":"jedna otázka, jedno miesto","oss-aion-stays-here.96ccbc62ab":"tvoje slová nie sú vec, ktorú dostane niekto iný","oss-aion-stays-here.1b215d440d":"stroj niekde inde čítajúci tvoju vetu","oss-aion-stays-here.b5a5c63d23":"na príchod odpovede nemusí fungovať žiadna vonkajšia vec","oss-aion-stays-here.b5c483d9d9":"služba, ktorá musí byť dostupná","oss-aion-stays-here.fa287ade3d":"nič sa nepýta, kto si, pretože nič to nepotrebuje vedieť","oss-aion-stays-here.d5a3ef8b78":"účet na prihlásenie","oss-aion-stays-here.910e029098":"ilustratívne","oss-aion-stays-here-list.56a6e8f9a7":"a nič, čo by ste mali odovzdať","oss-aion-stays-here-list.57eef35c96":"žiadne čakanie","oss-aion-stays-here-list.a64eab5744":"na čo čaká","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"a na čo nikdy nečaká","oss-aion-stays-here-list.13591491d9":"Na čom to beží","oss-aion-stays-here-list.1458464f09":"Nič, na čo by ste sa museli prihlásiť, takže nie ste zákazníkom ničoho.","oss-aion-stays-here-list.257fa99e08":"Žiadny účet","oss-aion-stays-here-list.b165f2d684":"Vaša veta sa kontroluje podľa pravidiel v tej istej miestnosti ako vy.","oss-aion-stays-here-list.37a25e4e99":"Písané pravidlá","oss-aion-stays-here-list.7ee33f1c7a":"Práca prebieha tam, kde ste vy, a nikto iný nemusí byť spustený.","oss-aion-stays-here-list.d3612f57d8":"Stroj, pri ktorom ste","oss-aion-supplier-answer.6d6ddcd4c1":"one statement, four blank lines","oss-aion-supplier-answer.a5d36ba87c":"Not one of the four questions is answered anywhere on the sheet.","oss-aion-supplier-answer.d09481b0a5":"Every word on it is true and somebody has signed it.","oss-aion-supplier-answer.cec9b36162":"14 March 2026","oss-aion-supplier-answer.22715d5cb9":"The configuration submitted on 12 March 2026 has been verified as free of conflicts.","oss-aion-supplier-answer.1e0a1891e8":"ref SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"certificate of conformity","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"four unanswered","oss-aion-supplier-answer.910e029098":"illustrative","oss-aion-supplier-answer.f86e5cfb14":"Would it still hold after Tuesday's change?","oss-aion-supplier-answer.bbe7a72e5a":"On whose data, and how much of it?","oss-aion-supplier-answer.c25776701b":"Against which version of our rule set?","oss-aion-supplier-answer.84d9ed92b5":"Which conditions were actually checked?","oss-aion-theory-matrix.ac8d77d669":"Výroková","oss-aion-theory-matrix.3d52a6d8fe":"Logika","oss-aion-theory-matrix.42f3aff840":"Booleovská splniteľnosť s konfliktom riadeným učením klauzúl. Východiskový bod pre každú inú teóriu.","oss-aion-theory-matrix.6078532ab2":"Kvantifikátory","oss-aion-theory-matrix.02f664dd36":"Logika prvého rádu s inštanciáciou založenou na modeli. Uvažuje o forall a exists nad podporovanými druhmi.","oss-aion-theory-matrix.49167dbc57":"Lineárna aritmetika","oss-aion-theory-matrix.45f053dc73":"Aritmetika","oss-aion-theory-matrix.876aafb6c1":"Lineárna celočíselná aritmetika a vstup s reálnymi hodnotami v deklarovanej mierke. Interne kontrolér používa celočíselné alebo adaptívne hodnoty s pevnou rádovou čiarkou.","oss-aion-theory-matrix.b618fadea3":"Nelineárna","oss-aion-theory-matrix.fd99188844":"Nelineárna celočíselná aritmetika a vstup s reálnymi hodnotami v deklarovanej mierke. Kontrolér používa celočíselné alebo adaptívne hodnoty s pevnou rádovou čiarkou, nikdy hodnoty s pohyblivou rádovou čiarkou.","oss-aion-theory-matrix.d11f66aff2":"Vstup s pohyblivou rádovou čiarkou","oss-aion-theory-matrix.19080aec82":"Vstup IEEE 754 sa akceptuje iba na hranici, potom sa dekóduje do binárnych polí pred kontrolou. Žiadne hodnoty s pohyblivou rádovou čiarkou sa interne neukladajú, neakumulujú ani nevypočítavajú.","oss-aion-theory-matrix.914807cdef":"Bitové vektory","oss-aion-theory-matrix.e5e429bcc9":"Dáta","oss-aion-theory-matrix.23c278d5ca":"Binárne slová s pevnou šírkou so sémantikou pretečenia. Pre overovanie hardvéru a kontrolu binárnych protokolov.","oss-aion-theory-matrix.b90cc9bfd2":"Polia","oss-aion-theory-matrix.eac25fcfc6":"Teória polí s axiómami select a store. Rozhodnuteľné fragmenty sa explicitne sledujú.","oss-aion-theory-matrix.3816c4beac":"Reťazce","oss-aion-theory-matrix.8e5a47db7d":"Slovné rovnice, obmedzenia dĺžky a členstvo v regulárnych výrazoch nad reťazcami.","oss-aion-theory-matrix.0efe5fd2a3":"Časová","oss-aion-theory-matrix.ab14d0a7db":"Programy","oss-aion-theory-matrix.12dfdaf96a":"sprievodná knižnica","oss-aion-theory-matrix.dd600bd946":"Fragmenty lineárnej a vetviacej časovej logiky na uvažovanie o správaní v čase.","oss-aion-theory-matrix.bb8c6ec608":"Pravdepodobnostná","oss-aion-theory-matrix.042a4dc40b":"Uvažovanie o pravdepodobnostných programoch vrátane inferencie v štýle pravdepodobnostného Datalogu.","oss-aion-theory-matrix.1e1837d4e8":"Súbežná","oss-aion-theory-matrix.60e30b1d8e":"Uvažovanie o súbežných programoch a o prepletaniach, ktoré môžu ich vlákna vytvoriť.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"pokrytie teórií","oss-aion-theory-matrix.4329e5da7b":"11 logických domén","oss-aion-theory-matrix.dc1baa8539":"jadro + sprievodné knižnice","oss-aion-theory-matrix.5b1e898fc0":"Teória","oss-aion-theory-matrix.cd89376f98":"Žije v","oss-aion-theory-matrix.df1e1e1732":"Jedenásť teórií, každý odvodzovač produkuje kroky, ktoré môže emitor dôkazov zaznamenať a kontrolér prehrať.","oss-aion-theory-matrix.36ce8cbd4c":"PROP až CONCUR","oss-aion-three-questions.381a478392":"Dve odpovede, jedna hranica","oss-aion-three-questions.b695e87b19":"dve zodpovedané, jedna vlastnená","oss-aion-three-questions.9f5234300d":"Tretia otázka nie je naša, a práve toto tvrdenie robí prvé dve hodnotnými.","oss-aion-three-questions.8149763299":"Zhoda platí, jeden invariant zlyháva so svojou stopou.","oss-aion-three-questions.5974dafe20":"dvere sú nakreslené rovnako pevne ako stena","oss-aion-three-questions.392d2df212":"Vlastník modelu túto otázku drží a drží ju natrvalo. Žiadny certifikát sa jej tu nedotýka a žiadny z nich ju ani potichu neimplikuje.","oss-aion-three-questions.c27ccdf78d":"fyzická platnosť","oss-aion-three-questions.dbbe530d6c":"reprezentuje tento model reálny svet","oss-aion-three-questions.44b8fe96f9":"krok 1 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"protipríklad, zdvihnutý a zväčšený","oss-aion-three-questions.ed4bde3030":"tlak v slučke zostáva pod 8 bar","oss-aion-three-questions.4676659f50":"obtokový ventil sa nikdy neotvorí dvakrát v jednom kroku","oss-aion-three-questions.045757b8af":"teplota návratu zostáva pod 95 °C","oss-aion-three-questions.24fa71fdd6":"kontroly invariantov","oss-aion-three-questions.846ee97ae5":"platia uvedené invarianty počas celého behu","oss-aion-three-questions.17f80cae31":"Beh sa reprodukuje z toho, čo certifikát deklaruje.","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":"tolerancia 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"krok 0,01 s","oss-aion-three-questions.8c30aa1c6e":"zhoda vykonania","oss-aion-three-questions.b3c58a82bd":"vytvorili deklarovaný model a konfigurácia túto trajektóriu","oss-aion-three-questions.5d3f336ca9":"hash blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"chiller-loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"model a FMU","oss-aion-three-questions.b697dd615a":"dve z troch","oss-aion-three-questions.f14f15b304":"trajektória","oss-aion-three-questions.f1f1425b65":"parametre","oss-aion-three-questions.910e029098":"ilustratívny","oss-aion-three-readings.41d8442e84":"odčítania a ich spoľahlivosť patria AIONu, voľba je na vás a je zaznamenaná","oss-aion-three-readings.42e8a93311":"tri odčítania, jedno rozhodnutie, a má autora","oss-aion-three-readings.62b4619c99":"počet, ktorý nemôže klesnúť pod nulu","oss-aion-three-readings.48a15f3a18":"celé číslo menšie ako päť","oss-aion-three-readings.ae3925651e":"je retries celé číslo, počet alebo ľubovoľná hodnota?","oss-aion-three-readings.dffe60eb6a":"položená otázka","oss-aion-three-readings.fb76182a92":"spýtané, nie predpokladané","oss-aion-three-readings.8c3f96fa33":"Retries musia byť menej ako päť","oss-aion-three-readings.e9be13f9ec":"AION namiesto vyriešenia nejednoznačnosť zvýrazní. Pomenuje druh nejednoznačnosti,\n          vymenuje odčítania so spoľahlivosťou, ktorú každé nesie, a podmienkou, ktorú by každé\n          vynútilo, a položí otázku pomenúvajúcu premennú, o ktorú ide. Rozhodnutie stále patrí\n          človeku. Mení sa to, že sa urobí raz, na záznam, tým, kto je zodpovedný za\n          požiadavku, nie tým, kto náhodou robil konverziu.","oss-aion-three-readings.f26c9b4ff8":"Menej ako päť pokusov, počítané celočíselne. Alebo menej ako päť\n          tam, kde štyri a pol je legitímna hodnota. Alebo počet, ktorý tiež nemôže klesnúť pod\n          nulu. To sú tri rôzne pravidlá a rozdiel sa nakoniec prejaví ako incident. Pri bežnom\n          spôsobe práce jedno z nich vybral ten, kto robil preklad, vo štvrtok, bez toho, aby\n          to niekomu povedal.","oss-aion-three-readings.7b5121a8f0":"„Retries musia byť menej ako päť.“","oss-aion-three-readings.ffe5d68fe6":"Niekto si jedno vybral.","oss-aion-three-readings.55b8b0b398":"Vaša veta mala dve odčítania.","oss-aion-three-readings.2d1501c7e4":"Tiché rozhodnutie, ktoré nikto neurobil","oss-aion-three-readings.bec998cdfe":"ľubovoľné číslo vrátane štyri a pol","oss-aion-time-left.88430838dd":"nikomu nič nevnútilo","oss-aion-time-left.227b19b5aa":"Len sa zmenšil, pred niekým, kto s tým ešte mohol niečo urobiť.","oss-aion-time-left.ac61a8b97d":"Číslo tam bolo na ôsmy deň a nikdy nebolo hlasnejšie.","oss-aion-time-left.0703308f0f":"Na tomto hárku nie je žiadny alarm a nič sa nezmenilo na červené. Každá z týchto viet je\n          tá istá veta čítaná v iný deň.","oss-aion-time-left.6222c927fd":"Ide to osobe, ktorá podpisuje neskoré odpovede, s dátumom, a oni vám\n            odpíšu.","oss-aion-time-left.4dfda36be9":"14 dní po termíne","oss-aion-time-left.d5f128da73":"odpoveď mala byť doručená šestnásteho","oss-aion-time-left.58cdff89f9":"iná žiadosť, prečítaná po dátume","oss-aion-time-left.6a7651b700":"tridsať dní po tom, čo ste sa opýtali","oss-aion-time-left.813d27411f":"odpoveď je splatná","oss-aion-time-left.d8b0301347":"požiadali ste o kópiu toho, čo o vás majú","oss-aion-time-left.4c3d95bf6a":"žiadosť","oss-aion-time-left.795bcac29d":"dnes zostávajú štyri dni","oss-aion-time-left.56ff55acfb":"jeden termín, prečítaný štyrikrát","oss-aion-time-left.acafbd7541":"zavolajte im dnes","oss-aion-time-left.148b21034f":"4 dni zostávajú","oss-aion-time-left.f165b88925":"naháňajte to tento týždeň","oss-aion-time-left.b85bbd50bd":"8 dní zostáva","oss-aion-time-left.4a8b5bac9b":"stále v poriadku","oss-aion-time-left.67f9059ac5":"14 dní zostáva","oss-aion-time-left.ca372a8fb7":"zapíšte si to do kalendára","oss-aion-time-left.16f29c69b8":"22 dní zostáva","oss-aion-time-left.910e029098":"ilustratívne","oss-aion-two-routes.89c24f999c":"ten druhý skúma dôkazy","oss-aion-two-routes.3a5d844ae5":"jedna cesta ich reprodukuje","oss-aion-two-routes.028a6cf2d7":"ich certifikát","oss-aion-two-routes.5c837ce426":"ich systém","oss-aion-two-routes.27f65e5e47":"čo potrebuje","oss-aion-two-routes.d0765bbac1":"POROVNAŤ","oss-aion-two-routes.91f8c088aa":"a čo každý z nich potrebuje","oss-aion-two-routes.8930c1c9b8":"Dva spôsoby, ako si byť istý","oss-aion-two-routes.d56d985300":"skontrolovať","oss-aion-two-routes.e1fc5057de":"reprodukovať","oss-aion-two-routes.b028b89ea7":"ich pomoc","oss-aion-two-routes.999464a52f":"nevyrobené","oss-aion-two-routes.9b9252883d":"samotný certifikát","oss-aion-two-routes.4dc537c80f":"tvrdenie, vstupy a zmluva","oss-aion-two-routes.ad95c10298":"ich presná verzia a stroj","oss-aion-two-routes.cfd05bd2f2":"ich licencia","oss-aion-value-grid.6cc3364a24":"Dôkaz priložený","oss-aion-value-grid.4910ee0aea":"Dôkaz ku každému výsledku","oss-aion-value-grid.411bf64817":"Výsledok a jeho kompaktný certifikát cestujú spolu, takže dôkaz vzniká pri rozhodnutí, nie pri kontrole.","oss-aion-value-grid.05f9c0dc34":"Skontrolované iným enginom","oss-aion-value-grid.eea79d1484":"Samostatný overovač porovná certifikát s pôvodnými predpokladmi. Model si nemôže ohodnotiť vlastnú odpoveď.","oss-aion-value-grid.cbd17d59ba":"Prenosné formáty","oss-aion-value-grid.5e6cba1721":"Dôkaz prežije beh prostredia","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe a jednotná forma dôkazu udržia certifikát čitateľný aj po zmene modelu, solvera alebo služby.","oss-aion-value-grid.a60bdd7985":"Overenie offline","oss-aion-value-grid.ebfb47f4ba":"Žiadna živá závislosť","oss-aion-value-grid.6144cbfcab":"Kontrola dôkazu nevyžaduje sieť, účet ani živé pripojenie k nám. To, na čo sa spoliehate pri audite, nemá opakovanú závislosť od dodávateľa.","oss-aion-value-grid.26ef011865":"Zvrchovanosť EÚ","oss-aion-value-grid.23672ea195":"Európske a vo vašich rukách","oss-aion-value-grid.26e89e1455":"Vytvorené v Európe a spustiteľné výhradne na hardvéri, ktorý ovládate. Váš dôkaz a vaše rozhodnutia nemusia nikdy opustiť jurisdikciu, ktorú schvaľujete.","oss-aion-value-grid.66ac329042":"Audity bez rizika","oss-aion-value-grid.9c8c22f54d":"Dôkaz, ktorý môže otestovať druhá strana","oss-aion-value-grid.6572cc2be6":"Keď sa regulátor alebo audítor opýta, ako sa dospelo k rozhodnutiu, odovzdáte certifikát, ktorý môže ktokoľvek skontrolovať, namiesto spoliehania sa na sľub dodávateľa, ktorý nemôžete otestovať.","oss-aion-value-grid.6b5eb5323e":"Dôkaz rozhodnutia","oss-aion-value-grid.870c4d024a":"Nezávislé overenie","oss-aion-value-grid.93e2c4e5c4":"Začnite s jednou cestou rozhodnutia a uchovajte jej certifikát počas kontroly.","oss-aion-value-grid.217fc9a42f":"certifikát · overovač · archív","oss-aion-what-you-got.2b69c8154b":"a jedna otázka každá prináša","oss-aion-what-you-got.7f629c0e9f":"štyri veci, ktoré dostanete","oss-aion-what-you-got.7a9727c9f8":"overiteľné vami","oss-aion-what-you-got.bc1c663195":"čo dostanete","oss-aion-what-you-got.0da9f51943":"POZOROVANÉ","oss-aion-what-you-got.8becd8f7be":"a čo to rieši","oss-aion-what-you-got.7d3574bfa5":"Čo dodávateľ odovzdá","oss-aion-what-you-got.0306f977ae":"Ktorý build to povedal. Nie čo kontroloval, ani ako.","oss-aion-what-you-got.fd12863535":"nie","oss-aion-what-you-got.7b0c210f52":"Číslo verzie","oss-aion-what-you-got.f78a920a78":"Ich opis vlastného procesu, ktorý napísali oni.","oss-aion-what-you-got.301941b624":"ich opis","oss-aion-what-you-got.7591a35462":"Metodická poznámka","oss-aion-what-you-got.5eec058df8":"Niekto stojí za slovom, nie za odôvodnením.","oss-aion-what-you-got.28fde2f659":"len názov","oss-aion-what-you-got.7573daa505":"Podpis","oss-aion-what-you-got.94ebda1bd3":"Bezpečné, uskutočniteľné, konzistentné. Jedno slovo, žiadna práca.","oss-aion-what-you-got.c99c8e4a9b":"Záver","oss-aion-where-it-runs.1ba0334f9f":"neexistuje žiadna tretia","oss-aion-where-it-runs.03e2311510":"nakonfigurujete tie dve","oss-aion-where-it-runs.076d156600":"vo vnútri nie je čo konfigurovať","oss-aion-where-it-runs.f16ac53550":"je na vás, aby ste to nakonfigurovali","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"a nič iné neodchádza","oss-aion-where-it-runs.6cdd4e486a":"Dve konfigurovateľné hranice","oss-aion-where-it-runs.39616fc267":"Program, ktorý nainštalujete a ktorý beží ako lokálny proces.","oss-aion-where-it-runs.00bfadf39c":"Externý overovač","oss-aion-where-it-runs.801db3efcd":"Iba adresy, ktoré nastavíte, a iba vtedy, keď ich nastavíte.","oss-aion-where-it-runs.d296df3171":"Cluster","oss-aion-where-it-runs.67204bf5d4":"žiadna trasa","oss-aion-where-it-runs.91984fcc1b":"Hostovaný model","oss-aion-where-it-runs.b8b252650e":"žiadny klient vôbec","oss-aion-where-it-runs.ee39579eba":"Predvolené zostavenie","oss-aion-where-it-runs.d49fe2c403":"nie je nainštalovaný","oss-aion-where-you-meet-it.2a85ffb07a":"Miesto sa mení, sľub nie: dôvod, ktorý si môžete prečítať, a kontrola, ktorú môže spustiť každý.","oss-aion-where-you-meet-it.9a8413cd88":"AION nikdy nespustíte sami. Toto sú miesta, kde môže ticho pracovať za vás.","oss-aion-where-you-meet-it.33fb502270":"Tri bežné okamihy","oss-aion-where-you-meet-it.40e32f89eb":"Každý, komu dôverujete, si môže skontrolovať lístok a potvrdiť ho.","oss-aion-where-you-meet-it.03ef5e1328":"Keď úrad používa stroj na kontrolu vášho prípadu, máte právo na dôvod, ktorý si môžete prečítať a spochybniť.","oss-aion-where-you-meet-it.2390278256":"Skontroluje sa dávka alebo formulár","oss-aion-where-you-meet-it.2e92ab22dd":"Na verejnom úrade","oss-aion-where-you-meet-it.0bd84e3a14":"Dôvod je zapísaný, nie uzamknutý v systéme.","oss-aion-where-you-meet-it.c4a1d64452":"Rozhodnutia o peniazoch, ktoré robí stroj, môžu pôsobiť ako zatvorené dvere. Účtenka ich otvára jasnými krokmi.","oss-aion-where-you-meet-it.e17885868a":"Vypočíta sa pôžička alebo vrátenie peňazí","oss-aion-where-you-meet-it.5e45cf57a0":"V banke","oss-aion-where-you-meet-it.e2c536b2b3":"Môžete si vypýtať lístok a ukázať ho svojmu lekárovi.","oss-aion-where-you-meet-it.0b56f170bf":"Keď má stroj slovo pri vašej liečbe, mali by ste vidieť dôvod, nielen výsledok.","oss-aion-where-you-meet-it.0332b7d1b7":"Počítač pomáha rozhodovať o vašej starostlivosti","oss-aion-where-you-meet-it.4046c6355b":"V nemocnici","oss-aion-which-did-you-mean.1ff884a89e":"spýtal sa, nehádal","oss-aion-which-did-you-mean.2eb1c230f2":"Voľba patrí tomu, kto vetu napísal.","oss-aion-which-did-you-mean.d94da790d1":"Dva bežné výklady, jeden prípad medzi nimi.","oss-aion-which-did-you-mean.3b4d06d361":"Nebola položená žiadna otázka a nikomu nepovedali, na ktorý z tých dvoch to padlo.","oss-aion-which-did-you-mean.93a161cede":"Hodiny sa počítajú celé. Vybral to vo štvrtok popoludní niekto, kto potreboval\n                dodať.","oss-aion-which-did-you-mean.4b73aced85":"v platnosti","oss-aion-which-did-you-mean.17e120a269":"Zrušte, ak je meškanie viac ako jednu hodinu.","oss-aion-which-did-you-mean.ddf20b2d3c":"bežný spôsob, ako sa to rieši","oss-aion-which-did-you-mean.3f42a39277":"tak, ako to skutočne prebieha","oss-aion-which-did-you-mean.1e9a34969e":"celé hodiny","oss-aion-which-did-you-mean.9c2a4532bb":"Keď ste napísali viac ako jednu hodinu, mysleli ste celé hodiny, alebo meškanie\n                tak, ako skutočne prebieha?","oss-aion-which-did-you-mean.280b34e1e5":"Váš vlak mešká sedemdesiatpäť minút a rezervácia sa zruší skôr, než sa\n                    rozhodnete, či ešte chcete cestovať.","oss-aion-which-did-you-mean.97e4112012":"Meškanie je také dlhé, aké skutočne je. Hodina a štvrť je viac ako\n                    hodina.","oss-aion-which-did-you-mean.c5d620cfa2":"druhý výklad","oss-aion-which-did-you-mean.466780685c":"Váš vlak mešká sedemdesiatpäť minút a nič sa neruší. Čakáte na nástupišti\n                    na vlak, ktorý stále prichádza.","oss-aion-which-did-you-mean.6b67a39030":"Hodiny sa počítajú celé. Meškanie hodiny a štvrť sa počíta ako jedna hodina\n                    a jedna hodina nie je viac ako jedna hodina.","oss-aion-which-did-you-mean.9cf85c69a8":"prvý výklad","oss-aion-which-did-you-mean.ef52f97a5b":"viac ako jednu hodinu","oss-aion-which-did-you-mean.371c6d7efd":"Zrušiť, ak je meškanie","oss-aion-which-did-you-mean.887640fa01":"napísali ste","oss-aion-which-did-you-mean.3650db40be":"čaká sa na vašu odpoveď","oss-aion-which-did-you-mean.ff312b91d2":"čo ste mysleli","oss-aion-which-did-you-mean.6f8f8e9f76":"potom","oss-aion-which-did-you-mean.910e029098":"ilustračný","oss-aion-your-corpus.a54df5506a":"dva týždne, s písomným výstupom","oss-aion-your-corpus.ee646eb7cc":"Spustite rovnaký korpus proti tomu, čo používate dnes, a položte obe správy vedľa seba.","oss-aion-your-corpus.f2d4df122d":"Šesťdesiatdva zo šesťdesiatich štyroch, na vašom stroji, pod vašou kapotou.","oss-aion-your-corpus.8ff7db55b1":"táto kapota","oss-aion-your-corpus.8ada74cbb4":"tento stroj","oss-aion-your-corpus.b2ed177f82":"tento korpus","oss-aion-your-corpus.71e1422875":"funkcia","oss-aion-your-corpus.94ef1b7ae8":"zo 64 správnych","oss-aion-your-corpus.2ce97993d5":"zatiaľ žiadny verdikt","oss-aion-your-corpus.90326d4307":"uplynulo 41 s","oss-aion-your-corpus.69bb8da1c5":"stále beží","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"nezaznamenaná žiadna odpoveď","oss-aion-your-corpus.72330c3954":"16 GB adresného priestoru","oss-aion-your-corpus.b4f0923eae":"16 GB na jedno spustenie","oss-aion-your-corpus.ff367b6b79":"limit adresného priestoru","oss-aion-your-corpus.d1ea89e714":"32 jadier, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"ilustračné spustenie","oss-aion-your-corpus.e380724f89":"jeden obmedzený, jeden stále beží","oss-aion-your-corpus.f6f66c95d6":"Váš korpus, na mieste","oss-aion-your-corpus.8d95729188":"obmedzený","oss-aion-your-corpus.7817c52b25":"stroj","oss-aion-your-corpus.d95f464bc9":"inštancie","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"korpus","oss-aion-your-sentence-parts.8e7ed848f6":"stále si to môžete prečítať","oss-aion-your-sentence-parts.78c48f428a":"napísali ste to","oss-aion-your-sentence-parts.c569c19f0b":"Prečítajte si to znova, dáva rovnaké pravidlo. Nič sa medzi tým nezmenilo.","oss-aion-your-sentence-parts.43015fadc4":"Nikto by nemal byť za rovnakú objednávku v tom istom mesiaci účtovaný dvakrát.","oss-aion-your-sentence-parts.a14707f800":"Vaša veta, nezmenená","oss-aion-your-sentence-parts.2ccea15065":"o rok neskôr","oss-aion-your-sentence-parts.a80d4309ae":"Na začiatku správy, nad časťou, ktorá nebola splnená.","oss-aion-your-sentence-parts.f33c43e8f9":"Vaša veta, citovaná","oss-aion-your-sentence-parts.f0f795235c":"deň, kedy to platí","oss-aion-your-sentence-parts.fe74b20e8f":"Tak, ako ste to napísali, s jedným jednoduchým riadkom, ktorý hovorí, ako sa to čítalo.","oss-aion-your-sentence-parts.358b1cbc5d":"Vaša veta, zachovaná","oss-aion-your-sentence-parts.13211e2743":"deň, kedy to napíšete","oss-aion-your-sentence-parts.27a0362e59":"VAŠE SLOVÁ","oss-aion-your-sentence-parts.d37598cc12":"v troch rôznych dňoch","oss-aion-your-sentence-parts.32a5ee7a1f":"Rovnaká veta","page-breadcrumb.c766e66518":"Navigačná cesta","page-toc.7e439c353e":"Na tejto stránke","section_st_a1_display-split.7c9a7c0610":"Detail","section_st_f1_cta-dark.90e40d5043":"Začať","spindle-extras.127edee78d":"PODPÍSANÉ","toc-rail.f5cbdf6bfb":"Obsah"}