{"block_close_oss.c33fd1fe9c":"Közösség és ökoszisztéma","core-extras.96d330537a":"Alap IR","core-extras.bee831a169":"Szubsztrát","core-extras.61a0822826":"Alkalmazások a Core-on","core-extras.15438cc098":"nem támogatott","core-extras.ad565d9d01":"Funkció","core-extras.0155bf03e5":"Szegmensjelmagyarázat","core-extras.8b7110078e":"Algoritmuscsoportok adattípus szerint","core-extras.25ab4276a6":"Görgethető képességmátrix","open-source-aion.81f3904118":"A tudáskezelés AION-stílusú származási adatokra épül.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Termékek","open-source-aion.de5ec3713e":"Merkle-tanúsítható elemző, amelyet az AION használ a bemenetek feldolgozásához.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Ellenőrzött futási környezet, amely az AION-tanúsítványokat végrehajtási átiratokkal párosítja.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Esemény-származtatás rendszerekhez: hash-láncolt rekordok arról, hogy mi történt, nem pedig érvelési lépések egy döntésen belül.","open-source-aion.1aa2f31ee7":"Főkönyv","open-source-aion.d5d6e83bf2":"További felfedezés","open-source-aion.75e393a1ac":"Kapcsolódó projektek felfedezése","open-source-aion.f9743247fa":"A dokumentáció elolvasása","open-source-aion.ef0fd4ccef":"A bizonyítási út ellenőrzése","open-source-aion.77453cde44":"Futtasson egy példatanúsítványt, és ellenőrizze az aion check, a cvc5 vagy bármely LRAT-kompatibilis ellenőrző segítségével, amint a tároló megjelenik. A közzététel 2026. szeptember 1-jére tervezett, és a telepítési útmutató ezzel együtt érkezik.","open-source-aion.dd58b70279":"A bizonyítás a válasszal együtt érkezik","open-source-aion.90e40d5043":"Kezdés","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Nyílt forráskód","open-source-aion.close.accent":"így bárki ellenőrizheti nélküled","open-source-aion.close.panel.title":"Mit tartalmaz egy tanúsítvány","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Egy forma, nyolc mező","open-source-aion.close.panel.row.1.label":"Családok","open-source-aion.close.panel.row.1.value":"Kilenc regisztrált, és bővíthető","open-source-aion.close.panel.row.2.label":"Ellenőrzés","open-source-aion.close.panel.row.2.value":"Korlátozott, licenc nélküli, visszajátszás nélkül","open-source-aion.close.panel.row.3.label":"Hol fut","open-source-aion.close.panel.row.3.value":"A webhelyeden, semmi kimenő forgalom","open-source-aion.close.panel.foot":"A tanúsítvány kicsi marad, és évek múlva is újra ellenőrizhető.","open-source-aion.ea722c81af":"Európai","open-source-aion.26803e587f":"Az auditálás időpontjában","open-source-aion.15edfb4da4":"Készült","open-source-aion.75f527181b":"Offline","open-source-aion.f8c94a3b4b":"Mi ez","open-source-aion.6b5eb5323e":"Offline, lineáris idejű","open-source-aion.a49b62e167":"Pontos racionális számok","open-source-aion.45f053dc73":"Aritmetika","open-source-aion.4329e5da7b":"11 logikai tartomány","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Bizonyítási formátumok","open-source-aion.87415af880":"Bizonyítási tanúsítványok","open-source-aion.9c8c22f54d":"Bizonyíték, nem ígéretek","open-source-aion.44ab85a252":"Származás","open-source-aion.3271776def":"Offline, szolgáltatás nélkül","open-source-aion.03128bed90":"Ellenőrzés","open-source-aion.4f1428fca3":"A hardver, amelyet Ön irányít","open-source-aion.5703321d0e":"Fut","open-source-aion.978e9ec250":"Szabványos, hordozható","open-source-aion.3229609e15":"Ellenőrzés","open-source-aion.cba0624eb5":"Ellenőrzési rekord","open-source-aion.26ef011865":"Nézze meg, hol fut","open-source-aion.6f696724c6":"Az ellenőrzési út megtekintése","open-source-aion.a3f1131acb":"Az AION bizonyítási infrastruktúra az AI-döntésekhez, nyilvános 2026. szeptember 1-jétől. Egy tömör bizonyítékot bocsát ki az AI-eredmény mellé, és egy külön ellenőrző végigjárja a bizonyítékot az eredeti premisszák alapján, és elfogadja vagy elutasítja azt a modell, a megoldó munkamenet vagy a hálózat nélkül.","open-source-aion.a2831cb958":"függetlenül ellenőrzött AI-döntésekhez","open-source-aion.78db6d1920":"Bizonyítási infrastruktúra","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Soha ne bízz vakon","open-source-aion.4c1c703b94":"A lényeg","open-source-aion.2518be9b9c":"Nem szükséges","open-source-aion.4ab2910209":"Az Ön fiókja","open-source-aion.3477f4d91d":"Ugyanaz a válasz","open-source-aion.d7e70b6e08":"Ugyanaz a kérdés","open-source-aion.930888ee28":"Nincs internet","open-source-aion.d072f5db48":"Igények ellenőrzése","open-source-aion.576347ec82":"Európa","open-source-aion.eeffc514bd":"Nem, mások használják Ön helyett","open-source-aion.cef1deea41":"Ön építi","open-source-aion.64ae43e8fe":"Bizonyíték-ellenőrzés","open-source-aion.fdd1e56642":"Nyugta a válaszokhoz","open-source-aion.704869f20f":"Közérthetően","open-source-aion.658a8547d7":"Biztonságos?","open-source-aion.06c805023d":"Egy indok, amit magával vihet","open-source-aion.e92ed103c2":"Az AION ellenőrizhető nyugtát ad egy AI-válaszhoz. Az asszisztens meg tudja mondani, hogy az érvelés megállja-e a helyét, anélkül hogy megértené a gépezetet, és a nyugta internet nélkül is újra ellenőrizhető. Az AION 2026. szeptember 1-jétől nyilvános, ugyanazon a napon jelenik meg a dokumentációja is.","open-source-aion.336366183a":"AI-döntésekhez","open-source-aion.41cbc965ef":"Ellenőrizhető nyugta","open-source-aion.4eabc3bc63":"CDCL elméleti bővítményekkel","open-source-aion.68836c550e":"Core","open-source-aion.0cdb7c9a36":"Lineáris idő, offline","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Elméletek","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Nyelv","open-source-aion.942587e61e":"Projektlap","open-source-aion.d4a74b503a":"Dokumentáció","open-source-aion.b683cc6ce4":"Az AION 2026. szeptember 1-jén indítja a programot: bizonyíték-infrastruktúra AI-döntésekhez, a repozitórium és dokumentációja együtt jelenik meg. Az utólagos magyarázatok csak arra kérik, hogy bízzon egy újabb beszámolóban ugyanattól a rendszertől. Az AION ehelyett egy bizonyítéktanúsítványt bocsát ki, amelyet bármely ellenőrző offline, lineáris időben, a megoldó nélkül ellenőrizhet.","open-source-aion.8f2ee5be83":"AI-eredmények","open-source-aion.376868cca2":"függetlenül ellenőrzötthöz","open-source-aion.hero.source":"Kérdezzen a megjelenésről","open-source-aion.45471af790":"Eseményeredet","open-source-aion.ac9835d4bd":"Végrehajtási átiratok","open-source-aion.24f43d4446":"Szintaxisfák","open-source-aion.f6b229e148":"Az Ön fájljai, az Ön hardvere, az Ön számai, és egy ellenőrző, amely egy idegen bizonyítékát olvassa","open-source-aion.144fbc96c6":"MEGSZÁMOLVA","open-source-aion.719075bb86":"ELEMZÉS ÉS MEGOLDÁS","open-source-aion.8f84ba12df":"SAJÁT FÁJLOK","open-source-aion.8f088dbc07":"Ez egy kéthetes értékelés írásos eredménnyel, nem pedig bemutató. A korpusz az Öné, a hardver az Öné, a számokat belsőleg publikálhatja, és semmi sem követeli meg, hogy beszéljen velünk. A tesztkörnyezet a repozitóriummal együtt érkezik, így a futtatás azon a napon megkezdődhet, amikor a hozzáférés megérkezik.","open-source-aion.36ef075645":"A helyesség nem az AION saját véleménye. Egy szabványos korpusz minden fájlja tartalmazza az ismert státuszát, és a tesztkörnyezet esetenként hasonlítja össze az AION válaszát az adott megjegyzéssel, így a végső szám egy megadott alapigazsághoz viszonyított pontszám. A futtatásonkénti címtartomány korlátozható, így egyetlen kóros fájl sem viheti magával a gépet.","open-source-aion.e5bce47d50":"Mit ad egy pilot","open-source-aion.680f97998b":"Az AION benchmark-tesztkörnyezetet szállít, így az üzleti tervben idézett számok az Ön saját fájljai által az Ön saját hardverén előállított számok. Mutasson rá egy korpuszra, és minden példányhoz rögzíti az elemzési időt, a megoldási időt és a csúcsmemóriát, majd kiírja, hány válasz volt helyes. A futtatás ugyanazon a korpuszon megismételhető, így egy második értékelés sorról sorra mellé helyezhető az elsőnek.","open-source-aion.2d5f8acea9":"és olvassa vissza a számokat","open-source-aion.5586707b63":"Először futtassa a saját fájljait","open-source-aion.67ec8d614c":"Mielőtt elköteleződik","open-source-aion.55744ee096":"Még mindezzel együtt is lesz, aki vitat egy eredményt. Ehhez út kell, nem megbeszélés","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"ÉLŐBEN NÉZVE","open-source-aion.24538c3986":"TARTALÉK, NEM RIADÓ","open-source-aion.368f25d10d":"Valahol az utolsó előtt volt egy nap, amikor a munka még egy délutánnyi volt, és ezt a napot akarja a vezető megjelölni, mert minden későbbi opció többe kerül. A tartalék napi olvasása így találja meg ezt a napot.","open-source-aion.c5701049a8":"A jelentésnek gazdája van, nem pedig sora, és minden sora más munkát jelent más sürgősséggel. Az egyik kész, és senki részéről nem igényel intézkedést. Az egyiknek négy napja van hátra, ami a heti tervet jelenti, nem a mai napot. Az egyiknek egyetlen napja van hátra, ami a reggeli munkát jelenti. Az egyik már két hete lejárt, amihez nevet és egy mondatot kell rendelni, amely megmagyarázza a hiányt.","open-source-aion.26435b9406":"Bármi, aminek határideje van, futás közben figyelhető, és az AION az aláírt számként jelenti a hátralévő teret, nem pedig megfeleltként. Egy válaszablak, amelyből négy nap van hátra. Egy megőrzési időszak, amely két héttel túllépte a lezárás dátumát. Ez egy operatív leolvasás, amellyel valaki ma reggel foglalkozhat. A szám naponta változik, ezért a jelentést tartalékként olvassák, nem riadóként.","open-source-aion.f49579b8d6":"mielőtt jogsértéssé válik","open-source-aion.0e185152c8":"Naponta olvassa a tartalékot","open-source-aion.bc09e774e9":"Élő kötelezettségek","open-source-aion.cff8079f65":"A nyilvántartások utólag válaszolnak a kérdésekre. Egyes kötelezettségeket futás közben kell figyelni","open-source-aion.127edee78d":"ALÁÍRT","open-source-aion.b1c1ba1af8":"EGY LISTA","open-source-aion.8d27ef68f5":"HÉT MOZOGHAT","open-source-aion.c84f34cb7c":"A hozzárendelés második mechanizmus, nem pedig ugyanazon nyilvántartás újabb oszlopa. Az aláírás a származtatási sorrendre kerül, így az, hogy ki állította elő az eredményt, túléli a vállalkozóváltást, és két azonos válasz két szállítótól megkülönböztethető marad. Ez akkor is igaz, ha mindkettőt ugyanazokból a deklarált bemenetekből állították elő.","open-source-aion.a76201631f":"A lista minden bejegyzése megnevezi a megváltozott összetevőt, és a mögötte tárolt tanúsítvány teljes, így az újraellenőrzés futtatás, nem pedig rekonstrukció. Az alternatíva, ami a legtöbb szervezetnél van, a választás a minden újravizsgálata és a semmi újravizsgálata között, és a gyakorlatban ezt a választást mindig ugyanúgy hozzák meg.","open-source-aion.5c82441a97":"A nyilvántartás","open-source-aion.10d9103c24":"A tavaly elfogadott eredményt a tavalyi szerződés alapján fogadták el. Hét különböző dolog mozoghat alatta: egy ellenőrző szabály, egy tanúsítványséma, egy szabályzat, egy fordítószabály, egy futásidejű szerződés, egy modellverzió vagy egy szimulációs szerződés. Amikor az egyik megváltozik, a kérdés, hogy mely múltbeli következtetések támaszkodtak a megváltozott részre, megválaszolható, és a válasz egy lista.","open-source-aion.1829734913":"listát kap az újra elvégzendőkről","open-source-aion.6d49555943":"Amikor egy szabály később megváltozik","open-source-aion.7f325552d8":"Az auditnaplód, verziókkal","open-source-aion.d272027f73":"Helyi nyilvántartást könnyű vezetni. Nehezebb azt elérni, hogy akkor is értelmes maradjon, amikor a szabályok változnak","open-source-aion.05a898ec87":"NINCS MODELLSZOLGÁLTATÓ","open-source-aion.c530254e40":"A TE OLDALAD","open-source-aion.66b3dbbe8f":"NINCS KIMENŐ HÍVÁS","open-source-aion.8ae7a1670e":"Egy adatvédelmi tisztviselőnek, aki egy rövid kérdéslistára válaszol erről az útvonalról, és csakis erről az útvonalról: nincs feldolgozó, amit nyilvántartásba kell venni, nincs adattovábbítás, amit indokolni kell, nincs modellszolgáltató a láncban, és semmi olyan, ami a te incidensed vagy változásod alatt elérhetetlenné válhatna, vagy ami mások kiadási ütemezése szerint változna alattad. A build, amit megépítettél, az fog futni jövőre is. Ez a válasz ugyanaz, akár csatlakoztatva van az oldal, akár leválasztva.","open-source-aion.60ad7ae15b":"Két útvonal keresztezhet egy határt, és mindkettőt te konfigurálod. A klaszter olyan címeken fut, amiket te állítasz be. Egy külső bizonyító, ha szeretnél egyet a folyamatban, egy program, amit telepítesz, és a saját gépeden fut helyi folyamatként.","open-source-aion.2f6a307ba7":"Üzemeltetőknek","open-source-aion.dbc08c41b9":"Az AION alapértelmezett buildje nem tartalmaz kimenő klienst. A bizonyíték ellenőrzése, a követelmény fordítása, a jel figyelése és a keresés futtatása mind azon a gépen történik, ahol elindítottad őket, a saját határaidon belül, az általad ellenőrzött hardveren. Nincs a láncban hosztolt modell, és nincs hozzá vezető út. Ugyanaz a build fut egy leválasztott teremben, mint egy csatlakoztatottban, mert az alapértelmezett útvonalon semminek nincs szüksége hálózatra a befejezéshez.","open-source-aion.90c790a231":"és semmi nem hív kifelé","open-source-aion.4b9230d5db":"Minden a helyszínen fut","open-source-aion.fe7f7fc61a":"Ahol a munka történik","open-source-aion.ed461cacdf":"A szabályokról szóló bizonyíték egy dolog. Ahol a munka fut, az a következő kérdés, amit feltesznek","open-source-aion.640d41197b":"EGY KIDOLGOZVA","open-source-aion.29ff0fb82f":"HÉT ÁLLÍTÁS","open-source-aion.431d64456a":"Ez a szabályrendszerre vonatkozó állítás, nem pedig korábbi esetek mintája. Ezer alkalmazás tesztelése ezer alkalmazást mutat; a nem-interferencia ellenőrzés minden olyan párt lefed, amit a szabályok megengednek, önkompozícióval, tulajdonságvezérelt elérhetőséggel és k-indukcióval, az absztrakciót szigorítva, ahol egy pár megmutatta, hogy túl laza. Amikor nem teljesül, amit visszakapsz, az nem statisztika. Két alkalmazás, amelyek minden nyilvános mezőben azonosak, abban az egyben különböznek, amiről kérdeztél, és két különböző eredménnyel, egymás mellett kiírva. Ez egy olyan megállapítás, amellyel a megfelelőségi tisztviselő még aznap dolgozhat.","open-source-aion.e5e1cd5506":"Vedd azt, amit a szabályozók és a panaszosok leggyakrabban kérdeznek, különböző szavakkal: megváltoztatta-e ez a mező az eredményt? Erre tulajdonságként válaszolunk két futás felett. Köss össze minden nyilvános bemenetet, hagyd szabadon a kérdéses mezőt mindkét oldalon, és követeld meg, hogy a látható eredmény egyezzen. Ha mindig egyezik, az eredmény nem függött attól a mezőtől.","open-source-aion.227872d789":"Az egyik, kidolgozva","open-source-aion.5f92fd5ed1":"Egy tanúsítvány csak azért érdekes, amit a mondat, amit lehetővé tesz, mondani enged. Ez a bináris megfelel ennek a forrásgráfnak. Ez a munkaterhelés ezen képességek alatt futott. Ehhez a művelethez megvolt a szükséges jóváhagyás. Ez az optimum megfelel ennek a korlátnak. Ez a pálya tiszteletben tartotta ezeket az invariánsokat. Ez a következtetés ezekből a korlátokból következik. Ez a kimenet ebből a pontos modellből és paraméterkészletből származik.","open-source-aion.418a3bc2fc":"szabályozó elé tárni","open-source-aion.7a7af31402":"Hét állítás, amit","open-source-aion.a13c1cf72d":"Amit valóban bizonyítani tudsz","open-source-aion.20467ce964":"Egy eset egy alkalmazásról szól. Néhány kérdés egyszerre kettőről szól","open-source-aion.dde18d1e41":"KIÉ","open-source-aion.f3b603a5b2":"ÉRTÉKEKBEN","open-source-aion.53d2799375":"AZ ESET","open-source-aion.f18bb15530":"Mindkettő megállapítás, és mindkettőnek van gazdája. Egyik sem derül ki egy megfelelt vagy nem megfelelt eredményből. Az ellenpélda mondja meg, melyik kettőt tartod a kezedben.","open-source-aion.d83e9c1af9":"Az ellenpélda véget vet azoknak a vitáknak is, amelyek egyébként hetekig tartanának, mert nem valakinek a véleménye arról, hogy a szabály túl szigorú-e. Ez egy eset, a valós értékekkel megrajzolva, amelyeken a szabály működik. Vagy az eset lehetséges valahol a vállalkozásodban, és akkor a szabály helyes, a rendszer hibás, vagy az eset nem fordulhat elő, és akkor a specifikációból hiányzik egy megszorítás, amit mindenki feltételezett, de senki nem írt le.","open-source-aion.7455444aea":"Amikor egy szabály nem teljesül, az AION visszaadja a konkrét helyzetet, amely megsérti, prózaként kiírva: mely értékek, milyen típusúak, és mely feltételeket sértenek. Egy mérnök reprodukálni tudja, egy vezető árazni tudja, és most először ugyanarról az esetről vitatkoznak.","open-source-aion.7d4873637b":"mint az eset, amely megtörte","open-source-aion.aeb268fac7":"A megtört szabály visszatér","open-source-aion.b5951203ea":"Amit egy hiba a kezedbe ad","open-source-aion.8a9a27b8f7":"Maradnak a mondatok, amelyek két dolgot jelenthetnek, és azokról kérdeznek","open-source-aion.e1814a04c0":"FELÜLVIZSGÁLHATÓ","open-source-aion.20e7dea6cd":"EGYSZERŰ OLVASAT","open-source-aion.295ea7bb80":"ANGOL MEGTARTVA","open-source-aion.a4abbaea33":"A fordítás mintakönyvtár, nem modell, így ugyanaz a mondat mindig ugyanazt az olvasatot adja, és egy felülvizsgálatot nem kell megismételni azért, mert az eszköz meggondolta magát egyik negyedévről a másikra. Egy második felülvizsgáló, aki ugyanazt a mondatot olvassa, ugyanarra a feltételre jut, ez teszi a felülvizsgálatot átruházhatóvá.","open-source-aion.f3689055f1":"Minden feltételhez tartozik egy mondat egyszerű angolul, amely megmondja, mit kódol, és azokkal a mennyiségekkel, amelyeken működik, mindegyik elnevezve az általa tárolt érték fajtájával és a saját leírási sorával. Így a felülvizsgálatot az végezheti, aki a követelmény tulajdonosa, nem csak az, aki a jelölést ismeri.","open-source-aion.cac3da045e":"Hogyan tartja","open-source-aion.c6b765e4cc":"A követelményeket azok írják, akik értik az üzletet, és azok alakítják feltételekké, akik értik a jelölést, a két változat pedig aztán évekig eltávolodik egymástól. Az AION összetartja őket: a követelményt angol mondatként írod, és az abból előállított feltétel magával viszi a mondatodat. A felülvizsgáló mindkettőt együtt olvassa, így az eltávolodás az oldalon jelenik meg, nem pedig egy incidensben.","open-source-aion.589a38f560":"annak, aki kérdezte","open-source-aion.5d212c3d75":"A szabály olvasható marad","open-source-aion.5373332e20":"Ki olvashatja el, mit ellenőriztek","open-source-aion.5f882ec681":"Egy hivatkozás csak akkor hasznos, ha a szabály, amelyre mutat, olyan, amelyet a saját embereid el tudnak olvasni","open-source-aion.bca8d6442c":"MEGTEHETŐ","open-source-aion.705bc98c49":"MEGNEVEZI A SZABÁLYT","open-source-aion.ab9f5d57e4":"MEGNEVEZI A LÉPÉST","open-source-aion.b4ba975800":"Az, hogy ezeket szétválasztjuk, teszi lehetővé, hogy egy elutasítást egyáltalán el lehessen küldeni egy beszállítónak, mert a vád az egyetlen dolog, amit nem lehet csendben visszavonni egy beszállítói kapcsolatban.","open-source-aion.7a47f854de":"Ez az a forma, amellyel egy auditor vagy beszállítói vezető dolgozni tud, mert a nézeteltérést hivatkozássá alakítja. Az AION azt is szétválasztja, ami egy szó alatt kétféle hibaként érkezik. Vagy a lépés nem rekonstruálható, ami a bizonyítás hibája és megállapítás az előállítóval szemben, vagy a lépés olyan szabályt használ, amelyet ez az ellenőrző nem tartalmaz, ami számodra hatókörkérdés, és nem megállapítás senkivel szemben.","open-source-aion.d9469b7dda":"Egy olyan hiba, amely azt írja, hogy az ellenőrzés sikertelen, nem rendelhető hozzá, nem vitatható és nem javítható, és vitaként érkezik, nem pedig megállapításként. Az AION helyet és okot ad vissza: melyik lépés, melyik fájlban, melyik szabályt állította, hogy alkalmazza, és mi hiányzott, amikor a lépést újra kidolgozták. Az elutasítás visszaküldhető az előállító csapatnak reprodukálható címmel. Ha a bizonyítás nem rekonstruálható, a felelősség az előállítónál van; ha az ellenőrzőből hiányzik a megnevezett szabály, az hatókörkérdés. Ezek külön sorok és külön javítási folyamatok.","open-source-aion.ccc6a09991":"a lépéssel és az okkal","open-source-aion.3619f211ef":"Egy sikertelen ellenőrzés visszaérkezik","open-source-aion.29801085dc":"A kimenet, amelynek használhatónak kell lennie","open-source-aion.57c6ba11fc":"Hét előállító tartja meg a saját kimenetét. Az AION szabványosítja a bizonyítékok borítékát és útvonalát.","open-source-aion.f37804f36b":"EGY BORÍTÉK","open-source-aion.8a3b4bf313":"HÉT ELŐÁLLÍTÓ","open-source-aion.479f1de8ea":"A közös boríték egy nyilvántartást, egy kompatibilitási modellt és egy érintett halmazt ad a szervezetnek, amikor egy szabály változik. Minden tanúsítványcsalád megtartja a saját ellenőrzőjét és elutasítási szabályait. Egy új család azzal csatlakozik, hogy regisztrálja ezeket a szabályokat és az ellenőrzőjét; az AION nem válik előállítóvá. A nyilvántartás az a rész, amely növekszik.","open-source-aion.5b958e86c7":"Egy megoldó bocsáthat ki logikai, optimalizálási vagy időbeli tanúsítványokat. A Twin és az FMI különböző kimeneteket állít elő, de közös a szimulációs és FMI család. Az előállító azt mondja meg, mi készült; a tanúsítványcsalád azt, hogyan ellenőrzik az állítását. A kettőt külön rögzítik, így egyik sem olvasható ki a másikból.","open-source-aion.57e1cc2701":"Mit változtat egy boríték","open-source-aion.8bd8b74c55":"A Solver, a Loom, a Nexus, a Kera, a Selvedge, a Twin és az FMI hét különböző kimenetet előállító, nem pedig hét tanúsítványcsalád. Az AION egy borítékot ad a bizonyítékaiknak, és minden tanúsítványt a családra jellemző ellenőrzőhöz irányít. A boríték hordozza az előállítót, a családot, a sémát és a megadott bemeneteket, míg a családellenőrző őrzi a technikai jelentést. Egy beszállító megváltoztathatja a megvalósítását anélkül, hogy megváltozna a szervezet bizonyítékhatára; csak egy család- vagy sémaváltozás bővíti a kompatibilitási felülvizsgálatot.","open-source-aion.65a41e884e":"egy boríték a bizonyítékoknak","open-source-aion.837663a52a":"Hét előállító, és","open-source-aion.647e0f46ec":"Hét előállító","open-source-aion.af6010147d":"Egy beszállító egy kapcsolat. Az érdekes kérdés az, meddig ér el ez","open-source-aion.35ecafecfb":"A GÉPED","open-source-aion.0676f9f8de":"HÁROM DOLOG","open-source-aion.dfc87eabb4":"Ez elmozdítja a beszélgetést arról a terepről, ahol a beszállítók kényelmesen érzik magukat. Már nem kéred őket, hogy győzzenek meg, és nem fizetsz azért, hogy reprodukáld a környezetüket. Ha a három dolgot a kezedben tartod, az ellenőrzés a tiéd, és megismételheted, amikor csak akarod, bármilyen hardveren, beleértve a szerződés lejárta utáni hetet is.","open-source-aion.7677ed77e3":"Érdemes pontosan meghatározni az artefaktumot, mert nem mindig fájl. A családtól függően lehet fájl, archívum, adatfolyam, aláírt csomag, nyomkövetési pár, tanú, végrehajtási bizonylat vagy strukturált levezetés. Ami mindig, bármilyen formában is, az, hogy egy ellenőrző el tudja olvasni az előállító jelenléte nélkül.","open-source-aion.a29def781f":"Mi is valójában egy tanúsítvány","open-source-aion.fdca1fef67":"A tanúsítvány nem napló és nem összefoglaló. Ez az a bizonyíték, amelyet a munka hátrahagyott, és amit egy beszállító átad, az három dolog: az állítás, a megadott bemenetek és a szerződés, amely ellen készült, valamint a tanúsítvány, amelyet a rendszer előállított. Nem az engedélyük, nem a verziójuk, nem a gépük. Ez a három együtt utazik, és az ellenőrzésükhöz nincs szükség semmi másra a beszállítótól.","open-source-aion.b054d236cd":"nem pedig a szoftverükre","open-source-aion.53e1575f60":"A tanúsítványt ellenőrzöd","open-source-aion.5e40f4ba8a":"A pozícióváltás","open-source-aion.b9e2767b28":"Van egy út, amely sem nem hisz nekik, sem nem futtatja újra a szoftverüket","open-source-aion.7d87348ad6":"A NEVED RAJTA","open-source-aion.48a5aca907":"AZ Ő RENDSZERÜK","open-source-aion.32c3cafa08":"Ezt a pozíciót nézi egy auditor, amikor azt kérdezi, hogyan győződtél meg, beleértve az olyan bizonyítékokra vonatkozó szabályokat is, mint az EU AI Act. Az AION ezt úgy változtatja meg, hogy minden ilyen eredményhez egy ellenőrizhető tanúsítványt ad, anélkül, hogy reprodukálnád a beszállítót, és anélkül, hogy hozzáférnél bármihez, amit a magukénak tartanak. Az ellenőrzés a saját gépeden fut, kizárólag a tanúsítvány alapján.","open-source-aion.ac90e72b2c":"A szokásos kivezető utak mind ugyanoda érnek. Kérheted a bizonyítékukat, ami egy dokumentum, amit a saját szoftverükről írtak. Vagy kérheted, hogy reprodukáld a rendszerüket, amihez kell az ő licencük, az ő verziójuk és az ő környezetük, és még így is azon múlik, ami a választ előállította.","open-source-aion.fc63c534d2":"Egy megoldó azt mondja, hogy az ütemterv megvalósítható. Egy AI-rendszer szabályozott következtetésre jut. Egy ágensrendszer műveletet hajt végre a nevedben. Egy fordító biztonságkritikus terméket állít elő. Egy futási környezet ellenőrzött munkaterhelést futtat. Egy szimuláció érvényesít egy tervezési döntést. Egy digitális iker azt jelenti, hogy egy üzemállapot biztonságos. Mindegyik esetben a munka máshol történt, a következmény pedig rád hárul.","open-source-aion.c9672e2ac8":"a neved rajta van a válaszon","open-source-aion.925d7b4a2d":"Az ő rendszerük állította elő","open-source-aion.47b025f850":"Hol az elszámoltathatóság","open-source-aion.905aee629b":"A levezetés, egy olvasható indok, és ugyanaz a szabály mindenkire, akit érint","open-source-aion.4d0ee37058":"EGY DÁTUM","open-source-aion.6ccb4a6f6a":"UGYANAZ AZ INDOK","open-source-aion.84adcc762b":"UGYANAZ AZ ELLENŐRZÉS","open-source-aion.56c6f422d8":"Ez egy levél, amit bárki megírhat. Ahelyett, hogy azt mondanád, a rendszer döntött, idézheted a szabályt, megnevezheted a dátumot, megnevezheted a verziót, és megkérdezheted azt, aki írta, hogy tényleg ezt értette-e alatta.","open-source-aion.073cdea47b":"Ez csak akkor ér valamit, ha látod, így három dolgot kapsz, amit használhatsz. A szabályt, hétköznapi szavakkal, amit hangosan fel tudsz olvasni. Az indokot, amiért rád vonatkozott, idézve a szabályt a saját helyzeteddel. És a dátumot, amikor a levezetést ellenőrizték. Ez a feljegyzés megnevezi, mi ellenőrizte, és a szabályok melyik verziója ellen történt az ellenőrzés.","open-source-aion.a50f912efb":"Mit kezdhetsz vele","open-source-aion.1d94c73b03":"Add át ugyanazt a levezetést AION-nak kétszer, és az ellenőrzés ugyanúgy jön ki, hétfőn és pénteken, neked és a mögötted állónak a sorban. Nem arról van szó, hogy mindenki ugyanazt a választ kapja, mert az emberek különböző helyzeteket hoznak. Hanem arról, hogy az ellenőrzés maga nem ingadozik, és senki sem értelmezi a te esetedet a helyszínen. Egy évvel később ugyanazt a levezetést ugyanazok az írott szabályok ellenőrzik, így egy kapott válasz még mindig megmagyarázható.","open-source-aion.fba7a52bf4":"hétfőn és pénteken","open-source-aion.77a3327a99":"Ugyanúgy ellenőrizve","open-source-aion.cebde51ae2":"Amit a kezedben tartasz","open-source-aion.a566f0cb1b":"Az idő is egyfajta szabály. A legtöbb a hétköznapi fajta, mindenkire alkalmazva","open-source-aion.29231cd04d":"IDŐBEN","open-source-aion.d89f7642e7":"FIGYELVE","open-source-aion.5d491ce50f":"HÁTRALÉVŐ NAPOK","open-source-aion.c50722f442":"Ugyanaz az értelmezés működik a dátum után is, mint előtte. A tizennégy napja elmúlt tény, amiről meg lehet kérdezni valakit, dátummal ellátva, nem pedig egy figyelmeztetés nélkül érkező piros jelzés.","open-source-aion.0b1cbd5f8a":"Egy megfelelt semmit sem mond, amíg meg nem szűnik megfelelt lenni, és addigra az olcsó lehetőségek eltűntek. Egy szám megmondja, hol tartasz: huszonkét nap hátra az egy bejegyzés a naptárban, négy nap hátra ez a hét, egy nap hátra ez a reggel.","open-source-aion.af41b675b0":"Mit ad ez neked","open-source-aion.2ff91b62ec":"Azok a szabályok, amelyekben óra van, azok kapják el az embereket. Egy harminc napon belül esedékes válasz, egy visszatérítési ablak, egy időszak, ami után valamit törölni kell. Az AION ezeket figyeli, amíg futnak, és jelenti, mennyi hely van ma, napokban kifejezve.","open-source-aion.94dc6c2b80":"jóval az utolsó előtt","open-source-aion.6bdbc0422a":"Látod a hátralévő napokat","open-source-aion.37f768721f":"Határidők, amelyek érintenek","open-source-aion.e3c2d4b24a":"A helyben végzett munka azt is jelenti, hogy szemmel tarthatja az órát helyetted","open-source-aion.4ace2cc9bc":"NINCS FIÓK","open-source-aion.c5c3055a7b":"NINCS ELKÜLDÉS","open-source-aion.a5b9137c2b":"ITT MARAD","open-source-aion.874bab5372":"Ha egyáltalán van kapcsolat, az egy olyan, amit valaki szándékosan hozott létre a saját gépei között, és ki van kapcsolva, amíg meg nem teszi. A mondatodat írott szabályok olvassák, ugyanabban a szobában, mint te, és a válasz a kapcsolat nélkül érkezik. Semmi nem hagyta el a gépet, hogy előállítsa, és semmit nem küldtek el.","open-source-aion.4a03f17947":"Nincs fiók, nincs regisztráció, és nincs külső szolgáltatás, aminek működnie kell, megbízhatónak kell lennie, vagy jövőre is léteznie kell ahhoz, hogy választ kapj.","open-source-aion.f10eb79b5b":"Mit jelent ez neked","open-source-aion.c17d4e01b4":"Sok eszköz úgy válaszol egy rólad szóló kérdésre, hogy elküldi az adataidat, és vár a válaszra. Az információd utazott, egy olyan céghez, amit nem te választottál, esetleg egy országba, aminek a nevét soha nem fogod hallani. Az AION ott végzi a munkát, ahol már van. Semmi nincs elküldve, mert nincs mivel elküldeni.","open-source-aion.9e50609149":"azon a gépen, amelyiknél vagy","open-source-aion.ca67037369":"A válasz kiszámítva","open-source-aion.7df600af96":"Hová kerülnek az adataid","open-source-aion.399483042a":"A megkérdezés csak az egyik fele. A másik fele az, amit mondanak neked, amikor a válasz nem","open-source-aion.0b5b7048ea":"TE VÁLASZTOD","open-source-aion.f12c755afa":"MEGKÉRDEZ TÉGED","open-source-aion.300453f44e":"KÉT JELENTÉS","open-source-aion.6debd2c487":"Ami apró udvariasságnak hangzik. Ez a különbség egy szabály között, amivel egyetértettél, és egy szabály között, amit valaki kitalált helyetted, sietve, egy napon, amikor nem voltál ott. A találgatás a szokásos módja ennek, és senkinek sem mondják el, hogy megtörtént. A kérdezés egy pillanatba kerül, és kiveszi a találgatást a feljegyzésből.","open-source-aion.6f02dd9d43":"Az AION megáll és kérdez. Visszaidézi a szavakat, amelyekben nem biztos, mindkét értelmezést világosan bemutatja, egy kérdést tesz fel a saját kifejezéseddel, és vár. Te választasz. Semmi nem dől el, amíg a kérdés nyitva van.","open-source-aion.0ccfcd0de4":"Mi változik","open-source-aion.b3124516ab":"\"Töröld, ha a késés több mint egy óra.\" A hetvenöt perc késés több mint egy óra, vagy az órákat egészben számolják, így hetvenöt perc egy óra, és egy óra nem több mint egy? Mindkét értelmezés hétköznapi angol. Egyetlen esetben térnek el, és az az eset elő fog fordulni.","open-source-aion.4449c95cf9":"két dolgot jelent, kérdez","open-source-aion.75ca04ac1b":"Ha a mondatod","open-source-aion.2297deb89a":"Amikor a mondatod nem egyértelmű","open-source-aion.32cf0852b8":"Egy mondat egyszerre két dolgot is jelenthet, és ezen érdemes megállni","open-source-aion.b5d2541ad8":"JARGONMENTES","open-source-aion.3b7c198e57":"VISSZATÉR","open-source-aion.c4cc4b9845":"A SAJÁT SZAVAID","open-source-aion.5c9a5c3396":"És amikor ugyanazt a mondatot újra elolvassák, pontosan ugyanazt a szabályt adja, mert az AION-ban semmi sem tanul, sodródik, vagy közben jobb ötlete támad. Egy szabály, amit egyszer elfogadtál, az marad a szabály, amit elfogadtál, és aki a másik oldalon kapja, az a te mondatodat olvassa, nem pedig valaki összefoglalóját. Útközben semmi sem változtatja mások szavaivá.","open-source-aion.ba41f25c15":"Két dolog következik abból, hogy megmarad a mondat. Meg tudod mondani, hogy megértették-e aznap, amikor írtad, olvasással, ahelyett, hogy egy évvel később egy incidensből derülne ki.","open-source-aion.c19473d784":"Írd le a szabályt hétköznapi szavakkal, és az AION megtartja azokat a szavakat. Ez apró udvariasságnak tűnik egészen addig a napig, amikor számít: hónapokkal később, amikor valamit megállítanak emiatt a szabály miatt, az általad írt mondat visszatér a magyarázat tetején, az általad választott szavakkal.","open-source-aion.4c0e51d183":"hangosan mondanád","open-source-aion.dcf65c0f8a":"Írd le a szabályt úgy, ahogy","open-source-aion.e1a651b90e":"Amit mondani akarsz","open-source-aion.beda6f7681":"Egy összeg újraszámolásához le kell írni az összeget. Így van ez egy szabállyal is, és a tiéd lehet egy mondat","open-source-aion.ef6371cd2e":"MEGÁLLÍTJA","open-source-aion.47ce22a1f7":"LÉPÉSRŐL LÉPÉSRE","open-source-aion.9195df51f1":"MÁSODIK OLVASAT","open-source-aion.b66352de76":"A megállítás a fontos fele. Bármi egyetérthet veled. Valami, ami megáll és rámutat a sorra, az értékes, és nagyon kevés ilyen van.","open-source-aion.e04fafc8fc":"Az AION újra összeadja az oszlopot. Nem számlákhoz, hanem a nehezebb fajta munkához, amit a gépek végeznek, amikor eldöntik, hogy valami megengedett, biztonságos vagy lehetetlen, amikor építenek valamit, amikor a nevedben futtatnak valamit, vagy amikor kiszámolják, mi történne, mielőtt bárki kipróbálná. Elolvassa a számolást, amit az első gép leírt, minden lépést újra elvégez magának, és megáll az elsőnél, amit nem tud kijönni.","open-source-aion.b55b759c73":"Amikor egy számla rossznak tűnik, nem vitatkozol arról, hogy az összeg helyes-e. Te magad újra összeadod az oszlopot. Ha ugyanazt a számot kapod, az összeg áll. Ha a negyedik sornál megállsz, mert nem jön ki, pontosan meg tudod mondani, melyik sor az, és a vita egy mondatban véget ér.","open-source-aion.59141b0dfa":"ahelyett, hogy elhinné a szavad","open-source-aion.fa22d5033b":"Valaki újraszámolja az összeget","open-source-aion.333a6c87f2":"a változás érintett halmazt és várakozási sort eredményez, nem pedig csendes újraértelmezést a múltból","open-source-aion.0eecb96558":"öt tény","open-source-aion.59e22ed738":"előállítva, aláírva, ellenőrizve, elfogadva, és még mindig kompatibilis","open-source-aion.d78c662e5b":"ellenőrizve, nem feltételezve","open-source-aion.5b44284acd":"még mindig kompatibilis a","open-source-aion.cc4bc74f90":"szerződésverzióval","open-source-aion.3bb51eeea5":"elfogadva a","open-source-aion.72954f75cf":"ellenőrzőverzióval","open-source-aion.3741770a87":"ellenőrizte","open-source-aion.7fc7c8aef9":"a származtatási sorrend hash-e felett","open-source-aion.d2a7817a72":"aláírta","open-source-aion.9d7c5e8097":"verzióval","open-source-aion.8fffa5fcb8":"előállította","open-source-aion.756e62f03a":"Egy eredmény, öt tény","open-source-aion.2b8be4ecd3":"A hozzárendelés saját mechanizmuson fut: egy Ed25519 aláírás a származtatási sorrend BLAKE3 hash-e felett, monoton nonce-szal és időbélyeggel, ellenőrizhető az előállító nyilvános kulcsával. Az elfogadás egy másikon fut, magán viselve az ellenőrző azonosságát és verzióját, valamint a szerződésverziót, amelyet megadott. Amikor bármi alatta mozdul, egy ellenőrző szabály, egy tanúsítványséma, egy házirend, egy fordítószabály, egy futásidejű szerződés vagy egy modellverzió, a tanúsítványok, amelyek függőséget jelentettek be rá, érintett halmazt alkotnak, és sorba kerülnek az újraellenőrzésre, a megváltozott összetevő megnevezésével.","open-source-aion.6b8169d142":"Egy ítélet önmagában egy szó szerző nélkül. Öt tény, amelyek általában eggyé olvadnak, itt szét vannak választva: ki állította elő az eredményt, ki írta alá, mi ellenőrizte, melyik szerződés alapján fogadták el, és hogy még mindig kompatibilis-e a mai szabályokkal. Ez öt különböző kérdés, és közülük négy túléli a szállítóváltást.","open-source-aion.2cd4b335f4":"Egy ellenőrző ellenőrzi.","open-source-aion.d15fbc9566":"Semmi nincs ellenőrizve.","open-source-aion.481d0fc02c":"A teljes érv","open-source-aion.ca75c84634":"Minden itteni tanúsítvány egyetlen rekordként végződik, és a rekord szétválasztva tartja a tényeit","open-source-aion.3ecc9abb23":"BŐVÍTHETŐ","open-source-aion.8112bd91bc":"LÉGRÉSES","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Ahol egyetlen ellenőrzés valóban túl nagy egyetlen géphez, a munka kockákra oszlik a gépek között, záradékmegosztással közöttük, és az összetett eredményt csak lefedettségi ellenőrzés után fogadják el: két kocka nem javíthatja ugyanazt a literálhalmazt, és amit lefednek, annak a teljes teret kell kiadnia, nem pedig majdnem az egészet. Egy egyesítés, amely egy híján van, elutasítás, ami ugyanaz a fegyelem, mint mindenhol máshol a termékben. Ezen túl egy ellenőrzőregiszter és egy bővítési API az, ahogyan egy tanúsítványcsalád, amelyet itt senki nem írt, itt ellenőrzésre kerül.","open-source-aion.04cd68c7fb":"Csak két dolog léphet át egy határt, és mindkettőt te konfigurálod. Egy fürt a megadott címeken fut. Egy külső előállító egy program, amelyet telepítesz és helyi folyamatként futtatsz. Nincs hosztolt modell sehol a láncban, és nincs olyan szolgáltatásunk, amely elérhetetlen lehet az incidensed alatt, vagy megváltozhat alattad valaki más kiadási ütemezése szerint. Egy légréses rendszer pontosan úgy ellenőriz, mint egy csatlakoztatott, mert az ellenőrzésnek soha nem volt szüksége az előállítóra.","open-source-aion.ac1913e46c":"Két kivezető út, és mindkettő a tiéd","open-source-aion.c2193fefe2":"Az ellenőrzés egy számítás, mint bármely más, és az, hogy hol fut, a te döntésed. Az AION 2026. szeptember 1-jén jelenik meg: amint a repozitórium nyilvános, linkeld a könyvtárat, futtasd a parancsot, vagy állítsd fel a szolgáltatást a saját határaidon belül. Az alapértelmezett build nem tartalmaz kimenő klienst, így egy tanúsítvány ellenőrzéséhez nincs szükség fiókra, szolgáltatóra vagy útvonalra a gépről, amelyen elindult.","open-source-aion.72d09c5994":"egy szolgáltatás, vagy egy enclave","open-source-aion.f8ac38e647":"Egy könyvtár, egy parancs","open-source-aion.604918db00":"Ahol az ellenőrzés fut","open-source-aion.c07ebfbab5":"Egy archívum állva marad. Az utolsó kérdés az, hogy mindez valójában hol fut","open-source-aion.d34941b7ce":"INDEXELT","open-source-aion.79ae623ce9":"TARTALOM SZERINT CÍMEZETT","open-source-aion.0f7d1ea9ca":"Az a rész, amelyet építeni kell, nem pedig feltételezni, az index. Amikor egy ellenőrzési szabály, egy tanúsítványséma, egy házirend, egy fordítószabály, egy futásidejű szerződés vagy egy modellverzió megváltozik, azok a tanúsítványok, amelyek érvényessége a megváltozott összetevőtől függött, lekérdezéssel találhatók meg, nem pedig azzal, hogy mindent átvizsgálunk és reménykedünk. A függőségek a borítékban vannak deklarálva, így az érintett halmaz egy lekérdezés, az újraellenőrzési sor pedig annak eredménye, a megváltozott összetevő minden egyes bejegyzésnél megnevezve. Az alternatíva, amellyel a legtöbb szervezet valójában rendelkezik, az a választás, hogy mindent újravizsgálnak, vagy semmit sem vizsgálnak újra.","open-source-aion.144711734a":"A tárolás csak akkor hasznos, ha egy olvasó, aki továbblépett, még mindig meg tudja nyitni, ezért minden rekord hordozza az előállító aláírását, az elfogadó ellenőr azonosítóját és verzióját, a szerződésverziót, amely alapján elfogadták, és a függőségeket, amelyeken nyugszik. A visszaúton kompatibilitási teszt fut.","open-source-aion.22f96be502":"Az érintett halmaz valódi index","open-source-aion.a1b04ec691":"A megtartásra érdemes tanúsítványok azok, amelyekről évek múlva kérdeznek. Az AION egy elfogadott tanúsítványt tömören és tartalom szerint címezve tárol: az azonosítók különbségként, az ismétlődő minták futáshossz-kódolva, az azonos rész-bizonyítások hash-elve és egyszer tárolva, az egész pedig a tartalma szerint címezve, nem pedig aszerint, hogy valaki hová iktatta. A tartalomcím az, ami lehetővé teszi, hogy egy továbblépett olvasó újra megtalálja ugyanazt a tanúsítványt, és másodszor is ellenőrizze, évekkel azután, hogy a futás, amely előállította, lezajlott.","open-source-aion.c017c017d7":"és újra ellenőrizhető marad","open-source-aion.2e10b84b57":"A tanúsítvány kicsi marad","open-source-aion.9263a81467":"Amit ellenőriztek, annak tárolása","open-source-aion.1f029bacad":"Hat család, és mindegyik ugyanabba a rekordba kerül","open-source-aion.1deb4d4a29":"PÁLYA","open-source-aion.f8d5b44c34":"INVARIÁNSOK","open-source-aion.52dd7acef9":"MEGFELELÉS","open-source-aion.24d7374cb9":"Ezek szétválasztása az, ami az első kettőt értékessé teszi. Egy biztosíték, amely csendben magában foglalja a harmadikat, az, amelyik egy szabályozó előtt megbukik, és egy tanúsítvány, amely megnevezi a saját határát, az, amelyik túléli a megbeszélést.","open-source-aion.0e4ffe42fa":"Három különböző kérdést tesznek fel egy szimulációnak, és annak őszinte bevallása, hogy melyik kettőre lehet itt válaszolni, a szakasz teljes szakmai tartalma. A végrehajtási megfelelés azt kérdezi, hogy a deklarált modell, paraméterek és konfiguráció valóban ezt a pályát állította-e elő, és ez ellenőrizhető. A matematikai tulajdonság-ellenőrzés azt kérdezi, hogy a megadott invariánsok fennállnak-e a futás során, és ez is ellenőrizhető, meghibásodás esetén a nyomvonalat adja vissza, nem pedig egy verdiktet. A fizikai érvényesség azt kérdezi, hogy a modell a valós világot képviseli-e, és ezt egyetlen tanúsítvány sem állapítja meg. Ez a modell tulajdonosáé, és véglegesen az övé.","open-source-aion.bb70d13ca4":"A vonal, amellyel ez a szakasz óvatos","open-source-aion.ac558913f9":"Egy szimulációs eredményt döntésekhez használnak sokkal azután, hogy a futás véget ért. A tanúsítvány hordozza a modell és az FMU azonosítót, a paraméterkészletet, a kezdeti állapotot, a megoldó konfigurációját, az időlépés- vagy eseménysorozatot, az állapotátmeneteket, az elvégzett invariáns-ellenőrzéseket, a konvergencia- vagy leállási állapotot, az eredményül kapott pálya hash-ét, és egy ellenpélda-nyomvonalat, ha egy tulajdonság meghiúsul.","open-source-aion.1c9f5f0f21":"pontosan kettőre válaszol","open-source-aion.242c47d00a":"Három kérdés, és ez","open-source-aion.a635f9edf3":"Twin és FMI, tanúsítva","open-source-aion.43f8bc442f":"A végrehajtás egy dolog egyetlen futása. Egy szimuláció egyszerre milliókat készít belőlük","open-source-aion.d3a968f797":"KIMENETI AZONOSÍTÓ","open-source-aion.d79014995c":"TANÚSÍTOTT","open-source-aion.2fbbf64505":"KÉPESSÉGEK","open-source-aion.51fd9d7843":"A determinizmus az, ami a többit ellenőrizhetővé teszi. Mivel az átmenetek determinisztikusak a modul, a bemenetek és a jogosultságok függvényében, egy ellenőr követheti őket anélkül, hogy újra végrehajtaná a munkaterhelést az eredeti környezetében, és két futás, amely ugyanazt a kimeneti azonosítót állítja ugyanazokból a bemenetekből, vagy egyetért, vagy rámutat arra az átmenetre, ahol megszűntek egyetérteni. Ez gyakorlatilag egy futásidejű tanúsítás: mi futott, milyen felhatalmazás alatt, ellenőrizhető anélkül, hogy újra futtatnánk.","open-source-aion.0d0fd79859":"A legtöbb kérdés, amelyet egy munkaterhelésről utólag feltesznek, valójában a felhatalmazására vonatkozó kérdés. Mit érhetett el ez a dolog futás közben, és elért-e valami mást. Egy tanúsítvány, amely a képesség-jogosultságokat az átmenetekkel együtt hordozza, erre válaszol anélkül, hogy bárki naplót olvasna, és olyannak válaszol, aki nem üzemelteti a futásidejű környezetet.","open-source-aion.890c61e134":"Miért a képességkészlet az érdekes mező","open-source-aion.1331fa2052":"Egy kilépési állapot azt mondja, hogy egy munkaterhelés befejeződött. A végrehajtási tanúsítvány azt mondja meg, hogy mi fejeződött be: a munkaterhelés és a modul azonosítója, a futásidejű verzió, a birtokolt képesség-jogosultságok, a kapott bemenetek, a determinisztikus állapotátmenetek, amelyeken áthaladt, az erőforrás-korlátok, amelyek között futott, az előállított kimenet azonosítója, és hogy befejeződött vagy csapdába esett. Mindegyik olyan mező, amelyből egy későbbi kérdés megválaszolható, anélkül, hogy visszamennénk a gépre, amely futtatta.","open-source-aion.65576ef482":"milyen képességek alatt","open-source-aion.74a9894f4f":"Mi futott, min, és","open-source-aion.eabc461dcf":"Selvedge, tanúsítva","open-source-aion.b4792818f1":"Egy lefordított artefaktumnak még mindig valahol futnia kell, és ez a futás is egy állítás","open-source-aion.414cbcc9ec":"SZÁRMAZÁS","open-source-aion.24466ece94":"FORRÁSTÓL A MŰTÁRGYIG","open-source-aion.c81d361198":"Ez a pontosság teszi hasznossá az artefaktumot a downstream folyamatban. Szabályozott build esetén a kérdés ritkán az, hogy egy fordító jó-e. Hanem az, hogy ez a bináris megfelel-e ennek a forrásgráfnak ebben az optimalizációs konfigurációban, ami egy olyan kérdés, amelyre van válasz, és a válasz az artefaktummal utazik, nem pedig az azt előállító build rendszerben él. Ez a build provenance jelentése a gyakorlatban: egy állítás erről az artefaktumról, amely ellenőrizhető az azt létrehozó build rendszer nélkül.","open-source-aion.6c1fd4df2b":"A deklaráció a fegyelem. Egy tanúsítvány nem állítja, hogy minden optimalizáció helyes volt egyetlen megkülönböztetés nélküli állításként, mert ez az állítás sem nem ellenőrizhető, sem nem igaz egyetlen valódi fordítóra sem. Pontosan megnevezi, hogy mely megőrzési vagy ekvivalencia tulajdonságokat állapítja meg, mely transzformációkon keresztül, és a verifikátor csak ezeket ellenőrzi, és semmi másról nem számol be.","open-source-aion.fd5ed4a1d8":"Megnevezett állítások, nem egy átfogó","open-source-aion.82a76c947a":"Egy fordító átad egy artefaktumot és egy kilépési státuszt. A fordítási tanúsítvány hordozza, hogy mi az, aminek az artefaktumot állítják: a forrás vagy gráf azonossága, amelyből származik, a fordító és az optimalizációs verzió, az alkalmazott transzformációs sorozat, a típus- és alakmegőrzés ezeken a transzformációkon keresztül, a kiválasztott kernelek, az előállított artefaktum azonossága, valamint az ekvivalencia- vagy invariáns-ellenőrzések, amelyeket a tanúsítvány deklarál.","open-source-aion.06efebf0f5":"a forrásról, amelyből származik","open-source-aion.3f208ecc5e":"A bináris is egy állítás","open-source-aion.716710e273":"Kera, tanúsítva","open-source-aion.89572e64cc":"Egy szervezet tanúsítható. A fordító is, amely megépítette azt, amin fut","open-source-aion.502114d554":"NYUGTÁK","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"HATÓSÁG","open-source-aion.965738574a":"Az érték akkor mutatkozik meg, amikor a műveletet vitatják. Egy munkafolyamat-nyomvonal a szervezet beszámolója önmagáról. Egy tanúsítvány, amelyet egy független verifikátor elfogadott egy megnevezett szerződésverzió alatt, más osztályú bizonyíték, és a különbség pontosan az, amiért az AION létezik.","open-source-aion.f4652935ed":"Ez egy tanúsítvány egy szabályozott műveletről, nem arról, hogy egy ágens mit gondolt. Rendezi azokat a kérdéseket, amelyeket valaki ténylegesen fel fog tenni: hogy létezett-e a hatóság abban a pillanatban, amikor az akció lefutott, hogy a kapunak, amelynek tartania kellett, tartotta-e magát, hogy a jóváhagyás az akcióhoz kapcsolódott-e, nem pedig egy mellette lévő üzenethez, és hogy az állapotátmenetek, amelyeket a rekord állít, azok-e, amelyeket a szerződés megenged. Mindezek géppel ellenőrizhetők, és egyikhez sem kell hozzáférés egy modellhez.","open-source-aion.be15814346":"Mit állapít meg, és mit nem","open-source-aion.38d3c11f27":"Egy befejezett munkafolyamat is állítás, mint bármely más. A szervezeti tanúsítvány megállapítja a ténylegesen megtörtént szabályozott műveletet: a célt és a politikaverziót, amely alatt futott, a létrehozott szervezetet, a feloldott szerepeket és hatóságokat, a végrehajtott feladatokat és azok átmeneteit, a teljesített politikai kapukat, a csatolt jóváhagyásokat, a végrehajtott akciókat és a rögzített nyugtákat.","open-source-aion.65a8805f19":"hogy követte a szerződését","open-source-aion.f827cfbcbf":"Egy művelet bizonyítható","open-source-aion.07fba05892":"Nexus, tanúsítva","open-source-aion.c6fd961235":"Az érvelés az egyik előállító. Egy ágensekből álló szervezetet nehezebb tanúsítani","open-source-aion.2764d46fd5":"NINCS MODELLHÍVÁS","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Az angol követelmény front end is ide tartozik, mert egy érvelési tanúsítvány csak annyira áttekinthető, amennyire a tetején lévő megkötés. Egy determinisztikus mintakönyvtár formális feltételeket ad vissza, rangsorolva aszerint, hogy hány trigger kifejezés egyezett, mindegyik hordozza a maga egyszerű olvasatát és azokat a mennyiségeket, amelyeken működik, és ahol egy mondat valóban több olvasatot hordoz, ott felveti a kétértelműséget a megnevezett kérdéssel, ahelyett hogy csendben eldöntené.","open-source-aion.c4d7d27503":"Alatta mindkét fajta előállító ül, és ugyanazon a határon keresztül fogadják el őket. Az AION maga dönti el a Boole-struktúrát, a különbséglogikai aritmetikát, a bitvektor szavakat és az egyenlőséget értelmezetlen függvényekkel, egy teljes konfliktusvezérelt keresés felett, két figyelt literállal, egy kupacrendezett aktivitási heurisztikával, geometriai újraindításokkal és aktivitásalapú klóztörléssel. Kielégíthetetlen válasz esetén egy magot ad vissza, amely megnevezi, hogy a saját megkötéseid közül melyek harcoltak egymással, ahelyett hogy leírná a keresést, amely megtalálta őket. Egy külső megoldó saját folyamatként fut, és visszaad egy bizonyítást, és semmi más nem keresztezi a kettőt, csak az a fájl. Bármely eszköz, amely bizonyítást bocsát ki olyan formátumban, amelyhez az AION ellenőrzőt hordoz, kvalifikál, köztük a cvc5 is, és a határ a formátum, nem pedig a szállító.","open-source-aion.5264c1875d":"Előállítók, natív és külső","open-source-aion.09b6611fc2":"A Loom érvel. Amit az AION ellenőriz, az az artefaktum, amelyet az érvelés hátrahagy: az aktív megkötések, az alkalmazott szabályok, azok a részproblémák, amelyek megoldóhoz kerültek, a tanúsítványok, amelyeket ezek a megoldók visszaadtak, a talált ellentmondások, a határok, amelyek lezártak egy döntést, és a végül állított állítás. Explicit számítási artefaktumok és deklarált levezetések, ellenőrizve mint olyanok.","open-source-aion.2224f4889f":"a levezetés, amelyen nyugszik","open-source-aion.1aceefa727":"Egy következtetés érkezik","open-source-aion.40e8df9cbd":"Loom, és a megoldók alatta","open-source-aion.cbac360b09":"A Boole- és aritmetikai lépések egy család. Az érvelés az, ahol a verem kezdődik","open-source-aion.9786d05f5a":"FUZZOLVA","open-source-aion.a9bb80378b":"ÚJRA LEVEZETVE","open-source-aion.0204e8b30c":"SZABÁLYRÓL SZABÁLYRA","open-source-aion.a43c278b96":"A klauzula szintjén minden hozzáadás újra levezethető első elvekből: tételezzük fel, hogy az új klauzula hamis, terjesszük tovább a klauzulákat, amelyekre a tippjei hivatkoznak, és követeljük meg az ellentmondást, amelyet a tippek ígértek. Ha a továbbterjesztés önmagában nem kényszeríti ki, a hozzáadás a nevezett pivot literálra vonatkozó szigorúbb feltételhez kerül minden olyan klauzulával szemben, amellyel a pivot feloldható, így egy lépést nem lehet átvinni pusztán egy olyan pivot megnevezésével, amelyet a klauzula nem tartalmaz. A formulát és a bizonyítást is soronként olvassuk, így a gép memóriájánál nagyobb bizonyítás is végig ellenőrizhető. Az AION saját tesztkészlete ellenséges az AION-nal: egy tipp, amely arra a lépésre hivatkozik, amelyet igazolnia kellene, két egymásra támaszkodó lépés, egy állított, de hiányzó pivot, két klauzula egy azonosító alatt, a végjelző azonosítóként használva, egy soha hozzá nem adott klauzula törlése, és ugyanazon klauzula kétszeri törlése. Minden olvasó, amely egy más által írt fájlt érint, egy magozott korpusz ellen van fuzzolva.","open-source-aion.13a29c20f0":"Három feltétel fut a szabályellenőrzés előtt minden lépésnél, rögzített sorrendben: hogy a lépés önmagára hivatkozik-e, hogy minden hivatkozott szám jelen van-e, és hogy bármelyikük magasabb számozású-e, mint az azt hivatkozó lépés. Mind a négy előtt a fájlt egyszer átvizsgálják ismételt lépésszámra. Csak az a bizonyítás jut el az utolsó feltételhez, amelynek minden lépése mindezt teljesíti, és ez az, hogy a fájl ellentmondásban zárul-e. Egy levezetés, amely literálokkal még állva fut ki, minden máson átment, mégis elutasításra kerül.","open-source-aion.f626b7a7da":"A felszín alatt","open-source-aion.1a95f2e67d":"A klauzulabizonyítások az LRAT családban, amely SAT, és a szabálybizonyítások az Alethe formátumban, amely SMT, azok a családok, amelyeknek a leghosszabb története van azoknak, akik megpróbálták legyőzni, ezért ez a helyes, amelyet megmutatni. Az AION minden lépést a szabályát megvalósító rutinhoz irányít, és egy szabálynév, amely mögött nincs semmi, véget vet az olvasásnak, nem pedig csendesen továbbmegy, a lépésszámmal és a szabállyal kiírva.","open-source-aion.8294eed416":"és egy ismeretlen szabály megállítja","open-source-aion.9959b32cda":"Minden lépés négy tesztnek felel meg","open-source-aion.3821e115bc":"A család, amelynek ellenfelei vannak","open-source-aion.c415bc49f1":"A legrégebbi családnak van a legtöbb ellenfele, ezért ezt kell először megnézni","open-source-aion.06d55361b1":"VERZIONÁLT","open-source-aion.bca8de5f5a":"KILENC CSALÁD","open-source-aion.187b58774c":"A családok ugyanebből az okból külön vannak verzionálva. Egy szabálykészlet szigorodhat a logikai családban anélkül, hogy zavarná a szimulációs családot, és az érintett tanúsítványkészlet ehhez a változáshoz pontosan azok a rekordok, amelyek a módosított verziót deklarálták. A mai kilenc: logika és kielégíthetőség, optimalizálás, időbeli és hiper-tulajdonság, érvelés, szervezeti, fordítás, futásidejű végrehajtás, szimuláció és FMI, valamint tárolási integritás.","open-source-aion.ca4a7a3c63":"Egy család regisztrálása az, ahogyan egy rendszer, amely nem létezett, amikor az AION-t írták, ellenőrizhetővé válik általa. A boríték már ugyanaz, a tárolási réteg és az újraellenőrzési sor már működik, és amit egy új családnak biztosítania kell, az egy ellenőrző és egy deklarált szabálykészlet. Harmadik féltől származó szoftver, amely tanúsítványszerződést valósít meg, ugyanazon az ajtón érkezik, mint bármi a miénk.","open-source-aion.6581749da9":"Miért regiszter, nem pedig lista","open-source-aion.c453f0b87d":"Egy tanúsítványcsalád egy nevesített, verzionált szerződés, nem pedig fájlformátum. Mindegyik deklarálja az identitását és verzióját, az állítás típusát, amelyet létrehoz, a bemeneteket, amelyeket igényel, hogyan van reprezentálva a bizonyítás vagy tanú, az ellenőrzési algoritmust, az ellenőrző által elfogadott szabálykészletet, a függőségi és kompatibilitási metaadatait, az ember által olvasható megjelenítését, ahol van, és a saját elutasítási taxonómiáját.","open-source-aion.29a8090d97":"és a készlet bővíthető","open-source-aion.7dd9783a82":"Kilenc család, egy regiszter","open-source-aion.f4c0c73854":"A regiszter","open-source-aion.2b6d7305db":"Egy független ellenőrzésnek tudnia kell, melyik fajta tanúsítványt tartja a kezében","open-source-aion.b4dee9d399":"NINCS VISSZAJÁTSZÁS","open-source-aion.1ae37e9b3a":"NINCS LICENC","open-source-aion.082414b331":"KORLÁTOZOTT ELLENŐRZÉS","open-source-aion.85bcd01276":"Egyik esetben sem kell az ellenőrzőnek a gyártó keresése, heurisztikája, rejtett állapota, modellhívásai vagy futásidejű környezete. Ez teszi a független ellenőrzést megfizethetővé, nem pedig megvalósíthatatlanná.","open-source-aion.73dc1e45ec":"Az aszimmetria ugyanolyan alakú minden területen, és érdemes négyszer látni. Egy konfliktusvezérelt keresés órákig futhat egy olyan térben, amelyet senki sem tud felsorolni; az általa kibocsátott klauzulabizonyítást soronként követik. Egy fordító több száz optimalizálási lépést hajthat végre olyan heurisztikákkal, amelyeket a csapaton kívül senki sem ért; a tanúsítvány rögzíti a megőrzési állításokat, amelyeknek érvényesülniük kell rajtuk. Egy szimuláció több millió lépésen futhat; a tanúsítvány biztosítja az ellenőrzőpontokat, átmeneteket, invariánsokat és a nyomot, amelyek ellenőrizhetővé teszik az eredményt. Egy Nexus művelet sok ágenst koordinálhat; a tanúsítvány megállapítja a tekintélyt, az állapotátmeneteket, a jóváhagyásokat és a műveleti nyugtákat.","open-source-aion.3bcb80f6d9":"Amit minden gyártó megtart magának","open-source-aion.ceb0061493":"A rendszer, amely az eredményt előállította, nem kapja meg az utolsó szót arról, hogy a tanúsítványa érvényes-e. Az AION egy korlátozott artefaktumot ellenőriz, nem pedig megismétli a drága számítást, ezért futhat az ellenőrzés egy laptopon olyan munka ellen, amely egy klaszternek egy hétvégébe telt, és ezért nincs szüksége sem a gyártó licencére, sem a gépére. A tanúsítvány biztosítja az ellenőrzőpontokat, amelyeken az ellenőrző végigmegy, így az ellenőrzés költsége az artefaktum méretét követi, nem pedig a mögötte lévő keresés méretét.","open-source-aion.69524cecfe":"és ez az egész trükk","open-source-aion.ee21bac231":"Az ellenőrzés nem újracsinálás","open-source-aion.396e9b624d":"Az építészeti szétválasztás","open-source-aion.504a1b0a8d":"Egy boríték megmondja, mi érkezett. A következő kérdés az, hogy ki nyithatja fel","open-source-aion.a9ea7a518b":"EGY BORÍTÉK","open-source-aion.d7e877b15b":"NYOLC MEZŐ","open-source-aion.34c043fc06":"A függőségi mező az, amelyet az emberek alábecsülnek. Egy tanúsítvány, amely egy másik tanúsítványra támaszkodik, megnevezi azt, így egy elutasítás vagy séma-módosítás továbbterjed azon a halmazon, amely rá támaszkodott, nem pedig megáll az első rekordnál, amelyre valaki éppen ránéz. Ez az, ami egy halom elfogadott eredményt olyasmivé változtat, amiről kérdést lehet feltenni.","open-source-aion.7dc6226fd7":"Ha az útválasztási információt a hasznos teherbe teszed, minden új tanúsítványcsalád új integrációt jelent mindenki számára a downstream irányban. Ha kívül tartod, a tárolási réteg, a kompatibilitás-követő, az újraellenőrzési sor és a napló egyszer íródik meg, és olyan családokkal működik, amelyek nem léteztek, amikor megépítették őket.","open-source-aion.48eb1ab2b4":"Miért éri meg a szétválasztás","open-source-aion.419ad6edc1":"Egy fordítási tanúsítvány és egy záradékbizonyíték belül semmiben sem egyezik, és ugyanabban a borítékban érkeznek. Nyolc mező: az állítás, az inputok, amelyek ellen készült, a gyártó, a szerződésverzió, a tanúsítványtípus, a tanúsítvány hasznos teher, a függőségek és az aláírás. Minden, ami család-specifikus, a hasznos teherben van, és minden, amire az ellenőrzőnek szüksége van az útválasztáshoz, verziózáshoz és rögzítéshez, azon kívül van.","open-source-aion.03a195fded":"és nyolc mező benne","open-source-aion.9895a4db76":"Minden család, egy boríték","open-source-aion.33164fb254":"A közös boríték","open-source-aion.315fae6edd":"Nyolcféle rendszer, nyolcféle állítás, és egy boríték, amelyben mind utaznak","open-source-aion.661f13bc63":"ELLENŐRIZVE","open-source-aion.ea0dae37f4":"EGY TANÚSÍTVÁNY","open-source-aion.f07b84d4d2":"EGY ÁLLÍTÁS","open-source-aion.1edfca7587":"Az AION az a második program. Fog egy tanúsítványt, amelyet egy idegen állított elő, rekonstruálja, amit állít, és ahol egy állítás nem rekonstruálható, megnevezi az elemet, megnevezi a szabályt, és ott megáll. Egy elutasítás, amely a 40. sorra mutat, olyasmi, ami egyetlen szó soha nem lehet.","open-source-aion.4428102723":"A formális módszerek évtizedekkel ezelőtt ezért az elrendezésért döntöttek. A gyártó leírja a munkáját, és egy második, sokkal kisebb program visszaolvassa azt a leírást. A második program az, amelyet érdemes gondosan megépíteni, mert elég kicsi ahhoz, hogy elejétől végéig megértsék. Az AION azt teszi, hogy ezt az elrendezést kiveszi a megoldó világából, és minden más szerződésévé teszi: érvelés, ágensműveletek, fordítás, végrehajtás, szimuláció.","open-source-aion.51edeceac1":"unsat. lefordítva. befejezve. biztonságos. optimális. a szabályzat átment. a szimuláció konvergált. a munkafolyamat jóváhagyva. Nyolc rendszer, nyolc szó, és egyik sem hordozza az igazságának okát. A bizonyítékhordozó számítás az alternatíva: a gyártó megtartja a drága munkát, és az eredmény mellé egy tanúsítványt bocsát ki, és valaki, akinek nincs érdeke a válaszban, ellenőrzi azt a tanúsítványt.","open-source-aion.d3571e9e01":"amíg valaki újra nem csinálja","open-source-aion.03d9c22d95":"Egy eredmény csak egy állítás","open-source-aion.dfc28595b4":"Miért létezik egy második olvasat","open-source-aion.3c6178c9cd":"Kihez tartozik a jelentés","open-source-aion.42c21bbe27":"Mit dönt el egy eset","open-source-aion.4d05bcfcbf":"Mit enged meg egy elutasítás","open-source-aion.4c0a0d8ef3":"A két szokásos kiút","open-source-aion.e097afe170":"Mi következik a megtartásából","open-source-aion.c9681d6875":"Mit csinál valójában","open-source-aion.1ee58a7b8d":"Honnan származik az elrendezés","open-source-aion.eec3b038bd":"attribúció","open-source-aion.65279e1ecf":"ellenőrzés","oss-aion-adoption-paths.733a87e5fb":"Teszteljen egy döntési útvonalat","oss-aion-adoption-paths.34dfd13db9":"Futtasson egy példatanúsítványt, mielőtt az AION-t egy éles döntési útvonalba integrálja.","oss-aion-adoption-paths.3f1d1c0d24":"Vizsgálja meg a mellékelt példatanúsítványt.","oss-aion-adoption-paths.a5339faf54":"Futtassa a mellékelt példabizonyítékokat ellenőrzésként.","oss-aion-adoption-paths.b38db2875a":"Ellenőrizze ugyanazt a tanúsítványt az aion check paranccsal és egy független, kompatibilis ellenőrzővel.","oss-aion-adoption-paths.0e42c62826":"Az Ön értékelő csapata","oss-aion-adoption-paths.ca15f8db66":"Építse be egy rendszerbe","oss-aion-adoption-paths.e8219f1ea8":"A meglévő szoftvercsapata összekapcsolja a könyvtárat, így a már futó rendszerek minden döntéshez tanúsítványt adhatnak át.","oss-aion-adoption-paths.91e2e7e34b":"Az Ön mérnökei hozzáadják az AION-t egy már üzemeltetett rendszerhez.","oss-aion-adoption-paths.96e8012ed9":"Ezután minden döntés ellenőrizhető tanúsítványt hordoz.","oss-aion-adoption-paths.6e56d00bc7":"Nem kerül új beszállító a döntés útjába.","oss-aion-adoption-paths.b0e0c85d36":"Az Ön mérnöki csapata","oss-aion-adoption-paths.4637a51566":"Használja auditáláskor","oss-aion-adoption-paths.03b3d20015":"Egy korábban létrehozott tanúsítvány bármikor újra ellenőrizhető a parancssori eszközzel, saját hardveren, offline.","oss-aion-adoption-paths.8b6e7ae424":"Őrizze meg a döntés meghozatalakor létrehozott tanúsítványt.","oss-aion-adoption-paths.ab48bfd890":"Ellenőrizze újra később a parancssori eszközzel, offline.","oss-aion-adoption-paths.6fe516ffcf":"Adja át ugyanezt a rekordot egy szabályozónak vagy egy könyvvizsgálónak.","oss-aion-adoption-paths.4e64c95d9e":"Az Ön megfelelőségi csapata","oss-aion-adoption-paths.6b5eb5323e":"Kezdje egy döntési útvonallal","oss-aion-adoption-paths.1635f113ec":"Három bevezetési mód","oss-aion-adoption-paths.5eef32f959":"Ki futtatja","oss-aion-adoption-paths.29a9e7fa74":"A tanúsítvány azonos, függetlenül attól, hogy melyik utat választja.","oss-aion-adoption-paths.3e4f1a5e1b":"Egy könyvtár, egy parancssori eszköz","oss-aion-adoption-paths.tag.d59fec26d9":"Integráció előtt","oss-aion-adoption-paths.tag.391b31405f":"Mérnökeinek","oss-aion-adoption-paths.tag.6fd7b4f249":"Megfelelőségi csapatnak","oss-aion-archive-parts.cea57012da":"nem tömörítve, olvasás után","oss-aion-archive-parts.10f2f8d11a":"tömörítve a polcra","oss-aion-archive-parts.0468a5b797":"ARCHÍVUM","oss-aion-archive-parts.bce5035461":"és egy mező, amely túléli őket","oss-aion-archive-parts.bd678f55fe":"Négy lépés egy tanúsítványon","oss-aion-archive-parts.44e396b17f":"Melyik ellenőrző fogadta el, és melyik szerződésverzió alapján.","oss-aion-archive-parts.5348eece0f":"Ellenőrző és szerződés megőrizve","oss-aion-archive-parts.53229277ab":"Azonos aligények egyszer tárolva, majd hash alapján hivatkozva.","oss-aion-archive-parts.0f6513214f":"Aligények hash-elve","oss-aion-archive-parts.76a7786a63":"Ismétlődő minta egyszer tárolva, az ismétlés hosszával együtt.","oss-aion-archive-parts.9e1a0f7aac":"Futamok összevonva","oss-aion-archive-parts.d6f5880b44":"Minden azonosító az előzőtől való távolságként tárolva.","oss-aion-archive-parts.6b78716e70":"Azonosítók hézagokként","oss-aion-archived-proof.5808299e06":"felnézett, nem átfésült","oss-aion-archived-proof.39241dfc0d":"A többi zárva maradt, mert az index már tudta, hogy azokat nem érinti.","oss-aion-archived-proof.d84b2eb85d":"Kilenc függőség deklarálva, két lap behúzva, öt tanúsítvány megnevezve.","oss-aion-archived-proof.c9269e3e61":"hét lap zárva maradt","oss-aion-archived-proof.6f13975269":"továbbra is kompatibilis","oss-aion-archived-proof.8ec798a819":"r7 szabály","oss-aion-archived-proof.4b50837e2e":"sorba állítva az újraolvasáshoz","oss-aion-archived-proof.2a858a12ec":"r7 szabály lecserélve a 2.5.0-s verifikátorban","oss-aion-archived-proof.0b58a007b4":"változásbejelentés","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"ugyanaz a tanúsítvány","oss-aion-archived-proof.4b37dd07e6":"archiválva","oss-aion-archived-proof.39c9f8bf3a":"két al-bizonyítás, egy alakzat","oss-aion-archived-proof.8c28e2d0a9":"egy blokk, egyszer megtartva","oss-aion-archived-proof.e75bd8054c":"azonosítók hiányosságként","oss-aion-archived-proof.9bfe0da4af":"egy hosszú fájl","oss-aion-archived-proof.46dc2748fa":"előállítva","oss-aion-archived-proof.b6a0714797":"szemléltető azonosítók","oss-aion-archived-proof.16bb6017da":"az ötből kettő sorba állítva","oss-aion-archived-proof.884fa4a4de":"Egy tanúsítvány, kétszer","oss-aion-archived-proof.11ed0e1dd4":"p9 szabályzat","oss-aion-archived-proof.1f776189b1":"2. séma","oss-aion-archived-proof.ec690c70cd":"d20c9b tanúsítvány","oss-aion-archived-proof.a96a7e2f89":"1a55f0 tanúsítvány","oss-aion-archived-proof.b504f66e53":"m1 modell","oss-aion-archived-proof.fd6c33ce54":"3.1 futásidejű szerződés","oss-aion-archived-proof.ff651ff51f":"c1 fordítószabály","oss-aion-archived-proof.d00ec63b0b":"b4e187 tanúsítvány","oss-aion-archived-proof.e20acd4672":"3c90de tanúsítvány","oss-aion-archived-proof.6d50cc6c2e":"7f21ab tanúsítvány","oss-aion-archived-proof.5dd9b11122":"p2 szabályzat","oss-aion-archived-proof.70d70366cf":"4. séma","oss-aion-archived-proof.d61ceadbdb":"szerződés","oss-aion-archived-proof.e15436a2bb":"verifikátor","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Miért utasított el egy gép a kérésemet?","oss-aion-asked-questions.answer.refused":"Az AION pontosan megmutatja, hol állt le az ellenőrzés, és miért, egyetlen megmagyarázatlan szó helyett.","oss-aion-asked-questions.question.check":"Ellenőrizhetem magam egy automatizált döntést?","oss-aion-asked-questions.answer.check":"Igen. Az AION újra elvégzi az egyes lépéseket azon a gépen, amelyen éppen tartózkodik, fiók nélkül, és semmit nem küld el.","oss-aion-asked-questions.question.sent":"Elküldik valahová az adataimat?","oss-aion-asked-questions.answer.sent":"Nem. Az alapértelmezett verzióban nincs mivel elküldeni. A feldolgozás ott történik, ahol Ön már éppen van.","oss-aion-asked-questions.chrome.path":"Kérdések, amelyeket egy elutasítás valójában felvet","oss-aion-asked-questions.chrome.status":"nyíltan megválaszolva","oss-aion-asked-questions.readout":"Ez a három kérdés, amelyek megválaszolására ez az oldal készült, nyíltan, fiók nélkül, és semmit nem küldve.","oss-aion-asked-questions.band":"Egyszer feltéve, nyíltan megválaszolva","oss-aion-asked-you.ef80b73d6b":"ahelyett, hogy később meglepetés érné","oss-aion-asked-you.7e066a9db0":"most egy kérdés","oss-aion-asked-you.fb041ecc2d":"Vár","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"és hogy mi történik ezután","oss-aion-asked-you.fb5efec5ec":"Amit kérdez","oss-aion-asked-you.ed223cb507":"A saját kifejezéseddel benne, nem pedig egy kitöltendő űrlappal.","oss-aion-asked-you.47ba586268":"Kérdést tesz fel","oss-aion-asked-you.16bb2c320d":"Egyszerű szavakkal, nem pedig szimbólumok közötti választásként.","oss-aion-asked-you.590f0368a8":"Mindkét értelmezést bemutatja","oss-aion-asked-you.c0fedb51ee":"A mondatod azon részét, amelyben bizonytalan, a saját szavaiddal.","oss-aion-asked-you.945cd96360":"Visszaidézi a szavakat","oss-aion-asymmetry.109e612009":"az bizonyíték utazik","oss-aion-asymmetry.54086b1730":"a munka a készítőnél marad","oss-aion-asymmetry.77e82797f7":"ASZIMMETRIA","oss-aion-asymmetry.7f5d144dcb":"készítőnként","oss-aion-asymmetry.d1abed327f":"Ami nem reprodukálódik","oss-aion-asymmetry.816e835f60":"Hatóság, átmenetek, jóváhagyások, nyugták.","oss-aion-asymmetry.4f83e60cbc":"Sok ágens, összehangolva.","oss-aion-asymmetry.d946c1fc52":"Ágensrendszer","oss-aion-asymmetry.d978ba491a":"Ellenőrzőpontok, átmenetek és invariánsok.","oss-aion-asymmetry.b081bda78f":"Integráció milliónyi lépése.","oss-aion-asymmetry.8e34943c35":"Szimuláció","oss-aion-asymmetry.db98a95880":"A megőrzési állítások közöttük.","oss-aion-asymmetry.ce4dee4e4f":"Több száz menet és heurisztikáik.","oss-aion-asymmetry.341a20e237":"Fordítóprogram","oss-aion-asymmetry.d50aca2923":"Lépésről lépésre követett levezetés.","oss-aion-asymmetry.c0644e2b00":"Keresés egy térben, amit senki nem sorol fel.","oss-aion-asymmetry.2212b12df6":"Megoldó","oss-aion-audit-flow.0d368d5958":"Döntés születik","oss-aion-audit-flow.723d4b8215":"Egy AI választ ad a rendszerében.","oss-aion-audit-flow.60616f24a0":"Tanúsítvány megőrzése","oss-aion-audit-flow.319012d052":"Az indoklás hordozható rekordként kerül rögzítésre.","oss-aion-audit-flow.b6e0507002":"Újraellenőrzés","oss-aion-audit-flow.060bdf8393":"Bárki újra futtatja az ellenőrzést offline, a saját gépén.","oss-aion-audit-flow.549ee9a7f2":"Az auditor elfogadja","oss-aion-audit-flow.45d8142b03":"Bizonyíték, amit ellenőriznek, nem ígéret, amit el kell fogadniuk.","oss-aion-audit-flow.29a5795456":"Továbbítja a naplókat, és reméli, hogy elfogadják.","oss-aion-audit-flow.691576c10d":"Átad egy tanúsítványt, amelyet az auditor maga ellenőriz.","oss-aion-audit-flow.4f25ce109b":"A magyarázat egyetlen szállítóhoz van kötve.","oss-aion-audit-flow.17092b76ad":"A szabványos bizonyítási formátumok biztosítják, hogy a tanúsítvány az eredeti szállítón és futási környezeten túl is ellenőrizhető maradjon.","oss-aion-audit-flow.4cb1b63499":"A rekordot olyan infrastruktúrán ellenőrzik újra, amelyet nem Ön irányít.","oss-aion-audit-flow.c0baf00a21":"A rekordot offline, az Ön által irányított hardveren ellenőrzik újra.","oss-aion-audit-flow.1574ac4dc4":"A döntéstől az elfogadott bizonyítékig","oss-aion-audit-flow.0fc25779d4":"Ellenőrizhető bizonyíték nélkül","oss-aion-audit-flow.4b32d8f574":"AION-nal","oss-aion-audit-flow.effbb773a5":"Az audit során bizonyítékot, nem pedig biztosítékot nyújt.","oss-aion-audit-flow.630840198f":"Független ellenőrzés","oss-aion-broken-case.b2d44d537d":"két munka","oss-aion-broken-case.21a5e37384":"Valóban azt mondja, hogy valakinek most választania kell.","oss-aion-broken-case.446dd52366":"Az eset nem mondja meg, hogy e kettő közül melyikben vagy.","oss-aion-broken-case.1592f95dfc":"aki a specifikáció tulajdonosa","oss-aion-broken-case.5350b811e8":"Ezt mindenki tudta, és senki sem írta le, ezért az eset egyáltalán megtalálható\n              volt. Tehát a munka a hiányzó megszorítás megírása.","oss-aion-broken-case.7e1ad0c117":"újrapróbálkozás nem történhet nulla egyenlegnél itt","oss-aion-broken-case.e2acc6be4b":"megtörténhet ez itt?","oss-aion-broken-case.70cf0e9d6e":"a csapat, amely működteti","oss-aion-broken-case.f4418abec4":"Tehát a szabály helyes, és a rendszer hibás. A munka a rendszer módosítása.","oss-aion-broken-case.7ebf5ee2c1":"három újrapróbálkozás nulla egyenlegnél hétköznapi hétfő","oss-aion-broken-case.818db6fde5":"a kötegelt mód legfeljebb két újrapróbálkozást engedélyez","oss-aion-broken-case.9ad82bcd1a":"nincs újrapróbálkozás, amíg az egyenleg nulla","oss-aion-broken-case.db09c40b94":"feltételek, amelyeket megsért","oss-aion-broken-case.1a01155586":"A specifikáció nem áll fenn. Íme egy helyzet, amelyben nem áll fenn, leírva.","oss-aion-broken-case.bb5f480b82":"az eset, ahogy visszajön","oss-aion-broken-case.8ba48b3c8c":"szemléltető eset","oss-aion-broken-case.2a0ea29615":"egy eset, két tulajdonos","oss-aion-broken-case.0efd66fc70":"Az eset, amely megtörte","oss-aion-broken-case.fd12863535":"nem","oss-aion-broken-case.fb360f9c09":"igen","oss-aion-broken-case.e7aef2e893":"a mód kötegelt (típus: szöveg)","oss-aion-broken-case.dcfad8c5bf":"az egyenleg 0 (típus: egész szám)","oss-aion-broken-case.bbf98b54e9":"az újrapróbálkozások száma 3 (típus: egész szám)","oss-aion-business-glyph.9c8c22f54d":"Tervezésből fakadóan ellenőrizhető","oss-aion-business-glyph.afd7103781":"Az Ön infrastruktúrája","oss-aion-business-glyph.ea722c81af":"Európai","oss-aion-business-glyph.870c4d024a":"Hordozható formátumok","oss-aion-business-glyph.81c093497b":"A tanúsítvány által lezárt","oss-aion-business-glyph.862ee3b17a":"Kitettség","oss-aion-business-glyph.6b5eb5323e":"Bizonyíték csatolva","oss-aion-business-glyph.b7a3f27883":"Kockázat megszüntetve","oss-aion-business-glyph.7ba75e0ac6":"Tanúsítvány-ellenőrzés évekkel később","oss-aion-business-glyph.9f89ecaff5":"Az eredeti munkamenet eltűnt","oss-aion-business-glyph.33620369b5":"Az archívum","oss-aion-business-glyph.7a71b6b89e":"Az Ön által felügyelt hardveren","oss-aion-business-glyph.e94a6d4bba":"Más hardverén magyarázva","oss-aion-business-glyph.3eaad00bc0":"Az adatok","oss-aion-business-glyph.e20fee7c23":"Külön ellenőrző","oss-aion-business-glyph.9e3ee5bddf":"Az eredeti modell továbbra is szükséges","oss-aion-business-glyph.5cb182685f":"Az ellenőrző","oss-aion-business-glyph.c5d37b3ae0":"A tanúsítvány, amelyet az auditor ellenőriz","oss-aion-business-glyph.6c4186cc8c":"Naplók, amelyeket remélhetőleg elfogadnak","oss-aion-business-glyph.d51b35c242":"Az audit","oss-aion-cadence-banners.independent.eyebrow":"AION / független ellenőrzés","oss-aion-cadence-banners.independent.lead":"Bízzon a borítékban","oss-aion-cadence-banners.independent.accent":"miután egy másik ellenőrző elfogadja","oss-aion-cadence-banners.independent.body.one":"A tanúsítvány azért hasznos, mert az ellenőrzőnek nincs szüksége a gyártó futásidejére. A megadott szabályt, bemeneteket, eredményt és bizonyítékot egyetlen zárt borítékként kapja meg.","oss-aion-cadence-banners.independent.body.two":"A második implementáció ugyanazon szerződés alapján ellenőrzi a bizonyítékot. Az egyetértés így az eredményre vonatkozó bizonyíték, nem pedig ugyanazon kódút újrafuttatása.","oss-aion-cadence-banners.independent.panel":"Független elfogadási nyilvántartás","oss-aion-cadence-banners.independent.tag":"KÜLÖN ELLENŐRIZVE","oss-aion-cadence-banners.independent.item.rule.label":"Megadott szabály","oss-aion-cadence-banners.independent.item.rule.detail":"A követelmény és a tanúsítványcsalád meg van nevezve.","oss-aion-cadence-banners.independent.item.rule.status":"JELEN VAN","oss-aion-cadence-banners.independent.item.input.label":"Kötött bemenetek","oss-aion-cadence-banners.independent.item.input.detail":"A döntéshez használt értékek együtt utaznak vele.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Állított eredmény","oss-aion-cadence-banners.independent.item.result.detail":"Az eredmény az ellenőrzés megkezdése előtt kerül megállapításra.","oss-aion-cadence-banners.independent.item.result.status":"MEGADVA","oss-aion-cadence-banners.independent.item.verifier.label":"Külön ellenőrző","oss-aion-cadence-banners.independent.item.verifier.detail":"Egy másik implementáció ellenőrzi ugyanazt a borítékot.","oss-aion-cadence-banners.independent.item.verifier.status":"ELFOGADVA","oss-aion-cadence-banners.independent.verdict":"a bizonyíték az azt előállító rendszeren kívül is megmarad","oss-aion-cadence-banners.independent.footer":"az ellenőrzés implementációs határt lép át anélkül, hogy elveszítené a szerződést","oss-aion-cadence-banners.refusal.eyebrow":"AION / hibaszerződés","oss-aion-cadence-banners.refusal.lead":"Egy sikertelen bizonyítás","oss-aion-cadence-banners.refusal.accent":"meg kell neveznie a szabályt, amelyet nem tudott kielégíteni","oss-aion-cadence-banners.refusal.body.one":"A pontos ellenőrzés nem homályos megfelelt-nem felelt meg csomagolás. Az ellenőrző a megadott átalakítást, aritmetikát és logikai kapukat sorrendben követi, majd az első érvénytelen feltételnél megáll.","oss-aion-cadence-banners.refusal.body.two":"Ez az elutasítás a bizonyítékhoz tartozik. Megmondja a hívónak, melyik feltételezés, skála, kifejezés vagy őrzés hibázott, mielőtt bármely későbbi lépés elrejthetné az okot.","oss-aion-cadence-banners.refusal.panel":"Első hibás kapu","oss-aion-cadence-banners.refusal.tag":"ELUTASÍTVA","oss-aion-cadence-banners.refusal.item.read.label":"Olvassa el a megadott értékeket","oss-aion-cadence-banners.refusal.item.read.detail":"A bemenetek és a szabályazonosság az ellenőrzés előtt rögzítve van.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Alkalmazza a megadott átalakítást","oss-aion-cadence-banners.refusal.item.scale.detail":"Nincs csendes visszaesés, amely megváltoztatná az aritmetikai szerződést.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Értékelje ki az egyes kapukat sorrendben","oss-aion-cadence-banners.refusal.item.check.detail":"Az első érvénytelen feltétel hozzárendelhető marad.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Adja vissza a megnevezett elutasítást","oss-aion-cadence-banners.refusal.item.refuse.detail":"A hívó megkapja a hibás szabályt és annak bizonyítékát.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"az elutasítás felülvizsgálható bizonyíték, nem üres hiba","oss-aion-cadence-banners.refusal.footer":"az első hibás feltétel látható marad a következő felülvizsgáló számára","oss-aion-cadence-banners.certificates.eyebrow":"AION / tanúsítványlánc","oss-aion-cadence-banners.certificates.lead":"Egy döntés","oss-aion-cadence-banners.certificates.accent":"többféle bizonyítékot is hordozhat","oss-aion-cadence-banners.certificates.body.one":"Az érvelés, a szervezeti felhatalmazás, a fordítás és a végrehajtás különböző kérdésekre válaszol. Ha ezeket egyetlen általános biztosítékként kezeljük, az elrejtené, hol erős egy állítás, és hol van még szükség további ellenőrzésre.","oss-aion-cadence-banners.certificates.body.two":"Az AION külön tartja a tanúsítványokat, és ugyanahhoz a döntési nyilvántartáshoz kapcsolja őket. A felülvizsgáló követheti a láncot anélkül, hogy összetévesztené a felhatalmazást az aritmetikával vagy a sikeres futtatást egy jóváhagyott szabállyal.","oss-aion-cadence-banners.certificates.panel":"Döntési bizonyíték útvonal","oss-aion-cadence-banners.certificates.tag":"ÖSSZEKAPCSOLVA","oss-aion-cadence-banners.certificates.item.reasoning.label":"Érvelési tanúsítvány","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Megmutatja, miért következik a megállapított következtetés.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Felhatalmazási tanúsítvány","oss-aion-cadence-banners.certificates.item.organisation.detail":"Megnevezi, ki hagyhatja jóvá vagy hajthatja végre a műveletet.","oss-aion-cadence-banners.certificates.item.organisation.status":"FELHATALMAZÁS","oss-aion-cadence-banners.certificates.item.compile.label":"Fordítási tanúsítvány","oss-aion-cadence-banners.certificates.item.compile.detail":"Összeköti a forrást, az átalakítást és a létrehozott artefaktumot.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Végrehajtási tanúsítvány","oss-aion-cadence-banners.certificates.item.execution.detail":"Rögzíti, mi futott, hol és milyen bemenetekkel.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"minden állítás megtartja a tanúsítványcsaládot, amely valóban alátámaszthatja","oss-aion-cadence-banners.certificates.footer":"a kapcsolt bizonyíték elég konkrét marad ahhoz, hogy megkérdőjelezhető legyen","oss-aion-cadence-banners.recheck.eyebrow":"AION / eredmény, amelyhez visszatérhet","oss-aion-cadence-banners.recheck.lead":"Ugyanaz a szabály","oss-aion-cadence-banners.recheck.accent":"később újra ellenőrizhető","oss-aion-cadence-banners.recheck.body.one":"A mondat, a választott jelentés és az időkorlát az eredményhez kapcsolva marad. Láthatja, mit döntöttek, és meddig érvényes a döntés anélkül, hogy elküldené az anyagot.","oss-aion-cadence-banners.recheck.body.two":"Amikor a szabály vagy a dátum megváltozik, a nyilvántartás azonosítja, mit kell újra ellenőrizni. A korábbi válasz látható marad ahelyett, hogy csendben lecserélnék.","oss-aion-cadence-banners.recheck.panel":"Amit az újraellenőrzés követ","oss-aion-cadence-banners.recheck.tag":"ISMÉTELHETŐ","oss-aion-cadence-banners.recheck.item.sentence.label":"Az eredeti mondatod","oss-aion-cadence-banners.recheck.item.sentence.detail":"A megfogalmazás az értelmezés mellett marad.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"A kiválasztott jelentés","oss-aion-cadence-banners.recheck.item.rule.detail":"Az alkalmazott szabály érthetően le van írva.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Az érvényesség dátuma","oss-aion-cadence-banners.recheck.item.deadline.detail":"A hátralévő idő látható, mielőtt az eredmény lejár.","oss-aion-cadence-banners.recheck.item.deadline.status":"LÁTHATÓ","oss-aion-cadence-banners.recheck.item.result.label":"Friss ellenőrzés","oss-aion-cadence-banners.recheck.item.result.detail":"Ugyanaz a bizonyíték újra értékelhető.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"visszatérhetsz a válaszhoz anélkül, hogy elveszítenéd a mögötte álló indokot","oss-aion-cadence-banners.recheck.footer":"a nyilvántartás együtt tartja a szavakat, a szabályt és a dátumot","oss-aion-cadence-banners.supplier.eyebrow":"AION / beszállítói bizonyíték","oss-aion-cadence-banners.supplier.lead":"A beszállító válasza","oss-aion-cadence-banners.supplier.accent":"olyan dologgal kell érkeznie, amit ellenőrizni tudsz","oss-aion-cadence-banners.supplier.body.one":"A tanúsítvány elválasztja az eredményt a beszállító eszközétől. Megmondja, mit ellenőriztek, melyik bizonyítási család vonatkozik rá, és mely bemenetek és artefaktumok tartoznak az állításhoz.","oss-aion-cadence-banners.supplier.body.two":"A csapatod megőrizheti ezt a bizonyítékot, és használhat másik ellenőrzőt. A felülvizsgálat többé nem függ az eredeti szolgáltatáshoz való hozzáféréstől, sem attól, hogy a beszállítót megkérd futtatás újra.","oss-aion-cadence-banners.supplier.panel":"Az eredménnyel kapott bizonyíték","oss-aion-cadence-banners.supplier.tag":"HORDOZHATÓ","oss-aion-cadence-banners.supplier.item.claim.label":"Beszállítói állítás","oss-aion-cadence-banners.supplier.item.claim.detail":"Az eredmény és annak hatóköre kifejezetten meg van adva.","oss-aion-cadence-banners.supplier.item.claim.status":"KAPOTT","oss-aion-cadence-banners.supplier.item.certificate.label":"Tanúsítványboríték","oss-aion-cadence-banners.supplier.item.certificate.detail":"A bizonyíték és az azonosítók az állítással együtt utaznak.","oss-aion-cadence-banners.supplier.item.certificate.status":"CSATOLT","oss-aion-cadence-banners.supplier.item.coverage.label":"Lefedettségi nyilatkozat","oss-aion-cadence-banners.supplier.item.coverage.detail":"A tanúsítványcsalád megmondja, mit tud megállapítani.","oss-aion-cadence-banners.supplier.item.coverage.status":"HATÓKÖRÖS","oss-aion-cadence-banners.supplier.item.checker.label":"Független ellenőrző","oss-aion-cadence-banners.supplier.item.checker.detail":"A te oldalad ellenőrzi a bizonyítékot a gyártó nélkül.","oss-aion-cadence-banners.supplier.item.checker.status":"ELÉRHETŐ","oss-aion-cadence-banners.supplier.verdict":"a bizonyíték akkor is hasznos marad, ha a beszállító futtatása véget ért","oss-aion-cadence-banners.supplier.footer":"az ellenőrizhető eredményt könnyebb megőrizni, összehasonlítani és vitatni","oss-aion-cadence-banners.boundary.eyebrow":"AION / ellenőrzött felülvizsgálat","oss-aion-cadence-banners.boundary.lead":"A felülvizsgálat bent marad","oss-aion-cadence-banners.boundary.accent":"azon a határon belül, amelyet a szervezeted meghatároz","oss-aion-cadence-banners.boundary.body.one":"Az eset, a szabály és a tanúsítvány ott ellenőrizhető, ahol már élnek. A helyi ellenőrzés elkerüli, hogy a felülvizsgálat újabb adatkiszivárgási útvonallá váljon a vizsgált anyag számára.","oss-aion-cadence-banners.boundary.body.two":"A nyilvántartás továbbra is megnevezi a megállapított tulajdonságot és a felhasznált bizonyítékot. Az adatok helyben tartása nem jelenti azt, hogy lemondasz a tulajdonítható auditnyomról.","oss-aion-cadence-banners.boundary.panel":"Helyszíni felülvizsgálati útvonal","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"A megőrzött eset megnyitása","oss-aion-cadence-banners.boundary.item.case.detail":"A forrásanyag a meglévő környezetében marad.","oss-aion-cadence-banners.boundary.item.case.status":"HELYBEN","oss-aion-cadence-banners.boundary.item.property.label":"Az ellenőrizendő állítás kiválasztása","oss-aion-cadence-banners.boundary.item.property.detail":"A tanúsítvány hatóköre kifejezett marad.","oss-aion-cadence-banners.boundary.item.property.status":"HATÓKÖRÖS","oss-aion-cadence-banners.boundary.item.perimeter.label":"Futtatás a kereten belül","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Az ellenőrzéshez nincs szükség kimenő szolgáltatásra.","oss-aion-cadence-banners.boundary.item.perimeter.status":"KORLÁTOZOTT","oss-aion-cadence-banners.boundary.item.record.label":"A felülvizsgálati nyilvántartás megőrzése","oss-aion-cadence-banners.boundary.item.record.detail":"A bemenetek, az ellenőrző és az eredmény tulajdoníthatóak maradnak.","oss-aion-cadence-banners.boundary.item.record.status":"RÖGZÍTETT","oss-aion-cadence-banners.boundary.verdict":"a bizonyíték ellenőrizhető új adatátvitel létrehozása nélkül","oss-aion-cadence-banners.boundary.footer":"a helyi végrehajtás és az ellenőrizhető bizonyíték ugyanabba a kontrollba tartozik","oss-aion-case-fields.ce69e76708":"egy eset döntést indít","oss-aion-case-fields.9a83c048c3":"egy ítélet lezár egy ellenőrzést","oss-aion-case-fields.afc58d4c40":"az első, amelyik elbukik, név szerint","oss-aion-case-fields.3bc6a69e80":"az egyenlegnek nullánál nagyobbnak kell lennie az újrapróbálás előtt","oss-aion-case-fields.4e0285b28b":"feltétel megszegve","oss-aion-case-fields.4e0af55321":"ELLENPÉLDA","oss-aion-case-fields.344daefb37":"Egy eset, teljes egészében","oss-aion-case-fields.62e0ec394a":"az értékek, és hogy milyen típusú mindegyik","oss-aion-case-fields.7f01fe787c":"köteg","oss-aion-checked-not-rerun.dd5b6cbe2b":"egy egyesítés, egy hiányzó","oss-aion-checked-not-rerun.846a719bdc":"Az utolsó sornak semmilyen áron nincs megfelelője.","oss-aion-checked-not-rerun.6c26a05ac4":"A hétből öt megy, és kettő egyesül.","oss-aion-checked-not-rerun.4f01efffc8":"olyasvalaki olvasta, aki soha nem tartotta a kezében a szoftverüket","oss-aion-checked-not-rerun.a70205a694":"a következő negyedévhez képest","oss-aion-checked-not-rerun.0d85e26645":"archiválva a döntéssel, amelyet alátámasztott","oss-aion-checked-not-rerun.ffc7dbc2ad":"amit utána a kezedben tartasz","oss-aion-checked-not-rerun.d6124c1aee":"a bal oldalon semmi sem hozza ezt létre","oss-aion-checked-not-rerun.9b9252883d":"maga a tanúsítvány","oss-aion-checked-not-rerun.0bfa7a3bd8":"a megadott bemenetek és a szerződés","oss-aion-checked-not-rerun.d7f7f555ad":"az állítás","oss-aion-checked-not-rerun.527c7f544a":"három dolog","oss-aion-checked-not-rerun.f8a34d2942":"hogy ellenőrizzék a tanúsítványukat","oss-aion-checked-not-rerun.2a20acacc2":"hét dolog","oss-aion-checked-not-rerun.a94f90b8e9":"hogy reprodukálják a rendszerüket","oss-aion-checked-not-rerun.d2eae1af1f":"ugyanaz a biztosíték, két út","oss-aion-checked-not-rerun.87f754c087":"öt áthúzva, egy hiányzó","oss-aion-checked-not-rerun.2a62bb8028":"mit igényel az egyes utak","oss-aion-checked-not-rerun.35d7d25591":"hogy a változás után is érvényes-e","oss-aion-checked-not-rerun.6cd8ba818d":"kinek az adatain","oss-aion-checked-not-rerun.96f39a5e7d":"a szabálykészlet melyik verziójával szemben","oss-aion-checked-not-rerun.c8d59ae061":"mely feltételeket ellenőrizték","oss-aion-checked-not-rerun.b028b89ea7":"a segítségük","oss-aion-checked-not-rerun.c03c2fce6e":"megfelelő méretű gép","oss-aion-checked-not-rerun.867d12b7ad":"a bemeneti adatok","oss-aion-checked-not-rerun.717e42eb01":"a konfigurációs fájljuk","oss-aion-checked-not-rerun.935b145c44":"egy hozzáillő operációs rendszer","oss-aion-checked-not-rerun.fa15ad3da2":"a pontos verzió, amelyet használtak","oss-aion-checked-not-rerun.5990a1ec89":"licenc a szoftverükhöz","oss-aion-compile-cert.b1991b0d44":"tehát egy elutasítás egy pontra mutat","oss-aion-compile-cert.85edd85611":"az állítások egyenként vannak megnevezve","oss-aion-compile-cert.6e8814b9a0":"Ami kijött, tartalomcím alapján, a fentiek mindegyikéhez kötve.","oss-aion-compile-cert.a41732e051":"Artefaktum-azonosság","oss-aion-compile-cert.6d4151d7a5":"Ami bement, tartalomcím alapján, nem fájlnév szerint.","oss-aion-compile-cert.7204133281":"Forrás- vagy gráfazonosság","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"és hogy mit állít mindegyikről","oss-aion-compile-cert.0bcab6c465":"Amit a tanúsítvány megnevez","oss-aion-compile-cert.027f7ee7d1":"Mely tulajdonságokat állapítja meg ez a tanúsítvány rajtuk keresztül.","oss-aion-compile-cert.8906f98ae0":"Bejelentett megőrzés","oss-aion-compile-cert.d186ea41e2":"Az alkalmazott lépések, az alkalmazásuk sorrendjében.","oss-aion-compile-cert.66ad6a206e":"Átalakítási sorozat","oss-aion-compile-cert.ebb0c953d1":"Melyik build, milyen optimalizációs konfigurációval.","oss-aion-compile-cert.691f87f640":"Fordítóprogram és optimalizáció","oss-aion-console.5d71265e50":"Ellenőrizzen egy bizonyíték-tanúsítványt. Nincs megoldó, nincs hálózat.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Bizonyíték ellenőrzése: proof.alethe","oss-aion-console.1016f1bcf3":"Formátum: Alethe","oss-aion-console.70142f344c":"Elemzés: OK","oss-aion-console.8455c5ceeb":"A bizonyíték N lépésből áll","oss-aion-console.fc539fcf62":"Bizonyíték-ellenőrzés: SIKERES","oss-aion-console.88f6db402f":"Ellenőrzési idő: Nms","oss-aion-console.4f437cea65":"Az ellenőrző megerősítette. Kilépés 0. Semmi nem telefonált haza.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Olvassa el a tanúsítványt","oss-aion-console.0cef7497bf":"Az ellenőrző megnyitja a kapott bizonyítékfájlt. Másra nincs szüksége: nincs modellsúly, nincs szállítói bejelentkezés, nincs internet.","oss-aion-console.830903eaf6":"Járja végig minden lépést","oss-aion-console.6ce1fb843f":"Minden következtetést újra lejátszik a hivatkozott premisszák alapján. Az LRAT egységterjedési tippeket hordoz, így a végigjárás lineáris a bizonyíték hosszában.","oss-aion-console.1044fbcb06":"Elfogadás vagy elutasítás","oss-aion-console.cb4e501f7a":"Ha minden lépés helytálló, az ellenőrző SIKERES-t ír ki, és 0-val lép ki. Ha bármelyik lépés nem az, megnevezi a hibát, és nullától eltérő kóddal lép ki. Nincs köztes állapot.","oss-aion-console.b568d47f2e":"Bemenet","oss-aion-console.df73f614f5":"Bizonyítékfájl","oss-aion-console.0562f32dc5":"Függőségek","oss-aion-console.7334b0e2cf":"Nincs ellenőrzéskor","oss-aion-console.64ae43e8fe":"Költség","oss-aion-console.660020f41a":"Lineáris a bizonyíték hosszában","oss-aion-console.5faa59d4bc":"Eredmény","oss-aion-console.de76d16078":"SIKERES vagy megnevezett hiba","oss-aion-console.76d6562c0a":"Az ellenőrzés","oss-aion-console.edabf74eb3":"Egy parancs beolvassa a bizonyítékot, és","oss-aion-console.d161c0634a":"elfogadja vagy elutasítja","oss-aion-console.a997e63df7":"Az ellenőrző független a megoldótól. Adjon át neki egy tanúsítványt, és a saját ellenőrzője\n          megerősíti vagy elutasítja, offline, hozzáférés nélkül az azt előállító motorhoz.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"offline ellenőrző","oss-aion-console.6b5eb5323e":"Független ellenőrző","oss-aion-console.165cb4a2fd":"Az N lépés és az Nms helyőrzők: a valós számok az ellenőrzött bizonyítékból származnak, nem\n              tőlünk. A parancsfelület valós, az aion check elemez, végigjár, és SIKERES-t jelent.","oss-aion-console.b8fae1a1a1":"AION / bizonyíték-ellenőrzés","oss-aion-consumer-glyph.dccc2b6aff":"Nem kell internet","oss-aion-consumer-glyph.22c2234e11":"Európában készült","oss-aion-consumer-glyph.75f527181b":"Később is ellenőrizhető","oss-aion-consumer-glyph.94651c6eb5":"Egy második segítő ellenőrzi","oss-aion-consumer-glyph.b9fefb3f5b":"Jónak tűnik","oss-aion-consumer-glyph.fb447dd18d":"A nyugtája","oss-aion-consumer-glyph.49a8e53c77":"A gép válaszol","oss-aion-consumer-glyph.f5ad0f0059":"Igen, és íme, miért","oss-aion-consumer-glyph.7011b1a621":"A válasz","oss-aion-consumer-glyph.07d0cfac8b":"Lépésről lépésre leírva","oss-aion-consumer-glyph.5bcd26af49":"Hogyan jutottunk el hozzá","oss-aion-consumer-glyph.8afc953f7f":"Ez nekem való?","oss-aion-consumer-glyph.d79cce547d":"A kérdés","oss-aion-coverage-join.fa5284c04d":"a rövid az rövid","oss-aion-coverage-join.d04fa188df":"A tizennégy közel sem az egész, ezért az összevonás elutasításra kerül, nem pedig felfelé kerekítésre.","oss-aion-coverage-join.0b67159da5":"Tizenhat cella elszámolva, és az összeállított eredmény elfogadásra kerül.","oss-aion-coverage-join.7142d70e45":"összevonás elutasítva, a lefedettség hiányos","oss-aion-coverage-join.245fbeffee":"nem kerekítési hiba. Egy régió, amire senki sem nézett.","oss-aion-coverage-join.1df8f3c0e7":"14 a 16-ból","oss-aion-coverage-join.1c1d6ac8f1":"két cella, amire senki sem nézett","oss-aion-coverage-join.f0833f7fc6":"ugyanaz az összevonás, egy kocka hiányzik","oss-aion-coverage-join.db8d5bf534":"összevonás elfogadva","oss-aion-coverage-join.558480e414":"16 a 16-ból","oss-aion-coverage-join.26f1b36edc":"minden cella elszámolva","oss-aion-coverage-join.39cd7fa9c4":"négy kocka","oss-aion-coverage-join.bb2dba7602":"szemléltető kockák","oss-aion-coverage-join.a4d76ddfc7":"a lefedettség két cellával hiányos","oss-aion-coverage-join.e4445ac125":"Egy felosztás ellenőrzése","oss-aion-coverage-join.186c8cd284":"A build, amit tartasz, nem változik alattad.","oss-aion-coverage-join.9daf9699cc":"a build","oss-aion-coverage-join.66506ab77b":"Nincs modell meghívva.","oss-aion-coverage-join.f2250926d2":"Semmi sem hagyja el a határt.","oss-aion-coverage-join.3110d06249":"ami elhagyja","oss-aion-coverage-join.0bd87fb406":"Nincs processzor ezen az útvonalon.","oss-aion-coverage-join.1fa5b0500c":"nem a, nem b, nem c","oss-aion-coverage-join.898fae3bdc":"nem a, nem b, c","oss-aion-coverage-join.a8f663af2d":"nem a, b","oss-aion-coverage-join.bee9689def":"négy gép, egy válasz","oss-aion-coverage-join.3ea0cf3ca7":"a címek, amiket beállítasz","oss-aion-coverage-join.7b9e33922c":"egy szolgáltatás","oss-aion-coverage-join.17819009bd":"egy meghívás","oss-aion-coverage-join.2c4d8b9dd8":"egy parancs","oss-aion-coverage-join.5a78e04d95":"beillesztve","oss-aion-coverage-join.985e108737":"egy könyvtár","oss-aion-coverage-join.1d06a0d76f":"modell","oss-aion-coverage-join.8eab5a6dbb":"processzor","oss-aion-coverage-table.356f85e809":"egy AION boríték és útválasztási szerződés","oss-aion-coverage-table.4f52f572dd":"hét termelői kimenet","oss-aion-coverage-table.2a268cd632":"HÉT TERMELŐ","oss-aion-coverage-table.8351372237":"először a kimenet, az ellenőrt a tanúsítványcsalád választja ki","oss-aion-coverage-table.b7d5fe11a0":"Amit a hét termelő hátrahagy","oss-aion-coverage-table.f31a7c9011":"Megoldó","oss-aion-coverage-table.a194f815cb":"Megvalósítható, nem megvalósítható vagy optimális","oss-aion-coverage-table.7ec93e2d31":"Bizonyíték, modell, mag, tanú vagy korlát","oss-aion-coverage-table.651e0f73b2":"Családspecifikus megoldóellenőr","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Következtetés a deklarált korlátokból","oss-aion-coverage-table.9ac60dc1a8":"Korlátlevezetés és visszaküldött megoldóbizonyítékok","oss-aion-coverage-table.d5ef792d46":"Loom érvelésellenőr","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Befejezett irányított művelet","oss-aion-coverage-table.70d43be1ea":"Jogosultság, szabályzat, jóváhagyások, átmenetek és bizonylatok","oss-aion-coverage-table.5372a8e90f":"Nexus szervezeti ellenőr","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Lefordított összetevő","oss-aion-coverage-table.1f3e5d7c89":"Forrásgráf, átalakítások, invariánsok és összetevő-azonosság","oss-aion-coverage-table.86ca1bd031":"Kera fordítási ellenőr","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Végrehajtott munkaterhelés","oss-aion-coverage-table.24f1ac9e33":"Modul, bemenetek, jogosultsági engedélyek, átmenetek, korlátok és kimenet","oss-aion-coverage-table.0f9ea21c74":"Selvedge végrehajtási ellenőr","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Szimulált pálya","oss-aion-coverage-table.ef85239d10":"Modellazonosság, paraméterek, állapot, ellenőrzőpontok, invariánsok és pálya hash","oss-aion-coverage-table.c5b7fe3198":"Szimulációs és FMI ellenőr","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Befejezett FMU futtatás","oss-aion-coverage-table.8f5753fba0":"FMU azonosság, konfiguráció, lépések, események, konvergencia és nyomkövetés","oss-aion-coverage-table.4d64b5bbaf":"Szimulációs és FMI ellenőr","oss-aion-coverage-table.7d1ab3c6e0":"Bizonyíték:","oss-aion-coverage-table.4e5bc7d129":"Ellenőr:","oss-aion-days-left.545fa01eea":"és ezt az utolsó nap előtt is kimondja","oss-aion-days-left.eaa861cef8":"ugyanaz a szabály, négyszer elolvasva","oss-aion-days-left.2017bddab0":"Bármelyik napon kérdezel, ugyanaz a szabály végzi a számítást. A negyedik olvasásról\n          semmi sem hangosabb, csak kisebb.","oss-aion-days-left.81b20537a7":"hátralévő hely, napokban","oss-aion-days-left.0526dbf682":"AZ ÓRA","oss-aion-days-left.2f29339cb6":"ugyanaz az óra, négy nappal később","oss-aion-days-left.47a76d1261":"Egy kérés, négy olvasás","oss-aion-days-left.9dd1fe0fd2":"30-ból 26","oss-aion-days-left.f4c6daac2a":"26. nap","oss-aion-days-left.62f21454ca":"30-ból 22","oss-aion-days-left.4ad399ed8a":"22. nap","oss-aion-days-left.ae5a29afae":"30-ból 16","oss-aion-days-left.195b05cbbd":"16. nap","oss-aion-days-left.d31b7d0f91":"30-ból 8","oss-aion-days-left.185b76515a":"8. nap","oss-aion-days-left.2dd2bed725":"ma","oss-aion-dispute-parts.65edc28a9d":"a panel és a döntés a saját folyamatodhoz tartozik, és az artefaktum nem mozdul el","oss-aion-dispute-parts.e56cf65ada":"és nem a bíróság","oss-aion-dispute-parts.37f322f735":"ez szolgáltatja a bizonyítékot,","oss-aion-dispute-parts.7b7570d892":"a döntés","oss-aion-dispute-parts.52e3685580":"az ablak","oss-aion-dispute-parts.7de929b394":"a panel","oss-aion-dispute-parts.2eba0fb6ad":"amit a saját folyamatod birtokol","oss-aion-dispute-parts.ea4031d789":"melyik ellenőrző, melyik verzió","oss-aion-dispute-parts.93be71a61d":"a szerződés","oss-aion-dispute-parts.48b63234e3":"megnevezve, nem összefoglalva","oss-aion-dispute-parts.cced6746e2":"a hibapont","oss-aion-dispute-parts.2c9e8d06dd":"bárki által reprodukálható","oss-aion-dispute-parts.2e02032e1d":"az ellenőrzés","oss-aion-dispute-parts.804e9af218":"előállító és aláírás érintetlen","oss-aion-dispute-parts.69506051d5":"elfogadottként megőrizve","oss-aion-dispute-parts.6b578cc32e":"a tanúsítvány","oss-aion-dispute-parts.21df0b2530":"Mit ad hozzá az AION","oss-aion-dispute-parts.4029dc5f44":"Megőrzi a\n            tanúsítványt úgy, ahogy elfogadták. Megőrzi a hozzárendelést, így az, hogy ki állította elő az eredményt,\n            túléli a vállalkozóváltást. Igény szerint reprodukálja az ellenőrzést, bárki által,\n            az előállító nélkül. Azonosítja a hiba pontos pontját, ahelyett hogy ítéletet adna.\n            És megmutatja, melyik ellenőrző fogadta el az eredményt, és melyik szerződésváltozat\n            alapján. A panel, az ablak és a döntés ahhoz a folyamathoz tartozik, amelyet a\n            szervezeted már futtat. Az AION szolgáltatja az artefaktumot, amelyről ez a folyamat vitatkozik.","oss-aion-dispute-parts.434ae4f1d6":"Az AION szerepe ebben a helyzetben szűk, és ez a hasznos része.","oss-aion-dispute-parts.3eb5567b60":"Az a munka, amelyet az egyik fél állított elő, és amelyre a másik fél támaszkodik, végül vitát\n            szül arról, hogy jó volt-e. Amit eldönti, szinte soha nem az érvelés erőssége. Hanem az,\n            hogy létezik-e olyan artefaktum, amelyet mindkét fél megvizsgálhat, és amelyet egyik fél\n            sem módosíthat, és a legtöbb vitában azokat a feljegyzéseket, amelyek rendeznék a kérdést,\n            a két fél egyike birtokolja.","oss-aion-dispute-parts.2ccc6715e9":"Nem jobb érv.","oss-aion-dispute-parts.aa0d5ae0e6":"Egy vitához bizonyíték kell.","oss-aion-dispute-parts.b4b6237893":"Amikor valaki nem ért egyet","oss-aion-dispute-parts.eec3b038bd":"hozzárendelés","oss-aion-dispute-parts.100ec4462d":"bizonyíték","oss-aion-envelope-fields.cfc233d284":"a boríték soha nem az","oss-aion-envelope-fields.1c80a87a33":"a rakomány családspecifikus","oss-aion-envelope-fields.d85cb39036":"a család, amely a hitelesítőt eldönti","oss-aion-envelope-fields.a975c5af10":"Tanúsítvány típusa","oss-aion-envelope-fields.4282e3d696":"elnevezett, soha nem feltételezett","oss-aion-envelope-fields.0562f32dc5":"Függőségek","oss-aion-envelope-fields.ca2dc8737d":"melyik rendszer, melyik verzió","oss-aion-envelope-fields.7b7194967f":"Előállító","oss-aion-envelope-fields.f33f785291":"mi ellen készült, és melyik verzió","oss-aion-envelope-fields.404e7d3e00":"Bemenetek és szerződés","oss-aion-envelope-fields.93a29173f5":"azonosító, és egy rakomány vagy annak hash-e","oss-aion-envelope-fields.dc4e08a408":"Követelés","oss-aion-envelope-fields.78e789d605":"SZERZŐDÉS","oss-aion-envelope-fields.d12a9ca770":"a rakományon kívül, minden család","oss-aion-envelope-fields.f18dee6041":"A boríték","oss-aion-envelope-fields.f07e5a8156":"rakomány","oss-aion-evidence.cbf668da60":"Naplófájlok","oss-aion-evidence.28e06c789a":"A napló azt mutatja, hogy a rendszer futott. Nem mutatja, hogy miért született a válasz, és a napló csendben módosítható.","oss-aion-evidence.c637aebe3a":"Átlátszatlan","oss-aion-evidence.5c3fc92e3f":"Megbízhatósági pontszám","oss-aion-evidence.fd3c76543b":"Egy szám, amely egy belső állapotot foglal össze. Két rendszer ugyanazt a pontszámot mutathatja, és ellentétes következtetésre juthat ugyanazon a bemeneten.","oss-aion-evidence.16f3dacf52":"Nincs levezetés","oss-aion-evidence.7f34e37f1b":"Önállóan generált magyarázat","oss-aion-evidence.361b70a63e":"Ugyanaz a modell írta, amelyik a döntést hozta. Saját magát osztályozza, ezért nem szolgálhat független bizonyítékként.","oss-aion-evidence.782acc59ce":"Körkörös","oss-aion-evidence.477416bf24":"Bízzon a szállítóban","oss-aion-evidence.1e84c62138":"Amikor egy szabályozó, egy beteg vagy egy bíróság azt kérdezi: \"mutasd a munkádat\", egy szolgáltatási szintű ígéret nem olyan válasz, amelyet ellenőrizhetnek.","oss-aion-evidence.76afe0e09f":"Ellenőrizhetetlen","oss-aion-evidence.06f2d5f1a8":"Tanúsítvány, nem állítás","oss-aion-evidence.cdcc6f712c":"Az AION a válasz mellett egy igazolási tanúsítványt bocsát ki. A tanúsítvány felsorolja az összes érvelési lépést a végrehajtás sorrendjében.","oss-aion-evidence.6d1c5f470b":"Más által ellenőrzött","oss-aion-evidence.cc65178dc5":"Egy külön ellenőr végigmegy a lépéseken, és vagy elfogadja, vagy elutasítja azokat. A kérdést feltevő fél maga futtatja le.","oss-aion-evidence.412a3b1e5e":"Később újra futtatható","oss-aion-evidence.9082c552d2":"Ugyanaz a tanúsítvány ugyanúgy ellenőrizhető jövő hónapban, egy másik gépen, az eredeti rendszerhez való hozzáférés nélkül.","oss-aion-evidence.1206578b48":"mutasd a munkádat","oss-aion-evidence.494beafd71":"az audit kérdése","oss-aion-evidence.bba8b0753d":"bizonyíték kontra állítás","oss-aion-evidence.00e2ca4c85":"Amikor egy MI-döntés eljut egy szabályozóhoz, egy beteghez vagy egy biztonsági esethez, valaki megkérdezi","oss-aion-evidence.1defdb9d85":"hogyan jutott el ehhez a válaszhoz.","oss-aion-evidence.290a698043":"A legtöbb szervezet nem tud olyan választ adni,\n          amelyet a kérdező maga ellenőrizhet.","oss-aion-evidence.56f6624482":"Nem bizonyíték","oss-aion-evidence.a295517f40":"Amit ma kínálnak","oss-aion-evidence.7ea014de7b":"Bizonyíték","oss-aion-evidence.4cb1cd3e53":"Amit az AION átad","oss-aion-evidence.2a36a263da":"A bizonyítékot nem állítják, hanem ellenőrzik.","oss-aion-evidence.e0a4c0a385":"A független ellenőrzés az egyetlen válasz, amelyet egy auditor elfogadhat.","oss-aion-exact-sum.21aaad8129":"a negatív szorzót már az első ellenőrzésnél elutasítjuk, még az összegzés előtt","oss-aion-exact-sum.3b267c2a81":"nincs belső lebegőpontos számítás ebben a láncban","oss-aion-exact-sum.1a43ebe28c":"tehát a rendszer megcáfolódik","oss-aion-exact-sum.452308dbcd":"állandó marad","oss-aion-exact-sum.35add33a7a":"ami megmarad","oss-aion-exact-sum.df326a819b":"a y tagok kiesnek","oss-aion-exact-sum.dae482d4b2":"az x tagok kiesnek","oss-aion-exact-sum.c36d183406":"adjuk össze a skálázott egyenlőtlenségeket","oss-aion-exact-sum.79e4c9d3fa":"skálázzuk","oss-aion-exact-sum.c3c4b24b20":"a két egyenlőtlenség, minden az egyik oldalon","oss-aion-exact-sum.b6b4c73115":"Az összeg, teljes egészében","oss-aion-exact-sum.c1c66bf52c":"A feltételeket sorrendben ellenőrizzük, és mindegyik önmagában elutasítás. A negatív szorzót már az összegzés előtt elutasítjuk, mert a negatív számmal való skálázás megfordítja az egyenlőtlenséget. Az olyan összeget, amelyben változós tag marad, elutasítjuk, és megnevezzük a megmaradt tagot. Az olyan összeget, amelynek megmaradt konstansa nem pozitív, elutasítjuk, mert nem bizonyít semmit. A nagyságkorlát feletti együttható túlcsordulást okoz, nem pedig átfordulást. Ebben a láncban semmi sem tűrés.","oss-aion-exact-sum.6efbacfc5b":"A számtani cáfolat szorzók halmaza. Írjuk fel mindegyik egyenlőtlenséget úgy, hogy minden az előjel egyik oldalán legyen, skálázzuk, adjuk össze a skálázott egyenlőtlenségeket, és ha minden változós tag kiesik, és ami megmarad, az egy pozitív szám, amelyről azt mondják, hogy legfeljebb nulla, az nem állhat fenn, tehát az a rendszer sem állhat fenn, amelyből származik. Az AION ezeket a szorzókat a határon fogadja el, és ellenőrzés előtt deklarált adaptív egész/fixpontos reprezentációvá alakítja. Belsőleg nem tárol, nem halmoz fel és nem számol lebegőpontos értékeket, és nincs lebegőpontos tartalék. A tört itt azért marad kiírva, mert olvashatóvá teszi az ellentmondást; az ellenőrzést a deklarált konverzió és skála szabályozza.","oss-aion-exact-sum.31934abfaa":"A konverziója deklarálja a skálát.","oss-aion-exact-sum.a3caf489e5":"A harmad nem 0,333.","oss-aion-exact-sum.15e6a906dd":"Deklarált adaptív fixpontos aritmetika","oss-aion-exact-sum.108a35964a":"az összeg szerint 11/6 <= 0, ami hamis,","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":"igen","oss-aion-exact-sum.c4c6c57253":"pozitív","oss-aion-exact-sum.b55e22fe78":"pontos","oss-aion-exec-cert.6a230011ab":"valami más ellenőrzi","oss-aion-exec-cert.2c14724b1b":"a futásidő állította elő","oss-aion-exec-cert.b07722ef0c":"a korlát","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"modul a kimenethez","oss-aion-exec-cert.a7b63abc02":"Mit tartalmaz a tanúsítvány","oss-aion-exec-cert.e1bbfaa783":"A kimenet azonossága, és hogy csapdába esett-e.","oss-aion-exec-cert.59871c9494":"Kimenet és állapot","oss-aion-exec-cert.ffb779a5c3":"A korlátok, amelyek között futott, korlátként, nem megfigyelésként.","oss-aion-exec-cert.ffbc724f07":"Erőforrás-keret","oss-aion-exec-cert.273c1da325":"Determinisztikus, a modul, a bemenetek és az engedélyek függvényében.","oss-aion-exec-cert.acee491c99":"Állapotátmenetek","oss-aion-exec-cert.eab885bbb2":"Amit elérhetett, a futás előtt deklarálva.","oss-aion-exec-cert.dc009dc166":"Képesség-engedélyek","oss-aion-exec-cert.6f3eb29822":"Melyik modul, tartalomcím alapján, melyik futásidő-verzióval.","oss-aion-exec-cert.c201b4ae89":"Modulazonosság","oss-aion-executed-under.6b6dab207c":"Amit az igazolvány engedélyez","oss-aion-executed-under.1fcfedc78a":"amit elérhetne","oss-aion-executed-under.0338c5441d":"Az utólagos kérdés a felhatalmazás, és az igazolvány ezt hordozza.","oss-aion-executed-under.bc70ed4db9":"Négy jogosultság megadva, három megtagadva.","oss-aion-executed-under.6f9d76b8c0":"Az átmenetek determinisztikusak a modul, a bemenetek és a jogosultságok függvényében, így mindez\n            a munkaterhelés futtatása nélkül követhető volt.","oss-aion-executed-under.e044b5f419":"Az igazolvány által deklarált identitás nem azonos az átmenetek által létrehozott identitással, így a\n            futtatás a kimenetnél elutasításra kerül. Minden előtte pontosan rekonstruálódott.","oss-aion-executed-under.7f0cc64ae8":"determinisztikus átmenetek","oss-aion-executed-under.5fa4050afc":"képességkészlet, a futtatás előtt deklarálva","oss-aion-executed-under.844e9ed357":"óra, megfigyelés nincs beállítva","oss-aion-executed-under.b3ccbb4041":"memóriafelső határ 512 MiB","oss-aion-executed-under.1fe892a96f":"egy foglalat, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"/var/lib/claims olvasása","oss-aion-executed-under.7a02a68db0":"nincs birtokban","oss-aion-executed-under.685706abcf":"a kimeneti identitás eltér","oss-aion-executed-under.6287ff317a":"létrehozott","oss-aion-executed-under.0baff051a0":"deklarált","oss-aion-executed-under.1029d67644":"kimenet","oss-aion-executed-under.fbd34a2b6e":"modul","oss-aion-executed-under.910e029098":"szemléltető","oss-aion-executed-under.df6fe4f714":"a futtatáson túli megmaradás képessége","oss-aion-executed-under.b51590997b":"minden más cím","oss-aion-executed-under.e4e545e3b7":"minden más a fájlrendszeren","oss-aion-fact-strip.0dc9622797":"Minden ábra az AION adattárból származik.","oss-aion-fact-strip.b7feece146":"Az AION számokban","oss-aion-fact-strip.fedec331ff":"Könyvtár, CLI és benchmark egy munkaterületen","oss-aion-fact-strip.13a24daf03":"Implementáció","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Bináris, egész és adaptív fixpontos; nincs belső lebegőpontos","oss-aion-fact-strip.5688a0448c":"Aritmetikai mag","oss-aion-fact-strip.0cae74747c":"Pontos","oss-aion-fact-strip.379c055f01":"Lineáris a bizonyítás hosszában, offline, megoldó nélkül","oss-aion-fact-strip.04ce84fb6e":"Ellenőrzési költség","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe és egységes köztes forma","oss-aion-fact-strip.e6c67de15e":"Bizonyításformátumok","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Logikai elméletek","oss-aion-failure-notice.d8164c5dd8":"megállapítás, nem vita","oss-aion-failure-notice.159098bbba":"A másik olyan vitát indít, amit senki nem tud lezárni.","oss-aion-failure-notice.814fc5cd4f":"Ezek egyike elküldhető egy beszállítónak egy keddi délutánon.","oss-aion-failure-notice.2e6ea3eaa5":"nem rendelhető hozzá, nem árazható, nem vitatható pontosan","oss-aion-failure-notice.e896d6344f":"ellenőrzés sikertelen","oss-aion-failure-notice.587270a2e4":"hová kerül az egyes mezők","oss-aion-failure-notice.ba0f0eb3fe":"a premissza nem szerepel","oss-aion-failure-notice.0c2a7f4aef":"415. lépés","oss-aion-failure-notice.55daa4a2ea":"az utolsó négy lépés így olvasható","oss-aion-failure-notice.ca548ed152":"2026. március 17.","oss-aion-failure-notice.3c05b129e2":"nem született ítélet","oss-aion-failure-notice.aa943932a5":"elutasítási értesítés","oss-aion-failure-notice.28fb3d519e":"rekonstruált","oss-aion-failure-notice.bd370d1b6f":"lépés","oss-aion-failure-notice.910e029098":"szemléltető","oss-aion-failure-notice.e6b658331e":"és senki sincs megvádolva","oss-aion-failure-notice.94002635cd":"Ön, ha ez egy hatókör-meghatározó kérdés","oss-aion-failure-notice.7ab178c9a0":"a fajta","oss-aion-failure-notice.0d967ff8f3":"szolgáltatja a hiányzó premisszát","oss-aion-failure-notice.b54c9b7359":"aki a lépést létrehozta","oss-aion-failure-notice.94a94ba774":"az ok","oss-aion-failure-notice.ba3167e426":"megerősíti, mit kell tennie ennek a lépésnek","oss-aion-failure-notice.32ec97b69b":"a szabálykészlet tulajdonosa","oss-aion-failure-notice.b543dc38fd":"a szabály","oss-aion-failure-notice.ad866c4aef":"megnyitja a fájlt a 415. lépésnél","oss-aion-failure-notice.06fddd86f6":"a beszállítói bizonyítási csapat","oss-aion-failure-notice.aecf66bfac":"a hely","oss-aion-failure-notice.1d7794c5e2":"ehhez a bizonyításhoz nem született ítélet","oss-aion-failure-notice.f4475dac73":"következmény","oss-aion-failure-notice.566c7d73a0":"a lépés olyan premisszára hivatkozik, amely nem szerepel a fájlban","oss-aion-failure-notice.7947e92e3c":"ok","oss-aion-failure-notice.5dfa011717":"szabály, feloldás","oss-aion-failure-notice.64463af8a3":"414 elfogadva","oss-aion-failure-notice.c21ce4fb88":"lépések olvasása","oss-aion-failure-notice.2bf60a2164":"a márciusi szabálykészlet beszállítói konfliktuselemzése","oss-aion-failure-notice.335ce16b3f":"tárgy","oss-aion-family-board.ca8f6715c8":"külön verziózva","oss-aion-family-board.e794ff76c1":"vázlat, amely ellenőrzőre vár","oss-aion-family-board.0f2e82af82":"Kilenc család osztozik egy borítékon, és semmi máson. A tizedik","oss-aion-family-board.ca6c6dda8e":"ellenőrző, és deklarált szabálykészlet","oss-aion-family-board.c53186083e":"a tizedik","oss-aion-family-board.0020359543":"érvénytelen átmenet, túllépett támogatás, eltérő kimenet,\n              hiányos nyomkövetés","oss-aion-family-board.187225126d":"elutasítási taxonómia","oss-aion-family-board.fac6c7230f":"játssza vissza az átmeneteket a deklarált\n              korlátok és szabálykészlet ellenében","oss-aion-family-board.155e6164fc":"ellenőrzési algoritmus","oss-aion-family-board.924f583920":"determinisztikus átmenetsorozat bemeneti és\n              kimeneti azonosítókkal","oss-aion-family-board.c0e6022509":"bizonyítási reprezentáció","oss-aion-family-board.927f6ddf1e":"ez a munkaterhelés ezen támogatások alatt futott, és elérte ezt a kimenetet","oss-aion-family-board.79bf5b0ee6":"állítás típusa","oss-aion-family-board.131097a25c":"Futásidejű végrehajtás, v2","oss-aion-family-board.50b24e4d4c":"egy lemez, kinyitva","oss-aion-family-board.803aa98470":"hogy a tárolt rekord az, amelyet elfogadtak","oss-aion-family-board.3e71ceb1ca":"Tárolási integritás","oss-aion-family-board.f8603f4710":"hogy a deklarált modell hozta létre ezt a futást","oss-aion-family-board.ccc3c9b41d":"Szimuláció és FMI","oss-aion-family-board.d0c6b470a4":"hogy a kapott támogatások keretein belül futott","oss-aion-family-board.dc37599f99":"Futásidejű végrehajtás","oss-aion-family-board.4f059da0be":"hogy az artefaktum megőrzi a forrást","oss-aion-family-board.aad755de42":"Fordítás","oss-aion-family-board.69ce9b9c4f":"hogy a szabályozott művelet megtörtént","oss-aion-family-board.ed87ca5ca0":"Szervezeti","oss-aion-family-board.0dbf90d179":"hogy a deklarált levezetés rekonstruálja","oss-aion-family-board.e272c597fd":"Következtetés","oss-aion-family-board.e79949ba43":"hogy egy tulajdonság futásokon át fennáll, nem csak egyben","oss-aion-family-board.bdb5a28846":"Időbeli és hiper-tulajdonság","oss-aion-family-board.b83c805a0a":"hogy a korlátokon belül nem létezik jobb","oss-aion-family-board.c794704381":"Optimalizálás","oss-aion-family-board.ede1ae7e54":"hogy egyetlen hozzárendelés sem elégíti ki a halmazt","oss-aion-family-board.a04ce90d06":"Logika és kielégíthetőség","oss-aion-family-board.b98b54298f":"kilenc regisztrált, egy vázlat","oss-aion-family-board.6253e9d668":"A családi tábla","oss-aion-family-board.910e029098":"szemléltető","oss-aion-family-registry.6e32650bab":"és egy verzió mindegyiken","oss-aion-family-registry.dcd1f1fdc9":"négy deklaráció családonként","oss-aion-family-registry.3bc3fe987d":"A hibák, amelyeket ez a család visszaadhat, mindegyikhez tartozó helyszínnel.","oss-aion-family-registry.d129426d71":"Elutasítási taxonómia","oss-aion-family-registry.d4504f5b41":"Amit a verifikátor futtat, és a szabálykészlet, amelyet elfogad.","oss-aion-family-registry.52ab770040":"Verifikációs algoritmus","oss-aion-family-registry.4c9dd89c88":"Hogyan kerül továbbításra a tanú, a levezetés vagy a nyom.","oss-aion-family-registry.016fecd943":"Bizonyítási reprezentáció","oss-aion-family-registry.ab1e33179a":"Amit ez a család megállapít, és amit szándékosan nem.","oss-aion-family-registry.8a547220fc":"Követelés típusa","oss-aion-family-registry.37094b3cc5":"mielőtt ellenőrizhető lenne","oss-aion-family-registry.b14e18379b":"REGISZTRÁCIÓ","oss-aion-family-registry.b3e4281358":"Amit egy család deklarál","oss-aion-family-registry.7efea8ff96":"hiányos","oss-aion-family-registry.995fee1f1a":"nem támogatott","oss-aion-family-registry.81f344a768":"érvénytelen","oss-aion-foreign-proof.4c43cb0de1":"nincs licenc, nincs környezet","oss-aion-foreign-proof.9406c96fa7":"négy vékony vonal közöttük","oss-aion-foreign-proof.9fefe2d67f":"Négyféle munka az egyik oldalon, négy olvasható objektum a másikon, és","oss-aion-foreign-proof.57802c0b4e":"Az ellenőrző soha nem futtatta a bal oldalt, és nem is kell neki.","oss-aion-foreign-proof.1dfc94b110":"egy nyugta","oss-aion-foreign-proof.cff5f15fed":"két átmenet","oss-aion-foreign-proof.d58f13fb52":"jogosultság-ellenőrzés","oss-aion-foreign-proof.24ef006723":"jogosultság és nyugták","oss-aion-foreign-proof.933912faec":"ágensek, koordinálás","oss-aion-foreign-proof.2ae1de46da":"az állapot a deklarált burkon belül marad","oss-aion-foreign-proof.ed96565674":"ellenőrzőpontok és egy invariáns","oss-aion-foreign-proof.0ae689c7bd":"integrációs lépések","oss-aion-foreign-proof.f9020659b6":"kernel-választás","oss-aion-foreign-proof.3e77a07952":"megőrzési állítások","oss-aion-foreign-proof.2bb64b9b5b":"optimalizálási menetek","oss-aion-foreign-proof.c8b39aa910":"klauzula-levezetés","oss-aion-foreign-proof.4da89bbc52":"megoldó-keresés","oss-aion-foreign-proof.51339ff0ea":"a bizonyíték, a te gépeden","oss-aion-foreign-proof.4f45bf808d":"a munka, a gyártónál","oss-aion-foreign-proof.c369931988":"négy sor, semmi más","oss-aion-foreign-proof.ec0b7e2c43":"Ami átlépi a határt","oss-aion-foreign-proof.44d74dd33f":"alakzatok","oss-aion-foreign-proof.e7b1fff700":"típusok","oss-aion-foreign-proof.910e029098":"szemléltető","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"Az LRAT és az Alethe offline, lineáris időben ellenőriz. A DRAT ellenőrzése után LRAT-ra vágják.\n            Az Unified veszteségmentesen konvertál közöttük.","oss-aion-formats.14a628e6d3":"Ellenőrizte:","oss-aion-formats.dda6ac27b9":"Ellenőrzés","oss-aion-formats.34556fa12c":"Formátumkártya","oss-aion-formats.e6c67de15e":"Bizonyítási formátumok","oss-aion-formats.8a5e29e5bb":"veszteségmentes konverzió","oss-aion-formats.ddb7c01560":"egy forrás, négy alak","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# egységes köztes bizonyítás","oss-aion-formats.0d3311a5dc":"aion-proofs konverter","oss-aion-formats.1f5124d90b":"Exportáláskor konvertálva","oss-aion-formats.8c21b7e1f1":"A belső reprezentáció, amely veszteségmentesen konvertál a többi között.","oss-aion-formats.ebb8e8cf49":"Köztes forma","oss-aion-formats.287fda8114":"Unified","oss-aion-formats.6d56822b09":"(h1 h2))","oss-aion-formats.87d27a2d97":"t3 (cl Q) ","oss-aion-formats.6d3a4ab6e5":"(=> P Q))","oss-aion-formats.ec18650019":"cvc5, Carcara","oss-aion-formats.0cdb7c9a36":"Lineáris idő, offline","oss-aion-formats.f6f7b642b0":"Az SMT-LIB közösségi formátuma a cvc5 és a veriT vonalból.","oss-aion-formats.4aa5db37af":"SMT-bizonyítás","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat add és delete sorok","oss-aion-formats.f3ba7f38e9":"drat-trim LRAT-ra","oss-aion-formats.36f33c83a6":"Ellenőrizve, majd levágva","oss-aion-formats.4745aebc97":"Klauzális hozzáadás és törlés. A formátumellenőrzők LRAT-ra vágják.","oss-aion-formats.154df3dc2f":"SAT-tanúsítvány","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" üres klóz levezetve","oss-aion-formats.6fd630d612":" lrat egységpropagációs tippekkel","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Ipari szabványú rezolúciós bizonyítások a propozicionális maghoz.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"egy fájl, amely soha nem záródik be","oss-aion-four-gates.0ff8f0eb5a":"és még egy a végén","oss-aion-four-gates.a1ebd8379f":"az 1. lépés előtt","oss-aion-four-gates.b161dbb47d":"A fájl először ismétlődő lépésszámra kerül ellenőrzésre.","oss-aion-four-gates.21e412d2d0":"Két lépés, egy szám","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"és egy mindegyik előtt","oss-aion-four-gates.e74bdcd46a":"Négy teszt, ebben a sorrendben","oss-aion-four-gates.fef891bb33":"15. lépés","oss-aion-four-gates.cc90eb3e73":"Nincs rutin a névhez. Az olvasás megáll, nem ugrik át.","oss-aion-four-gates.787e8a8577":"Ismeretlen szabály","oss-aion-four-gates.e70c55582f":"52. lépés","oss-aion-four-gates.59446cbcf9":"Egy előfeltétel, amely jelen van, de a rá hivatkozó lépésnél magasabb számozással.","oss-aion-four-gates.f1604fe1aa":"Sorrenden kívüli hivatkozás","oss-aion-four-gates.a42f56e597":"44. lépés","oss-aion-four-gates.371b9613cc":"Egy hivatkozott szám, amely sehol nincs a fájlban.","oss-aion-four-gates.1d1369a316":"Hiányzó előfeltétel","oss-aion-four-gates.e1391a7c80":"31. lépés","oss-aion-four-gates.9a7512e955":"Egy lépés, amely saját következtetésén áll. Először kérdezik, minden lépésnél.","oss-aion-four-gates.7f30dfcc04":"Önmagára hivatkozik","oss-aion-governed-operation.b0582e8559":"Egy művelet, ellenőrizve","oss-aion-governed-operation.8af7f1d469":"szabályozva, majd ellenőrizve","oss-aion-governed-operation.ada470c3d7":"Egy lánc és annak ellenőrzése két különböző hatóság.","oss-aion-governed-operation.90fba649e4":"Négy elem rekonstruálva, az ötödik pedig leállítja az olvasást.","oss-aion-governed-operation.ea8356461f":"nem szerepel ebben a tanúsítványban: mit gondolt bármelyik ügynök","oss-aion-governed-operation.2f68c232b4":"A tanúsítvány által deklarált szabályzatverzió nem tartalmazza azt a feltételt, amelyet ez a kapu\n                állítólag alkalmazott. A művelet elutasítva ezen az elemen, és az egészre nézve nem adnak ki\n                ítéletet.","oss-aion-governed-operation.be51277bfd":"nem érték el","oss-aion-governed-operation.57b160e317":"az ellenőrző átengedése, saját hatáskörében","oss-aion-governed-operation.26f017e3e6":"elfogadva, hivatkozás 4471-b","oss-aion-governed-operation.34c3c00446":"nyugta rögzítve","oss-aion-governed-operation.159338740e":"fizetési utasítás, főkönyvi rendszer","oss-aion-governed-operation.80f6148b56":"művelet végrehajtva","oss-aion-governed-operation.458c8c203d":"a művelethez, nem egy mellette lévő üzenethez","oss-aion-governed-operation.1b4dcda6ba":"jóváhagyás csatolva","oss-aion-governed-operation.303418bf06":"több mint 50 000 második jóváhagyót igényel","oss-aion-governed-operation.faf1f5eb4b":"szabályzatkapu","oss-aion-governed-operation.557df801be":"feladatátmenetek","oss-aion-governed-operation.b1c842256e":"kárigénykezelő","oss-aion-governed-operation.59bef6c3e5":"hatóság feloldva","oss-aion-governed-operation.0639a9efd0":"négy ügynök, egyenlőtlen hatókör","oss-aion-governed-operation.8e44be8724":"szervezet létrehozva","oss-aion-governed-operation.139146ad26":"szabályzat v4.2","oss-aion-governed-operation.8524f08438":"rendezze a negyedév szállítói igényeit","oss-aion-governed-operation.cab7375bdf":"a művelet, ahogyan a Nexus végrehajtotta","oss-aion-governed-operation.82c8154dca":"elutasítva a kapunál","oss-aion-governed-operation.a503bc1da2":"elutasítva","oss-aion-governed-operation.28fb3d519e":"rekonstruálva","oss-aion-governed-operation.45807bf2ec":"rendezve","oss-aion-governed-operation.fb92f3f834":"értékelve","oss-aion-governed-operation.590abaace4":"megnyitva","oss-aion-governed-operation.d2dc873868":"objektív","oss-aion-governed-operation.910e029098":"szemléltető","oss-aion-harness-fields.d5ad303466":"és egy szám, amit idézhet","oss-aion-harness-fields.5a31ca3c0f":"a saját korpuszod, a saját hardvered","oss-aion-harness-fields.58664673b0":"A teljes korpuszra kinyomtatva a futás végén.","oss-aion-harness-fields.6197b910db":"Helyes szám","oss-aion-harness-fields.175226a475":"A fájlban rögzített állapothoz képest.","oss-aion-harness-fields.d787e678da":"Válasz az állapot alapján","oss-aion-harness-fields.b5ec587356":"Maga a keresés, példányonként, nem átlagolva.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Megoldási idő","oss-aion-harness-fields.bec737ff93":"Mennyi ideig tartott a fájl beolvasása, elkülönítve a megoldástól.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Elemzési idő","oss-aion-harness-fields.20e5752f58":"A csúcsérték, így a kapacitástervezésnek van egy száma.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Csúcs rezidens memória","oss-aion-harness-fields.b660370132":"egy fájl a korpuszodból","oss-aion-harness-fields.ec845d015d":"példányonként, majd összesítve","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Mit rögzít egy futás","oss-aion-harness-fields.b3cbdd75cb":"megcáfolva","oss-aion-harness-fields.48a3661d84":"állapot","oss-aion-harness-fields.25dc282b5a":"válasz","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Megoldás...","oss-aion-hero-glyph.3d08723a54":"Eredmény: SAT","oss-aion-hero-glyph.9e1279af1f":"Modell:","oss-aion-hero-glyph.45dcf6e46f":"  x = 1","oss-aion-hero-glyph.81ef4e711c":"  y = 3","oss-aion-hero-glyph.70f4daaa7f":"Idő: 4ms","oss-aion-hero-glyph.138243f0f4":"Eredmény: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Bizonyítás: 128 lépés","oss-aion-hero-glyph.41294a8dc8":"Bizonyítás írva ide: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Bizonyítás ellenőrzése: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Elemzés: OK","oss-aion-hero-glyph.27d28e3ca9":"A bizonyítás 128 lépésből áll","oss-aion-hero-glyph.1ba94dea63":"Bizonyítási statisztikák:","oss-aion-hero-glyph.e1b3c4d7c5":"  Összes lépés: 128","oss-aion-hero-glyph.e30b86fef9":"  Rezolúciós lépések: 71","oss-aion-hero-glyph.8215376faf":"  Aritmetikai lépések: 24","oss-aion-hero-glyph.552f29f0b5":"  Maximális klózméret: 6","oss-aion-hero-glyph.fc539fcf62":"Bizonyítás ellenőrzése: SIKERES","oss-aion-hero-glyph.1e4bdfb80c":"Ellenőrzési idő: 2ms","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 + elmélet","oss-aion-hero-glyph.6ba46a924e":"adaptív fixpont","oss-aion-hero-glyph.a9f24b1b66":"lineáris idejű ellenőrzés","oss-aion-hero-glyph.6b5eb5323e":"Tanúsítvány csatolva","oss-aion-how-to-check.c799cc998b":"Eredmény: ez így helyes.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"Az első gép átadja a nyugtáját egy külön segítőnek, amely ellenőrzi azt","oss-aion-how-to-check.d026bcfccb":"Az eredmény egyértelmű: a nyugta vagy összejön, vagy nem. Nincs talán.","oss-aion-how-to-check.d0c84a5a37":"Az ellenőrzés ott történik, ahol éppen vagy. Semmit nem küldenek el, és nincs szükség weboldalra.","oss-aion-how-to-check.623151a710":"Az ellenőrző segítő nem az a gép, amelyik válaszolt. Nem érthet egyet egyszerűen önmagával.","oss-aion-how-to-check.87e974a415":"elolvassa és ellenőrzi","oss-aion-how-to-check.3c487e646c":"Egy második segítő","oss-aion-how-to-check.78829f8a37":"a lépések, leírva","oss-aion-how-to-check.9b7b265fbb":"A nyugta","oss-aion-how-to-check.f58fd2cb80":"választ és nyugtát ad","oss-aion-how-to-check.50e90303d4":"Az első gép","oss-aion-integration.b1873dbd42":"Egyetlen motor, nincs külső szolgáltatás. Kapcsold össze a crate-et, rögzíts egy verziót, és ellenőrizd a tanúsítványokat ugyanabban a környezetben.","oss-aion-integration.5f2e7d7c25":"Ugyanaz a bizonyítási tanúsítvány minden felületről. Egy lekérdezés be, egy ellenőrizhető tanúsítvány ki.","oss-aion-integration.a4db3ae8b6":"Hogyan hívod","oss-aion-integration.4ec6d609ab":"Kezdd egy döntési úttal","oss-aion-integration.559461e293":"könyvtár, CLI, benchmark","oss-aion-integration.0228a4c724":"Bárki ellenőrizhet egy tanúsítványt az aion check paranccsal, vagy egy független LRAT vagy Alethe ellenőrzővel, a saját gépén.","oss-aion-integration.dda6ac27b9":"Ellenőrzés","oss-aion-integration.4d2c6036eb":"Tedd az aion-cli-t a saját szolgáltatásod mögé. A bizonyítási tanúsítvány az a szerződés, amit a szolgáltatás visszaad.","oss-aion-integration.c3447e7954":"Csomagolás","oss-aion-integration.f9109d0f04":"Add hozzá a crate-et egy meglévő Rust alkalmazáshoz, és bocsáss ki tanúsítványokat beágyazva a már előállított válaszokhoz.","oss-aion-integration.ad02e14e28":"Beágyazás","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Egy dedikált benchmark bináris érkezik a workspace-ben. Mérd meg a megoldást és az ellenőrzést a saját hardvereden, ne bízz egy gyártói számban.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Vezéreld az AION-t shellből vagy CI-feladatból. A solve lekérdezést futtat, a check offline ellenőrzi a bizonyítási tanúsítványt, a prove pedig előállít egyet. Ugyanaz a bizonyítási kimenet, mint a könyvtáré.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Kapcsold össze az AION-t crate-ként, és hívd közvetlenül a megoldót és a bizonyítási kibocsátót. A kernel, az elméletek és a bizonyítási formátumok mind a folyamatban vannak, nincs szolgáltatás, amit fel kell állítani.","oss-aion-integration.8319d9b3b9":"Rust könyvtár","oss-aion-live-margins.df15dfd304":"egyikük egy művelet","oss-aion-live-margins.96576608a5":"ezek közül három leolvasás","oss-aion-live-margins.5711ac01c1":"NYOMON KÖVETETT","oss-aion-live-margins.f719aa9511":"eltelt a megengedetthez képest","oss-aion-live-margins.a344938438":"Négy kötelezettség","oss-aion-live-margins.19e5ecc09e":"ugyanazon a napon, az eseményen","oss-aion-live-margins.828697f103":"Átviteli nyilvántartás","oss-aion-live-margins.222af170d9":"44 nap a 30-ból, még nyitva","oss-aion-live-margins.a441e09d1a":"Megőrzési időablak","oss-aion-live-margins.30e04c8f23":"2 nap a 3-ból","oss-aion-live-margins.20d6944505":"Adatvédelmi incidens bejelentése","oss-aion-live-margins.9b9419d2e2":"26 nap a 30-ból","oss-aion-live-margins.6e7d6c760b":"Érintetti válasz","oss-aion-nothing-outbound.45b9d8acdc":"nincs kimenő kliens","oss-aion-nothing-outbound.5b16b5db9a":"Minden út egy általad rajzolt vonalon belül kezdődik és végződik.","oss-aion-nothing-outbound.59a0768496":"Ezen a lapon semmi nem nyúlik túl a körvonalon.","oss-aion-nothing-outbound.71c31d8219":"helyi folyamat ezen a gépen","oss-aion-nothing-outbound.605f85e28f":"külső prover","oss-aion-nothing-outbound.150bc2359d":"egy alhálózat, amelyet te határozol meg","oss-aion-nothing-outbound.5193678a39":"fürtcímek","oss-aion-nothing-outbound.49c4e670b3":"a te hálózatod","oss-aion-nothing-outbound.273ca4c134":"amit konfigurálsz","oss-aion-nothing-outbound.7f8d7aeedb":"öt sor","oss-aion-nothing-outbound.bcec1ac359":"amit ez az út hozzáad a regiszteredhez","oss-aion-nothing-outbound.4553aa0c94":"a helyi tároló","oss-aion-nothing-outbound.93d65d8ef8":"az archívum","oss-aion-nothing-outbound.760cfc52ce":"az ellenőrző","oss-aion-nothing-outbound.6621d172f5":"az olvasott szabálykészlet","oss-aion-nothing-outbound.565f3cfc6a":"az ellenőrzött tanúsítvány","oss-aion-nothing-outbound.284f61c8db":"a te oldalad, a te hardvered","oss-aion-nothing-outbound.f368a04bb8":"egy határ, és az a tiéd","oss-aion-nothing-outbound.5c795b7e7d":"nem hagy el út","oss-aion-nothing-outbound.4f98b1412d":"Semmi nem hagyja el a kerületet","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"A kezedben lévő build nem változik alattad.","oss-aion-nothing-outbound.07b9a651d1":"Szállítói kiadási ütemterv nyomon követéséhez","oss-aion-nothing-outbound.8fa0bea3f8":"A mi szolgáltatásunk nincs az úton.","oss-aion-nothing-outbound.11449c8bd3":"Rendelkezésre állási függőség rögzítéséhez","oss-aion-nothing-outbound.66506ab77b":"Nem hívunk meg modellt.","oss-aion-nothing-outbound.af474ee96b":"Modellszolgáltató értékeléséhez","oss-aion-nothing-outbound.f2250926d2":"Semmi nem hagyja el a határt.","oss-aion-nothing-outbound.e80e5b3403":"Határokon átnyúló adattovábbítás indoklásához","oss-aion-nothing-outbound.0bd87fb406":"Nincs feldolgozó ezen az úton.","oss-aion-nothing-outbound.9494490634":"Feldolgozó hozzáadásához","oss-aion-obligation-calendar.366609b500":"margin, not alarm","oss-aion-obligation-calendar.3c8532b3c7":"The rule in the middle is where the cheap fix stopped being available.","oss-aion-obligation-calendar.949b1361f5":"Both figures are readings anybody can take this morning.","oss-aion-obligation-calendar.7758d9c282":"action required","oss-aion-obligation-calendar.4ebebe0b7c":"-14 days","oss-aion-obligation-calendar.6937bf485d":"started before this month","oss-aion-obligation-calendar.37ed878825":"retention window","oss-aion-obligation-calendar.3974c3ac47":"+4 days","oss-aion-obligation-calendar.aa69fdaab6":"opened, 30 days allowed","oss-aion-obligation-calendar.c6727ea40c":"subject response","oss-aion-obligation-calendar.51269d14af":"last day this was still an afternoon's work","oss-aion-obligation-calendar.96a8ebf797":"illustrative dates","oss-aion-obligation-calendar.fdcce3f37e":"one is past its date","oss-aion-obligation-calendar.11ddafb2cc":"One month of obligations","oss-aion-obligation-calendar.a2620cbc10":"day","oss-aion-one-contract-six.d3926ca64d":"egy nyilvántartás, egy érintett halmaz","oss-aion-one-contract-six.c4d72c2328":"Bizonyítékaik egyetlen AION borítékot követnek.","oss-aion-one-contract-six.a7e545052a":"A gyártói kimenetek elkülönültek maradnak.","oss-aion-one-contract-six.5cbf78425a":"egy szabály változik, ellenőrizze újra az érintett rekordokat","oss-aion-one-contract-six.f5c6772ad7":"egy újraellenőrzési sor","oss-aion-one-contract-six.d3516bd6ea":"egy nyilvántartási és tárolási rekord","oss-aion-one-contract-six.2ec012da6f":"egy AION boríték","oss-aion-one-contract-six.2c653cc8fa":"ugyanaz a hét gyártó, egy AION borítékon keresztül","oss-aion-one-contract-six.725c682066":"eltérő kimenetek, családspecifikus ellenőrzők","oss-aion-one-contract-six.cddf74f2cf":"hét gyártói kimenet","oss-aion-one-contract-six.f063fe5bcd":"hét kimenet fent, egy boríték lent","oss-aion-one-contract-six.c34e6d1a39":"hét gyártó, egy bizonyítékboríték","oss-aion-one-contract-six.910e029098":"szemléltető","oss-aion-one-contract-six.67bb73569c":"szimulációs tanúsítvány","oss-aion-one-contract-six.7966a9fa49":"fordítási tanúsítvány","oss-aion-one-contract-six.1111f590cc":"szervezeti tanúsítvány","oss-aion-one-contract-six.293194c28e":"következtetési tanúsítvány","oss-aion-one-contract-six.8aa194122c":"logikai bizonyítási rekord","oss-aion-one-contract-six.30870de828":"modellazonosság, paraméterek, állapot, ellenőrzőpontok, invariánsok és pálya hash","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"modul, bemenetek, jogosultságok, átmenetek, korlátok és kimenet","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"forrásgráf, transzformációk, invariánsok és artefaktumazonosság","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"hatóság, szabályzat, jóváhagyások, átmenetek és nyugták","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"megkötés-levezetés és visszaadott megoldó-bizonyítások","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"bizonyítás, modell, mag, tanú vagy korlát","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Megvalósítható, nem megvalósítható vagy optimális","oss-aion-one-contract-six.8f7924f6f5":"Családspecifikus megoldó-ellenőrző","oss-aion-one-contract-six.2e9d2d4990":"Következtetés deklarált korlátokból","oss-aion-one-contract-six.0e7a123b77":"Loom következtetés-ellenőrző","oss-aion-one-contract-six.3c1a0d119e":"Befejezett irányított művelet","oss-aion-one-contract-six.6c2ed5435d":"Nexus szervezeti ellenőrző","oss-aion-one-contract-six.07b127b70d":"Lefordított artefaktum","oss-aion-one-contract-six.4f9018da9e":"Kera fordítás-ellenőrző","oss-aion-one-contract-six.1f42a0b0ce":"Végrehajtott munkaterhelés","oss-aion-one-contract-six.5a3c8f1f84":"Selvedge végrehajtás-ellenőrző","oss-aion-one-contract-six.8879cc2e8a":"Szimulált pálya","oss-aion-one-contract-six.0d72478caf":"Szimulációs és FMI ellenőrző","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Befejezett FMU-futtatás","oss-aion-one-contract-six.8f5753fba0":"FMU-azonosság, konfiguráció, lépések, események, konvergencia és nyom","oss-aion-one-contract-six.4d64b5bbaf":"Szimulációs és FMI ellenőrző","oss-aion-one-contract-six.6f99b37c1c":"Állítás","oss-aion-one-contract-six.4cb3ee8fa2":"Bizonyíték","oss-aion-one-contract-six.0f3253d8d8":"Ellenőrző","oss-aion-one-envelope.3b24a9a880":"nyolc mező, verziózva","oss-aion-one-envelope.a348113c09":"melyik\n          ellenőrző olvassa. ","oss-aion-one-envelope.08ace6c26e":"egy mező dönt","oss-aion-one-envelope.396e2145f9":"Négyféle bizonyíték, egy nyitás, és","oss-aion-one-envelope.dc1a7be459":"a másodikon nyugodott","oss-aion-one-envelope.ddc01a5859":"pályaállítás","oss-aion-one-envelope.7f211a50e2":"paraméterkészlet","oss-aion-one-envelope.8f2aa45103":"modellazonosság","oss-aion-one-envelope.23e75e07fb":"a tanúsítványtípus mező választja ki, nem az, aki küldte","oss-aion-one-envelope.4e4dc30b71":"melyik ellenőrző olvassa","oss-aion-one-envelope.c8c687f0ff":"ugyanaz a nyitás, minden alkalommal","oss-aion-one-envelope.b5a871e570":"egy halom nyugta","oss-aion-one-envelope.f90f47de4d":"átmenetek sorozata","oss-aion-one-envelope.3116f117c0":"átmenő tábla","oss-aion-one-envelope.134483f4a2":"klauzulabizonyítás","oss-aion-one-envelope.93a8ee0c5f":"mi kerül bele","oss-aion-one-envelope.582a139a7d":"típus szerint irányítva","oss-aion-one-envelope.6b9805fe87":"Egy boríték, négy rakomány","oss-aion-one-envelope.3dde401523":"futásidős végrehajtás","oss-aion-one-envelope.708563c595":"ed25519, ellenőrizve","oss-aion-one-envelope.f2e0576c5b":"kettő, alább nevezve","oss-aion-one-envelope.f7b7603261":"lezárva, 41 kB","oss-aion-one-envelope.15aae6195c":"tanúsítvány rakomány","oss-aion-one-envelope.6732222b05":"tanúsítványtípus","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"szerződésverzió","oss-aion-one-envelope.b578b9727d":"nincs dupla terhelés a 2026-06 időszakban","oss-aion-one-envelope.a503bc1da2":"elutasítva","oss-aion-one-envelope.51c817ab85":"elfogadva","oss-aion-one-envelope.495117c360":"függőségek","oss-aion-one-envelope.910e029098":"szemléltető","oss-aion-one-field-apart.e704601d64":"a tengely, nem minta","oss-aion-one-field-apart.5c256bca81":"Az eredmény ezzel együtt mozgott, és ez megállapítás, nem statisztika.","oss-aion-one-field-apart.7a1e726c2f":"Két alkalmazás, amely minden nyilvános mezőben azonos, csak egy számban különbözik.","oss-aion-one-field-apart.084f6c9ebe":"minden pár, amit a szabályok megengednek","oss-aion-one-field-apart.ddaee9368d":"ezer tesztelt eset","oss-aion-one-field-apart.4c4ccacd1b":"egy pár, amit fájlba tehetsz","oss-aion-one-field-apart.6fddc6a6d1":"B sáv,","oss-aion-one-field-apart.dbf68713b1":"ugyanaz a sor, lépcsőzve","oss-aion-one-field-apart.8c6c701170":"a sikertelen eset","oss-aion-one-field-apart.0f9dcd24f1":"az eredmény nem ettől a mezőtől függött","oss-aion-one-field-apart.154b3f8e44":"B sáv, 3 ajánlat","oss-aion-one-field-apart.4392f1d89c":"egy sor, lépcsőzés nélkül","oss-aion-one-field-apart.02de2da27e":"a fennálló eset","oss-aion-one-field-apart.b7de103af7":"bruttó fizetés, mindkét oldalon szabadon hagyva","oss-aion-one-field-apart.c86b5b3346":"mindkét oldalon egyenlő","oss-aion-one-field-apart.54bb687f85":"szemléltető alkalmazások","oss-aion-one-field-apart.b69108366c":"az eredmény a párnál lépcsőzik","oss-aion-one-field-apart.e79b0df746":"egy mező különbség","oss-aion-one-field-apart.e1fef06921":"ajánlatok","oss-aion-one-field-apart.8699f2b04f":"állandó","oss-aion-one-field-apart.06e3125012":"foglalkoztatás","oss-aion-one-field-apart.305fa62f02":"30 és 39 között","oss-aion-one-field-apart.c6a0c81b25":"korcsoport","oss-aion-one-field-apart.61a7508ed1":"alap","oss-aion-one-field-apart.38a007151a":"termék","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"régió","oss-aion-one-word.95fa084cc9":"egyikük AION-ellenőrzés","oss-aion-one-word.ce157273ec":"három ezek közül, amelyekben hiszel","oss-aion-one-word.a04376ab99":"és mit tudsz vele kezdeni","oss-aion-one-word.1a5b0d2471":"A RÉS","oss-aion-one-word.69dc71b6f9":"Mivel érkezik egy eredmény","oss-aion-one-word.8d40d2bfcc":"Gépelt állítások, amelyek mindegyike egy szabályt, átmenetet vagy előfeltevést nevez meg.","oss-aion-one-word.2f8acfe792":"Egy tanúsítvány","oss-aion-one-word.b04dce1dd0":"Mennyi időbe telt, hogy biztosak legyünk. A bizonyosság nem a kérdés.","oss-aion-one-word.7eb987f893":"Egy időtartam","oss-aion-one-word.8388e9c8ba":"Mit tett a rendszer. Nem azt, hogy miért következik a következtetés.","oss-aion-one-word.40d0f0d4b5":"Egy napló","oss-aion-one-word.e7597ba59a":"unsat, lefordítva, biztonságos, jóváhagyva. Nincs benne semmi, amivel vitatkozni lehetne.","oss-aion-one-word.ae976ad8e9":"Egy szó","oss-aion-org-cert.dd25bad09c":"és mindegyik ellenőrizve van","oss-aion-org-cert.e8add8f2b8":"a szervezet, a szerepkörök, a feladatok és a jóváhagyások kitöltik a réseket","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"céltól a bizonylatig","oss-aion-org-cert.0a629276bf":"Nyolc elem a láncban","oss-aion-org-cert.51e6694762":"Ami valójában kívül történt, és ami visszajött.","oss-aion-org-cert.4f0a23ec14":"Műveletek és bizonylatok","oss-aion-org-cert.b249df120c":"Minden határ, amelyen a munka áthaladt, és ami átengedte.","oss-aion-org-cert.5eaad4eb5f":"Átengedett kapuk","oss-aion-org-cert.aba30ac5b8":"Melyik szerepkör mit birtokolt abban a pillanatban, amikor a műveletet megkísérelték.","oss-aion-org-cert.145ae750ce":"Feloldott jogosultság","oss-aion-org-cert.f8a4dc9c6b":"Mit próbáltak végrehajtani, és melyik szabályzatverzió alapján.","oss-aion-org-cert.63fbd2b7ee":"Cél és szabályzat","oss-aion-pipeline.b07bbe8800":"Propozicionális mag","oss-aion-pipeline.81f811c968":"Konfliktusvezérelt klóz-tanuló keresés a logikai vázon. Dönt, propagál, konfliktusba ütközik, klózt tanul, és visszaugrik. Bináris, egész és adaptív fixpontos értékek állnak a döntési eljárás mögött; a számtani magban nem tárolunk, halmozunk vagy használunk lebegőpontos értékeket tartalékként.","oss-aion-pipeline.dc0dd5bc07":"döntések és tanult klózok","oss-aion-pipeline.0c5ad3c30f":"Elméleti bővítmények","oss-aion-pipeline.f3a7990ab0":"A mag részleges hozzárendelést ad át az elméleti rétegnek. A számtan, a bitvektorok, a tömbök és a sztringek a saját tartományukban következtetnek, és propagációkat, konfliktusokat küldenek vissza. A külső lebegőpontos bemenet a határon bináris mezőkké vagy deklarált fixpontos skálává dekódolódik, mielőtt bekerülne az ellenőrzésbe. A mag ezeket a következtetőket üzemelteti; az időbeli és programelméletek kísérő ládákban élnek.","oss-aion-pipeline.9d1b00d225":"elméleti lemmák és konfliktusok","oss-aion-pipeline.fa6a461dcc":"Bizonyíték-kibocsátó","oss-aion-pipeline.b3ca95c05c":"A motor minden lépését, minden rezolúciót és minden elméleti lemmát a bizonyíték-kibocsátó rögzít, ahogy történik. Az eredmény egy rendezett levezetés, amelyet egy külön ellenőrző a premisszái alapján újra tud játszani.","oss-aion-pipeline.17ac98f8af":"rendezett levezetés","oss-aion-pipeline.26d98dc390":"Formátumexport","oss-aion-pipeline.a79251f54d":"A levezetés LRAT, DRAT vagy Alethe formátumban íródik ki, vagy az egységes köztes formában marad. Az LRAT egységpropagációs tippeket hordoz, ezért az offline ellenőrzés lineáris a bizonyítás hosszában.","oss-aion-pipeline.8c3cee1cd3":"hordozható tanúsítvány","oss-aion-pipeline.77ec79ed26":"döntéstől a tanúsítványig","oss-aion-pipeline.c320454a47":"CDCL + elmélet + kibocsátó","oss-aion-pipeline.a618b4be8d":"Lekérdezés","oss-aion-pipeline.10de46b3b3":"Tanúsítvány","oss-aion-pipeline.62923220ae":"Egész / fixpontos.","oss-aion-pipeline.4961117925":"Nincs lebegőpontos érték a magban.","oss-aion-pipeline.591118af56":"Rezolúciós lánc.","oss-aion-pipeline.39dfacd414":"Minden lépés megnevezi azokat a premisszákat, amelyektől függ, sorrendben.","oss-aion-pipeline.7fc7b98317":"Ellenőrzőtől független.","oss-aion-pipeline.f0bef425b5":"A tanúsítvány a megoldó nélkül is újrajátszható.","oss-aion-pipeline.a73bc5ed23":"Architektúra, CDCL-mag, elméleti bővítmények, bizonyíték-kibocsátó","oss-aion-plain-card.7e190a46ae":"A gép választ ad","oss-aion-plain-card.b8941c136d":"A számítógép kiszámolja neked az eredményt. Magadtól csak el kell fogadnod, amit mond.","oss-aion-plain-card.1232ecf314":"Nyugtát is ír","oss-aion-plain-card.af7230bfb9":"Az AION arra készteti a gépet, hogy a válasz mellé egy kis nyugtát is nyomtasson. A nyugta mutatja az egyes lépéseket, amelyekkel az eredményhez jutott.","oss-aion-plain-card.262d1681dd":"Bárki ellenőrizheti a nyugtát","oss-aion-plain-card.7d35d2e097":"A saját segítőd elolvassa a nyugtát, és azt mondja: igen, ez stimmel, vagy nem, ez hibás. Egyáltalán nem kell megbíznia az első gépben.","oss-aion-plain-card.e8146bafb5":"Az AION egyszerűen","oss-aion-plain-card.0b081a8ef4":"Nyugta mellékelve","oss-aion-plain-card.a32564404b":"Gondolj egy fizetési nyugtára. Amikor vásárolsz, kapsz egy papírszeletet, amely igazolja, hogy az üzlet a megfelelő összeget számolta fel. Ezt a nyugtát bárkinek megmutathatod, és ő maga is összeadhatja.","oss-aion-plain-card.d5d9b99b9c":"Az AION ugyanezt teszi a számítógéppel.","oss-aion-plain-card.2cc68d964c":"Amikor egy gép választ ad, az AION átad neked egy nyugtát, amely megmutatja, hogy a válasz helyes, és bárki ellenőrizheti.","oss-aion-plain-card.374c644917":"Soha nem kell csak úgy megbíznod a gépben. A nyugta bizonyítja.","oss-aion-plain-refusal.7d7fc8edd4":"ugyanaz a magyarázat vonatkozik rád és mindenkire, aki átnézi, mert ez egy\n            magyarázat","oss-aion-plain-refusal.40c2416b25":"egy eset, amit elolvashatsz, nem egy kereszt, amit nem tudsz","oss-aion-plain-refusal.f795b42ea6":"A kártyán lévő keret két nap múlva, augusztus 1-jén visszaáll a teljes összegre.","oss-aion-plain-refusal.3ae2a82129":"amikor ez megtörténik","oss-aion-plain-refusal.a6012020ae":"Vagy 150 euróval több keret a kártyán, vagy 90 eurós vagy annál kisebb fizetés.","oss-aion-plain-refusal.74b2c9301b":"mi változtatná meg","oss-aion-plain-refusal.e88b1876e6":"A 90 euró nem fedezi a 240 eurót, így a fizetés és a fennmaradó keret nem állhat fenn egyszerre.","oss-aion-plain-refusal.d649363397":"melyik rész töri meg","oss-aion-plain-refusal.ec7a8f0a8d":"A fizetés 240 euró volt. A kártyán ma fennmaradó keret 90 euró volt.","oss-aion-plain-refusal.fcd45ae097":"a te helyzeted","oss-aion-plain-refusal.e51b51ac5a":"Egy fizetés csak akkor megy át, ha a kártyán ma fennmaradó keret fedezi.","oss-aion-plain-refusal.93823841cb":"mit mond a szabály","oss-aion-plain-refusal.9bc7984374":"Miért nem ment át","oss-aion-plain-refusal.549840f998":"Amikor egy szabály sérül, az AION leírja a helyzetet, amely megsértette, hétköznapi\n            mondatokban a számokkal. A fizetés ennyi volt, a kártyán ma fennmaradó keret kevesebb volt ennél, és ez a két tény együtt megsérti a szabályt. Elolvashatod, pontosan vitathatod, vagy megváltoztathatod azt az egy dolgot, aminek változnia kell. Egy kereszt egy mezőben ebből semmit nem ad, és nem is rövidebb, csak üresebb.","oss-aion-plain-refusal.3b50831d8a":"Egy automatizált döntés, amely elutasít, rosszabb, mint egy ember által hozott, mert általában nincs mit kérdezni. Az elutasítás készen érkezik. Amit kapsz, az az eredmény, és ha szerencséd van, egy hivatkozási szám, és az út a tényleges magyarázathoz egy panasz, amely hetekig tart, és olyanhoz jut el, aki szintén nem volt érintett.","oss-aion-plain-refusal.ada63e5c2f":"Egy kidolgozott eset az.","oss-aion-plain-refusal.462f7e9213":"„Nem engedélyezett” nem ok.","oss-aion-plain-refusal.5abdfa9cd6":"A különbség","oss-aion-plain-refusal.68c46e84d7":"egyszerű","oss-aion-reasoning-cert.0f1fb3d007":"és minden tétel ellenőrizve","oss-aion-reasoning-cert.98ec75a261":"a korlátok és a végső állítás teljesítik a hetet","oss-aion-reasoning-cert.433b925481":"Amit kizártak, és azok a premisszák, amelyek kizárták.","oss-aion-reasoning-cert.13382efd7c":"Ellentmondások","oss-aion-reasoning-cert.e856a27527":"A részprobléma, amely kiment, és a bizonyítás, amely visszajött.","oss-aion-reasoning-cert.92324f5363":"Megoldói tanúsítványok","oss-aion-reasoning-cert.fe451714e4":"Mindegyik megnevezve, abban a sorrendben, ahogy alkalmazták.","oss-aion-reasoning-cert.e0d40a5309":"Szabályalkalmazások","oss-aion-reasoning-cert.e0753c6513":"Ami érvényben volt, melyik verzióban, amikor a munka futott.","oss-aion-reasoning-cert.b9366c0dbf":"Aktív korlátok","oss-aion-reasoning-cert.a04ed61a81":"a megoldó","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"hét tétel","oss-aion-reasoning-cert.eb64d71581":"Mit hordoz egy érvelési tanúsítvány","oss-aion-reasoning-chain.126806353c":"deklarálva, majd ellenőrizve","oss-aion-reasoning-chain.751e90e830":"Mindegyik egy artefaktum, amelyet az érvelés hátrahagyott, és mindegyiket elolvassák.","oss-aion-reasoning-chain.bc96941170":"Négy megszorítás, két szabályalkalmazás, egy megoldófutás és egy ellentmondás.","oss-aion-reasoning-chain.57fa7b904f":"Amit itt ellenőriznek, az a rendszer által deklarált levezetés, tételenként.","oss-aion-reasoning-chain.e0aa3695ac":"mag 01 02 04, és a 03 nincs benne","oss-aion-reasoning-chain.e3338dab26":"kettős terhelés kizárva","oss-aion-reasoning-chain.a43e177c4c":"04 visszatérítés visszavon","oss-aion-reasoning-chain.becc703d80":"egyesített terhelés","oss-aion-reasoning-chain.398df239b3":"01-ből és 02-ből","oss-aion-reasoning-chain.373c5eb4cc":"lépésről lépésre olvasva, lezárul","oss-aion-reasoning-chain.45f358826b":"a prover által visszaadva, Alethe formátumban","oss-aion-reasoning-chain.9bc46d8fd1":"bitvektor és egyenlőség, semmi más nem keresztez","oss-aion-reasoning-chain.34fcd5c8c7":"alprobléma, lezárva","oss-aion-reasoning-chain.8c7f764922":"újrapróbálkozási számon, 02-ből és 03-ból","oss-aion-reasoning-chain.7c960fefa4":"három a magba emelve, egy ott maradt, ahol volt","oss-aion-reasoning-chain.eeacd6e80f":"aktív megszorítások, a felelős személy által írt szavakkal","oss-aion-reasoning-chain.0ee0bb12eb":"Ez a konfiguráció nem hozhat létre kettős terhelést egy elszámolási időszakon belül.","oss-aion-reasoning-chain.c0644670d0":"az az állítás, amelyet a Loom állít","oss-aion-reasoning-chain.9616861141":"szemléltető állítás és verziók","oss-aion-reasoning-chain.e4f7c8c782":"a mag hármat nevez meg, egyet töröl","oss-aion-reasoning-chain.43c7dffedb":"Egy következtetés, megnyitva","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"8-ból és 9-ből","oss-aion-reasoning-chain.3d26486c4c":"8-ból","oss-aion-reasoning-chain.5a6d9bdd37":"3-ból és 6-ból","oss-aion-reasoning-chain.ce8e0b1a7d":"A visszatérítés visszavonja a terhelést, amelyet megnevez.","oss-aion-reasoning-chain.4c449f834c":"Az elszámolási időszak az utolsó nap éjfélkor zárul.","oss-aion-reasoning-chain.a663638447":"Az újrapróbálkozás soha nem hoz létre második terhelést.","oss-aion-reasoning-chain.0d43228516":"A terhelés minden befejezett szállításkor egyszer jön létre.","oss-aion-reassure.38a3bd59d5":"A lényeg egyszerű: soha ne higgy el vakon egy gépnek. Tartson meg egy indokot, amelyet egy másik ellenőrző is tesztelhet.","oss-aion-reassure.0ccc7397a4":"Nem. A nyugta ott helyben ellenőrizhető, anélkül, hogy bármit elküldenénk az interneten.","oss-aion-reassure.5bea629f3e":"Elküldik valahová a válaszomat?","oss-aion-reassure.af397dc934":"Európában készült. Egy külön ellenőrző, nem pedig az a gép, amely a választ előállította, ellenőrzi minden nyugtát.","oss-aion-reassure.7de6360d68":"Honnan származik?","oss-aion-reassure.a93d9edbec":"Nem. Ebből semmit nem kell Önnek felépítenie. A bolt, a kórház vagy az iroda használja Ön helyett. Ön csak egy világosabb választ kap.","oss-aion-reassure.39af3a44b7":"Okosnak kell lennem a számítógépekhez?","oss-aion-reassure.bdbcd6057e":"Igen. A nyugta később is ellenőrizhető az eredeti modell, munkamenet, fiók vagy internetkapcsolat nélkül.","oss-aion-reassure.aa1b0d7005":"Ellenőrizhető később?","oss-aion-receipt.36889df54f":"Ezt soha nem te intézed. Ha egy üzlet vagy iroda használja helyetted, ez az a nyugta,\n          amit átadhatnak.","oss-aion-receipt.46fbbfb5be":"Bárki elolvashatja, és ellenőrizheti, hogy stimmel-e.","oss-aion-receipt.9c258dd430":"és el kell hinned. Az AION esetében a\n            gép a bal oldali kis nyugtát is a kezedbe adja. Ez mutatja a kérdést, a lépéseket és\n            a választ.","oss-aion-receipt.013700f8eb":"Egy normál gép csak annyit mond:","oss-aion-receipt.12df5bb228":"A tiéd, megtarthatod","oss-aion-receipt.7b8544fad0":"Ellenőrizve","oss-aion-receipt.def2581739":"Válasznyugta","oss-aion-receipt.6e17da21e4":"Példa válasznyugtára","oss-aion-receipt.f2688d32ea":"Ha újra kérdezel, ugyanazt a választ és ugyanazt a nyugtát kapod, bármelyik számítógépen.","oss-aion-receipt.2379231efe":"Minden alkalommal ugyanaz","oss-aion-receipt.a4b884c0e4":"A saját segítőd ott helyben ellenőrzi a nyugtát, semmit nem küld el.","oss-aion-receipt.930888ee28":"Nincs internet","oss-aion-receipt.7a019cc1d2":"Az ok a nyugtán van, nem egy gépben rejtve. Megtarthatod vagy megmutathatod.","oss-aion-receipt.47b716baec":"Írásban","oss-aion-receipt.92ed516e5b":"Igen, és itt van a miért.","oss-aion-receipt.7011b1a621":"A válasz","oss-aion-receipt.8ab9465666":"Az eseted ehhez lett illesztve.","oss-aion-receipt.16bb8dfc44":"Második lépés","oss-aion-receipt.d3ca88b9f3":"A szabály teljes egészében el lett olvasva.","oss-aion-receipt.e97cc54395":"Első lépés","oss-aion-receipt.afd2793ce0":"Jár-e nekem ez a visszatérítés?","oss-aion-receipt.d79cce547d":"A kérdés","oss-aion-recheck-list.09d5defeae":"két sor, két név","oss-aion-recheck-list.fd3e1afd0e":"vagy, ami sokkal gyakoribb, egyáltalán semmiről.","oss-aion-recheck-list.459f160ffa":"A sorok mögötti verzió nélkül ugyanez az értesítés mindennek az újravizsgálatát követeli meg,","oss-aion-recheck-list.cade8a80df":"a lista, és hogy ki birtokolja","oss-aion-recheck-list.6f13975269":"továbbra is kompatibilis","oss-aion-recheck-list.48f8969999":"újraolvasás szükséges","oss-aion-recheck-list.af0f44d357":", módosítva ekkor:","oss-aion-recheck-list.4202e0844e":"Az optimalitási korlát szabályát szigorúbban kell értelmezni. A pontosan a határértéken megadott korlát már nem fogadható el úgy, mintha az alatta lenne.","oss-aion-recheck-list.1c26bb5963":"kiadva: 2025-07-22","oss-aion-recheck-list.1944dee3ee":"Ellenőrző v7.0","oss-aion-recheck-list.9ffcf8f72b":"szemléltető bejegyzések","oss-aion-recheck-list.dc490c03ae":"ötből kettő megjelölve","oss-aion-recheck-list.7316018edf":"Az érintett rekordok","oss-aion-recheck-list.2237af7cd3":"az optimalitási korlát szabálya","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Útvonal-optimum, északi raktár","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Firmware-összeállítás, 3. átjáró","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Hozzájárulás-értékelés, 44. kampány","oss-aion-recheck-list.3c54a1df45":"házon belül","oss-aion-recheck-list.b8d251e8cd":"Kötegelt árazási futtatás","oss-aion-recheck-list.dce56394a1":"Beosztási terv, 12. hét","oss-aion-recheck-list.48a3661d84":"állapot","oss-aion-recheck-list.29e5b9a8e6":"ellenőrző","oss-aion-recheck-list.51c817ab85":"elfogadva","oss-aion-recheck-list.e2979e7595":"szállító","oss-aion-recheck-list.335ce16b3f":"tárgy","oss-aion-recheck-list.796a88413e":"J. Okonkwo, műveletek","oss-aion-recheck-list.90916dd844":"Ellenőrizze újra, majd erősítse meg a megadott korlátot a szállítóval.","oss-aion-recheck-list.00e67572db":"M. de Vries, adatvédelem","oss-aion-recheck-list.e4faeae968":"Ellenőrizze újra a tárolt tanúsítványt a v7.0-val szemben.","oss-aion-record-fields.8580937ae7":"mindegyik a saját érintett halmazát hozza létre","oss-aion-record-fields.632f62dd8b":"egy tanúsítványséma teszi teljessé a hetest","oss-aion-record-fields.7039b2f0bd":"ahol most van","oss-aion-record-fields.74b489c3d1":"ahol volt","oss-aion-record-fields.5d5dc3b7c3":"TARTÓS","oss-aion-record-fields.c2a1a83804":"és nem csak bizonyítási szabályokról van szó","oss-aion-record-fields.12b83ffb63":"Mi változhat alatta","oss-aion-record-fields.91b3cb991a":"egy újabb modellverzió","oss-aion-record-fields.e1ab670f61":"Modell- vagy szimulációs szerződés","oss-aion-record-fields.da15b4cbb5":"maga az állítás elmozdult","oss-aion-record-fields.26e4976c38":"Fordítóprogram- vagy futásidejű szerződés","oss-aion-record-fields.cb2c2e30b7":"más alatt tisztázva","oss-aion-record-fields.43e275dea3":"Szabályzat","oss-aion-record-fields.521a7a8570":"most másként olvasandó","oss-aion-record-fields.58fd9f572c":"Ellenőrzőszabály","oss-aion-refusal-fields.432aa8565f":"egy hivatkozás, amit valaki követhet","oss-aion-refusal-fields.36a85f9074":"nem piros kereszt","oss-aion-refusal-fields.fe71871083":"ÉRTESÍTÉS","oss-aion-refusal-fields.4f84be92c8":"hogy valaki cselekedhessen rajta","oss-aion-refusal-fields.fa31a3ca39":"Mit tartalmaz egy elutasítás","oss-aion-refusal-fields.5647a1c020":"döntse el, kinek a megállapítása","oss-aion-refusal-fields.11c0add347":"Hiba a bizonyítékban, vagy egy szabály, amit nem viszünk tovább. Nem ugyanaz.","oss-aion-refusal-fields.a74aa40f65":"A fajta","oss-aion-refusal-fields.d3144a7994":"lásd, ami nem volt ott","oss-aion-refusal-fields.060958d8fd":"Mi hiányzott vagy volt rossz, amikor újra kiszámolták.","oss-aion-refusal-fields.a7dc07c061":"Az ok","oss-aion-refusal-fields.3b21710b2e":"ellenőrizze, mit kellett volna tennie","oss-aion-refusal-fields.f80b017fdb":"Mit állított a lépés, hogy csinál.","oss-aion-refusal-fields.0056e788fc":"A szabály","oss-aion-refusal-fields.89abf35df5":"nyissa meg azon a soron","oss-aion-refusal-fields.3dac51b71a":"Melyik lépés, számmal, melyik fájlban.","oss-aion-refusal-fields.2fb8438f32":"A hely","oss-aion-reviewable.e0cb1b89aa":"nem csak a szerző","oss-aion-reviewable.f29c4ff9dd":"a tulajdonos ellenőrzi","oss-aion-reviewable.c6465865b0":"a mondatod","oss-aion-reviewable.ed6912ad70":"ELLENŐRZÉS","oss-aion-reviewable.5867cc6bd5":"jelölés elsajátítása nélkül","oss-aion-reviewable.8f8dec6da0":"Amit az ellenőrző lát","oss-aion-reviewable.da8643122f":"Egy név, egy dátum és a megerősített mondat verziója.","oss-aion-reviewable.7c92afb7f9":"Aláírt megerősítés","oss-aion-reviewable.340e6b4675":"Az ismételt ellenőrzés ugyanazt olvassa, mert semmi sem mintázott modellt.","oss-aion-reviewable.b08be2b959":"Minden alkalommal ugyanaz","oss-aion-reviewable.d3a2628a1c":"Minden megnevezett mennyiség, az általa tárolt érték fajtájával.","oss-aion-reviewable.2587914ff8":"Min dolgozik","oss-aion-reviewable.f0a2aa51a4":"Egy mondat, amely összefoglalja, mit kódol a teljes feltétel.","oss-aion-reviewable.5a47a1dcaf":"Egyszerű olvasat","oss-aion-reviewable.aee2d461c7":"Változatlanul, felül, ahogyan írták.","oss-aion-reviewable.7488358db7":"A saját mondatuk","oss-aion-risk-ledger.1a0f2538e1":"Öt működési kitettséget vált fel egy tanúsítvány, amelyet egy másik ellenőr is ellenőrizhet.","oss-aion-risk-ledger.4b32d8f574":"Az AION-nal","oss-aion-risk-ledger.2e34d48ba3":"A megszokott módon","oss-aion-risk-ledger.d1d7499182":"EGYMÁS MELLETT MÉRVE","oss-aion-risk-ledger.02c7234156":"Játssza le az érvelést offline, és győződjön meg róla saját maga.","oss-aion-risk-ledger.b5058e1c76":"Fogadja el a szállító szavát, hogy a válasz helytálló volt.","oss-aion-risk-ledger.d2e183faa1":"Mennyire bízzunk benne","oss-aion-risk-ledger.96f0603563":"A tanúsítvány ezek nélkül is ellenőrizhető.","oss-aion-risk-ledger.04312971f3":"Az eredeti modellnek, megoldó munkamenetnek és szolgáltatásnak továbbra is elérhetőnek kell lennie.","oss-aion-risk-ledger.2df1215b19":"Mitől függ az ellenőrzés","oss-aion-risk-ledger.8ddd34c358":"Saját hardverén fut, az Ön által jóváhagyott joghatóságon belül.","oss-aion-risk-ledger.c3fe4a906f":"A döntéseket olyan szervereken magyarázzák el, amelyeket Ön nem irányít.","oss-aion-risk-ledger.242ebe0c39":"Hol tárolják az adatokat","oss-aion-risk-ledger.75eb05728b":"A szabványos bizonyítási formátumok függetlenül ellenőrizhetők maradnak.","oss-aion-risk-ledger.46d3f9eccd":"A magyarázat eltűnik az eredeti szolgáltatással együtt.","oss-aion-risk-ledger.8ea6189e84":"Amikor a futási környezet változik","oss-aion-risk-ledger.21ff58d6a7":"Átad egy tanúsítványt, amelyet az ellenőr saját maga ellenőrizhet.","oss-aion-risk-ledger.934929b924":"Továbbítja a naplófájlokat, és reméli, hogy bizonyítékként fogadják el őket.","oss-aion-risk-ledger.8632e0b3b5":"Amikor az ellenőr kérdez","oss-aion-rule-refusal.c354dff2de":"nincs verdikt 15 után","oss-aion-rule-refusal.0fc2b67ff7":"az elsőnél egy lépés elbukik","oss-aion-rule-refusal.d7cb461a4b":"Négy teszt rögzített sorrendben, és az olvasás megáll","oss-aion-rule-refusal.ad9deadf27":"egy klózazonosító két klózhoz használva","oss-aion-rule-refusal.ffc05ba511":"egy pivot egy literálon, amelyet a klóz nem tartalmaz","oss-aion-rule-refusal.5af32fb7c4":"egy tipp, amely arra a lépésre hivatkozik, amelyet igazolnia kellene","oss-aion-rule-refusal.fbf5522f0e":"a támadó csomagból rögzítve","oss-aion-rule-refusal.d3b27b8f89":"nem zárult le","oss-aion-rule-refusal.0f04e9ee60":"literálok, amelyek még mindig állnak az utolsó klózon","oss-aion-rule-refusal.90f9cbf1cb":"fájl vége","oss-aion-rule-refusal.196a925493":"premissza index, 1-től 87-ig","oss-aion-rule-refusal.72ce0bc93a":"alethe, szabályról szabályra","oss-aion-rule-refusal.b14e7fc954":"15-nél megállt","oss-aion-rule-refusal.ce0ed8058b":"Egy bizonyítás, felülről olvasva","oss-aion-rule-refusal.af0cbd46a2":"soron kívül idézve","oss-aion-rule-refusal.165a394589":"61-ből és 20-ból","oss-aion-rule-refusal.dd39474e4f":"premissza hiányzik","oss-aion-rule-refusal.6edfd31763":"88-ból","oss-aion-rule-refusal.d18b697772":"önmagára hivatkozik","oss-aion-rule-refusal.5c7bf112ac":"31-ből és 18-ból","oss-aion-rule-refusal.64b0295aa0":"nem támogatott szabály","oss-aion-rule-refusal.5e2428fc82":"14-ből","oss-aion-rule-refusal.a7e8697338":"12-ből és 13-ból","oss-aion-rule-refusal.ba08b53848":"4-ből","oss-aion-rule-refusal.2a1be725ca":"12-es rezolúció","oss-aion-rule-refusal.54a0121f57":"4-ből és 9-ből","oss-aion-rule-refusal.8ffe1b4177":"ismert szabály","oss-aion-rule-refusal.ebed34abd2":"a sajátja alatt","oss-aion-rule-refusal.d182b65e15":"premissza jelen van","oss-aion-rule-refusal.a503bc1da2":"elutasítva","oss-aion-rule-refusal.3a21295d81":"tár","oss-aion-same-except-one.279e6c9e96":"egy alább kidolgozott","oss-aion-same-except-one.87ca0e7356":"korlátok, levezetések és a modell származása teszik teljessé a hetet","oss-aion-same-except-one.72b459f8cc":"TULAJDONSÁGOK","oss-aion-same-except-one.25119f6e70":"és a család, amely mindegyiket hordozza","oss-aion-same-except-one.ed6552be04":"Kijelentések, amelyeket megtehetsz","oss-aion-same-except-one.633255fe41":"Ez a pálya tiszteletben tartotta ezeket az invariánsokat.","oss-aion-same-except-one.6b403d2a35":"Ez a művelet rendelkezett a szükséges jóváhagyással.","oss-aion-same-except-one.ac5d8ada02":"Ez a munkaterhelés ezen képességek alatt futott.","oss-aion-same-except-one.5e8efc64f2":"Ez a bináris megfelel ennek a forrásgráfnak.","oss-aion-same-except-one.81c0e8e986":"szimuláció","oss-aion-same-except-one.92fe1455a7":"szervezeti","oss-aion-same-except-one.1e21474598":"végrehajtás","oss-aion-same-except-one.023646ce84":"fordítás","oss-aion-same-rule-parts.3326352b94":"ez a három túléli","oss-aion-same-rule-parts.b33174d833":"a válasz egy sor","oss-aion-same-rule-parts.490fbefa4b":"ugyanazt a munkát kétszer átadni, és az ellenőrzés ugyanaz lesz","oss-aion-same-rule-parts.ce173fc797":"Második ellenőrzésre tartva.","oss-aion-same-rule-parts.60c6fa6f09":"a válasz","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"miután megérkezik a válasz","oss-aion-same-rule-parts.3fea5c7183":"Három dolog, amit megtartasz","oss-aion-same-rule-parts.f460809c86":"Mikor ellenőrizték a munkát, és mi ellenőrizte.","oss-aion-same-rule-parts.1f26226511":"a feljegyzés","oss-aion-same-rule-parts.f3488c72aa":"A dátum","oss-aion-same-rule-parts.7e9a6ac9d7":"A szabály visszaidézve, a saját helyzeteddel benne.","oss-aion-same-rule-parts.fa1f96a2cc":"a válasszal együtt nyomtatva","oss-aion-same-rule-parts.a7dc07c061":"Az ok","oss-aion-same-rule-parts.51240e4e03":"Hétköznapi szavak, megtartva, hogy bárkinek felolvasd.","oss-aion-same-rule-parts.f901c543a0":"ahogy valaki leírta","oss-aion-same-rule-parts.0056e788fc":"A szabály","oss-aion-same-rule-thrice.8716c9d2d1":"mindhárom idézheti","oss-aion-same-rule-thrice.56daaad027":"Senki nem értelmezte a helyszínen senki ügyét.","oss-aion-same-rule-thrice.fe8d9a24bc":"Három név, három dátum, egy ok szóról szóra.","oss-aion-same-rule-thrice.2d4e5d243a":"ugyanazok a szavak mindhárom levélben","oss-aion-same-rule-thrice.36c5f05f0e":"A kérelmemet visszatartották, mert minden olyan fiókból érkező kérelmet, amely valaha is túllépett a keretén, másodlagos ellenőrzésre tartanak vissza. Ezt akarta, hogy csináljon?","oss-aion-same-rule-thrice.47b69ccfd4":"amit bármelyikük írhat","oss-aion-same-rule-thrice.5441126254":"az ok, a te számaiddal","oss-aion-same-rule-thrice.e026ce35f8":"a szabály, szavakban","oss-aion-same-rule-thrice.c6b6fdf0c8":"A kérelmed vissza van tartva","oss-aion-same-rule-thrice.4af8028f5b":"Ez mindenkit érint, aki egyszer egy hétig mínuszban volt.","oss-aion-same-rule-thrice.43d7f6edd9":"Minden olyan fiókból érkező kérelmet, amely valaha is túllépett a keretén, másodlagos ellenőrzésre tartanak vissza.","oss-aion-same-rule-thrice.d5dff79fd0":"a szabály, ahogy a felelős személy megírta","oss-aion-same-rule-thrice.660cf69152":"ugyanaz az ok, háromszor","oss-aion-same-rule-thrice.2aa5baf4fa":"egy szabály, három ember","oss-aion-same-rule-thrice.2969c22def":"egy napig túllépve a kereten 2024 augusztusában","oss-aion-same-rule-thrice.db55a373e5":"július 2.","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"két napig túllépve a kereten 2021 novemberében","oss-aion-same-rule-thrice.8a343dea89":"június 19.","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"hat napig túllépve a kereten 2023 márciusában","oss-aion-same-rule-thrice.e46936527e":"június 4.","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"A fiókod valamikor túllépte a keretet, ezért ezt a kérelmet másodlagos ellenőrzésre tartják vissza.","oss-aion-same-rule-thrice.69449f994d":"hiv.","oss-aion-same-rule-thrice.910e029098":"szemléltető","oss-aion-second-reader.e2a4a212d5":"a sorra mutatni a hasznos rész","oss-aion-second-reader.b31aece7ea":"a megegyezés könnyű","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"mit csinál a második olvasás","oss-aion-second-reader.d160172930":"Újra összeadni","oss-aion-second-reader.0bd3d42b28":"Egy másik program, aminek nincs oka előnyben részesíteni a választ.","oss-aion-second-reader.2c814bb70c":"Nem az első gép","oss-aion-second-reader.b792afd627":"És megmondja, melyik lépés, így van mit megmutatni.","oss-aion-second-reader.4a195096b0":"Megáll az első hibánál","oss-aion-second-reader.58f56fa2c3":"Újra kiszámolja, nem bízik abban, hogy már megtörtént.","oss-aion-second-reader.5abf0b9df4":"Minden lépést elvégez","oss-aion-second-reader.de8f44bd3b":"Nem a válasz. A lépések, amelyeknek oda kellett volna vezetniük.","oss-aion-second-reader.0a461499ae":"Elolvassa a számolást","oss-aion-second-sum.2517e33359":"egy hely, nem egy ítélet","oss-aion-second-sum.1f31706279":"Ami kellett, az a sor, és ott is van.","oss-aion-second-sum.1b06fb1625":"Mindkét oszlop összeget ér el, és az egyik hibás.","oss-aion-second-sum.715f45331b":"A leolvasás ötnél megáll, nem megy tovább hatra, mert az az ellenőrzés, amely kihagy egy lépést, amit nem tud kijönni, nem ellenőrzés.","oss-aion-second-sum.be51277bfd":"nem érte el","oss-aion-second-sum.a90d766915":"ez a lépés nem jön ki","oss-aion-second-sum.b214ae4ce2":"ugyanaz a lépés, egy gépen leírva","oss-aion-second-sum.e4cddfd229":"Bárki összeadhatja az oszlopot magának, és ugyanarra a sorra jut. Ez az egész ötlet, átvíve olyan munkára, amit senki sem lát.","oss-aion-second-sum.a72b4463ba":"A két oszlop három sorban egyezik. A gyűrű ott megy körbe, ahol elválnak, nem az összegnél, mert az összeg soha nem volt az, amiről érdemes vitatkozni.","oss-aion-second-sum.136fc39d05":"Tíz cent, és az almánál van.","oss-aion-second-sum.1104f28cf8":"fizetni","oss-aion-second-sum.51111a2b99":"a bolt, kedd","oss-aion-second-sum.e9594ccf76":"az almánál válnak el","oss-aion-second-sum.bb470fd83f":"ugyanaz az oszlop, kétszer összeadva","oss-aion-second-sum.0220a293b9":"a követelés ki van fizetve","oss-aion-second-sum.f7e5a74a1f":"ami még fizetendő, összeadódik","oss-aion-second-sum.597b954c29":"a többletet levonták","oss-aion-second-sum.edccd745a8":"az összeg a határ alatt van ahhoz a javításhoz","oss-aion-second-sum.709d0bb348":"a javítás a fedezett listán van","oss-aion-second-sum.1396b1459a":"a számla nyitva volt a követelés napján","oss-aion-second-sum.d2fc512490":"ceruza","oss-aion-second-sum.1c8f15dab7":"nyomtatott","oss-aion-second-sum.910e029098":"szemléltető","oss-aion-second-sum.f6c1ab8181":"szappan","oss-aion-second-sum.bcef7a0462":"sajt","oss-aion-second-sum.76c2436b59":"alma","oss-aion-second-sum.44213f9f4d":"kávé","oss-aion-second-sum.6ff291d817":"kenyér","oss-aion-second-sum.cf5dbf0ec5":"tej","oss-aion-sentence-returns.e9a72f31df":"your words, both ends","oss-aion-sentence-returns.254545287c":"Eight months later a stranger is reading it, not a summary of it.","oss-aion-sentence-returns.f0e71316de":"One person wrote a sentence and put it away.","oss-aion-sentence-returns.4c51f16cb4":"Nothing between these two readings learned anything, changed its mind, or had a\n            better idea.","oss-aion-sentence-returns.06152533dc":"a second charge against one order inside a billing month is not allowed","oss-aion-sentence-returns.fb3e6817f1":"from the reading a year later","oss-aion-sentence-returns.32af205ca5":"from the reading in March","oss-aion-sentence-returns.0b1eb314b5":"the same sentence, read again a year on","oss-aion-sentence-returns.547a49e160":"order 44-8127 was charged on the third of November and again on the nineteenth","oss-aion-sentence-returns.d3141af6d8":"what ran into it","oss-aion-sentence-returns.a2d40412ef":"a second charge against one order inside a billing month","oss-aion-sentence-returns.0ee2593cc5":"the part that was not met","oss-aion-sentence-returns.43015fadc4":"Nobody should be charged twice for the same order in the same month.","oss-aion-sentence-returns.2ce9eb0823":"the rule, in the words it was written in","oss-aion-sentence-returns.5c4173fbcf":"9 November, sent to the customer","oss-aion-sentence-returns.96ec36f99b":"A charge was stopped","oss-aion-sentence-returns.14da1cff14":"eight months","oss-aion-sentence-returns.b59f623fe2":"read as","oss-aion-sentence-returns.6a250da793":"14 March, by the person who owns billing","oss-aion-sentence-returns.8766d15f20":"same words at both ends","oss-aion-sentence-returns.33e656aa3a":"one sentence, eight months apart","oss-aion-sentence-returns.6180960e2c":"written","oss-aion-sentence-returns.910e029098":"illustrative","oss-aion-side-by-side-rule.1462946510":"hierarchia megfordítva","oss-aion-side-by-side-rule.dc685ee970":"ez a legkisebb, legalul.","oss-aion-side-by-side-rule.37ba9a07a7":"Az egyetlen sor itt, amit senkinek sem kell tudnia elolvasni","oss-aion-side-by-side-rule.24205c8d5e":"Ennek a lapnak a törzse az, amit kértek.","oss-aion-side-by-side-rule.136ec48046":"mondat 3. változat","oss-aion-side-by-side-rule.5714c84617":"2026. április 9.","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, számlázási műveletek","oss-aion-side-by-side-rule.4c1493cdf2":"a feltétel, ahogyan tárolva van","oss-aion-side-by-side-rule.5050bceb24":"amin működik","oss-aion-side-by-side-rule.70a7ded724":"A második terhelés egy olyan hivatkozásra, amelyet már terheltek a számlázási időszakon belül,\n          elutasításra kerül.","oss-aion-side-by-side-rule.decbbbcbea":"Egyetlen ügyfél sem terhelhető kétszer ugyanarra a hivatkozásra egy számlázási időszakban.","oss-aion-side-by-side-rule.41f5b5d765":"nincs jelölés szükséges","oss-aion-side-by-side-rule.fd9d8f9d79":"a tulajdonos által megerősítve","oss-aion-side-by-side-rule.dbd8504696":"áttekintő lap","oss-aion-side-by-side-rule.b714510ded":"hányszor lett ez a hivatkozás már terhelve","oss-aion-side-by-side-rule.71aa03cd23":"a terhelések száma","oss-aion-side-by-side-rule.8f404d9e59":"a hónap, amelybe a terhelés esik","oss-aion-side-by-side-rule.28db3c4a10":"a számlázási időszak","oss-aion-side-by-side-rule.7bbf8d007a":"az azonosító, amelyre a terhelés történik","oss-aion-side-by-side-rule.333190a7a5":"a hivatkozás","oss-aion-silent-wrong.e516f1474a":"40. lépés, ismeretlen szabály","oss-aion-silent-wrong.52c4b2ffb7":"ahol megállt","oss-aion-silent-wrong.bdc9060b3b":"Nyolc futtatás nyolc szót adott. Csak az, amelyik lejegyezte a munkáját,\n          tudja elmondani","oss-aion-silent-wrong.dc3fb44cee":"a visszautasítás egy vonalat nevez meg","oss-aion-silent-wrong.d55eb7e866":"Ennek az olvasónak nincs ilyen nevű szabálya a 40. lépésnél, ezért ott\n            megállt. A bélyegzőt soha nem hozták le, és nem adtak ki ítéletet.","oss-aion-silent-wrong.d04a61e19e":"mit hozott az olvasás","oss-aion-silent-wrong.b31f1a6015":"alethe, 38. lépéstől","oss-aion-silent-wrong.74cb6750e3":"az egyik, leírva","oss-aion-silent-wrong.c9266795e0":"nyolc rendszer, nyolc eredmény","oss-aion-silent-wrong.d7d4ae123f":"szemléltető, egy nyolcas futtatás","oss-aion-silent-wrong.3c05b129e2":"nem adtak ki ítéletet","oss-aion-silent-wrong.c6dc61d79f":"Nyolc szó, az egyik megnyitva","oss-aion-silent-wrong.64494819a0":"40. premissza, az üres klóz","oss-aion-silent-wrong.9dae957efd":"39. premissza","oss-aion-silent-wrong.52e787751c":"31. és 38. premissza","oss-aion-silent-wrong.36901d48ad":"12. és 31. premissza","oss-aion-silent-wrong.e00bcd7ac6":"munkafolyamat jóváhagyva","oss-aion-silent-wrong.fd40251b0b":"szimuláció konvergált","oss-aion-silent-wrong.9204d100a8":"szabályzat elfogadva","oss-aion-silent-wrong.51c817ab85":"elfogadva","oss-aion-silent-wrong.4d64c22879":"újra","oss-aion-silent-wrong.94ec44c4f4":"hiszem","oss-aion-silent-wrong.4848901b39":"optimális","oss-aion-silent-wrong.bf31c52c32":"biztonságos","oss-aion-silent-wrong.231e564db4":"befejezve","oss-aion-silent-wrong.bac2ad9d5d":"lefordítva","oss-aion-silent-wrong.d203c40ac4":"kielégíthetetlen","oss-aion-sim-cert.d836eab67a":"a fizikai érvényesség nem","oss-aion-sim-cert.8f9800edbe":"a megfelelőséget és a tulajdonságokat itt ellenőrzik","oss-aion-sim-cert.d982b6fdda":"az, hogy a modell a világot képviseli-e, a modell tulajdonosánál marad","oss-aion-sim-cert.c27ccdf78d":"fizikai érvényesség","oss-aion-sim-cert.99c6aa48cb":"sehol nem válaszolják meg","oss-aion-sim-cert.e4125aa830":"a megadott tulajdonságok teljesülnek a futás során, vagy a nyomvonal visszaérkezik","oss-aion-sim-cert.24fa71fdd6":"invariáns ellenőrzések","oss-aion-sim-cert.82ffe3f79b":"a deklarált modell, paraméterek és konfiguráció hozta létre ezt a pályát","oss-aion-sim-cert.8c30aa1c6e":"végrehajtási megfelelőség","oss-aion-sim-cert.790f468e4d":"itt válaszolják meg","oss-aion-sim-cert.f6bceb137b":"TWIN ÉS FMI","oss-aion-sim-cert.cf2b82cb4f":"modell a pályához","oss-aion-sim-cert.a7b63abc02":"Mit tartalmaz a tanúsítvány","oss-aion-sim-cert.07ecfba93e":"pálya és állapot","oss-aion-sim-cert.6874c92610":"eseménysorozat","oss-aion-sim-cert.e77c056cdc":"paraméterek és kezdeti állapot","oss-aion-sim-cert.720a1e14e6":"modell és FMU azonosság","oss-aion-source-to-artefact.ce10986f79":"A forrástól a tanúsítványig","oss-aion-source-to-artefact.c1ce053887":"megnevezett, nem általános","oss-aion-source-to-artefact.75a0766041":"Egy általános állítás sehol sem bukhatott volna meg.","oss-aion-source-to-artefact.b5e1e87d48":"Három megnevezett állítás, és amelyik megbukik, az megnevezi, melyik lépésnél bukik meg.","oss-aion-source-to-artefact.8732c432be":"Hogy a sorozat minden lépése általánosan helyes. Itt egyetlen tanúsítvány sem mondja, hogy egy\n                fordító jó, és egyiknek sem kell.","oss-aion-source-to-artefact.64d8424b5b":"amit nem állít","oss-aion-source-to-artefact.302df26f74":"forrásgráf","oss-aion-source-to-artefact.e95689d184":"a referenciamegvalósításhoz, a megadott bemeneti tartományon","oss-aion-source-to-artefact.0ca9407ef6":"mag-ekvivalens","oss-aion-source-to-artefact.5e68638068":"a deklarált alakmegőrzés nem áll fenn ezen a lépésen a megadott bemeneti tartományra","oss-aion-source-to-artefact.ab2050f59e":"tenzoralakok megőrizve","oss-aion-source-to-artefact.213addbd25":"a kanonizálás és a fúzió során, minden deklarált típusra","oss-aion-source-to-artefact.9deae195e3":"típusok megőrizve","oss-aion-source-to-artefact.2297843111":"opt szint 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"alakállítás elutasítva","oss-aion-source-to-artefact.2fa9505626":"artefaktum","oss-aion-source-to-artefact.910e029098":"illusztratív","oss-aion-source-to-artefact.9f939ff8a4":"magválasztás","oss-aion-sovereignty.0fe4587501":"Az ellenőrzés ott marad, ahol az bizonyítékot tárolják: a létrehozó rendszer mellett, egy felülvizsgálati szolgáltatásban, vagy egy elkülönített archívumban.","oss-aion-sovereignty.2d7bdcb19f":"A döntéseid a te ellenőrzésed alatt maradnak.","oss-aion-sovereignty.9426b99215":"Digitális szuverenitás","oss-aion-sovereignty.be49286f42":"Az LRAT, a DRAT, az Alethe és az egységes formátum biztosítja, hogy a bizonyítványok az eredeti futási környezeten túl is függetlenül ellenőrizhetők legyenek.","oss-aion-sovereignty.25c4717a63":"Hordozható bizonyítási formátumok","oss-aion-sovereignty.d99f32de40":"A bizonyítás ellenőrzése teljesen offline működik. Nem függsz egy távoli szolgáltatástól, amely megváltoztathatja a feltételeit vagy eltűnhet.","oss-aion-sovereignty.34ebf0117d":"Nincs külső függőség","oss-aion-sovereignty.44a8a39a30":"A saját adatközpontodban vagy egy általad választott régióban. A döntés mögötti érvelésnek soha nem kell átlépnie egy olyan határt, amelyet nem hagytál jóvá.","oss-aion-sovereignty.331242fd64":"Ott fut, ahol te választod","oss-aion-sovereignty.599b928605":"Az AION Európában készült, és az ellenőrzője az általa ellenőrzött döntésekkel azonos európai határokon belül maradhat.","oss-aion-sovereignty.45f9bdf22b":"Európai eredet","oss-aion-split-parts.cc0d7be136":"és egy enklávé sem változtat semmin","oss-aion-split-parts.a2fb24de32":"az alapértelmezett build nem rendelkezik kimenő klienssel","oss-aion-split-parts.ffd75a18c4":"TELEPÍTÉS","oss-aion-split-parts.91f8c088aa":"és hogy mire van szüksége mindegyiknek","oss-aion-split-parts.758bd7cc2a":"Négyféleképpen futtathatod","oss-aion-split-parts.400bd9a040":"Szétosztva gépek között, és csak lefedettség-ellenőrzés után összeállítva.","oss-aion-split-parts.bb3d98dfee":"Elosztott","oss-aion-split-parts.74da65bc96":"A saját határaidon belül, olyan címeken, amelyeket te határozol meg.","oss-aion-split-parts.664046e78a":"Szolgáltatás","oss-aion-split-parts.ce2ab3edc4":"Mutass rá egy tanúsítványra. Semmi másnak nem kell futnia.","oss-aion-split-parts.a7218c8eca":"Parancs","oss-aion-split-parts.eefb3bac5d":"A saját folyamatodba ágyazva. Kérdezz és válaszolj, fájl nem íródik.","oss-aion-split-parts.fa66edb7bd":"Könyvtár","oss-aion-stays-here.e3e08ad140":"nothing left the room","oss-aion-stays-here.18ab547f60":"That empty paper is the whole of the claim.","oss-aion-stays-here.907d22f7f0":"Nothing is drawn between the box and the three things beside it.","oss-aion-stays-here.001b06036c":"not in this picture","oss-aion-stays-here.8c84675037":"a link to another machine in the same organisation, off until somebody sets it up on\n              purpose","oss-aion-stays-here.e3527ba222":"The answer arrives with the line down, because the line was never part of it.","oss-aion-stays-here.caf3a041c8":"The delay was seventy five minutes, which is more than an hour, so the booking is\n                cancelled and the fare goes back to the card it came from.","oss-aion-stays-here.7296ef48e5":"what came back","oss-aion-stays-here.395ee2333f":"cancelling ends the booking and returns the fare","oss-aion-stays-here.46d2008236":"an hour means sixty minutes, no rounding","oss-aion-stays-here.2fd4fcb567":"a delay is counted from the time printed on the ticket","oss-aion-stays-here.f5b422b60e":"the written rules it is read against","oss-aion-stays-here.ee04bc3b23":"Only cancel my booking if the delay is more than an hour.","oss-aion-stays-here.af5509db2b":"what you typed","oss-aion-stays-here.3cbd68d678":"the machine in front of you","oss-aion-stays-here.531aa138ac":"answered without leaving","oss-aion-stays-here.fb23ddcc1c":"one question, one place","oss-aion-stays-here.96ccbc62ab":"your words are not a thing anybody else receives","oss-aion-stays-here.1b215d440d":"a machine somewhere else reading your sentence","oss-aion-stays-here.b5a5c63d23":"no outside thing has to be working for the answer to arrive","oss-aion-stays-here.b5c483d9d9":"a service that has to be up","oss-aion-stays-here.fa287ade3d":"nothing asks who you are, because nothing needs to know","oss-aion-stays-here.d5a3ef8b78":"an account to sign into","oss-aion-stays-here.910e029098":"illustrative","oss-aion-stays-here-list.56a6e8f9a7":"és nincs mit átadni","oss-aion-stays-here-list.57eef35c96":"nincs várakozás","oss-aion-stays-here-list.a64eab5744":"amire vár","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"és amire soha nem vár","oss-aion-stays-here-list.13591491d9":"Min fut","oss-aion-stays-here-list.1458464f09":"Nincs regisztráció, így nincs is ügyfélkapcsolat.","oss-aion-stays-here-list.257fa99e08":"Nincs fiók","oss-aion-stays-here-list.b165f2d684":"A mondatod szabályokhoz mérik, ugyanabban a helyiségben, ahol te vagy.","oss-aion-stays-here-list.37a25e4e99":"Írott szabályok","oss-aion-stays-here-list.7ee33f1c7a":"A munka ott történik, ahol te vagy, és senki másnak nem kell futnia.","oss-aion-stays-here-list.d3612f57d8":"A gép, amelynél ülsz","oss-aion-supplier-answer.6d6ddcd4c1":"egy nyilatkozat, négy üres sor","oss-aion-supplier-answer.a5d36ba87c":"A négy kérdés egyikére sincs válasz a lapon.","oss-aion-supplier-answer.d09481b0a5":"Minden szó igaz rajta, és valaki aláírta.","oss-aion-supplier-answer.cec9b36162":"2026. március 14.","oss-aion-supplier-answer.22715d5cb9":"A 2026. március 12-én benyújtott konfigurációról igazolták, hogy mentes az ütközésektől.","oss-aion-supplier-answer.1e0a1891e8":"hiv. SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"megfelelőségi tanúsítvány","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"négy megválaszolatlan","oss-aion-supplier-answer.910e029098":"szemléltető","oss-aion-supplier-answer.f86e5cfb14":"Érvényes maradna a kedd óta érvényes változás után is?","oss-aion-supplier-answer.bbe7a72e5a":"Kinek az adatain, és mennyin?","oss-aion-supplier-answer.c25776701b":"A szabálykészletünk melyik verziójához képest?","oss-aion-supplier-answer.84d9ed92b5":"Mely feltételeket ellenőrizték ténylegesen?","oss-aion-theory-matrix.ac8d77d669":"Propozicionális","oss-aion-theory-matrix.3d52a6d8fe":"Logika","oss-aion-theory-matrix.42f3aff840":"Konfliktusvezérelt klóz-tanulással működő Boole-kielégíthetőség. Minden más elmélet kiindulópontja.","oss-aion-theory-matrix.6078532ab2":"Kvantorok","oss-aion-theory-matrix.02f664dd36":"Modellalapú példányosítást használó elsőrendű logika. A támogatott típusok feletti forall és exists kifejezésekről következtet.","oss-aion-theory-matrix.49167dbc57":"Lineáris aritmetika","oss-aion-theory-matrix.45f053dc73":"Aritmetika","oss-aion-theory-matrix.876aafb6c1":"Lineáris egész aritmetika és valós értékű bemenet megadott skálán. A vizsgáló belsőleg egész vagy adaptív fixpontos értékeket használ.","oss-aion-theory-matrix.b618fadea3":"Nemlineáris","oss-aion-theory-matrix.fd99188844":"Nemlineáris egész aritmetika és valós értékű bemenet megadott skálán. A vizsgáló egész vagy adaptív fixpontos értékeket használ, soha nem lebegőpontos értékeket.","oss-aion-theory-matrix.d11f66aff2":"Lebegőpontos bemenet","oss-aion-theory-matrix.19080aec82":"Az IEEE 754 bemenet csak a határon fogadható el, majd ellenőrzés előtt bináris mezőkre dekódolódik. Belsőleg nem tárolódik, halmozódik fel vagy számítódik ki lebegőpontos érték.","oss-aion-theory-matrix.914807cdef":"Bitvektorok","oss-aion-theory-matrix.e5e429bcc9":"Adat","oss-aion-theory-matrix.23c278d5ca":"Túlcsordulási szemantikával rendelkező, rögzített szélességű bináris szavak. Hardver-ellenőrzéshez és bináris protokoll-ellenőrzéshez.","oss-aion-theory-matrix.b90cc9bfd2":"Tömbök","oss-aion-theory-matrix.eac25fcfc6":"Tömbelmélet select és store axiómákkal. A eldönthető részeket explicit módon követik nyomon.","oss-aion-theory-matrix.3816c4beac":"Karakterláncok","oss-aion-theory-matrix.8e5a47db7d":"Szóegyenletek, hosszkorlátok és reguláris kifejezésbeli tagság karakterláncok felett.","oss-aion-theory-matrix.0efe5fd2a3":"Időbeli","oss-aion-theory-matrix.ab14d0a7db":"Programok","oss-aion-theory-matrix.12dfdaf96a":"kísérő crate","oss-aion-theory-matrix.dd600bd946":"Lineáris és elágazó idejű időbeli logikai részek az időbeli viselkedésről való következtetéshez.","oss-aion-theory-matrix.bb8c6ec608":"Valószínűségi","oss-aion-theory-matrix.042a4dc40b":"Valószínűségi programkövetkeztetés, beleértve a valószínűségi Datalog stílusú következtetést.","oss-aion-theory-matrix.1e1837d4e8":"Egyidejű","oss-aion-theory-matrix.60e30b1d8e":"Következtetés egyidejű programokról és azokról a váltakozásokról, amelyeket a szálak létrehozhatnak.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"elméleti lefedettség","oss-aion-theory-matrix.4329e5da7b":"11 logikai tartomány","oss-aion-theory-matrix.dc1baa8539":"mag + kísérők","oss-aion-theory-matrix.5b1e898fc0":"Elmélet","oss-aion-theory-matrix.cd89376f98":"Itt él","oss-aion-theory-matrix.df1e1e1732":"Tizenegy elmélet, minden következtető olyan lépéseket produkál, amelyeket a bizonyításkiíró rögzíthet, és egy\n            ellenőrző visszajátszhat.","oss-aion-theory-matrix.36ce8cbd4c":"PROP-tól CONCUR-ig","oss-aion-three-questions.381a478392":"Két válasz, egy határ","oss-aion-three-questions.b695e87b19":"kettő megválaszolva, egy birtokolva","oss-aion-three-questions.9f5234300d":"A harmadik kérdés nem a miénk, és ennek kimondása teszi az első kettőt bármit is\n          érővé.","oss-aion-three-questions.8149763299":"A megfelelőség fennáll, egy invariáns meghiúsul a nyomvonalával.","oss-aion-three-questions.5974dafe20":"az ajtó olyan szilárdan van megrajzolva, mint a fal","oss-aion-three-questions.392d2df212":"A modell tulajdonosa birtokolja ezt a kérdést, és véglegesen birtokolja. Semmilyen tanúsítvány itt\n                nem érinti, és egyik sem sugallja csendben.","oss-aion-three-questions.c27ccdf78d":"fizikai érvényesség","oss-aion-three-questions.dbbe530d6c":"ez a modell a valós világot reprezentálja-e","oss-aion-three-questions.44b8fe96f9":"1. lépés 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"ellenpélda, felemelve és felnagyítva","oss-aion-three-questions.ed4bde3030":"a hurok nyomása 8 bar alatt marad","oss-aion-three-questions.4676659f50":"a bypass szelep soha nem nyílik kétszer egy lépésben","oss-aion-three-questions.045757b8af":"a visszatérő hőmérséklet 95 C alatt marad","oss-aion-three-questions.24fa71fdd6":"invariáns ellenőrzések","oss-aion-three-questions.846ee97ae5":"a megadott invariánsok fennállnak-e a teljes futás során","oss-aion-three-questions.17f80cae31":"A futás abból reprodukálódik, amit a tanúsítvány kijelent.","oss-aion-three-questions.ba01008496":"t = 4,20","oss-aion-three-questions.ff4e31b5a8":"x0 = 2,5","oss-aion-three-questions.a74e1bd7e0":"t = 1,75","oss-aion-three-questions.63df9305f6":"tolerancia 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"lépés 0,01 s","oss-aion-three-questions.8c30aa1c6e":"végrehajtási megfelelőség","oss-aion-three-questions.b3c58a82bd":"a megadott modell és konfiguráció hozta-e létre ezt a pályát","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":"modell és FMU","oss-aion-three-questions.b697dd615a":"háromból kettő","oss-aion-three-questions.f14f15b304":"pálya","oss-aion-three-questions.f1f1425b65":"paraméterek","oss-aion-three-questions.910e029098":"szemléltető","oss-aion-three-readings.41d8442e84":"a leolvasások és azok megbízhatósági értékei az AION-é, a döntés a tiéd, és rögzítésre kerül","oss-aion-three-readings.42e8a93311":"három leolvasás, egy döntés, és van szerzője","oss-aion-three-readings.62b4619c99":"olyan szám, amely nem mehet nulla alá","oss-aion-three-readings.48a15f3a18":"öt alatti egész szám","oss-aion-three-readings.ae3925651e":"az újrapróbálkozások száma egész szám, szám, vagy bármilyen érték?","oss-aion-three-readings.dffe60eb6a":"feltett kérdés","oss-aion-three-readings.fb76182a92":"kérdezett, nem feltételezett","oss-aion-three-readings.8c3f96fa33":"Az újrapróbálkozások számának öt alatt kell lennie","oss-aion-three-readings.e9be13f9ec":"Az AION a kétértelműséget felveti, nem pedig eldönti. Megnevezi a kétértelműség fajtáját,\n          felsorolja a leolvasásokat a hozzájuk tartozó megbízhatósági értékekkel és azzal, hogy melyik milyen feltételt\n          érvényesítene, és feltesz egy kérdést, amely megnevezi a kérdéses változót. A döntés továbbra is\n          egy emberé. Ami változik, az az, hogy egyszer, nyilvánosan, az hozza meg, aki\n          felelős a követelményért, nem pedig az, aki éppen a\n          konverziót végezte.","oss-aion-three-readings.f26c9b4ff8":"Öt alatti próbálkozások, egész számként számolva. Vagy öt alatti,\n          ahol a négy és fél legitim érték. Vagy olyan szám, amely szintén nem mehet nulla\n          alá. Ez három különböző szabály, és a különbség végül incidensként\n          bukkan elő. A szokásos munkamenetben az egyiket az választotta, aki a\n          fordítást végezte, egy csütörtökön, anélkül, hogy bárkinek szólt volna.","oss-aion-three-readings.7b5121a8f0":"\"Az újrapróbálkozások számának öt alatt kell lennie.\"","oss-aion-three-readings.ffe5d68fe6":"Valaki választott egyet.","oss-aion-three-readings.55b8b0b398":"A mondatodnak két értelmezése volt.","oss-aion-three-readings.2d1501c7e4":"A csendes döntés, amelyet senki sem hozott meg","oss-aion-three-readings.bec998cdfe":"bármilyen szám, beleértve a négy és felet is","oss-aion-time-left.88430838dd":"senkire nem húztak rá semmit","oss-aion-time-left.227b19b5aa":"Csak kisebb lett, olyan előtt, aki még tehetett volna ellene.","oss-aion-time-left.ac61a8b97d":"A szám ott volt a nyolcadik napon, és soha nem lett hangosabb.","oss-aion-time-left.0703308f0f":"Ezen a lapon nincs riasztás, és semmi nem pirosodott be. Mindegyik ugyanaz a mondat,\n          csak más napon olvassák.","oss-aion-time-left.6222c927fd":"Az megy annak, aki a késői válaszokat hagyja jóvá, dátummal ellátva, és ő ír\n            vissza neked.","oss-aion-time-left.4dfda36be9":"14 nap telt el","oss-aion-time-left.d5f128da73":"a választ tizenhatodikán kellett volna megadni","oss-aion-time-left.58cdff89f9":"egy másik kérés, a dátum után olvasva","oss-aion-time-left.6a7651b700":"harminc nappal azután, hogy kérted","oss-aion-time-left.813d27411f":"a válasz esedékes","oss-aion-time-left.d8b0301347":"másolatot kértél arról, amit rólad tárolnak","oss-aion-time-left.4c3d95bf6a":"a kérés","oss-aion-time-left.795bcac29d":"ma négy nap van hátra","oss-aion-time-left.56ff55acfb":"egy határidő, négyszer olvasva","oss-aion-time-left.acafbd7541":"hívd fel őket ma","oss-aion-time-left.148b21034f":"4 nap van hátra","oss-aion-time-left.f165b88925":"hajtsd be ezen a héten","oss-aion-time-left.b85bbd50bd":"8 nap van hátra","oss-aion-time-left.4a8b5bac9b":"még rendben","oss-aion-time-left.67f9059ac5":"14 nap van hátra","oss-aion-time-left.ca372a8fb7":"írd be a naptárba","oss-aion-time-left.16f29c69b8":"22 nap van hátra","oss-aion-time-left.910e029098":"szemléltető","oss-aion-two-routes.89c24f999c":"a másik megvizsgálja a bizonyítékokat","oss-aion-two-routes.3a5d844ae5":"az egyik út reprodukálja őket","oss-aion-two-routes.028a6cf2d7":"az ő tanúsítványuk","oss-aion-two-routes.5c837ce426":"az ő rendszerük","oss-aion-two-routes.27f65e5e47":"amire szüksége van","oss-aion-two-routes.d0765bbac1":"ÖSSZEHASONLÍTÁS","oss-aion-two-routes.91f8c088aa":"és hogy mindegyiknek mire van szüksége","oss-aion-two-routes.8930c1c9b8":"Két módja a bizonyosságnak","oss-aion-two-routes.d56d985300":"ellenőrzés","oss-aion-two-routes.e1fc5057de":"reprodukálás","oss-aion-two-routes.b028b89ea7":"az ő segítségük","oss-aion-two-routes.999464a52f":"nem reprodukált","oss-aion-two-routes.9b9252883d":"maga a tanúsítvány","oss-aion-two-routes.4dc537c80f":"az állítás, a bemenetek és a szerződés","oss-aion-two-routes.ad95c10298":"az ő pontos verziójuk és gépük","oss-aion-two-routes.cfd05bd2f2":"az ő licencük","oss-aion-value-grid.6cc3364a24":"Bizonyíték csatolva","oss-aion-value-grid.4910ee0aea":"Bizonyíték minden eredménnyel","oss-aion-value-grid.411bf64817":"Az eredmény és a hozzá tartozó tömör tanúsítvány együtt utazik, így a bizonyíték a döntés meghozatalakor jön létre, nem pedig az áttekintés során rekonstruálják.","oss-aion-value-grid.05f9c0dc34":"Másik motor ellenőrizte","oss-aion-value-grid.eea79d1484":"Egy külön ellenőrző végigjárja a tanúsítványt az eredeti premisszák alapján. A modell nem osztályozhatja a saját válaszát.","oss-aion-value-grid.cbd17d59ba":"Hordozható formátumok","oss-aion-value-grid.5e6cba1721":"A bizonyíték túléli a futási környezetet","oss-aion-value-grid.b59cb11a8c":"Az LRAT, DRAT, Alethe és az egységes bizonyítási forma olvashatóvá teszi a tanúsítványt akkor is, ha a modell, a megoldó vagy a szolgáltatás megváltozott.","oss-aion-value-grid.a60bdd7985":"Offline ellenőrzés","oss-aion-value-grid.ebfb47f4ba":"Nincs élő függőség","oss-aion-value-grid.6144cbfcab":"A bizonyíték ellenőrzéséhez nincs szükség hálózatra, fiókra vagy élő kapcsolatra velünk. Amire az audit során támaszkodik, annak nincs visszatérő függősége egy szállítótól.","oss-aion-value-grid.26ef011865":"EU-szuverenitás","oss-aion-value-grid.23672ea195":"Európai, és Ön futtathatja","oss-aion-value-grid.26e89e1455":"Európában készült, és teljes egészében az Ön által felügyelt hardveren futtatható. Az Ön bizonyítékainak és döntéseinek soha nem kell elhagyniuk egy Ön által jóváhagyott joghatóságot.","oss-aion-value-grid.66ac329042":"Kockázatcsökkentett auditok","oss-aion-value-grid.9c8c22f54d":"Bizonyíték, amelyet más fél is tesztelhet","oss-aion-value-grid.6572cc2be6":"Amikor egy szabályozó vagy auditor megkérdezi, hogyan született egy döntés, átad egy tanúsítványt, amelyet bárki ellenőrizhet, ahelyett, hogy egy szállítói ígéretre hagyatkozna, amelyet nem tud tesztelni.","oss-aion-value-grid.6b5eb5323e":"Döntési bizonyíték","oss-aion-value-grid.870c4d024a":"Független ellenőrzés","oss-aion-value-grid.93e2c4e5c4":"Kezdje egy döntési útvonallal, és őrizze meg a tanúsítványát az áttekintés során.","oss-aion-value-grid.217fc9a42f":"tanúsítvány · ellenőrző · archívum","oss-aion-what-you-got.2b69c8154b":"és minden kérdés felvet egyet","oss-aion-what-you-got.7f629c0e9f":"négy dolgot kapsz","oss-aion-what-you-got.7a9727c9f8":"amit te ellenőrizhetsz","oss-aion-what-you-got.bc1c663195":"amit kapsz","oss-aion-what-you-got.0da9f51943":"MEGFIGYELT","oss-aion-what-you-got.8becd8f7be":"és amit eldönt","oss-aion-what-you-got.7d3574bfa5":"Amit a szállító átad","oss-aion-what-you-got.0306f977ae":"Melyik build mondta. Nem azt, hogy mit ellenőrzött, vagy hogyan.","oss-aion-what-you-got.fd12863535":"nem","oss-aion-what-you-got.7b0c210f52":"Verziószám","oss-aion-what-you-got.f78a920a78":"A saját folyamatuk leírása, amit ők írtak.","oss-aion-what-you-got.301941b624":"az ő beszámolójuk","oss-aion-what-you-got.7591a35462":"Módszertani jegyzet","oss-aion-what-you-got.5eec058df8":"Valaki a szó mögött áll, nem az érvelés mögött.","oss-aion-what-you-got.28fde2f659":"csak a név","oss-aion-what-you-got.7573daa505":"Aláírás","oss-aion-what-you-got.94ebda1bd3":"Biztonságos, megvalósítható, konzisztens. Egy szó, munka nélkül.","oss-aion-what-you-got.c99c8e4a9b":"Következtetés","oss-aion-where-it-runs.1ba0334f9f":"nincs harmadik","oss-aion-where-it-runs.03e2311510":"te konfigurálod a kettőt","oss-aion-where-it-runs.076d156600":"nincs benne semmi konfigurálnivaló","oss-aion-where-it-runs.f16ac53550":"a tiéd a konfigurálás","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"és semmi más nem távozik","oss-aion-where-it-runs.6cdd4e486a":"Két konfigurálható határ","oss-aion-where-it-runs.39616fc267":"Egy telepített program, amely helyi folyamatként fut.","oss-aion-where-it-runs.00bfadf39c":"Külső prover","oss-aion-where-it-runs.801db3efcd":"Csak az általad beállított címek, és csak miután beállítottad őket.","oss-aion-where-it-runs.d296df3171":"Egy klaszter","oss-aion-where-it-runs.67204bf5d4":"nincs útvonal","oss-aion-where-it-runs.91984fcc1b":"Egy hosztolt modell","oss-aion-where-it-runs.b8b252650e":"egyáltalán nincs kliens","oss-aion-where-it-runs.ee39579eba":"Az alapértelmezett build","oss-aion-where-it-runs.d49fe2c403":"nincs telepítve","oss-aion-where-you-meet-it.2a85ffb07a":"A hely változik, az ígéret nem: egy indok, amit elolvashatsz, és egy ellenőrzés, amit bárki lefuttathat.","oss-aion-where-you-meet-it.9a8413cd88":"Az AION-t sosem fogod magad futtatni. Ezek azok a helyek, ahol csendben dolgozhat érted.","oss-aion-where-you-meet-it.33fb502270":"Három hétköznapi pillanat","oss-aion-where-you-meet-it.40e32f89eb":"Bárki, akiben megbízol, ellenőrizheti a szelvényt, és megerősítheti.","oss-aion-where-you-meet-it.03ef5e1328":"Amikor egy hivatal géppel ellenőrzi az ügyedet, jogod van egy indokhoz, amit elolvashatsz és megkérdőjelezhetsz.","oss-aion-where-you-meet-it.2390278256":"Egy ellátás vagy űrlap ellenőrzése","oss-aion-where-you-meet-it.2e92ab22dd":"Egy hivatalban","oss-aion-where-you-meet-it.0bd84e3a14":"Az indok le van írva, nem egy rendszerbe van zárva.","oss-aion-where-you-meet-it.c4a1d64452":"A géppel hozott pénzügyi döntések zárt ajtónak tűnhetnek. A szelvény kinyitja, egyszerű lépésekben.","oss-aion-where-you-meet-it.e17885868a":"Egy kölcsön vagy visszatérítés kiszámítása","oss-aion-where-you-meet-it.5e45cf57a0":"A bankban","oss-aion-where-you-meet-it.e2c536b2b3":"Kérheted a szelvényt, és megmutathatod a saját orvosodnak.","oss-aion-where-you-meet-it.0b56f170bf":"Amikor egy gép beleszól a kezelésedbe, látnod kell a mögötte lévő indokot, nem csak az eredményt.","oss-aion-where-you-meet-it.0332b7d1b7":"Egy számítógép segít eldönteni az ellátásodat","oss-aion-where-you-meet-it.4046c6355b":"A kórházban","oss-aion-which-did-you-mean.1ff884a89e":"asked, not guessed","oss-aion-which-did-you-mean.2eb1c230f2":"The choice belongs to whoever wrote the sentence.","oss-aion-which-did-you-mean.d94da790d1":"Two ordinary readings, one case between them.","oss-aion-which-did-you-mean.3b4d06d361":"No question was asked, and nobody was told which of the two it landed on.","oss-aion-which-did-you-mean.93a161cede":"Hours are counted whole. Chosen on a Thursday afternoon by somebody who needed to\n                ship.","oss-aion-which-did-you-mean.4b73aced85":"in force","oss-aion-which-did-you-mean.17e120a269":"Cancel if the delay is more than one hour.","oss-aion-which-did-you-mean.ddf20b2d3c":"the ordinary way this is settled","oss-aion-which-did-you-mean.3f42a39277":"as it actually runs","oss-aion-which-did-you-mean.1e9a34969e":"whole hours","oss-aion-which-did-you-mean.9c2a4532bb":"When you wrote more than one hour, did you mean whole hours, or the delay as it\n                actually runs?","oss-aion-which-did-you-mean.280b34e1e5":"Your train is seventy five minutes late and the booking goes, before you have\n                    decided whether you still want to travel.","oss-aion-which-did-you-mean.97e4112012":"A delay is however long it actually is. An hour and a quarter is more than an\n                    hour.","oss-aion-which-did-you-mean.c5d620cfa2":"reading two","oss-aion-which-did-you-mean.466780685c":"Your train is seventy five minutes late and nothing is cancelled. You wait on\n                    the platform for a train that is still coming.","oss-aion-which-did-you-mean.6b67a39030":"Hours are counted whole. A delay of an hour and a quarter counts as one hour,\n                    and one hour is not more than one hour.","oss-aion-which-did-you-mean.9cf85c69a8":"reading one","oss-aion-which-did-you-mean.ef52f97a5b":"more than one hour","oss-aion-which-did-you-mean.371c6d7efd":"Cancel if the delay is","oss-aion-which-did-you-mean.887640fa01":"you wrote","oss-aion-which-did-you-mean.3650db40be":"waiting for your answer","oss-aion-which-did-you-mean.ff312b91d2":"which did you mean","oss-aion-which-did-you-mean.6f8f8e9f76":"then","oss-aion-which-did-you-mean.910e029098":"illustrative","oss-aion-your-corpus.a54df5506a":"két hét, írásos eredménnyel","oss-aion-your-corpus.ee646eb7cc":"Futtasd ugyanezt a korpuszt azzal, amit ma használsz, és tedd egymás mellé a két jelentést.","oss-aion-your-corpus.f2d4df122d":"Hatvankettő a hatvannégyből, a te gépeden, a te kereteden belül.","oss-aion-your-corpus.8ff7db55b1":"ez a keret","oss-aion-your-corpus.8ada74cbb4":"ez a gép","oss-aion-your-corpus.b2ed177f82":"ez a korpusz","oss-aion-your-corpus.71e1422875":"függvénye","oss-aion-your-corpus.94ef1b7ae8":"64-ből 62 helyes","oss-aion-your-corpus.2ce97993d5":"még nincs verdikt","oss-aion-your-corpus.90326d4307":"eltelt 41 s","oss-aion-your-corpus.69bb8da1c5":"még fut","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"nincs rögzített válasz","oss-aion-your-corpus.72330c3954":"16 GB címtartomány","oss-aion-your-corpus.b4f0923eae":"16 GB futásonként","oss-aion-your-corpus.ff367b6b79":"címtartomány-keret","oss-aion-your-corpus.d1ea89e714":"32 mag, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"szemléltető futtatás","oss-aion-your-corpus.e380724f89":"egy lezárt, egy még fut","oss-aion-your-corpus.f6f66c95d6":"A te korpuszod, a helyén","oss-aion-your-corpus.8d95729188":"lezárt","oss-aion-your-corpus.7817c52b25":"gép","oss-aion-your-corpus.d95f464bc9":"példányok","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"korpusz","oss-aion-your-sentence-parts.8e7ed848f6":"még el tudod olvasni","oss-aion-your-sentence-parts.78c48f428a":"te írtad","oss-aion-your-sentence-parts.c569c19f0b":"Olvasd el újra, ugyanazt a szabályt adja. Közben semmi sem változott.","oss-aion-your-sentence-parts.43015fadc4":"Senkit sem szabad kétszer megterhelni ugyanazért a rendelésért ugyanabban a hónapban.","oss-aion-your-sentence-parts.a14707f800":"A mondatod, változatlanul","oss-aion-your-sentence-parts.2ccea15065":"egy évvel később","oss-aion-your-sentence-parts.a80d4309ae":"Az üzenet tetején, a nem teljesült rész fölött.","oss-aion-your-sentence-parts.f33c43e8f9":"A mondatod, idézetként","oss-aion-your-sentence-parts.f0f795235c":"az a nap, amelyre vonatkozik","oss-aion-your-sentence-parts.fe74b20e8f":"Ahogy beírtad, egy egyszerű sorral arról, hogyan olvasták el.","oss-aion-your-sentence-parts.358b1cbc5d":"A mondatod, megtartva","oss-aion-your-sentence-parts.13211e2743":"az a nap, amikor megírod","oss-aion-your-sentence-parts.27a0362e59":"A SAJÁT SZAVAID","oss-aion-your-sentence-parts.d37598cc12":"három különböző napon","oss-aion-your-sentence-parts.32a5ee7a1f":"Ugyanaz a mondat","page-breadcrumb.c766e66518":"Útvonal","page-toc.7e439c353e":"Ezen az oldalon","section_st_a1_display-split.7c9a7c0610":"Részletek","section_st_f1_cta-dark.90e40d5043":"Kezdés","spindle-extras.127edee78d":"ALÁÍRVA","toc-rail.f5cbdf6bfb":"Tartalomjegyzék"}