{"block_close_oss.c33fd1fe9c":"Komunita a ekosystém","core-extras.96d330537a":"Základní IR","core-extras.bee831a169":"Substrát","core-extras.61a0822826":"Aplikace na Core","core-extras.15438cc098":"nepodporováno","core-extras.ad565d9d01":"Funkce","core-extras.0155bf03e5":"Legenda segmentů","core-extras.8b7110078e":"Algoritmus seskupuje podle typu dat","core-extras.25ab4276a6":"Posouvatelná matice schopností","open-source-aion.81f3904118":"Správa znalostí postavená na provenienci ve stylu AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Produkty","open-source-aion.de5ec3713e":"Merkle-certifikovatelný analyzátor používaný AION pro zpracování vstupů.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Ověřené běhové prostředí, které páruje certifikáty AION s přepisy provádění.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Provenience událostí pro systémy: hashově zřetězené záznamy o tom, co se stalo, ne kroky uvažování uvnitř rozhodnutí.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Pokračovat v průzkumu","open-source-aion.75e393a1ac":"Prozkoumat související projekty","open-source-aion.f9743247fa":"Přečíst dokumentaci","open-source-aion.ef0fd4ccef":"Prozkoumat cestu důkazu","open-source-aion.77453cde44":"Spusťte ukázkový certifikát a ověřte jej pomocí aion check, cvc5 nebo libovolného ověřovače kompatibilního s LRAT, jakmile repozitář zveřejní. Publikace je plánována na 1. září 2026 a s ní přijdou i pokyny k instalaci.","open-source-aion.dd58b70279":"Důkaz je dodáván s odpovědí","open-source-aion.90e40d5043":"Začít","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Open Source","open-source-aion.close.accent":"aby si ho mohl kdokoli ověřit bez vás","open-source-aion.close.panel.title":"Co certifikát nese","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, osm polí","open-source-aion.close.panel.row.1.label":"Rodiny","open-source-aion.close.panel.row.1.value":"Devět registrovaných a rozšiřitelných","open-source-aion.close.panel.row.2.label":"Kontrola","open-source-aion.close.panel.row.2.value":"Omezená, bez licence, bez přehrávání","open-source-aion.close.panel.row.3.label":"Kde běží","open-source-aion.close.panel.row.3.value":"Na vašem webu, nic neodchází ven","open-source-aion.close.panel.foot":"Certifikát zůstává malý a znovu ověřitelný i po letech.","open-source-aion.ea722c81af":"Evropská","open-source-aion.26803e587f":"Při auditu","open-source-aion.15edfb4da4":"Vyrobeno v","open-source-aion.75f527181b":"Offline","open-source-aion.f8c94a3b4b":"Co to je","open-source-aion.6b5eb5323e":"Offline, lineární čas","open-source-aion.a49b62e167":"Přesná racionální čí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ůkazů","open-source-aion.87415af880":"Důkazové certifikáty","open-source-aion.9c8c22f54d":"Důkazy, ne ujištění","open-source-aion.44ab85a252":"Původ","open-source-aion.3271776def":"Offline, bez služby","open-source-aion.03128bed90":"Ověřování","open-source-aion.4f1428fca3":"Hardware, který ovládáte","open-source-aion.5703321d0e":"Běží na","open-source-aion.978e9ec250":"Standardní, přenosný","open-source-aion.3229609e15":"Ověřování","open-source-aion.cba0624eb5":"Záznam o ověření","open-source-aion.26ef011865":"Podívejte se, kde to běží","open-source-aion.6f696724c6":"Podívejte se na cestu ověření","open-source-aion.a3f1131acb":"AION je důkazová infrastruktura pro rozhodnutí AI, veřejná od 1. září 2026. Vydává kompaktní důkaz vedle výsledku AI a samostatný ověřovač prochází tento důkaz proti původním předpokladům a přijímá nebo odmítá jej bez modelu, relace solveru nebo sítě.","open-source-aion.a2831cb958":"pro nezávisle ověřená rozhodnutí AI","open-source-aion.78db6d1920":"Důkazová infrastruktura","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Nikdy tomu jen tak nevěřte","open-source-aion.4c1c703b94":"Smysl","open-source-aion.2518be9b9c":"Není potřeba","open-source-aion.4ab2910209":"Váš účet","open-source-aion.3477f4d91d":"Stejná odpověď","open-source-aion.d7e70b6e08":"Stejná otázka","open-source-aion.930888ee28":"Bez internetu","open-source-aion.d072f5db48":"Kontrola potřeb","open-source-aion.576347ec82":"Evropa","open-source-aion.eeffc514bd":"Ne, jiní to používají za vás","open-source-aion.cef1deea41":"Vy to vytvoříte","open-source-aion.64ae43e8fe":"Kontrola důkazu","open-source-aion.fdd1e56642":"Účtenka za odpovědi","open-source-aion.704869f20f":"Jednoduše řečeno","open-source-aion.658a8547d7":"Je to bezpečné?","open-source-aion.06c805023d":"Důvod, který si můžete nést s sebou","open-source-aion.e92ed103c2":"AION přidává k odpovědi AI kontrolovatelnou účtenku. Váš asistent vám může říct, zda úvaha drží, aniž byste museli rozumět mechanismu, a účtenku lze znovu zkontrolovat bez připojení k internetu. AION je veřejný od 1. září 2026, kdy také vyjde jeho dokumentace.","open-source-aion.336366183a":"pro rozhodnutí AI","open-source-aion.41cbc965ef":"Kontrolovatelná účtenka","open-source-aion.4eabc3bc63":"CDCL s teorickými pluginy","open-source-aion.68836c550e":"Core","open-source-aion.0cdb7c9a36":"Lineární čas, offline","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teorie","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Jazyk","open-source-aion.942587e61e":"Projektový list","open-source-aion.d4a74b503a":"Přečtěte si dokumentaci","open-source-aion.b683cc6ce4":"AION otevírá program 1. září 2026: infrastruktura důkazů pro rozhodnutí AI, přičemž repozitář a jeho dokumentace jsou publikovány společně. Post hoc vysvětlení pouze žádají, abyste věřili dalšímu účtu ze stejného systému. AION místo toho vydává certifikát důkazu, který může jakýkoli ověřovatel zkontrolovat offline, v lineárním čase, bez solveru.","open-source-aion.8f2ee5be83":"Výsledky AI","open-source-aion.376868cca2":"pro nezávisle kontrolované","open-source-aion.hero.source":"Zeptejte se na vydání","open-source-aion.45471af790":"Původ událostí","open-source-aion.ac9835d4bd":"Přepisy provádění","open-source-aion.24f43d4446":"Stromy syntaxe","open-source-aion.f6b229e148":"Vaše soubory, váš hardware, vaše čísla a kontrolor, který čte důkaz cizího člověka","open-source-aion.144fbc96c6":"SPOČÍTÁNO","open-source-aion.719075bb86":"PARSUJ A ŘEŠ","open-source-aion.8f84ba12df":"VAŠE VLASTNÍ SOUBORY","open-source-aion.8f088dbc07":"To je dvoutýdenní hodnocení s písemným výstupem spíše než demonstrací. Korpus je váš, hardware je váš, čísla můžete interně publikovat a nic v tomto cvičení nevyžaduje konverzaci s námi. Sada nástrojů je součástí repozitáře, takže běh může začít v den, kdy přístup dorazí.","open-source-aion.36ef075645":"Správnost není názor AIONu na sebe sama. Každý soubor ve standardním korpusu nese stav, o kterém je známo, že má, a sada nástrojů porovnává odpověď AIONu s touto anotací případ od případu, takže počet na konci je skóre proti stanovené základní pravdě. Adresní prostor na běh lze omezit, což zabrání tomu, aby jeden patologický soubor vzal s sebou stroj.","open-source-aion.e5bce47d50":"Co pilot produkuje","open-source-aion.680f97998b":"AION dodává benchmarkovou sadu nástrojů, takže čísla, která citujete v obchodním případě, jsou ta, která vaše vlastní soubory vyprodukovaly na vašem vlastním hardwaru. Namiřte ji na korpus a zaznamená čas parsování, čas řešení a špičkovou rezidentní paměť pro každou instanci, pak vytiskne počet správných odpovědí. Běh se opakuje na stejném korpusu, takže druhé hodnocení lze postavit vedle prvního řádek po řádku.","open-source-aion.2d5f8acea9":"a přečtěte si čísla zpět","open-source-aion.5586707b63":"Nejprve spusťte své vlastní soubory","open-source-aion.67ec8d614c":"Než se zavážete","open-source-aion.55744ee096":"I s tím vším někdo zpochybní výsledek. To potřebuje cestu, ne schůzku","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"SLEDOVÁNO ŽIVĚ","open-source-aion.24538c3986":"REZERVA, NE POPLACH","open-source-aion.368f25d10d":"Někde před tím posledním byl den, kdy byla práce ještě odpolední, a to je den, který chce manažer označit, protože každá možnost po něm stojí víc. Čtení rezervy denně je způsob, jak ten den najít.","open-source-aion.c5701049a8":"Zpráva má vlastníka spíše než frontu a každý řádek na ní znamená jiný kus práce s jinou naléhavostí. Jeden je dokončen a nevyžaduje žádnou akci od nikoho. Jeden má čtyři dny, což z něj dělá plán tohoto týdne spíše než dnešní. Jeden má jediný den, což z něj dělá dnešní ranní práci. Jeden je po datu dva týdny, což vyžaduje jméno a větu vysvětlující mezeru.","open-source-aion.26435b9406":"Cokoli s termínem lze sledovat za běhu a AION hlásí zbývající prostor jako číslo se znaménkem spíše než jako prošlé. Okno odpovědi se zbývajícími čtyřmi dny. Doba uchování dva týdny po datu, kdy měla být uzavřena. To je provozní čtení, na které může někdo jednat dnes ráno. Číslo se mění každý den, takže zpráva je čtena jako rezerva spíše než jako poplach.","open-source-aion.f49579b8d6":"než se stane porušením","open-source-aion.0e185152c8":"Rezervu čtete denně","open-source-aion.bc09e774e9":"Živé závazky","open-source-aion.cff8079f65":"Záznamy odpovídají na otázky po faktu. Některé závazky je třeba sledovat za běhu","open-source-aion.127edee78d":"PODEPSANÉ","open-source-aion.b1c1ba1af8":"SEZNAM","open-source-aion.8d27ef68f5":"SEDM SE MŮŽE POHNOUT","open-source-aion.c84f34cb7c":"Atribuce je druhý mechanismus spíše než další sloupec stejného záznamu. Podpis je aplikován přes pořadí odvození, takže kdo výsledek vyprodukoval, přežije změnu dodavatele a dvě identické odpovědi od dvou dodavatelů zůstávají rozlišitelné. To platí i tehdy, když byly obě vyprodukovány ze stejných deklarovaných vstupů.","open-source-aion.a76201631f":"Každý záznam v tomto seznamu uvádí komponentu, která se změnila, a uložený certifikát za ní je úplný, takže re-kontrola je běh spíše než rekonstrukce. Alternativa, kterou má většina organizací, je volba mezi přezkoumáním všeho a nepřezkoumáním ničeho, a v praxi je tato volba vždy učiněna stejným způsobem.","open-source-aion.5c82441a97":"Záznam","open-source-aion.10d9103c24":"Výsledek přijatý minulý rok byl přijat podle loňské smlouvy. Sedm různých věcí se může pohnout pod ním: pravidlo kontroloru, schéma certifikátu, politika, pravidlo kompilátoru, smlouva běhového prostředí, verze modelu nebo simulační smlouva. Když se jedna z nich pohne, otázka, které minulé závěry spočívaly na změněné části, má odpověď, a odpověď je seznam.","open-source-aion.1829734913":"dostanete seznam k předělání","open-source-aion.6d49555943":"Když se pravidlo později změní","open-source-aion.7f325552d8":"Váš auditní protokol s verzemi","open-source-aion.d272027f73":"Lokální záznam se snadno vede. Udržet ho smysluplný, když se pravidla mění, je těžší","open-source-aion.05a898ec87":"ŽÁDNÝ MODELOVÝ HOSTITEL","open-source-aion.c530254e40":"VAŠE STRÁNKY","open-source-aion.66b3dbbe8f":"ŽÁDNÝ ODCHOZÍ PŘENOS","open-source-aion.8ae7a1670e":"Pro pověřence pro ochranu osobních údajů, který odpovídá na krátký seznam otázek o této cestě, a pouze o této cestě: žádný zpracovatel k zapsání do registru, žádný přenos k odůvodnění, žádný poskytovatel modelu v řetězci a nic z našeho, co by mohlo být nedostupné během vašeho incidentu nebo se pod vámi měnit podle cizího plánu vydávání. Verze, kterou máte, je verze, která poběží i příští rok. Tato odpověď zní stejně, ať jsou stránky připojené k síti, nebo odpojené.","open-source-aion.60ad7ae15b":"Dvě cesty mohou překročit hranici a obě si konfigurujete sami. Cluster běží na adresách, které si sami nastavíte. Externí ověřovatel, pokud ho chcete do procesu zapojit, je program, který si nainstalujete, a běží jako lokální proces na vašem vlastním počítači.","open-source-aion.2f6a307ba7":"Pro provozovatele","open-source-aion.dbc08c41b9":"Výchozí sestavení AION neobsahuje žádného odchozího klienta. Ověřování důkazu, překlad požadavku, monitorování signálu a spuštění vyhledávání probíhají na stroji, na kterém jste je spustili, uvnitř vaší vlastní hranice, na hardwaru, který ovládáte. V řetězci není žádný hostovaný model ani cesta k němu. Stejné sestavení běží v odpojené místnosti i v připojené, protože na výchozí cestě nic nepotřebuje k dokončení síť.","open-source-aion.90c790a231":"a nic nevolá ven","open-source-aion.4b9230d5db":"Vše běží na místě","open-source-aion.fe7f7fc61a":"Kde se práce odehrává","open-source-aion.ed461cacdf":"Důkaz o pravidlech je jedna věc. Kde práce běží, je další otázka, kterou lidé kladou","open-source-aion.640d41197b":"JEDEN ZPRACOVANÝ","open-source-aion.29ff0fb82f":"SEDM VÝROKŮ","open-source-aion.431d64456a":"Toto je výrok o sadě pravidel, nikoli vzorek minulých případů. Otestovat tisíc aplikací ukáže tisíc aplikací; kontrola neinterference pokrývá každou dvojici, kterou pravidla umožňují, pomocí self-kompozice, reachability orientované na vlastnosti a k-indukce, s abstrakcí zpřísněnou všude tam, kde dvojice ukázala, že byla příliš volná. Když neplatí, to, co se vrátí, není statistika. Jsou to dvě aplikace identické ve všech veřejných polích, lišící se v tom, na které jste se ptali, se dvěma různými výsledky vytištěnými vedle sebe. To je zjištění, na které může compliance pracovník reagovat ještě téhož rána.","open-source-aion.e5e1cd5506":"Vezměte otázku, kterou regulátoři a stěžovatelé kladou nejčastěji, v různých formulacích: změnilo toto pole výsledek? Je zodpovězena jako vlastnost přes dva běhy. Propojte všechny veřejné vstupy, ponechte dané pole volné na každé straně a vyžadujte, aby se viditelný výsledek shodoval. Pokud se vždy shoduje, výsledek na tomto poli nezávisel.","open-source-aion.227872d789":"Jeden z nich, zpracovaný","open-source-aion.5f92fd5ed1":"Certifikát je zajímavý pouze pro větu, kterou vám umožní říct. Tento binární soubor odpovídá tomuto zdrojovému grafu. Tato zátěž běžela s těmito schopnostmi. Tato akce měla požadovaný souhlas. Toto optimum splňuje tuto mez. Tato trajektorie respektovala tyto invarianty. Tento závěr vyplývá z těchto omezení. Tento výstup pochází z tohoto přesného modelu a sady parametrů.","open-source-aion.418a3bc2fc":"předložit regulátorovi","open-source-aion.7a7af31402":"Sedm výroků, které můžete","open-source-aion.a13c1cf72d":"Co můžete skutečně dokázat","open-source-aion.20467ce964":"Případ se týká jedné aplikace. Některé otázky se týkají dvou najednou","open-source-aion.dde18d1e41":"KDO TO VLASTNÍ","open-source-aion.f3b603a5b2":"V HODNOTÁCH","open-source-aion.53d2799375":"PŘÍPAD","open-source-aion.f18bb15530":"Obojí jsou zjištění a obojí má vlastníka. Ani jedno není k dispozici z prošlo nebo neprošlo. Protipříklad vám řekne, které z těch dvou držíte.","open-source-aion.d83e9c1af9":"Protipříklad také ukončí spory, které by jinak trvaly týdny, protože to není něčí názor na to, zda je pravidlo příliš přísné. Je to případ, vykreslený v reálných hodnotách, se kterými pravidlo pracuje. Buď je případ možný někde ve vaší firmě, v tom případě je pravidlo správné a systém špatně, nebo případ nemůže nastat, v tom případě specifikace postrádá omezení, které všichni předpokládali a nikdo nezapsal.","open-source-aion.7455444aea":"Když pravidlo neplatí, AION vrátí konkrétní situaci, která ho porušuje, zapsanou jako prózu: které hodnoty, jakého druhu a které podmínky porušují. Inženýr to dokáže reprodukovat a manažer to dokáže ocenit, a konečně se oba hádají o stejném případě.","open-source-aion.7d4873637b":"jako případ, který ho porušil","open-source-aion.aeb268fac7":"Porušené pravidlo se vrací","open-source-aion.b5951203ea":"Co vám selhání předá","open-source-aion.8a9a27b8f7":"Zbývají věty, které mohou znamenat dvě věci, a na ty se ptají","open-source-aion.e1814a04c0":"ZKONTROLOVATELNÉ","open-source-aion.20e7dea6cd":"OBYČEJNÉ ČTENÍ","open-source-aion.295ea7bb80":"ANGLIČTINA ZACHOVÁNA","open-source-aion.a4abbaea33":"Překlad je knihovna vzorů, nikoli model, takže stejná věta vždy vytvoří stejné čtení a kontrola se nemusí opakovat proto, že by si nástroj mezi čtvrtletími rozmyslel. Druhý recenzent čtoucí stejnou větu dospěje ke stejné podmínce, což je to, co dělá kontrolu přenositelnou.","open-source-aion.f3689055f1":"Každá podmínka je dodána s jednou větou v obyčejné angličtině, která říká, co kóduje, a s veličinami, se kterými pracuje, každá pojmenovaná druhem hodnoty, kterou drží, a vlastním řádkem popisu. Kontrolu tak může provést osoba, která vlastní požadavek, nejen osoba, která vlastní notaci.","open-source-aion.cac3da045e":"Jak to platí","open-source-aion.c6b765e4cc":"Požadavky píší lidé, kteří rozumí byznysu, a převádějí je na podmínky lidé, kteří rozumí zápisu, a tyto dvě verze se pak léta rozcházejí. AION je drží pohromadě: požadavek napíšete jako anglickou větu a podmínka z něj vytvořená vaši větu nese s sebou. Recenzent čte obojí najednou, takže odchylka se objeví na stránce, ne v incidentu.","open-source-aion.589a38f560":"tomu, kdo se ptal","open-source-aion.5d212c3d75":"Pravidlo zůstává čitelné","open-source-aion.5373332e20":"Kdo může číst, co bylo zkontrolováno","open-source-aion.5f882ec681":"Odkaz je užitečný jen tehdy, když pravidlo, na které ukazuje, dokážou přečíst vaši lidé","open-source-aion.bca8d6442c":"AKČNÍ","open-source-aion.705bc98c49":"POJMENUJE PRAVIDLO","open-source-aion.ab9f5d57e4":"POJMENUJE KROK","open-source-aion.b4ba975800":"Právě jejich oddělení umožňuje poslat odmítnutí dodavateli vůbec, protože obvinění je jediná věc, kterou nelze ze vztahu s dodavatelem tiše stáhnout.","open-source-aion.7a47f854de":"Takový tvar je to, s čím může auditor nebo manažer dodavatelů pracovat, protože mění neshodu v odkaz. AION také odděluje dvě selhání, která přicházejí pod jedním slovem. Buď se krok nedá rekonstruovat, což je vada v důkazu a zjištění vůči tomu, kdo jej vytvořil, nebo krok používá pravidlo, které tento checker nenese, což je otázka rozsahu pro vás, a ne zjištění vůči nikomu.","open-source-aion.d9469b7dda":"Selhání, které hlásí verification failed, nelze přiřadit, zpochybnit ani opravit, a přichází jako spor, ne jako zjištění. AION vrací místo a důvod: který krok, v kterém souboru, které pravidlo tvrdil, že používá, a co chybělo, když se krok znovu provedl. Odmítnutí se může vrátit produkčnímu týmu s reprodukovatelnou adresou. Pokud důkaz nelze rekonstruovat, odpovědnost je na producentovi; pokud checker postrádá jmenované pravidlo, je to rozhodnutí o rozsahu. To jsou různé fronty a různá náprava.","open-source-aion.ccc6a09991":"s krokem a důvodem","open-source-aion.3619f211ef":"Nezdařená kontrola se vrací","open-source-aion.29801085dc":"Výstup, který musí být použitelný","open-source-aion.57c6ba11fc":"Sedm producentů si drží vlastní výstup. AION standardizuje obálku a směrování pro své důkazy.","open-source-aion.f37804f36b":"JEDNA OBÁLKA","open-source-aion.8a3b4bf313":"SEDM PRODUCENTŮ","open-source-aion.479f1de8ea":"Sdílená obálka dává organizaci jeden registr, jeden model kompatibility a jednu množinu dotčených prvků, když se změní pravidlo. Každá rodina certifikátů si drží vlastní ověřovač a pravidla odmítnutí. Nová rodina se připojí registrací těchto pravidel a svého ověřovače; AION se nestává producentem. Registr je část, která roste.","open-source-aion.5b958e86c7":"Solver může vydávat logické, optimalizační nebo časové certifikáty. Twin a FMI produkují různé výstupy, ale sdílejí rodinu simulace a FMI. Producent říká, co bylo vytvořeno; rodina certifikátů říká, jak se kontroluje jeho tvrzení. Obě jsou zaznamenány odděleně, takže jedno nelze vyčíst z druhého.","open-source-aion.57e1cc2701":"Co jedna obálka mění","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin a FMI je sedm producentů různých výstupů, ne sedm rodin certifikátů. AION dává jejich důkazům jednu obálku a směruje každý certifikát k ověřovači specifickému pro rodinu. Obálka nese producenta, rodinu, schéma a deklarované vstupy, zatímco rodinný ověřovač drží technický význam. Dodavatel může změnit svou implementaci, aniž by změnil hranici důkazů organizace; pouze změna rodiny nebo schématu rozšiřuje kontrolu kompatibility.","open-source-aion.65a41e884e":"jedna obálka pro důkazy","open-source-aion.837663a52a":"Sedm producentů a","open-source-aion.647e0f46ec":"Sedm producentů","open-source-aion.af6010147d":"Jeden dodavatel je jeden vztah. Zajímavá otázka je, jak daleko to dosahuje","open-source-aion.35ecafecfb":"VÁŠ STROJ","open-source-aion.0676f9f8de":"TŘI VĚCI","open-source-aion.dfc87eabb4":"To přesouvá konverzaci z půdy, kde se dodavatelé cítí pohodlně. Už je nežádáte, aby vás přesvědčili, a už neplatíte za reprodukci jejich prostředí. Jakmile držíte ty tři věci, kontrola je vaše a můžete ji opakovat, kdykoli chcete, na jakémkoli hardwaru chcete, včetně týdne po skončení smlouvy.","open-source-aion.7677ed77e3":"Stojí za to být přesný ohledně artefaktu, protože to není vždy soubor. V závislosti na rodině to může být soubor, archiv, proud, podepsaný balíček, dvojice stop, svědek, potvrzení o provedení nebo strukturované odvození. Vždy to, ať má jakýkoli tvar, je něco, co ověřovač dokáže přečíst bez přítomnosti producenta.","open-source-aion.a29def781f":"Co certifikát skutečně je","open-source-aion.fdca1fef67":"Certifikát není log a není shrnutí. Je to důkaz, který práce zanechala, a to, co dodavatel předává, jsou tři věci: tvrzení, deklarované vstupy a smlouva, proti které bylo vytvořeno, a certifikát, který systém vyprodukoval. Ne jejich licence, ne jejich verze, ne jejich stroj. Tyto tři cestují společně a jejich kontrola nevyžaduje nic dalšího od dodavatele.","open-source-aion.b054d236cd":"spíše než jejich software","open-source-aion.53e1575f60":"Kontrolujete certifikát","open-source-aion.5e40f4ba8a":"Změna pozice","open-source-aion.b9e2767b28":"Existuje cesta, která není ani věřit jim, ani znovu spouštět jejich software","open-source-aion.7d87348ad6":"VAŠE JMÉNO NA TOM","open-source-aion.48a5aca907":"JEJICH SYSTÉM","open-source-aion.32c3cafa08":"To je pozice, na kterou se auditor dívá, když se ptá, jak jste se ujistili, včetně pravidel o důkazech, jako je akt EU o AI. AION to mění tím, že každému z těchto výsledků dává certifikát, který můžete zkontrolovat, bez reprodukce dodavatele a bez přístupu k čemukoli, co považují za své. Kontrola běží na vašem vlastním stroji, pouze proti certifikátu.","open-source-aion.ac90e72b2c":"Obvyklé cesty ven obě končí na stejném místě. Můžete požádat o jejich důkaz, což je dokument, který napsali o svém vlastním softwaru. Nebo můžete požádat o reprodukci jejich systému sami, což vyžaduje jejich licenci, jejich verzi a jejich prostředí, a přesto vám zůstává spolehnutí na to, co odpověď vytvořilo.","open-source-aion.fc63c534d2":"Řešič říká, že je rozvrh proveditelný. Systém AI dospěje k regulovanému závěru. Agentní systém provede operaci vaším jménem. Kompilátor vytvoří artefakt kritický z hlediska bezpečnosti. Běhové prostředí spouští řízenou zátěž. Simulace ověřuje konstrukční rozhodnutí. Digitální dvojče hlásí, že provozní stav je bezpečný. V každém z těchto případů se práce stala někde jinde a důsledek dopadá na vás.","open-source-aion.c9672e2ac8":"vaše jméno je na odpovědi","open-source-aion.925d7b4a2d":"Vytvořil je jejich systém","open-source-aion.47b025f850":"Kde leží odpovědnost","open-source-aion.905aee629b":"Postup, důvod, který si můžete přečíst, a stejné pravidlo pro všechny, kterých se to týká","open-source-aion.4d0ee37058":"DATUM","open-source-aion.6ccb4a6f6a":"STEJNÝ DŮVOD","open-source-aion.84adcc762b":"STEJNÁ KONTROLA","open-source-aion.56c6f422d8":"To je dopis, který může napsat kdokoli. Místo toho, abyste řekli, že systém rozhodl, můžete citovat pravidlo, uvést datum, uvést verzi a zeptat se toho, kdo to napsal, zda to myslel tak, jak to stojí.","open-source-aion.073cdea47b":"To má hodnotu jen tehdy, pokud to vidíte, takže vám zůstanou tři věci, které můžete použít. Pravidlo, obyčejnými slovy, která můžete přečíst nahlas. Důvod, proč se na vás vztahovalo, citující toto pravidlo zpět s vaší vlastní situací. A datum, kdy byl postup zkontrolován. Tento záznam uvádí, co to zkontrolovalo a proti které verzi pravidel to bylo kontrolováno.","open-source-aion.a50f912efb":"Co s tím můžete dělat","open-source-aion.1d94c73b03":"Dejte stejný postup AION dvakrát a kontrola vyjde stejně, v pondělí i v pátek, pro vás i pro člověka za vámi ve frontě. Není to tak, že každý dostane stejnou odpověď, protože lidé přinášejí různé situace. Jde o to, že samotná kontrola se nemění a nikdo váš případ neinterpretuje na místě. O rok později se stejný postup kontroluje podle stejných písemných pravidel, takže odpověď, kterou jste dostali, lze stále vysvětlit.","open-source-aion.fba7a52bf4":"v pondělí i v pátek","open-source-aion.77a3327a99":"Zkontrolováno stejně","open-source-aion.cebde51ae2":"Co vám zůstává","open-source-aion.a566f0cb1b":"Čas je jeden druh pravidla. Většina z nich je obyčejný druh, aplikovaný na všechny","open-source-aion.29231cd04d":"VČAS","open-source-aion.d89f7642e7":"HLÍDÁNO","open-source-aion.5d491ce50f":"ZBÝVAJÍCÍ DNY","open-source-aion.c50722f442":"Stejné čtení funguje po datu i před ním. Čtrnáct dní zpětně je skutečnost, na kterou se lze někoho zeptat, s připojeným datem, spíše než červená značka, která přišla bez varování.","open-source-aion.0b1cbd5f8a":"Prospěch vám neřekne nic, dokud nepřestane být prospěchem, a do té doby jsou levné možnosti pryč. Číslo vám řekne, kde jste: dvacet dva dní zbývá je poznámka v diáři, čtyři dny zbývá je tento týden, jeden den zbývá je dnes ráno.","open-source-aion.af41b675b0":"Co vám to dává","open-source-aion.2ff91b62ec":"Pravidla s hodinami jsou ta, která lidi zaskočí. Odpověď splatná do třiceti dnů, lhůta pro vrácení, období, po kterém musí být něco smazáno. AION je sleduje, dokud běží, a hlásí, kolik prostoru dnes zbývá, jako počet dní.","open-source-aion.94dc6c2b80":"dlouho před tím posledním","open-source-aion.6bdbc0422a":"Můžete vidět zbývající dny","open-source-aion.37f768721f":"Termíny, které se vás týkají","open-source-aion.e3c2d4b24a":"Práce na místě také znamená, že může pro vás hlídat čas","open-source-aion.4ace2cc9bc":"ŽÁDNÝ ÚČET","open-source-aion.c5c3055a7b":"NIC ODESLÁNO","open-source-aion.a5b9137c2b":"ZŮSTÁVÁ TADY","open-source-aion.874bab5372":"Pokud je vůbec zapojeno připojení, je to takové, které někdo záměrně nastavil mezi svými vlastními stroji, a je vypnuté, dokud to neudělá. Vaše věta se čte podle písemných pravidel, ve stejné místnosti jako vy, a odpověď dorazí s vypnutým připojením. Nic neopustilo stroj, aby to vzniklo, a nic nebylo odesláno.","open-source-aion.4a03f17947":"Žádný účet, žádná registrace a žádná externí služba, která by musela fungovat, být důvěryhodná nebo příští rok stále existovat, abyste dostali odpověď.","open-source-aion.f10eb79b5b":"Co to pro vás znamená","open-source-aion.c17d4e01b4":"Mnoho nástrojů odpovídá na otázku o vás tím, že odešle vaše údaje a čeká na odpověď. Vaše informace cestovaly, ke společnosti, kterou jste si nevybrali, možná do země, jejíž jméno se nikdy nedozvíte. AION dělá práci tam, kde už je. Nic se neposílá, protože není co posílat.","open-source-aion.9e50609149":"na stroji, u kterého jste","open-source-aion.ca67037369":"Odpověď je vypočítána","open-source-aion.7df600af96":"Kam jdou vaše údaje","open-source-aion.399483042a":"Být dotázán je jedna polovina. Druhá polovina je to, co vám řeknou, když je odpověď ne","open-source-aion.0b5b7048ea":"VY SI VYBÍRÁTE","open-source-aion.f12c755afa":"PTÁ SE VÁS","open-source-aion.300453f44e":"DVA VÝZNAMY","open-source-aion.6debd2c487":"Což zní jako malá zdvořilost. Je to rozdíl mezi pravidlem, se kterým jste souhlasili, a pravidlem, které za vás někdo odhadl, ve spěchu, v den, kdy jste tam nebyli. Odhad je běžný způsob, jak se to dělá, a nikdo se nikdy nedozví, že se to stalo. Ptát se stojí okamžik a odstraní odhad ze záznamu.","open-source-aion.6f02dd9d43":"AION se zastaví a zeptá se. Cituje vám zpět slova, kterými si není jistý, předloží obě čtení v běžném jazyce, položí otázku s vaší vlastní frází uvnitř a čeká. Vy si vyberete. Nic se nerozhoduje, dokud je otázka otevřená.","open-source-aion.0ccfcd0de4":"Co se mění","open-source-aion.b3124516ab":"„Zrušit, pokud je zpoždění více než jedna hodina.“ Je zpoždění sedmdesát pět minut více než jedna hodina, nebo se hodiny počítají celé, takže sedmdesát pět minut je jedna hodina a jedna hodina není více než jedna? Obě čtení jsou běžná angličtina. Neshodují se přesně v jednom případě, a ten případ se objeví.","open-source-aion.4449c95cf9":"znamenat dvě věci, zeptá se","open-source-aion.75ca04ac1b":"Pokud by vaše věta mohla","open-source-aion.2297deb89a":"Když je vaše věta nejasná","open-source-aion.32cf0852b8":"Věta může také znamenat dvě věci najednou, a to stojí za zastavení","open-source-aion.b5d2541ad8":"ŽÁDNÝ ŽARGON","open-source-aion.3b7c198e57":"VRACÍ SE TO","open-source-aion.c4cc4b9845":"VLASTNÍMI SLOVY","open-source-aion.5c9a5c3396":"A když se stejná věta přečte znovu, vytvoří přesně stejné pravidlo, protože nic v AION se neučí, neposouvá ani nemá mezitím lepší nápad. Pravidlo, se kterým jste jednou souhlasili, zůstává pravidlem, se kterým jste souhlasili, a osoba na přijímací straně čte vaši větu, ne něčí shrnutí. Nic na cestě to nepromění v cizí slova.","open-source-aion.ba41f25c15":"Z ponechání věty plynou dvě věci. Můžete poznat, zda byla pochopena v den, kdy jste ji napsali, a to čtením, místo abyste to zjistili z incidentu o rok později.","open-source-aion.c19473d784":"Napište pravidlo běžnými slovy a AION tato slova ponechá. Což zní jako malá zdvořilost, dokud na tom nezačne záležet: o měsíce později, když je kvůli tomuto pravidlu něco zastaveno, se věta, kterou jste napsali, vrátí na začátek vysvětlení, ve slovech, která jste zvolili.","open-source-aion.4c0e51d183":"řekli byste to nahlas","open-source-aion.dcf65c0f8a":"Napište pravidlo tak, jak","open-source-aion.e1a651b90e":"Říct, co chcete","open-source-aion.beda6f7681":"Přepočítání součtu vyžaduje zapsaný součet. Stejně tak pravidlo, a to vaše může být věta","open-source-aion.ef6371cd2e":"ZASTAVÍ TO","open-source-aion.47ce22a1f7":"KROK ZA KROKEM","open-source-aion.9195df51f1":"DRUHÉ PŘEČTENÍ","open-source-aion.b66352de76":"Zastavení je důležitá polovina. S vámi může souhlasit kdokoli. Něco, co se zastaví a ukáže na řádek, stojí za to, a takových věcí je velmi málo.","open-source-aion.e04fafc8fc":"AION sečte sloupec znovu. Ne pro účty, ale pro těžší druh práce, kterou stroje dělají, když rozhodují, že je něco povoleno, bezpečné nebo nemožné, když něco staví, když něco spouštějí vaším jménem, nebo když zjišťují, co by se stalo, než to někdo vyzkouší. Přečte postup, který zapsal první stroj, provede každý krok znovu sám a zastaví se u prvního, který nedokáže dokončit.","open-source-aion.b55b759c73":"Když účet vypadá špatně, nehádáte se o tom, zda je součet správný. Sloupec si sami znovu sečtete. Pokud dostanete stejné číslo, součet platí. Pokud se zastavíte na čtvrtém řádku, protože to nevychází, můžete přesně říct, který řádek to je, a hádka skončí jednou větou.","open-source-aion.59141b0dfa":"místo toho, abyste věřili slovu","open-source-aion.fa22d5033b":"Někdo přepočítá součet","open-source-aion.333a6c87f2":"změna vytvoří dotčenou množinu a frontu, ne tichou reinterpretaci minulosti","open-source-aion.0eecb96558":"je pět faktů","open-source-aion.59e22ed738":"vytvořeno, podepsáno, ověřeno, přijato a stále kompatibilní","open-source-aion.d78c662e5b":"zkontrolováno, ne předpokládáno","open-source-aion.5b44284acd":"stále kompatibilní s","open-source-aion.cc4bc74f90":"s verzí smlouvy","open-source-aion.3bb51eeea5":"přijato podle","open-source-aion.72954f75cf":"s verzí ověřovatele","open-source-aion.3741770a87":"ověřeno","open-source-aion.7fc7c8aef9":"přes hash pořadí odvození","open-source-aion.d2a7817a72":"podepsáno","open-source-aion.9d7c5e8097":"s verzí","open-source-aion.8fffa5fcb8":"vytvořeno","open-source-aion.756e62f03a":"Jeden výsledek, pět faktů","open-source-aion.2b8be4ecd3":"Přiřazení běží na vlastním mechanismu: podpis Ed25519 přes hash BLAKE3 pořadí odvození, s monotónním nonce a časovým razítkem, ověřitelný proti veřejnému klíči producenta. Přijetí běží na jiném, nesoucím identitu a verzi ověřovatele a verzi smlouvy, kterou udělil. Když se cokoli pod tím pohne, pravidlo kontrolora, schéma certifikátu, politika, pravidlo kompilátoru, běhová smlouva nebo verze modelu, certifikáty, které deklarovaly závislost na něm, tvoří dotčenou množinu a jsou zařazeny do fronty na znovuověření, s pojmenovanou změněnou komponentou.","open-source-aion.6b8169d142":"Verdikt sám o sobě je slovo bez autora. Pět faktů, které se obvykle sloučí do jednoho, je zde drženo odděleně: kdo vytvořil výsledek, kdo jej podepsal, co jej ověřilo, podle které smlouvy byl přijat a zda je stále kompatibilní s pravidly, jak platí dnes. To je pět různých otázek a čtyři z nich přežijí změnu dodavatele.","open-source-aion.2cd4b335f4":"Kontrolor to ověří.","open-source-aion.d15fbc9566":"Nic není ověřeno.","open-source-aion.481d0fc02c":"Celý argument","open-source-aion.ca75c84634":"Každý certifikát zde skončí jako jeden záznam a záznam drží své fakty odděleně","open-source-aion.3ecc9abb23":"ROZŠIŘITELNÉ","open-source-aion.8112bd91bc":"VZDUCHOVĚ ODDĚLENÉ","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Kde je jediné ověření skutečně příliš velké pro jeden stroj, práce se rozdělí na krychle napříč stroji se sdílením klauzulí mezi nimi a složený výsledek je přijat pouze po kontrole pokrytí: žádné dvě krychle nesmí opravit stejnou množinu literálů a to, co pokrývají, se musí sčítat do celého prostoru, ne do téměř celého. Spojení chybějící o jedničku je odmítnutí, což je stejná disciplína jako všude jinde v produktu. Kromě toho jsou registr ověřovatelů a rozšiřující API tím, jak se zde kontroluje rodina certifikátů, kterou nikdo zde nenapsal.","open-source-aion.04cd68c7fb":"Přes hranici mohou přejít jen dvě věci a obě konfigurujete vy. Cluster běží na adresách, které nastavíte. Externí producent je program, který nainstalujete a spustíte jako místní proces. V řetězci není žádný hostovaný model a žádná naše služba, která by mohla být nedostupná během vašeho incidentu nebo se změnit podle cizího plánu vydání. Vzduchově oddělený majetek ověřuje přesně jako připojený, protože ověřování producenta nikdy nepotřebovalo.","open-source-aion.ac1913e46c":"Dvě cesty ven a obě jsou vaše","open-source-aion.c2193fefe2":"Ověřování je výpočet jako každý jiný a to, kde běží, je vaše rozhodnutí. AION vychází 1. září 2026: jakmile je úložiště veřejné, propojte knihovnu, spusťte příkaz nebo postavte službu uvnitř vlastní hranice. Výchozí sestavení nenese žádného odchozího klienta, takže kontrola certifikátu nevyžaduje účet, poskytovatele ani cestu ven ze stroje, na kterém začala.","open-source-aion.72d09c5994":"služba nebo enkláva","open-source-aion.f8ac38e647":"Knihovna, příkaz","open-source-aion.604918db00":"Kde probíhá ověřování","open-source-aion.c07ebfbab5":"Archiv zůstává nehybný. Poslední otázka zní, kde se to celé skutečně spouští","open-source-aion.d34941b7ce":"INDEXOVÁNO","open-source-aion.79ae623ce9":"ADRESOVÁNO OBSAHEM","open-source-aion.0f7d1ea9ca":"Část, kterou je třeba vytvořit, nikoli předpokládat, je index. Když se změní pravidlo kontrolora, schéma certifikátu, politika, pravidlo kompilátoru, běhová smlouva nebo verze modelu, certifikáty, jejichž platnost závisela na změněné komponentě, se najdou vyhledáním, nikoli prohledáváním všeho a doufáním. Závislosti jsou deklarovány v obálce, takže dotčená množina je dotaz a fronta pro opětovné ověření je jeho výsledek, přičemž u každé položky je uvedena změněná komponenta. Alternativa, kterou většina organizací skutečně má, je volba mezi opětovným prozkoumáním všeho a opětovným neprozkoumáním ničeho.","open-source-aion.144711734a":"Úložiště je užitečné pouze tehdy, pokud je může otevřít i čtenář, který se posunul dál, takže každý záznam nese podpis producenta, identitu a verzi ověřovatele, který jej přijal, verzi smlouvy, podle které byl přijat, a závislosti, na kterých spočívá. Při návratu se spustí test kompatibility.","open-source-aion.22f96be502":"Dotčená množina je skutečný index","open-source-aion.a1b04ec691":"Certifikáty, které stojí za to uchovat, jsou ty, na které se vás budou ptát o roky později. AION ukládá přijatý certifikát kompaktně a podle adresy obsahu: identifikátory jako rozdíly, opakované vzory zakódované délkou běhu, identické poddůkazy hašované a uložené jednou, a celá věc adresovaná obsahem, nikoli tím, kam ji někdo zařadil. Adresa obsahu umožňuje čtenáři, který se posunul dál, najít stejný certifikát znovu a zkontrolovat jej podruhé, roky po běhu, který jej vytvořil.","open-source-aion.c017c017d7":"a zůstává znovu kontrolovatelný","open-source-aion.2e10b84b57":"Certifikát zůstává malý","open-source-aion.9263a81467":"Uložení toho, co bylo zkontrolováno","open-source-aion.1f029bacad":"Šest rodin a každá z nich skončí ve stejném záznamu","open-source-aion.1deb4d4a29":"TRAJEKTORIE","open-source-aion.f8d5b44c34":"INVARIANTY","open-source-aion.52dd7acef9":"SHODA","open-source-aion.24d7374cb9":"Jejich oddělení je to, co dělá první dvě k něčemu užitečnými. Ujištění, které tiše implikuje třetí, je to, které selže před regulátorem, a certifikát, který pojmenovává svůj vlastní limit, je ten, který přežije jednání.","open-source-aion.0e4ffe42fa":"Simulaci se kladou tři různé otázky a být upřímný ohledně toho, které dvě jsou zde zodpověditelné, je celý profesní obsah této části. Shoda provedení se ptá, zda deklarovaný model, parametry a konfigurace skutečně vytvořily tuto trajektorii, a to je kontrolovatelné. Matematická kontrola vlastností se ptá, zda uvedené invarianty platí v průběhu běhu, a to je také kontrolovatelné, přičemž selhání vrací stopu, nikoli verdikt. Fyzická platnost se ptá, zda model představuje skutečný svět, a žádný certifikát to nezakládá. Patří vlastníkovi modelu a patří mu trvale.","open-source-aion.bb70d13ca4":"Čára, na kterou si tato část dává pozor","open-source-aion.ac558913f9":"Výsledek simulace se používá k rozhodování dlouho poté, co běh skončí. Certifikát nese identitu modelu a FMU, sadu parametrů, počáteční stav, konfiguraci řešiče, sekvenci časových kroků nebo událostí, přechody stavů, provedené kontroly invariantů, stav konvergence nebo ukončení, hash výsledné trajektorie a protipříkladovou stopu, pokud vlastnost selže.","open-source-aion.1c9f5f0f21":"odpovídá přesně na dvě z nich","open-source-aion.242c47d00a":"Tři otázky a toto","open-source-aion.a635f9edf3":"Twin a FMI, certifikováno","open-source-aion.43f8bc442f":"Provedení je jeden běh jedné věci. Simulace jich dělá miliony najednou","open-source-aion.d3a968f797":"ID VÝSTUPU","open-source-aion.d79014995c":"DOLOŽENO","open-source-aion.2fbbf64505":"SCHOPNOSTI","open-source-aion.51fd9d7843":"Determinismus je to, co dělá zbytek kontrolovatelným. Protože přechody jsou deterministické vzhledem k modulu, vstupům a oprávněním, může je ověřovatel sledovat bez opětovného spuštění úlohy v jejím původním prostředí, a dva běhy, které tvrdí stejnou identitu výstupu ze stejných vstupů, buď souhlasí, nebo ukazují na přechod, kde se přestaly shodovat. To je v praxi běhové doložení: co běželo, pod jakou autoritou, kontrolovatelné bez opětovného spuštění.","open-source-aion.0d0fd79859":"Většina otázek kladených o úloze dodatečně jsou ve skutečnosti otázky o její autoritě. Čeho se tato věc mohla během běhu dosáhnout a dosáhla něčeho dalšího. Certifikát, který nese oprávnění schopností spolu s přechody, na to odpovídá bez toho, aby někdo četl protokol, a odpovídá na to někomu, kdo neprovozuje běhové prostředí.","open-source-aion.890c61e134":"Proč je sada schopností zajímavým polem","open-source-aion.1331fa2052":"Stav ukončení říká, že úloha skončila. Certifikát provedení říká, co skončilo: identita úlohy a modulu, verze běhového prostředí, oprávnění schopností, která držela, vstupy, které přijala, deterministické přechody stavů, kterými prošla, limity zdrojů, ve kterých běžela, identita výstupu, který vytvořila, a zda byla dokončena nebo zachycena. Každé z těchto polí může odpovědět na pozdější otázku, bez návratu k počítači, který ji spustil.","open-source-aion.65576ef482":"pod jakými schopnostmi","open-source-aion.74a9894f4f":"Co běželo, na čem a","open-source-aion.eabc461dcf":"Selvedge, certifikováno","open-source-aion.b4792818f1":"Zkompilovaný artefakt musí stále někde běžet a tento běh je také tvrzení","open-source-aion.414cbcc9ec":"PŮVOD","open-source-aion.24466ece94":"ZE ZDROJE DO ARTEFAKTU","open-source-aion.c81d361198":"Právě tato přesnost dělá artefakt užitečným dále v řetězci. V regulovaném sestavení není otázka často to, zda je kompilátor dobrý. Je to to, zda tento binární soubor odpovídá tomuto zdrojovému grafu při této konfiguraci optimalizace, což je otázka s odpovědí, a odpověď cestuje s artefaktem, nikoli žije v sestavovacím systému, který jej vytvořil. To je to, co znamená provenance sestavení v praxi: tvrzení o tomto artefaktu, ověřitelné bez sestavovacího systému, který jej vytvořil.","open-source-aion.6c1fd4df2b":"Deklarace je disciplína. Certifikát netvrdí, že každá optimalizace byla správná jako jedno nediferencované tvrzení, protože takové tvrzení není ani ověřitelné, ani pravdivé o žádném skutečném kompilátoru. Pojmenovává přesně, které vlastnosti zachování nebo ekvivalence stanovuje napříč kterými transformacemi, a verifikátor kontroluje právě tyto a nehlásí nic jiného.","open-source-aion.fd5ed4a1d8":"Pojmenovaná tvrzení, ne jedno blanketní","open-source-aion.82a76c947a":"Kompilátor vám předá artefakt a návratový stav. Kompilační certifikát nese to, čím má tento artefakt být: identitu zdroje nebo grafu, ze kterého pochází, verzi kompilátoru a optimalizace, použitou sekvenci transformací, zachování typů a tvarů napříč těmito transformacemi, vybraná jádra, identitu vytvořeného artefaktu a kontroly ekvivalence nebo invariantů, které certifikát deklaruje.","open-source-aion.06efebf0f5":"o zdroji, ze kterého pochází","open-source-aion.3f208ecc5e":"Binární soubor je také tvrzení","open-source-aion.716710e273":"Kera, certifikovaná","open-source-aion.89572e64cc":"Organizace může být certifikovaná. Stejně tak kompilátor, který postavil to, na čem běží","open-source-aion.502114d554":"ÚČTENKY","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORITA","open-source-aion.965738574a":"Hodnota se projeví, když je operace zpochybněna. Stopa pracovního postupu je vyprávění organizace o sobě samé. Certifikát, který nezávislý verifikátor přijal pod pojmenovanou verzí smlouvy, je jiná třída důkazů a rozdíl je přesně ten, který AION existuje, aby vytvořil.","open-source-aion.f4652935ed":"Toto je certifikát o řízené operaci, ne o tom, co si agent myslel. Řeší otázky, které někdo skutečně položí: zda autorita existovala v okamžiku, kdy akce proběhla, zda brána, která měla držet, držela, zda bylo schválení připojeno k akci, nikoli ke zprávě poblíž ní, a zda přechody stavů, které záznam tvrdí, jsou ty, které smlouva povoluje. To vše je strojově ověřitelné a žádné z toho nevyžaduje přístup k modelu.","open-source-aion.be15814346":"Co stanovuje, a co ne","open-source-aion.38d3c11f27":"Dokončený pracovní postup je tvrzení jako každé jiné. Organizační certifikát stanovuje řízenou operaci, která skutečně proběhla: cíl a verzi politiky, pod kterou běžela, vytvořenou organizaci, vyřešené role a autority, provedené úkoly a jejich přechody, prošlé politické brány, připojená schválení, provedené akce a zaznamenané účtenky.","open-source-aion.65a8805f19":"že se řídil svou smlouvou","open-source-aion.f827cfbcbf":"Operaci lze dokázat","open-source-aion.07fba05892":"Nexus, certifikovaný","open-source-aion.c6fd961235":"Uvažování je jeden producent. Organizace agentů je těžší věc k certifikaci","open-source-aion.2764d46fd5":"ŽÁDNÉ VOLÁNÍ MODELU","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Anglické front-end pro požadavky patří také sem, protože certifikát uvažování je jen tak přezkoumatelný, jako omezení na jeho vrcholu. Deterministická knihovna vzorů vrací formální podmínky seřazené podle toho, kolik spouštěcích frází se shodlo, každá nese svůj prostý výklad a množství, se kterými pracuje, a kde věta skutečně nese více než jeden výklad, zvedne nejednoznačnost s pojmenovanou otázkou, místo aby ji tiše vyřešila.","open-source-aion.c4d7d27503":"Pod tím sedí producenti obou druhů a jsou přijímáni přes stejnou hranici. AION rozhoduje booleovskou strukturu, aritmetiku rozdílové logiky, bitvectorová slova a rovnost s neinterpretovanými funkcemi sám, nad úplným prohledáváním řízeným konflikty se dvěma sledovanými literály, haldou řazenou heuristikou aktivity, geometrickými restarty a mazáním klauzulí na základě aktivity. Při neuspokojitelné odpovědi vrací jádro, které pojmenovává, která z vašich vlastních omezení bojovala, místo aby popisovalo hledání, které je našlo. Externí solver běží jako vlastní proces a vrací důkaz, a nic jiného než tento soubor mezi nimi nepřechází. Jakýkoli nástroj, který emituje důkaz ve formátu, pro který AION nese kontrolor, kvalifikuje se, mezi nimi cvc5, a hranicí je formát, nikoli dodavatel.","open-source-aion.5264c1875d":"Producenti, nativní a externí","open-source-aion.09b6611fc2":"Loom uvažuje. To, co AION kontroluje, je artefakt, který uvažování zanechává: omezení, která byla aktivní, pravidla, která byla aplikována, podproblémy, které šly do solveru, certifikáty, které tyto solvery vrátily, nalezené rozpory, meze, které uzavřely rozhodnutí, a konečně tvrzené tvrzení. Explicitní výpočetní artefakty a deklarované derivace, kontrolované jako takové.","open-source-aion.2224f4889f":"derivace, na které spočívá","open-source-aion.1aceefa727":"Závěr přichází s","open-source-aion.40e8df9cbd":"Loom a solvery pod ním","open-source-aion.cbac360b09":"Booleovské a aritmetické kroky jsou jedna rodina. Uvažování je místo, kde zásobník začíná","open-source-aion.9786d05f5a":"FUZZOVÁNO","open-source-aion.a9bb80378b":"Znovu odvozeno","open-source-aion.0204e8b30c":"Pravidlo po pravidle","open-source-aion.a43c278b96":"Na úrovni klauzulí je každý přírůstek odvozen z prvních principů: předpokládej, že nová klauzule je nepravdivá, propaguj klauzule, na které odkazují její nápovědy, a vyžaduj konflikt, který tyto nápovědy slibovaly. Pokud samotná propagace nestačí, přírůstek přechází na přísnější podmínku týkající se jmenovaného pivotního literálu vůči každé klauzuli, se kterou by se tento pivot mohl vypořádat, takže krok nelze protlačit pouhým jmenováním pivotu, který klauzule neobsahuje. Vzorec i důkaz se čtou řádek po řádku, takže důkaz větší než paměť stroje je stále zkontrolován celý. Vlastní sada AION je vůči AION nepřátelská: nápověda odkazující na krok, který má ospravedlnit, dva kroky stojící na sobě, tvrzený, ale chybějící pivot, dvě klauzule pod jedním identifikátorem, koncová značka použitá jako identifikátor, smazání klauzule, která nikdy nebyla přidána, a stejná klauzule smazaná dvakrát. Každý čtenář, který se dotkne souboru napsaného někým jiným, je testován proti nasazenému korpusu.","open-source-aion.13a29c20f0":"Tři podmínky předcházejí kontrole pravidel u každého kroku v pevném pořadí: zda krok odkazuje sám na sebe, zda je každé číslo, na které odkazuje, přítomno, a zda je některé z nich číslováno výše než krok, který na něj odkazuje. Před všemi čtyřmi je soubor jednou prohledán na opakované číslo kroku. Pouze důkaz, jehož každý krok projde vším tím, se dostane k poslední podmínce, kterou je, zda soubor končí sporem. Odvození, které skončí s dosud stojícími literály, prošlo vším ostatním a přesto je odmítnuto.","open-source-aion.f626b7a7da":"Pod povrchem","open-source-aion.1a95f2e67d":"Důkazy klauzulí v rodině LRAT, což je SAT, a důkazy pravidel ve formátu Alethe, což je SMT, jsou rodinou s nejdelší historií lidí, kteří se ji snažili porazit, což z ní činí tu správnou k předvedení. AION přiřazuje každý krok rutině, která implementuje jeho pravidlo, a název pravidla bez ničeho za ním ukončí čtení spíše než aby tiše prošel, s číslem kroku a pravidlem vytištěnými.","open-source-aion.8294eed416":"a neznámé pravidlo to zastaví","open-source-aion.9959b32cda":"Každý krok splňuje čtyři testy","open-source-aion.3821e115bc":"Rodina s protivníky","open-source-aion.c415bc49f1":"Nejstarší rodina je ta s nejvíce protivníky, takže je ta, na kterou se podíváme jako první","open-source-aion.06d55361b1":"VERZOVANÉ","open-source-aion.bca8de5f5a":"DEVĚT RODIN","open-source-aion.187b58774c":"Rodiny jsou verzovány odděleně ze stejného důvodu. Sada pravidel se může zpřísnit v logické rodině, aniž by to narušilo simulační rodinu, a sada ovlivněných certifikátů pro tuto změnu je přesně záznamy, které deklarovaly měněnou verzi. Dnešních devět je logika a splnitelnost, optimalizace, temporální a hypervlastnosti, uvažování, organizační, kompilace, běhové provádění, simulace a FMI a integrita úložiště.","open-source-aion.ca4a7a3c63":"Registrace rodiny je způsob, jak se systém, který neexistoval, když byl AION napsán, stane jím kontrolovatelným. Obálka je již stejná, úložná vrstva a fronta opětovného ověření již fungují, a co musí nová rodina dodat, je ověřovatel a deklarovaná sada pravidel. Software třetí strany implementující certifikační smlouvu přichází stejnými dveřmi jako cokoli našeho.","open-source-aion.6581749da9":"Proč je to registr spíše než seznam","open-source-aion.c453f0b87d":"Certifikační rodina je pojmenovaná, verzovaná smlouva spíše než formát souboru. Každá deklaruje svou identitu a verzi, typ tvrzení, který zakládá, vstupy, které vyžaduje, jak je důkaz nebo svědek reprezentován, ověřovací algoritmus, sadu pravidel, kterou ověřovatel přijímá, metadata závislostí a kompatibility, své čitelné zobrazení, pokud ho má, a vlastní taxonomii odmítnutí.","open-source-aion.29a8090d97":"a sada je rozšiřitelná","open-source-aion.7dd9783a82":"Devět rodin, jeden registr","open-source-aion.f4c0c73854":"Registr","open-source-aion.2b6d7305db":"Nezávislá kontrola potřebuje vědět, jaký druh certifikátu drží","open-source-aion.b4dee9d399":"ŽÁDNÉ PŘEHRÁNÍ","open-source-aion.1ae37e9b3a":"ŽÁDNÁ LICENCE","open-source-aion.082414b331":"OMEZENÁ KONTROLA","open-source-aion.85bcd01276":"V žádném z těchto případů ověřovatel nepotřebuje hledání producenta, heuristiky, skrytý stav, volání modelů ani běhové prostředí. To je to, co dělá nezávislé ověřování dostupným spíše než aspirativním.","open-source-aion.73dc1e45ec":"Asymetrie má stejný tvar v každé doméně a stojí za to ji vidět čtyřikrát. Vyhledávání řízené konfliktem může běžet hodiny napříč prostorem, který nikdo nedokáže vyjmenovat; důkaz klauzulí, který vydává, je sledován řádek po řádku. Kompilátor může provést stovky optimalizačních průchodů s heuristikami, kterým nikdo mimo tým nerozumí; certifikát zaznamenává tvrzení o zachování, která musí platit napříč nimi. Simulace může běžet přes miliony kroků; certifikát poskytuje kontrolní body, přechody, invarianty a stopu, díky nimž je výsledek kontrolovatelný. Operace Nexus může koordinovat mnoho agentů; certifikát zakládá autoritu, přechody stavů, schválení a účtenky akcí.","open-source-aion.3bcb80f6d9":"Co si každý producent nechává pro sebe","open-source-aion.ceb0061493":"Systém, který výsledek vyprodukoval, nemá poslední slovo o tom, zda jeho certifikát platí. AION kontroluje ohraničený artefakt spíše než opakování nákladného výpočtu, což je důvod, proč může ověřování běžet na notebooku proti práci, která clusteru zabrala víkend, a proč nepotřebuje ani licenci producenta, ani jeho stroj. Certifikát poskytuje kontrolní body, které kontrolor prochází, takže náklady na kontrolu sledují velikost artefaktu spíše než velikost hledání za ním.","open-source-aion.69524cecfe":"a to je celý trik","open-source-aion.ee21bac231":"Kontrola není přepočítávání","open-source-aion.396e9b624d":"Architektonické rozdělení","open-source-aion.504a1b0a8d":"Obálka říká, co dorazilo. Další otázka je, kdo ji smí otevřít.","open-source-aion.a9ea7a518b":"JEDNA OBÁLKA","open-source-aion.d7e877b15b":"OSM POLÍ","open-source-aion.34c043fc06":"Pole závislostí lidé podceňují. Certifikát, který spočívá na jiném certifikátu, jej pojmenovává, takže odmítnutí nebo změna schématu se šíří přes celou množinu, která se na něj spoléhala, místo aby se zastavilo u prvního záznamu, na který někdo náhodou narazí. To je to, co promění hromadu přijatých výsledků v něco, na co se můžete ptát.","open-source-aion.7dc6226fd7":"Dejte směrovací informace do užitečného zatížení a každá nová rodina certifikátů se stane novou integrací pro všechny downstream. Nechte je venku a úložiště, sledování kompatibility, fronta na opětovné ověření a záznam auditu se napíšou jednou a fungují pro rodiny, které neexistovaly, když byly vytvořeny.","open-source-aion.48eb1ab2b4":"Proč se rozdělení vyplácí","open-source-aion.419ad6edc1":"Kompilační certifikát a důkaz klauzule nemají uvnitř nic společného a dorazí ve stejné obálce. Osm polí: tvrzení, vstupy, proti kterým bylo vytvořeno, producent, verze smlouvy, typ certifikátu, užitečné zatížení certifikátu, závislosti a podpis. Vše, co je specifické pro rodinu, je uvnitř užitečného zatížení a vše, co ověřovatel potřebuje ke směrování, verzování a zaznamenání, je venku.","open-source-aion.03a195fded":"a osm polí uvnitř","open-source-aion.9895a4db76":"Každá rodina, jedna obálka","open-source-aion.33164fb254":"Společná obálka","open-source-aion.315fae6edd":"Osm druhů systémů, osm druhů tvrzení a jedna obálka, ve které všechny cestují","open-source-aion.661f13bc63":"ZKONTROLOVÁNO","open-source-aion.ea0dae37f4":"CERTIFIKÁT","open-source-aion.f07b84d4d2":"TVRZENÍ","open-source-aion.1edfca7587":"AION je ten druhý program. Vezme certifikát, který vytvořil cizinec, rekonstruuje, co tvrdí, a pokud se tvrzení nepodaří rekonstruovat, pojmenuje položku, pojmenuje pravidlo a zastaví se. Odmítnutí, které ukazuje na řádek 40, je něco, čím jediné slovo nikdy být nemůže.","open-source-aion.4428102723":"Formální metody se na tomto uspořádání shodly před desítkami let z jednoho důvodu. Producent zapíše svou práci a druhý, mnohem menší program tuto práci přečte zpět. Druhý program je ten, který stojí za to pečlivě postavit, protože je dost malý na to, aby byl pochopen od začátku do konce. AION toto uspořádání přenáší ze světa solverů a činí z něj smlouvu pro všechno ostatní: uvažování, operace agentů, kompilaci, provádění, simulaci.","open-source-aion.51edeceac1":"unsat. zkompilováno. dokončeno. bezpečné. optimální. politika prošla. simulace konvergovala. pracovní postup schválen. Osm systémů, osm slov, a ani jedno z nich nenese důvod, proč je pravdivé. Výpočet nesoucí důkaz je alternativa: producent si ponechá nákladnou práci a vydá certifikát spolu s výsledkem a někdo, kdo nemá zájem na odpovědi, tento certifikát zkontroluje.","open-source-aion.d3571e9e01":"dokud to někdo nepředělá","open-source-aion.03d9c22d95":"Výsledek je pouze tvrzení","open-source-aion.dfc28595b4":"Proč existuje druhé čtení","open-source-aion.3c6178c9cd":"Komu zpráva patří","open-source-aion.42c21bbe27":"Co případ rozhodne","open-source-aion.4d05bcfcbf":"Co vám odmítnutí umožňuje","open-source-aion.4c0a0d8ef3":"Dvě obvyklé cesty ven","open-source-aion.e097afe170":"Co vyplývá z jeho zachování","open-source-aion.c9681d6875":"Co to vlastně dělá","open-source-aion.1ee58a7b8d":"Odkud uspořádání pochází","open-source-aion.eec3b038bd":"přiřazení","open-source-aion.65279e1ecf":"ověření","oss-aion-adoption-paths.733a87e5fb":"Vyzkoušejte jednu rozhodovací cestu","oss-aion-adoption-paths.34dfd13db9":"Spusťte příklad certifikátu před integrací AION do živé rozhodovací cesty.","oss-aion-adoption-paths.3f1d1c0d24":"Prohlédněte si přiložený příklad certifikátu.","oss-aion-adoption-paths.a5339faf54":"Spusťte přiložené příklady důkazů jako kontrolu.","oss-aion-adoption-paths.b38db2875a":"Ověřte stejný certifikát pomocí aion check a nezávislého kompatibilního ověřovače.","oss-aion-adoption-paths.0e42c62826":"Váš hodnotící tým","oss-aion-adoption-paths.ca15f8db66":"Zabudujte jej do systému","oss-aion-adoption-paths.e8219f1ea8":"Váš stávající softwarový tým propojí knihovnu tak, aby systémy, které již provozujete, mohly předávat certifikát s každým rozhodnutím.","oss-aion-adoption-paths.91e2e7e34b":"Vaši inženýři přidají AION do systému, který již provozujete.","oss-aion-adoption-paths.96e8012ed9":"Každé rozhodnutí pak nese ověřitelný certifikát.","oss-aion-adoption-paths.6e56d00bc7":"Žádný nový dodavatel nestojí v cestě tohoto rozhodnutí.","oss-aion-adoption-paths.b0e0c85d36":"Váš inženýrský tým","oss-aion-adoption-paths.4637a51566":"Použijte jej při auditu","oss-aion-adoption-paths.03b3d20015":"Certifikát vytvořený dříve lze kdykoli znovu ověřit pomocí nástroje příkazového řádku, na vlastním hardwaru, offline.","oss-aion-adoption-paths.8b6e7ae424":"Uschovejte certifikát vytvořený při rozhodování.","oss-aion-adoption-paths.ab48bfd890":"Později jej znovu ověřte pomocí nástroje příkazového řádku, offline.","oss-aion-adoption-paths.6fe516ffcf":"Předložte stejný záznam regulátorovi nebo auditorovi.","oss-aion-adoption-paths.4e64c95d9e":"Váš tým pro shodu","oss-aion-adoption-paths.6b5eb5323e":"Začněte s jednou rozhodovací cestou","oss-aion-adoption-paths.1635f113ec":"Tři způsoby přijetí","oss-aion-adoption-paths.5eef32f959":"Kdo to provozuje","oss-aion-adoption-paths.29a9e7fa74":"Certifikát je identický bez ohledu na zvolenou cestu.","oss-aion-adoption-paths.3e4f1a5e1b":"Jedna knihovna, jeden nástroj příkazového řádku","oss-aion-adoption-paths.tag.d59fec26d9":"Před integrací","oss-aion-adoption-paths.tag.391b31405f":"Pro vaše inženýry","oss-aion-adoption-paths.tag.6fd7b4f249":"Pro shodu","oss-aion-archive-parts.cea57012da":"nekomprimováno při čtení","oss-aion-archive-parts.10f2f8d11a":"komprimováno pro polici","oss-aion-archive-parts.0468a5b797":"ARCHIV","oss-aion-archive-parts.bce5035461":"a jedno pole, které je přežije","oss-aion-archive-parts.bd678f55fe":"Čtyři pohyby na jednom certifikátu","oss-aion-archive-parts.44e396b17f":"Který ověřovatel jej přijal, pod kterou verzí smlouvy.","oss-aion-archive-parts.5348eece0f":"Ověřovatel a smlouva zachovány","oss-aion-archive-parts.53229277ab":"Identické dílčí důkazy uloženy jednou a dále citovány pomocí hashe.","oss-aion-archive-parts.0f6513214f":"Dílčí důkazy hashovány","oss-aion-archive-parts.76a7786a63":"Opakovaný vzor uložen jednou, s délkou, po kterou se opakuje.","oss-aion-archive-parts.9e1a0f7aac":"Běhy zkolabovány","oss-aion-archive-parts.d6f5880b44":"Každý identifikátor uložen jako jeho vzdálenost od předchozího.","oss-aion-archive-parts.6b78716e70":"Identifikátory jako mezery","oss-aion-archived-proof.5808299e06":"vyhledáno, ne prohledáno","oss-aion-archived-proof.39241dfc0d":"Zbytek zůstal zavřený, protože index už věděl, že nejsou ovlivněny.","oss-aion-archived-proof.d84b2eb85d":"Devět deklarovaných závislostí, dva stažené panely, pět pojmenovaných certifikátů.","oss-aion-archived-proof.c9269e3e61":"sedm panelů zůstalo zavřených","oss-aion-archived-proof.6f13975269":"stále kompatibilní","oss-aion-archived-proof.8ec798a819":"pravidlo r7","oss-aion-archived-proof.4b50837e2e":"ve frontě k opětovnému přečtení","oss-aion-archived-proof.2a858a12ec":"pravidlo r7 nahrazeno ve verifikátoru 2.5.0","oss-aion-archived-proof.0b58a007b4":"oznámení o změně","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"stejný certifikát","oss-aion-archived-proof.4b37dd07e6":"jak archivováno","oss-aion-archived-proof.39c9f8bf3a":"dva dílčí důkazy, jeden tvar","oss-aion-archived-proof.8c28e2d0a9":"jeden blok, uchován jednou","oss-aion-archived-proof.e75bd8054c":"identifikátory jako mezery","oss-aion-archived-proof.9bfe0da4af":"jeden dlouhý soubor","oss-aion-archived-proof.46dc2748fa":"jak vytvořeno","oss-aion-archived-proof.b6a0714797":"ilustrativní identifikátory","oss-aion-archived-proof.16bb6017da":"dvě z pěti ve frontě","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 kontrakt 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":"kontrakt","oss-aion-archived-proof.e15436a2bb":"verifikátor","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Proč byla moje žádost zamítnuta strojem?","oss-aion-asked-questions.answer.refused":"AION ukáže přesné místo, kde se kontrola zastavila, a proč, místo jednoho nevysvětleného slova.","oss-aion-asked-questions.question.check":"Mohu si automatizované rozhodnutí zkontrolovat sám?","oss-aion-asked-questions.answer.check":"Ano. AION znovu projde každý krok, na zařízení, u kterého jste, bez účtu a bez odesílání čehokoli.","oss-aion-asked-questions.question.sent":"Jsou mé informace někam odesílány?","oss-aion-asked-questions.answer.sent":"Ne. Výchozí sestavení nemá nic, čím by je mohlo odeslat. Práce probíhá tam, kde už jste.","oss-aion-asked-questions.chrome.path":"Otázky, které odmítnutí skutečně vyvolává","oss-aion-asked-questions.chrome.status":"zodpovězené otevřeně","oss-aion-asked-questions.readout":"Toto jsou tři otázky, na které tato stránka odpovídá, otevřeně, bez účtu a bez odesílání čehokoli.","oss-aion-asked-questions.band":"Položeno jednou, zodpovězeno otevřeně","oss-aion-asked-you.ef80b73d6b":"místo překvapení později","oss-aion-asked-you.7e066a9db0":"otázka hned teď","oss-aion-asked-you.fb041ecc2d":"Čeká","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"a co se stane dál","oss-aion-asked-you.fb5efec5ec":"Na co se ptá","oss-aion-asked-you.ed223cb507":"S vlastní frází uvnitř, ne formulářem k vyplnění.","oss-aion-asked-you.47ba586268":"Položí otázku","oss-aion-asked-you.16bb2c320d":"Obyčejnými slovy, ne volbou mezi symboly.","oss-aion-asked-you.590f0368a8":"Uvede obě čtení","oss-aion-asked-you.c0fedb51ee":"Část vaší věty, kterou si není jistá, vašimi slovy.","oss-aion-asked-you.945cd96360":"Cituje slova zpět","oss-aion-asymmetry.109e612009":"důkazy cestují","oss-aion-asymmetry.54086b1730":"práce zůstává u producenta","oss-aion-asymmetry.77e82797f7":"ASYMETRIE","oss-aion-asymmetry.7f5d144dcb":"na producenta","oss-aion-asymmetry.d1abed327f":"Co se nereprodukuje","oss-aion-asymmetry.816e835f60":"Autorita, přechody, schválení, potvrzení.","oss-aion-asymmetry.4f83e60cbc":"Mnoho agentů, kteří koordinují.","oss-aion-asymmetry.d946c1fc52":"Agentní systém","oss-aion-asymmetry.d978ba491a":"Kontrolní body, přechody a invarianty.","oss-aion-asymmetry.b081bda78f":"Miliony kroků integrace.","oss-aion-asymmetry.8e34943c35":"Simulace","oss-aion-asymmetry.db98a95880":"Tvrzení o zachování napříč nimi.","oss-aion-asymmetry.ce4dee4e4f":"Stovky průchodů a jejich heuristiky.","oss-aion-asymmetry.341a20e237":"Kompilátor","oss-aion-asymmetry.d50aca2923":"Odvození sledované řádek po řádku.","oss-aion-asymmetry.c0644e2b00":"Prohledávání prostoru, který nikdo nevyjmenovává.","oss-aion-asymmetry.2212b12df6":"Řešič","oss-aion-audit-flow.0d368d5958":"Je učiněno rozhodnutí","oss-aion-audit-flow.723d4b8215":"AI ve vašem systému dospěje k odpovědi.","oss-aion-audit-flow.60616f24a0":"Certifikát je uchováván","oss-aion-audit-flow.319012d052":"Odůvodnění je zaznamenáno jako přenosný záznam.","oss-aion-audit-flow.b6e0507002":"Je znovu ověřeno","oss-aion-audit-flow.060bdf8393":"Kdokoli znovu spustí kontrolu offline, na vlastním zařízení.","oss-aion-audit-flow.549ee9a7f2":"Auditor jej přijme","oss-aion-audit-flow.45d8142b03":"Důkazy, které ověřují, ne slib, kterému musí věřit.","oss-aion-audit-flow.29a5795456":"Přeposíláte protokoly a doufáte, že budou přijaty.","oss-aion-audit-flow.691576c10d":"Předáte certifikát, který si auditor ověří sám.","oss-aion-audit-flow.4f25ce109b":"Vysvětlení je vázáno na jednoho dodavatele.","oss-aion-audit-flow.17092b76ad":"Standardní formáty důkazů zajišťují, že certifikát lze ověřit i mimo původního dodavatele a běhové prostředí.","oss-aion-audit-flow.4cb1b63499":"Záznam je znovu ověřen na infrastruktuře, kterou neovládáte.","oss-aion-audit-flow.c0baf00a21":"Záznam je znovu ověřen offline, na hardwaru, který ovládáte.","oss-aion-audit-flow.1574ac4dc4":"Od rozhodnutí k přijatým důkazům","oss-aion-audit-flow.0fc25779d4":"Bez ověřitelných důkazů","oss-aion-audit-flow.4b32d8f574":"S AION","oss-aion-audit-flow.effbb773a5":"Při auditu předkládáte důkazy, ne ujištění.","oss-aion-audit-flow.630840198f":"Nezávislé ověření","oss-aion-broken-case.b2d44d537d":"dvě části práce","oss-aion-broken-case.21a5e37384":"Opravdu se tam píše, že teď si někdo musí jednu vybrat.","oss-aion-broken-case.446dd52366":"Případ neříká, ve které z těchto dvou situací se nacházíte.","oss-aion-broken-case.1592f95dfc":"kdo vlastní specifikaci","oss-aion-broken-case.5350b811e8":"Všichni to věděli a nikdo to nikdy nezapsal, a proto byl případ vůbec k nalezení. Takže práce spočívá v doplnění chybějícího omezení.","oss-aion-broken-case.7e1ad0c117":"opakování zde nemůže proběhnout při nulovém zůstatku","oss-aion-broken-case.e2acc6be4b":"může se to stát tady?","oss-aion-broken-case.70cf0e9d6e":"tým, který ji provozuje","oss-aion-broken-case.f4418abec4":"Takže pravidlo je správné a systém je špatně. Práce spočívá ve změně systému.","oss-aion-broken-case.7ebf5ee2c1":"opakování při třetím pokusu s nulovým zůstatkem je běžné pondělí","oss-aion-broken-case.818db6fde5":"dávkový režim umožňuje nejvýše dvě opakování","oss-aion-broken-case.9ad82bcd1a":"žádné opakování, dokud je zůstatek nulový","oss-aion-broken-case.db09c40b94":"podmínky, které porušuje","oss-aion-broken-case.1a01155586":"Specifikace neplatí. Zde je situace, ve které neplatí, podrobně popsaná.","oss-aion-broken-case.bb5f480b82":"případ, jak se vrací","oss-aion-broken-case.8ba48b3c8c":"ilustrativní případ","oss-aion-broken-case.2a0ea29615":"jeden případ, dva vlastníci","oss-aion-broken-case.0efd66fc70":"Případ, který to rozbil","oss-aion-broken-case.fd12863535":"ne","oss-aion-broken-case.fb360f9c09":"ano","oss-aion-broken-case.e7aef2e893":"režim je dávkový (typ: text)","oss-aion-broken-case.dcfad8c5bf":"zůstatek je 0 (typ: celé číslo)","oss-aion-broken-case.bbf98b54e9":"opakování je 3 (typ: celé číslo)","oss-aion-business-glyph.9c8c22f54d":"Auditovatelné návrhem","oss-aion-business-glyph.afd7103781":"Vaše infrastruktura","oss-aion-business-glyph.ea722c81af":"Evropské","oss-aion-business-glyph.870c4d024a":"Přenosné formáty","oss-aion-business-glyph.81c093497b":"Uzavřeno certifikátem","oss-aion-business-glyph.862ee3b17a":"Expozice","oss-aion-business-glyph.6b5eb5323e":"Důkaz přiložen","oss-aion-business-glyph.b7a3f27883":"Riziko odstraněno","oss-aion-business-glyph.7ba75e0ac6":"Kontrola certifikátu o roky později","oss-aion-business-glyph.9f89ecaff5":"Původní relace je pryč","oss-aion-business-glyph.33620369b5":"Archiv","oss-aion-business-glyph.7a71b6b89e":"Na hardwaru, který ovládáte","oss-aion-business-glyph.e94a6d4bba":"Vysvětleno na cizím hardwaru","oss-aion-business-glyph.3eaad00bc0":"Data","oss-aion-business-glyph.e20fee7c23":"Samostatný kontrolní nástroj","oss-aion-business-glyph.9e3ee5bddf":"Původní model stále nutný","oss-aion-business-glyph.5cb182685f":"Ověřovatel","oss-aion-business-glyph.c5d37b3ae0":"Certifikát, který auditor kontroluje","oss-aion-business-glyph.6c4186cc8c":"Protokoly, které doufáte, že budou přijaty","oss-aion-business-glyph.d51b35c242":"Audit","oss-aion-cadence-banners.independent.eyebrow":"AION / nezávislé ověření","oss-aion-cadence-banners.independent.lead":"Důvěřujte obálce","oss-aion-cadence-banners.independent.accent":"poté, co ji přijme jiný ověřovatel","oss-aion-cadence-banners.independent.body.one":"Certifikát je užitečný, protože ověřovatel nepotřebuje běhové prostředí výrobce. Obdrží deklarované pravidlo, vstupy, výsledek a důkazy jako jednu ohraničenou obálku.","oss-aion-cadence-banners.independent.body.two":"Druhá implementace kontroluje tyto důkazy proti stejné smlouvě. Shoda je pak důkazem o výsledku, nikoli opětovným spuštěním stejné cesty kódu.","oss-aion-cadence-banners.independent.panel":"Záznam o nezávislém přijetí","oss-aion-cadence-banners.independent.tag":"ZKONTROLOVÁNO ODDĚLENĚ","oss-aion-cadence-banners.independent.item.rule.label":"Deklarované pravidlo","oss-aion-cadence-banners.independent.item.rule.detail":"Požadavek a rodina certifikátů jsou pojmenovány.","oss-aion-cadence-banners.independent.item.rule.status":"PŘÍTOMNO","oss-aion-cadence-banners.independent.item.input.label":"Ohraničené vstupy","oss-aion-cadence-banners.independent.item.input.detail":"Hodnoty použité při rozhodnutí cestují s ním.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Tvrzovaný výsledek","oss-aion-cadence-banners.independent.item.result.detail":"Výsledek je uveden před zahájením ověřování.","oss-aion-cadence-banners.independent.item.result.status":"DEKLAROVÁNO","oss-aion-cadence-banners.independent.item.verifier.label":"Samostatný ověřovatel","oss-aion-cadence-banners.independent.item.verifier.detail":"Jiná implementace kontroluje stejnou obálku.","oss-aion-cadence-banners.independent.item.verifier.status":"PŘIJATO","oss-aion-cadence-banners.independent.verdict":"důkazy přežijí mimo systém, který je vytvořil","oss-aion-cadence-banners.independent.footer":"ověření překračuje hranici implementace, aniž by ztratilo smlouvu","oss-aion-cadence-banners.refusal.eyebrow":"AION / smlouva o selhání","oss-aion-cadence-banners.refusal.lead":"Neúspěšný důkaz","oss-aion-cadence-banners.refusal.accent":"musí pojmenovat pravidlo, které nemohl splnit","oss-aion-cadence-banners.refusal.body.one":"Přesná kontrola není vágní obal na prošel/neprošel. Ověřovatel postupuje podle deklarované konverze, aritmetiky a logických bran v pořadí a zastaví se u první neplatné podmínky.","oss-aion-cadence-banners.refusal.body.two":"Toto odmítnutí patří do důkazů. Říká volajícímu, která domněnka, měřítko, termín nebo ochrana selhala dříve, než mohl jakýkoli pozdější krok skrýt příčinu.","oss-aion-cadence-banners.refusal.panel":"První selhávající brána","oss-aion-cadence-banners.refusal.tag":"ODMÍTNUTO","oss-aion-cadence-banners.refusal.item.read.label":"Přečtěte deklarované hodnoty","oss-aion-cadence-banners.refusal.item.read.detail":"Vstupy a identita pravidla jsou stanoveny před kontrolou.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Použijte deklarovanou konverzi","oss-aion-cadence-banners.refusal.item.scale.detail":"Žádný tichý záložní postup nemění aritmetickou smlouvu.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Vyhodnoťte každou bránu v pořadí","oss-aion-cadence-banners.refusal.item.check.detail":"První neplatná podmínka zůstává přiřaditelná.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Vraťte pojmenované odmítnutí","oss-aion-cadence-banners.refusal.item.refuse.detail":"Volající obdrží neúspěšné pravidlo a jeho důkazy.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"odmítnutí je přezkoumatelný důkaz, ne prázdná chyba","oss-aion-cadence-banners.refusal.footer":"první neúspěšná podmínka zůstává viditelná pro dalšího recenzenta","oss-aion-cadence-banners.certificates.eyebrow":"AION / řetězec certifikátů","oss-aion-cadence-banners.certificates.lead":"Jedno rozhodnutí","oss-aion-cadence-banners.certificates.accent":"může nést několik druhů důkazů","oss-aion-cadence-banners.certificates.body.one":"Úvaha, organizační autorita, kompilace a provedení odpovídají na různé otázky. Považovat je za jednu obecnou záruku by skrylo, kde je tvrzení silné a kde je ještě potřeba další kontrola.","oss-aion-cadence-banners.certificates.body.two":"AION udržuje certifikáty oddělené a propojuje je se stejným záznamem rozhodnutí. Recenzent může sledovat řetězec, aniž by si spletl autoritu s aritmetikou nebo úspěšné spuštění se schváleným pravidlem.","oss-aion-cadence-banners.certificates.panel":"Trasa důkazů rozhodnutí","oss-aion-cadence-banners.certificates.tag":"PROPOJENO","oss-aion-cadence-banners.certificates.item.reasoning.label":"Certifikát úvahy","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Ukazuje, proč uvedený závěr vyplývá.","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":"Jmenuje, kdo může akci schválit nebo provést.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORITA","oss-aion-cadence-banners.certificates.item.compile.label":"Certifikát kompilace","oss-aion-cadence-banners.certificates.item.compile.detail":"Spojuje zdroj, transformaci a vytvořený artefakt.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Certifikát provedení","oss-aion-cadence-banners.certificates.item.execution.detail":"Zaznamenává, co běželo, kde a s jakými vstupy.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"každé tvrzení si ponechává rodinu certifikátů, která je může skutečně podpořit","oss-aion-cadence-banners.certificates.footer":"propojené důkazy zůstávají dostatečně konkrétní, aby je bylo možné zpochybnit","oss-aion-cadence-banners.recheck.eyebrow":"AION / výsledek, ke kterému se můžete vrátit","oss-aion-cadence-banners.recheck.lead":"Stejné pravidlo","oss-aion-cadence-banners.recheck.accent":"lze později znovu zkontrolovat","oss-aion-cadence-banners.recheck.body.one":"Věta, zvolený význam a časový limit zůstávají připojeny k výsledku. Můžete vidět, co bylo rozhodnuto a jak dlouho rozhodnutí zůstává platné, aniž byste materiál odesílali pryč.","oss-aion-cadence-banners.recheck.body.two":"Když se pravidlo nebo datum změní, záznam identifikuje, co potřebuje další kontrolu. Dřívější odpověď zůstává viditelná, místo aby byla tiše nahrazena.","oss-aion-cadence-banners.recheck.panel":"Co recheck sleduje","oss-aion-cadence-banners.recheck.tag":"OPAKOVATELNÉ","oss-aion-cadence-banners.recheck.item.sentence.label":"Vaše původní věta","oss-aion-cadence-banners.recheck.item.sentence.detail":"Znění zůstává vedle interpretace.","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 napsáno jasně.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Datum platnosti","oss-aion-cadence-banners.recheck.item.deadline.detail":"Zbývající čas je viditelný před vypršením výsledku.","oss-aion-cadence-banners.recheck.item.deadline.status":"VIDITELNÉ","oss-aion-cadence-banners.recheck.item.result.label":"Nový check","oss-aion-cadence-banners.recheck.item.result.detail":"Stejné důkazy lze vyhodnotit znovu.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"můžete se vrátit k odpovědi, aniž byste ztratili důvod za ní","oss-aion-cadence-banners.recheck.footer":"záznam drží slova, pravidlo a datum pohromadě","oss-aion-cadence-banners.supplier.eyebrow":"AION / důkazy od dodavatele","oss-aion-cadence-banners.supplier.lead":"Odpověď dodavatele","oss-aion-cadence-banners.supplier.accent":"by měla přijít s něčím, co můžete zkontrolovat","oss-aion-cadence-banners.supplier.body.one":"Certifikát odděluje výsledek od nástroje dodavatele. Uvádí, co bylo zkontrolováno, která rodina důkazů se použije a které vstupy a artefakty patří k tvrzení.","oss-aion-cadence-banners.supplier.body.two":"Váš tým může tyto důkazy uchovat a použít jiný ověřovač. Přezkum již nezávisí na přístupu k původní službě ani na žádosti, aby dodavatel spuštění zopakoval.","oss-aion-cadence-banners.supplier.panel":"Důkazy obdržené s výsledkem","oss-aion-cadence-banners.supplier.tag":"PŘENOSITELNÉ","oss-aion-cadence-banners.supplier.item.claim.label":"Tvrzení dodavatele","oss-aion-cadence-banners.supplier.item.claim.detail":"Výsledek a jeho rozsah jsou uvedeny výslovně.","oss-aion-cadence-banners.supplier.item.claim.status":"OBDRŽENO","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 tvrzením.","oss-aion-cadence-banners.supplier.item.certificate.status":"PŘIPOJENO","oss-aion-cadence-banners.supplier.item.coverage.label":"Prohlášení o pokrytí","oss-aion-cadence-banners.supplier.item.coverage.detail":"Rodina certifikátu říká, co může prokázat.","oss-aion-cadence-banners.supplier.item.coverage.status":"OHRANIČENÉ","oss-aion-cadence-banners.supplier.item.checker.label":"Nezávislý kontrolor","oss-aion-cadence-banners.supplier.item.checker.detail":"Vaše strana ověřuje důkazy bez výrobce.","oss-aion-cadence-banners.supplier.item.checker.status":"DOSTUPNÉ","oss-aion-cadence-banners.supplier.verdict":"důkazy zůstávají užitečné i po skončení spuštění dodavatele","oss-aion-cadence-banners.supplier.footer":"ověřitelný výsledek se snáze uchovává, porovnává a zpochybňuje","oss-aion-cadence-banners.boundary.eyebrow":"AION / řízený přezkum","oss-aion-cadence-banners.boundary.lead":"Přezkum zůstává uvnitř","oss-aion-cadence-banners.boundary.accent":"hranice, kterou vaše organizace nastaví","oss-aion-cadence-banners.boundary.body.one":"Případ, pravidlo a certifikát lze zkontrolovat tam, kde již žijí. Lokální ověření zabrání tomu, aby se přezkum stal další cestou úniku materiálu, který je předmětem zkoumání.","oss-aion-cadence-banners.boundary.body.two":"Záznam stále uvádí vlastnost, která byla prokázána, a použité důkazy. Uchování dat na místě neznamená vzdát se přiřaditelného auditu.","oss-aion-cadence-banners.boundary.panel":"Cesta přezkumu na místě","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Otevřete uchovaný případ","oss-aion-cadence-banners.boundary.item.case.detail":"Zdrojový materiál zůstává ve svém stávajícím prostředí.","oss-aion-cadence-banners.boundary.item.case.status":"NA MÍSTĚ","oss-aion-cadence-banners.boundary.item.property.label":"Vyberte tvrzení ke kontrole","oss-aion-cadence-banners.boundary.item.property.detail":"Rozsah certifikátu zůstává výslovný.","oss-aion-cadence-banners.boundary.item.property.status":"OHRANIČENÉ","oss-aion-cadence-banners.boundary.item.perimeter.label":"Spusťte v rámci perimetru","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Pro ověření není vyžadována žádná odchozí služba.","oss-aion-cadence-banners.boundary.item.perimeter.status":"OBSAŽENO","oss-aion-cadence-banners.boundary.item.record.label":"Uchovejte záznam přezkumu","oss-aion-cadence-banners.boundary.item.record.detail":"Vstupy, kontrolor a výsledek zůstávají přiřaditelné.","oss-aion-cadence-banners.boundary.item.record.status":"ZAZNAMENÁNO","oss-aion-cadence-banners.boundary.verdict":"důkazy lze zkontrolovat bez vytvoření nového přenosu dat","oss-aion-cadence-banners.boundary.footer":"lokální spuštění a přezkoumatelné důkazy patří do stejné kontroly","oss-aion-case-fields.ce69e76708":"případ zahajuje rozhodnutí","oss-aion-case-fields.9a83c048c3":"verdikt ukončuje kontrolu","oss-aion-case-fields.afc58d4c40":"první, který selže, jménem","oss-aion-case-fields.3bc6a69e80":"zůstatek musí před opakováním přesáhnout nulu","oss-aion-case-fields.4e0285b28b":"podmínka porušena","oss-aion-case-fields.4e0af55321":"PROTIPŘÍKLAD","oss-aion-case-fields.344daefb37":"Jeden případ v plném rozsahu","oss-aion-case-fields.62e0ec394a":"hodnoty a jejich typy","oss-aion-case-fields.7f01fe787c":"dávka","oss-aion-checked-not-rerun.dd5b6cbe2b":"jeden merge, jedna absence","oss-aion-checked-not-rerun.846a719bdc":"Poslední řádek nemá protějšek za žádnou cenu.","oss-aion-checked-not-rerun.6c26a05ac4":"Pět ze sedmi jde a dva z nich se sloučí.","oss-aion-checked-not-rerun.4f01efffc8":"přečteno někým, kdo nikdy nedržel jejich software","oss-aion-checked-not-rerun.a70205a694":"porovnáno s příštím čtvrtletím","oss-aion-checked-not-rerun.0d85e26645":"archivováno s rozhodnutím, které podporovalo","oss-aion-checked-not-rerun.ffc7dbc2ad":"co držíte poté","oss-aion-checked-not-rerun.d6124c1aee":"nic vlevo toto neprodukuje","oss-aion-checked-not-rerun.9b9252883d":"samotný certifikát","oss-aion-checked-not-rerun.0bfa7a3bd8":"deklarované vstupy a smlouva","oss-aion-checked-not-rerun.d7f7f555ad":"tvrzení","oss-aion-checked-not-rerun.527c7f544a":"tři věci","oss-aion-checked-not-rerun.f8a34d2942":"zkontrolovat jejich certifikát","oss-aion-checked-not-rerun.2a20acacc2":"sedm věcí","oss-aion-checked-not-rerun.a94f90b8e9":"reprodukovat jejich systém","oss-aion-checked-not-rerun.d2eae1af1f":"stejná jistota, dvě cesty","oss-aion-checked-not-rerun.87f754c087":"pět vyškrtnuto, jedna absence","oss-aion-checked-not-rerun.2a62bb8028":"co každá cesta vyžaduje","oss-aion-checked-not-rerun.35d7d25591":"zda stále platí po změně","oss-aion-checked-not-rerun.6cd8ba818d":"na čích datech","oss-aion-checked-not-rerun.96f39a5e7d":"proti které verzi sady pravidel","oss-aion-checked-not-rerun.c8d59ae061":"které podmínky byly zkontrolovány","oss-aion-checked-not-rerun.b028b89ea7":"jejich pomoc","oss-aion-checked-not-rerun.c03c2fce6e":"stroj odpovídající velikosti","oss-aion-checked-not-rerun.867d12b7ad":"vstupní data","oss-aion-checked-not-rerun.717e42eb01":"jejich konfigurační soubor","oss-aion-checked-not-rerun.935b145c44":"odpovídající operační systém","oss-aion-checked-not-rerun.fa15ad3da2":"přesná verze, kterou použili","oss-aion-checked-not-rerun.5990a1ec89":"licence pro jejich software","oss-aion-compile-cert.b1991b0d44":"takže odmítnutí ukazuje na jeden","oss-aion-compile-cert.85edd85611":"nároky jsou pojmenovány jednotlivě","oss-aion-compile-cert.6e8814b9a0":"Co vyšlo, podle adresy obsahu, vázané na vše výše uvedené.","oss-aion-compile-cert.a41732e051":"Identita artefaktu","oss-aion-compile-cert.6d4151d7a5":"Co vstoupilo, podle adresy obsahu spíše než podle názvu souboru.","oss-aion-compile-cert.7204133281":"Identita zdroje nebo grafu","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"a co o každém tvrdí","oss-aion-compile-cert.0bcab6c465":"Co certifikát pojmenovává","oss-aion-compile-cert.027f7ee7d1":"Které vlastnosti tento certifikát napříč nimi stanovuje.","oss-aion-compile-cert.8906f98ae0":"Deklarované uchování","oss-aion-compile-cert.d186ea41e2":"Použité průchody v pořadí, v jakém byly použity.","oss-aion-compile-cert.66ad6a206e":"Sekvence transformací","oss-aion-compile-cert.ebb0c953d1":"Které sestavení, při jaké konfiguraci optimalizace.","oss-aion-compile-cert.691f87f640":"Kompilátor a optimalizace","oss-aion-console.5d71265e50":"Zkontrolujte certifikát důkazu. Žádný solver, žádná síť.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Kontrola důkazu: proof.alethe","oss-aion-console.1016f1bcf3":"Formát: Alethe","oss-aion-console.70142f344c":"Parsování: OK","oss-aion-console.8455c5ceeb":"Důkaz má N kroků","oss-aion-console.fc539fcf62":"Ověření důkazu: PROŠLO","oss-aion-console.88f6db402f":"Doba ověření: Nms","oss-aion-console.4f437cea65":"Váš kontrolor to potvrdil. Exit 0. Nic se neodeslalo.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Přečtěte certifikát","oss-aion-console.0cef7497bf":"Kontrolor otevře soubor s důkazem, který jste dostali. Nepotřebuje nic dalšího: žádné váhy modelu, žádné přihlášení k dodavateli, žádný internet.","oss-aion-console.830903eaf6":"Projděte každý krok","oss-aion-console.6ce1fb843f":"Každé odvození se přehrává proti premisám, na které odkazuje. LRAT obsahuje nápovědy pro unit propagaci, takže průchod je lineární v délce důkazu.","oss-aion-console.1044fbcb06":"Přijmout nebo odmítnout","oss-aion-console.cb4e501f7a":"Pokud každý krok platí, kontrolor vytiskne PROŠLO a ukončí se s kódem 0. Pokud některý krok neplatí, pojmenuje selhání a ukončí se s nenulovým kódem. Nic mezi tím.","oss-aion-console.b568d47f2e":"Vstup","oss-aion-console.df73f614f5":"Soubor s důkazem","oss-aion-console.0562f32dc5":"Závislosti","oss-aion-console.7334b0e2cf":"Žádné při kontrole","oss-aion-console.64ae43e8fe":"Náklady","oss-aion-console.660020f41a":"Lineární v délce důkazu","oss-aion-console.5faa59d4bc":"Výsledek","oss-aion-console.de76d16078":"PROŠLO nebo pojmenované selhání","oss-aion-console.76d6562c0a":"Kontrola","oss-aion-console.edabf74eb3":"Jeden příkaz přečte důkaz a","oss-aion-console.d161c0634a":"přijme nebo odmítne jej","oss-aion-console.a997e63df7":"Ověřovatel je nezávislý na solveru. Předložte mu certifikát a váš vlastní kontrolor\n          jej potvrdí nebo odmítne offline, bez přístupu k enginu, který jej vytvořil.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"offline kontrolor","oss-aion-console.6b5eb5323e":"Nezávislý kontrolor","oss-aion-console.165cb4a2fd":"N a Nms jsou zástupné hodnoty: skutečná čísla pocházejí z důkazu, který kontrolujete, ne\n              od nás. Povrch příkazu je skutečný, aion check parsuje, prochází a hlásí PROŠLO.","oss-aion-console.b8fae1a1a1":"AION / kontrola důkazu","oss-aion-consumer-glyph.dccc2b6aff":"Bez internetu","oss-aion-consumer-glyph.22c2234e11":"Vyrobeno v Evropě","oss-aion-consumer-glyph.75f527181b":"Lze zkontrolovat později","oss-aion-consumer-glyph.94651c6eb5":"Druhý pomocník to zkontroluje","oss-aion-consumer-glyph.b9fefb3f5b":"Vypadá správně","oss-aion-consumer-glyph.fb447dd18d":"Váš doklad","oss-aion-consumer-glyph.49a8e53c77":"Stroj odpovídá","oss-aion-consumer-glyph.f5ad0f0059":"Ano, a tady je proč","oss-aion-consumer-glyph.7011b1a621":"Odpověď","oss-aion-consumer-glyph.07d0cfac8b":"Krok za krokem, písemně","oss-aion-consumer-glyph.5bcd26af49":"Jak se k tomu došlo","oss-aion-consumer-glyph.8afc953f7f":"Je to pro mě to pravé?","oss-aion-consumer-glyph.d79cce547d":"Otázka","oss-aion-coverage-join.fa5284c04d":"krátké je krátké","oss-aion-coverage-join.d04fa188df":"Čtrnáct zdaleka není všechno, takže spojení je odmítnuto, nikoli zaokrouhleno nahoru.","oss-aion-coverage-join.0b67159da5":"Šestnáct buněk započítáno a složený výsledek je přijat.","oss-aion-coverage-join.7142d70e45":"složení odmítnuto, pokrytí krátké","oss-aion-coverage-join.245fbeffee":"není to chyba zaokrouhlení. Oblast, na kterou se nikdo nedíval.","oss-aion-coverage-join.1df8f3c0e7":"14 z 16","oss-aion-coverage-join.1c1d6ac8f1":"dvě buňky, na které se nikdo nedíval","oss-aion-coverage-join.f0833f7fc6":"stejné spojení, jedna krychle chybí","oss-aion-coverage-join.db8d5bf534":"složení přijato","oss-aion-coverage-join.558480e414":"16 z 16","oss-aion-coverage-join.26f1b36edc":"každá buňka započítána","oss-aion-coverage-join.39cd7fa9c4":"čtyři krychle","oss-aion-coverage-join.bb2dba7602":"ilustrativní krychle","oss-aion-coverage-join.a4d76ddfc7":"pokrytí krátké o dvě buňky","oss-aion-coverage-join.e4445ac125":"Jedno rozdělené ověření","oss-aion-coverage-join.186c8cd284":"Sestavení, které držíte, se vám pod rukama nemění.","oss-aion-coverage-join.9daf9699cc":"sestavení","oss-aion-coverage-join.66506ab77b":"Není volán žádný model.","oss-aion-coverage-join.f2250926d2":"Nic neopouští hranici.","oss-aion-coverage-join.3110d06249":"co odchází","oss-aion-coverage-join.0bd87fb406":"Na této cestě není žádný procesor.","oss-aion-coverage-join.1fa5b0500c":"ne a, ne b, ne c","oss-aion-coverage-join.898fae3bdc":"ne a, ne b, c","oss-aion-coverage-join.a8f663af2d":"ne a, b","oss-aion-coverage-join.bee9689def":"čtyři stroje, jedna odpověď","oss-aion-coverage-join.3ea0cf3ca7":"adresy, které nastavíte","oss-aion-coverage-join.7b9e33922c":"služba","oss-aion-coverage-join.17819009bd":"jedno vyvolání","oss-aion-coverage-join.2c4d8b9dd8":"příkaz","oss-aion-coverage-join.5a78e04d95":"propojeno","oss-aion-coverage-join.985e108737":"knihovna","oss-aion-coverage-join.1d06a0d76f":"model","oss-aion-coverage-join.8eab5a6dbb":"procesor","oss-aion-coverage-table.356f85e809":"jeden obálkový a směrovací kontrakt AION","oss-aion-coverage-table.4f52f572dd":"sedm výstupů producenta","oss-aion-coverage-table.2a268cd632":"SEDM PRODUCENTŮ","oss-aion-coverage-table.8351372237":"výstup jako první, ověřovatel zvolen podle rodiny certifikátů","oss-aion-coverage-table.b7d5fe11a0":"Co po sobě zanechává sedm producentů","oss-aion-coverage-table.f31a7c9011":"Řešitel","oss-aion-coverage-table.a194f815cb":"Přípustné, nepřípustné nebo optimální","oss-aion-coverage-table.7ec93e2d31":"Důkaz, model, jádro, svědek nebo mez","oss-aion-coverage-table.651e0f73b2":"Ověřovatel řešitele specifický pro rodinu","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Závěr z deklarovaných omezení","oss-aion-coverage-table.9ac60dc1a8":"Odvození omezení a vrácené důkazy řešitele","oss-aion-coverage-table.d5ef792d46":"Ověřovatel úvah Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Dokončená řízená operace","oss-aion-coverage-table.70d43be1ea":"Oprávnění, politika, schválení, přechody a potvrzení","oss-aion-coverage-table.5372a8e90f":"Organizační ověřovatel Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Zkompilovaný artefakt","oss-aion-coverage-table.1f3e5d7c89":"Zdrojový graf, transformace, invarianty a identita artefaktu","oss-aion-coverage-table.86ca1bd031":"Ověřovatel kompilace Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Spuštěná úloha","oss-aion-coverage-table.24f1ac9e33":"Modul, vstupy, udělení oprávnění, přechody, limity a výstup","oss-aion-coverage-table.0f9ea21c74":"Ověřovatel provádění Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Simulovaná trajektorie","oss-aion-coverage-table.ef85239d10":"Identita modelu, parametry, stav, kontrolní body, invarianty a hash trajektorie","oss-aion-coverage-table.c5b7fe3198":"Ověřovatel simulace a FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Dokončené spuštění FMU","oss-aion-coverage-table.8f5753fba0":"Identita FMU, konfigurace, kroky, události, konvergence a trasování","oss-aion-coverage-table.4d64b5bbaf":"Ověřovatel simulace a FMI","oss-aion-coverage-table.7d1ab3c6e0":"Důkazy:","oss-aion-coverage-table.4e5bc7d129":"Ověřovatel:","oss-aion-days-left.545fa01eea":"a stojí to tak i před posledním dnem","oss-aion-days-left.eaa861cef8":"stejné pravidlo, přečtené čtyřikrát","oss-aion-days-left.2017bddab0":"Zeptejte se kterýkoli den a stejné pravidlo provede aritmetiku. Nic na čtvrtém čtení\n          není hlasitější než na prvním, jen menší.","oss-aion-days-left.81b20537a7":"zbývající místo, ve dnech","oss-aion-days-left.0526dbf682":"HODINY","oss-aion-days-left.2f29339cb6":"stejné hodiny, čtyři dny od sebe","oss-aion-days-left.47a76d1261":"Jeden dotaz, čtyři čtení","oss-aion-days-left.9dd1fe0fd2":"26 z 30","oss-aion-days-left.f4c6daac2a":"den 26","oss-aion-days-left.62f21454ca":"22 z 30","oss-aion-days-left.4ad399ed8a":"den 22","oss-aion-days-left.ae5a29afae":"16 z 30","oss-aion-days-left.195b05cbbd":"den 16","oss-aion-days-left.d31b7d0f91":"8 z 30","oss-aion-days-left.185b76515a":"den 8","oss-aion-days-left.2dd2bed725":"dnes","oss-aion-dispute-parts.65edc28a9d":"panel i rozhodnutí patří vašemu vlastnímu procesu a artefakt se nepřesouvá","oss-aion-dispute-parts.e56cf65ada":"a není to tribunál","oss-aion-dispute-parts.37f322f735":"dodává důkazy,","oss-aion-dispute-parts.7b7570d892":"rozhodnutí","oss-aion-dispute-parts.52e3685580":"okno","oss-aion-dispute-parts.7de929b394":"panel","oss-aion-dispute-parts.2eba0fb6ad":"co vlastní váš vlastní proces","oss-aion-dispute-parts.ea4031d789":"který ověřovatel, která verze","oss-aion-dispute-parts.93be71a61d":"smlouva","oss-aion-dispute-parts.48b63234e3":"pojmenovaný spíše než shrnutý","oss-aion-dispute-parts.cced6746e2":"bod selhání","oss-aion-dispute-parts.2c9e8d06dd":"reprodukovatelný kýmkoli","oss-aion-dispute-parts.2e02032e1d":"ověření","oss-aion-dispute-parts.804e9af218":"producent a podpis neporušené","oss-aion-dispute-parts.69506051d5":"zachováno tak, jak bylo přijato","oss-aion-dispute-parts.6b578cc32e":"certifikát","oss-aion-dispute-parts.21df0b2530":"Co AION přináší","oss-aion-dispute-parts.4029dc5f44":"Zachovává\n            certifikát tak, jak byl přijat. Zachovává atribuci, takže kdo výsledek vytvořil,\n            přežije změnu dodavatele. Reprodukuje ověření na vyžádání, kýmkoli,\n            bez producenta. Identifikuje přesný bod selhání, místo aby vracel\n            verdikt. A ukazuje, který ověřovatel výsledek přijal a podle které verze\n            smlouvy. Panel, okno a rozhodnutí patří procesu, který vaše\n            organizace už provozuje. AION dodává artefakt, o kterém tento proces rozhoduje.","oss-aion-dispute-parts.434ae4f1d6":"Úloha AIONu v této situaci je úzká a je to ta užitečná část.","oss-aion-dispute-parts.3eb5567b60":"Práce vytvořená jednou stranou a používaná druhou nakonec vede ke sporu\n            o tom, zda byla dobrá. Co to rozhoduje, není téměř nikdy síla\n            argumentace. Je to to, zda existuje artefakt, který obě strany mohou prozkoumat a který\n            žádná strana nemůže změnit, a ve většině sporů jsou záznamy, které by otázku vyřešily, drženy\n            jednou ze dvou stran.","oss-aion-dispute-parts.2ccc6715e9":"Ne lepší argument.","oss-aion-dispute-parts.aa0d5ae0e6":"Spor potřebuje důkazy.","oss-aion-dispute-parts.b4b6237893":"Když někdo nesouhlasí","oss-aion-dispute-parts.eec3b038bd":"atribuce","oss-aion-dispute-parts.100ec4462d":"důkazy","oss-aion-envelope-fields.cfc233d284":"obálka nikdy není","oss-aion-envelope-fields.1c80a87a33":"payload je specifický pro rodinu","oss-aion-envelope-fields.d85cb39036":"rodina, která rozhoduje o ověřovateli","oss-aion-envelope-fields.a975c5af10":"Typ certifikátu","oss-aion-envelope-fields.4282e3d696":"pojmenovaný, nikdy implikovaný","oss-aion-envelope-fields.0562f32dc5":"Závislosti","oss-aion-envelope-fields.ca2dc8737d":"který systém, která verze","oss-aion-envelope-fields.7b7194967f":"Producent","oss-aion-envelope-fields.f33f785291":"proti čemu bylo vytvořeno a která verze","oss-aion-envelope-fields.404e7d3e00":"Vstupy a kontrakt","oss-aion-envelope-fields.93a29173f5":"identifikátor a payload nebo jeho hash","oss-aion-envelope-fields.dc4e08a408":"Tvrzení","oss-aion-envelope-fields.78e789d605":"KONTRAKT","oss-aion-envelope-fields.d12a9ca770":"mimo payload, každá rodina","oss-aion-envelope-fields.f18dee6041":"Obálka","oss-aion-envelope-fields.f07e5a8156":"payload","oss-aion-evidence.cbf668da60":"Protokoly","oss-aion-evidence.28e06c789a":"Protokol ukazuje, že systém běžel. Neukazuje, proč bylo dosaženo odpovědi, a protokol lze tiše upravit.","oss-aion-evidence.c637aebe3a":"Neprůhledné","oss-aion-evidence.5c3fc92e3f":"Skóre spolehlivosti","oss-aion-evidence.fd3c76543b":"Jedno číslo shrnující vnitřní stav. Dva systémy mohou vykázat stejné skóre a na stejném vstupu dospět k opačným závěrům.","oss-aion-evidence.16f3dacf52":"Žádné odvození","oss-aion-evidence.7f34e37f1b":"Vlastní vysvětlení","oss-aion-evidence.361b70a63e":"Napsáno stejným modelem, který rozhodnutí učinil. Hodnotí vlastní práci, takže nemůže sloužit jako nezávislý důkaz.","oss-aion-evidence.782acc59ce":"Kruhové","oss-aion-evidence.477416bf24":"Věřte dodavateli","oss-aion-evidence.1e84c62138":"Když regulátor, pacient nebo soud požádá „ukažte svou práci“, slib na úrovni služby není odpověď, kterou si mohou ověřit.","oss-aion-evidence.76afe0e09f":"Neověřitelné","oss-aion-evidence.06f2d5f1a8":"Certifikát, ne tvrzení","oss-aion-evidence.cdcc6f712c":"AION vydává certifikát důkazu spolu s odpovědí. Certifikát uvádí každý krok uvažování v pořadí, v jakém byl proveden.","oss-aion-evidence.6d1c5f470b":"Ověřeno někým jiným","oss-aion-evidence.cc65178dc5":"Samostatný kontrolor prochází kroky a buď je přijme, nebo odmítne. Strana, která otázku klade, jej spouští sama.","oss-aion-evidence.412a3b1e5e":"Znovu spustitelné později","oss-aion-evidence.9082c552d2":"Stejný certifikát se příští měsíc zkontroluje stejným způsobem na jiném počítači, bez přístupu k původnímu systému.","oss-aion-evidence.1206578b48":"ukažte svou práci","oss-aion-evidence.494beafd71":"otázka auditu","oss-aion-evidence.bba8b0753d":"důkaz vs. tvrzení","oss-aion-evidence.00e2ca4c85":"Když se rozhodnutí AI dostane k regulátorovi, pacientovi nebo bezpečnostnímu případu, někdo se zeptá","oss-aion-evidence.1defdb9d85":"jak k této odpovědi dospělo.","oss-aion-evidence.290a698043":"Většina organizací nedokáže dát odpověď,\n          kterou si tazatel může sám ověřit.","oss-aion-evidence.56f6624482":"Ne důkaz","oss-aion-evidence.a295517f40":"Co se dnes nabízí","oss-aion-evidence.7ea014de7b":"Důkaz","oss-aion-evidence.4cb1cd3e53":"Co AION předává","oss-aion-evidence.2a36a263da":"Důkaz se netvrdí. Důkaz se ověřuje.","oss-aion-evidence.e0a4c0a385":"Nezávislé ověření je jediná odpověď, kterou může auditor přijmout.","oss-aion-exact-sum.21aaad8129":"záporný násobitel je odmítnut před sečtením, při první kontrole","oss-aion-exact-sum.3b267c2a81":"v tomto řetězci není žádná vnitřní pohyblivá řádová čárka","oss-aion-exact-sum.1a43ebe28c":"takže systém je vyvrácen","oss-aion-exact-sum.452308dbcd":"zbývá konstanta","oss-aion-exact-sum.35add33a7a":"co zbývá","oss-aion-exact-sum.df326a819b":"členy y se vyruší","oss-aion-exact-sum.dae482d4b2":"členy x se vyruší","oss-aion-exact-sum.c36d183406":"sečtěte škálované nerovnosti dohromady","oss-aion-exact-sum.79e4c9d3fa":"škálujte ji","oss-aion-exact-sum.c3c4b24b20":"ty dvě nerovnosti, vše na jedné straně","oss-aion-exact-sum.b6b4c73115":"Součet v plném znění","oss-aion-exact-sum.c1c66bf52c":"Podmínky se kontrolují v pořadí a každá je sama o sobě odmítnutím. Záporný\n            násobitel je odmítnut před jakýmkoli sečtením, protože škálování záporným číslem\n            otáčí nerovnost. Součet, ve kterém přežije proměnný člen, je odmítnut s uvedením\n            přeživšího členu. Součet, jehož zbývající konstanta není kladná, je odmítnut,\n            protože nic nedokazuje. Koeficient nad mezní hodnotou velikosti vyvolá přetečení\n            místo obalení. Nic v tomto řetězci není tolerance.","oss-aion-exact-sum.6efbacfc5b":"Aritmetické vyvrácení je množina násobitelů. Zapište každou nerovnost se\n            vším na jedné straně znaménka, škálujte ji, sečtěte škálované nerovnosti dohromady,\n            a pokud se každý proměnný člen vyruší a co zbývá je kladné číslo, o kterém se tvrdí,\n            že je nejvýše nula, pak to nemůže platit, a tedy nemůže platit ani systém, ze kterého\n            to pochází. AION přijímá tyto násobitele na hranici a převede je na deklarovanou\n            adaptivní celočíselnou/pevnou řádovou čárku před kontrolou. Ukládá, akumuluje a\n            počítá bez vnitřních hodnot s pohyblivou řádovou čárkou a nemá žádný záložní režim\n            s pohyblivou řádovou čárkou. Zlomek je zde vytištěn, protože činí rozpor čitelným;\n            kontrola se řídí jeho deklarovaným převodem a měřítkem.","oss-aion-exact-sum.31934abfaa":"Jeho převod deklaruje měřítko.","oss-aion-exact-sum.a3caf489e5":"Třetina není 0,333.","oss-aion-exact-sum.15e6a906dd":"Deklarovaná adaptivní aritmetika s pevnou řádovou čárkou","oss-aion-exact-sum.108a35964a":"součet říká 11/6 <= 0, což 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":"ano","oss-aion-exact-sum.c4c6c57253":"kladné","oss-aion-exact-sum.b55e22fe78":"přesně","oss-aion-exec-cert.6a230011ab":"kontroluje to něco jiného","oss-aion-exec-cert.2c14724b1b":"vyprodukoval to běhový systém","oss-aion-exec-cert.b07722ef0c":"limit","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"modul pro výstup","oss-aion-exec-cert.a7b63abc02":"Co certifikát nese","oss-aion-exec-cert.e1bbfaa783":"Identita toho, co vzniklo, a zda se to zachytilo.","oss-aion-exec-cert.59871c9494":"Výstup a stav","oss-aion-exec-cert.ffb779a5c3":"Limity, v nichž běžel, jako meze, nikoli jako pozorování.","oss-aion-exec-cert.ffbc724f07":"Obálka zdrojů","oss-aion-exec-cert.273c1da325":"Deterministický, daný modulem, vstupy a oprávněními.","oss-aion-exec-cert.acee491c99":"Přechody stavů","oss-aion-exec-cert.eab885bbb2":"Čeho mu bylo dovoleno dosáhnout, deklarováno před spuštěním.","oss-aion-exec-cert.dc009dc166":"Udělení oprávnění","oss-aion-exec-cert.6f3eb29822":"Který modul, podle adresy obsahu, při které verzi běhového systému.","oss-aion-exec-cert.c201b4ae89":"Identita modulu","oss-aion-executed-under.6b6dab207c":"Co certifikát povoluje","oss-aion-executed-under.1fcfedc78a":"čeho by mohl dosáhnout","oss-aion-executed-under.0338c5441d":"Otázka po provedení je autorita a certifikát ji nese.","oss-aion-executed-under.bc70ed4db9":"Čtyři granty uděleny a tři odepřeny.","oss-aion-executed-under.6f9d76b8c0":"Přechody jsou deterministické vzhledem k modulu, vstupům a grantům, takže vše\n            toto bylo sledováno bez spuštění úlohy.","oss-aion-executed-under.e044b5f419":"Identita, kterou certifikát deklaruje, není identita, kterou přechody produkují, takže\n            běh je odmítnut na výstupu. Vše před tím bylo rekonstruováno přesně.","oss-aion-executed-under.7f0cc64ae8":"deterministické přechody","oss-aion-executed-under.5fa4050afc":"sada oprávnění, deklarovaná před během","oss-aion-executed-under.844e9ed357":"hodiny, pozorování nenastaveno","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":"číst /var/lib/claims","oss-aion-executed-under.7a02a68db0":"nedrženo","oss-aion-executed-under.685706abcf":"výstupní identita se liší","oss-aion-executed-under.6287ff317a":"produkováno","oss-aion-executed-under.0baff051a0":"deklarováno","oss-aion-executed-under.1029d67644":"výstup","oss-aion-executed-under.fbd34a2b6e":"modul","oss-aion-executed-under.910e029098":"ilustrativní","oss-aion-executed-under.df6fe4f714":"schopnost přetrvat po běhu","oss-aion-executed-under.b51590997b":"každá jiná adresa","oss-aion-executed-under.e4e545e3b7":"vše ostatní v souborovém systému","oss-aion-fact-strip.0dc9622797":"Každý údaj má původ v repozitáři AION.","oss-aion-fact-strip.b7feece146":"AION v číslech","oss-aion-fact-strip.fedec331ff":"Knihovna, CLI a benchmark v jednom pracovním prostoru","oss-aion-fact-strip.13a24daf03":"Implementace","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Binární, celočíselná a adaptivní aritmetika s pevnou řádovou čárkou; bez vnitřní plovoucí čárky","oss-aion-fact-strip.5688a0448c":"Aritmetické jádro","oss-aion-fact-strip.0cae74747c":"Přesné","oss-aion-fact-strip.379c055f01":"Lineární v délce důkazu, offline, bez solveru","oss-aion-fact-strip.04ce84fb6e":"Náklady na ověření","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe a jednotný meziformát","oss-aion-fact-strip.e6c67de15e":"Formáty důkazů","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Logické teorie","oss-aion-failure-notice.d8164c5dd8":"zjištění, nikoli spor","oss-aion-failure-notice.159098bbba":"Ten druhý začne hádku, kterou nikdo nedokáže ukončit.","oss-aion-failure-notice.814fc5cd4f":"Jedno z nich lze poslat dodavateli v úterý odpoledne.","oss-aion-failure-notice.2e6ea3eaa5":"nelze přiřadit, nelze ocenit, nelze přesně nesouhlasit","oss-aion-failure-notice.e896d6344f":"ověření selhalo","oss-aion-failure-notice.587270a2e4":"kam patří každé pole","oss-aion-failure-notice.ba0f0eb3fe":"předpoklad není přítomen","oss-aion-failure-notice.0c2a7f4aef":"krok 415","oss-aion-failure-notice.55daa4a2ea":"poslední čtyři kroky znějí","oss-aion-failure-notice.ca548ed152":"17. března 2026","oss-aion-failure-notice.3c05b129e2":"nebyl vydán žádný verdikt","oss-aion-failure-notice.aa943932a5":"oznámení o odmítnutí","oss-aion-failure-notice.28fb3d519e":"rekonstruováno","oss-aion-failure-notice.bd370d1b6f":"krok","oss-aion-failure-notice.910e029098":"ilustrativní","oss-aion-failure-notice.e6b658331e":"a nikdo není obviněn","oss-aion-failure-notice.94002635cd":"vy, pokud jde o otázku rozsahu","oss-aion-failure-notice.7ab178c9a0":"ten druh","oss-aion-failure-notice.0d967ff8f3":"doplňuje chybějící předpoklad","oss-aion-failure-notice.b54c9b7359":"kdo krok vytvořil","oss-aion-failure-notice.94a94ba774":"důvod","oss-aion-failure-notice.ba3167e426":"potvrzuje, co by tento krok měl dělat","oss-aion-failure-notice.32ec97b69b":"vlastník vaší sady pravidel","oss-aion-failure-notice.b543dc38fd":"pravidlo","oss-aion-failure-notice.ad866c4aef":"otevře soubor v kroku 415","oss-aion-failure-notice.06fddd86f6":"tým pro ověřování dodavatele","oss-aion-failure-notice.aecf66bfac":"umístění","oss-aion-failure-notice.1d7794c5e2":"pro tento důkaz nebyl vydán žádný verdikt","oss-aion-failure-notice.f4475dac73":"důsledek","oss-aion-failure-notice.566c7d73a0":"krok odkazuje na předpoklad, který není v souboru přítomen","oss-aion-failure-notice.7947e92e3c":"důvod","oss-aion-failure-notice.5dfa011717":"pravidlo, řešení","oss-aion-failure-notice.64463af8a3":"414 přijato","oss-aion-failure-notice.c21ce4fb88":"přečtené kroky","oss-aion-failure-notice.2bf60a2164":"analýza konfliktu dodavatele pro březnovou sadu pravidel","oss-aion-failure-notice.335ce16b3f":"předmět","oss-aion-family-board.ca8f6715c8":"verzováno samostatně","oss-aion-family-board.e794ff76c1":"nástin čekající na ověřovatele","oss-aion-family-board.0f2e82af82":"Devět rodin sdílí jednu obálku a nic jiného. Desátá je","oss-aion-family-board.ca6c6dda8e":"ověřovatel a deklarovaná sada pravidel","oss-aion-family-board.c53186083e":"desátá","oss-aion-family-board.0020359543":"neplatný přechod, překročený grant, neshoda výstupu,\n              neúplná stopa","oss-aion-family-board.187225126d":"taxonomie odmítnutí","oss-aion-family-board.fac6c7230f":"přehrajte přechody proti deklarovaným\n              limitům a sadě pravidel","oss-aion-family-board.155e6164fc":"algoritmus ověřování","oss-aion-family-board.924f583920":"deterministická sekvence přechodů s identitami vstupu a\n              výstupu","oss-aion-family-board.c0e6022509":"reprezentace důkazu","oss-aion-family-board.927f6ddf1e":"tato úloha běžela pod těmito granty a dosáhla tohoto výstupu","oss-aion-family-board.79bf5b0ee6":"typ tvrzení","oss-aion-family-board.131097a25c":"Běh runtime, v2","oss-aion-family-board.50b24e4d4c":"jedna deska, otevřená","oss-aion-family-board.803aa98470":"že uložený záznam je ten přijatý","oss-aion-family-board.3e71ceb1ca":"Integrita úložiště","oss-aion-family-board.f8603f4710":"že deklarovaný model vytvořil tento běh","oss-aion-family-board.ccc3c9b41d":"Simulace a FMI","oss-aion-family-board.d0c6b470a4":"že běžel v rámci grantů, které dostal","oss-aion-family-board.dc37599f99":"Běh runtime","oss-aion-family-board.4f059da0be":"že artefakt zachovává zdroj","oss-aion-family-board.aad755de42":"Kompilace","oss-aion-family-board.69ce9b9c4f":"že řízená operace proběhla","oss-aion-family-board.ed87ca5ca0":"Organizační","oss-aion-family-board.0dbf90d179":"že deklarovaná derivace rekonstruuje","oss-aion-family-board.e272c597fd":"Uvažování","oss-aion-family-board.e79949ba43":"že vlastnost platí napříč běhy, ne jen jeden","oss-aion-family-board.bdb5a28846":"Časové a hypervlastnosti","oss-aion-family-board.b83c805a0a":"že v rámci mezí neexistuje nic lepšího","oss-aion-family-board.c794704381":"Optimalizace","oss-aion-family-board.ede1ae7e54":"že žádné přiřazení nesplňuje množinu","oss-aion-family-board.a04ce90d06":"Logika a splnitelnost","oss-aion-family-board.b98b54298f":"devět registrovaných, jeden nástin","oss-aion-family-board.6253e9d668":"Rodinná deska","oss-aion-family-board.910e029098":"ilustrativní","oss-aion-family-registry.6e32650bab":"a verze na všech z nich","oss-aion-family-registry.dcd1f1fdc9":"čtyři deklarace na rodinu","oss-aion-family-registry.3bc3fe987d":"Selhání, která tato rodina může vrátit, každé s umístěním.","oss-aion-family-registry.d129426d71":"Taxonomie odmítnutí","oss-aion-family-registry.d4504f5b41":"Co verifikátor spouští a sadu pravidel, kterou přijímá.","oss-aion-family-registry.52ab770040":"Verifikační algoritmus","oss-aion-family-registry.4c9dd89c88":"Jak je svědek, derivace nebo stopa přenášena.","oss-aion-family-registry.016fecd943":"Reprezentace důkazu","oss-aion-family-registry.ab1e33179a":"Co tato rodina stanovuje a co záměrně nestanovuje.","oss-aion-family-registry.8a547220fc":"Typ tvrzení","oss-aion-family-registry.37094b3cc5":"než může být zkontrolováno","oss-aion-family-registry.b14e18379b":"REGISTR","oss-aion-family-registry.b3e4281358":"Co 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":"bez licence, bez prostředí","oss-aion-foreign-proof.9406c96fa7":"čtyři tenké čáry mezi nimi","oss-aion-foreign-proof.9fefe2d67f":"Čtyři druhy práce na jedné straně, čtyři čitelné objekty na druhé a","oss-aion-foreign-proof.57802c0b4e":"Ověřovatel nikdy nespustil levou stranu a ani nemusí.","oss-aion-foreign-proof.1dfc94b110":"jeden doklad","oss-aion-foreign-proof.cff5f15fed":"dva přechody","oss-aion-foreign-proof.d58f13fb52":"kontrola oprávnění","oss-aion-foreign-proof.24ef006723":"oprávnění a doklady","oss-aion-foreign-proof.933912faec":"agenti, koordinace","oss-aion-foreign-proof.2ae1de46da":"stav zůstává uvnitř 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":"volba jádra","oss-aion-foreign-proof.3e77a07952":"tvrzení o zachování","oss-aion-foreign-proof.2bb64b9b5b":"optimalizační průchody","oss-aion-foreign-proof.c8b39aa910":"odvození klauzulí","oss-aion-foreign-proof.4da89bbc52":"prohledávání řešičem","oss-aion-foreign-proof.51339ff0ea":"důkazy na vašem počítači","oss-aion-foreign-proof.4f45bf808d":"práce na producentovi","oss-aion-foreign-proof.c369931988":"čtyři řádky, nic víc","oss-aion-foreign-proof.ec0b7e2c43":"Co překračuje hranici","oss-aion-foreign-proof.44d74dd33f":"tvary","oss-aion-foreign-proof.e7b1fff700":"typy","oss-aion-foreign-proof.910e029098":"ilustrativní","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT a Alethe ověřují v lineárním čase offline. DRAT se zkontroluje a poté zkrátí na LRAT.\n            Unified mezi nimi bezeztrátově převádí.","oss-aion-formats.14a628e6d3":"Kontroluje","oss-aion-formats.dda6ac27b9":"Ověřit","oss-aion-formats.34556fa12c":"Karta formátu","oss-aion-formats.e6c67de15e":"Formáty důkazů","oss-aion-formats.8a5e29e5bb":"bezeztrátový převod","oss-aion-formats.ddb7c01560":"jeden zdroj, čtyři podoby","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# sjednocený mezidůkaz","oss-aion-formats.0d3311a5dc":"převaděč aion-proofs","oss-aion-formats.1f5124d90b":"Převedeno při exportu","oss-aion-formats.8c21b7e1f1":"Interní reprezentace, která mezi ostatními bezeztrátově převádí.","oss-aion-formats.ebb8e8cf49":"Meziforma","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ární čas, offline","oss-aion-formats.f6f7b642b0":"Komunitní formát SMT-LIB z linie cvc5 a veriT.","oss-aion-formats.4aa5db37af":"Důkaz SMT","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat přidává a odstraňuje řádky","oss-aion-formats.f3ba7f38e9":"drat-trim na LRAT","oss-aion-formats.36f33c83a6":"Zkontrolováno, poté zkráceno","oss-aion-formats.4745aebc97":"Klauzulární přidávání a odebírání. Kontrolery formátu zkracují na LRAT.","oss-aion-formats.154df3dc2f":"SAT certifikát","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" odvozena prázdná klauzule","oss-aion-formats.6fd630d612":" lrat s nápovědami unit-propagation","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Průmyslově standardní rezoluční důkazy pro výrokový základ.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"soubor, který se nikdy nezavře","oss-aion-four-gates.0ff8f0eb5a":"a ještě jedna na konci","oss-aion-four-gates.a1ebd8379f":"před krokem 1","oss-aion-four-gates.b161dbb47d":"Soubor se nejprve prohledá 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 jedna před kterýmkoli z nich","oss-aion-four-gates.e74bdcd46a":"Čtyři testy, v tomto pořadí","oss-aion-four-gates.fef891bb33":"krok 15","oss-aion-four-gates.cc90eb3e73":"Žádný postup pro název. Čtení se zastaví, ne přeskočí.","oss-aion-four-gates.787e8a8577":"Pravidlo neznámé","oss-aion-four-gates.e70c55582f":"krok 52","oss-aion-four-gates.59446cbcf9":"Premisa, která je přítomná, ale očíslovaná nad krokem, který se na ni odvolává.","oss-aion-four-gates.f1604fe1aa":"Citováno mimo pořadí","oss-aion-four-gates.a42f56e597":"krok 44","oss-aion-four-gates.371b9613cc":"Citované číslo, které v souboru nikde není.","oss-aion-four-gates.1d1369a316":"Premisa chybí","oss-aion-four-gates.e1391a7c80":"krok 31","oss-aion-four-gates.9a7512e955":"Krok stojící na vlastním závěru. Ptá se jako první, u každého kroku.","oss-aion-four-gates.7f30dfcc04":"Cituje sám sebe","oss-aion-governed-operation.b0582e8559":"Jedna operace, ověřeno","oss-aion-governed-operation.8af7f1d469":"řízeno, poté ověřeno","oss-aion-governed-operation.ada470c3d7":"Řetěz a jeho ověření jsou dvě různé autority.","oss-aion-governed-operation.90fba649e4":"Čtyři položky rekonstruovány a pátá zastaví čtení.","oss-aion-governed-operation.ea8356461f":"není v tomto certifikátu: co si který agent myslel","oss-aion-governed-operation.2f68c232b4":"Verze politiky, kterou certifikát deklaruje, nenese podmínku, kterou tato brána\n                tvrdí, že použila. Operace je v této položce odmítnuta a za celek není vydán žádný verdikt.","oss-aion-governed-operation.be51277bfd":"nedosaženo","oss-aion-governed-operation.57b160e317":"průchod ověřovatele, na jeho vlastní autoritu","oss-aion-governed-operation.26f017e3e6":"přijato, ref 4471-b","oss-aion-governed-operation.34c3c00446":"potvrzení zaznamenáno","oss-aion-governed-operation.159338740e":"platební příkaz, systém účetní knihy","oss-aion-governed-operation.80f6148b56":"akce provedena","oss-aion-governed-operation.458c8c203d":"k akci, ne ke zprávě poblíž","oss-aion-governed-operation.1b4dcda6ba":"schválení připojeno","oss-aion-governed-operation.303418bf06":"nad 50 000 vyžaduje druhého schvalovatele","oss-aion-governed-operation.faf1f5eb4b":"politická brána","oss-aion-governed-operation.557df801be":"přechody úkolů","oss-aion-governed-operation.b1c842256e":"pracovník nároků","oss-aion-governed-operation.59bef6c3e5":"autorita vyřešena","oss-aion-governed-operation.0639a9efd0":"čtyři agenti, nestejný rozsah","oss-aion-governed-operation.8e44be8724":"organizace vytvořena","oss-aion-governed-operation.139146ad26":"politika v4.2","oss-aion-governed-operation.8524f08438":"vyrovnat čtvrtletní nároky dodavatelů","oss-aion-governed-operation.cab7375bdf":"operace, jak ji provedl Nexus","oss-aion-governed-operation.82c8154dca":"odmítnuto u brány","oss-aion-governed-operation.a503bc1da2":"odmítnuto","oss-aion-governed-operation.28fb3d519e":"rekonstruováno","oss-aion-governed-operation.45807bf2ec":"vyrovnáno","oss-aion-governed-operation.fb92f3f834":"posouzeno","oss-aion-governed-operation.590abaace4":"otevřeno","oss-aion-governed-operation.d2dc873868":"objektivní","oss-aion-governed-operation.910e029098":"ilustrativní","oss-aion-harness-fields.d5ad303466":"a číslo, které můžete citovat","oss-aion-harness-fields.5a31ca3c0f":"váš korpus, váš hardware","oss-aion-harness-fields.58664673b0":"Vytištěno přes celý korpus na konci běhu.","oss-aion-harness-fields.6197b910db":"Správný počet","oss-aion-harness-fields.175226a475":"Ve srovnání se stavem zaznamenaným v samotném souboru.","oss-aion-harness-fields.d787e678da":"Odpověď podle stavu","oss-aion-harness-fields.b5ec587356":"Samotné vyhledávání, podle instance, ne zprůměrované.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Čas řešení","oss-aion-harness-fields.bec737ff93":"Jak dlouho trvalo načtení souboru, odděleně od řešení.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Čas analýzy","oss-aion-harness-fields.20e5752f58":"Nejvyšší dosažená hodnota, takže plán kapacity má konkrétní číslo.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Špičková rezidentní paměť","oss-aion-harness-fields.b660370132":"jeden soubor z vašeho korpusu","oss-aion-harness-fields.ec845d015d":"podle instance, pak sečteno","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Co jeden běh zaznamenává","oss-aion-harness-fields.b3cbdd75cb":"vyvráceno","oss-aion-harness-fields.48a3661d84":"stav","oss-aion-harness-fields.25dc282b5a":"odpověď","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Řeším...","oss-aion-hero-glyph.3d08723a54":"Výsledek: 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ýsledek: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Důkaz: 128 kroků","oss-aion-hero-glyph.41294a8dc8":"Důkaz zapsán 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":"Parsování: OK","oss-aion-hero-glyph.27d28e3ca9":"Důkaz má 128 kroků","oss-aion-hero-glyph.1ba94dea63":"Statistiky důkazu:","oss-aion-hero-glyph.e1b3c4d7c5":"  Celkem kroků: 128","oss-aion-hero-glyph.e30b86fef9":"  Rezolučních kroků: 71","oss-aion-hero-glyph.8215376faf":"  Aritmetických kroků: 24","oss-aion-hero-glyph.552f29f0b5":"  Maximální velikost klauzule: 6","oss-aion-hero-glyph.fc539fcf62":"Ověření důkazu: PROŠLO","oss-aion-hero-glyph.1e4bdfb80c":"Čas ověření: 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 + teorie","oss-aion-hero-glyph.6ba46a924e":"adaptivní pevný bod","oss-aion-hero-glyph.a9f24b1b66":"lineární kontrola","oss-aion-hero-glyph.6b5eb5323e":"Certifikát přiložen","oss-aion-how-to-check.c799cc998b":"Výsledek: toto je správně.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"První stroj předá svůj doklad samostatnému pomocníkovi, který jej zkontroluje","oss-aion-how-to-check.d026bcfccb":"Výsledek je jasný: doklad buď souhlasí, nebo ne. Žádné možná neexistuje.","oss-aion-how-to-check.d0c84a5a37":"Kontrola probíhá přímo u vás. Nic se neodesílá a není potřeba žádný web.","oss-aion-how-to-check.623151a710":"Pomocník, který kontroluje, není stroj, který odpověděl. Nemůže si jen tak přitakat.","oss-aion-how-to-check.87e974a415":"přečte jej a zkontroluje","oss-aion-how-to-check.3c487e646c":"Druhý pomocník","oss-aion-how-to-check.78829f8a37":"kroky, zapsané","oss-aion-how-to-check.9b7b265fbb":"Doklad","oss-aion-how-to-check.f58fd2cb80":"dá odpověď a doklad","oss-aion-how-to-check.50e90303d4":"První stroj","oss-aion-integration.b1873dbd42":"Jeden engine, žádná externí služba. Propojte crate, zafixujte verzi a ověřte certifikáty ve stejném prostředí.","oss-aion-integration.5f2e7d7c25":"Stejný důkazní certifikát z každého povrchu. Dotaz dovnitř, ověřitelný certifikát ven.","oss-aion-integration.a4db3ae8b6":"Jak to voláte","oss-aion-integration.4ec6d609ab":"Začněte s jednou rozhodovací cestou","oss-aion-integration.559461e293":"knihovna, CLI, bench","oss-aion-integration.0228a4c724":"Kdokoli může zkontrolovat certifikát pomocí aion check, nebo nezávislým LRAT či Alethe checkerem, na vlastním počítači.","oss-aion-integration.dda6ac27b9":"Ověřit","oss-aion-integration.4d2c6036eb":"Dejte aion-cli za vlastní službu. Důkazní certifikát je kontrakt, který služba vrací.","oss-aion-integration.c3447e7954":"Zabalit","oss-aion-integration.f9109d0f04":"Přidejte crate do existující aplikace v Rustu a generujte certifikáty inline spolu s odpověďmi, které už produkuje.","oss-aion-integration.ad02e14e28":"Vložit","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Vyhrazený benchmarkovací binární soubor je součástí workspace. Změřte solve a check na vlastním hardwaru, nevěřte číslům od dodavatele.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Ovládejte AION z shellu nebo CI úlohy. solve spustí dotaz, check ověří důkazní certifikát offline a prove ho vygeneruje. Stejný výstup důkazu jako knihovna.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Propojte AION jako crate a volejte solver a generátor důkazů přímo. Jádro, teorie i formáty důkazů jsou vše v procesu, bez nutnosti zřizovat službu.","oss-aion-integration.8319d9b3b9":"Rust knihovna","oss-aion-live-margins.df15dfd304":"jedna z nich je akce","oss-aion-live-margins.96576608a5":"tři z nich jsou čtení","oss-aion-live-margins.5711ac01c1":"SLEDOVÁNO","oss-aion-live-margins.f719aa9511":"uplynulé vůči povolenému","oss-aion-live-margins.a344938438":"Čtyři povinnosti","oss-aion-live-margins.19e5ecc09e":"ve stejný den, na akci","oss-aion-live-margins.828697f103":"Záznam o převodu","oss-aion-live-margins.222af170d9":"44 dní z 30, stále otevřeno","oss-aion-live-margins.a441e09d1a":"Okno uchování","oss-aion-live-margins.30e04c8f23":"2 dny ze 3","oss-aion-live-margins.20d6944505":"Oznámení o narušení","oss-aion-live-margins.9b9419d2e2":"26 dní z 30","oss-aion-live-margins.6e7d6c760b":"Odpověď subjektu","oss-aion-nothing-outbound.45b9d8acdc":"žádný odchozí klient","oss-aion-nothing-outbound.5b16b5db9a":"Každá cesta začíná a končí uvnitř čáry, kterou jste nakreslili.","oss-aion-nothing-outbound.59a0768496":"Nic na tomto listu nepřesahuje obrys.","oss-aion-nothing-outbound.71c31d8219":"místní proces na tomto počítači","oss-aion-nothing-outbound.605f85e28f":"externí dokazovač","oss-aion-nothing-outbound.150bc2359d":"jedna podsíť, kterou nastavíte","oss-aion-nothing-outbound.5193678a39":"adresy clusteru","oss-aion-nothing-outbound.49c4e670b3":"vaše síť","oss-aion-nothing-outbound.273ca4c134":"co nakonfigurujete","oss-aion-nothing-outbound.7f8d7aeedb":"pět řádků","oss-aion-nothing-outbound.bcec1ac359":"co tato cesta přidává do vašeho registru","oss-aion-nothing-outbound.4553aa0c94":"místní úložiště","oss-aion-nothing-outbound.93d65d8ef8":"archiv","oss-aion-nothing-outbound.760cfc52ce":"kontrolor","oss-aion-nothing-outbound.6621d172f5":"čtená sada pravidel","oss-aion-nothing-outbound.565f3cfc6a":"kontrolovaný certifikát","oss-aion-nothing-outbound.284f61c8db":"vaše stránky, váš hardware","oss-aion-nothing-outbound.f368a04bb8":"jedna hranice, a je vaše","oss-aion-nothing-outbound.5c795b7e7d":"žádná cesta neodchází","oss-aion-nothing-outbound.4f98b1412d":"Nic neopouští obvod","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Sestavení, které držíte, se vám pod rukama nemění.","oss-aion-nothing-outbound.07b9a651d1":"Plán vydání dodavatele ke sledování","oss-aion-nothing-outbound.8fa0bea3f8":"Žádná naše služba není na cestě.","oss-aion-nothing-outbound.11449c8bd3":"Závislost na dostupnosti k zaznamenání","oss-aion-nothing-outbound.66506ab77b":"Žádný model není volán.","oss-aion-nothing-outbound.af474ee96b":"Poskytovatel modelu k posouzení","oss-aion-nothing-outbound.f2250926d2":"Nic neopouští hranici.","oss-aion-nothing-outbound.e80e5b3403":"Přeshraniční přenos k odůvodnění","oss-aion-nothing-outbound.0bd87fb406":"Žádný zpracovatel na této cestě.","oss-aion-nothing-outbound.9494490634":"Zpracovatel k přidání","oss-aion-obligation-calendar.366609b500":"okraj, ne poplach","oss-aion-obligation-calendar.3c8532b3c7":"Pravidlo uprostřed je místo, kde přestala být dostupná levná oprava.","oss-aion-obligation-calendar.949b1361f5":"Obě čísla jsou údaje, které si dnes ráno může přečíst každý.","oss-aion-obligation-calendar.7758d9c282":"vyžadována akce","oss-aion-obligation-calendar.4ebebe0b7c":"-14 dní","oss-aion-obligation-calendar.6937bf485d":"začalo před tímto měsícem","oss-aion-obligation-calendar.37ed878825":"okno uchování","oss-aion-obligation-calendar.3974c3ac47":"+4 dny","oss-aion-obligation-calendar.aa69fdaab6":"otevřeno, povoleno 30 dní","oss-aion-obligation-calendar.c6727ea40c":"odpověď subjektu","oss-aion-obligation-calendar.51269d14af":"poslední den, kdy to bylo ještě odpolední práce","oss-aion-obligation-calendar.96a8ebf797":"ilustrativní data","oss-aion-obligation-calendar.fdcce3f37e":"jedno je po datu","oss-aion-obligation-calendar.11ddafb2cc":"Jeden měsíc závazků","oss-aion-obligation-calendar.a2620cbc10":"den","oss-aion-one-contract-six.d3926ca64d":"jeden registr, jedna ovlivněná množina","oss-aion-one-contract-six.c4d72c2328":"Jejich důkazy sledují jeden obal AION.","oss-aion-one-contract-six.a7e545052a":"Výstupy producentů zůstávají oddělené.","oss-aion-one-contract-six.5cbf78425a":"změní se jedno pravidlo, znovu zkontrolujte ovlivněné záznamy","oss-aion-one-contract-six.f5c6772ad7":"jedna fronta opětovného ověření","oss-aion-one-contract-six.d3516bd6ea":"jeden registr a záznam úložiště","oss-aion-one-contract-six.2ec012da6f":"jeden obal AION","oss-aion-one-contract-six.2c653cc8fa":"stejných sedm producentů, prostřednictvím jednoho obalu AION","oss-aion-one-contract-six.725c682066":"různé výstupy, ověřovače specifické pro rodinu","oss-aion-one-contract-six.cddf74f2cf":"sedm výstupů producentů","oss-aion-one-contract-six.f063fe5bcd":"sedm výstupů nahoře, jeden obal dole","oss-aion-one-contract-six.c34e6d1a39":"sedm producentů, jeden obal důkazů","oss-aion-one-contract-six.910e029098":"ilustrativní","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 odvození","oss-aion-one-contract-six.8aa194122c":"záznam logického důkazu","oss-aion-one-contract-six.30870de828":"identita modelu, parametry, stav, kontrolní body, invarianty a hash trajektorie","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"modul, vstupy, udělená oprávnění, přechody, limity a výstup","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"zdrojový graf, transformace, invarianty a identita artefaktu","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"autorita, politika, schválení, přechody a účtenky","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"odvození omezení a vrácené důkazy solveru","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"důkaz, model, jádro, svědek nebo mez","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Přípustné, nepřípustné nebo optimální","oss-aion-one-contract-six.8f7924f6f5":"Ověřovač solveru specifický pro rodinu","oss-aion-one-contract-six.2e9d2d4990":"Závěr z deklarovaných omezení","oss-aion-one-contract-six.0e7a123b77":"Ověřovač odvození Loom","oss-aion-one-contract-six.3c1a0d119e":"Dokončená řízená operace","oss-aion-one-contract-six.6c2ed5435d":"Organizační ověřovač Nexus","oss-aion-one-contract-six.07b127b70d":"Zkompilovaný artefakt","oss-aion-one-contract-six.4f9018da9e":"Kompilační ověřovač Kera","oss-aion-one-contract-six.1f42a0b0ce":"Spuštěná úloha","oss-aion-one-contract-six.5a3c8f1f84":"Ověřovač provádění Selvedge","oss-aion-one-contract-six.8879cc2e8a":"Simulovaná trajektorie","oss-aion-one-contract-six.0d72478caf":"Ověřovač simulace a FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Dokončené spuštění FMU","oss-aion-one-contract-six.8f5753fba0":"Identita FMU, konfigurace, kroky, události, konvergence a trasování","oss-aion-one-contract-six.4d64b5bbaf":"Ověřovač simulace a FMI","oss-aion-one-contract-six.6f99b37c1c":"Tvrzení","oss-aion-one-contract-six.4cb3ee8fa2":"Důkaz","oss-aion-one-contract-six.0f3253d8d8":"Ověřovač","oss-aion-one-envelope.3b24a9a880":"osm polí, verzované","oss-aion-one-envelope.a348113c09":"který\n          verifikátor to čte.","oss-aion-one-envelope.08ace6c26e":"jedno pole rozhoduje","oss-aion-one-envelope.396e2145f9":"Čtyři druhy důkazů, jeden otvor a","oss-aion-one-envelope.dc1a7be459":"spočíval na druhém","oss-aion-one-envelope.ddc01a5859":"tvrzení o trajektorii","oss-aion-one-envelope.7f211a50e2":"sada parametrů","oss-aion-one-envelope.8f2aa45103":"identita modelu","oss-aion-one-envelope.23e75e07fb":"zvoleno polem typu certifikátu, ne tím, kdo to poslal","oss-aion-one-envelope.4e4dc30b71":"který verifikátor to čte","oss-aion-one-envelope.c8c687f0ff":"stejný otvor, pokaždé","oss-aion-one-envelope.b5a871e570":"hromada účtenek","oss-aion-one-envelope.f90f47de4d":"běh přechodů","oss-aion-one-envelope.3116f117c0":"tabulka průchodů","oss-aion-one-envelope.134483f4a2":"důkaz klauzule","oss-aion-one-envelope.93a8ee0c5f":"co tam patří","oss-aion-one-envelope.582a139a7d":"směrováno podle typu","oss-aion-one-envelope.6b9805fe87":"Jedna obálka, čtyři datové části","oss-aion-one-envelope.3dde401523":"běhové provedení","oss-aion-one-envelope.708563c595":"ed25519, ověřeno","oss-aion-one-envelope.f2e0576c5b":"dva, jmenovaní níže","oss-aion-one-envelope.f7b7603261":"utěsněno, 41 kB","oss-aion-one-envelope.15aae6195c":"datová část certifikátu","oss-aion-one-envelope.6732222b05":"typ certifikátu","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"verze smlouvy","oss-aion-one-envelope.b578b9727d":"žádné dvojité účtování v období 2026-06","oss-aion-one-envelope.a503bc1da2":"odmítnuto","oss-aion-one-envelope.51c817ab85":"přijato","oss-aion-one-envelope.495117c360":"závislosti","oss-aion-one-envelope.910e029098":"ilustrativní","oss-aion-one-field-apart.e704601d64":"osa, nikoli vzorek","oss-aion-one-field-apart.5c256bca81":"Výsledek se s ní pohyboval, a to je zjištění, nikoli statistika.","oss-aion-one-field-apart.7a1e726c2f":"Dvě aplikace identické ve všech veřejných polích, lišící se o jedno číslo.","oss-aion-one-field-apart.084f6c9ebe":"každý pár, který pravidla umožňují","oss-aion-one-field-apart.ddaee9368d":"tisíc testovaných případů","oss-aion-one-field-apart.4c4ccacd1b":"pár, který můžete vložit do souboru","oss-aion-one-field-apart.6fddc6a6d1":"pásmo B,","oss-aion-one-field-apart.dbf68713b1":"stejná řada, schodová","oss-aion-one-field-apart.8c6c701170":"případ, který selže","oss-aion-one-field-apart.0f9dcd24f1":"výsledek nezávisel na tomto poli","oss-aion-one-field-apart.154b3f8e44":"pásmo B, 3 nabídky","oss-aion-one-field-apart.4392f1d89c":"jedna řada, bez schodu","oss-aion-one-field-apart.02de2da27e":"případ, který platí","oss-aion-one-field-apart.b7de103af7":"hrubá mzda, na každé straně volná","oss-aion-one-field-apart.c86b5b3346":"na obou stranách shodné","oss-aion-one-field-apart.54bb687f85":"ilustrativní aplikace","oss-aion-one-field-apart.b69108366c":"výsledek se mění u páru","oss-aion-one-field-apart.e79b0df746":"liší se o jedno pole","oss-aion-one-field-apart.e1fef06921":"nabídky","oss-aion-one-field-apart.8699f2b04f":"trvalý","oss-aion-one-field-apart.06e3125012":"zaměstnání","oss-aion-one-field-apart.305fa62f02":"30 až 39","oss-aion-one-field-apart.c6a0c81b25":"věkové pásmo","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":"region","oss-aion-one-word.95fa084cc9":"jeden z nich AION kontroluje","oss-aion-one-word.ce157273ec":"tři z těchto, kterým věříte","oss-aion-one-word.a04376ab99":"a co s tím můžete dělat","oss-aion-one-word.1a5b0d2471":"PROPAS","oss-aion-one-word.69dc71b6f9":"S čím přichází výsledek","oss-aion-one-word.8d40d2bfcc":"Typovaná tvrzení, každé pojmenovává pravidlo, přechod nebo předpoklad.","oss-aion-one-word.2f8acfe792":"Certifikát","oss-aion-one-word.b04dce1dd0":"Jak dlouho trvalo, než si byl jistý. Jistota není otázka.","oss-aion-one-word.7eb987f893":"Doba trvání","oss-aion-one-word.8388e9c8ba":"Co systém udělal. Ne proč závěr vyplývá.","oss-aion-one-word.40d0f0d4b5":"Protokol","oss-aion-one-word.e7597ba59a":"unsat, zkompilováno, bezpečné, schváleno. Není v tom nic, s čím by se dalo nesouhlasit.","oss-aion-one-word.ae976ad8e9":"Jedno slovo","oss-aion-org-cert.dd25bad09c":"a každý z nich je zkontrolován","oss-aion-org-cert.e8add8f2b8":"organizace, role, úkoly a schválení vyplňují mezery","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"od cíle k potvrzení","oss-aion-org-cert.0a629276bf":"Osm položek v řetězci","oss-aion-org-cert.51e6694762":"Co se skutečně dělalo venku a co se vrátilo.","oss-aion-org-cert.4f0a23ec14":"Akce a potvrzení","oss-aion-org-cert.b249df120c":"Každá hranice, kterou práce překročila, a co ji prošlo.","oss-aion-org-cert.5eaad4eb5f":"Prošlé brány","oss-aion-org-cert.aba30ac5b8":"Která role držela co v okamžiku, kdy byla akce pokusena.","oss-aion-org-cert.145ae750ce":"Vyřešená oprávnění","oss-aion-org-cert.f8a4dc9c6b":"Co se pokoušelo provést a podle které verze zásad.","oss-aion-org-cert.63fbd2b7ee":"Cíl a zásady","oss-aion-pipeline.b07bbe8800":"Propoziční jádro","oss-aion-pipeline.81f811c968":"Prohledávání s učením klauzulí řízené konflikty nad booleovskou kostrou. Rozhoduje, propaguje, narazí na konflikt, naučí se klauzuli a vrací se zpět. Binární, celočíselné a adaptivní hodnoty s pevnou řádovou čárkou tvoří základ rozhodovacího postupu; v aritmetickém jádru se neukládají, neakumulují ani nepoužívají žádné hodnoty s plovoucí řádovou čárkou jako záložní řešení.","oss-aion-pipeline.dc0dd5bc07":"rozhodnutí a naučené klauzule","oss-aion-pipeline.0c5ad3c30f":"Teoretické pluginy","oss-aion-pipeline.f3a7990ab0":"Jádro předává částečné přiřazení teoretické vrstvě. Aritmetika, bitové vektory, pole a řetězce uvažují ve svých vlastních doménách a vracejí propagace a konflikty. Externí vstup s plovoucí řádovou čárkou se na hranici dekóduje na binární pole nebo deklarovanou škálu s pevnou řádovou čárkou, než se připojí ke kontrole. Jádro hostí tyto usuzovací moduly; temporální a programové teorie žijí v doprovodných cratech.","oss-aion-pipeline.9d1b00d225":"teoretická lemmata a konflikty","oss-aion-pipeline.fa6a461dcc":"Emitor důkazů","oss-aion-pipeline.b3ca95c05c":"Každý krok, který engine provede, každou rezoluci a každé teoretické lemma, zaznamená emitor důkazů v okamžiku, kdy k němu dojde. Výsledkem je uspořádané odvození, které může samostatný kontrolor přehrát proti svým premisám.","oss-aion-pipeline.17ac98f8af":"uspořádané odvození","oss-aion-pipeline.26d98dc390":"Export formátu","oss-aion-pipeline.a79251f54d":"Odvození se zapíše jako LRAT, DRAT nebo Alethe, nebo se ponechá v jednotném mezilehlém tvaru. LRAT nese nápovědy pro jednotkové propagace, což umožňuje, aby offline kontrola byla lineární v délce důkazu.","oss-aion-pipeline.8c3cee1cd3":"přenosný certifikát","oss-aion-pipeline.77ec79ed26":"od rozhodnutí k certifikátu","oss-aion-pipeline.c320454a47":"CDCL + teorie + emitor","oss-aion-pipeline.a618b4be8d":"Dotaz","oss-aion-pipeline.10de46b3b3":"Certifikát","oss-aion-pipeline.62923220ae":"Celé číslo / pevná řádová čárka.","oss-aion-pipeline.4961117925":"Uvnitř jádra žádné hodnoty s plovoucí řádovou čárkou.","oss-aion-pipeline.591118af56":"Řetězec rezolucí.","oss-aion-pipeline.39dfacd414":"Každý krok uvádí premisy, na kterých závisí, v pořadí.","oss-aion-pipeline.7fc7b98317":"Kontrolor nezávislý.","oss-aion-pipeline.f0bef425b5":"Certifikát se přehrává bez solveru.","oss-aion-pipeline.a73bc5ed23":"Architektura, jádro CDCL, teoretické pluginy, emitor důkazů","oss-aion-plain-card.7e190a46ae":"Stroj dá odpověď","oss-aion-plain-card.b8941c136d":"Počítač za vás něco spočítá. Sami tomu musíte prostě věřit.","oss-aion-plain-card.1232ecf314":"Také vypíše účtenku","oss-aion-plain-card.af7230bfb9":"AION nechá stroj vytisknout malou účtenku vedle odpovědi. Účtenka ukazuje každý krok, který k ní vedl.","oss-aion-plain-card.262d1681dd":"Účtenku si může zkontrolovat každý","oss-aion-plain-card.7d35d2e097":"Váš vlastní pomocník si účtenku přečte a řekne: ano, to sedí, nebo ne, to je špatně. Nemusí prvnímu stroji vůbec věřit.","oss-aion-plain-card.e8146bafb5":"AION lidsky","oss-aion-plain-card.0b081a8ef4":"Účtenka v ceně","oss-aion-plain-card.a32564404b":"Představte si účtenku z obchodu. Když si něco koupíte, dostanete papírek, který dokazuje, že\n          vás obchod naúčtoval správnou částku. Tu účtenku můžete ukázat komukoli a on si ji může\n          sám sečíst.","oss-aion-plain-card.d5d9b99b9c":"AION dělá totéž pro počítač.","oss-aion-plain-card.2cc68d964c":"Když stroj dá\n          odpověď, AION vám předá účtenku, která dokazuje, že odpověď je správná, a každý si ji může zkontrolovat.","oss-aion-plain-card.374c644917":"Nikdy nemusíte stroji jen tak věřit. Účtenka to dokazuje.","oss-aion-plain-refusal.7d7fc8edd4":"stejné vysvětlení platí pro vás i pro každého, kdo to kontroluje, protože je to jedno\n            vysvětlení","oss-aion-plain-refusal.40c2416b25":"případ, který si můžete přečíst, ne křížek, který nemůžete","oss-aion-plain-refusal.f795b42ea6":"Prostor na této kartě se 1. srpna, za dva dny, vrátí na plnou výši.","oss-aion-plain-refusal.3ae2a82129":"když k tomu dojde","oss-aion-plain-refusal.a6012020ae":"Buď o 150 eur více prostoru na kartě, nebo platba 90 eur nebo méně.","oss-aion-plain-refusal.74b2c9301b":"co by to změnilo","oss-aion-plain-refusal.e88b1876e6":"90 eur nepokryje 240 eur, takže platba i zbývající prostor nemohou platit zároveň.","oss-aion-plain-refusal.d649363397":"která část to porušuje","oss-aion-plain-refusal.ec7a8f0a8d":"Platba byla 240 eur. Zbývající prostor na kartě dnes byl 90 eur.","oss-aion-plain-refusal.fcd45ae097":"vaše situace","oss-aion-plain-refusal.e51b51ac5a":"Platba projde pouze tehdy, pokud zbývající prostor na kartě dnes pokryje.","oss-aion-plain-refusal.93823841cb":"co říká pravidlo","oss-aion-plain-refusal.9bc7984374":"Proč to neprošlo","oss-aion-plain-refusal.549840f998":"Když je pravidlo porušeno, AION vypíše situaci, která ho porušila, v běžných\n            větách s čísly. Platba byla za tolik, zbývající prostor na kartě dnes byl méně než to,\n            a společně tyto dvě skutečnosti porušují pravidlo. Můžete si to přečíst, přesně s tím\n            nesouhlasit, nebo změnit jedinou věc, která se musí změnit. Křížek v rámečku vám\n            nedá nic z toho, a není kratší, jen prázdnější.","oss-aion-plain-refusal.3b50831d8a":"Automatické rozhodnutí, které vás odmítne, je horší než rozhodnutí člověka, protože\n            obvykle není na co se ptát. Odmítnutí přijde hotové. Dostanete výsledek a,\n            pokud máte štěstí, referenční číslo, a cesta ke skutečnému vysvětlení je\n            stížnost, která trvá týdny a dostane se k někomu, kdo s tím také neměl nic společného.","oss-aion-plain-refusal.ada63e5c2f":"Zpracovaný případ je.","oss-aion-plain-refusal.462f7e9213":"„Není povoleno“ není důvod.","oss-aion-plain-refusal.5abdfa9cd6":"Rozdíl","oss-aion-plain-refusal.68c46e84d7":"prostý","oss-aion-reasoning-cert.0f1fb3d007":"a každá položka je zkontrolována","oss-aion-reasoning-cert.98ec75a261":"meze a konečný nárok dokončují sedm","oss-aion-reasoning-cert.433b925481":"Co bylo vyloučeno, a předpoklady, které to vyloučily.","oss-aion-reasoning-cert.13382efd7c":"Rozpory","oss-aion-reasoning-cert.e856a27527":"Podproblém, který byl vyřazen, a důkaz, který se vrátil.","oss-aion-reasoning-cert.92324f5363":"Certifikáty řešitele","oss-aion-reasoning-cert.fe451714e4":"Každý pojmenovaný, v pořadí, v jakém byl použit.","oss-aion-reasoning-cert.e0d40a5309":"Aplikace pravidel","oss-aion-reasoning-cert.e0753c6513":"Co bylo v platnosti, v jaké verzi, když práce běžela.","oss-aion-reasoning-cert.b9366c0dbf":"Aktivní omezení","oss-aion-reasoning-cert.a04ed61a81":"řešitel","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"sedm položek","oss-aion-reasoning-cert.eb64d71581":"Co nese certifikát odůvodnění","oss-aion-reasoning-chain.126806353c":"deklarováno, pak zkontrolováno","oss-aion-reasoning-chain.751e90e830":"Každý z nich je artefakt, který zdůvodnění zanechalo, a každý je přečten.","oss-aion-reasoning-chain.bc96941170":"Čtyři omezení, dvě aplikace pravidel, jedno řešení solveru a jeden rozpor.","oss-aion-reasoning-chain.57fa7b904f":"Co se zde kontroluje, je odvození, které systém deklaroval, položku po položce.","oss-aion-reasoning-chain.e0aa3695ac":"jádro 01 02 04, a 03 v něm není","oss-aion-reasoning-chain.e3338dab26":"dvojí účtování vyloučeno","oss-aion-reasoning-chain.a43e177c4c":"04 vratka ruší","oss-aion-reasoning-chain.becc703d80":"sloučené účtování","oss-aion-reasoning-chain.398df239b3":"z 01 a 02","oss-aion-reasoning-chain.373c5eb4cc":"čteno krok za krokem, uzavírá","oss-aion-reasoning-chain.45f358826b":"vráceno proverem, ve formátu Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvector a rovnost, nic jiného nepřechází","oss-aion-reasoning-chain.34fcd5c8c7":"podproblém, zapečetěný","oss-aion-reasoning-chain.8c7f764922":"při počtu opakování, z 02 a 03","oss-aion-reasoning-chain.7c960fefa4":"tři vyzvednuty do jádra, jeden ponechán tam, kde byl","oss-aion-reasoning-chain.eeacd6e80f":"aktivní omezení, slovy, která napsala odpovědná osoba","oss-aion-reasoning-chain.0ee0bb12eb":"Tato konfigurace nemůže vytvořit dvojí účtování v rámci jednoho zúčtovacího období.","oss-aion-reasoning-chain.c0644670d0":"tvrzení, které Loom prosazuje","oss-aion-reasoning-chain.9616861141":"ilustrativní tvrzení a verze","oss-aion-reasoning-chain.e4f7c8c782":"jádro jmenuje tři, jedno vyjasňuje","oss-aion-reasoning-chain.43c7dffedb":"Jeden závěr, otevřený","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":"Vratka ruší účtování, které jmenuje.","oss-aion-reasoning-chain.4c449f834c":"Zúčtovací období končí o půlnoci posledního dne.","oss-aion-reasoning-chain.a663638447":"Opakování nikdy nevyvolá druhé účtování.","oss-aion-reasoning-chain.0d43228516":"Účtování je vyvoláno jednou za každé dokončené doručení.","oss-aion-reassure.38a3bd59d5":"Point je jednoduchý: nikdy nevěřte stroji na slovo. Mějte důvod, který může ověřit druhý kontrolor.","oss-aion-reassure.0ccc7397a4":"Ne. Účtenku lze zkontrolovat přímo na místě, aniž by se cokoli posílalo přes internet.","oss-aion-reassure.5bea629f3e":"Je moje odpověď někam odeslána?","oss-aion-reassure.af397dc934":"Je postaven v Evropě. Samostatný kontrolor, ne stroj, který odpověď vytvořil, ověřuje každou účtenku.","oss-aion-reassure.7de6360d68":"Odkud pochází?","oss-aion-reassure.a93d9edbec":"Ne. Nic z toho si sami nestavíte. Obchod, nemocnice nebo úřad to za vás použije. Vy jen dostanete jasnější odpověď.","oss-aion-reassure.39af3a44b7":"Musím být zdatný v počítačích?","oss-aion-reassure.bdbcd6057e":"Ano. Účtenku lze znovu zkontrolovat bez původního modelu, relace, účtu nebo připojení k internetu.","oss-aion-reassure.aa1b0d7005":"Lze ji zkontrolovat později?","oss-aion-receipt.36889df54f":"Tohle se vás nikdy netýká. Když to za vás použije obchod nebo kancelář, tohle je lístek,\n          který vám mohou předat.","oss-aion-receipt.46fbbfb5be":"Kdokoli si ho může přečíst a ověřit, že sedí.","oss-aion-receipt.9c258dd430":"a musíte tomu věřit. S AION vám\n            stroj také předá ten malý lístek vlevo. Ukazuje otázku, postup a\n            odpověď.","oss-aion-receipt.013700f8eb":"Normální stroj jen řekne","oss-aion-receipt.12df5bb228":"Patří vám","oss-aion-receipt.7b8544fad0":"Sedí to","oss-aion-receipt.def2581739":"Potvrzení odpovědi","oss-aion-receipt.6e17da21e4":"Příklad potvrzení odpovědi","oss-aion-receipt.f2688d32ea":"Zeptáte se znovu a dostanete stejnou odpověď i stejný lístek, na jakémkoli počítači.","oss-aion-receipt.2379231efe":"Pokaždé stejné","oss-aion-receipt.a4b884c0e4":"Váš vlastní pomocník zkontroluje lístek přímo u vás, aniž by se něco odesílalo.","oss-aion-receipt.930888ee28":"Bez internetu","oss-aion-receipt.7a019cc1d2":"Důvod je na lístku, ne skrytý ve stroji. Můžete si ho nechat nebo ho ukázat.","oss-aion-receipt.47b716baec":"Písemně","oss-aion-receipt.92ed516e5b":"Ano, a tady je proč.","oss-aion-receipt.7011b1a621":"Odpověď","oss-aion-receipt.8ab9465666":"Váš případ byl k němu přiřazen.","oss-aion-receipt.16bb8dfc44":"Krok dva","oss-aion-receipt.d3ca88b9f3":"Pravidlo bylo přečteno celé.","oss-aion-receipt.e97cc54395":"Krok jedna","oss-aion-receipt.afd2793ce0":"Mám nárok na tuto vratku?","oss-aion-receipt.d79cce547d":"Otázka","oss-aion-recheck-list.09d5defeae":"dva řádky, dvě jména","oss-aion-recheck-list.fd3e1afd0e":"nebo, mnohem častěji, o ničem.","oss-aion-recheck-list.459f160ffa":"Bez verze u každého řádku vede stejné oznámení k přezkoumání\n          všeho,","oss-aion-recheck-list.cade8a80df":"seznamu a toho, kdo ho drží","oss-aion-recheck-list.6f13975269":"stále kompatibilní","oss-aion-recheck-list.48f8969999":"nutné znovu přečíst","oss-aion-recheck-list.af0f44d357":", změněno v","oss-aion-recheck-list.4202e0844e":"Pravidlo hranice optimality se vykládá přísněji. Hranice uvedená přesně na limitu\n              se již nepovažuje za hranici pod ním.","oss-aion-recheck-list.1c26bb5963":"vydáno 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Kontrolor v7.0","oss-aion-recheck-list.9ffcf8f72b":"ilustrativní položky","oss-aion-recheck-list.dc490c03ae":"dva z pěti označených","oss-aion-recheck-list.7316018edf":"Dotčené záznamy","oss-aion-recheck-list.2237af7cd3":"pravidlo hranice optimality","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Optimální trasa, sklad sever","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Sestavení firmwaru, brána 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Vyhodnocení souhlasu, kampaň 44","oss-aion-recheck-list.3c54a1df45":"interně","oss-aion-recheck-list.b8d251e8cd":"Dávkové spuštění cen","oss-aion-recheck-list.dce56394a1":"Plán směn, týden 12","oss-aion-recheck-list.48a3661d84":"stav","oss-aion-recheck-list.29e5b9a8e6":"kontrolor","oss-aion-recheck-list.51c817ab85":"přijato","oss-aion-recheck-list.e2979e7595":"dodavatel","oss-aion-recheck-list.335ce16b3f":"předmět","oss-aion-recheck-list.796a88413e":"J. Okonkwo, provoz","oss-aion-recheck-list.90916dd844":"Znovu zkontrolujte a potvrďte uvedenou hranici s dodavatelem.","oss-aion-recheck-list.00e67572db":"M. de Vries, ochrana údajů","oss-aion-recheck-list.e4faeae968":"Znovu zkontrolujte uložený certifikát proti v7.0.","oss-aion-record-fields.8580937ae7":"každý z nich vytváří vlastní ovlivněnou množinu","oss-aion-record-fields.632f62dd8b":"schéma certifikátu doplňuje sedmičku","oss-aion-record-fields.7039b2f0bd":"kde je nyní","oss-aion-record-fields.74b489c3d1":"kde byl","oss-aion-record-fields.5d5dc3b7c3":"TRVALÝ","oss-aion-record-fields.c2a1a83804":"a nejde jen o pravidla dokazování","oss-aion-record-fields.12b83ffb63":"Co se může změnit pod povrchem","oss-aion-record-fields.91b3cb991a":"novější verze modelu","oss-aion-record-fields.e1ab670f61":"Smlouva o modelu nebo simulaci","oss-aion-record-fields.da15b4cbb5":"samotný nárok se přesunul","oss-aion-record-fields.26e4976c38":"Smlouva o kompilátoru nebo běhovém prostředí","oss-aion-record-fields.cb2c2e30b7":"vyřízeno pod jiným","oss-aion-record-fields.43e275dea3":"Zásada","oss-aion-record-fields.521a7a8570":"nyní čteno jinak","oss-aion-record-fields.58fd9f572c":"Pravidlo kontrolora","oss-aion-refusal-fields.432aa8565f":"reference, kterou může někdo dohledat","oss-aion-refusal-fields.36a85f9074":"ne červený kříž","oss-aion-refusal-fields.fe71871083":"OZNÁMENÍ","oss-aion-refusal-fields.4f84be92c8":"aby na to někdo mohl reagovat","oss-aion-refusal-fields.fa31a3ca39":"Co obsahuje odmítnutí","oss-aion-refusal-fields.5647a1c020":"rozhodněte, čí je to zjištění","oss-aion-refusal-fields.11c0add347":"Vada v důkazu nebo pravidlo, které nepoužíváme. Není to totéž.","oss-aion-refusal-fields.a74aa40f65":"Druh","oss-aion-refusal-fields.d3144a7994":"podívejte se, co tam nebylo","oss-aion-refusal-fields.060958d8fd":"Co chybělo nebo bylo špatně, když se to znovu zpracovávalo.","oss-aion-refusal-fields.a7dc07c061":"Důvod","oss-aion-refusal-fields.3b21710b2e":"zkontrolujte, co mělo udělat","oss-aion-refusal-fields.f80b017fdb":"Co krok tvrdil, že dělá.","oss-aion-refusal-fields.0056e788fc":"Pravidlo","oss-aion-refusal-fields.89abf35df5":"otevřete to na tom řádku","oss-aion-refusal-fields.3dac51b71a":"Který krok, podle čísla, v kterém souboru.","oss-aion-refusal-fields.2fb8438f32":"Umístění","oss-aion-reviewable.e0cb1b89aa":"nejen autor","oss-aion-reviewable.f29c4ff9dd":"recenzent to zkontroluje","oss-aion-reviewable.c6465865b0":"vaše věta","oss-aion-reviewable.ed6912ad70":"RECENZE","oss-aion-reviewable.5867cc6bd5":"bez učení se zápisu","oss-aion-reviewable.8f8dec6da0":"Co recenzent vidí","oss-aion-reviewable.da8643122f":"Jméno, datum a verze potvrzené věty.","oss-aion-reviewable.7c92afb7f9":"Podepsané potvrzení","oss-aion-reviewable.340e6b4675":"Opakovaná recenze čte totéž, protože nic nevybralo model.","oss-aion-reviewable.b08be2b959":"Pokaždé stejné","oss-aion-reviewable.d3a2628a1c":"Každá veličina pojmenovaná s druhem hodnoty, kterou drží.","oss-aion-reviewable.2587914ff8":"Na čem pracuje","oss-aion-reviewable.f0a2aa51a4":"Jedna věta říkající, co celá podmínka kóduje.","oss-aion-reviewable.5a47a1dcaf":"Prosté čtení","oss-aion-reviewable.aee2d461c7":"Beze změny, nahoře, jak ji napsali.","oss-aion-reviewable.7488358db7":"Jejich vlastní věta","oss-aion-risk-ledger.1a0f2538e1":"Pět operačních expozic nahrazeno jedním certifikátem, který si může ověřit jiný kontrolor.","oss-aion-risk-ledger.4b32d8f574":"S AION","oss-aion-risk-ledger.2e34d48ba3":"Obvyklý způsob","oss-aion-risk-ledger.d1d7499182":"POSTAVENO VEDLE SEBE","oss-aion-risk-ledger.02c7234156":"Přehrát si odůvodnění offline a přesvědčit se o něm sami.","oss-aion-risk-ledger.b5058e1c76":"Věřit dodavateli na slovo, že odpověď byla správná.","oss-aion-risk-ledger.d2e183faa1":"Jak moc tomu věřit","oss-aion-risk-ledger.96f0603563":"Certifikát se ověřuje bez kteréhokoli z nich.","oss-aion-risk-ledger.04312971f3":"Původní model, relace řešitele a služba musí být stále k dispozici.","oss-aion-risk-ledger.2df1215b19":"Na čem závisí ověření","oss-aion-risk-ledger.8ddd34c358":"Běží na vašem vlastním hardwaru, v jurisdikci, kterou schválíte.","oss-aion-risk-ledger.c3fe4a906f":"Rozhodnutí jsou vysvětlována na serverech, které neovládáte.","oss-aion-risk-ledger.242ebe0c39":"Kde data leží","oss-aion-risk-ledger.75eb05728b":"Standardní formáty důkazů zůstávají nezávisle ověřitelné.","oss-aion-risk-ledger.46d3f9eccd":"Vysvětlení zmizí spolu s původní službou.","oss-aion-risk-ledger.8ea6189e84":"Když se běhové prostředí změní","oss-aion-risk-ledger.21ff58d6a7":"Předáte certifikát, který si auditor může sám zkontrolovat.","oss-aion-risk-ledger.934929b924":"Přeposíláte soubory protokolů a doufáte, že budou brány jako důkaz.","oss-aion-risk-ledger.8632e0b3b5":"Když se auditor zeptá","oss-aion-rule-refusal.c354dff2de":"bez verdiktu po 15","oss-aion-rule-refusal.0fc2b67ff7":"na prvním selže krok","oss-aion-rule-refusal.d7cb461a4b":"Čtyři testy v pevném pořadí a čtení se zastaví","oss-aion-rule-refusal.ad9deadf27":"jeden identifikátor klauzule použitý pro dvě klauzule","oss-aion-rule-refusal.ffc05ba511":"pivot deklarovaný na literálu, který klauzule neobsahuje","oss-aion-rule-refusal.5af32fb7c4":"nápověda odkazující na krok, který má ospravedlnit","oss-aion-rule-refusal.fbf5522f0e":"připnutý z nepřátelské sady","oss-aion-rule-refusal.d3b27b8f89":"neuzavřeno","oss-aion-rule-refusal.0f04e9ee60":"literály stále stojící na poslední klauzuli","oss-aion-rule-refusal.90f9cbf1cb":"konec souboru","oss-aion-rule-refusal.196a925493":"index premisy, 1 až 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, pravidlo za pravidlem","oss-aion-rule-refusal.b14e7fc954":"zastaveno na 15","oss-aion-rule-refusal.ce0ed8058b":"Jeden důkaz, čtený od začátku","oss-aion-rule-refusal.af0cbd46a2":"citováno mimo pořadí","oss-aion-rule-refusal.165a394589":"z 61 a 20","oss-aion-rule-refusal.dd39474e4f":"premisa chybí","oss-aion-rule-refusal.6edfd31763":"z 88","oss-aion-rule-refusal.d18b697772":"cituje sám sebe","oss-aion-rule-refusal.5c7bf112ac":"z 31 a 18","oss-aion-rule-refusal.64b0295aa0":"nepodporované pravidlo","oss-aion-rule-refusal.5e2428fc82":"z 14","oss-aion-rule-refusal.a7e8697338":"z 12 a 13","oss-aion-rule-refusal.ba08b53848":"z 4","oss-aion-rule-refusal.2a1be725ca":"12 rezoluce","oss-aion-rule-refusal.54a0121f57":"z 4 a 9","oss-aion-rule-refusal.8ffe1b4177":"pravidlo známé","oss-aion-rule-refusal.ebed34abd2":"pod svým vlastním","oss-aion-rule-refusal.d182b65e15":"premisa přítomna","oss-aion-rule-refusal.a503bc1da2":"odmítnuto","oss-aion-rule-refusal.3a21295d81":"úložiště","oss-aion-same-except-one.279e6c9e96":"jeden je zpracován níže","oss-aion-same-except-one.87ca0e7356":"meze, odvození a původ modelu doplňují sedm","oss-aion-same-except-one.72b459f8cc":"VLASTNOSTI","oss-aion-same-except-one.25119f6e70":"a rodina, která každou z nich nese","oss-aion-same-except-one.ed6552be04":"Tvrzení, která můžete učinit","oss-aion-same-except-one.633255fe41":"Tato trajektorie respektovala tyto invarianty.","oss-aion-same-except-one.6b403d2a35":"Tato akce měla požadovaný souhlas.","oss-aion-same-except-one.ac5d8ada02":"Tato zátěž běžela v rámci těchto oprávnění.","oss-aion-same-except-one.5e8efc64f2":"Tento binární soubor odpovídá tomuto zdrojovému grafu.","oss-aion-same-except-one.81c0e8e986":"simulace","oss-aion-same-except-one.92fe1455a7":"organizační","oss-aion-same-except-one.1e21474598":"provádění","oss-aion-same-except-one.023646ce84":"kompilace","oss-aion-same-rule-parts.3326352b94":"tyto tři ji přežijí","oss-aion-same-rule-parts.b33174d833":"odpověď je jedna věta","oss-aion-same-rule-parts.490fbefa4b":"předat stejnou práci dvakrát a kontrola dopadne stejně","oss-aion-same-rule-parts.ce173fc797":"Podrženo pro druhou kontrolu.","oss-aion-same-rule-parts.60c6fa6f09":"odpověď","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"poté, co odpověď dorazí","oss-aion-same-rule-parts.3fea5c7183":"Tři věci, které si necháte","oss-aion-same-rule-parts.f460809c86":"Kdy byla práce zkontrolována a co ji zkontrolovalo.","oss-aion-same-rule-parts.1f26226511":"záznam","oss-aion-same-rule-parts.f3488c72aa":"Datum","oss-aion-same-rule-parts.7e9a6ac9d7":"Citované pravidlo s vaší vlastní situací uvnitř.","oss-aion-same-rule-parts.fa1f96a2cc":"vytištěno s odpovědí","oss-aion-same-rule-parts.a7dc07c061":"Důvod","oss-aion-same-rule-parts.51240e4e03":"Obyčejná slova, zachovaná, abyste je mohli přečíst komukoli.","oss-aion-same-rule-parts.f901c543a0":"jak to někdo napsal","oss-aion-same-rule-parts.0056e788fc":"Pravidlo","oss-aion-same-rule-thrice.8716c9d2d1":"citovatelné všemi třemi","oss-aion-same-rule-thrice.56daaad027":"Nikdo nikoho případ na místě neinterpretoval.","oss-aion-same-rule-thrice.fe8d9a24bc":"Tři jména, tři data, jeden důvod slovo od slova.","oss-aion-same-rule-thrice.2d4e5d243a":"stejná slova ve všech třech dopisech","oss-aion-same-rule-thrice.36c5f05f0e":"Moje žádost byla pozastavena, protože jakákoli žádost z účtu, který byl někdy v mínusu,\n              je pozastavena kvůli druhé kontrole. To jste zamýšleli?","oss-aion-same-rule-thrice.47b69ccfd4":"co může napsat kterýkoli ze tří","oss-aion-same-rule-thrice.5441126254":"důvod s vašimi čísly","oss-aion-same-rule-thrice.e026ce35f8":"pravidlo slovy","oss-aion-same-rule-thrice.c6b6fdf0c8":"Vaše žádost je pozastavena","oss-aion-same-rule-thrice.4af8028f5b":"To dopadá na každého, kdo byl jednou týden v mínusu.","oss-aion-same-rule-thrice.43d7f6edd9":"Jakákoli žádost z účtu, který byl někdy v mínusu, je pozastavena kvůli druhé kontrole.","oss-aion-same-rule-thrice.d5dff79fd0":"pravidlo, jak ho napsal odpovědný člověk","oss-aion-same-rule-thrice.660cf69152":"stejný důvod, třikrát","oss-aion-same-rule-thrice.2aa5baf4fa":"jedno pravidlo, tři lidé","oss-aion-same-rule-thrice.2969c22def":"v mínusu jeden den v srpnu 2024","oss-aion-same-rule-thrice.db55a373e5":"2. července","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"v mínusu dva dny v listopadu 2021","oss-aion-same-rule-thrice.8a343dea89":"19. června","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"v mínusu šest dní v březnu 2023","oss-aion-same-rule-thrice.e46936527e":"4. června","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Váš účet byl v určitém okamžiku v mínusu, takže tato žádost je pozastavena kvůli druhé kontrole.","oss-aion-same-rule-thrice.69449f994d":"ref","oss-aion-same-rule-thrice.910e029098":"ilustrativní","oss-aion-second-reader.e2a4a212d5":"ukazovat na řádek je ta užitečná část","oss-aion-second-reader.b31aece7ea":"shoda je snadná","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"co dělá druhé čtení","oss-aion-second-reader.d160172930":"Sečíst to znovu","oss-aion-second-reader.0bd3d42b28":"Jiný program, bez důvodu dávat přednost odpovědi.","oss-aion-second-reader.2c814bb70c":"Není to první stroj","oss-aion-second-reader.b792afd627":"A říká, který krok, takže je na co ukazovat.","oss-aion-second-reader.4a195096b0":"Zastaví se u první chyby","oss-aion-second-reader.58f56fa2c3":"Vypočítá to znovu, místo aby věřil, že to bylo hotové.","oss-aion-second-reader.5abf0b9df4":"Provede každý krok","oss-aion-second-reader.de8f44bd3b":"Ne odpověď. Kroky, které k ní měly vést.","oss-aion-second-reader.0a461499ae":"Čte postup","oss-aion-second-sum.2517e33359":"místo, ne rozsudek","oss-aion-second-sum.1f31706279":"Co jste potřebovali, byla řádka, a tady je.","oss-aion-second-sum.1b06fb1625":"Oba sloupce dosáhnou součtu a jeden z nich je špatně.","oss-aion-second-sum.715f45331b":"Čtení se zastaví u pětky, místo aby pokračovalo na šestku, protože kontrola, která přeskočí krok, který nemůže vyjít, není kontrola.","oss-aion-second-sum.be51277bfd":"nedosaženo","oss-aion-second-sum.a90d766915":"tento krok nevyjde","oss-aion-second-sum.b214ae4ce2":"stejný tah, který stroj při práci zapsal","oss-aion-second-sum.e4cddfd229":"Každý si může sloupec sečíst sám a dojít ke stejné řádce. To je celá myšlenka, přenesená na práci, kterou nikdo nevidí.","oss-aion-second-sum.a72b4463ba":"Oba sloupce souhlasí pro tři řádky. Kroužek jde kolem řádky, kde se rozcházejí, ne kolem součtu, protože součet nikdy nebyl to užitečné, o čem se hádat.","oss-aion-second-sum.136fc39d05":"Deset centů, a je to u jablek.","oss-aion-second-sum.1104f28cf8":"zaplatit","oss-aion-second-sum.51111a2b99":"obchod, úterý","oss-aion-second-sum.e9594ccf76":"rozcházejí se u jablek","oss-aion-second-sum.bb470fd83f":"stejný sloupec, sečtený dvakrát","oss-aion-second-sum.0220a293b9":"nárok je zaplacen","oss-aion-second-sum.f7e5a74a1f":"co zbývá zaplatit, se sečte","oss-aion-second-sum.597b954c29":"přebytek byl odečten","oss-aion-second-sum.edccd745a8":"částka je pod limitem pro tuto opravu","oss-aion-second-sum.709d0bb348":"oprava je na krytém seznamu","oss-aion-second-sum.1396b1459a":"účet byl otevřen v den nároku","oss-aion-second-sum.d2fc512490":"tužka","oss-aion-second-sum.1c8f15dab7":"tištěné","oss-aion-second-sum.910e029098":"ilustrativní","oss-aion-second-sum.f6c1ab8181":"mýdlo","oss-aion-second-sum.bcef7a0462":"sýr","oss-aion-second-sum.76c2436b59":"jablka","oss-aion-second-sum.44213f9f4d":"káva","oss-aion-second-sum.6ff291d817":"chléb","oss-aion-second-sum.cf5dbf0ec5":"mléko","oss-aion-sentence-returns.e9a72f31df":"vaše slova, na obou koncích","oss-aion-sentence-returns.254545287c":"O osm měsíců později to čte cizí člověk, ne shrnutí.","oss-aion-sentence-returns.f0e71316de":"Jeden člověk napsal větu a odložil ji.","oss-aion-sentence-returns.4c51f16cb4":"Mezi těmito dvěma čteními se nic nenaučilo, nic nezměnilo názor ani nemělo lepší nápad.","oss-aion-sentence-returns.06152533dc":"druhá platba za jednu objednávku v rámci jednoho fakturačního měsíce není povolena","oss-aion-sentence-returns.fb3e6817f1":"ze čtení o rok později","oss-aion-sentence-returns.32af205ca5":"ze čtení v březnu","oss-aion-sentence-returns.0b1eb314b5":"stejná věta, přečtená znovu o rok později","oss-aion-sentence-returns.547a49e160":"objednávka 44-8127 byla účtována třetího listopadu a znovu devatenáctého","oss-aion-sentence-returns.d3141af6d8":"co do ní narazilo","oss-aion-sentence-returns.a2d40412ef":"druhá platba za jednu objednávku v rámci jednoho fakturačního měsíce","oss-aion-sentence-returns.0ee2593cc5":"část, která nebyla splněna","oss-aion-sentence-returns.43015fadc4":"Nikdo by neměl být účtován dvakrát za stejnou objednávku ve stejném měsíci.","oss-aion-sentence-returns.2ce9eb0823":"pravidlo, slovy, kterými bylo napsáno","oss-aion-sentence-returns.5c4173fbcf":"9. listopadu, odesláno zákazníkovi","oss-aion-sentence-returns.96ec36f99b":"Platba byla zastavena","oss-aion-sentence-returns.14da1cff14":"osm měsíců","oss-aion-sentence-returns.b59f623fe2":"čteno jako","oss-aion-sentence-returns.6a250da793":"14. března, osobou, která vlastní fakturaci","oss-aion-sentence-returns.8766d15f20":"stejná slova na obou koncích","oss-aion-sentence-returns.33e656aa3a":"jedna věta, osm měsíců od sebe","oss-aion-sentence-returns.6180960e2c":"napsáno","oss-aion-sentence-returns.910e029098":"ilustrativní","oss-aion-side-by-side-rule.1462946510":"obrácená hierarchie","oss-aion-side-by-side-rule.dc685ee970":"je ten nejmenší, dole.","oss-aion-side-by-side-rule.37ba9a07a7":"Jediný řádek, který tu nikdo nemusí umět přečíst","oss-aion-side-by-side-rule.24205c8d5e":"Tělo tohoto listu je to, oč bylo požádáno.","oss-aion-side-by-side-rule.136ec48046":"věta verze 3","oss-aion-side-by-side-rule.5714c84617":"9. dubna 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, fakturační operace","oss-aion-side-by-side-rule.4c1493cdf2":"podmínka tak, jak je uložena","oss-aion-side-by-side-rule.5050bceb24":"na čem pracuje","oss-aion-side-by-side-rule.70a7ded724":"Druhá platba proti referenci, která už byla v rámci fakturačního období účtována, je\n          odmítnuta.","oss-aion-side-by-side-rule.decbbbcbea":"Žádný klient nesmí být za stejnou referenci v jednom fakturačním období účtován dvakrát.","oss-aion-side-by-side-rule.41f5b5d765":"bez nutnosti zápisu","oss-aion-side-by-side-rule.fd9d8f9d79":"potvrzeno vlastníkem","oss-aion-side-by-side-rule.dbd8504696":"kontrolní list","oss-aion-side-by-side-rule.b714510ded":"kolikrát už byla tato reference účtována","oss-aion-side-by-side-rule.71aa03cd23":"počet účtování","oss-aion-side-by-side-rule.8f404d9e59":"měsíc, do kterého platba spadá","oss-aion-side-by-side-rule.28db3c4a10":"fakturační období","oss-aion-side-by-side-rule.7bbf8d007a":"identifikátor, proti kterému je platba účtována","oss-aion-side-by-side-rule.333190a7a5":"reference","oss-aion-silent-wrong.e516f1474a":"krok 40, pravidlo neznámé","oss-aion-silent-wrong.52c4b2ffb7":"kde se to zastavilo","oss-aion-silent-wrong.bdc9060b3b":"Osm běhů vrátilo osm slov. Jen to, které si zapsalo svou práci,\n          to může říct","oss-aion-silent-wrong.dc3fb44cee":"odmítnutí pojmenovává hranici","oss-aion-silent-wrong.d55eb7e866":"Tento čtenář nemá pravidlo s tímto názvem v kroku 40, takže se tam zastavil. Razítko\n            nebylo nikdy použito a nebyl vydán žádný verdikt.","oss-aion-silent-wrong.d04a61e19e":"co čtení vytvořilo","oss-aion-silent-wrong.b31f1a6015":"alethe, kroky 38 a dál","oss-aion-silent-wrong.74cb6750e3":"jedno z nich, zapsané","oss-aion-silent-wrong.c9266795e0":"osm systémů, osm výsledků","oss-aion-silent-wrong.d7d4ae123f":"ilustrativní, jeden běh z osmi","oss-aion-silent-wrong.3c05b129e2":"žádný verdikt vydán","oss-aion-silent-wrong.c6dc61d79f":"Osm slov, jedno z nich otevřené","oss-aion-silent-wrong.64494819a0":"předpoklad 40, prázdná klauzule","oss-aion-silent-wrong.9dae957efd":"předpoklad 39","oss-aion-silent-wrong.52e787751c":"předpoklady 31 a 38","oss-aion-silent-wrong.36901d48ad":"předpoklady 12 a 31","oss-aion-silent-wrong.e00bcd7ac6":"pracovní postup schválen","oss-aion-silent-wrong.fd40251b0b":"simulace konvergovala","oss-aion-silent-wrong.9204d100a8":"politika prošla","oss-aion-silent-wrong.51c817ab85":"přijato","oss-aion-silent-wrong.4d64c22879":"znovu","oss-aion-silent-wrong.94ec44c4f4":"věřit","oss-aion-silent-wrong.4848901b39":"optimální","oss-aion-silent-wrong.bf31c52c32":"bezpečné","oss-aion-silent-wrong.231e564db4":"dokončeno","oss-aion-silent-wrong.bac2ad9d5d":"zkompilováno","oss-aion-silent-wrong.d203c40ac4":"nesplnitelné","oss-aion-sim-cert.d836eab67a":"fyzická platnost není","oss-aion-sim-cert.8f9800edbe":"shoda a vlastnosti se kontrolují zde","oss-aion-sim-cert.d982b6fdda":"zda model představuje svět, zůstává na vlastníkovi modelu","oss-aion-sim-cert.c27ccdf78d":"fyzická platnost","oss-aion-sim-cert.99c6aa48cb":"nikde nezodpovězeno","oss-aion-sim-cert.e4125aa830":"uvedené vlastnosti platí po celou dobu běhu, nebo se vrátí stopa","oss-aion-sim-cert.24fa71fdd6":"kontroly invariantů","oss-aion-sim-cert.82ffe3f79b":"deklarovaný model, parametry a konfigurace vytvořily tuto trajektorii","oss-aion-sim-cert.8c30aa1c6e":"shoda provedení","oss-aion-sim-cert.790f468e4d":"zodpovězeno zde","oss-aion-sim-cert.f6bceb137b":"TWIN A FMI","oss-aion-sim-cert.cf2b82cb4f":"model k trajektorii","oss-aion-sim-cert.a7b63abc02":"Co certifikát nese","oss-aion-sim-cert.07ecfba93e":"trajektorie a stav","oss-aion-sim-cert.6874c92610":"sekvence událostí","oss-aion-sim-cert.e77c056cdc":"parametry a počáteční stav","oss-aion-sim-cert.720a1e14e6":"identita modelu a FMU","oss-aion-source-to-artefact.ce10986f79":"Od zdroje k certifikátu","oss-aion-source-to-artefact.c1ce053887":"pojmenované, ne paušální","oss-aion-source-to-artefact.75a0766041":"Paušální tvrzení by nemohlo selhat nikde.","oss-aion-source-to-artefact.b5e1e87d48":"Tři pojmenovaná tvrzení a to, které selže, pojmenuje průchod, ve kterém selže.","oss-aion-source-to-artefact.8732c432be":"Že každý průchod v sekvenci je obecně správný. Žádný certifikát zde neříká, že\n                je kompilátor dobrý, a žádný z nich to ani nemusí.","oss-aion-source-to-artefact.64d8424b5b":"co netvrdí","oss-aion-source-to-artefact.302df26f74":"graf zdroje","oss-aion-source-to-artefact.e95689d184":"k referenční implementaci, na deklarované vstupní doméně","oss-aion-source-to-artefact.0ca9407ef6":"ekvivalent jádra","oss-aion-source-to-artefact.5e68638068":"deklarované zachování tvaru neplatí v tomto průchodu pro danou vstupní\n                    doménu","oss-aion-source-to-artefact.ab2050f59e":"tvary tenzorů zachovány","oss-aion-source-to-artefact.213addbd25":"napříč canonicalise a fusion, pro každý deklarovaný typ","oss-aion-source-to-artefact.9deae195e3":"typy zachovány","oss-aion-source-to-artefact.2297843111":"úroveň optimalizace 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"tvrzení o tvaru odmítnuto","oss-aion-source-to-artefact.2fa9505626":"artefakt","oss-aion-source-to-artefact.910e029098":"ilustrativní","oss-aion-source-to-artefact.9f939ff8a4":"výběr jádra","oss-aion-sovereignty.0fe4587501":"Ověřování zůstává tam, kde jsou uloženy důkazy: vedle produkčního systému, uvnitř revizní služby nebo v izolovaném archivu.","oss-aion-sovereignty.2d7bdcb19f":"Vaše rozhodnutí zůstávají pod vaší kontrolou.","oss-aion-sovereignty.9426b99215":"Digitální suverenita","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe a jednotný formát umožňují nezávislou kontrolu certifikátů i mimo původní běhové prostředí.","oss-aion-sovereignty.25c4717a63":"Přenosné formáty důkazů","oss-aion-sovereignty.d99f32de40":"Kontrola důkazu funguje zcela offline. Nespoléháte se na vzdálenou službu, která by mohla změnit své podmínky nebo zmizet.","oss-aion-sovereignty.34ebf0117d":"Žádná vnější závislost","oss-aion-sovereignty.44a8a39a30":"Uvnitř vašeho vlastního datového centra nebo v oblasti, kterou si zvolíte. Zdůvodnění rozhodnutí nikdy nemusí překročit hranici, kterou jste neschválili.","oss-aion-sovereignty.331242fd64":"Běží tam, kde si zvolíte","oss-aion-sovereignty.599b928605":"AION je vyvíjen v Evropě a jeho kontrolor může zůstat uvnitř stejné evropské hranice jako rozhodnutí, která ověřuje.","oss-aion-sovereignty.45f9bdf22b":"Evropský původ","oss-aion-split-parts.cc0d7be136":"a enkláva nic nemění","oss-aion-split-parts.a2fb24de32":"výchozí sestavení nemá žádného odchozího klienta","oss-aion-split-parts.ffd75a18c4":"NASAZENÍ","oss-aion-split-parts.91f8c088aa":"a co každý z nich potřebuje","oss-aion-split-parts.758bd7cc2a":"Čtyři způsoby, jak to spustit","oss-aion-split-parts.400bd9a040":"Rozděleno mezi stroje a složeno až po kontrole pokrytí.","oss-aion-split-parts.bb3d98dfee":"Distribuovaně","oss-aion-split-parts.74da65bc96":"Uvnitř vaší hranice, na adresách, které si sami nastavíte.","oss-aion-split-parts.664046e78a":"Služba","oss-aion-split-parts.ce2ab3edc4":"Namiřte to na certifikát. Nic jiného nemusí běžet.","oss-aion-split-parts.a7218c8eca":"Příkaz","oss-aion-split-parts.eefb3bac5d":"Propojeno s vaším vlastním procesem. Ptejte se a odpovídejte, bez zápisu souboru.","oss-aion-split-parts.fa66edb7bd":"Knihovna","oss-aion-stays-here.e3e08ad140":"nic neopustilo místnost","oss-aion-stays-here.18ab547f60":"Ten prázdný papír je celé tvrzení.","oss-aion-stays-here.907d22f7f0":"Mezi krabicí a třemi věcmi vedle ní není nic nakresleno.","oss-aion-stays-here.001b06036c":"na tomto obrázku není","oss-aion-stays-here.8c84675037":"odkaz na jiný stroj ve stejné organizaci, vypnutý, dokud ho někdo úmyslně nenastaví","oss-aion-stays-here.e3527ba222":"Odpověď přichází s linkou dolů, protože linka nikdy nebyla její součástí.","oss-aion-stays-here.caf3a041c8":"Zpoždění bylo sedmdesát pět minut, což je více než hodina, takže rezervace je zrušena a jízdné se vrací na kartu, ze které přišlo.","oss-aion-stays-here.7296ef48e5":"co se vrátilo","oss-aion-stays-here.395ee2333f":"zrušení ukončí rezervaci a vrátí jízdné","oss-aion-stays-here.46d2008236":"hodina znamená šedesát minut, bez zaokrouhlování","oss-aion-stays-here.2fd4fcb567":"zpoždění se počítá od času vytištěného na jízdence","oss-aion-stays-here.f5b422b60e":"psaná pravidla, podle kterých se to posuzuje","oss-aion-stays-here.ee04bc3b23":"Zrušte mou rezervaci pouze v případě, že zpoždění je více než hodina.","oss-aion-stays-here.af5509db2b":"co jste napsali","oss-aion-stays-here.3cbd68d678":"stroj před vámi","oss-aion-stays-here.531aa138ac":"odpovězeno bez odchodu","oss-aion-stays-here.fb23ddcc1c":"jedna otázka, jedno místo","oss-aion-stays-here.96ccbc62ab":"vaše slova nejsou věc, kterou by někdo jiný dostával","oss-aion-stays-here.1b215d440d":"stroj někde jinde čte vaši větu","oss-aion-stays-here.b5a5c63d23":"pro doručení odpovědi nemusí fungovat žádná vnější věc","oss-aion-stays-here.b5c483d9d9":"služba, která musí být v provozu","oss-aion-stays-here.fa287ade3d":"nikdo se neptá, kdo jste, protože nikdo to nepotřebuje vědět","oss-aion-stays-here.d5a3ef8b78":"účet pro přihlášení","oss-aion-stays-here.910e029098":"ilustrativní","oss-aion-stays-here-list.56a6e8f9a7":"a není co předat","oss-aion-stays-here-list.57eef35c96":"žádné čekání","oss-aion-stays-here-list.a64eab5744":"na co čeká","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"a na co nikdy nečeká","oss-aion-stays-here-list.13591491d9":"Na čem běží","oss-aion-stays-here-list.1458464f09":"Není se k čemu přihlašovat, takže nejste ničím zákazníkem.","oss-aion-stays-here-list.257fa99e08":"Žádný účet","oss-aion-stays-here-list.b165f2d684":"Vaše věta se čte podle pravidel, ve stejné místnosti jako vy.","oss-aion-stays-here-list.37a25e4e99":"Psaná pravidla","oss-aion-stays-here-list.7ee33f1c7a":"Práce probíhá tam, kde jste, a nikdo jiný nemusí běžet.","oss-aion-stays-here-list.d3612f57d8":"Stroj, u kterého jste","oss-aion-supplier-answer.6d6ddcd4c1":"jeden výrok, čtyři prázdné řádky","oss-aion-supplier-answer.a5d36ba87c":"Ani jedna ze čtyř otázek není na formuláři nikde zodpovězena.","oss-aion-supplier-answer.d09481b0a5":"Každé slovo na něm je pravdivé a někdo to podepsal.","oss-aion-supplier-answer.cec9b36162":"14. března 2026","oss-aion-supplier-answer.22715d5cb9":"Předložená konfigurace z 12. března 2026 byla ověřena jako bez konfliktů.","oss-aion-supplier-answer.1e0a1891e8":"ref SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"osvědčení o shodě","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"čtyři nezodpovězené","oss-aion-supplier-answer.910e029098":"ilustrativní","oss-aion-supplier-answer.f86e5cfb14":"Platilo by to ještě po úterní změně?","oss-aion-supplier-answer.bbe7a72e5a":"Na základě čích dat a kolika z nich?","oss-aion-supplier-answer.c25776701b":"Proti které verzi našich pravidel?","oss-aion-supplier-answer.84d9ed92b5":"Které podmínky byly skutečně zkontrolovány?","oss-aion-theory-matrix.ac8d77d669":"Výroková","oss-aion-theory-matrix.3d52a6d8fe":"Logika","oss-aion-theory-matrix.42f3aff840":"Logická splnitelnost s konfliktem řízeným učením klauzulí. Výchozí bod pro všechny ostatní teorie.","oss-aion-theory-matrix.6078532ab2":"Kvantifikátory","oss-aion-theory-matrix.02f664dd36":"Logika prvního řádu s instanciací založenou na modelech. Uvažuje o forall a exists nad podporovanými druhy.","oss-aion-theory-matrix.49167dbc57":"Lineární aritmetika","oss-aion-theory-matrix.45f053dc73":"Aritmetika","oss-aion-theory-matrix.876aafb6c1":"Lineární celočíselná aritmetika a vstup s reálnými hodnotami v deklarovaném měřítku. Interně kontroler používá celočíselné nebo adaptivní hodnoty s pevnou řádovou čárkou.","oss-aion-theory-matrix.b618fadea3":"Nelineární","oss-aion-theory-matrix.fd99188844":"Nelineární celočíselná aritmetika a vstup s reálnými hodnotami v deklarovaném měřítku. Kontroler používá celočíselné nebo adaptivní hodnoty s pevnou řádovou čárkou, nikdy hodnoty s plovoucí řádovou čárkou.","oss-aion-theory-matrix.d11f66aff2":"Vstup s plovoucí řádovou čárkou","oss-aion-theory-matrix.19080aec82":"Vstup IEEE 754 je přijímán pouze na hranici, poté je před kontrolou dekódován do binárních polí. Žádné hodnoty s plovoucí řádovou čárkou nejsou interně ukládány, shromažďovány ani počítány.","oss-aion-theory-matrix.914807cdef":"Bitové vektory","oss-aion-theory-matrix.e5e429bcc9":"Data","oss-aion-theory-matrix.23c278d5ca":"Binární slova s pevnou šířkou se sémantikou přetečení. Pro verifikaci hardwaru a kontrolu binárních protokolů.","oss-aion-theory-matrix.b90cc9bfd2":"Pole","oss-aion-theory-matrix.eac25fcfc6":"Teorie polí s axiomy select a store. Rozhodnutelné fragmenty jsou explicitně sledovány.","oss-aion-theory-matrix.3816c4beac":"Řetězce","oss-aion-theory-matrix.8e5a47db7d":"Slovní rovnice, omezení délky a členství v regulárních výrazech nad řetězci.","oss-aion-theory-matrix.0efe5fd2a3":"Časová","oss-aion-theory-matrix.ab14d0a7db":"Programy","oss-aion-theory-matrix.12dfdaf96a":"doprovodný crate","oss-aion-theory-matrix.dd600bd946":"Fragmenty lineární a větvící se časové logiky pro uvažování o chování v čase.","oss-aion-theory-matrix.bb8c6ec608":"Pravděpodobnostní","oss-aion-theory-matrix.042a4dc40b":"Pravděpodobnostní uvažování o programech, včetně odvozování ve stylu pravděpodobnostního Datalogu.","oss-aion-theory-matrix.1e1837d4e8":"Souběžné","oss-aion-theory-matrix.60e30b1d8e":"Uvažování o souběžných programech a prokládáních, která mohou jejich vlákna vytvořit.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"pokrytí teorií","oss-aion-theory-matrix.4329e5da7b":"11 logických domén","oss-aion-theory-matrix.dc1baa8539":"jádro + doprovodné crates","oss-aion-theory-matrix.5b1e898fc0":"Teorie","oss-aion-theory-matrix.cd89376f98":"Žije v","oss-aion-theory-matrix.df1e1e1732":"Jedenáct teorií, každý reasoner produkuje kroky, které může emitor důkazů zaznamenat a\n            kontroler přehrát.","oss-aion-theory-matrix.36ce8cbd4c":"PROP až CONCUR","oss-aion-three-questions.381a478392":"Dvě odpovědi, jedna hranice","oss-aion-three-questions.b695e87b19":"dvě zodpovězené, jedna vlastněná","oss-aion-three-questions.9f5234300d":"Třetí otázka není naše, a právě toto přiznání dělá první dvě k něčemu\n          platnými.","oss-aion-three-questions.8149763299":"Shoda platí, jeden invariant selhává se svou stopou.","oss-aion-three-questions.5974dafe20":"dveře jsou zakresleny stejně pevně jako zeď","oss-aion-three-questions.392d2df212":"Vlastník modelu drží tuto otázku, a drží ji trvale. Žádný certifikát se jí zde\n                nedotýká a žádný z nich ji ani tiše nepředpokládá.","oss-aion-three-questions.c27ccdf78d":"fyzická platnost","oss-aion-three-questions.dbbe530d6c":"reprezentuje tento model reálný svět","oss-aion-three-questions.44b8fe96f9":"krok 1 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"protipříklad, zvednutý a zvětšený","oss-aion-three-questions.ed4bde3030":"tlak ve smyčce zůstává pod 8 bar","oss-aion-three-questions.4676659f50":"obtokový ventil se nikdy neotevře dvakrát v jednom kroku","oss-aion-three-questions.045757b8af":"teplota návratu zůstává pod 95 °C","oss-aion-three-questions.24fa71fdd6":"kontroly invariantů","oss-aion-three-questions.846ee97ae5":"platí uvedené invarianty v průběhu celého běhu","oss-aion-three-questions.17f80cae31":"Běh se reprodukuje z toho, co 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":"tolerance 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"krok 0,01 s","oss-aion-three-questions.8c30aa1c6e":"shoda provedení","oss-aion-three-questions.b3c58a82bd":"vytvořily deklarovaný model a konfigurace tuto trajektorii","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":"dvě ze tří","oss-aion-three-questions.f14f15b304":"trajektorie","oss-aion-three-questions.f1f1425b65":"parametry","oss-aion-three-questions.910e029098":"ilustrativní","oss-aion-three-readings.41d8442e84":"čtení a jejich spolehlivost patří AIONu, volba je na vás a je zaznamenána","oss-aion-three-readings.42e8a93311":"tři čtení, jedno rozhodnutí, a má autora","oss-aion-three-readings.62b4619c99":"počet, který nemůže klesnout pod nulu","oss-aion-three-readings.48a15f3a18":"celé číslo menší než pět","oss-aion-three-readings.ae3925651e":"je počet opakování celé číslo, počet, nebo libovolná hodnota?","oss-aion-three-readings.dffe60eb6a":"položená otázka","oss-aion-three-readings.fb76182a92":"zeptáno, ne předpokládáno","oss-aion-three-readings.8c3f96fa33":"Počet opakování musí být menší než pět","oss-aion-three-readings.e9be13f9ec":"AION nejednoznačnost nevyřeší, ale pojmenuje. Uvede druh nejednoznačnosti,\n          vypíše čtení s mírou spolehlivosti, kterou každé nese, a podmínkou, kterou by každé\n          vynucovalo, a položí otázku pojmenovávající dotčenou proměnnou. Rozhodnutí stále\n          náleží člověku. Mění se jen to, že je učiněno jednou, na záznam, tím, kdo je za\n          požadavek odpovědný, ne tím, kdo zrovna prováděl převod.","oss-aion-three-readings.f26c9b4ff8":"Méně než pět pokusů, počítáno celočíselně. Nebo méně než pět\n          tam, kde je čtyři a půl legitimní hodnota. Nebo počet, který také nemůže klesnout pod\n          nulu. To jsou tři různá pravidla a rozdíl se nakonec projeví jako incident. Při běžném\n          způsobu práce jedno z nich vybral ten, kdo dělal překlad, ve čtvrtek, aniž by to\n          někomu řekl.","oss-aion-three-readings.7b5121a8f0":"„Počet opakování musí být menší než pět.“","oss-aion-three-readings.ffe5d68fe6":"Někdo jedno vybral.","oss-aion-three-readings.55b8b0b398":"Vaše věta měla dvě čtení.","oss-aion-three-readings.2d1501c7e4":"Tiché rozhodnutí, které nikdo neučinil","oss-aion-three-readings.bec998cdfe":"libovolné číslo, včetně čtyř a půl","oss-aion-time-left.88430838dd":"nikomu se nic nevyhrotilo","oss-aion-time-left.227b19b5aa":"Jen se to zmenšilo, před někým, kdo s tím ještě mohl něco udělat.","oss-aion-time-left.ac61a8b97d":"Číslo tam bylo osmý den a nikdy nebylo hlasitější.","oss-aion-time-left.0703308f0f":"Na tomto listu není žádný alarm a nic nezčervenalo. Každá z těchto vět je\n          stejná věta čtená v jiný den.","oss-aion-time-left.6222c927fd":"Jde to osobě, která podepisuje pozdní odpovědi, s datem, a ta vám\n            odpoví.","oss-aion-time-left.4dfda36be9":"14 dní po termínu","oss-aion-time-left.d5f128da73":"odpověď měla být doručena šestnáctého","oss-aion-time-left.58cdff89f9":"jiná žádost, čtená po datu","oss-aion-time-left.6a7651b700":"třicet dní poté, co jste se zeptali","oss-aion-time-left.813d27411f":"odpověď je splatná","oss-aion-time-left.d8b0301347":"požádali jste o kopii toho, co o vás mají","oss-aion-time-left.4c3d95bf6a":"žádost","oss-aion-time-left.795bcac29d":"dnes zbývají čtyři dny","oss-aion-time-left.56ff55acfb":"jeden termín, čtený čtyřikrát","oss-aion-time-left.acafbd7541":"zavolejte jim dnes","oss-aion-time-left.148b21034f":"zbývají 4 dny","oss-aion-time-left.f165b88925":"dohánějte to tento týden","oss-aion-time-left.b85bbd50bd":"zbývá 8 dní","oss-aion-time-left.4a8b5bac9b":"pořád v pořádku","oss-aion-time-left.67f9059ac5":"zbývá 14 dní","oss-aion-time-left.ca372a8fb7":"zapište si to do diáře","oss-aion-time-left.16f29c69b8":"zbývá 22 dní","oss-aion-time-left.910e029098":"ilustrativní","oss-aion-two-routes.89c24f999c":"ten druhý zkoumá důkazy","oss-aion-two-routes.3a5d844ae5":"jedna cesta je reprodukuje","oss-aion-two-routes.028a6cf2d7":"jejich certifikát","oss-aion-two-routes.5c837ce426":"jejich systém","oss-aion-two-routes.27f65e5e47":"co potřebuje","oss-aion-two-routes.d0765bbac1":"POROVNAT","oss-aion-two-routes.91f8c088aa":"a co každý z nich potřebuje","oss-aion-two-routes.8930c1c9b8":"Dva způsoby, jak si být jistý","oss-aion-two-routes.d56d985300":"zkontrolovat","oss-aion-two-routes.e1fc5057de":"reprodukovat","oss-aion-two-routes.b028b89ea7":"jejich pomoc","oss-aion-two-routes.999464a52f":"nebylo reprodukováno","oss-aion-two-routes.9b9252883d":"samotný certifikát","oss-aion-two-routes.4dc537c80f":"tvrzení, vstupy a smlouva","oss-aion-two-routes.ad95c10298":"jejich přesná verze a stroj","oss-aion-two-routes.cfd05bd2f2":"jejich licence","oss-aion-value-grid.6cc3364a24":"Důkaz přiložen","oss-aion-value-grid.4910ee0aea":"Důkazy u každého výsledku","oss-aion-value-grid.411bf64817":"Výsledek a jeho kompaktní certifikát cestují společně, takže důkazy vznikají při rozhodování, nikoli až při kontrole.","oss-aion-value-grid.05f9c0dc34":"Zkontrolováno jiným enginem","oss-aion-value-grid.eea79d1484":"Samostatný ověřovač prochází certifikát proti původním předpokladům. Model si nemůže známkovat vlastní odpověď.","oss-aion-value-grid.cbd17d59ba":"Přenosné formáty","oss-aion-value-grid.5e6cba1721":"Důkazy přežijí běhové prostředí","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe a jednotný formát důkazu udržují certifikát čitelný i poté, co se změní model, solver nebo služba.","oss-aion-value-grid.a60bdd7985":"Ověřování offline","oss-aion-value-grid.ebfb47f4ba":"Žádná živá závislost","oss-aion-value-grid.6144cbfcab":"Kontrola důkazu nevyžaduje síť, účet ani živé připojení k nám. To, na čem závisíte při auditu, nemá žádnou opakovanou závislost na dodavateli.","oss-aion-value-grid.26ef011865":"Svrchovanost EU","oss-aion-value-grid.23672ea195":"Evropské a vaše na provoz","oss-aion-value-grid.26e89e1455":"Postaveno v Evropě a plně spustitelné na hardwaru, který ovládáte. Vaše důkazy a vaše rozhodnutí nikdy nemusí opustit jurisdikci, kterou schválíte.","oss-aion-value-grid.66ac329042":"Audity bez rizika","oss-aion-value-grid.9c8c22f54d":"Důkazy, které může otestovat druhá strana","oss-aion-value-grid.6572cc2be6":"Když se regulátor nebo auditor zeptá, jak bylo rozhodnutí dosaženo, předáte certifikát, který může kdokoli zkontrolovat, místo abyste se spoléhali na slib dodavatele, který nemůžete otestovat.","oss-aion-value-grid.6b5eb5323e":"Důkazy rozhodnutí","oss-aion-value-grid.870c4d024a":"Nezávislé ověření","oss-aion-value-grid.93e2c4e5c4":"Začněte s jednou cestou rozhodnutí a uchovejte její certifikát po celou dobu kontroly.","oss-aion-value-grid.217fc9a42f":"certifikát · kontrolor · archiv","oss-aion-what-you-got.2b69c8154b":"a každá otázka vyvolává jednu další","oss-aion-what-you-got.7f629c0e9f":"čtyři věci, které dostanete","oss-aion-what-you-got.7a9727c9f8":"ověřitelné vámi","oss-aion-what-you-got.bc1c663195":"co dostanete","oss-aion-what-you-got.0da9f51943":"POZOROVÁNO","oss-aion-what-you-got.8becd8f7be":"a co to řeší","oss-aion-what-you-got.7d3574bfa5":"Co dodavatel předává","oss-aion-what-you-got.0306f977ae":"Který build to řekl. Ne co kontroloval, ani jak.","oss-aion-what-you-got.fd12863535":"ne","oss-aion-what-you-got.7b0c210f52":"Číslo verze","oss-aion-what-you-got.f78a920a78":"Jejich popis vlastního procesu, napsaný jimi.","oss-aion-what-you-got.301941b624":"jejich popis","oss-aion-what-you-got.7591a35462":"Metodická poznámka","oss-aion-what-you-got.5eec058df8":"Někdo ručí za slovo, ne za odůvodnění.","oss-aion-what-you-got.28fde2f659":"pouze jméno","oss-aion-what-you-got.7573daa505":"Podpis","oss-aion-what-you-got.94ebda1bd3":"Bezpečné, proveditelné, konzistentní. Jedno slovo, žádná práce.","oss-aion-what-you-got.c99c8e4a9b":"Závěr","oss-aion-where-it-runs.1ba0334f9f":"neexistuje žádná třetí","oss-aion-where-it-runs.03e2311510":"nakonfigurujete ty dvě","oss-aion-where-it-runs.076d156600":"uvnitř není co konfigurovat","oss-aion-where-it-runs.f16ac53550":"vaše ke konfiguraci","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"a nic jiného neodejde","oss-aion-where-it-runs.6cdd4e486a":"Dvě konfigurovatelné hranice","oss-aion-where-it-runs.39616fc267":"Program, který nainstalujete, běžící jako místní proces.","oss-aion-where-it-runs.00bfadf39c":"Externí prover","oss-aion-where-it-runs.801db3efcd":"Pouze adresy, které nastavíte, a pouze jakmile je nastavíte.","oss-aion-where-it-runs.d296df3171":"Cluster","oss-aion-where-it-runs.67204bf5d4":"žádná trasa","oss-aion-where-it-runs.91984fcc1b":"Hostovaný model","oss-aion-where-it-runs.b8b252650e":"žádný klient vůbec","oss-aion-where-it-runs.ee39579eba":"Výchozí sestavení","oss-aion-where-it-runs.d49fe2c403":"nenainstalováno","oss-aion-where-you-meet-it.2a85ffb07a":"Místo se mění, slib ne: důvod, který si můžete přečíst, a kontrola, kterou může provést kdokoli.","oss-aion-where-you-meet-it.9a8413cd88":"AION nikdy nepoběžíte sami. Toto jsou místa, kde může tiše pracovat za vás.","oss-aion-where-you-meet-it.33fb502270":"Tři všední okamžiky","oss-aion-where-you-meet-it.40e32f89eb":"Kdokoli, komu důvěřujete, si může zkontrolovat doklad a potvrdit ho.","oss-aion-where-you-meet-it.03ef5e1328":"Když úřad používá stroj ke kontrole vašeho případu, máte právo na důvod, který si můžete přečíst a zpochybnit.","oss-aion-where-you-meet-it.2390278256":"Kontroluje se dávka nebo formulář","oss-aion-where-you-meet-it.2e92ab22dd":"Na úřadě","oss-aion-where-you-meet-it.0bd84e3a14":"Důvod je zapsán, není uzamčen v systému.","oss-aion-where-you-meet-it.c4a1d64452":"Rozhodnutí o penězích, která dělá stroj, může působit jako zavřené dveře. Doklad je otevírá v jasných krocích.","oss-aion-where-you-meet-it.e17885868a":"Vypočítává se půjčka nebo vrácení peněz","oss-aion-where-you-meet-it.5e45cf57a0":"V bance","oss-aion-where-you-meet-it.e2c536b2b3":"Můžete požádat o doklad a ukázat ho svému lékaři.","oss-aion-where-you-meet-it.0b56f170bf":"Když má stroj slovo ve vaší léčbě, měli byste vidět důvod, ne jen výsledek.","oss-aion-where-you-meet-it.0332b7d1b7":"Počítač pomáhá rozhodovat o vaší péči","oss-aion-where-you-meet-it.4046c6355b":"V nemocnici","oss-aion-which-did-you-mean.1ff884a89e":"zeptal se, ne hádal","oss-aion-which-did-you-mean.2eb1c230f2":"Volba patří tomu, kdo větu napsal.","oss-aion-which-did-you-mean.d94da790d1":"Dva běžné výklady, jeden případ mezi nimi.","oss-aion-which-did-you-mean.3b4d06d361":"Nebyla položena žádná otázka a nikdo nebyl informován, na kterou z těch dvou možností to připadlo.","oss-aion-which-did-you-mean.93a161cede":"Hodiny se počítají celé. Vybráno ve čtvrtek odpoledne někým, kdo potřeboval\n                dodat.","oss-aion-which-did-you-mean.4b73aced85":"v platnosti","oss-aion-which-did-you-mean.17e120a269":"Zrušit, pokud je zpoždění delší než jedna hodina.","oss-aion-which-did-you-mean.ddf20b2d3c":"obvyklý způsob, jak se to řeší","oss-aion-which-did-you-mean.3f42a39277":"tak, jak to skutečně probíhá","oss-aion-which-did-you-mean.1e9a34969e":"celé hodiny","oss-aion-which-did-you-mean.9c2a4532bb":"Když jste napsal více než jednu hodinu, myslel jste celé hodiny, nebo zpoždění tak, jak\n                skutečně probíhá?","oss-aion-which-did-you-mean.280b34e1e5":"Váš vlak má zpoždění sedmdesát pět minut a rezervace propadne, dříve než se\n                    rozhodnete, zda stále chcete cestovat.","oss-aion-which-did-you-mean.97e4112012":"Zpoždění je tak dlouhé, jak skutečně je. Hodina a čtvrt je více než\n                    hodina.","oss-aion-which-did-you-mean.c5d620cfa2":"druhý výklad","oss-aion-which-did-you-mean.466780685c":"Váš vlak má zpoždění sedmdesát pět minut a nic se neruší. Čekáte na\n                    nástupišti na vlak, který stále přijíždí.","oss-aion-which-did-you-mean.6b67a39030":"Hodiny se počítají celé. Zpoždění hodiny a čtvrt se počítá jako jedna hodina,\n                    a jedna hodina není více než jedna hodina.","oss-aion-which-did-you-mean.9cf85c69a8":"první výklad","oss-aion-which-did-you-mean.ef52f97a5b":"více než jedna hodina","oss-aion-which-did-you-mean.371c6d7efd":"Zrušit, pokud je zpoždění","oss-aion-which-did-you-mean.887640fa01":"napsal jste","oss-aion-which-did-you-mean.3650db40be":"čekání na vaši odpověď","oss-aion-which-did-you-mean.ff312b91d2":"co jste myslel","oss-aion-which-did-you-mean.6f8f8e9f76":"pak","oss-aion-which-did-you-mean.910e029098":"ilustrativní","oss-aion-your-corpus.a54df5506a":"dva týdny, s písemným výstupem","oss-aion-your-corpus.ee646eb7cc":"Spusťte stejný korpus proti tomu, co používáte dnes, a dejte obě zprávy vedle sebe.","oss-aion-your-corpus.f2d4df122d":"Šedesát dva z šedesáti čtyř, na vašem stroji, pod vaším limitem.","oss-aion-your-corpus.8ff7db55b1":"tento limit","oss-aion-your-corpus.8ada74cbb4":"tento stroj","oss-aion-your-corpus.b2ed177f82":"tento korpus","oss-aion-your-corpus.71e1422875":"funkce","oss-aion-your-corpus.94ef1b7ae8":"z 64 správně","oss-aion-your-corpus.2ce97993d5":"zatím bez verdiktu","oss-aion-your-corpus.90326d4307":"uplynulo 41 s","oss-aion-your-corpus.69bb8da1c5":"stále běží","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"žádná odpověď nezaznamenána","oss-aion-your-corpus.72330c3954":"16 GB adresní prostor","oss-aion-your-corpus.b4f0923eae":"16 GB na běh","oss-aion-your-corpus.ff367b6b79":"limit adresního prostoru","oss-aion-your-corpus.d1ea89e714":"32 jader, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"ilustrativní běh","oss-aion-your-corpus.e380724f89":"jeden omezený, jeden stále běží","oss-aion-your-corpus.f6f66c95d6":"Váš korpus na místě","oss-aion-your-corpus.8d95729188":"omezený","oss-aion-your-corpus.7817c52b25":"stroj","oss-aion-your-corpus.d95f464bc9":"instance","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"korpus","oss-aion-your-sentence-parts.8e7ed848f6":"stále si ji můžete přečíst","oss-aion-your-sentence-parts.78c48f428a":"napsali jste ji","oss-aion-your-sentence-parts.c569c19f0b":"Přečtěte si to znovu, dává stejné pravidlo. Mezi tím se nic nezměnilo.","oss-aion-your-sentence-parts.43015fadc4":"Nikdo by neměl být za stejnou objednávku ve stejném měsíci účtován dvakrát.","oss-aion-your-sentence-parts.a14707f800":"Vaše věta, beze změny","oss-aion-your-sentence-parts.2ccea15065":"o rok později","oss-aion-your-sentence-parts.a80d4309ae":"V horní části zprávy, nad částí, která nebyla splněna.","oss-aion-your-sentence-parts.f33c43e8f9":"Vaše věta, citovaná","oss-aion-your-sentence-parts.f0f795235c":"den, kdy platí","oss-aion-your-sentence-parts.fe74b20e8f":"Přesně tak, jak jste ji napsali, s jedním prostým řádkem uvádějícím, jak byla přečtena.","oss-aion-your-sentence-parts.358b1cbc5d":"Vaše věta, zachovaná","oss-aion-your-sentence-parts.13211e2743":"den, kdy ji napíšete","oss-aion-your-sentence-parts.27a0362e59":"VAŠE SLOVA","oss-aion-your-sentence-parts.d37598cc12":"ve třech různých dnech","oss-aion-your-sentence-parts.32a5ee7a1f":"Stejná věta","page-breadcrumb.c766e66518":"Drobečková navigace","page-toc.7e439c353e":"Na této stránce","section_st_a1_display-split.7c9a7c0610":"Detail","section_st_f1_cta-dark.90e40d5043":"Začínáme","spindle-extras.127edee78d":"PODEPSÁNO","toc-rail.f5cbdf6bfb":"Obsah"}