{"block_close_oss.c33fd1fe9c":"Bendruomenė ir ekosistema","core-extras.96d330537a":"Bazinė IR","core-extras.bee831a169":"Substratas","core-extras.61a0822826":"Programos „Core“ platformoje","core-extras.15438cc098":"nepalaikoma","core-extras.ad565d9d01":"Funkcija","core-extras.0155bf03e5":"Segmentų legenda","core-extras.8b7110078e":"Algoritmų grupės pagal duomenų tipą","core-extras.25ab4276a6":"Slenkama galimybių matrica","open-source-aion.81f3904118":"Žinių valdymas, pagrįstas AION stiliaus kilme.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Produktai","open-source-aion.de5ec3713e":"Merkle sertifikuojamas analizatorius, kurį AION naudoja įvesties apdorojimui.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Patvirtinta vykdymo aplinka, kuri sujungia AION sertifikatus su vykdymo nuorašais.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Įvykių kilmė sistemoms: maišos grandine susieti įrašai apie tai, kas įvyko, o ne sprendimo viduje esantys samprotavimo žingsniai.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Tęsti tyrinėjimą","open-source-aion.75e393a1ac":"Tyrinėti susijusius projektus","open-source-aion.f9743247fa":"Skaityti dokumentaciją","open-source-aion.ef0fd4ccef":"Patikrinti įrodymo kelią","open-source-aion.77453cde44":"Paleiskite pavyzdinį sertifikatą ir patikrinkite jį naudodami aion check, cvc5 arba bet kurį LRAT suderinamą tikrintuvą, kai tik saugykla bus paskelbta. Paskelbimas planuojamas 2026 m. rugsėjo 1 d., o diegimo instrukcijos bus pateiktos kartu.","open-source-aion.dd58b70279":"Įrodymas pateikiamas kartu su atsakymu","open-source-aion.90e40d5043":"Pradėti","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Atvirasis kodas","open-source-aion.close.accent":"kad kiekvienas galėtų jį patikrinti be jūsų","open-source-aion.close.panel.title":"Ką neša sertifikatas","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Viena forma, aštuoni laukai","open-source-aion.close.panel.row.1.label":"Šeimos","open-source-aion.close.panel.row.1.value":"Devynios registruotos, ir plečiama","open-source-aion.close.panel.row.2.label":"Tikrinimas","open-source-aion.close.panel.row.2.value":"Ribotas, be licencijos, be pakartojimo","open-source-aion.close.panel.row.3.label":"Kur veikia","open-source-aion.close.panel.row.3.value":"Jūsų svetainėje, nieko neišeina","open-source-aion.close.panel.foot":"Sertifikatas išlieka mažas ir po metų vis tiek gali būti patikrintas.","open-source-aion.ea722c81af":"Europos","open-source-aion.26803e587f":"Audito metu","open-source-aion.15edfb4da4":"Pagaminta","open-source-aion.75f527181b":"Neprisijungus","open-source-aion.f8c94a3b4b":"Kas tai yra","open-source-aion.6b5eb5323e":"Neprisijungus, tiesinis laikas","open-source-aion.a49b62e167":"Tikslūs racionalieji skaičiai","open-source-aion.45f053dc73":"Aritmetika","open-source-aion.4329e5da7b":"11 loginių sričių","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Įrodymų formatai","open-source-aion.87415af880":"Įrodymų sertifikatai","open-source-aion.9c8c22f54d":"Įrodymai, o ne pažadai","open-source-aion.44ab85a252":"Kilmė","open-source-aion.3271776def":"Neprisijungus, be paslaugos","open-source-aion.03128bed90":"Patikrinimas","open-source-aion.4f1428fca3":"Aparatinė įranga, kurią valdote","open-source-aion.5703321d0e":"Veikia","open-source-aion.978e9ec250":"Standartinis, nešiojamas","open-source-aion.3229609e15":"Patikrinimas","open-source-aion.cba0624eb5":"Patikrinimo įrašas","open-source-aion.26ef011865":"Žiūrėti, kur veikia","open-source-aion.6f696724c6":"Žiūrėti patikrinimo kelią","open-source-aion.a3f1131acb":"AION yra įrodymų infrastruktūra AI sprendimams, vieša nuo 2026 m. rugsėjo 1 d. Ji pateikia kompaktišką įrodymą šalia AI rezultato, o atskiras tikrintuvas peržiūri tą įrodymą pagal pradines prielaidas ir priima arba atmeta jį be modelio, sprendimo sesijos ar tinklo.","open-source-aion.a2831cb958":"nepriklausomai patikrintiems AI sprendimams","open-source-aion.78db6d1920":"Įrodymų infrastruktūra","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Niekada tik nepasitikėkite","open-source-aion.4c1c703b94":"Esmė","open-source-aion.2518be9b9c":"Nereikalinga","open-source-aion.4ab2910209":"Jūsų paskyra","open-source-aion.3477f4d91d":"Tas pats atsakymas","open-source-aion.d7e70b6e08":"Tas pats klausimas","open-source-aion.930888ee28":"Nėra interneto","open-source-aion.d072f5db48":"Tikrinami poreikiai","open-source-aion.576347ec82":"Europa","open-source-aion.eeffc514bd":"Ne, kiti tai naudoja už jus","open-source-aion.cef1deea41":"Jūs tai kuriate","open-source-aion.64ae43e8fe":"Įrodymų tikrinimas","open-source-aion.fdd1e56642":"Atsakymų kvitas","open-source-aion.704869f20f":"Paprastais žodžiais","open-source-aion.658a8547d7":"Ar tai saugu?","open-source-aion.06c805023d":"Priežastis, kurią galite nešiotis","open-source-aion.e92ed103c2":"AION prideda patikrinamą kvitą prie AI atsakymo. Jūsų asistentas gali pasakyti, ar samprotavimas laikosi, nereikalaudamas, kad suprastumėte mechanizmą, o kvitą galima patikrinti dar kartą be interneto ryšio. AION yra viešas nuo 2026 m. rugsėjo 1 d., tą pačią dieną, kai pasirodo ir jo dokumentacija.","open-source-aion.336366183a":"AI sprendimams","open-source-aion.41cbc965ef":"Patikrinamas kvitas","open-source-aion.4eabc3bc63":"CDCL su teorijų papildiniais","open-source-aion.68836c550e":"Core","open-source-aion.0cdb7c9a36":"Linijinis laikas, neprisijungus","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teorijos","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Kalba","open-source-aion.942587e61e":"Projekto aprašas","open-source-aion.d4a74b503a":"Skaityti dokumentus","open-source-aion.b683cc6ce4":"AION atidaro programą 2026 m. rugsėjo 1 d.: įrodymų infrastruktūra AI sprendimams, o saugykla ir jos dokumentacija skelbiamos kartu. Post hoc paaiškinimai tik prašo pasitikėti kita tos pačios sistemos sąskaita. AION vietoj to išduoda įrodymo sertifikatą, kurį bet kuris tikrintuvas gali patikrinti neprisijungęs, per linijinį laiką, be sprendiklio.","open-source-aion.8f2ee5be83":"AI rezultatai","open-source-aion.376868cca2":"nepriklausomai patikrintiems","open-source-aion.hero.source":"Paklausti apie leidimą","open-source-aion.45471af790":"Įvykių kilmė","open-source-aion.ac9835d4bd":"Vykdymo nuorašai","open-source-aion.24f43d4446":"Sintaksės medžiai","open-source-aion.f6b229e148":"Jūsų failai, jūsų aparatinė įranga, jūsų skaičiai ir tikrintuvas, kuris skaito nepažįstamojo įrodymą","open-source-aion.144fbc96c6":"SUSKAIČIUOTA","open-source-aion.719075bb86":"PARSE IR SPRĘSK","open-source-aion.8f84ba12df":"JŪSŲ PATYS FAILAI","open-source-aion.8f088dbc07":"Tai dviejų savaičių vertinimas su rašytiniu rezultatu, o ne demonstracija. Kolekcija yra jūsų, aparatinė įranga yra jūsų, skaičiai yra jūsų, kad galėtumėte skelbti viduje, ir niekas šiame pratime nereikalauja pokalbio su mumis. Įrankis pateikiamas kartu su saugykla, todėl paleidimas gali prasidėti tą dieną, kai gaunama prieiga.","open-source-aion.36ef075645":"Teisinga nėra AION nuomonė apie save. Kiekvienas failas standartinėje kolekcijoje turi žinomą būseną, o įrankis lygina AION atsakymą su tuo žymėjimu kiekvienu atveju, todėl galutinis skaičius yra rezultatas prieš nurodytą pagrindinę tiesą. Adresų erdvė vienam paleidimui gali būti apribota, todėl vienas patologinis failas negali nusinešti mašinos.","open-source-aion.e5bce47d50":"Ką sukuria bandomasis projektas","open-source-aion.680f97998b":"AION pateikia etaloninį įrankį, todėl skaičiai, kuriuos cituojate verslo atvejyje, yra tie, kuriuos jūsų patys failai sukūrė jūsų aparatinėje įrangoje. Nukreipkite jį į kolekciją, ir jis įrašo analizės laiką, sprendimo laiką ir didžiausią nuolatinę atmintį kiekvienam atvejui, tada išspausdina, kiek atsakymų buvo teisingi. Paleidimas kartojamas toje pačioje kolekcijoje, todėl antrą vertinimą galima pastatyti šalia pirmojo eilutė po eilutės.","open-source-aion.2d5f8acea9":"ir perskaitykite skaičius","open-source-aion.5586707b63":"Pirmiausia paleiskite savo failus","open-source-aion.67ec8d614c":"Prieš įsipareigodami","open-source-aion.55744ee096":"Net ir turint visa tai, kažkas ginčys rezultatą. Tam reikia kelio, o ne susitikimo","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"STEBIMA GYVAI","open-source-aion.24538c3986":"MARŽA, NE ALARMAS","open-source-aion.368f25d10d":"Kažkur prieš tą paskutinį buvo diena, kai darbas vis dar buvo popietės darbas, ir būtent tą dieną vadovas nori pažymėti, nes kiekviena galimybė po jos kainuoja daugiau. Kasdien skaityti maržą yra tai, kaip ta diena randama.","open-source-aion.c5701049a8":"Ataskaita turi savininką, o ne eilę, ir kiekviena jos eilutė reiškia skirtingą darbą su skirtingu skubumu. Vienas baigtas ir nereikalauja niekieno veiksmų. Vienas turi keturias dienas, todėl tai šios savaitės planas, o ne šiandienos. Vienas turi vieną dieną, todėl tai šio ryto darbas. Vienas jau dvi savaites praėjo jo datą, todėl reikia vardo ir sakinio, paaiškinančio spragą.","open-source-aion.26435b9406":"Viskas, kas turi terminą, gali būti stebima, kol veikia, o AION praneša likusią erdvę kaip pasirašytą skaičių, o ne kaip išlaikymą. Atsakymo langas su keturiomis dienomis. Saugojimo laikotarpis praėjo dvi savaites po datos, kurią turėjo būti uždarytas. Tai operacinis rodmuo, kurį kažkas gali panaudoti šį rytą. Skaičius juda kiekvieną dieną, todėl ataskaita skaitoma kaip marža, o ne kaip alarmas.","open-source-aion.f49579b8d6":"prieš tai, kai tampa pažeidimu","open-source-aion.0e185152c8":"Jūs skaitote maržą kasdien","open-source-aion.bc09e774e9":"Galiojantys įsipareigojimai","open-source-aion.cff8079f65":"Įrašai atsako į klausimus po fakto. Kai kuriuos įsipareigojimus reikia stebėti, kol jie veikia","open-source-aion.127edee78d":"PASIRAŠYTA","open-source-aion.b1c1ba1af8":"SĄRAŠAS","open-source-aion.8d27ef68f5":"SEPTYNI GALI JUDĖTI","open-source-aion.c84f34cb7c":"Priskyrimas yra antras mechanizmas, o ne dar viena to paties įrašo stulpelis. Parašas taikomas išvedimo tvarkai, todėl kas sukūrė rezultatą, išlieka pasikeitus rangovui, o du identiški atsakymai iš dviejų tiekėjų lieka atskiriami. Tai galioja net tada, kai abu buvo sukurti iš tų pačių deklaruotų įvesties duomenų.","open-source-aion.a76201631f":"Kiekvienas to sąrašo įrašas nurodo komponentą, kuris pasikeitė, o saugomas sertifikatas už jo yra išsamus, todėl pakartotinis tikrinimas yra paleidimas, o ne rekonstrukcija. Alternatyva, kurią turi dauguma organizacijų, yra pasirinkimas tarp visko iš naujo tikrinimo ir nieko iš naujo netikrinimo, ir praktiškai tas pasirinkimas visada daromas vienodai.","open-source-aion.5c82441a97":"Įrašas","open-source-aion.10d9103c24":"Rezultatas, priimtas praėjusiais metais, buvo priimtas pagal praėjusių metų sutartį. Septyni skirtingi dalykai gali judėti po juo: tikrintuvo taisyklė, sertifikato schema, politika, kompiliatoriaus taisyklė, vykdymo sutartis, modelio versija arba modeliavimo sutartis. Kai vienas iš jų pasikeičia, klausimas, kurios praeities išvados rėmėsi pasikeitusia dalimi, turi atsakymą, o atsakymas yra sąrašas.","open-source-aion.1829734913":"gaunate sąrašą, ką perdaryti","open-source-aion.6d49555943":"Kai taisyklė vėliau pasikeičia","open-source-aion.7f325552d8":"Jūsų audito pėdsakas su versijomis","open-source-aion.d272027f73":"Vietinį įrašą lengva vesti. Sunkiau išlaikyti jį prasmingą, kai taisyklės keičiasi","open-source-aion.05a898ec87":"BE MODELIO HOSTO","open-source-aion.c530254e40":"JŪSŲ SVETAINĖ","open-source-aion.66b3dbbe8f":"JOKIO IŠEINANČIO SKAMBUČIO","open-source-aion.8ae7a1670e":"Duomenų apsaugos pareigūnui, atsakančiam į trumpą klausimų sąrašą apie šį kelią ir tik šį kelią: nėra procesoriaus, kurį reikėtų įtraukti į registrą, nėra perdavimo, kurį reikėtų pagrįsti, nėra modelio teikėjo grandinėje ir nėra nieko mūsų, kas galėtų būti nepasiekiama jūsų incidento metu arba pasikeisti po jumis pagal kažkieno kito išleidimo grafiką. Jūsų turima versija yra ta, kuri veiks ir kitais metais. Tas atsakymas skaitomas vienodai, ar svetainė prijungta, ar atskirta nuo tinklo.","open-source-aion.60ad7ae15b":"Du keliai gali kirsti ribą, ir abu galite konfigūruoti patys. Klasteris veikia per adresus, kuriuos nustatote patys. Išorinis įrodymų teikėjas, jei norite jį įtraukti į procesą, yra programa, kurią įdiegiate, ir ji veikia kaip vietinis procesas jūsų pačių įrenginyje.","open-source-aion.2f6a307ba7":"Operatoriams","open-source-aion.dbc08c41b9":"Numatytoji AION versija neturi jokio išeinančio kliento. Patikros tikrinimas, reikalavimo vertimas, signalo stebėjimas ir paieška vyksta tame pačiame įrenginyje, kuriame juos pradėjote, jūsų pačių ribose, jūsų kontroliuojamoje aparatinėje įrangoje. Grandinėje nėra talpinamo modelio ir nėra kelio į jį. Ta pati versija veikia ir atskirtoje patalpoje, ir prijungtoje, nes niekam numatytajame kelyje nereikia tinklo, kad užbaigtų darbą.","open-source-aion.90c790a231":"ir niekas neskambina į išorę","open-source-aion.4b9230d5db":"Viskas veikia vietoje","open-source-aion.fe7f7fc61a":"Kur vyksta darbas","open-source-aion.ed461cacdf":"Įrodymas apie taisykles yra vienas dalykas. Kur vyksta darbas, yra kitas klausimas, kurį žmonės užduoda","open-source-aion.640d41197b":"VIENAS IŠTIRTAS","open-source-aion.29ff0fb82f":"SEPTYNI TEIGINIAI","open-source-aion.431d64456a":"Tai teiginys apie taisyklių rinkinį, o ne imtis praeities atvejų. Išbandžius tūkstantį programų, matoma tūkstantis programų; nesikišimo patikra apima kiekvieną porą, kurią leidžia taisyklės, naudojant savaiminę kompoziciją, savybių nukreiptą pasiekiamumą ir k-indukciją, o abstrakcija sugriežtinama, kai pora parodo, kad ji buvo per laisva. Kai ji nepasitvirtina, grįžtantis rezultatas nėra statistika. Tai dvi programos, identiškos visais viešaisiais laukais, besiskiriančios tik tuo, apie kurį klausėte, su dviem skirtingais rezultatais, atspausdintais greta. Tai išvada, kuria atitikties pareigūnas gali remtis tą patį rytą.","open-source-aion.e5e1cd5506":"Paimkite tą, kurį reguliuotojai ir skundo teikėjai užduoda dažniausiai, skirtingais žodžiais: ar šis laukas pakeitė rezultatą? Į jį atsakoma kaip į savybę per du paleidimus. Susiekite visus viešuosius įvesties duomenis, palikite aptariamą lauką laisvą kiekvienoje pusėje ir reikalaukite, kad matomas rezultatas sutaptų. Jei jis visada sutampa, rezultatas nepriklausė nuo to lauko.","open-source-aion.227872d789":"Vienas iš jų, išnagrinėtas","open-source-aion.5f92fd5ed1":"Sertifikatas įdomus tik dėl sakinio, kurį leidžia pasakyti. Šis dvejetainis failas atitinka šį šaltinio grafą. Ši darbo krūvis veikė pagal šias galimybes. Šis veiksmas turėjo reikiamą patvirtinimą. Šis optimumas atitinka šią ribą. Ši trajektorija gerbė šiuos invariantus. Ši išvada išplaukia iš šių apribojimų. Ši išvestis gauta iš šio tikslaus modelio ir parametrų rinkinio.","open-source-aion.418a3bc2fc":"pateikti reguliuotojui","open-source-aion.7a7af31402":"Septyni teiginiai, kuriuos galite","open-source-aion.a13c1cf72d":"Ką iš tikrųjų galite įrodyti","open-source-aion.20467ce964":"Byla susijusi su viena programa. Kai kurie klausimai susiję su dviem iš karto","open-source-aion.dde18d1e41":"KAS TURI NUOSAVYBĘ","open-source-aion.f3b603a5b2":"VERTĖMIS","open-source-aion.53d2799375":"BYLA","open-source-aion.f18bb15530":"Abu yra išvados, ir abi turi savininką. Nei viena nėra gaunama iš „išlaikyta“ ar „neišlaikyta“. Kontrpavyzdys parodo, kurią iš dviejų laikote.","open-source-aion.d83e9c1af9":"Kontrpavyzdys taip pat užbaigia ginčus, kurie kitaip tęstųsi savaites, nes tai nėra niekieno nuomonė, ar taisyklė per griežta. Tai byla, sudaryta iš realių verčių, su kuriomis taisyklė veikia. Arba byla įmanoma kažkur jūsų versle, tokiu atveju taisyklė teisinga, o sistema klaidinga, arba byla negali įvykti, tokiu atveju specifikacijoje trūksta apribojimo, kurį visi manė esant, bet niekas neužrašė.","open-source-aion.7455444aea":"Kai taisyklė nesilaikoma, AION grąžina konkrečią situaciją, kuri ją pažeidžia, išreikštą proza: kokios vertės, kokio tipo ir kokias sąlygas jos pažeidžia. Inžinierius gali tai atkurti, o vadovas gali įvertinti kainą, ir pagaliau jie ginčijasi dėl tos pačios bylos.","open-source-aion.7d4873637b":"kaip bylą, kuri ją pažeidė","open-source-aion.aeb268fac7":"Pažeista taisyklė grįžta","open-source-aion.b5951203ea":"Ką nesėkmė jums duoda","open-source-aion.8a9a27b8f7":"Lieka sakiniai, kurie gali reikšti du dalykus, ir apie juos klausiama","open-source-aion.e1814a04c0":"PERŽIŪRIMA","open-source-aion.20e7dea6cd":"PAPRASTAS SKAITYMAS","open-source-aion.295ea7bb80":"ANGLŲ KALBA IŠLAIKYTA","open-source-aion.a4abbaea33":"Vertimas yra šablonų biblioteka, o ne modelis, todėl tas pats sakinys visada sukuria tą patį skaitymą, ir peržiūros nereikia kartoti, nes įrankis pakeitė nuomonę tarp ketvirčių. Antrasis peržiūrėtojas, skaitydamas tą patį sakinį, pasiekia tą pačią sąlygą, todėl peržiūra yra perkeliama.","open-source-aion.f3689055f1":"Kiekviena sąlyga pateikiama su vienu paprastos anglų kalbos sakiniu, nurodančiu, ką ji koduoja, ir su dydžiais, su kuriais ji veikia, kiekvienas pavadintas pagal vertės tipą ir su atskira aprašymo eilute. Taigi peržiūrą gali atlikti asmuo, kuriam priklauso reikalavimas, o ne tik tas, kuriam priklauso žymėjimas.","open-source-aion.cac3da045e":"Kaip tai laikosi","open-source-aion.c6b765e4cc":"Reikalavimus rašo žmonės, kurie supranta verslą, o sąlygomis juos paverčia žmonės, kurie supranta žymėjimą, ir šios dvi versijos vėliau metų metus tolsta viena nuo kitos. AION jas laiko kartu: reikalavimą užrašote kaip anglišką sakinį, o iš jo sukurta sąlyga neša jūsų sakinį kartu su savimi. Peržiūrintysis skaito abu kartu, todėl nukrypimas matomas puslapyje, o ne incidente.","open-source-aion.589a38f560":"asmeniui, kuris paklausė","open-source-aion.5d212c3d75":"Taisyklė lieka suprantama","open-source-aion.5373332e20":"Kas gali matyti, kas buvo patikrinta","open-source-aion.5f882ec681":"Nuoroda naudinga tik tada, jei taisyklę, į kurią ji rodo, gali perskaityti jūsų žmonės","open-source-aion.bca8d6442c":"VEIKSMINGA","open-source-aion.705bc98c49":"ĮVARDIJA TAISYKLĘ","open-source-aion.ab9f5d57e4":"ĮVARDIJA ŽINGSNĮ","open-source-aion.b4ba975800":"Būtent šių dalykų atskyrimas leidžia atsisakymą iš viso išsiųsti tiekėjui, nes kaltinimas yra vienintelis dalykas, kurio negalima tyliai atsiimti iš tiekėjo santykių.","open-source-aion.7a47f854de":"Būtent tokia forma yra tai, su kuo gali dirbti auditorius ar tiekėjų vadybininkas, nes ginčas paverčiamas nuoroda. AION taip pat atskiria dvi nesėkmes, kurios ateina po vienu žodžiu. Arba žingsnis nesusikuria iš naujo, o tai yra įrodymo trūkumas ir išvada prieš jį sukūrusį asmenį, arba žingsnis naudoja taisyklę, kurios šis tikrintuvas neturi, o tai yra apimties klausimas jums, o ne išvada prieš ką nors.","open-source-aion.d9469b7dda":"Nesėkmė, kuri skelbia „patikra nepavyko“, negali būti priskirta, ginčijama ar ištaisyta, ir ji ateina kaip ginčas, o ne kaip išvada. AION grąžina vietą ir priežastį: kuris žingsnis, kuriame faile, kurią taisyklę jis teigė taikantis ir ko trūko, kai žingsnis buvo atkuriamas. Atsisakymas gali grįžti gamybos komandai su atkuriamu adresu. Jei įrodymo negalima atkurti, atsakomybė tenka gamintojui; jei tikrintuvui trūksta nurodytos taisyklės, tai yra apimties sprendimas. Tai skirtingos eilės ir skirtingas taisymas.","open-source-aion.ccc6a09991":"su žingsniu ir priežastimi","open-source-aion.3619f211ef":"Nepavykęs patikrinimas grįžta","open-source-aion.29801085dc":"Rezultatas, kuris turi būti naudojamas","open-source-aion.57c6ba11fc":"Septyni gamintojai tvarko savo rezultatus. AION standartizuoja įrodymų voką ir maršrutizavimą.","open-source-aion.f37804f36b":"VIENAS VOKAS","open-source-aion.8a3b4bf313":"SEPTYNI GAMINTOJAI","open-source-aion.479f1de8ea":"Bendras vokas organizacijai suteikia vieną registrą, vieną suderinamumo modelį ir vieną paveiktų elementų rinkinį, kai pasikeičia taisyklė. Kiekviena sertifikatų šeima išlaiko savo tikrintuvą ir atsisakymo taisykles. Nauja šeima prisijungia užregistruodama šias taisykles ir savo tikrintuvą; AION netampa gamintoju. Registras yra ta dalis, kuri auga.","open-source-aion.5b958e86c7":"Sprendėjas gali išduoti loginius, optimizavimo ar laiko sertifikatus. Twin ir FMI sukuria skirtingus rezultatus, bet dalijasi modeliavimo ir FMI šeima. Gamintojas nurodo, kas buvo pagaminta; sertifikatų šeima nurodo, kaip tikrinamas jos teiginys. Šie du dalykai užrašomi atskirai, todėl vienas negali būti nuskaitytas iš kito.","open-source-aion.57e1cc2701":"Ką keičia vienas vokas","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin ir FMI yra septyni skirtingų rezultatų gamintojai, o ne septynios sertifikatų šeimos. AION suteikia jų įrodymams vieną voką ir nukreipia kiekvieną sertifikatą į jo šeimos tikrintuvą. Vokas neša gamintoją, šeimą, schemą ir deklaruotus įvesties duomenis, o šeimos tikrintuvas išlaiko techninę reikšmę. Tiekėjas gali pakeisti savo įgyvendinimą nekeisdamas organizacijos įrodymų ribos; tik šeimos ar schemos pakeitimas išplečia suderinamumo peržiūrą.","open-source-aion.65a41e884e":"vienas vokas įrodymams","open-source-aion.837663a52a":"Septyni gamintojai ir","open-source-aion.647e0f46ec":"Septyni gamintojai","open-source-aion.af6010147d":"Vienas tiekėjas yra vieni santykiai. Įdomus klausimas yra, kiek toli tai siekia","open-source-aion.35ecafecfb":"JŪSŲ MAŠINA","open-source-aion.0676f9f8de":"TRYS DALYKAI","open-source-aion.dfc87eabb4":"Tai perkelia pokalbį nuo žemės, kurioje tiekėjai jaučiasi patogiai. Jūs nebeklausiate jų, kad jus įtikintų, ir nebeklausiate, kad atkurtumėte jų aplinką. Kai turite tuos tris dalykus, patikra yra jūsų, kad galėtumėte ją kartoti kada norite, bet kokioje aparatinėje įrangoje, įskaitant savaitę po sutarties pabaigos.","open-source-aion.7677ed77e3":"Verta būti tiksliems dėl artefakto, nes jis ne visada yra failas. Priklausomai nuo šeimos, tai gali būti failas, archyvas, srautas, pasirašytas paketas, pėdsakų pora, liudytojas, vykdymo kvitas ar struktūruotas išvedimas. Kad ir kokia būtų jo forma, jis visada yra tai, ką tikrintuvas gali perskaityti be gamintojo.","open-source-aion.a29def781f":"Kas iš tikrųjų yra sertifikatas","open-source-aion.fdca1fef67":"Sertifikatas nėra žurnalas ir ne santrauka. Tai įrodymas, kurį paliko darbas, ir tai, ką tiekėjas perduoda, yra trys dalykai: teiginys, deklaruoti įvesties duomenys ir sutartis, pagal kurią jis buvo sudarytas, bei sertifikatas, kurį sukūrė sistema. Ne jų licencija, ne jų versija, ne jų mašina. Šie trys keliauja kartu, ir jiems patikrinti iš tiekėjo nieko daugiau nereikia.","open-source-aion.b054d236cd":"o ne jų programinė įranga","open-source-aion.53e1575f60":"Jūs tikrinate sertifikatą","open-source-aion.5e40f4ba8a":"Pozicijos pasikeitimas","open-source-aion.b9e2767b28":"Yra kelias, kuris nėra nei jų tikėjimas, nei jų programinės įrangos pakartotinis paleidimas","open-source-aion.7d87348ad6":"JŪSŲ VARDAS ANT JO","open-source-aion.48a5aca907":"JŲ SISTEMA","open-source-aion.32c3cafa08":"Tai yra pozicija, į kurią žiūri auditorius, kai klausia, kaip įsitikinote, įskaitant pagal įrodymų taisykles, tokias kaip ES AI akto. AION ją keičia, suteikdamas kiekvienam iš šių rezultatų sertifikatą, kurį galite patikrinti, nereprodukuodami tiekėjo ir neturėdami prieigos prie nieko, ką jie laiko savo. Patikra vyksta jūsų pačių mašinoje, tik pagal sertifikatą.","open-source-aion.ac90e72b2c":"Įprasti keliai abu galiausiai veda į tą pačią vietą. Galite paprašyti jų įrodymų, tai yra dokumento, kurį jie parašė apie savo programinę įrangą. Arba galite paprašyti patys atkurti jų sistemą, tam reikia jų licencijos, jų versijos ir jų aplinkos, ir vis tiek liekate priklausomi nuo to, kas sukūrė atsakymą.","open-source-aion.fc63c534d2":"Sprendėjas sako, kad tvarkaraštis yra įmanomas. Dirbtinio intelekto sistema pasiekia reglamentuotą išvadą. Agentų sistema atlieka operaciją jūsų vardu. Kompiliatorius sukuria saugai kritišką artefaktą. Vykdymo aplinka vykdo kontroliuojamą darbo krūvį. Simuliacija patvirtina dizaino sprendimą. Skaitmeninis dvynys praneša, kad veikimo būsena yra saugi. Kiekvienu iš šių atvejų darbas įvyko kažkur kitur, o pasekmės tenka jums.","open-source-aion.c9672e2ac8":"jūsų vardas yra ant atsakymo","open-source-aion.925d7b4a2d":"Jų sistema tai sukūrė","open-source-aion.47b025f850":"Kur yra atsakomybė","open-source-aion.905aee629b":"Skaičiavimas, priežastis, kurią galite perskaityti, ir ta pati taisyklė visiems, kurių tai liečia","open-source-aion.4d0ee37058":"DATA","open-source-aion.6ccb4a6f6a":"TA PATI PRIEŽASTIS","open-source-aion.84adcc762b":"TAS PATS PATIKRINIMAS","open-source-aion.56c6f422d8":"Tai laiškas, kurį kas nors gali parašyti. Vietoj to, kad sakytumėte, jog sistema nusprendė, galite pacituoti taisyklę, įvardyti datą, įvardyti versiją ir paklausti ją parašiusio asmens, ar tai jis turėjo omenyje.","open-source-aion.073cdea47b":"Tai vertinga tik tada, jei galite tai pamatyti, todėl jūsų rankose lieka trys dalykai, kuriuos galite naudoti. Taisyklė, paprastais žodžiais, kuriuos galite perskaityti garsiai. Priežastis, kodėl ji buvo pritaikyta jums, cituojant tą taisyklę su jūsų situacija. Ir data, kada skaičiavimas buvo patikrintas. Šis įrašas nurodo, kas jį patikrino ir prieš kurią taisyklių versiją jis buvo tikrinamas.","open-source-aion.a50f912efb":"Ką galite su tuo daryti","open-source-aion.1d94c73b03":"Pateikite tą patį skaičiavimą AION du kartus ir patikrinimas išeis tas pats, pirmadienį ir penktadienį, jums ir žmogui, stovinčiam už jūsų eilėje. Ne tai, kad visi gauna tą patį atsakymą, nes žmonės pateikia skirtingas situacijas. Esmė ta, kad pats patikrinimas neklaidžioja ir niekas neinterpretuoja jūsų atvejo vietoje. Po metų tas pats skaičiavimas tikrinamas pagal tas pačias rašytines taisykles, todėl jums duotą atsakymą vis tiek galima paaiškinti.","open-source-aion.fba7a52bf4":"pirmadienį ir penktadienį","open-source-aion.77a3327a99":"Patikrinta vienodai","open-source-aion.cebde51ae2":"Kas lieka jūsų rankose","open-source-aion.a566f0cb1b":"Laikas yra viena iš taisyklių rūšių. Dauguma jų yra paprastos, taikomos visiems","open-source-aion.29231cd04d":"LAIKU","open-source-aion.d89f7642e7":"STEBIMA","open-source-aion.5d491ce50f":"LIKUSIOS DIENOS","open-source-aion.c50722f442":"Tas pats skaitymas veikia ir po datos, ir prieš ją. Keturiolika dienų praėjo yra faktas, apie kurį galima ko nors paklausti, su data, o ne raudona žyma, kuri atsirado be įspėjimo.","open-source-aion.0b1cbd5f8a":"Leidimas nieko nesako, kol jis nustoja būti leidimu, o tada pigūs variantai jau dingę. Skaičius pasako, kur esate: dvidešimt dvi dienos liko yra užrašas dienoraštyje, keturios dienos liko yra ši savaitė, viena diena liko yra šį rytą.","open-source-aion.af41b675b0":"Ką tai jums duoda","open-source-aion.2ff91b62ec":"Taisyklės su laikrodžiu yra tos, kurios pagauna žmones. Atsakymas, kurį reikia pateikti per trisdešimt dienų, grąžinimo langas, laikotarpis, po kurio kažkas turi būti ištrinta. AION stebi jas, kol jos vyksta, ir praneša, kiek vietos liko šiandien, dienų skaičiumi.","open-source-aion.94dc6c2b80":"gerokai prieš paskutinę","open-source-aion.6bdbc0422a":"Galite matyti likusias dienas","open-source-aion.37f768721f":"Terminai, kurie liečia jus","open-source-aion.e3c2d4b24a":"Darbas vietoje taip pat reiškia, kad jis gali sekti laiką už jus","open-source-aion.4ace2cc9bc":"BE PASKYROS","open-source-aion.c5c3055a7b":"NIEKO NESIUNČIAMA","open-source-aion.a5b9137c2b":"LIEKA ČIA","open-source-aion.874bab5372":"Jei ryšys apskritai yra, tai toks, kurį kas nors sąmoningai nustatė tarp savo mašinų, ir jis išjungtas, kol jie to nepadaro. Jūsų sakinys skaitomas pagal rašytines taisykles, tame pačiame kambaryje kaip ir jūs, ir atsakymas ateina, kai linija nutrūkusi. Niekas nepaliko mašinos, kad jį sukurtų, ir niekas nebuvo išsiųsta.","open-source-aion.4a03f17947":"Jokios paskyros, jokios registracijos ir jokios išorinės paslaugos, kuri turėtų veikti, būti patikima ar dar egzistuoti kitais metais, kad gautumėte atsakymą.","open-source-aion.f10eb79b5b":"Ką tai reiškia jums","open-source-aion.c17d4e01b4":"Daugelis įrankių atsako į klausimą apie jus, išsiųsdami jūsų duomenis ir laukdami atsakymo. Jūsų informacija keliavo į įmonę, kurios nepasirinkote, galbūt į šalį, kurios pavadinimo niekada neišgirsite. AION dirba ten, kur jau yra. Niekas nesiunčiama, nes nėra ko siųsti.","open-source-aion.9e50609149":"mašinoje, prie kurios esate","open-source-aion.ca67037369":"Atsakymas apskaičiuojamas","open-source-aion.7df600af96":"Kur keliauja jūsų duomenys","open-source-aion.399483042a":"Būti paklaustam yra viena pusė. Kita pusė yra tai, ką jums pasako, kai atsakymas yra ne","open-source-aion.0b5b7048ea":"JŪS RENKATĖS","open-source-aion.f12c755afa":"JI JŪSŲ KLAUSIA","open-source-aion.300453f44e":"DVI REIKŠMĖS","open-source-aion.6debd2c487":"Tai skamba kaip mažas mandagumas. Tai skirtumas tarp taisyklės, kuriai sutikote, ir taisyklės, kurią kas nors atspėjo už jus, paskubomis, dieną, kai jūsų nebuvo. Spėjimas yra įprastas būdas tai daryti, ir niekam niekada nepasakoma, kad tai įvyko. Klausimas kainuoja akimirką ir pašalina spėjimą iš įrašo.","open-source-aion.6f02dd9d43":"AION sustoja ir klausia. Jis pacituoja jums žodžius, dėl kurių nėra tikras, aiškiai išdėsto abu skaitymus paprasta kalba, pateikia klausimą su jūsų pačių fraze ir laukia. Jūs renkatės. Niekas nėra sprendžiama, kol klausimas atviras.","open-source-aion.0ccfcd0de4":"Kas keičiasi","open-source-aion.b3124516ab":"„Atšaukti, jei vėlavimas ilgesnis nei viena valanda.“ Ar septyniasdešimt penkios minutės yra daugiau nei viena valanda, ar valandos skaičiuojamos sveikos, taigi septyniasdešimt penkios minutės yra viena valanda, o viena valanda nėra daugiau nei viena? Abu skaitymai yra įprasta anglų kalba. Jie nesutaria tiksliai dėl vieno atvejo, ir tas atvejis tikrai pasitaikys.","open-source-aion.4449c95cf9":"reiškia du dalykus, jis klausia","open-source-aion.75ca04ac1b":"Jei jūsų sakinys galėtų","open-source-aion.2297deb89a":"Kai jūsų sakinys neaiškus","open-source-aion.32cf0852b8":"Sakinys gali reikšti du dalykus vienu metu, ir dėl to verta sustoti","open-source-aion.b5d2541ad8":"JOKIOS ŽARGONĖS","open-source-aion.3b7c198e57":"JIS GRĮŽTA","open-source-aion.c4cc4b9845":"SAVO ŽODŽIAIS","open-source-aion.5c9a5c3396":"O kai tas pats sakinys perskaitomas dar kartą, jis sukuria lygiai tą pačią taisyklę, nes niekas AION sistemoje nesimoko, nesikeičia ar neturi geresnės idėjos tuo tarpu. Taisyklė, kuriai kartą pritarėte, lieka ta taisyklė, kuriai pritarėte, o ją gaunantis asmuo skaito jūsų sakinį, o ne kažkieno jo santrauką. Nieko pakeliui nepaverčia jo kitų žmonių žodžiais.","open-source-aion.ba41f25c15":"Išlaikius sakinį, seka du dalykai. Galite sužinoti, ar jis buvo suprastas tą dieną, kai jį parašėte, skaitydami, o ne sužinodami iš incidento po metų.","open-source-aion.c19473d784":"Parašykite taisyklę įprastais žodžiais, ir AION tuos žodžius išlaiko. Tai skamba kaip mažas mandagumas, kol ateina diena, kai tai svarbu: po mėnesių, kai kažkas sustabdoma dėl tos taisyklės, jūsų parašytas sakinys grįžta paaiškinimo viršuje, jūsų pasirinktais žodžiais.","open-source-aion.4c0e51d183":"pasakytumėte garsiai","open-source-aion.dcf65c0f8a":"Parašykite taisyklę taip, kaip","open-source-aion.e1a651b90e":"Sakyti, ko norite","open-source-aion.beda6f7681":"Norint iš naujo atlikti sumą, reikia sumos užrašytos. Taip pat ir taisyklei, o jūsų gali būti sakinys","open-source-aion.ef6371cd2e":"JIS SUSTOJA","open-source-aion.47ce22a1f7":"ŽINGSNIS PO ŽINGSNIO","open-source-aion.9195df51f1":"ANTRAS SKAITYMAS","open-source-aion.b66352de76":"Sustojimas yra svarbi pusė. Bet kas gali su jumis sutikti. Kažkas, kas sustos ir parodys į eilutę, verta turėti, ir to labai mažai.","open-source-aion.e04fafc8fc":"AION vėl susumuoja stulpelį. Ne dėl sąskaitų, o dėl sunkesnio darbo, kurį mašinos atlieka, kai nusprendžia, kad kažkas leidžiama, saugu ar neįmanoma, kai kažką stato, kai kažką paleidžia jūsų vardu arba kai išsiaiškina, kas nutiktų, prieš kam nors bandant. Jis skaito pirmosios mašinos užrašytą darbą, pats atlieka kiekvieną žingsnį ir sustoja ties pirmuoju, kurio negali padaryti teisingo.","open-source-aion.b55b759c73":"Kai sąskaita atrodo neteisinga, nesiginčijate, ar suma teisinga. Pats vėl susumuojate stulpelį. Jei gaunate tą patį skaičių, suma lieka. Jei sustojate ties ketvirta eilute, nes ji nesueina, galite pasakyti tiksliai kurią eilutę, ir ginčas baigiasi vienu sakiniu.","open-source-aion.59141b0dfa":"vietoj to, kad patikėtumėte jūsų žodžiu","open-source-aion.fa22d5033b":"Kažkas iš naujo atlieka sumą","open-source-aion.333a6c87f2":"pakeitimas sukuria paveiktą rinkinį ir eilę, o ne tylų praeities performavimą","open-source-aion.0eecb96558":"yra penki faktai","open-source-aion.59e22ed738":"sukurtas, pasirašytas, patvirtintas, priimtas ir vis dar suderinamas","open-source-aion.d78c662e5b":"patikrinta, ne numanyta","open-source-aion.5b44284acd":"vis dar suderinamas su","open-source-aion.cc4bc74f90":"su sutarties versija","open-source-aion.3bb51eeea5":"priimtas pagal","open-source-aion.72954f75cf":"su tikrintuvo versija","open-source-aion.3741770a87":"patvirtino","open-source-aion.7fc7c8aef9":"per išvedimo eilės maišos funkciją","open-source-aion.d2a7817a72":"pasirašė","open-source-aion.9d7c5e8097":"su versija","open-source-aion.8fffa5fcb8":"sukūrė","open-source-aion.756e62f03a":"Vienas rezultatas, penki faktai","open-source-aion.2b8be4ecd3":"Priskyrimas veikia savo mechanizmu: Ed25519 parašas per BLAKE3 maišos funkciją išvedimo eilės, su monotonišku nonce ir laiko žyma, patikrinamas pagal gamintojo viešąjį raktą. Priėmimas veikia kitu, nešančiu tikrintuvo tapatybę ir versiją bei sutarties versiją, kurią jis suteikė. Kai kas nors apačioje pasikeičia, tikrintuvo taisyklė, sertifikato schema, politika, kompiliatoriaus taisyklė, vykdymo sutartis ar modelio versija, sertifikatai, kurie deklaravo priklausomybę nuo jo, sudaro paveiktą rinkinį ir yra įtraukiami į eilę patikrinti iš naujo, nurodant pakeistą komponentą.","open-source-aion.6b8169d142":"Verdiktas pats savaime yra žodis be autoriaus. Penki faktai, kurie paprastai susilieja į vieną, čia laikomi atskirai: kas sukūrė rezultatą, kas jį pasirašė, kas jį patvirtino, pagal kurią sutartį jis buvo priimtas ir ar jis vis dar suderinamas su šiandien galiojančiomis taisyklėmis. Tai penki skirtingi klausimai, ir keturi iš jų išlieka pasikeitus tiekėjui.","open-source-aion.2cd4b335f4":"Tikrintuvas jį patvirtina.","open-source-aion.d15fbc9566":"Niekas nepatvirtinama.","open-source-aion.481d0fc02c":"Visas argumentas","open-source-aion.ca75c84634":"Kiekvienas sertifikatas čia baigiasi vienu įrašu, o įrašas laiko savo faktus atskirai","open-source-aion.3ecc9abb23":"PLEČIAMA","open-source-aion.8112bd91bc":"ORO TARPAS","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Kai vienas patikrinimas tikrai per didelis vienai mašinai, darbas padalijamas į kubus tarp mašinų su sąlygų dalijimusi tarp jų, o sudėtinis rezultatas priimamas tik po aprėpties patikros: jokie du kubai negali taisyti to paties literalų rinkinio, o tai, ką jie apima, turi sudaryti visą erdvę, o ne beveik visą. Trūkstamas vienas sujungimas yra atsisakymas, o tai yra ta pati disciplina kaip ir visur kitur produkte. Be to, tikrintuvų registras ir plėtinio API yra tai, kaip sertifikatų šeima, kurios niekas čia neparašė, tikrinama čia.","open-source-aion.04cd68c7fb":"Tik du dalykai gali kirsti ribą, ir abu yra jūsų sukonfigūruoti. Klasteris veikia per jūsų nustatytus adresus. Išorinis gamintojas yra programa, kurią įdiegiate ir paleidžiate kaip vietinį procesą. Nėra jokio talpinamo modelio visoje grandinėje ir jokios mūsų paslaugos, kuri galėtų būti nepasiekiama jūsų incidento metu ar pasikeisti po jumis pagal kažkieno kito išleidimo grafiką. Atskirtas nuo tinklo turtas tikrina lygiai taip pat, kaip ir prijungtas, nes tikrinimui niekada nereikėjo gamintojo.","open-source-aion.ac1913e46c":"Du keliai iš, ir abu jūsų","open-source-aion.c2193fefe2":"Tikrinimas yra skaičiavimas kaip ir bet kuris kitas, o kur jis vyksta, yra jūsų sprendimas. AION publikuojamas 2026 m. rugsėjo 1 d.: kai saugykla tampa vieša, susiekite biblioteką, paleiskite komandą arba pastatykite paslaugą savo ribose. Numatytasis build neturi išeinančio kliento, todėl sertifikato tikrinimui nereikia paskyros, teikėjo ar kelio iš mašinos, kurioje jis prasidėjo.","open-source-aion.72d09c5994":"paslauga arba enclave","open-source-aion.f8ac38e647":"Biblioteka, komanda","open-source-aion.604918db00":"Kur vyksta patikra","open-source-aion.c07ebfbab5":"Archyvas stovi vietoje. Paskutinis klausimas yra, kur visa tai iš tikrųjų vyksta","open-source-aion.d34941b7ce":"INDEKSUOTA","open-source-aion.79ae623ce9":"TURINIO ADRESAS","open-source-aion.0f7d1ea9ca":"Dalis, kurią reikia sukurti, o ne manyti, yra indeksas. Kai pasikeičia tikrintuvo taisyklė, sertifikato schema, politika, kompiliatoriaus taisyklė, vykdymo sutartis ar modelio versija, sertifikatai, kurių galiojimas priklausė nuo pakeisto komponento, randami ieškant jų, o ne nuskaitant viską ir tikintis. Priklausomybės deklaruojamos voke, todėl paveiktas rinkinys yra užklausa, o pakartotinės patikros eilė yra jos rezultatas, prie kiekvieno įrašo nurodant pakeistą komponentą. Alternatyva, kurią dauguma organizacijų iš tikrųjų turi, yra pasirinkimas tarp visko iš naujo tikrinimo ir nieko iš naujo netikrinimo.","open-source-aion.144711734a":"Saugykla naudinga tik tada, jei ją gali atidaryti skaitytojas, kuris jau persikėlė, todėl kiekvienas įrašas turi gamintojo parašą, priėmusio tikrintuvo tapatybę ir versiją, sutarties versiją, pagal kurią jis buvo priimtas, ir priklausomybes, kuriomis jis remiasi. Grįžtant atgal atliekamas suderinamumo testas.","open-source-aion.22f96be502":"Paveiktas rinkinys yra tikras indeksas","open-source-aion.a1b04ec691":"Sertifikatai, kuriuos verta saugoti, yra tie, apie kuriuos jūsų paklaus po daugelio metų. AION saugo priimtą sertifikatą kompaktiškai ir pagal turinio adresą: identifikatoriai laikomi kaip skirtumai, pasikartojantys modeliai užkoduoti ilgio eilute, identiški subįrodymai su maiša ir saugomi vieną kartą, o visa tai adresuojama pagal turinį, o ne pagal tai, kur kažkas jį padėjo. Turinio adresas leidžia skaitytojui, kuris persikėlė, rasti tą patį sertifikatą ir patikrinti jį antrą kartą, praėjus metams po paleidimo, kuris jį sukūrė.","open-source-aion.c017c017d7":"ir jis lieka pakartotinai tikrinamas","open-source-aion.2e10b84b57":"Sertifikatas išlieka mažas","open-source-aion.9263a81467":"Saugoma tai, kas buvo patikrinta","open-source-aion.1f029bacad":"Šešios šeimos, ir kiekviena iš jų baigiasi tame pačiame įraše","open-source-aion.1deb4d4a29":"TRAJEKTORIJA","open-source-aion.f8d5b44c34":"INVARIANTAS","open-source-aion.52dd7acef9":"ATITIKTIS","open-source-aion.24d7374cb9":"Šių dalykų atskyrimas yra tai, kas daro pirmuosius du vertingais. Užtikrinimas, kuris tyliai reiškia trečiąjį, yra tas, kuris žlunga prieš reguliuotoją, o sertifikatas, kuris įvardija savo ribą, yra tas, kuris išgyvena susitikimą.","open-source-aion.0e4ffe42fa":"Simuliacijai užduodami trys skirtingi klausimai, o sąžiningumas dėl to, kuriuos du galima atsakyti čia, yra visas profesinis šio skyriaus turinys. Vykdymo atitiktis klausia, ar deklaruotas modelis, parametrai ir konfigūracija iš tikrųjų sukūrė šią trajektoriją, ir tai galima patikrinti. Matematinės savybės tikrinimas klausia, ar nurodyti invariantai galioja viso paleidimo metu, ir tai taip pat galima patikrinti, o nesėkmė grąžina pėdsaką, o ne verdiktą. Fizinis pagrįstumas klausia, ar modelis atspindi realų pasaulį, ir jokio sertifikato to nenustato. Tai priklauso modelio savininkui ir priklauso jam visam laikui.","open-source-aion.bb70d13ca4":"Linija, dėl kurios šis skyrius yra atsargus","open-source-aion.ac558913f9":"Simuliacijos rezultatas naudojamas sprendimams priimti ilgai po to, kai paleidimas dingsta. Sertifikate yra modelio ir FMU tapatybė, parametrų rinkinys, pradinė būsena, sprendiklio konfigūracija, laiko žingsnio ar įvykių seka, būsenos perėjimai, atlikti invariantų patikrinimai, konvergencijos ar nutraukimo būsena, gautos trajektorijos maiša ir kontrpavyzdžio pėdsakas, kai savybė nepavyksta.","open-source-aion.1c9f5f0f21":"atsako tik į du iš jų","open-source-aion.242c47d00a":"Trys klausimai, ir tai","open-source-aion.a635f9edf3":"Twin ir FMI, sertifikuota","open-source-aion.43f8bc442f":"Vykdymas yra vienas vieno dalyko paleidimas. Simuliacija jų padaro milijonus vienu metu","open-source-aion.d3a968f797":"IŠVESTIES ID","open-source-aion.d79014995c":"PATVIRTINTA","open-source-aion.2fbbf64505":"GALIMYBĖS","open-source-aion.51fd9d7843":"Determinizmas yra tai, kas daro likusią dalį patikrinama. Kadangi perėjimai yra deterministiniai, atsižvelgiant į modulį, įvestis ir leidimus, tikrintuvas gali sekti juos nevykdydamas darbo krūvio pradinėje aplinkoje, o du paleidimai, kurie teigia tą pačią išvesties tapatybę iš tų pačių įvesčių, arba sutampa, arba nurodo perėjimą, kuriame jie nustojo sutikti. Tai praktiškai yra vykdymo liudijimas: kas vyko, pagal kokią valdžią, patikrinama nevykdant to iš naujo.","open-source-aion.0d0fd79859":"Dauguma klausimų, užduodamų apie darbo krūvį po fakto, iš tikrųjų yra klausimai apie jo valdžią. Ką šis dalykas galėjo pasiekti, kol veikė, ir ar jis pasiekė ką nors kita. Sertifikatas, kuriame yra galimybių suteikimai kartu su perėjimais, atsako į tai, niekam neskaitant žurnalo, ir atsako tam, kas nevaldo vykdymo aplinkos.","open-source-aion.890c61e134":"Kodėl galimybių rinkinys yra įdomus laukas","open-source-aion.1331fa2052":"Išėjimo būsena sako, kad darbo krūvis baigėsi. Vykdymo sertifikatas sako, kas baigėsi: darbo krūvio ir modulio tapatybė, vykdymo versija, turimi galimybių suteikimai, gautos įvestys, deterministiniai būsenos perėjimai, per kuriuos jis ėjo, išteklių ribos, kuriose jis veikė, pagamintos išvesties tapatybė ir ar jis baigėsi, ar įstrigo. Kiekvienas iš jų yra laukas, iš kurio galima atsakyti į vėlesnį klausimą, negrįžtant prie mašinos, kuri jį vykdė.","open-source-aion.65576ef482":"pagal kokias galimybes","open-source-aion.74a9894f4f":"Kas vyko, ant ko, ir","open-source-aion.eabc461dcf":"Selvedge, sertifikuota","open-source-aion.b4792818f1":"Sukompiliuotas artefaktas vis tiek turi kažkur veikti, o tas paleidimas taip pat yra teiginys","open-source-aion.414cbcc9ec":"KILMĖ","open-source-aion.24466ece94":"ŠALTINIS Į ARTEFAKTĄ","open-source-aion.c81d361198":"Būtent tas tikslumas daro artefaktą naudingu tolesniuose etapuose. Reguliuojamoje aplinkoje klausimas retai būna, ar kompiliatorius yra geras. Klausimas yra, ar šis dvejetainis failas atitinka šį šaltinio grafą pagal šią optimizavimo konfigūraciją, o tai yra klausimas su atsakymu, ir tas atsakymas keliauja kartu su artefaktu, o ne gyvena jį sukūrusioje kūrimo sistemoje. Tai ir reiškia kūrimo kilmės įrodymas praktikoje: teiginys apie šį artefaktą, kurį galima patikrinti be jį sukūrusios kūrimo sistemos.","open-source-aion.6c1fd4df2b":"Deklaracija yra disciplina. Sertifikatas netvirtina, kad kiekviena optimizacija buvo teisinga kaip vienas nediferencijuotas teiginys, nes toks teiginys nėra nei patikrinamas, nei teisingas apie jokį realų kompiliatorių. Jis tiksliai įvardija, kokias išsaugojimo ar ekvivalentiškumo savybes nustato per kokias transformacijas, o tikrintuvas tikrina būtent jas ir apie nieką kitą nepraneša.","open-source-aion.fd5ed4a1d8":"Įvardyti teiginiai, ne vienas bendras","open-source-aion.82a76c947a":"Kompiliatorius jums duoda artefaktą ir išėjimo būseną. Kompiliavimo sertifikatas neša tai, kuo tas artefaktas teigiamas esąs: šaltinio ar grafo tapatybę, iš kurios jis atsirado, kompiliatoriaus ir optimizavimo versiją, pritaikytą transformacijų seką, tipo ir formos išsaugojimą per tas transformacijas, parinktus branduolius, sukurto artefakto tapatybę ir sertifikato deklaruojamus ekvivalentiškumo ar invariantų patikrinimus.","open-source-aion.06efebf0f5":"apie šaltinį, iš kurio jis atsirado","open-source-aion.3f208ecc5e":"Dvejetainis failas taip pat yra teiginys","open-source-aion.716710e273":"Kera, sertifikuota","open-source-aion.89572e64cc":"Organizacija gali būti sertifikuota. Taip pat ir kompiliatorius, kuris sukūrė tai, kuo ji veikia","open-source-aion.502114d554":"KVITAI","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORITETAS","open-source-aion.965738574a":"Vertė išryškėja, kai dėl operacijos kyla ginčas. Darbo eigos pėdsakas yra organizacijos pasakojimas apie save. Sertifikatas, kurį nepriklausomas tikrintuvas priėmė pagal įvardytą sutarties versiją, yra kitos klasės įrodymas, ir skirtumas yra būtent tas, kuriam sukurti egzistuoja AION.","open-source-aion.f4652935ed":"Tai sertifikatas apie valdomą operaciją, o ne apie tai, ką agentas galvojo. Jis atsako į klausimus, kurių tikrai kas nors paklaus: ar autoritetas egzistavo veiksmo paleidimo momentu, ar vartai, kurie turėjo sulaikyti, sulaikė, ar patvirtinimas buvo priskirtas veiksmui, o ne šalia esančiai žinutei, ir ar įrašo teigiami būsenų perėjimai yra tie, kuriuos leidžia sutartis. Visa tai galima patikrinti mašiniškai ir nė vienam iš to nereikia prieigos prie modelio.","open-source-aion.be15814346":"Ką jis nustato, o ko ne","open-source-aion.38d3c11f27":"Užbaigta darbo eiga yra teiginys kaip ir bet kuris kitas. Organizacinis sertifikatas nustato valdomą operaciją, kuri iš tikrųjų įvyko: tikslą ir politikos versiją, pagal kurią ji veikė, suformuotą organizaciją, išspręstus vaidmenis ir autoritetus, įvykdytas užduotis ir jų perėjimus, įveiktus politikos vartus, priskirtus patvirtinimus, atliktus veiksmus ir užfiksuotus kvitus.","open-source-aion.65a8805f19":"kad laikėsi savo sutarties","open-source-aion.f827cfbcbf":"Operaciją galima įrodyti","open-source-aion.07fba05892":"Nexus, sertifikuotas","open-source-aion.c6fd961235":"Mąstymas yra vienas gamintojas. Agentų organizaciją sertifikuoti yra sunkiau","open-source-aion.2764d46fd5":"JOKIO MODELIO IŠKVIETIMO","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Anglų kalbos reikalavimų sąsaja taip pat priklauso čia, nes samprotavimo sertifikatas yra tik tiek peržiūrimas, kiek apribojimas jo viršuje. Deterministinė šablonų biblioteka grąžina formalias sąlygas, surūšiuotas pagal tai, kiek suaktyvinimo frazių atitiko, kiekviena su savo paprastu skaitymu ir kiekiais, su kuriais ji veikia, o kai sakinys iš tikrųjų turi daugiau nei vieną skaitymą, ji iškelia dviprasmybę įvardydama klausimą, o ne tyliai jį išsprendžia.","open-source-aion.c4d7d27503":"Po jais yra abiejų rūšių gamintojai, ir jie priimami per tą pačią ribą. AION pats sprendžia Būlio struktūrą, skirtumų logikos aritmetiką, bitvektorinius žodžius ir lygybę su neinterpretuotomis funkcijomis, naudodamas pilną konfliktų valdomą paiešką su dviem stebimais literalais, krūva tvarkomu aktyvumo euristiku, geometriniais perkrovimais ir aktyvumu pagrįstu sakinių šalinimu. Gavęs neįvykdomą atsakymą, jis grąžina branduolį, kuris įvardija, kurie jūsų paties apribojimai kovojo, o ne aprašo paiešką, kuri juos rado. Išorinis sprendiklis veikia kaip atskiras procesas ir grąžina įrodymą, ir niekas, išskyrus tą failą, neperžengia ribos tarp jų. Bet koks įrankis, išvedantis įrodymą formatu, kuriam AION turi tikrintuvą, atitinka reikalavimus, tarp jų ir cvc5, o riba yra formatas, o ne tiekėjas.","open-source-aion.5264c1875d":"Gamintojai, vietiniai ir išoriniai","open-source-aion.09b6611fc2":"Loom mąsto. Ką AION tikrina, yra artefaktas, kurį palieka mąstymas: aktyvūs apribojimai, pritaikytos taisyklės, sprendikliui perduotos paproblemos, tų sprendiklių grąžinti sertifikatai, rasti prieštaravimai, sprendimą uždarę rėžiai ir galiausiai patvirtintas teiginys. Aiškūs skaičiavimo artefaktai ir deklaruotos išvedimo grandinės, tikrinami kaip tokie.","open-source-aion.2224f4889f":"išvedimo grandinė, kuria jis remiasi","open-source-aion.1aceefa727":"Išvada ateina su","open-source-aion.40e8df9cbd":"Loom ir sprendikliai po juo","open-source-aion.cbac360b09":"Būlio ir aritmetiniai žingsniai yra viena šeima. Mąstymas yra ten, kur prasideda krūva","open-source-aion.9786d05f5a":"FUZZINUOTA","open-source-aion.a9bb80378b":"IŠ VEDINIO","open-source-aion.0204e8b30c":"TAISYKLĖ PO TAISYKLĖS","open-source-aion.a43c278b96":"Kiekvienas papildymas sąlygų lygmenyje išvedamas iš naujo nuo pagrindinių principų: tarkime, kad naujoji sąlyga yra klaidinga, išplėskite sąlygas, į kurias nurodo jos užuominos, ir reikalaukite konflikto, kurį tos užuominos žadėjo. Ten, kur vien išplėtimas to nepriverčia, papildymas pereina prie griežtesnės sąlygos dėl įvardyto pagrindinio literalo kiekvienos sąlygos atžvilgiu, su kuria tas pagrindinis literalas galėtų sąveikauti, todėl žingsnio negalima praleisti įvardijant pagrindinį literalą, kurio sąlygoje nėra. Formulė ir įrodymas skaitomi po eilutę, todėl įrodymas, didesnis už mašinos atmintį, vis tiek patikrinamas nuo pradžios iki pabaigos. Pati AION testų rinkinys yra priešiškas AION: užuomina, nurodanti į žingsnį, kurį turėtų pagrįsti, du vienas ant kito besiremiantys žingsniai, teigiamas, bet nesamas pagrindinis literalas, dvi sąlygos po vienu identifikatoriumi, pabaigos žymeklis naudojamas kaip identifikatorius, niekada nepridėtos sąlygos ištrynimas ir tos pačios sąlygos ištrynimas du kartus. Kiekvienas skaitytuvas, kuris paliečia kito parašytą failą, yra tikrinamas atsitiktiniais duomenimis pagal sėklų rinkinį.","open-source-aion.13a29c20f0":"Prieš taisyklės patikrą kiekviename žingsnyje, fiksuota tvarka, atliekamos trys sąlygos: ar žingsnis nurodo į save, ar kiekvienas jo nurodytas skaičius yra, ir ar kuris nors iš jų yra sunumeruotas aukščiau už jį nurodantį žingsnį. Prieš visas keturias, failas vieną kartą nuskaitomas ieškant pasikartojančio žingsnio numerio. Tik įrodymas, kurio kiekvienas žingsnis įveikia visa tai, pasiekia paskutinę sąlygą, kuri yra tai, ar failas baigiasi prieštaravimu. Išvedimas, kuris baigiasi su vis dar esančiais literalais, įveikė visa kita ir vis tiek yra atmetamas.","open-source-aion.f626b7a7da":"Po paviršiumi","open-source-aion.1a95f2e67d":"Sąlygų įrodymai LRAT šeimoje, kuri yra SAT, ir taisyklių įrodymai Alethe formate, kuris yra SMT, yra šeima, turinti ilgiausią bandymų ją įveikti istoriją, todėl ji yra tinkamiausia parodyti. AION nukreipia kiekvieną žingsnį į jo taisyklę įgyvendinančią procedūrą, o taisyklės pavadinimas be nieko už jo nutraukia skaitymą, o ne tyliai praeina, atspausdinant žingsnio numerį ir taisyklę.","open-source-aion.8294eed416":"ir nežinoma taisyklė jį sustabdo","open-source-aion.9959b32cda":"Kiekvienas žingsnis atitinka keturis testus","open-source-aion.3821e115bc":"Šeima su priešininkais","open-source-aion.c415bc49f1":"Seniausia šeima turi daugiausiai priešininkų, todėl į ją reikia žiūrėti pirmiausia","open-source-aion.06d55361b1":"VERSIJUOTA","open-source-aion.bca8de5f5a":"DEVYNIOS ŠEIMOS","open-source-aion.187b58774c":"Šeimos versijuojamos atskirai dėl tos pačios priežasties. Taisyklių rinkinys gali sugriežtėti logikos šeimoje netrikdydamas modeliavimo šeimos, o paveiktų sertifikatų rinkinys tam pakeitimui yra būtent tie įrašai, kurie deklaravo keičiamą versiją. Šiandieninės devynios yra logika ir įvykdomumas, optimizavimas, laiko ir hipersavybės, samprotavimas, organizacinė, kompiliavimas, vykdymo laiko vykdymas, modeliavimas ir FMI bei saugyklos vientisumas.","open-source-aion.ca4a7a3c63":"Šeimos registravimas yra būdas, kaip sistema, kurios nebuvo, kai buvo parašytas AION, tampa juo patikrinama. Vokas jau yra tas pats, saugojimo sluoksnis ir pakartotinio patikrinimo eilė jau veikia, o ką nauja šeima turi pateikti, tai tikrintuvą ir deklaruotą taisyklių rinkinį. Trečiosios šalies programinė įranga, įgyvendinanti sertifikato sutartį, ateina pro tas pačias duris kaip ir bet kas mūsų.","open-source-aion.6581749da9":"Kodėl tai registras, o ne sąrašas","open-source-aion.c453f0b87d":"Sertifikatų šeima yra pavadinta, versijuota sutartis, o ne failo formatas. Kiekviena deklaruoja savo tapatybę ir versiją, teiginio tipą, kurį nustato, reikalingas įvestis, kaip pateikiamas įrodymas ar liudininkas, patikrinimo algoritmą, taisyklių rinkinį, kurį priima tas tikrintuvas, savo priklausomybės ir suderinamumo metaduomenis, žmogui skaitomą atvaizdavimą, jei jį turi, ir savo atsisakymo taksonomiją.","open-source-aion.29a8090d97":"ir rinkinys yra plečiamas","open-source-aion.7dd9783a82":"Devynios šeimos, vienas registras","open-source-aion.f4c0c73854":"Registras","open-source-aion.2b6d7305db":"Nepriklausomam patikrinimui reikia žinoti, kokio tipo sertifikatą jis laiko","open-source-aion.b4dee9d399":"JOKIO ATKŪRIMO","open-source-aion.1ae37e9b3a":"JOKIOS LICENCIJOS","open-source-aion.082414b331":"RIBOTAS PATIKRINIMAS","open-source-aion.85bcd01276":"Nė vienu iš tų atvejų tikrintuvui nereikia gamintojo paieškos, euristikos, paslėptos būsenos, modelio iškvietimų ar vykdymo aplinkos. Tai ir daro nepriklausomą patikrinimą įperkamą, o ne tik siekiamybę.","open-source-aion.73dc1e45ec":"Asimetrija yra tokios pačios formos kiekvienoje srityje, ir verta ją pamatyti keturis kartus. Konfliktais pagrįsta paieška gali vykti valandas erdvėje, kurios niekas negali išvardyti; jos išduodamas sąlygų įrodymas yra sekamas eilutė po eilutės. Kompiliatorius gali atlikti šimtus optimizavimo etapų su euristika, kurios niekas už komandos ribų nesupranta; sertifikatas įrašo išsaugojimo teiginius, kurie turi galioti per juos. Modeliavimas gali vykti per milijonus žingsnių; sertifikatas pateikia kontrolinius taškus, perėjimus, invariantus ir pėdsaką, dėl kurių rezultatas tampa patikrinamas. Nexus operacija gali koordinuoti labai daug agentų; sertifikatas nustato autoritetą, būsenos perėjimus, patvirtinimus ir veiksmų kvitus.","open-source-aion.3bcb80f6d9":"Ką kiekvienas gamintojas pasilieka sau","open-source-aion.ceb0061493":"Sistema, kuri sukūrė rezultatą, neturi paskutinio žodžio, ar jos sertifikatas galioja. AION tikrina ribotą artefaktą, o ne kartoja brangų skaičiavimą, todėl patikrinimas gali vykti nešiojamajame kompiuteryje prieš darbą, kuriam klasteriui prireikė savaitgalio, ir todėl jam nereikia nei gamintojo licencijos, nei jo mašinos. Sertifikatas pateikia kontrolinius taškus, kuriais eina tikrintuvas, todėl tikrinimo kaina seka artefakto dydį, o ne už jo esančios paieškos dydį.","open-source-aion.69524cecfe":"ir tai yra visas triukas","open-source-aion.ee21bac231":"Tikrinimas nėra pakartotinis darymas","open-source-aion.396e9b624d":"Architektūrinis atsiskyrimas","open-source-aion.504a1b0a8d":"Vokas pasako, kas atkeliavo. Kitas klausimas, kam leista jį atidaryti","open-source-aion.a9ea7a518b":"VIENAS VOKAS","open-source-aion.d7e877b15b":"AŠTUONI LAUKAI","open-source-aion.34c043fc06":"Priklausomybės laukas yra tas, kurį žmonės nuvertina. Sertifikatas, kuris remiasi kitu sertifikatu, jį įvardija, todėl atsisakymas ar schemos pakeitimas plinta per rinkinį, kuris juo rėmėsi, o ne sustoja ties pirmu įrašu, į kurį kas nors atsitiktinai pažiūri. Būtent tai paverčia krūvą priimtų rezultatų tuo, apie ką galima užduoti klausimą.","open-source-aion.7dc6226fd7":"Įdėkite maršruto informaciją į turinį, ir kiekviena nauja sertifikatų šeima taps nauja integracija visiems, kas yra žemiau sraute. Palikite ją išorėje, ir saugojimo sluoksnis, suderinamumo stebėjimo priemonė, pakartotinio tikrinimo eilė ir audito įrašas bus parašyti vieną kartą ir veiks šeimoms, kurių nebuvo, kai jie buvo sukurti.","open-source-aion.48eb1ab2b4":"Kodėl atsiskyrimas atsiperka","open-source-aion.419ad6edc1":"Kompiliacijos sertifikatas ir sąlygos įrodymas viduje neturi nieko bendro, o atkeliauja tame pačiame voke. Aštuoni laukai: teiginys, įvestys, pagal kurias jis sudarytas, gamintojas, sutarties versija, sertifikato tipas, sertifikato turinys, priklausomybės ir parašas. Viskas, kas būdinga šeimai, yra turinyje, o viskas, ko tikrintojui reikia maršrutui, versijai ir įrašui, yra išorėje.","open-source-aion.03a195fded":"ir aštuoni laukai viduje","open-source-aion.9895a4db76":"Kiekviena šeima, vienas vokas","open-source-aion.33164fb254":"Bendras vokas","open-source-aion.315fae6edd":"Aštuonios sistemų rūšys, aštuonios teiginių rūšys ir vienas vokas, kuriuo jos visos keliauja","open-source-aion.661f13bc63":"PATIKRINTA","open-source-aion.ea0dae37f4":"SERTIFIKATAS","open-source-aion.f07b84d4d2":"TEIGINYS","open-source-aion.1edfca7587":"AION yra ta antroji programa. Ji paima sertifikatą, kurį sukūrė nepažįstamasis, rekonstruoja, ką jis teigia, ir ten, kur teiginys nesusidaro, įvardija elementą, įvardija taisyklę ir sustoja. Atsisakymas, nukreipiantis į 40 eilutę, yra dalykas, kuriuo vienas žodis niekada negali būti.","open-source-aion.4428102723":"Formalieji metodai šį išdėstymą nustatė prieš dešimtmečius dėl vienos priežasties. Gamintojas užrašo savo darbą, o antra, daug mažesnė programa tą darbą skaito atgal. Antroji programa yra ta, kurią verta kurti atsargiai, nes ji pakankamai maža, kad būtų suprasta nuo pradžios iki pabaigos. Ką AION daro, tai iškelia tą išdėstymą iš sprendėjų pasaulio ir paverčia jį sutartimi viskam kitam: samprotavimui, agentų operacijoms, kompiliacijai, vykdymui, simuliacijai.","open-source-aion.51edeceac1":"unsat. sukompiliuota. baigta. saugu. optimalu. politika patvirtinta. simuliacija sukonvergavo. darbo eiga patvirtinta. Aštuonios sistemos, aštuoni žodžiai, ir nė vienas iš jų nenurodo priežasties, kodėl tai tiesa. Įrodymus nešantis skaičiavimas yra alternatyva: gamintojas atlieka brangų darbą ir išleidžia sertifikatą kartu su rezultatu, o kažkas, kam atsakymas nerūpi, patikrina tą sertifikatą.","open-source-aion.d3571e9e01":"kol kas nors to neperdaro","open-source-aion.03d9c22d95":"Rezultatas yra tik teiginys","open-source-aion.dfc28595b4":"Kodėl egzistuoja antras skaitymas","open-source-aion.3c6178c9cd":"Kam priklauso ataskaita","open-source-aion.42c21bbe27":"Ką išsprendžia byla","open-source-aion.4d05bcfcbf":"Ką atsisakymas leidžia daryti","open-source-aion.4c0a0d8ef3":"Du įprasti išėjimo keliai","open-source-aion.e097afe170":"Kas išplaukia iš jo laikymo","open-source-aion.c9681d6875":"Ką jis iš tikrųjų daro","open-source-aion.1ee58a7b8d":"Iš kur kilęs išdėstymas","open-source-aion.eec3b038bd":"priskyrimas","open-source-aion.65279e1ecf":"patikrinimas","oss-aion-adoption-paths.733a87e5fb":"Išbandykite vieną sprendimų kelią","oss-aion-adoption-paths.34dfd13db9":"Paleiskite pavyzdinį sertifikatą prieš integruodami AION į veikiantį sprendimų kelią.","oss-aion-adoption-paths.3f1d1c0d24":"Apžiūrėkite pateiktą pavyzdinį sertifikatą.","oss-aion-adoption-paths.a5339faf54":"Paleiskite pateiktus pavyzdinius įrodymus kaip patikrą.","oss-aion-adoption-paths.b38db2875a":"Patikrinkite tą patį sertifikatą naudodami aion check ir nepriklausomą suderinamą tikrintuvą.","oss-aion-adoption-paths.0e42c62826":"Jūsų vertinimo komanda","oss-aion-adoption-paths.ca15f8db66":"Integruokite į sistemą","oss-aion-adoption-paths.e8219f1ea8":"Jūsų esama programinės įrangos komanda prijungia biblioteką, kad jūsų jau veikiančios sistemos galėtų perduoti sertifikatą su kiekvienu sprendimu.","oss-aion-adoption-paths.91e2e7e34b":"Jūsų inžinieriai prideda AION prie sistemos, kurią jau naudojate.","oss-aion-adoption-paths.96e8012ed9":"Kiekvienas sprendimas tada turi patikrinamą sertifikatą.","oss-aion-adoption-paths.6e56d00bc7":"Joks naujas tiekėjas nepatenka į to sprendimo kelią.","oss-aion-adoption-paths.b0e0c85d36":"Jūsų inžinerijos komanda","oss-aion-adoption-paths.4637a51566":"Naudokite audito metu","oss-aion-adoption-paths.03b3d20015":"Anksčiau sukurtą sertifikatą galima bet kada iš naujo patikrinti komandinės eilutės įrankiu, savo aparatinėje įrangoje, neprisijungus.","oss-aion-adoption-paths.8b6e7ae424":"Išsaugokite sertifikatą, sukurtą priimant sprendimą.","oss-aion-adoption-paths.ab48bfd890":"Vėliau jį iš naujo patikrinkite komandinės eilutės įrankiu, neprisijungus.","oss-aion-adoption-paths.6fe516ffcf":"Perduokite tą patį įrašą reguliuotojui arba auditoriui.","oss-aion-adoption-paths.4e64c95d9e":"Jūsų atitikties komanda","oss-aion-adoption-paths.6b5eb5323e":"Pradėkite nuo vieno sprendimų kelio","oss-aion-adoption-paths.1635f113ec":"Trys diegimo būdai","oss-aion-adoption-paths.5eef32f959":"Kas jį naudoja","oss-aion-adoption-paths.29a9e7fa74":"Sertifikatas yra identiškas, kad ir kurį kelią pasirinktumėte.","oss-aion-adoption-paths.3e4f1a5e1b":"Viena biblioteka, vienas komandinės eilutės įrankis","oss-aion-adoption-paths.tag.d59fec26d9":"Prieš integraciją","oss-aion-adoption-paths.tag.391b31405f":"Jūsų inžinieriams","oss-aion-adoption-paths.tag.6fd7b4f249":"Atitikčiai","oss-aion-archive-parts.cea57012da":"nesuspausta po skaitymo","oss-aion-archive-parts.10f2f8d11a":"suspausta lentynai","oss-aion-archive-parts.0468a5b797":"ARCHYVAS","oss-aion-archive-parts.bce5035461":"ir vienas laukas, kuris juos išgyvena","oss-aion-archive-parts.bd678f55fe":"Keturi judesiai viename sertifikate","oss-aion-archive-parts.44e396b17f":"Kuris tikrintojas jį priėmė ir pagal kurią sutarties versiją.","oss-aion-archive-parts.5348eece0f":"Tikrintojas ir sutartis išsaugoti","oss-aion-archive-parts.53229277ab":"Identiniai subįrodymai saugomi vieną kartą ir vėliau cituojami pagal maišą.","oss-aion-archive-parts.0f6513214f":"Subįrodymų maišos","oss-aion-archive-parts.76a7786a63":"Pasikartojantis šablonas saugomas vieną kartą, su ilgiu, kurį jis kartoja.","oss-aion-archive-parts.9e1a0f7aac":"Sekos sutrauktos","oss-aion-archive-parts.d6f5880b44":"Kiekvienas identifikatorius saugomas kaip atstumas nuo paskutiniojo.","oss-aion-archive-parts.6b78716e70":"Identifikatoriai kaip tarpai","oss-aion-archived-proof.5808299e06":"pažiūrėta į viršų, neieškota","oss-aion-archived-proof.39241dfc0d":"Likę liko uždaryti, nes indeksas jau žinojo, kad jie nebuvo paveikti.","oss-aion-archived-proof.d84b2eb85d":"Paskelbtos devynios priklausomybės, ištraukti du skirtukai, įvardyti penki sertifikatai.","oss-aion-archived-proof.c9269e3e61":"septyni skirtukai liko uždaryti","oss-aion-archived-proof.6f13975269":"vis dar suderinama","oss-aion-archived-proof.8ec798a819":"taisyklė r7","oss-aion-archived-proof.4b50837e2e":"įtraukta į eilę skaityti iš naujo","oss-aion-archived-proof.2a858a12ec":"taisyklė r7 pakeista tikrintuve 2.5.0","oss-aion-archived-proof.0b58a007b4":"pranešimas apie pakeitimą","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"tas pats sertifikatas","oss-aion-archived-proof.4b37dd07e6":"kaip archyvuota","oss-aion-archived-proof.39c9f8bf3a":"du subįrodymai, viena forma","oss-aion-archived-proof.8c28e2d0a9":"vienas blokas, išlaikytas vieną kartą","oss-aion-archived-proof.e75bd8054c":"identifikatoriai kaip spragos","oss-aion-archived-proof.9bfe0da4af":"vienas ilgas failas","oss-aion-archived-proof.46dc2748fa":"kaip sukurta","oss-aion-archived-proof.b6a0714797":"iliustratyvūs identifikatoriai","oss-aion-archived-proof.16bb6017da":"du iš penkių įtraukti į eilę","oss-aion-archived-proof.884fa4a4de":"Vienas sertifikatas, du kartus","oss-aion-archived-proof.11ed0e1dd4":"politika p9","oss-aion-archived-proof.1f776189b1":"schema 2","oss-aion-archived-proof.ec690c70cd":"sertifikatas d20c9b","oss-aion-archived-proof.a96a7e2f89":"sertifikatas 1a55f0","oss-aion-archived-proof.b504f66e53":"modelis m1","oss-aion-archived-proof.fd6c33ce54":"vykdymo sutartis 3.1","oss-aion-archived-proof.ff651ff51f":"kompiliatoriaus taisyklė c1","oss-aion-archived-proof.d00ec63b0b":"sertifikatas b4e187","oss-aion-archived-proof.e20acd4672":"sertifikatas 3c90de","oss-aion-archived-proof.6d50cc6c2e":"sertifikatas 7f21ab","oss-aion-archived-proof.5dd9b11122":"politika p2","oss-aion-archived-proof.70d70366cf":"schema 4","oss-aion-archived-proof.d61ceadbdb":"sutartis","oss-aion-archived-proof.e15436a2bb":"tikrintuvas","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Kodėl mano prašymą atmetė mašina?","oss-aion-asked-questions.answer.refused":"AION rodo tikslią vietą, kurioje patikra sustojo, ir kodėl, vietoj vieno nepaaiškinto žodžio.","oss-aion-asked-questions.question.check":"Ar galiu pats patikrinti automatinį sprendimą?","oss-aion-asked-questions.answer.check":"Taip. AION kiekvieną žingsnį apskaičiuoja iš naujo, jūsų įrenginyje, be paskyros ir nieko nesiunčiant.","oss-aion-asked-questions.question.sent":"Ar mano informacija kur nors siunčiama?","oss-aion-asked-questions.answer.sent":"Ne. Standartinė versija neturi ko siųsti. Darbas atliekamas ten, kur jau esate.","oss-aion-asked-questions.chrome.path":"Klausimai, kuriuos atsisakymas iš tikrųjų kelia","oss-aion-asked-questions.chrome.status":"atsakyti atvirai","oss-aion-asked-questions.readout":"Šie trys klausimai yra tai, į ką šis puslapis skirtas atsakyti, atvirai, be paskyros ir nieko nesiunčiant.","oss-aion-asked-questions.band":"Paklausta kartą, atsakyta atvirai","oss-aion-asked-you.ef80b73d6b":"vietoj netikėtumo vėliau","oss-aion-asked-you.7e066a9db0":"klausimas dabar","oss-aion-asked-you.fb041ecc2d":"Laukia","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"ir kas bus toliau","oss-aion-asked-you.fb5efec5ec":"Ko jis klausia","oss-aion-asked-you.ed223cb507":"Su jūsų pačių fraze viduje, o ne forma, kurią reikia užpildyti.","oss-aion-asked-you.47ba586268":"Užduoda klausimą","oss-aion-asked-you.16bb2c320d":"Paprastais žodžiais, o ne kaip pasirinkimas tarp simbolių.","oss-aion-asked-you.590f0368a8":"Išdėsto abu skaitymus","oss-aion-asked-you.c0fedb51ee":"Jūsų sakinio dalis, dėl kurios jis neabejoja, jūsų žodžiais.","oss-aion-asked-you.945cd96360":"Cituoja žodžius atgal","oss-aion-asymmetry.109e612009":"įrodymai keliauja","oss-aion-asymmetry.54086b1730":"darbas lieka gamintojui","oss-aion-asymmetry.77e82797f7":"ASIMETRIJA","oss-aion-asymmetry.7f5d144dcb":"vienam gamintojui","oss-aion-asymmetry.d1abed327f":"Kas nėra atkuriama","oss-aion-asymmetry.816e835f60":"Autoritetas, perėjimai, patvirtinimai, kvitai.","oss-aion-asymmetry.4f83e60cbc":"Daug agentų, koordinuojantys.","oss-aion-asymmetry.d946c1fc52":"Agentų sistema","oss-aion-asymmetry.d978ba491a":"Patikros taškai, perėjimai ir invariantai.","oss-aion-asymmetry.b081bda78f":"Milijonai integracijos žingsnių.","oss-aion-asymmetry.8e34943c35":"Simuliacija","oss-aion-asymmetry.db98a95880":"Išsaugojimo teiginiai per juos.","oss-aion-asymmetry.ce4dee4e4f":"Šimtai eigų ir jų euristikos.","oss-aion-asymmetry.341a20e237":"Kompiliatorius","oss-aion-asymmetry.d50aca2923":"Išvedimas, sekamas eilutė po eilutės.","oss-aion-asymmetry.c0644e2b00":"Paieška erdvėje, kurios niekas neišvardija.","oss-aion-asymmetry.2212b12df6":"Sprendėjas","oss-aion-audit-flow.0d368d5958":"Priimamas sprendimas","oss-aion-audit-flow.723d4b8215":"Jūsų sistemoje dirbtinis intelektas pasiekia atsakymą.","oss-aion-audit-flow.60616f24a0":"Sertifikatas saugomas","oss-aion-audit-flow.319012d052":"Samprotavimas įrašomas kaip perkeliamas įrašas.","oss-aion-audit-flow.b6e0507002":"Jis tikrinamas iš naujo","oss-aion-audit-flow.060bdf8393":"Kiekvienas gali pakartotinai paleisti patikrą neprisijungęs, savo kompiuteryje.","oss-aion-audit-flow.549ee9a7f2":"Auditorius jį priima","oss-aion-audit-flow.45d8142b03":"Įrodymai, kuriuos jie patikrina, o ne pažadas, kuriuo turi tikėti.","oss-aion-audit-flow.29a5795456":"Siunčiate žurnalus ir tikitės, kad jie bus priimti.","oss-aion-audit-flow.691576c10d":"Pateikiate sertifikatą, kurį auditorius patikrina pats.","oss-aion-audit-flow.4f25ce109b":"Paaiškinimas pririštas prie vieno tiekėjo.","oss-aion-audit-flow.17092b76ad":"Standartiniai įrodymų formatai užtikrina, kad sertifikatą galima patikrinti nepriklausomai nuo pradinio tiekėjo ir vykdymo aplinkos.","oss-aion-audit-flow.4cb1b63499":"Įrašas tikrinamas iš naujo infrastruktūroje, kurios nekontroliuojate.","oss-aion-audit-flow.c0baf00a21":"Įrašas tikrinamas iš naujo neprisijungus, jūsų kontroliuojamoje įrangoje.","oss-aion-audit-flow.1574ac4dc4":"Nuo sprendimo iki priimtų įrodymų","oss-aion-audit-flow.0fc25779d4":"Be patikrinamų įrodymų","oss-aion-audit-flow.4b32d8f574":"Su AION","oss-aion-audit-flow.effbb773a5":"Audito metu pateikiate įrodymus, o ne patikinimus.","oss-aion-audit-flow.630840198f":"Nepriklausomas patikrinimas","oss-aion-broken-case.b2d44d537d":"du darbai","oss-aion-broken-case.21a5e37384":"Jame tikrai sakoma, kad dabar kažkas turi pasirinkti vieną.","oss-aion-broken-case.446dd52366":"Atvejis nepasako, kurioje iš šių dviejų situacijų esate.","oss-aion-broken-case.1592f95dfc":"kas valdo specifikaciją","oss-aion-broken-case.5350b811e8":"Visi tai žinojo ir niekas to neužrašė, todėl atvejis apskritai buvo\n              prieinamas. Taigi darbas yra užrašyti trūkstamą apribojimą.","oss-aion-broken-case.7e1ad0c117":"čia negalima bandyti iš naujo, kai likutis yra nulis","oss-aion-broken-case.e2acc6be4b":"ar tai gali įvykti čia?","oss-aion-broken-case.70cf0e9d6e":"komanda, kuri ją valdo","oss-aion-broken-case.f4418abec4":"Taigi taisyklė teisinga, o sistema klaidinga. Darbas yra sistemos pakeitimas.","oss-aion-broken-case.7ebf5ee2c1":"bandymai iš naujo tris kartus, kai likutis yra nulis, yra įprasta pirmadienio diena","oss-aion-broken-case.818db6fde5":"paketinis režimas leidžia bandyti iš naujo ne daugiau kaip du kartus","oss-aion-broken-case.9ad82bcd1a":"jokio bandymo iš naujo, kol likutis yra nulis","oss-aion-broken-case.db09c40b94":"sąlygos, kurias jis pažeidžia","oss-aion-broken-case.1a01155586":"Specifikacija negalioja. Štai situacija, kurioje ji negalioja, išdėstyta\n            raštu.","oss-aion-broken-case.bb5f480b82":"atvejis, koks jis grįžta","oss-aion-broken-case.8ba48b3c8c":"iliustracinis atvejis","oss-aion-broken-case.2a0ea29615":"vienas atvejis, du savininkai","oss-aion-broken-case.0efd66fc70":"Atvejis, kuris jį sugadino","oss-aion-broken-case.fd12863535":"ne","oss-aion-broken-case.fb360f9c09":"taip","oss-aion-broken-case.e7aef2e893":"režimas yra paketinis (tipas: tekstas)","oss-aion-broken-case.dcfad8c5bf":"likutis yra 0 (tipas: sveikasis skaičius)","oss-aion-broken-case.bbf98b54e9":"bandymų iš naujo skaičius yra 3 (tipas: sveikasis skaičius)","oss-aion-business-glyph.9c8c22f54d":"Sukurtas taip, kad būtų audituojamas","oss-aion-business-glyph.afd7103781":"Jūsų infrastruktūra","oss-aion-business-glyph.ea722c81af":"Europinė","oss-aion-business-glyph.870c4d024a":"Perkeliami formatai","oss-aion-business-glyph.81c093497b":"Uždarytas sertifikatu","oss-aion-business-glyph.862ee3b17a":"Poveikis","oss-aion-business-glyph.6b5eb5323e":"Pridėtas įrodymas","oss-aion-business-glyph.b7a3f27883":"Rizika pašalinta","oss-aion-business-glyph.7ba75e0ac6":"Sertifikato tikrinimas po metų","oss-aion-business-glyph.9f89ecaff5":"Pradinė sesija dingo","oss-aion-business-glyph.33620369b5":"Archyvas","oss-aion-business-glyph.7a71b6b89e":"Jūsų valdomoje įrangoje","oss-aion-business-glyph.e94a6d4bba":"Paaiškinta kito įrangoje","oss-aion-business-glyph.3eaad00bc0":"Duomenys","oss-aion-business-glyph.e20fee7c23":"Atskiras tikrintuvas","oss-aion-business-glyph.9e3ee5bddf":"Vis dar reikalingas originalus modelis","oss-aion-business-glyph.5cb182685f":"Tikrintuvas","oss-aion-business-glyph.c5d37b3ae0":"Sertifikatas, kurį tikrina auditorius","oss-aion-business-glyph.6c4186cc8c":"Žurnalai, kuriuos tikitės, kad bus priimti","oss-aion-business-glyph.d51b35c242":"Auditas","oss-aion-cadence-banners.independent.eyebrow":"AION / nepriklausomas patikrinimas","oss-aion-cadence-banners.independent.lead":"Pasitikėkite voku","oss-aion-cadence-banners.independent.accent":"po to, kai kitas tikrintuvas jį priima","oss-aion-cadence-banners.independent.body.one":"Sertifikatas naudingas, nes tikrintojui nereikia gamintojo vykdymo aplinkos. Jis gauna deklaruotą taisyklę, įvestis, rezultatą ir įrodymus kaip vieną apibrėžtą voką.","oss-aion-cadence-banners.independent.body.two":"Antrasis įgyvendinimas tikrina tuos įrodymus pagal tą pačią sutartį. Sutapimas tuomet yra įrodymas apie rezultatą, o ne to paties kodo kelio pakartotinis vykdymas.","oss-aion-cadence-banners.independent.panel":"Nepriklausomo priėmimo įrašas","oss-aion-cadence-banners.independent.tag":"PATIKRINTA ATSKIRAI","oss-aion-cadence-banners.independent.item.rule.label":"Deklaruota taisyklė","oss-aion-cadence-banners.independent.item.rule.detail":"Reikalavimas ir sertifikatų šeima yra įvardyti.","oss-aion-cadence-banners.independent.item.rule.status":"PATEIKTA","oss-aion-cadence-banners.independent.item.input.label":"Apibrėžtos įvestys","oss-aion-cadence-banners.independent.item.input.detail":"Sprendimo naudotos reikšmės keliauja kartu su juo.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Teigiamas rezultatas","oss-aion-cadence-banners.independent.item.result.detail":"Rezultatas nurodomas prieš pradedant tikrinimą.","oss-aion-cadence-banners.independent.item.result.status":"DEKLARUOTA","oss-aion-cadence-banners.independent.item.verifier.label":"Atskiras tikrintuvas","oss-aion-cadence-banners.independent.item.verifier.detail":"Kitas įgyvendinimas tikrina tą patį voką.","oss-aion-cadence-banners.independent.item.verifier.status":"PRIIMTA","oss-aion-cadence-banners.independent.verdict":"įrodymai išlieka už sistemos, kuri juos sukūrė, ribų","oss-aion-cadence-banners.independent.footer":"tikrinimas kerta įgyvendinimo ribą neprarasdamas sutarties","oss-aion-cadence-banners.refusal.eyebrow":"AION / nesėkmės sutartis","oss-aion-cadence-banners.refusal.lead":"Nepavykęs įrodymas","oss-aion-cadence-banners.refusal.accent":"turi įvardyti taisyklę, kurios negalėjo patenkinti","oss-aion-cadence-banners.refusal.body.one":"Tikslus tikrinimas nėra miglotas „praėjo arba nepraėjo“ apvalkalas. Tikrintuvas laikosi deklaruotos konversijos, aritmetinių ir loginių operacijų eilės tvarka, tada sustoja ties pirmąja negaliojančia sąlyga.","oss-aion-cadence-banners.refusal.body.two":"Tas atsisakymas priklauso įrodymams. Jis praneša kvietėjui, kuri prielaida, skalė, terminas ar apsauga nepavyko, prieš bet kurį vėlesnį žingsnį galintį paslėpti priežastį.","oss-aion-cadence-banners.refusal.panel":"Pirmoji nepavykusi operacija","oss-aion-cadence-banners.refusal.tag":"ATMESTA","oss-aion-cadence-banners.refusal.item.read.label":"Perskaitykite deklaruotas reikšmes","oss-aion-cadence-banners.refusal.item.read.detail":"Įvestys ir taisyklės tapatybė nustatomos prieš tikrinimą.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Taikykite deklaruotą konversiją","oss-aion-cadence-banners.refusal.item.scale.detail":"Joks tylus atsarginis variantas nekeičia aritmetinės sutarties.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Įvertinkite kiekvieną operaciją eilės tvarka","oss-aion-cadence-banners.refusal.item.check.detail":"Pirmoji negaliojanti sąlyga lieka priskiriama.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Grąžinkite įvardytą atsisakymą","oss-aion-cadence-banners.refusal.item.refuse.detail":"Kvietėjas gauna nepavykusią taisyklę ir jos įrodymus.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"atsisakymas yra peržiūrimas įrodymas, o ne tuščia klaida","oss-aion-cadence-banners.refusal.footer":"pirmoji nepavykusi sąlyga lieka matoma kitam peržiūrėtojui","oss-aion-cadence-banners.certificates.eyebrow":"AION / sertifikatų grandinė","oss-aion-cadence-banners.certificates.lead":"Vienas sprendimas","oss-aion-cadence-banners.certificates.accent":"gali turėti kelių rūšių įrodymus","oss-aion-cadence-banners.certificates.body.one":"Samprotavimas, organizacinis autoritetas, kompiliavimas ir vykdymas atsako į skirtingus klausimus. Traktuojant juos kaip vieną bendrą užtikrinimą būtų paslėpta, kur teiginys yra stiprus, o kur vis dar reikia kito patikrinimo.","oss-aion-cadence-banners.certificates.body.two":"AION laiko sertifikatus atskirus ir susieja juos su tuo pačiu sprendimo įrašu. Peržiūrėtojas gali sekti grandinę nesupainiodamas autoriteto su aritmetika ar sėkmingo vykdymo su patvirtinta taisykle.","oss-aion-cadence-banners.certificates.panel":"Sprendimo įrodymų kelias","oss-aion-cadence-banners.certificates.tag":"SUSIETAS","oss-aion-cadence-banners.certificates.item.reasoning.label":"Samprotavimo sertifikatas","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Parodo, kodėl pateikta išvada išplaukia.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Autoriteto sertifikatas","oss-aion-cadence-banners.certificates.item.organisation.detail":"Įvardija, kas gali patvirtinti ar atlikti veiksmą.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORITETAS","oss-aion-cadence-banners.certificates.item.compile.label":"Kompiliavimo sertifikatas","oss-aion-cadence-banners.certificates.item.compile.detail":"Susieja šaltinį, transformaciją ir sukurtą artefaktą.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Vykdymo sertifikatas","oss-aion-cadence-banners.certificates.item.execution.detail":"Įrašo, kas buvo vykdoma, kur ir su kokiomis įvestimis.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"kiekvienas teiginys išlaiko sertifikatų šeimą, kuri iš tikrųjų gali jį pagrįsti","oss-aion-cadence-banners.certificates.footer":"susieti įrodymai lieka pakankamai konkretūs, kad juos būtų galima užginčyti","oss-aion-cadence-banners.recheck.eyebrow":"AION / rezultatas, kurį galite peržiūrėti","oss-aion-cadence-banners.recheck.lead":"Ta pati taisyklė","oss-aion-cadence-banners.recheck.accent":"gali būti patikrinta dar kartą vėliau","oss-aion-cadence-banners.recheck.body.one":"Sakinys, pasirinkta reikšmė ir laiko limitas lieka pritvirtinti prie rezultato. Galite matyti, kas buvo nuspręsta ir kiek laiko sprendimas lieka galiojantis, nesiųsdami medžiagos kitur.","oss-aion-cadence-banners.recheck.body.two":"Kai taisyklė ar data pasikeičia, įrašas nurodo, ką reikia patikrinti iš naujo. Ankstesnis atsakymas lieka matomas, o ne tyliai pakeičiamas.","oss-aion-cadence-banners.recheck.panel":"Ką apima pakartotinis tikrinimas","oss-aion-cadence-banners.recheck.tag":"KARTOJAMA","oss-aion-cadence-banners.recheck.item.sentence.label":"Jūsų pradinis sakinys","oss-aion-cadence-banners.recheck.item.sentence.detail":"Formuluotė lieka šalia aiškinimo.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Pasirinkta reikšmė","oss-aion-cadence-banners.recheck.item.rule.detail":"Taikoma taisyklė užrašyta aiškiai.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Galiojimo data","oss-aion-cadence-banners.recheck.item.deadline.detail":"Likus laikas matomas prieš rezultatui nustojant galioti.","oss-aion-cadence-banners.recheck.item.deadline.status":"MATOMA","oss-aion-cadence-banners.recheck.item.result.label":"Naujas patikrinimas","oss-aion-cadence-banners.recheck.item.result.detail":"Tie patys įrodymai gali būti įvertinti dar kartą.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"galite grįžti prie atsakymo neprarasdami jo pagrindo","oss-aion-cadence-banners.recheck.footer":"įraše kartu saugomi žodžiai, taisyklė ir data","oss-aion-cadence-banners.supplier.eyebrow":"AION / tiekėjo įrodymai","oss-aion-cadence-banners.supplier.lead":"Tiekėjo atsakymas","oss-aion-cadence-banners.supplier.accent":"turėtų ateiti su tuo, ką galite patikrinti","oss-aion-cadence-banners.supplier.body.one":"Sertifikatas atskiria rezultatą nuo tiekėjo įrankio. Jame nurodoma, kas buvo patikrinta, kuri įrodymų grupė taikoma ir kurie įvesties duomenys bei artefaktai priklauso teiginiui.","oss-aion-cadence-banners.supplier.body.two":"Jūsų komanda gali išsaugoti tuos įrodymus ir naudoti kitą tikrintoją. Peržiūra nepriklauso nuo prieigos prie pradinės paslaugos ar prašymo tiekėjui pakartoti vykdymą.","oss-aion-cadence-banners.supplier.panel":"Įrodymai gauti kartu su rezultatu","oss-aion-cadence-banners.supplier.tag":"PERKELIAMA","oss-aion-cadence-banners.supplier.item.claim.label":"Tiekėjo teiginys","oss-aion-cadence-banners.supplier.item.claim.detail":"Rezultatas ir jo apimtis nurodomi aiškiai.","oss-aion-cadence-banners.supplier.item.claim.status":"GAUTA","oss-aion-cadence-banners.supplier.item.certificate.label":"Sertifikato vokas","oss-aion-cadence-banners.supplier.item.certificate.detail":"Įrodymai ir identifikatoriai keliauja kartu su teiginiu.","oss-aion-cadence-banners.supplier.item.certificate.status":"PRIDĖTA","oss-aion-cadence-banners.supplier.item.coverage.label":"Aprėpties teiginys","oss-aion-cadence-banners.supplier.item.coverage.detail":"Sertifikato grupė nurodo, ką jis gali patvirtinti.","oss-aion-cadence-banners.supplier.item.coverage.status":"APIBRĖŽTA","oss-aion-cadence-banners.supplier.item.checker.label":"Nepriklausomas tikrintojas","oss-aion-cadence-banners.supplier.item.checker.detail":"Jūsų pusė tikrina įrodymus be gamintojo.","oss-aion-cadence-banners.supplier.item.checker.status":"PRIEINAMA","oss-aion-cadence-banners.supplier.verdict":"įrodymai lieka naudingi pasibaigus tiekėjo vykdymui","oss-aion-cadence-banners.supplier.footer":"patikrinamą rezultatą lengviau išsaugoti, palyginti ir ginčyti","oss-aion-cadence-banners.boundary.eyebrow":"AION / kontroliuojama peržiūra","oss-aion-cadence-banners.boundary.lead":"Peržiūra lieka viduje","oss-aion-cadence-banners.boundary.accent":"ribose, kurias nustato jūsų organizacija","oss-aion-cadence-banners.boundary.body.one":"Byla, taisyklė ir sertifikatas gali būti tikrinami ten, kur jie jau yra. Vietinis tikrinimas nepaverčia peržiūros dar vienu informacijos atskleidimo keliu nagrinėjamai medžiagai.","oss-aion-cadence-banners.boundary.body.two":"Įraše vis tiek nurodoma nustatyta savybė ir naudoti įrodymai. Duomenų laikymas vietoje nereiškia atsisakymo nuo priskiriamo audito tako.","oss-aion-cadence-banners.boundary.panel":"Vietinės peržiūros maršrutas","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Atidarykite išsaugotą bylą","oss-aion-cadence-banners.boundary.item.case.detail":"Šaltinio medžiaga lieka savo esamoje aplinkoje.","oss-aion-cadence-banners.boundary.item.case.status":"VIETOJE","oss-aion-cadence-banners.boundary.item.property.label":"Pasirinkite teiginį tikrinti","oss-aion-cadence-banners.boundary.item.property.detail":"Sertifikato apimtis lieka aiški.","oss-aion-cadence-banners.boundary.item.property.status":"APIBRĖŽTA","oss-aion-cadence-banners.boundary.item.perimeter.label":"Vykdykite perimetro viduje","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Tikrinimui nereikia jokios išorinės paslaugos.","oss-aion-cadence-banners.boundary.item.perimeter.status":"APRIBOTA","oss-aion-cadence-banners.boundary.item.record.label":"Saugokite peržiūros įrašą","oss-aion-cadence-banners.boundary.item.record.detail":"Įvestys, tikrintojas ir rezultatas lieka priskiriami.","oss-aion-cadence-banners.boundary.item.record.status":"ĮRAŠYTA","oss-aion-cadence-banners.boundary.verdict":"įrodymus galima patikrinti nesukuriant naujo duomenų perdavimo","oss-aion-cadence-banners.boundary.footer":"vietinis vykdymas ir peržiūrimi įrodymai priklauso tai pačiai kontrolei","oss-aion-case-fields.ce69e76708":"byla pradeda sprendimą","oss-aion-case-fields.9a83c048c3":"verdiktas baigia patikrą","oss-aion-case-fields.afc58d4c40":"pirmasis, kuris nepavyksta, pagal pavadinimą","oss-aion-case-fields.3bc6a69e80":"likutis turi viršyti nulį prieš bandant iš naujo","oss-aion-case-fields.4e0285b28b":"sąlyga pažeista","oss-aion-case-fields.4e0af55321":"KONTRPAVYZDYS","oss-aion-case-fields.344daefb37":"Viena byla, visa","oss-aion-case-fields.62e0ec394a":"reikšmės ir kokia kiekviena yra","oss-aion-case-fields.7f01fe787c":"partija","oss-aion-checked-not-rerun.dd5b6cbe2b":"vienas sujungimas, viena nebuvimo vieta","oss-aion-checked-not-rerun.846a719bdc":"Paskutinė eilutė neturi atitikmens už jokią kainą.","oss-aion-checked-not-rerun.6c26a05ac4":"Penki iš septynių išeina, o du iš jų susijungia.","oss-aion-checked-not-rerun.4f01efffc8":"skaito kažkas, kas niekada nelaikė jų programinės įrangos","oss-aion-checked-not-rerun.a70205a694":"lyginama su kito ketvirčio","oss-aion-checked-not-rerun.0d85e26645":"archyvuota kartu su sprendimu, kurį rėmė","oss-aion-checked-not-rerun.ffc7dbc2ad":"ką laikote po to","oss-aion-checked-not-rerun.d6124c1aee":"niekas kairėje to nesukuria","oss-aion-checked-not-rerun.9b9252883d":"pats sertifikatas","oss-aion-checked-not-rerun.0bfa7a3bd8":"deklaruoti įėjimai ir sutartis","oss-aion-checked-not-rerun.d7f7f555ad":"teiginys","oss-aion-checked-not-rerun.527c7f544a":"trys dalykai","oss-aion-checked-not-rerun.f8a34d2942":"patikrinti jų sertifikatą","oss-aion-checked-not-rerun.2a20acacc2":"septyni dalykai","oss-aion-checked-not-rerun.a94f90b8e9":"atkurti jų sistemą","oss-aion-checked-not-rerun.d2eae1af1f":"ta pati garantija, du keliai","oss-aion-checked-not-rerun.87f754c087":"penki išbraukti, vienas nebuvimo vieta","oss-aion-checked-not-rerun.2a62bb8028":"ko reikalauja kiekvienas kelias","oss-aion-checked-not-rerun.35d7d25591":"ar jis vis dar galioja po pakeitimo","oss-aion-checked-not-rerun.6cd8ba818d":"kieno duomenimis","oss-aion-checked-not-rerun.96f39a5e7d":"prieš kurią taisyklių rinkinio versiją","oss-aion-checked-not-rerun.c8d59ae061":"kurios sąlygos buvo patikrintos","oss-aion-checked-not-rerun.b028b89ea7":"jų pagalba","oss-aion-checked-not-rerun.c03c2fce6e":"pakankamo dydžio mašina","oss-aion-checked-not-rerun.867d12b7ad":"įvesties duomenys","oss-aion-checked-not-rerun.717e42eb01":"jų konfigūracijos failas","oss-aion-checked-not-rerun.935b145c44":"atitinkama operacinė sistema","oss-aion-checked-not-rerun.fa15ad3da2":"tiksli versija, kurią jie naudojo","oss-aion-checked-not-rerun.5990a1ec89":"licencija jų programinei įrangai","oss-aion-compile-cert.b1991b0d44":"taigi atsisakymas nurodo į vieną","oss-aion-compile-cert.85edd85611":"teiginiai įvardijami atskirai","oss-aion-compile-cert.6e8814b9a0":"Kas išėjo, pagal turinio adresą, susieta su visa tai, kas išvardyta aukščiau.","oss-aion-compile-cert.a41732e051":"Artefakto tapatybė","oss-aion-compile-cert.6d4151d7a5":"Kas įėjo, pagal turinio adresą, o ne pagal failo pavadinimą.","oss-aion-compile-cert.7204133281":"Šaltinio arba grafiko tapatybė","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"ir ką jis teigia apie kiekvieną","oss-aion-compile-cert.0bcab6c465":"Ką sertifikatas įvardija","oss-aion-compile-cert.027f7ee7d1":"Kokias savybes šis sertifikatas nustato visiems jiems.","oss-aion-compile-cert.8906f98ae0":"Deklaruotas išsaugojimas","oss-aion-compile-cert.d186ea41e2":"Taikyti etapai, tokia tvarka, kokia jie buvo taikyti.","oss-aion-compile-cert.66ad6a206e":"Transformacijų seka","oss-aion-compile-cert.ebb0c953d1":"Kuri versija, su kokiais optimizavimo nustatymais.","oss-aion-compile-cert.691f87f640":"Kompiliatorius ir optimizavimas","oss-aion-console.5d71265e50":"Patikrinkite įrodymo sertifikatą. Jokio sprendiklio, jokio tinklo.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Tikrinamas įrodymas: proof.alethe","oss-aion-console.1016f1bcf3":"Formatas: Alethe","oss-aion-console.70142f344c":"Analizė: OK","oss-aion-console.8455c5ceeb":"Įrodymą sudaro N žingsnių","oss-aion-console.fc539fcf62":"Įrodymo patikra: PAVYKO","oss-aion-console.88f6db402f":"Tikrinimo laikas: Nms","oss-aion-console.4f437cea65":"Jūsų tikrintuvas tai patvirtino. Išeitis 0. Nieko neišsiųsta.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Skaityti sertifikatą","oss-aion-console.0cef7497bf":"Tikrintuvas atidaro įrodymo failą, kurį gavote. Jam nieko daugiau nereikia: jokių modelio svorių, jokio pardavėjo prisijungimo, jokio interneto.","oss-aion-console.830903eaf6":"Peržiūrėti kiekvieną žingsnį","oss-aion-console.6ce1fb843f":"Kiekviena išvada yra atkuriama pagal nurodytas prielaidas. LRAT pateikia vienetų sklidimo užuominas, todėl peržiūra yra tiesinė įrodymo ilgio atžvilgiu.","oss-aion-console.1044fbcb06":"Priimti arba atmesti","oss-aion-console.cb4e501f7a":"Jei kiekvienas žingsnis galioja, tikrintuvas išspausdina PAVYKO ir baigia darbą su kodu 0. Jei kuris nors žingsnis negalioja, jis nurodo klaidą ir baigia darbą ne nuliniu kodu. Tarpinio varianto nėra.","oss-aion-console.b568d47f2e":"Įvestis","oss-aion-console.df73f614f5":"Įrodymo failas","oss-aion-console.0562f32dc5":"Priklausomybės","oss-aion-console.7334b0e2cf":"Nėra tikrinimo metu","oss-aion-console.64ae43e8fe":"Kaina","oss-aion-console.660020f41a":"Tiesinė įrodymo ilgio atžvilgiu","oss-aion-console.5faa59d4bc":"Rezultatas","oss-aion-console.de76d16078":"PAVYKO arba nurodyta klaida","oss-aion-console.76d6562c0a":"Patikra","oss-aion-console.edabf74eb3":"Viena komanda nuskaito įrodymą ir","oss-aion-console.d161c0634a":"priima arba atmeta jį","oss-aion-console.a997e63df7":"Tikrintuvas yra nepriklausomas nuo sprendiklio. Įteikite jam sertifikatą, ir jūsų\n          tikrintuvas patvirtins arba atmes jį, neprisijungęs prie tinklo, be prieigos prie variklio, kuris jį sukūrė.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"neprisijungęs tikrintuvas","oss-aion-console.6b5eb5323e":"Nepriklausomas tikrintuvas","oss-aion-console.165cb4a2fd":"N žingsnių ir Nms yra vietos rezervuoti: tikrieji skaičiai priklauso nuo tikrinamo įrodymo, o ne\n              nuo mūsų. Komandų sąsaja yra reali, aion check analizuoja, peržiūri ir praneša PAVYKO.","oss-aion-console.b8fae1a1a1":"AION / įrodymo patikra","oss-aion-consumer-glyph.dccc2b6aff":"Interneto nereikia","oss-aion-consumer-glyph.22c2234e11":"Pagaminta Europoje","oss-aion-consumer-glyph.75f527181b":"Galima patikrinti vėliau","oss-aion-consumer-glyph.94651c6eb5":"Antras pagalbininkas tai patikrina","oss-aion-consumer-glyph.b9fefb3f5b":"Atrodo teisingai","oss-aion-consumer-glyph.fb447dd18d":"Jūsų kvitas","oss-aion-consumer-glyph.49a8e53c77":"Mašina atsako","oss-aion-consumer-glyph.f5ad0f0059":"Taip, ir štai kodėl","oss-aion-consumer-glyph.7011b1a621":"Atsakymas","oss-aion-consumer-glyph.07d0cfac8b":"Žingsnis po žingsnio, užrašyta","oss-aion-consumer-glyph.5bcd26af49":"Kaip tai buvo pasiekta","oss-aion-consumer-glyph.8afc953f7f":"Ar tai tinka man?","oss-aion-consumer-glyph.d79cce547d":"Klausimas","oss-aion-coverage-join.fa5284c04d":"short is short","oss-aion-coverage-join.d04fa188df":"Keturių nesiekia nemaža dalis, todėl sujungimas atmetamas, o ne apvalinamas.","oss-aion-coverage-join.0b67159da5":"Šešiolika langelių įskaityta, o sudarytas rezultatas priimamas.","oss-aion-coverage-join.7142d70e45":"sudėtis atmesta, aprėptis per maža","oss-aion-coverage-join.245fbeffee":"ne apvalinimo klaida. Regionas, į kurį niekas nežiūrėjo.","oss-aion-coverage-join.1df8f3c0e7":"14 iš 16","oss-aion-coverage-join.1c1d6ac8f1":"du langeliai, į kuriuos niekas nežiūrėjo","oss-aion-coverage-join.f0833f7fc6":"tas pats sujungimas, trūksta vieno kubo","oss-aion-coverage-join.db8d5bf534":"sudėtis priimta","oss-aion-coverage-join.558480e414":"16 iš 16","oss-aion-coverage-join.26f1b36edc":"kiekvienas langelis įskaitytas","oss-aion-coverage-join.39cd7fa9c4":"keturi kubai","oss-aion-coverage-join.bb2dba7602":"iliustraciniai kubai","oss-aion-coverage-join.a4d76ddfc7":"aprėptis per maža dviem langeliais","oss-aion-coverage-join.e4445ac125":"Vienas padalijimo patikrinimas","oss-aion-coverage-join.186c8cd284":"Jūsų turima versija nesikeičia po jumis.","oss-aion-coverage-join.9daf9699cc":"versija","oss-aion-coverage-join.66506ab77b":"Joks modelis nėra iškviečiamas.","oss-aion-coverage-join.f2250926d2":"Niekas nepalieka ribos.","oss-aion-coverage-join.3110d06249":"kas palieka","oss-aion-coverage-join.0bd87fb406":"Šiame kelyje nėra procesoriaus.","oss-aion-coverage-join.1fa5b0500c":"ne a, ne b, ne c","oss-aion-coverage-join.898fae3bdc":"ne a, ne b, c","oss-aion-coverage-join.a8f663af2d":"ne a, b","oss-aion-coverage-join.bee9689def":"keturios mašinos, vienas atsakymas","oss-aion-coverage-join.3ea0cf3ca7":"jūsų nustatyti adresai","oss-aion-coverage-join.7b9e33922c":"paslauga","oss-aion-coverage-join.17819009bd":"vienas iškvietimas","oss-aion-coverage-join.2c4d8b9dd8":"komanda","oss-aion-coverage-join.5a78e04d95":"susietas","oss-aion-coverage-join.985e108737":"biblioteka","oss-aion-coverage-join.1d06a0d76f":"modelis","oss-aion-coverage-join.8eab5a6dbb":"procesorius","oss-aion-coverage-table.356f85e809":"viena AION voko ir maršruto sutartis","oss-aion-coverage-table.4f52f572dd":"septyni gamintojų rezultatai","oss-aion-coverage-table.2a268cd632":"SEPTYNI GAMINTOJAI","oss-aion-coverage-table.8351372237":"rezultatas pirmas, tikrintojas parenkamas pagal sertifikatų šeimą","oss-aion-coverage-table.b7d5fe11a0":"Ką palieka septyni gamintojai","oss-aion-coverage-table.f31a7c9011":"Sprendėjas","oss-aion-coverage-table.a194f815cb":"Įmanomas, neįmanomas arba optimalus","oss-aion-coverage-table.7ec93e2d31":"Įrodymas, modelis, branduolys, liudytojas arba riba","oss-aion-coverage-table.651e0f73b2":"Šeimai būdingas sprendėjo tikrintojas","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Išvada iš deklaruotų apribojimų","oss-aion-coverage-table.9ac60dc1a8":"Apribojimų išvedimas ir grąžinti sprendėjo įrodymai","oss-aion-coverage-table.d5ef792d46":"Loom samprotavimo tikrintojas","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Užbaigta valdoma operacija","oss-aion-coverage-table.70d43be1ea":"Institucija, politika, patvirtinimai, perėjimai ir kvitai","oss-aion-coverage-table.5372a8e90f":"Nexus organizacinis tikrintojas","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Sukompiliuotas artefaktas","oss-aion-coverage-table.1f3e5d7c89":"Šaltinio grafas, transformacijos, invariantai ir artefakto tapatybė","oss-aion-coverage-table.86ca1bd031":"Kera kompiliacijos tikrintojas","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Vykdyta darbo krūvis","oss-aion-coverage-table.24f1ac9e33":"Modulis, įvestys, galimybių suteikimai, perėjimai, ribos ir išvestis","oss-aion-coverage-table.0f9ea21c74":"Selvedge vykdymo tikrintojas","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Imituota trajektorija","oss-aion-coverage-table.ef85239d10":"Modelio tapatybė, parametrai, būsena, kontroliniai taškai, invariantai ir trajektorijos maiša","oss-aion-coverage-table.c5b7fe3198":"Simuliacijos ir FMI tikrintojas","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Užbaigtas FMU paleidimas","oss-aion-coverage-table.8f5753fba0":"FMU tapatybė, konfigūracija, žingsniai, įvykiai, konvergencija ir pėdsakas","oss-aion-coverage-table.4d64b5bbaf":"Simuliacijos ir FMI tikrintojas","oss-aion-coverage-table.7d1ab3c6e0":"Įrodymai:","oss-aion-coverage-table.4e5bc7d129":"Tikrintojas:","oss-aion-days-left.545fa01eea":"ir tai pasakoma prieš paskutinę dieną","oss-aion-days-left.eaa861cef8":"ta pati taisyklė, skaitoma keturis kartus","oss-aion-days-left.2017bddab0":"Klausk bet kurią dieną, ir ta pati taisyklė atlieka skaičiavimus. Nieko apie ketvirtą skaitymą\n          nėra garsiau nei pirmąjį, tik mažiau.","oss-aion-days-left.81b20537a7":"likę kambariai, dienomis","oss-aion-days-left.0526dbf682":"LAIKRODIS","oss-aion-days-left.2f29339cb6":"tas pats laikrodis, keturios dienos skirtumo","oss-aion-days-left.47a76d1261":"Vienas prašymas, keturi skaitymai","oss-aion-days-left.9dd1fe0fd2":"26 iš 30","oss-aion-days-left.f4c6daac2a":"26 diena","oss-aion-days-left.62f21454ca":"22 iš 30","oss-aion-days-left.4ad399ed8a":"22 diena","oss-aion-days-left.ae5a29afae":"16 iš 30","oss-aion-days-left.195b05cbbd":"16 diena","oss-aion-days-left.d31b7d0f91":"8 iš 30","oss-aion-days-left.185b76515a":"8 diena","oss-aion-days-left.2dd2bed725":"šiandien","oss-aion-dispute-parts.65edc28a9d":"skydelis ir sprendimas priklauso jūsų pačių procesui, o artefaktas nejuda","oss-aion-dispute-parts.e56cf65ada":"ir tai nėra tribunolas","oss-aion-dispute-parts.37f322f735":"jis pateikia įrodymus,","oss-aion-dispute-parts.7b7570d892":"sprendimas","oss-aion-dispute-parts.52e3685580":"langas","oss-aion-dispute-parts.7de929b394":"skydelis","oss-aion-dispute-parts.2eba0fb6ad":"ką jūsų procesas valdo","oss-aion-dispute-parts.ea4031d789":"kuris tikrintojas, kuri versija","oss-aion-dispute-parts.93be71a61d":"sutartis","oss-aion-dispute-parts.48b63234e3":"įvardytas, o ne apibendrintas","oss-aion-dispute-parts.cced6746e2":"gedimo vieta","oss-aion-dispute-parts.2c9e8d06dd":"atkuriama bet kam","oss-aion-dispute-parts.2e02032e1d":"patikrinimas","oss-aion-dispute-parts.804e9af218":"gamintojas ir parašas nepažeisti","oss-aion-dispute-parts.69506051d5":"išsaugota kaip priimta","oss-aion-dispute-parts.6b578cc32e":"sertifikatas","oss-aion-dispute-parts.21df0b2530":"Ką prisideda AION","oss-aion-dispute-parts.4029dc5f44":"Jis išsaugo sertifikatą tokį, koks buvo priimtas. Jis išsaugo priskyrimą, todėl kas sukūrė rezultatą, išlieka net pasikeitus rangovui. Jis atkuria patikrinimą pagal poreikį, bet kam, be gamintojo. Jis nustato tikslią gedimo vietą, o ne grąžina verdiktą. Ir parodo, kuris tikrintojas priėmė rezultatą ir pagal kurią sutarties versiją. Skydelis, langas ir sprendimas priklauso bet kokiam procesui, kurį jūsų organizacija jau vykdo. AION tiekia artefaktą, dėl kurio tas procesas ginčijasi.","oss-aion-dispute-parts.434ae4f1d6":"AION vaidmuo toje situacijoje yra siauras, ir tai yra naudinga dalis.","oss-aion-dispute-parts.3eb5567b60":"Darbas, kurį sukūrė viena šalis ir kuriuo remiasi kita, galiausiai sukelia nesutarimą dėl to, ar jis buvo geras. Kas tai nusprendžia, beveik niekada nėra argumentų stiprumas. Tai, ar egzistuoja artefaktas, kurį abi šalys gali išnagrinėti ir kurio nė viena šalis negali pakeisti, o daugeliu ginčų įrašai, kurie išspręstų klausimą, yra vienos iš dviejų šalių rankose.","oss-aion-dispute-parts.2ccc6715e9":"Ne geresnis argumentas.","oss-aion-dispute-parts.aa0d5ae0e6":"Ginčui reikia įrodymų.","oss-aion-dispute-parts.b4b6237893":"Kai kas nors nesutinka","oss-aion-dispute-parts.eec3b038bd":"priskyrimas","oss-aion-dispute-parts.100ec4462d":"įrodymai","oss-aion-envelope-fields.cfc233d284":"vokas niekada nėra","oss-aion-envelope-fields.1c80a87a33":"našta yra būdinga šeimai","oss-aion-envelope-fields.d85cb39036":"šeima, kuri nusprendžia tikrintoją","oss-aion-envelope-fields.a975c5af10":"Sertifikato tipas","oss-aion-envelope-fields.4282e3d696":"pavadintas, niekada numanomas","oss-aion-envelope-fields.0562f32dc5":"Priklausomybės","oss-aion-envelope-fields.ca2dc8737d":"kuri sistema, kuri versija","oss-aion-envelope-fields.7b7194967f":"Gamintojas","oss-aion-envelope-fields.f33f785291":"prieš ką buvo padaryta, ir kuri versija","oss-aion-envelope-fields.404e7d3e00":"Įvestys ir sutartis","oss-aion-envelope-fields.93a29173f5":"identifikatorius ir našta arba jos maiša","oss-aion-envelope-fields.dc4e08a408":"Teiginys","oss-aion-envelope-fields.78e789d605":"SUTARTIS","oss-aion-envelope-fields.d12a9ca770":"už naštos ribų, kiekviena šeima","oss-aion-envelope-fields.f18dee6041":"Vokas","oss-aion-envelope-fields.f07e5a8156":"našta","oss-aion-evidence.cbf668da60":"Žurnalo failai","oss-aion-evidence.28e06c789a":"Žurnalas rodo, kad sistema veikė. Jis neparodo, kodėl buvo gautas atsakymas, o žurnalą galima tyliai redaguoti.","oss-aion-evidence.c637aebe3a":"Nepermatomas","oss-aion-evidence.5c3fc92e3f":"Pasitikėjimo balas","oss-aion-evidence.fd3c76543b":"Vienas skaičius, apibendrinantis vidinę būseną. Dvi sistemos gali rodyti tą patį balą ir gauti priešingas išvadas iš tų pačių duomenų.","oss-aion-evidence.16f3dacf52":"Be išvedimo","oss-aion-evidence.7f34e37f1b":"Savarankiškai sugeneruotas paaiškinimas","oss-aion-evidence.361b70a63e":"Parašytas to paties modelio, kuris priėmė sprendimą. Jis vertina savo darbą, todėl negali būti laikomas nepriklausomu įrodymu.","oss-aion-evidence.782acc59ce":"Cirkuliariškas","oss-aion-evidence.477416bf24":"Pasitikėkite tiekėju","oss-aion-evidence.1e84c62138":"Kai reguliuotojas, pacientas ar teismas klausia „parodykite savo darbą“, paslaugos lygio pažadas nėra atsakymas, kurį jie gali patikrinti.","oss-aion-evidence.76afe0e09f":"Nepatikrinamas","oss-aion-evidence.06f2d5f1a8":"Sertifikatas, ne teiginys","oss-aion-evidence.cdcc6f712c":"AION kartu su atsakymu pateikia įrodymo sertifikatą. Sertifikate išvardytas kiekvienas samprotavimo žingsnis ta tvarka, kuria jis buvo atliktas.","oss-aion-evidence.6d1c5f470b":"Patikrinta kito","oss-aion-evidence.cc65178dc5":"Atskiras tikrintojas peržiūri žingsnius ir juos priima arba atmeta. Klausimą užduodanti šalis pati jį paleidžia.","oss-aion-evidence.412a3b1e5e":"Galima pakartoti vėliau","oss-aion-evidence.9082c552d2":"Tas pats sertifikatas tikrinamas taip pat ir kitą mėnesį, kitoje mašinoje, be prieigos prie originalios sistemos.","oss-aion-evidence.1206578b48":"parodykite savo darbą","oss-aion-evidence.494beafd71":"audito klausimas","oss-aion-evidence.bba8b0753d":"įrodymai prieš teiginį","oss-aion-evidence.00e2ca4c85":"Kai AI sprendimas pasiekia reguliuotoją, pacientą ar saugos atvejį, kažkas klausia","oss-aion-evidence.1defdb9d85":"kaip buvo gautas šis atsakymas.","oss-aion-evidence.290a698043":"Dauguma organizacijų negali pateikti atsakymo,\n          kurį klausiantis asmuo galėtų patikrinti pats.","oss-aion-evidence.56f6624482":"Ne įrodymai","oss-aion-evidence.a295517f40":"Kas siūloma šiandien","oss-aion-evidence.7ea014de7b":"Įrodymai","oss-aion-evidence.4cb1cd3e53":"Ką AION pateikia","oss-aion-evidence.2a36a263da":"Įrodymai nėra teigiami. Įrodymai yra tikrinami.","oss-aion-evidence.e0a4c0a385":"Nepriklausomas patikrinimas yra vienintelis atsakymas, kurį auditorius gali priimti.","oss-aion-exact-sum.21aaad8129":"neigiamas daugiklis atmetamas prieš imant sumą, pirmojo patikrinimo metu","oss-aion-exact-sum.3b267c2a81":"toje grandinėje nėra vidinio slankiojo kablelio","oss-aion-exact-sum.1a43ebe28c":"taigi sistema paneigiama","oss-aion-exact-sum.452308dbcd":"liekamoji konstanta","oss-aion-exact-sum.35add33a7a":"kas lieka","oss-aion-exact-sum.df326a819b":"y nariai pasinaikina","oss-aion-exact-sum.dae482d4b2":"x nariai pasinaikina","oss-aion-exact-sum.c36d183406":"sudėkite padaugintas nelygybes","oss-aion-exact-sum.79e4c9d3fa":"padauginkite ją","oss-aion-exact-sum.c3c4b24b20":"abi nelygybės, viskas vienoje pusėje","oss-aion-exact-sum.b6b4c73115":"Suma, visa","oss-aion-exact-sum.c1c66bf52c":"Sąlygos tikrinamos iš eilės ir kiekviena yra atsisakymas pats savaime. Neigiamas\n            daugiklis atmetamas prieš imant bet kokią sumą, nes dauginant iš neigiamo skaičiaus\n            nelygybė apsiverčia. Suma, kurioje išlieka kintamasis narys, atmetama nurodant\n            išlikusį narį. Suma, kurios liekamoji konstanta nėra teigiama, atmetama,\n            nes ji nieko neįrodo. Koeficientas, viršijantis dydžio apsaugą, sukelia\n            perpildymą, o ne apvyniojimą. Toje grandinėje nėra jokios tolerancijos.","oss-aion-exact-sum.6efbacfc5b":"Aritmetinis paneigimas yra daugiklių rinkinys. Užrašykite kiekvieną nelygybę su\n            viskuo vienoje ženklo pusėje, padauginkite ją, sudėkite padaugintas nelygybes,\n            ir jei kiekvienas kintamasis narys pasinaikina ir kas lieka yra teigiamas skaičius,\n            apie kurį teigiama, kad jis yra ne didesnis už nulį, tai negali būti, taigi ir\n            sistema, iš kurios jis kilo, negali būti. AION priima tuos daugiklius ties riba ir\n            konvertuoja juos į deklaruotą adaptyvią sveikojo skaičiaus / fiksuoto kablelio\n            reprezentaciją prieš tikrindamas. Jis viduje nesaugo, nekaupia ir neskaičiuoja\n            jokių slankiojo kablelio reikšmių ir neturi slankiojo kablelio atsarginės parinkties.\n            Trupmena čia spausdinama todėl, kad ji padaro prieštaravimą įskaitomą; tikrinimą\n            valdo jo deklaruota konversija ir mastelis.","oss-aion-exact-sum.31934abfaa":"Jo konversija deklaruoja mastelį.","oss-aion-exact-sum.a3caf489e5":"Trečdalis nėra 0,333.","oss-aion-exact-sum.15e6a906dd":"Deklaruota adaptyvi fiksuoto kablelio aritmetika","oss-aion-exact-sum.108a35964a":"suma sako 11/6 <= 0, o tai yra klaidinga,","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":"taip","oss-aion-exact-sum.c4c6c57253":"teigiamas","oss-aion-exact-sum.b55e22fe78":"tikslus","oss-aion-exec-cert.6a230011ab":"tai tikrina kažkas kitas","oss-aion-exec-cert.2c14724b1b":"jį sukūrė vykdymo laikas","oss-aion-exec-cert.b07722ef0c":"riba","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"modulis išvesties generavimui","oss-aion-exec-cert.a7b63abc02":"Ką sertifikatas neša","oss-aion-exec-cert.e1bbfaa783":"To, kas išėjo, tapatybė ir ar jis buvo sulaikytas.","oss-aion-exec-cert.59871c9494":"Išvestis ir būsena","oss-aion-exec-cert.ffb779a5c3":"Ribos, kuriose jis veikė, kaip apribojimai, o ne kaip stebėjimai.","oss-aion-exec-cert.ffbc724f07":"Išteklių apimtis","oss-aion-exec-cert.273c1da325":"Deterministinis, atsižvelgiant į modulį, įvestis ir leidimus.","oss-aion-exec-cert.acee491c99":"Būsenos perėjimai","oss-aion-exec-cert.eab885bbb2":"Ką jam buvo leista pasiekti, deklaruota prieš jam veikiant.","oss-aion-exec-cert.dc009dc166":"Funkcijų suteikimai","oss-aion-exec-cert.6f3eb29822":"Kuris modulis, pagal turinio adresą, kurioje vykdymo laiko versijoje.","oss-aion-exec-cert.c201b4ae89":"Modulio tapatybė","oss-aion-executed-under.6b6dab207c":"Ką leidžia sertifikatas","oss-aion-executed-under.1fcfedc78a":"ką jis galėtų pasiekti","oss-aion-executed-under.0338c5441d":"Klausimas po fakto yra įgaliojimas, o sertifikatas jį turi.","oss-aion-executed-under.bc70ed4db9":"Keturi leidimai suteikti, trys atmesti.","oss-aion-executed-under.6f9d76b8c0":"Pereinamieji procesai yra deterministiniai, atsižvelgiant į modulį, įvestis ir leidimus, todėl visa tai buvo atlikta niekada nevykdant darbo krūvio.","oss-aion-executed-under.e044b5f419":"Tapatybė, kurią deklaruoja sertifikatas, nėra tapatybė, kurią sukuria pereinamieji procesai, todėl vykdymas atmetamas prie išvesties. Viskas prieš tai buvo atkurta tiksliai.","oss-aion-executed-under.7f0cc64ae8":"deterministiniai pereinamieji procesai","oss-aion-executed-under.5fa4050afc":"galimybių rinkinys, deklaruotas prieš vykdymą","oss-aion-executed-under.844e9ed357":"laikrodis, stebėjimas nenustatytas","oss-aion-executed-under.b3ccbb4041":"atminties riba 512 MiB","oss-aion-executed-under.1fe892a96f":"vienas lizdas, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"skaityti /var/lib/claims","oss-aion-executed-under.7a02a68db0":"nesuteiktas","oss-aion-executed-under.685706abcf":"išvesties tapatybė skiriasi","oss-aion-executed-under.6287ff317a":"sukurtas","oss-aion-executed-under.0baff051a0":"deklaruotas","oss-aion-executed-under.1029d67644":"išvestis","oss-aion-executed-under.fbd34a2b6e":"modulis","oss-aion-executed-under.910e029098":"iliustratyvus","oss-aion-executed-under.df6fe4f714":"galimybė išlikti po vykdymo","oss-aion-executed-under.b51590997b":"kiekvienas kitas adresas","oss-aion-executed-under.e4e545e3b7":"viskas kitas failų sistemoje","oss-aion-fact-strip.0dc9622797":"Kiekviena figūra kyla iš AION saugyklos.","oss-aion-fact-strip.b7feece146":"AION skaičiais","oss-aion-fact-strip.fedec331ff":"Biblioteka, CLI ir etalonas vienoje darbo vietoje","oss-aion-fact-strip.13a24daf03":"Įgyvendinimas","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Dvejetainis, sveikasis ir adaptyvusis fiksuoto taško; be vidinio slankiojo kablelio","oss-aion-fact-strip.5688a0448c":"Aritmetikos branduolys","oss-aion-fact-strip.0cae74747c":"Tikslus","oss-aion-fact-strip.379c055f01":"Tiesinis įrodymo ilgio atžvilgiu, neprisijungęs, be sprendiklio","oss-aion-fact-strip.04ce84fb6e":"Patikrinimo kaina","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe ir vieninga tarpinė forma","oss-aion-fact-strip.e6c67de15e":"Įrodymų formatai","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Loginės teorijos","oss-aion-failure-notice.d8164c5dd8":"radinys, o ne ginčas","oss-aion-failure-notice.159098bbba":"Kitas pradeda ginčą, kurio niekas negali užbaigti.","oss-aion-failure-notice.814fc5cd4f":"Vienas iš jų gali būti išsiųstas tiekėjui antradienio popietę.","oss-aion-failure-notice.2e6ea3eaa5":"negali būti priskirtas, negali būti įkainotas, negali būti tiksliai užginčytas","oss-aion-failure-notice.e896d6344f":"patikra nepavyko","oss-aion-failure-notice.587270a2e4":"kur yra kiekvienas laukas","oss-aion-failure-notice.ba0f0eb3fe":"prielaida nepateikta","oss-aion-failure-notice.0c2a7f4aef":"415 žingsnis","oss-aion-failure-notice.55daa4a2ea":"paskutiniai keturi žingsniai skaitomi","oss-aion-failure-notice.ca548ed152":"2026 m. kovo 17 d.","oss-aion-failure-notice.3c05b129e2":"nuosprendis nepriimtas","oss-aion-failure-notice.aa943932a5":"atsisakymo pranešimas","oss-aion-failure-notice.28fb3d519e":"atkurtas","oss-aion-failure-notice.bd370d1b6f":"žingsnis","oss-aion-failure-notice.910e029098":"iliustracinis","oss-aion-failure-notice.e6b658331e":"ir niekas nėra kaltinamas","oss-aion-failure-notice.94002635cd":"jūs, jei tai apimties klausimas","oss-aion-failure-notice.7ab178c9a0":"toks","oss-aion-failure-notice.0d967ff8f3":"pateikia trūkstamą prielaidą","oss-aion-failure-notice.b54c9b7359":"kas sukūrė žingsnį","oss-aion-failure-notice.94a94ba774":"priežastis","oss-aion-failure-notice.ba3167e426":"patvirtina, ką tas žingsnis turėtų daryti","oss-aion-failure-notice.32ec97b69b":"jūsų taisyklių rinkinio savininkas","oss-aion-failure-notice.b543dc38fd":"taisyklė","oss-aion-failure-notice.ad866c4aef":"atidaro failą 415 žingsnyje","oss-aion-failure-notice.06fddd86f6":"tiekėjo įrodymų komanda","oss-aion-failure-notice.aecf66bfac":"vieta","oss-aion-failure-notice.1d7794c5e2":"šiam įrodymui nuosprendis nepriimtas","oss-aion-failure-notice.f4475dac73":"pasekmė","oss-aion-failure-notice.566c7d73a0":"žingsnis remiasi prielaida, kurios nėra faile","oss-aion-failure-notice.7947e92e3c":"priežastis","oss-aion-failure-notice.5dfa011717":"taisyklė, sprendimas","oss-aion-failure-notice.64463af8a3":"414 priimta","oss-aion-failure-notice.c21ce4fb88":"perskaityti žingsniai","oss-aion-failure-notice.2bf60a2164":"tiekėjo konfliktų analizė kovo taisyklių rinkiniui","oss-aion-failure-notice.335ce16b3f":"tema","oss-aion-family-board.ca8f6715c8":"atskirai versijuojama","oss-aion-family-board.e794ff76c1":"kontūras, laukiantis patikrintojo","oss-aion-family-board.0f2e82af82":"Devynios šeimos dalijasi vienu voku ir niekuo daugiau. Dešimtoji yra","oss-aion-family-board.ca6c6dda8e":"patikrintojas ir deklaruota taisyklių rinkinys","oss-aion-family-board.c53186083e":"dešimtoji","oss-aion-family-board.0020359543":"neteisingas perėjimas, viršytas leidimas, nesutampantis rezultatas,\n              neišsami pėdsakas","oss-aion-family-board.187225126d":"atsisakymo taksonomija","oss-aion-family-board.fac6c7230f":"atkartoti perėjimus pagal deklaruotas\n              ribas ir taisyklių rinkinį","oss-aion-family-board.155e6164fc":"patikros algoritmas","oss-aion-family-board.924f583920":"deterministinė perėjimų seka su įvesties ir\n              išvesties tapatybėmis","oss-aion-family-board.c0e6022509":"įrodymo pateikimas","oss-aion-family-board.927f6ddf1e":"ši darbo krūvis vyko pagal šiuos leidimus ir pasiekė šį rezultatą","oss-aion-family-board.79bf5b0ee6":"teiginio tipas","oss-aion-family-board.131097a25c":"Vykdymo laikas, v2","oss-aion-family-board.50b24e4d4c":"viena plokštelė, atidaryta","oss-aion-family-board.803aa98470":"kad saugomas įrašas yra priimtas","oss-aion-family-board.3e71ceb1ca":"Saugyklos vientisumas","oss-aion-family-board.f8603f4710":"kad deklaruotas modelis sukūrė šį paleidimą","oss-aion-family-board.ccc3c9b41d":"Simuliavimas ir FMI","oss-aion-family-board.d0c6b470a4":"kad jis veikė pagal suteiktus leidimus","oss-aion-family-board.dc37599f99":"Vykdymo laikas","oss-aion-family-board.4f059da0be":"kad artefaktas išsaugo šaltinį","oss-aion-family-board.aad755de42":"Kompiliavimas","oss-aion-family-board.69ce9b9c4f":"kad valdoma operacija įvyko","oss-aion-family-board.ed87ca5ca0":"Organizacinis","oss-aion-family-board.0dbf90d179":"kad deklaruota išvedimo rekonstruoja","oss-aion-family-board.e272c597fd":"Motyvavimas","oss-aion-family-board.e79949ba43":"kad savybė galioja per paleidimus, ne vieną","oss-aion-family-board.bdb5a28846":"Laikinas ir hiperypatybė","oss-aion-family-board.b83c805a0a":"kad nieko geresnio nėra ribose","oss-aion-family-board.c794704381":"Optimizavimas","oss-aion-family-board.ede1ae7e54":"kad joks priskyrimas netenkina rinkinio","oss-aion-family-board.a04ce90d06":"Logika ir įvykdomumas","oss-aion-family-board.b98b54298f":"devyni užregistruoti, vienas kontūras","oss-aion-family-board.6253e9d668":"Šeimos lenta","oss-aion-family-board.910e029098":"iliustracinis","oss-aion-family-registry.6e32650bab":"ir versija visuose juose","oss-aion-family-registry.dcd1f1fdc9":"keturi deklaracijos tipai šeimoje","oss-aion-family-registry.3bc3fe987d":"Klaidos, kurias ši šeima gali grąžinti, kiekviena su vieta.","oss-aion-family-registry.d129426d71":"Atsisakymo taksonomija","oss-aion-family-registry.d4504f5b41":"Ką tikrintuvas vykdo ir kokią taisyklių rinkinį jis priima.","oss-aion-family-registry.52ab770040":"Tikrinimo algoritmas","oss-aion-family-registry.4c9dd89c88":"Kaip perduodamas įrodymas, išvedimas arba pėdsakas.","oss-aion-family-registry.016fecd943":"Įrodymo pateikimas","oss-aion-family-registry.ab1e33179a":"Ką ši šeima nustato ir ko sąmoningai nenustato.","oss-aion-family-registry.8a547220fc":"Teiginio tipas","oss-aion-family-registry.37094b3cc5":"prieš jį patikrinant","oss-aion-family-registry.b14e18379b":"REGISTRAS","oss-aion-family-registry.b3e4281358":"Ką šeima deklaruoja","oss-aion-family-registry.7efea8ff96":"neišsamus","oss-aion-family-registry.995fee1f1a":"nepalaikomas","oss-aion-family-registry.81f344a768":"neteisingas","oss-aion-foreign-proof.4c43cb0de1":"be licencijos, be aplinkos","oss-aion-foreign-proof.9406c96fa7":"keturios plonos linijos tarp jų","oss-aion-foreign-proof.9fefe2d67f":"Keturių rūšių darbas vienoje pusėje, keturi skaitomi objektai kitoje, ir","oss-aion-foreign-proof.57802c0b4e":"Tikrintuvas niekada nevykdė kairiosios pusės, ir jam to nereikia.","oss-aion-foreign-proof.1dfc94b110":"vienas kvitas","oss-aion-foreign-proof.cff5f15fed":"du perėjimai","oss-aion-foreign-proof.d58f13fb52":"įgaliojimų patikra","oss-aion-foreign-proof.24ef006723":"įgaliojimai ir kvitai","oss-aion-foreign-proof.933912faec":"agentai, koordinuojantys","oss-aion-foreign-proof.2ae1de46da":"būsena lieka deklaruotame apvalkale","oss-aion-foreign-proof.ed96565674":"kontroliniai taškai ir invariantas","oss-aion-foreign-proof.0ae689c7bd":"integravimo žingsniai","oss-aion-foreign-proof.f9020659b6":"branduolio pasirinkimas","oss-aion-foreign-proof.3e77a07952":"išsaugojimo teiginiai","oss-aion-foreign-proof.2bb64b9b5b":"optimizavimo etapai","oss-aion-foreign-proof.c8b39aa910":"sąlygos išvedimas","oss-aion-foreign-proof.4da89bbc52":"sprendėjo paieška","oss-aion-foreign-proof.51339ff0ea":"įrodymai, jūsų įrenginyje","oss-aion-foreign-proof.4f45bf808d":"darbas, pas gamintoją","oss-aion-foreign-proof.c369931988":"keturios linijos, nieko daugiau","oss-aion-foreign-proof.ec0b7e2c43":"Kas kerta ribą","oss-aion-foreign-proof.44d74dd33f":"formos","oss-aion-foreign-proof.e7b1fff700":"tipai","oss-aion-foreign-proof.910e029098":"iliustratyvus","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT ir Alethe tikrina tiesiniu laiku neprisijungus. DRAT yra patikrinamas, tada sutrumpinamas iki LRAT.\n            Unified konvertuoja be nuostolių tarp jų.","oss-aion-formats.14a628e6d3":"Tikrino","oss-aion-formats.dda6ac27b9":"Tikrinti","oss-aion-formats.34556fa12c":"Formato kortelė","oss-aion-formats.e6c67de15e":"Įrodymų formatai","oss-aion-formats.8a5e29e5bb":"konversija be nuostolių","oss-aion-formats.ddb7c01560":"vienas šaltinis, keturios formos","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# vieningas tarpinis įrodymas","oss-aion-formats.0d3311a5dc":"aion-proofs konverteris","oss-aion-formats.1f5124d90b":"Konvertuota eksportuojant","oss-aion-formats.8c21b7e1f1":"Vidinė reprezentacija, kuri konvertuoja be nuostolių tarp kitų.","oss-aion-formats.ebb8e8cf49":"Tarpinė forma","oss-aion-formats.287fda8114":"Vieninga","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":"Tiesinis laikas, neprisijungus","oss-aion-formats.f6f7b642b0":"SMT-LIB bendruomenės formatas iš cvc5 ir veriT linijos.","oss-aion-formats.4aa5db37af":"SMT įrodymas","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat pridėjimo ir ištrynimo eilutės","oss-aion-formats.f3ba7f38e9":"drat-trim į LRAT","oss-aion-formats.36f33c83a6":"Patikrinta, tada sutrumpinta","oss-aion-formats.4745aebc97":"Klauzulių pridėjimas ir ištrynimas. Formato tikrintuvai sutrumpina į LRAT.","oss-aion-formats.154df3dc2f":"SAT sertifikatas","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" tuščia klauzulė išvesta","oss-aion-formats.6fd630d612":" lrat su vieneto propagavimo užuominomis","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Pramonės standarto rezoliucijos įrodymai teiginių branduoliui.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"failas, kuris niekada neužsidaro","oss-aion-four-gates.0ff8f0eb5a":"ir dar vienas pabaigoje","oss-aion-four-gates.a1ebd8379f":"prieš 1 veiksmą","oss-aion-four-gates.b161dbb47d":"Pirmiausia failas nuskaitomas ieškant pasikartojančio veiksmo numerio.","oss-aion-four-gates.21e412d2d0":"Du veiksmai, vienas numeris","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"ir vienas prieš bet kurį iš jų","oss-aion-four-gates.e74bdcd46a":"Keturi testai, šia tvarka","oss-aion-four-gates.fef891bb33":"15 veiksmas","oss-aion-four-gates.cc90eb3e73":"Nėra pavadinimo rutinos. Skaitymas sustoja, o ne praleidžia.","oss-aion-four-gates.787e8a8577":"Taisyklė nežinoma","oss-aion-four-gates.e70c55582f":"52 veiksmas","oss-aion-four-gates.59446cbcf9":"Prielaida, kuri yra, bet sunumeruota aukščiau už veiksmą, į kurį remiasi.","oss-aion-four-gates.f1604fe1aa":"Cituota ne eilės tvarka","oss-aion-four-gates.a42f56e597":"44 veiksmas","oss-aion-four-gates.371b9613cc":"Cituotas numeris, kurio faile nėra.","oss-aion-four-gates.1d1369a316":"Prielaidos nėra","oss-aion-four-gates.e1391a7c80":"31 veiksmas","oss-aion-four-gates.9a7512e955":"Veiksmas, paremtas savo pačios išvada. Klausiama pirmiausia, apie kiekvieną veiksmą.","oss-aion-four-gates.7f30dfcc04":"Cituoja save","oss-aion-governed-operation.b0582e8559":"Viena operacija, patikrinta","oss-aion-governed-operation.8af7f1d469":"valdoma, tada patikrinta","oss-aion-governed-operation.ada470c3d7":"Grandinė ir jos patikrinimas yra dvi skirtingos institucijos.","oss-aion-governed-operation.90fba649e4":"Keturi elementai atkurti, o penktasis sustabdo skaitymą.","oss-aion-governed-operation.ea8356461f":"ne šiame sertifikate: ką galvojo bet kuris agentas","oss-aion-governed-operation.2f68c232b4":"Politikos versija, kurią deklaruoja sertifikatas, neturi sąlygos, kurią šis vartų\n                teigia pritaikęs. Operacija atmetama ties tuo elementu, ir joks verdiktas\n                neišduodamas visumai.","oss-aion-governed-operation.be51277bfd":"nepasiekta","oss-aion-governed-operation.57b160e317":"tikrintojo praėjimas, savo paties autoritetu","oss-aion-governed-operation.26f017e3e6":"priimta, nuoroda 4471-b","oss-aion-governed-operation.34c3c00446":"kvitas užfiksuotas","oss-aion-governed-operation.159338740e":"mokėjimo nurodymas, didžiosios knygos sistema","oss-aion-governed-operation.80f6148b56":"veiksmas atliktas","oss-aion-governed-operation.458c8c203d":"prie veiksmo, ne prie šalia esančios žinutės","oss-aion-governed-operation.1b4dcda6ba":"patvirtinimas pridėtas","oss-aion-governed-operation.303418bf06":"virš 50 000 reikia antro tvirtintojo","oss-aion-governed-operation.faf1f5eb4b":"politikos vartai","oss-aion-governed-operation.557df801be":"užduočių perėjimai","oss-aion-governed-operation.b1c842256e":"pretenzijų pareigūnas","oss-aion-governed-operation.59bef6c3e5":"autoritetas nustatytas","oss-aion-governed-operation.0639a9efd0":"keturi agentai, nevienoda apimtis","oss-aion-governed-operation.8e44be8724":"organizacija suformuota","oss-aion-governed-operation.139146ad26":"politika v4.2","oss-aion-governed-operation.8524f08438":"suderinti ketvirčio tiekėjų pretenzijas","oss-aion-governed-operation.cab7375bdf":"operacija, kaip ją atliko Nexus","oss-aion-governed-operation.82c8154dca":"atmesta prie vartų","oss-aion-governed-operation.a503bc1da2":"atmesta","oss-aion-governed-operation.28fb3d519e":"atkurta","oss-aion-governed-operation.45807bf2ec":"suderinta","oss-aion-governed-operation.fb92f3f834":"įvertinta","oss-aion-governed-operation.590abaace4":"atidaryta","oss-aion-governed-operation.d2dc873868":"objektyvus","oss-aion-governed-operation.910e029098":"iliustratyvus","oss-aion-harness-fields.d5ad303466":"ir skaičius, kurį galite cituoti","oss-aion-harness-fields.5a31ca3c0f":"jūsų tekstynas, jūsų aparatinė įranga","oss-aion-harness-fields.58664673b0":"Atspausdinta per visą tekstyną paleidimo pabaigoje.","oss-aion-harness-fields.6197b910db":"Teisingas skaičius","oss-aion-harness-fields.175226a475":"Palyginti su būsena, užfiksuota pačiame faile.","oss-aion-harness-fields.d787e678da":"Atsakyti pagal būseną","oss-aion-harness-fields.b5ec587356":"Pati paieška, kiekvienu atveju, ne išlyginta.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Sprendimo laikas","oss-aion-harness-fields.bec737ff93":"Kiek laiko užtruko failo skaitymas, atskirta nuo sprendimo.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Analizės laikas","oss-aion-harness-fields.20e5752f58":"Aukščiausia riba, kad pajėgumo planas turėtų skaičių.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Didžiausia rezidentinė atmintis","oss-aion-harness-fields.b660370132":"vienas failas iš jūsų tekstyno","oss-aion-harness-fields.ec845d015d":"kiekvienu atveju, tada susumuota","oss-aion-harness-fields.a94252fbc5":"PAVOŽIUS","oss-aion-harness-fields.1af45602c5":"Ką įrašo vienas paleidimas","oss-aion-harness-fields.b3cbdd75cb":"paneigta","oss-aion-harness-fields.48a3661d84":"būsena","oss-aion-harness-fields.25dc282b5a":"atsakymas","oss-aion-harness-fields.a0299ff49d":"atvejis-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Sprendžiama...","oss-aion-hero-glyph.3d08723a54":"Rezultatas: SAT","oss-aion-hero-glyph.9e1279af1f":"Modelis:","oss-aion-hero-glyph.45dcf6e46f":"  x = 1","oss-aion-hero-glyph.81ef4e711c":"  y = 3","oss-aion-hero-glyph.70f4daaa7f":"Laikas: 4 ms","oss-aion-hero-glyph.138243f0f4":"Rezultatas: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Įrodymas: 128 žingsnių","oss-aion-hero-glyph.41294a8dc8":"Įrodymas įrašytas į: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Tikrinamas įrodymas: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Analizė: OK","oss-aion-hero-glyph.27d28e3ca9":"Įrodymas turi 128 žingsnius","oss-aion-hero-glyph.1ba94dea63":"Įrodymo statistika:","oss-aion-hero-glyph.e1b3c4d7c5":"  Iš viso žingsnių: 128","oss-aion-hero-glyph.e30b86fef9":"  Rezoliucijos žingsniai: 71","oss-aion-hero-glyph.8215376faf":"  Aritmetiniai žingsniai: 24","oss-aion-hero-glyph.552f29f0b5":"  Maksimalus sąlygos dydis: 6","oss-aion-hero-glyph.fc539fcf62":"Įrodymo patikrinimas: PRAĖJO","oss-aion-hero-glyph.1e4bdfb80c":"Tikrinimo laikas: 2 ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Neprisijungus","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + teorija","oss-aion-hero-glyph.6ba46a924e":"adaptyvus fiksuotas taškas","oss-aion-hero-glyph.a9f24b1b66":"tiesinio laiko patikra","oss-aion-hero-glyph.6b5eb5323e":"Sertifikatas pridėtas","oss-aion-how-to-check.c799cc998b":"Rezultatas: tai teisinga.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"Pirmoji mašina perduoda savo kvitą atskirai pagalbininkei, kuri jį patikrina","oss-aion-how-to-check.d026bcfccb":"Rezultatas aiškus: kvitas susideda arba ne. Nėra jokio galbūt.","oss-aion-how-to-check.d0c84a5a37":"Patikra vyksta čia pat, kur esate. Niekas nesiunčiama ir jokios svetainės nereikia.","oss-aion-how-to-check.623151a710":"Tikrinanti pagalbininkė nėra ta mašina, kuri atsakė. Ji negali tiesiog sutikti su savimi.","oss-aion-how-to-check.87e974a415":"perskaito jį ir patikrina","oss-aion-how-to-check.3c487e646c":"Antra pagalbininkė","oss-aion-how-to-check.78829f8a37":"žingsniai, užrašyti","oss-aion-how-to-check.9b7b265fbb":"Kvitas","oss-aion-how-to-check.f58fd2cb80":"pateikia atsakymą ir kvitą","oss-aion-how-to-check.50e90303d4":"Pirmoji mašina","oss-aion-integration.b1873dbd42":"Vienas variklis, jokios išorinės paslaugos. Susiekite krepšelį, užfiksuokite versiją ir patikrinkite sertifikatus toje pačioje aplinkoje.","oss-aion-integration.5f2e7d7c25":"Tas pats įrodymo sertifikatas iš kiekvieno paviršiaus. Užklausa įeinant, patikrinamas sertifikatas išeinant.","oss-aion-integration.a4db3ae8b6":"Kaip jį iškviečiate","oss-aion-integration.4ec6d609ab":"Pradėkite nuo vieno sprendimo kelio","oss-aion-integration.559461e293":"biblioteka, CLI, etalonas","oss-aion-integration.0228a4c724":"Kiekvienas gali patikrinti sertifikatą naudodamas aion check arba nepriklausomą LRAT ar Alethe tikrintuvą savo kompiuteryje.","oss-aion-integration.dda6ac27b9":"Patikrinti","oss-aion-integration.4d2c6036eb":"Įdėkite aion-cli už savo paslaugos. Įrodymo sertifikatas yra sutartis, kurią paslauga grąžina.","oss-aion-integration.c3447e7954":"Apgaubti","oss-aion-integration.f9109d0f04":"Pridėkite krepšelį prie esamos Rust programos ir išduokite sertifikatus tiesiogiai su atsakymais, kuriuos ji jau generuoja.","oss-aion-integration.ad02e14e28":"Įterpti","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Specialus etaloninis dvejetainis failas yra darbinėje aplinkoje. Išmatuokite sprendimą ir patikrinimą savo aparatinėje įrangoje, o ne pasitikėkite tiekėjo skaičiais.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Valdykite AION iš apvalkalo arba CI užduoties. solve paleidžia užklausą, check patikrina įrodymo sertifikatą neprisijungus, o prove išduoda vieną. Tas pats įrodymo išvestis kaip ir bibliotekos.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Susiekite AION kaip krepšelį ir tiesiogiai iškvieskite sprendiklį bei įrodymų išvesties modulį. Branduolys, teorijos ir įrodymų formatai yra procese, be jokios paslaugos, kurią reikia paleisti.","oss-aion-integration.8319d9b3b9":"Rust biblioteka","oss-aion-live-margins.df15dfd304":"vienas iš jų yra veiksmas","oss-aion-live-margins.96576608a5":"trys iš jų yra rodmenys","oss-aion-live-margins.5711ac01c1":"SEKAMA","oss-aion-live-margins.f719aa9511":"praėjo nuo leistino","oss-aion-live-margins.a344938438":"Keturi įsipareigojimai","oss-aion-live-margins.19e5ecc09e":"tą pačią dieną, renginyje","oss-aion-live-margins.828697f103":"Perkelti įrašą","oss-aion-live-margins.222af170d9":"44 dienos iš 30, vis dar atidaryta","oss-aion-live-margins.a441e09d1a":"Saugojimo langas","oss-aion-live-margins.30e04c8f23":"2 dienos iš 3","oss-aion-live-margins.20d6944505":"Pranešimas apie pažeidimą","oss-aion-live-margins.9b9419d2e2":"26 dienos iš 30","oss-aion-live-margins.6e7d6c760b":"Subjekto atsakymas","oss-aion-nothing-outbound.45b9d8acdc":"nėra išorinių klientų","oss-aion-nothing-outbound.5b16b5db9a":"Kiekvienas kelias prasideda ir baigiasi jūsų nubrėžtoje linijoje.","oss-aion-nothing-outbound.59a0768496":"Niekas šiame lape neperžengia kontūro.","oss-aion-nothing-outbound.71c31d8219":"vietinis procesas šiame įrenginyje","oss-aion-nothing-outbound.605f85e28f":"išorinis įrodymų tikrintuvas","oss-aion-nothing-outbound.150bc2359d":"vienas potinklis, kurį nustatote jūs","oss-aion-nothing-outbound.5193678a39":"klasterio adresai","oss-aion-nothing-outbound.49c4e670b3":"jūsų tinklas","oss-aion-nothing-outbound.273ca4c134":"ką jūs konfigūruojate","oss-aion-nothing-outbound.7f8d7aeedb":"penkios eilutės","oss-aion-nothing-outbound.bcec1ac359":"ką šis kelias prideda prie jūsų registro","oss-aion-nothing-outbound.4553aa0c94":"vietinė saugykla","oss-aion-nothing-outbound.93d65d8ef8":"archyvas","oss-aion-nothing-outbound.760cfc52ce":"tikrintuvas","oss-aion-nothing-outbound.6621d172f5":"skaitomų taisyklių rinkinys","oss-aion-nothing-outbound.565f3cfc6a":"tikrinamas sertifikatas","oss-aion-nothing-outbound.284f61c8db":"jūsų svetainė, jūsų aparatinė įranga","oss-aion-nothing-outbound.f368a04bb8":"viena riba, ir ji yra jūsų","oss-aion-nothing-outbound.5c795b7e7d":"joks kelias neišeina","oss-aion-nothing-outbound.4f98b1412d":"Niekas neperžengia perimetro","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Jūsų turimas leidimas nesikeičia be jūsų žinios.","oss-aion-nothing-outbound.07b9a651d1":"Tiekėjo leidimų grafikas, kurį reikia sekti","oss-aion-nothing-outbound.8fa0bea3f8":"Joks mūsų paslaugų teikėjas nėra šiame kelyje.","oss-aion-nothing-outbound.11449c8bd3":"Prieinamumo priklausomybė, kurią reikia užfiksuoti","oss-aion-nothing-outbound.66506ab77b":"Joks modelis nėra iškviečiamas.","oss-aion-nothing-outbound.af474ee96b":"Modelio teikėjas, kurį reikia įvertinti","oss-aion-nothing-outbound.f2250926d2":"Niekas neperžengia ribos.","oss-aion-nothing-outbound.e80e5b3403":"Tarptautinis duomenų perdavimas, kurį reikia pagrįsti","oss-aion-nothing-outbound.0bd87fb406":"Šiame kelyje nėra procesoriaus.","oss-aion-nothing-outbound.9494490634":"Procesorius, kurį reikia pridėti","oss-aion-obligation-calendar.366609b500":"paraštė, ne panika","oss-aion-obligation-calendar.3c8532b3c7":"Vidurinė taisyklė yra ta vieta, kur baigėsi pigus sprendimas.","oss-aion-obligation-calendar.949b1361f5":"Abu skaičiai yra rodmenys, kuriuos kiekvienas gali paimti šį rytą.","oss-aion-obligation-calendar.7758d9c282":"reikalingas veiksmas","oss-aion-obligation-calendar.4ebebe0b7c":"-14 dienų","oss-aion-obligation-calendar.6937bf485d":"pradėta prieš šį mėnesį","oss-aion-obligation-calendar.37ed878825":"saugojimo langas","oss-aion-obligation-calendar.3974c3ac47":"+4 dienos","oss-aion-obligation-calendar.aa69fdaab6":"atidaryta, leidžiama 30 dienų","oss-aion-obligation-calendar.c6727ea40c":"subjekto atsakymas","oss-aion-obligation-calendar.51269d14af":"paskutinė diena, kai tai dar buvo popietės darbas","oss-aion-obligation-calendar.96a8ebf797":"iliustracinės datos","oss-aion-obligation-calendar.fdcce3f37e":"viena yra praėjusios datos","oss-aion-obligation-calendar.11ddafb2cc":"Vieno mėnesio įsipareigojimai","oss-aion-obligation-calendar.a2620cbc10":"diena","oss-aion-one-contract-six.d3926ca64d":"vienas registras, viena paveiktų rinkinys","oss-aion-one-contract-six.c4d72c2328":"Jų įrodymai seka vieną AION voką.","oss-aion-one-contract-six.a7e545052a":"Gamintojo išvestys lieka atskiros.","oss-aion-one-contract-six.5cbf78425a":"pasikeičia viena taisyklė, patikrinkite paveiktus įrašus","oss-aion-one-contract-six.f5c6772ad7":"viena pakartotinio patikrinimo eilė","oss-aion-one-contract-six.d3516bd6ea":"vienas registro ir saugyklos įrašas","oss-aion-one-contract-six.2ec012da6f":"vienas AION vokas","oss-aion-one-contract-six.2c653cc8fa":"tie patys septyni gamintojai, per vieną AION voką","oss-aion-one-contract-six.725c682066":"skirtingos išvestys, šeimai būdingi tikrintojai","oss-aion-one-contract-six.cddf74f2cf":"septynios gamintojo išvestys","oss-aion-one-contract-six.f063fe5bcd":"septynios išvestys viršuje, vienas vokas apačioje","oss-aion-one-contract-six.c34e6d1a39":"septyni gamintojai, vienas įrodymų vokas","oss-aion-one-contract-six.910e029098":"iliustratyvus","oss-aion-one-contract-six.67bb73569c":"simuliacijos sertifikatas","oss-aion-one-contract-six.7966a9fa49":"kompiliacijos sertifikatas","oss-aion-one-contract-six.1111f590cc":"organizacinis sertifikatas","oss-aion-one-contract-six.293194c28e":"samprotavimo sertifikatas","oss-aion-one-contract-six.8aa194122c":"loginio įrodymo įrašas","oss-aion-one-contract-six.30870de828":"modelio tapatybė, parametrai, būsena, kontroliniai taškai, invariantai ir trajektorijos maiša","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"modulis, įvestys, galimybių suteikimai, perėjimai, apribojimai ir išvestis","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"šaltinio grafas, transformacijos, invariantai ir artefakto tapatybė","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"institucija, politika, patvirtinimai, perėjimai ir kvitai","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"apribojimų išvedimas ir grąžinti sprendiklio įrodymai","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"įrodymas, modelis, branduolys, liudytojas arba riba","oss-aion-one-contract-six.fde68155d3":"Sprendiklis","oss-aion-one-contract-six.71c9a5c1a1":"Įmanoma, neįmanoma arba optimalu","oss-aion-one-contract-six.8f7924f6f5":"Šeimai būdingas sprendiklio tikrintojas","oss-aion-one-contract-six.2e9d2d4990":"Išvada iš deklaruotų apribojimų","oss-aion-one-contract-six.0e7a123b77":"Loom samprotavimo tikrintojas","oss-aion-one-contract-six.3c1a0d119e":"Užbaigta valdoma operacija","oss-aion-one-contract-six.6c2ed5435d":"Nexus organizacinis tikrintojas","oss-aion-one-contract-six.07b127b70d":"Sukompiliuotas artefaktas","oss-aion-one-contract-six.4f9018da9e":"Kera kompiliacijos tikrintojas","oss-aion-one-contract-six.1f42a0b0ce":"Vykdyta darbo krūvis","oss-aion-one-contract-six.5a3c8f1f84":"Selvedge vykdymo tikrintojas","oss-aion-one-contract-six.8879cc2e8a":"Simuliuota trajektorija","oss-aion-one-contract-six.0d72478caf":"Simuliacijos ir FMI tikrintojas","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Užbaigtas FMU paleidimas","oss-aion-one-contract-six.8f5753fba0":"FMU tapatybė, konfigūracija, žingsniai, įvykiai, konvergencija ir pėdsakas","oss-aion-one-contract-six.4d64b5bbaf":"Simuliacijos ir FMI tikrintojas","oss-aion-one-contract-six.6f99b37c1c":"Teiginys","oss-aion-one-contract-six.4cb3ee8fa2":"Įrodymas","oss-aion-one-contract-six.0f3253d8d8":"Tikrintojas","oss-aion-one-envelope.3b24a9a880":"aštuoni laukai, su versijomis","oss-aion-one-envelope.a348113c09":"kuris\n          tikrintuvas jį skaito.","oss-aion-one-envelope.08ace6c26e":"vienas laukas nusprendžia","oss-aion-one-envelope.396e2145f9":"Keturi įrodymų tipai, vienas atidarymas ir","oss-aion-one-envelope.dc1a7be459":"rėmėsi antruoju","oss-aion-one-envelope.ddc01a5859":"trajektorijos teiginys","oss-aion-one-envelope.7f211a50e2":"parametrų rinkinys","oss-aion-one-envelope.8f2aa45103":"modelio tapatybė","oss-aion-one-envelope.23e75e07fb":"pasirenkamas sertifikato tipo lauku, ne to, kas jį atsiuntė","oss-aion-one-envelope.4e4dc30b71":"kuris tikrintuvas jį skaito","oss-aion-one-envelope.c8c687f0ff":"tas pats atidarymas, kiekvieną kartą","oss-aion-one-envelope.b5a871e570":"kvitų krūva","oss-aion-one-envelope.f90f47de4d":"perėjimų seka","oss-aion-one-envelope.3116f117c0":"leidimų lentelė","oss-aion-one-envelope.134483f4a2":"sąlygų įrodymas","oss-aion-one-envelope.93a8ee0c5f":"kas įeina","oss-aion-one-envelope.582a139a7d":"nukreipta pagal tipą","oss-aion-one-envelope.6b9805fe87":"Vienas vokas, keturi kroviniai","oss-aion-one-envelope.3dde401523":"vykdymo laikas","oss-aion-one-envelope.708563c595":"ed25519, patvirtinta","oss-aion-one-envelope.f2e0576c5b":"du, pavadinti žemiau","oss-aion-one-envelope.f7b7603261":"užantspauduota, 41 kB","oss-aion-one-envelope.15aae6195c":"sertifikato krovinys","oss-aion-one-envelope.6732222b05":"sertifikato tipas","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"sutarties versija","oss-aion-one-envelope.b578b9727d":"nėra dvigubo mokesčio laikotarpiu 2026-06","oss-aion-one-envelope.a503bc1da2":"atmesta","oss-aion-one-envelope.51c817ab85":"priimta","oss-aion-one-envelope.495117c360":"priklausomybės","oss-aion-one-envelope.910e029098":"iliustracinis","oss-aion-one-field-apart.e704601d64":"ašis, ne pavyzdys","oss-aion-one-field-apart.5c256bca81":"Rezultatas pasikeitė kartu su ja, ir tai yra išvada, o ne statistika.","oss-aion-one-field-apart.7a1e726c2f":"Dvi paraiškos, identiškos visuose viešuose laukuose, skiriasi vienu skaičiumi.","oss-aion-one-field-apart.084f6c9ebe":"kiekviena pora, kurią leidžia taisyklės","oss-aion-one-field-apart.ddaee9368d":"išbandyta tūkstantis atvejų","oss-aion-one-field-apart.4c4ccacd1b":"pora, kurią galima įdėti į failą","oss-aion-one-field-apart.6fddc6a6d1":"B juosta,","oss-aion-one-field-apart.dbf68713b1":"ta pati eilutė, pakopomis","oss-aion-one-field-apart.8c6c701170":"atvejis, kuris nepavyksta","oss-aion-one-field-apart.0f9dcd24f1":"rezultatas nepriklausė nuo šio lauko","oss-aion-one-field-apart.154b3f8e44":"B juosta, 3 pasiūlymai","oss-aion-one-field-apart.4392f1d89c":"viena eilutė, be pakopų","oss-aion-one-field-apart.02de2da27e":"atvejis, kuris galioja","oss-aion-one-field-apart.b7de103af7":"bruto atlyginimas, paliktas laisvas iš abiejų pusių","oss-aion-one-field-apart.c86b5b3346":"lygios abiejose pusėse","oss-aion-one-field-apart.54bb687f85":"iliustracinės paraiškos","oss-aion-one-field-apart.b69108366c":"rezultatas keičiasi ties pora","oss-aion-one-field-apart.e79b0df746":"Skiriasi vienu lauku","oss-aion-one-field-apart.e1fef06921":"pasiūlymai","oss-aion-one-field-apart.8699f2b04f":"nuolatinis","oss-aion-one-field-apart.06e3125012":"darbas","oss-aion-one-field-apart.305fa62f02":"30 to 39","oss-aion-one-field-apart.c6a0c81b25":"amžiaus grupė","oss-aion-one-field-apart.61a7508ed1":"pagrindinis","oss-aion-one-field-apart.38a007151a":"produktas","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"regionas","oss-aion-one-word.95fa084cc9":"vienas iš jų AION patikrinimų","oss-aion-one-word.ce157273ec":"trys iš šių, kuriais tikite","oss-aion-one-word.a04376ab99":"ir ką su juo galite padaryti","oss-aion-one-word.1a5b0d2471":"SPRAGA","oss-aion-one-word.69dc71b6f9":"Su kuo atkeliauja rezultatas","oss-aion-one-word.8d40d2bfcc":"Įvesti teiginiai, kurių kiekvienas įvardija taisyklę, perėjimą arba prielaidą.","oss-aion-one-word.2f8acfe792":"Sertifikatas","oss-aion-one-word.b04dce1dd0":"Kiek laiko užtruko įsitikinti. Tikrumas nėra klausimas.","oss-aion-one-word.7eb987f893":"Trukmė","oss-aion-one-word.8388e9c8ba":"Ką sistema padarė. Ne kodėl išvada seka.","oss-aion-one-word.40d0f0d4b5":"Žurnalas","oss-aion-one-word.e7597ba59a":"unsat, sudaryta, saugu, patvirtinta. Nieko, su kuo būtų galima nesutikti.","oss-aion-one-word.ae976ad8e9":"Vienas žodis","oss-aion-org-cert.dd25bad09c":"ir kiekvienas yra patikrintas","oss-aion-org-cert.e8add8f2b8":"organizacija, vaidmenys, užduotys ir patvirtinimai užpildo spragas","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"nuo tikslo iki gavimo","oss-aion-org-cert.0a629276bf":"Aštuoni grandinės elementai","oss-aion-org-cert.51e6694762":"Kas iš tikrųjų buvo atlikta išorėje, ir kas grįžo.","oss-aion-org-cert.4f0a23ec14":"Veiksmai ir gavimai","oss-aion-org-cert.b249df120c":"Kiekviena riba, kurią darbas kirto, ir kas ją atlaisvino.","oss-aion-org-cert.5eaad4eb5f":"Atlaisvinti vartai","oss-aion-org-cert.aba30ac5b8":"Kuris vaidmuo turėjo ką, veiksmo bandymo momentu.","oss-aion-org-cert.145ae750ce":"Išspręstas įgaliojimas","oss-aion-org-cert.f8a4dc9c6b":"Kas buvo bandoma, pagal kurią politikos versiją.","oss-aion-org-cert.63fbd2b7ee":"Tikslas ir politika","oss-aion-pipeline.b07bbe8800":"Propozicinė šerdis","oss-aion-pipeline.81f811c968":"Konfliktų valdoma sąlygų mokymosi paieška per Būlio skeletą. Ji sprendžia, propaguoja, susiduria su konfliktu, išmoksta sąlygą ir atšoka atgal. Dvejetainės, sveikųjų skaičių ir adaptyvios fiksuoto taško reikšmės sudaro sprendimo procedūros pagrindą; slankiojo kablelio reikšmės nėra saugomos, kaupiamos ar naudojamos kaip atsarginė priemonė aritmetinėje šerdyje.","oss-aion-pipeline.dc0dd5bc07":"sprendimai ir išmoktos sąlygos","oss-aion-pipeline.0c5ad3c30f":"Teorijų papildiniai","oss-aion-pipeline.f3a7990ab0":"Šerdis perduoda dalinį priskyrimą teorijų sluoksniui. Aritmetika, bitvektoriai, masyvai ir eilutės samprotauja savo srityse ir grąžina propagacijas bei konfliktus. Išorinis slankiojo kablelio įvestis yra dekoduojama ties riba į dvejetainius laukus arba deklaruotą fiksuoto taško skalę prieš įtraukiant į patikrą. Branduolys talpina šiuos samprotavimo įrenginius; laiko ir programų teorijos gyvena gretimuose krepšeliuose.","oss-aion-pipeline.9d1b00d225":"teorijų lemos ir konfliktai","oss-aion-pipeline.fa6a461dcc":"Įrodymų emiteris","oss-aion-pipeline.b3ca95c05c":"Kiekvienas žingsnis, kurį atlieka variklis, kiekviena rezoliucija ir kiekviena teorijos lema, yra įrašomas įrodymų emiterio, kai jis įvyksta. Rezultatas yra sutvarkyta išvedimo seka, kurią atskiras tikrintuvas gali atkurti pagal jos prielaidas.","oss-aion-pipeline.17ac98f8af":"sutvarkyta išvedimo seka","oss-aion-pipeline.26d98dc390":"Formato eksportas","oss-aion-pipeline.a79251f54d":"Išvedimo seka užrašoma kaip LRAT, DRAT arba Alethe, arba laikoma vieninga tarpine forma. LRAT neša vieneto propagavimo užuominas, todėl neprisijungus atliekamas tikrinimas yra tiesinis pagal įrodymo ilgį.","oss-aion-pipeline.8c3cee1cd3":"nešiojamas sertifikatas","oss-aion-pipeline.77ec79ed26":"nuo sprendimo iki sertifikato","oss-aion-pipeline.c320454a47":"CDCL + teorija + emiteris","oss-aion-pipeline.a618b4be8d":"Užklausa","oss-aion-pipeline.10de46b3b3":"Sertifikatas","oss-aion-pipeline.62923220ae":"Sveikasis / fiksuoto taško.","oss-aion-pipeline.4961117925":"Slankiojo kablelio reikšmių šerdyje nėra.","oss-aion-pipeline.591118af56":"Rezoliucijos grandinė.","oss-aion-pipeline.39dfacd414":"Kiekvienas žingsnis nurodo prielaidas, nuo kurių priklauso, eilės tvarka.","oss-aion-pipeline.7fc7b98317":"Tikrintuvas nepriklausomas.","oss-aion-pipeline.f0bef425b5":"Sertifikatas atkuriamas be sprendiklio.","oss-aion-pipeline.a73bc5ed23":"Architektūra, CDCL šerdis, teorijų papildiniai, įrodymų emiteris","oss-aion-plain-card.7e190a46ae":"Mašina pateikia atsakymą","oss-aion-plain-card.b8941c136d":"Kompiuteris už jus ką nors apskaičiuoja. Patys to negalite patikrinti, tiesiog turite juo pasikliauti.","oss-aion-plain-card.1232ecf314":"Taip pat išrašo kvitą","oss-aion-plain-card.af7230bfb9":"AION priverčia mašiną šalia atsakymo atspausdinti nedidelį kvitą. Kvitą matomi kiekvienas žingsnis, kurį mašina atliko, kad gautų atsakymą.","oss-aion-plain-card.262d1681dd":"Kvitą gali patikrinti kiekvienas","oss-aion-plain-card.7d35d2e097":"Jūsų asmeninis pagalbininkas perskaito kvitą ir pasako, ar viskas teisinga, ar ne. Jam visai nereikia pasitikėti pirmąja mašina.","oss-aion-plain-card.e8146bafb5":"AION paprastais žodžiais","oss-aion-plain-card.0b081a8ef4":"Pridedamas kvitas","oss-aion-plain-card.a32564404b":"Pagalvokite apie mokėjimo kvitą. Kai ką nors perkate, gaunate popieriaus lapą, įrodantį, kad parduotuvė nuskaičiavo teisingą sumą. Tą kvitą galite parodyti bet kam, ir jie patys gali suskaičiuoti.","oss-aion-plain-card.d5d9b99b9c":"AION kompiuteriui daro tą patį.","oss-aion-plain-card.2cc68d964c":"Kai mašina pateikia atsakymą, AION įteikia jums kvitą, įrodantį, kad atsakymas teisingas, ir kiekvienas gali jį patikrinti.","oss-aion-plain-card.374c644917":"Jums niekada nereikia tiesiog pasitikėti mašina. Kvitą įrodo pats.","oss-aion-plain-refusal.7d7fc8edd4":"tas pats paaiškinimas tinka tau ir kiekvienam, kuris jį peržiūri, nes tai vienas\n            paaiškinimas","oss-aion-plain-refusal.40c2416b25":"atvejis, kurį gali perskaityti, o ne kryžius, kurio negali","oss-aion-plain-refusal.f795b42ea6":"Šios kortelės likutis grįžta į pilną sumą rugpjūčio 1 d., po dviejų dienų.","oss-aion-plain-refusal.3ae2a82129":"kai tai atsitinka","oss-aion-plain-refusal.a6012020ae":"Arba 150 eurų daugiau kortelės likučio, arba mokėjimas 90 eurų ar mažiau.","oss-aion-plain-refusal.74b2c9301b":"kas tai pakeistų","oss-aion-plain-refusal.e88b1876e6":"90 eurų nepadengia 240 eurų, todėl mokėjimas ir likęs likutis negali abu galioti.","oss-aion-plain-refusal.d649363397":"kuri dalis tai sulaužo","oss-aion-plain-refusal.ec7a8f0a8d":"Mokėjimas buvo 240 eurų. Šiandien kortelės likutis buvo 90 eurų.","oss-aion-plain-refusal.fcd45ae097":"tavo situacija","oss-aion-plain-refusal.e51b51ac5a":"Mokėjimas įvyksta tik jei šiandienos kortelės likutis jį padengia.","oss-aion-plain-refusal.93823841cb":"ką sako taisyklė","oss-aion-plain-refusal.9bc7984374":"Kodėl jis neįvyko","oss-aion-plain-refusal.549840f998":"Kai taisyklė pažeidžiama, AION užrašo situaciją, kuri ją pažeidė, įprastais\n            sakiniais su skaičiais. Mokėjimas buvo tiek, šiandienos kortelės likutis buvo mažiau nei tai, ir kartu šie du faktai pažeidžia taisyklę. Gali\n            tai perskaityti, tiksliai nesutikti arba pakeisti vienintelį dalyką, kurį reikia pakeisti.\n            Kryžius langelyje tau nieko to nesuteikia, ir jis nėra trumpesnis, tik tuštesnis.","oss-aion-plain-refusal.3b50831d8a":"Automatinis sprendimas, kuris tave atmeta, yra blogesnis nei žmogaus priimtas, nes paprastai\n            nėra ko klausti. Atsisakymas ateina baigtas. Ką gauni, tai rezultatą\n            ir, jei pasiseka, nuorodos numerį, o kelias iki tikro paaiškinimo yra\n            skundas, kuris trunka savaites ir pasiekia žmogų, kuris taip pat nebuvo įtrauktas.","oss-aion-plain-refusal.ada63e5c2f":"Išnagrinėtas atvejis yra.","oss-aion-plain-refusal.462f7e9213":"„Neleidžiama“ nėra priežastis.","oss-aion-plain-refusal.5abdfa9cd6":"Skirtumas","oss-aion-plain-refusal.68c46e84d7":"paprastas","oss-aion-reasoning-cert.0f1fb3d007":"ir kiekvienas elementas yra patikrintas","oss-aion-reasoning-cert.98ec75a261":"ribos ir galutinis teiginys užbaigia septynis","oss-aion-reasoning-cert.433b925481":"Kas buvo atmesta, ir prielaidos, kurios tai atmetė.","oss-aion-reasoning-cert.13382efd7c":"Prieštaravimai","oss-aion-reasoning-cert.e856a27527":"Subproblema, kuri išėjo, ir įrodymas, kuris grįžo.","oss-aion-reasoning-cert.92324f5363":"Solverio sertifikatai","oss-aion-reasoning-cert.fe451714e4":"Kiekvienas pavadintas ta tvarka, kuria buvo pritaikytas.","oss-aion-reasoning-cert.e0d40a5309":"Taisyklių taikymai","oss-aion-reasoning-cert.e0753c6513":"Kas galiojo, kuria versija, kai darbas vyko.","oss-aion-reasoning-cert.b9366c0dbf":"Aktyvūs apribojimai","oss-aion-reasoning-cert.a04ed61a81":"solveris","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"septyni elementai","oss-aion-reasoning-cert.eb64d71581":"Ką neša samprotavimo sertifikatas","oss-aion-reasoning-chain.126806353c":"deklaruota, paskui patikrinta","oss-aion-reasoning-chain.751e90e830":"Kiekvienas iš jų yra artefaktas, kurį paliko samprotavimas, ir kiekvienas yra skaitomas.","oss-aion-reasoning-chain.bc96941170":"Keturi apribojimai, dvi taisyklės, vienas sprendiklio veiksmas ir vienas prieštaravimas.","oss-aion-reasoning-chain.57fa7b904f":"Čia tikrinama tai, ką sistema deklaravo kaip išvedimą, punktas po punkto.","oss-aion-reasoning-chain.e0aa3695ac":"branduolys 01 02 04, o 03 jame nėra","oss-aion-reasoning-chain.e3338dab26":"dvigubas apmokestinimas atmestas","oss-aion-reasoning-chain.a43e177c4c":"04 grąžinimas atšaukia","oss-aion-reasoning-chain.becc703d80":"sujungtas mokestis","oss-aion-reasoning-chain.398df239b3":"iš 01 ir 02","oss-aion-reasoning-chain.373c5eb4cc":"skaitoma žingsnis po žingsnio, uždaroma","oss-aion-reasoning-chain.45f358826b":"grąžinta įrodinėtojo, Alethe formatu","oss-aion-reasoning-chain.9bc46d8fd1":"bitvektorius ir lygybė, niekas kitas neperžengia","oss-aion-reasoning-chain.34fcd5c8c7":"subproblema, užantspauduota","oss-aion-reasoning-chain.8c7f764922":"pagal pakartojimų skaičių, iš 02 ir 03","oss-aion-reasoning-chain.7c960fefa4":"trys perkelti į branduolį, vienas paliktas ten, kur buvo","oss-aion-reasoning-chain.eeacd6e80f":"aktyvūs apribojimai, atsakingo asmens žodžiais","oss-aion-reasoning-chain.0ee0bb12eb":"Ši konfigūracija negali sukelti dvigubo apmokestinimo per vieną atsiskaitymo laikotarpį.","oss-aion-reasoning-chain.c0644670d0":"teiginys, kurį teigia Loom","oss-aion-reasoning-chain.9616861141":"iliustracinis teiginys ir versijos","oss-aion-reasoning-chain.e4f7c8c782":"branduolys įvardija tris, pašalina vieną","oss-aion-reasoning-chain.43c7dffedb":"Viena išvada, atidaryta","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"iš 8 ir 9","oss-aion-reasoning-chain.3d26486c4c":"iš 8","oss-aion-reasoning-chain.5a6d9bdd37":"iš 3 ir 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Grąžinimas atšaukia mokestį, kurį įvardija.","oss-aion-reasoning-chain.4c449f834c":"Atsiskaitymo laikotarpis baigiasi paskutinės dienos vidurnaktį.","oss-aion-reasoning-chain.a663638447":"Pakartojimas niekada nesukelia antro mokesčio.","oss-aion-reasoning-chain.0d43228516":"Mokestis sukuriamas vieną kartą už kiekvieną įvykdytą pristatymą.","oss-aion-reassure.38a3bd59d5":"Esmė paprasta: niekada nepasikliaukite mašinos žodžiu. Palikite priežastį, kurią gali patikrinti antrasis tikrintojas.","oss-aion-reassure.0ccc7397a4":"Ne. Kvitas gali būti patikrintas čia pat, nieko nesiunčiant internetu.","oss-aion-reassure.5bea629f3e":"Ar mano atsakymas kažkur išsiunčiamas?","oss-aion-reassure.af397dc934":"Jis sukurtas Europoje. Atskirą tikrintojas, ne tas, kuris sukūrė atsakymą, patikrina kiekvieną kvitą.","oss-aion-reassure.7de6360d68":"Iš kur jis atsiranda?","oss-aion-reassure.a93d9edbec":"Ne. Jūs patys nieko iš to nekursite. Parduotuvė, ligoninė ar biuras tai naudoja už jus. Jūs tiesiog gaunate aiškesnį atsakymą.","oss-aion-reassure.39af3a44b7":"Ar man reikia būti sumaniam su kompiuteriais?","oss-aion-reassure.bdbcd6057e":"Taip. Kvitas gali būti patikrintas dar kartą be originalaus modelio, sesijos, paskyros ar interneto ryšio.","oss-aion-reassure.aa1b0d7005":"Ar galima jį patikrinti vėliau?","oss-aion-receipt.36889df54f":"Jūs pats to niekada neliečiate. Kai parduotuvė ar biuras tai naudoja už jus, tai yra kvitas,\n          kurį jie gali jums įteikti.","oss-aion-receipt.46fbbfb5be":"Kiekvienas gali jį perskaityti ir patikrinti, ar viskas sutampa.","oss-aion-receipt.9c258dd430":"ir jūs turite tuo tikėti. Su AION\n            mašina taip pat įteikia jums mažą kvitą kairėje. Jame matomas klausimas, veiksmai ir\n            atsakymas.","oss-aion-receipt.013700f8eb":"Įprasta mašina tik pasako","oss-aion-receipt.12df5bb228":"Jūsų nuosavybė","oss-aion-receipt.7b8544fad0":"Sutampa","oss-aion-receipt.def2581739":"Atsakymo kvitas","oss-aion-receipt.6e17da21e4":"Atsakymo kvito pavyzdys","oss-aion-receipt.f2688d32ea":"Paklauskite dar kartą ir gausite tą patį atsakymą bei tą patį kvitą bet kuriame kompiuteryje.","oss-aion-receipt.2379231efe":"Visada tas pats","oss-aion-receipt.a4b884c0e4":"Jūsų asmeninis pagalbininkas patikrina kvitą tiesiog jūsų vietoje, nieko nesiunčiant.","oss-aion-receipt.930888ee28":"Be interneto","oss-aion-receipt.7a019cc1d2":"Priežastis yra kvite, ne paslėpta mašinoje. Galite jį pasilikti arba parodyti.","oss-aion-receipt.47b716baec":"Raštu","oss-aion-receipt.92ed516e5b":"Taip, ir štai kodėl.","oss-aion-receipt.7011b1a621":"Atsakymas","oss-aion-receipt.8ab9465666":"Jūsų atvejis buvo su juo suderintas.","oss-aion-receipt.16bb8dfc44":"Antras žingsnis","oss-aion-receipt.d3ca88b9f3":"Taisyklė buvo perskaityta visa.","oss-aion-receipt.e97cc54395":"Pirmas žingsnis","oss-aion-receipt.afd2793ce0":"Ar man priklauso ši kompensacija?","oss-aion-receipt.d79cce547d":"Klausimas","oss-aion-recheck-list.09d5defeae":"dvi eilutės, du pavadinimai","oss-aion-recheck-list.fd3e1afd0e":"arba, kur kas dažniau, iš viso nieko.","oss-aion-recheck-list.459f160ffa":"Be versijos už kiekvienos eilutės, tas pats pranešimas sukelia visko iš naujo\n          peržiūrą,","oss-aion-recheck-list.cade8a80df":"sąrašo ir to, kas jį turi","oss-aion-recheck-list.6f13975269":"vis dar suderinama","oss-aion-recheck-list.48f8969999":"reikia iš naujo perskaityti","oss-aion-recheck-list.af0f44d357":", pakeista","oss-aion-recheck-list.4202e0844e":"Optimalumo ribos taisyklė aiškinama griežčiau. Riba, nurodyta tiksliai ties riba,\n              nebėra laikoma esančia žemiau jos.","oss-aion-recheck-list.1c26bb5963":"išleista 2025-07-22","oss-aion-recheck-list.1944dee3ee":"Tikrintuvas v7.0","oss-aion-recheck-list.9ffcf8f72b":"iliustraciniai įrašai","oss-aion-recheck-list.dc490c03ae":"du iš penkių pažymėti","oss-aion-recheck-list.7316018edf":"Paveikti įrašai","oss-aion-recheck-list.2237af7cd3":"optimalumo ribos taisyklė","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Maršruto optimalumas, depas šiaurėje","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Programinės įrangos versija, šliuzas 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Sutikimo vertinimas, kampanija 44","oss-aion-recheck-list.3c54a1df45":"įmonės viduje","oss-aion-recheck-list.b8d251e8cd":"Partijos kainodaros paleidimas","oss-aion-recheck-list.dce56394a1":"Pamainų planas, 12 savaitė","oss-aion-recheck-list.48a3661d84":"būsena","oss-aion-recheck-list.29e5b9a8e6":"tikrintuvas","oss-aion-recheck-list.51c817ab85":"priimta","oss-aion-recheck-list.e2979e7595":"tiekėjas","oss-aion-recheck-list.335ce16b3f":"subjektas","oss-aion-recheck-list.796a88413e":"J. Okonkwo, operacijos","oss-aion-recheck-list.90916dd844":"Patikrinkite iš naujo, tada patvirtinkite nurodytą ribą su tiekėju.","oss-aion-recheck-list.00e67572db":"M. de Vries, duomenų apsauga","oss-aion-recheck-list.e4faeae968":"Patikrinkite iš naujo saugomą sertifikatą pagal v7.0.","oss-aion-record-fields.8580937ae7":"kiekvienas sukuria savo paveiktų elementų rinkinį","oss-aion-record-fields.632f62dd8b":"sertifikato schema užbaigia septynetą","oss-aion-record-fields.7039b2f0bd":"kur jis yra dabar","oss-aion-record-fields.74b489c3d1":"kur jis buvo","oss-aion-record-fields.5d5dc3b7c3":"PATVARUS","oss-aion-record-fields.c2a1a83804":"ir tai ne tik įrodymų taisyklės","oss-aion-record-fields.12b83ffb63":"Kas gali pasikeisti po apačia","oss-aion-record-fields.91b3cb991a":"naujesnė modelio versija","oss-aion-record-fields.e1ab670f61":"Modelio arba simuliacijos sutartis","oss-aion-record-fields.da15b4cbb5":"pats teiginys pasislinko","oss-aion-record-fields.26e4976c38":"Kompiliatoriaus arba vykdymo laiko sutartis","oss-aion-record-fields.cb2c2e30b7":"išvalyta pagal kitą","oss-aion-record-fields.43e275dea3":"Politika","oss-aion-record-fields.521a7a8570":"dabar skaitoma kitaip","oss-aion-record-fields.58fd9f572c":"Tikrintuvo taisyklė","oss-aion-refusal-fields.432aa8565f":"nuoroda, kurią galima sekti","oss-aion-refusal-fields.36a85f9074":"ne raudonas kryžius","oss-aion-refusal-fields.fe71871083":"PASTEBĖJIMAS","oss-aion-refusal-fields.4f84be92c8":"kad kažkas galėtų pagal tai veikti","oss-aion-refusal-fields.fa31a3ca39":"Ką apima atsisakymas","oss-aion-refusal-fields.5647a1c020":"nuspręsti, kieno tai radinys","oss-aion-refusal-fields.11c0add347":"Įrodymo trūkumas arba taisyklė, kurios nelaikome. Ne tas pats.","oss-aion-refusal-fields.a74aa40f65":"Rūšis","oss-aion-refusal-fields.d3144a7994":"pamatyti, ko nebuvo","oss-aion-refusal-fields.060958d8fd":"Ko trūko arba kas buvo neteisinga, kai buvo iš naujo išsiaiškinta.","oss-aion-refusal-fields.a7dc07c061":"Priežastis","oss-aion-refusal-fields.3b21710b2e":"patikrinti, ką tai turėjo padaryti","oss-aion-refusal-fields.f80b017fdb":"Ką žingsnis teigė darantis.","oss-aion-refusal-fields.0056e788fc":"Taisyklė","oss-aion-refusal-fields.89abf35df5":"atidaryti jį toje eilutėje","oss-aion-refusal-fields.3dac51b71a":"Kuris žingsnis, pagal numerį, kuriame faile.","oss-aion-refusal-fields.2fb8438f32":"Vieta","oss-aion-reviewable.e0cb1b89aa":"ne tik autorius","oss-aion-reviewable.f29c4ff9dd":"savininkas jį peržiūri","oss-aion-reviewable.c6465865b0":"jūsų sakinys","oss-aion-reviewable.ed6912ad70":"PERŽIŪRA","oss-aion-reviewable.5867cc6bd5":"be žymėjimo mokymosi","oss-aion-reviewable.8f8dec6da0":"Ką mato recenzentas","oss-aion-reviewable.da8643122f":"Vardas, data ir patvirtinta sakinio versija.","oss-aion-reviewable.7c92afb7f9":"Patvirtintas parašas","oss-aion-reviewable.340e6b4675":"Pakartotinė peržiūra skaito tą patį, nes niekas nebandė modelio.","oss-aion-reviewable.b08be2b959":"Kiekvieną kartą tas pats","oss-aion-reviewable.d3a2628a1c":"Kiekvienas kiekis įvardytas, su reikšmės tipu, kurį jis turi.","oss-aion-reviewable.2587914ff8":"Su kuo jis dirba","oss-aion-reviewable.f0a2aa51a4":"Vienas sakinys, apibūdinantis visą sąlygą.","oss-aion-reviewable.5a47a1dcaf":"Paprastas skaitymas","oss-aion-reviewable.aee2d461c7":"Nepakeistas, viršuje, kaip jie jį parašė.","oss-aion-reviewable.7488358db7":"Jų pačių sakinys","oss-aion-risk-ledger.1a0f2538e1":"Penkios veiklos rizikos pakeistos vienu sertifikatu, kurį kitas tikrintojas gali patikrinti.","oss-aion-risk-ledger.4b32d8f574":"Su AION","oss-aion-risk-ledger.2e34d48ba3":"Įprastas būdas","oss-aion-risk-ledger.d1d7499182":"PALYGINTI VIENAS ŠALIA KITO","oss-aion-risk-ledger.02c7234156":"Peržiūrėkite samprotavimą neprisijungę ir įsitikinkite patys.","oss-aion-risk-ledger.b5058e1c76":"Pasitikėkite tiekėjo žodžiu, kad atsakymas buvo teisingas.","oss-aion-risk-ledger.d2e183faa1":"Kiek juo pasitikėti","oss-aion-risk-ledger.96f0603563":"Sertifikatas tikrina be nė vieno iš jų.","oss-aion-risk-ledger.04312971f3":"Originalus modelis, sprendimo sesija ir paslauga vis tiek turi būti prieinami.","oss-aion-risk-ledger.2df1215b19":"Nuo ko priklauso patikrinimas","oss-aion-risk-ledger.8ddd34c358":"Veikia jūsų pačių įrangoje, jūsų patvirtintoje jurisdikcijoje.","oss-aion-risk-ledger.c3fe4a906f":"Sprendimai paaiškinami serveriuose, kurių jūs nekontroliuojate.","oss-aion-risk-ledger.242ebe0c39":"Kur yra duomenys","oss-aion-risk-ledger.75eb05728b":"Standartiniai įrodymų formatai lieka nepriklausomai patikrinami.","oss-aion-risk-ledger.46d3f9eccd":"Paaiškinimas išnyksta kartu su originalia paslauga.","oss-aion-risk-ledger.8ea6189e84":"Kai keičiasi vykdymo aplinka","oss-aion-risk-ledger.21ff58d6a7":"Jūs perduodate sertifikatą, kurį auditorius gali patikrinti pats.","oss-aion-risk-ledger.934929b924":"Jūs siunčiate žurnalų failus ir tikitės, kad jie bus laikomi įrodymais.","oss-aion-risk-ledger.8632e0b3b5":"Kai auditorius klausia","oss-aion-rule-refusal.c354dff2de":"nėra verdikto po 15","oss-aion-rule-refusal.0fc2b67ff7":"prie pirmojo žingsnio žlunga","oss-aion-rule-refusal.d7cb461a4b":"Keturi testai fiksuota tvarka, ir skaitymas sustoja","oss-aion-rule-refusal.ad9deadf27":"vienas sąlygos identifikatorius naudojamas dviem sąlygoms","oss-aion-rule-refusal.ffc05ba511":"atskaitos taškas, deklaruotas ant literalo, kurio sąlyga neturi","oss-aion-rule-refusal.5af32fb7c4":"užuomina, nurodanti žingsnį, kurį turi pagrįsti","oss-aion-rule-refusal.fbf5522f0e":"prispaustas iš priešiško rinkinio","oss-aion-rule-refusal.d3b27b8f89":"neužbaigė","oss-aion-rule-refusal.0f04e9ee60":"literalai vis dar stovi paskutinėje sąlygoje","oss-aion-rule-refusal.90f9cbf1cb":"failo pabaiga","oss-aion-rule-refusal.196a925493":"prielaidos indeksas, nuo 1 iki 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, taisyklė po taisyklės","oss-aion-rule-refusal.b14e7fc954":"sustojo ties 15","oss-aion-rule-refusal.ce0ed8058b":"Vienas įrodymas, skaitomas nuo pradžios","oss-aion-rule-refusal.af0cbd46a2":"cituotas ne eilės tvarka","oss-aion-rule-refusal.165a394589":"iš 61 ir 20","oss-aion-rule-refusal.dd39474e4f":"prielaida nėra","oss-aion-rule-refusal.6edfd31763":"iš 88","oss-aion-rule-refusal.d18b697772":"cituoja save","oss-aion-rule-refusal.5c7bf112ac":"iš 31 ir 18","oss-aion-rule-refusal.64b0295aa0":"nepalaikoma taisyklė","oss-aion-rule-refusal.5e2428fc82":"iš 14","oss-aion-rule-refusal.a7e8697338":"iš 12 ir 13","oss-aion-rule-refusal.ba08b53848":"iš 4","oss-aion-rule-refusal.2a1be725ca":"12 rezoliucija","oss-aion-rule-refusal.54a0121f57":"iš 4 ir 9","oss-aion-rule-refusal.8ffe1b4177":"taisyklė žinoma","oss-aion-rule-refusal.ebed34abd2":"žemiau savo","oss-aion-rule-refusal.d182b65e15":"prielaida yra","oss-aion-rule-refusal.a503bc1da2":"atsisakyta","oss-aion-rule-refusal.3a21295d81":"saugykla","oss-aion-same-except-one.279e6c9e96":"vienas yra apdorotas žemiau","oss-aion-same-except-one.87ca0e7356":"ribos, išvedimai ir modelio kilmė užbaigia septynis","oss-aion-same-except-one.72b459f8cc":"SAVYBĖS","oss-aion-same-except-one.25119f6e70":"ir šeima, kuri neša kiekvieną","oss-aion-same-except-one.ed6552be04":"Teiginiai, kuriuos galite pateikti","oss-aion-same-except-one.633255fe41":"Ši trajektorija laikėsi šių invariantų.","oss-aion-same-except-one.6b403d2a35":"Šis veiksmas turėjo reikiamą patvirtinimą.","oss-aion-same-except-one.ac5d8ada02":"Ši darbo krūvis veikė pagal šias galimybes.","oss-aion-same-except-one.5e8efc64f2":"Šis dvejetainis failas atitinka šį šaltinio grafą.","oss-aion-same-except-one.81c0e8e986":"simuliacija","oss-aion-same-except-one.92fe1455a7":"organizacinė","oss-aion-same-except-one.1e21474598":"vykdymas","oss-aion-same-except-one.023646ce84":"kompiliacija","oss-aion-same-rule-parts.3326352b94":"šie trys jį pralenkia","oss-aion-same-rule-parts.b33174d833":"atsakymas yra viena eilutė","oss-aion-same-rule-parts.490fbefa4b":"tą patį darbą perduokite du kartus, ir patikrinimas išeis tas pats","oss-aion-same-rule-parts.ce173fc797":"Laikoma antram patikrinimui.","oss-aion-same-rule-parts.60c6fa6f09":"atsakymas","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"po to, kai ateina atsakymas","oss-aion-same-rule-parts.3fea5c7183":"Trys dalykai, kuriuos pasiliekate","oss-aion-same-rule-parts.f460809c86":"Kada darbas buvo patikrintas ir kas jį patikrino.","oss-aion-same-rule-parts.1f26226511":"įrašas","oss-aion-same-rule-parts.f3488c72aa":"Data","oss-aion-same-rule-parts.7e9a6ac9d7":"Taisyklė, cituojama atgal, su jūsų pačių situacija joje.","oss-aion-same-rule-parts.fa1f96a2cc":"atspausdinta su atsakymu","oss-aion-same-rule-parts.a7dc07c061":"Priežastis","oss-aion-same-rule-parts.51240e4e03":"Paprasti žodžiai, išlaikyti, kad galėtumėte juos perskaityti bet kam.","oss-aion-same-rule-parts.f901c543a0":"kaip kažkas tai parašė","oss-aion-same-rule-parts.0056e788fc":"Taisyklė","oss-aion-same-rule-thrice.8716c9d2d1":"cituojamas visų trijų","oss-aion-same-rule-thrice.56daaad027":"Niekas vietoje neaiškino niekieno bylos.","oss-aion-same-rule-thrice.fe8d9a24bc":"Trys vardai, trys datos, viena priežastis žodis į žodį.","oss-aion-same-rule-thrice.2d4e5d243a":"tie patys žodžiai visuose trijuose laiškuose","oss-aion-same-rule-thrice.36c5f05f0e":"Mano prašymas buvo sulaikytas, nes bet koks prašymas iš sąskaitos, kuri kada nors buvo overdrafto, sulaikomas antram patikrinimui. Ar tai jūs norėjote padaryti?","oss-aion-same-rule-thrice.47b69ccfd4":"ką bet kuris iš trijų gali parašyti","oss-aion-same-rule-thrice.5441126254":"priežastis su jūsų skaičiais","oss-aion-same-rule-thrice.e026ce35f8":"taisyklė žodžiais","oss-aion-same-rule-thrice.c6b6fdf0c8":"Jūsų prašymas sulaikytas","oss-aion-same-rule-thrice.4af8028f5b":"Tai paliečia visus, kurie kada nors buvo trumpam skolingi savaitei.","oss-aion-same-rule-thrice.43d7f6edd9":"Bet koks prašymas iš sąskaitos, kuri kada nors buvo overdrafto, sulaikomas antram patikrinimui.","oss-aion-same-rule-thrice.d5dff79fd0":"taisyklė, kaip ją parašė atsakingas asmuo","oss-aion-same-rule-thrice.660cf69152":"ta pati priežastis, tris kartus","oss-aion-same-rule-thrice.2aa5baf4fa":"viena taisyklė, trys žmonės","oss-aion-same-rule-thrice.2969c22def":"overdraftas vieną dieną 2024 m. rugpjūčio mėn.","oss-aion-same-rule-thrice.db55a373e5":"liepos 2 d.","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"overdraftas dvi dienas 2021 m. lapkričio mėn.","oss-aion-same-rule-thrice.8a343dea89":"birželio 19 d.","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"overdraftas šešias dienas 2023 m. kovo mėn.","oss-aion-same-rule-thrice.e46936527e":"birželio 4 d.","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Jūsų sąskaita kada nors buvo overdrafto, todėl šis prašymas sulaikomas antram patikrinimui.","oss-aion-same-rule-thrice.69449f994d":"nuoroda","oss-aion-same-rule-thrice.910e029098":"iliustratyvus","oss-aion-second-reader.e2a4a212d5":"nukreipti į eilutę yra naudinga dalis","oss-aion-second-reader.b31aece7ea":"sutarti yra lengva","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"ką daro antrasis skaitymas","oss-aion-second-reader.d160172930":"Skaičiuojant iš naujo","oss-aion-second-reader.0bd3d42b28":"Kita programa, be jokios priežasties teikti pirmenybę atsakymui.","oss-aion-second-reader.2c814bb70c":"Nėra pirmoji mašina","oss-aion-second-reader.b792afd627":"Ir nurodo, kuris žingsnis, todėl yra į ką nukreipti.","oss-aion-second-reader.4a195096b0":"Sustabdoma ties pirmąja klaida","oss-aion-second-reader.58f56fa2c3":"Apskaičiuoja iš naujo, o ne pasitiki, kad tai buvo padaryta.","oss-aion-second-reader.5abf0b9df4":"Atlieka kiekvieną žingsnį","oss-aion-second-reader.de8f44bd3b":"Ne atsakymas. Žingsniai, kurie turėjo į jį vesti.","oss-aion-second-reader.0a461499ae":"Skaito sprendimą","oss-aion-second-sum.2517e33359":"vieta, o ne verdiktas","oss-aion-second-sum.1f31706279":"Ko tau reikėjo, buvo eilutė, ir štai ji.","oss-aion-second-sum.1b06fb1625":"Abi stulpeliai pasiekia sumą, ir vienas iš jų yra neteisingas.","oss-aion-second-sum.715f45331b":"Skaitymas sustoja ties penkiais, o ne tęsiasi iki šešių, nes patikrinimas, kuris praleidžia\n          žingsnį, kurio negali padaryti teisingo, nėra patikrinimas.","oss-aion-second-sum.be51277bfd":"nepasiekta","oss-aion-second-sum.a90d766915":"šis žingsnis nesueina","oss-aion-second-sum.b214ae4ce2":"tas pats veiksmas, kurį mašina užrašė","oss-aion-second-sum.e4cddfd229":"Kiekvienas gali pats suskaičiuoti stulpelį ir gauti tą pačią eilutę. Tai\n              visa esmė, perkelta į darbą, kurio niekas nemato.","oss-aion-second-sum.a72b4463ba":"Abu stulpeliai sutampa tris eilutes. Žiedas eina aplink eilutę, kurioje jie\n              išsiskiria, o ne aplink sumą, nes suma niekada nebuvo naudingas dalykas, dėl kurio\n              ginčytis.","oss-aion-second-sum.136fc39d05":"Dešimt centų, ir jis yra prie obuolių.","oss-aion-second-sum.1104f28cf8":"sumokėti","oss-aion-second-sum.51111a2b99":"parduotuvė, antradienis","oss-aion-second-sum.e9594ccf76":"jie išsiskiria prie obuolių","oss-aion-second-sum.bb470fd83f":"tas pats stulpelis, pridėtas du kartus","oss-aion-second-sum.0220a293b9":"reikalavimas apmokėtas","oss-aion-second-sum.f7e5a74a1f":"kas liko sumokėti, susideda","oss-aion-second-sum.597b954c29":"perviršis buvo nuimtas","oss-aion-second-sum.edccd745a8":"suma yra mažesnė už limitą tam remontui","oss-aion-second-sum.709d0bb348":"remontas yra padengiamų sąraše","oss-aion-second-sum.1396b1459a":"sąskaita buvo atidaryta reikalavimo dieną","oss-aion-second-sum.d2fc512490":"pieštukas","oss-aion-second-sum.1c8f15dab7":"spausdintas","oss-aion-second-sum.910e029098":"iliustracinis","oss-aion-second-sum.f6c1ab8181":"muilas","oss-aion-second-sum.bcef7a0462":"sūris","oss-aion-second-sum.76c2436b59":"obuoliai","oss-aion-second-sum.44213f9f4d":"kava","oss-aion-second-sum.6ff291d817":"duona","oss-aion-second-sum.cf5dbf0ec5":"pienas","oss-aion-sentence-returns.e9a72f31df":"tavo žodžiai, abiejuose galuose","oss-aion-sentence-returns.254545287c":"Po aštuonių mėnesių nepažįstamasis ją skaito, ne jos santrauką.","oss-aion-sentence-returns.f0e71316de":"Vienas žmogus parašė sakinį ir padėjo jį į šalį.","oss-aion-sentence-returns.4c51f16cb4":"Niekas tarp šių dviejų skaitymų nieko neišmoko, nepakeitė nuomonės ar neturėjo geresnės idėjos.","oss-aion-sentence-returns.06152533dc":"antras mokestis už vieną užsakymą per atsiskaitymo mėnesį neleidžiamas","oss-aion-sentence-returns.fb3e6817f1":"iš skaitymo po metų","oss-aion-sentence-returns.32af205ca5":"iš skaitymo kovo mėnesį","oss-aion-sentence-returns.0b1eb314b5":"tas pats sakinys, perskaitytas dar kartą po metų","oss-aion-sentence-returns.547a49e160":"užsakymas 44-8127 buvo apmokestintas trečią lapkričio dieną ir vėl devynioliktą","oss-aion-sentence-returns.d3141af6d8":"kas į jį įsirėžė","oss-aion-sentence-returns.a2d40412ef":"antras mokestis už vieną užsakymą per atsiskaitymo mėnesį","oss-aion-sentence-returns.0ee2593cc5":"dalis, kuri nebuvo įvykdyta","oss-aion-sentence-returns.43015fadc4":"Niekas neturėtų būti apmokestintas du kartus už tą patį užsakymą tą patį mėnesį.","oss-aion-sentence-returns.2ce9eb0823":"taisyklė, žodžiais, kuriais ji buvo parašyta","oss-aion-sentence-returns.5c4173fbcf":"lapkričio 9 d., išsiųsta klientui","oss-aion-sentence-returns.96ec36f99b":"Mokestis buvo sustabdytas","oss-aion-sentence-returns.14da1cff14":"aštuoni mėnesiai","oss-aion-sentence-returns.b59f623fe2":"skaitoma kaip","oss-aion-sentence-returns.6a250da793":"kovo 14 d., asmens, kuris tvarko atsiskaitymus","oss-aion-sentence-returns.8766d15f20":"tie patys žodžiai abiejuose galuose","oss-aion-sentence-returns.33e656aa3a":"vienas sakinys, aštuonių mėnesių skirtumas","oss-aion-sentence-returns.6180960e2c":"parašyta","oss-aion-sentence-returns.910e029098":"iliustratyvus","oss-aion-side-by-side-rule.1462946510":"hierarchija apversta","oss-aion-side-by-side-rule.dc685ee970":"yra mažiausias rinkinys, esantis apačioje.","oss-aion-side-by-side-rule.37ba9a07a7":"Vienintelė eilutė čia, kurios niekam nereikia mokėti skaityti","oss-aion-side-by-side-rule.24205c8d5e":"Šio lapo turinys yra tai, ko buvo prašyta.","oss-aion-side-by-side-rule.136ec48046":"sakinio versija 3","oss-aion-side-by-side-rule.5714c84617":"2026 m. balandžio 9 d.","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, atsiskaitymo operacijos","oss-aion-side-by-side-rule.4c1493cdf2":"sąlyga, kaip ji saugoma","oss-aion-side-by-side-rule.5050bceb24":"ką ji apima","oss-aion-side-by-side-rule.70a7ded724":"Antras mokestis už nuorodą, kuri jau buvo apmokestinta per atsiskaitymo laikotarpį, yra\n          atmetamas.","oss-aion-side-by-side-rule.decbbbcbea":"Jokiam klientui negali būti taikomas mokestis du kartus už tą pačią nuorodą per vieną atsiskaitymo laikotarpį.","oss-aion-side-by-side-rule.41f5b5d765":"žymėjimas nereikalingas","oss-aion-side-by-side-rule.fd9d8f9d79":"patvirtinta savininko","oss-aion-side-by-side-rule.dbd8504696":"peržiūros lapas","oss-aion-side-by-side-rule.b714510ded":"kiek kartų ši nuoroda jau buvo apmokestinta","oss-aion-side-by-side-rule.71aa03cd23":"mokesčių skaičius","oss-aion-side-by-side-rule.8f404d9e59":"mėnuo, į kurį patenka mokestis","oss-aion-side-by-side-rule.28db3c4a10":"atsiskaitymo laikotarpis","oss-aion-side-by-side-rule.7bbf8d007a":"identifikatorius, pagal kurį atliekamas mokestis","oss-aion-side-by-side-rule.333190a7a5":"nuoroda","oss-aion-silent-wrong.e516f1474a":"40 žingsnis, taisyklė nežinoma","oss-aion-silent-wrong.52c4b2ffb7":"kur sustojo","oss-aion-silent-wrong.bdc9060b3b":"Aštuoni paleidimai grąžino aštuonis žodžius. Tik tas, kuris užrašė savo darbą,\n          gali pasakyti","oss-aion-silent-wrong.dc3fb44cee":"atsisakymas įvardija liniją","oss-aion-silent-wrong.d55eb7e866":"Šis skaitytuvas neturi tokios taisyklės 40 žingsnyje, todėl ten sustojo.\n            Antspaudas niekada nebuvo uždėtas ir verdiktas nebuvo paskelbtas.","oss-aion-silent-wrong.d04a61e19e":"ką pateikė skaitymas","oss-aion-silent-wrong.b31f1a6015":"alethe, 38 žingsnis ir toliau","oss-aion-silent-wrong.74cb6750e3":"vienas iš jų, išrašytas","oss-aion-silent-wrong.c9266795e0":"aštuonios sistemos, aštuoni rezultatai","oss-aion-silent-wrong.d7d4ae123f":"iliustratyvus, vienas paleidimas iš aštuonių","oss-aion-silent-wrong.3c05b129e2":"verdiktas nepaskelbtas","oss-aion-silent-wrong.c6dc61d79f":"Aštuoni žodžiai, vienas iš jų atidarytas","oss-aion-silent-wrong.64494819a0":"prielaida 40, tuščia sąlyga","oss-aion-silent-wrong.9dae957efd":"prielaida 39","oss-aion-silent-wrong.52e787751c":"prielaidos 31 ir 38","oss-aion-silent-wrong.36901d48ad":"prielaidos 12 ir 31","oss-aion-silent-wrong.e00bcd7ac6":"darbo eiga patvirtinta","oss-aion-silent-wrong.fd40251b0b":"simuliacija suartėjo","oss-aion-silent-wrong.9204d100a8":"politika priimta","oss-aion-silent-wrong.51c817ab85":"priimta","oss-aion-silent-wrong.4d64c22879":"perdaryti","oss-aion-silent-wrong.94ec44c4f4":"tikėti","oss-aion-silent-wrong.4848901b39":"optimalus","oss-aion-silent-wrong.bf31c52c32":"saugus","oss-aion-silent-wrong.231e564db4":"baigta","oss-aion-silent-wrong.bac2ad9d5d":"sukompiliuota","oss-aion-silent-wrong.d203c40ac4":"nesuderinama","oss-aion-sim-cert.d836eab67a":"fizinis pagrįstumas nėra","oss-aion-sim-cert.8f9800edbe":"atitiktis ir savybės tikrinamos čia","oss-aion-sim-cert.d982b6fdda":"ar modelis atspindi pasaulį, lieka modelio savininkui","oss-aion-sim-cert.c27ccdf78d":"fizinis pagrįstumas","oss-aion-sim-cert.99c6aa48cb":"niekur neatsakoma","oss-aion-sim-cert.e4125aa830":"nurodytos savybės galioja viso vykdymo metu arba pėdsakas grįžta","oss-aion-sim-cert.24fa71fdd6":"invariantų patikros","oss-aion-sim-cert.82ffe3f79b":"deklaruotas modelis, parametrai ir konfigūracija sukūrė šią trajektoriją","oss-aion-sim-cert.8c30aa1c6e":"vykdymo atitiktis","oss-aion-sim-cert.790f468e4d":"atsakoma čia","oss-aion-sim-cert.f6bceb137b":"DVYNIS IR FMI","oss-aion-sim-cert.cf2b82cb4f":"modelis į trajektoriją","oss-aion-sim-cert.a7b63abc02":"Ką sertifikatas apima","oss-aion-sim-cert.07ecfba93e":"trajektorija ir būsena","oss-aion-sim-cert.6874c92610":"įvykių seka","oss-aion-sim-cert.e77c056cdc":"parametrai ir pradinė būsena","oss-aion-sim-cert.720a1e14e6":"modelio ir FMU tapatybė","oss-aion-source-to-artefact.ce10986f79":"Nuo šaltinio iki sertifikato","oss-aion-source-to-artefact.c1ce053887":"įvardytas, ne bendrinis","oss-aion-source-to-artefact.75a0766041":"Bendrinis teiginys negalėjo žlugti niekur.","oss-aion-source-to-artefact.b5e1e87d48":"Įvardyti trys teiginiai, o žlugęs įvardija etapą, kuriame žlugo.","oss-aion-source-to-artefact.8732c432be":"Kad kiekvienas sekos etapas apskritai yra teisingas. Joks sertifikatas čia nesako, kad\n                kompiliatorius yra geras, ir nė vienam to ir nereikia.","oss-aion-source-to-artefact.64d8424b5b":"ko jis neteigia","oss-aion-source-to-artefact.302df26f74":"šaltinio grafas","oss-aion-source-to-artefact.e95689d184":"į referencinį įgyvendinimą, nurodytoje įvesties srityje","oss-aion-source-to-artefact.0ca9407ef6":"branduolio ekvivalentas","oss-aion-source-to-artefact.5e68638068":"nurodytas formų išsaugojimas šiame etape negalioja nurodytai įvesties sričiai","oss-aion-source-to-artefact.ab2050f59e":"tenzorių formos išsaugotos","oss-aion-source-to-artefact.213addbd25":"per canonicalise ir fusion, kiekvienam nurodytam tipui","oss-aion-source-to-artefact.9deae195e3":"tipai išsaugoti","oss-aion-source-to-artefact.2297843111":"opt lygis 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"formos teiginys atmestas","oss-aion-source-to-artefact.2fa9505626":"artefaktas","oss-aion-source-to-artefact.910e029098":"iliustracinis","oss-aion-source-to-artefact.9f939ff8a4":"branduolio pasirinkimas","oss-aion-sovereignty.0fe4587501":"Patikra lieka ten, kur saugomi įrodymai: šalia juos generuojančios sistemos, peržiūros paslaugoje arba izoliuotame archyve.","oss-aion-sovereignty.2d7bdcb19f":"Jūsų sprendimai lieka jūsų kontrolėje.","oss-aion-sovereignty.9426b99215":"Skaitmeninis suverenitetas","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe ir vieninga forma užtikrina, kad sertifikatus galima patikrinti nepriklausomai nuo pradinės vykdymo aplinkos.","oss-aion-sovereignty.25c4717a63":"Perkeliami įrodymų formatai","oss-aion-sovereignty.d99f32de40":"Įrodymų tikrinimas veikia visiškai neprisijungus. Jūs nesiremiate nuotoline paslauga, kuri gali pakeisti savo sąlygas arba išnykti.","oss-aion-sovereignty.34ebf0117d":"Jokios išorinės priklausomybės","oss-aion-sovereignty.44a8a39a30":"Jūsų pačių duomenų centre arba jūsų pasirinktame regione. Sprendimo pagrindimas niekada neturi kirsti sienos, kurios jūs nepatvirtinote.","oss-aion-sovereignty.331242fd64":"Veikia ten, kur pasirenkate","oss-aion-sovereignty.599b928605":"AION yra sukurtas Europoje, o jo tikrintuvas gali likti toje pačioje Europos erdvėje kaip ir sprendimai, kuriuos jis tikrina.","oss-aion-sovereignty.45f9bdf22b":"Europietiškos kilmės","oss-aion-split-parts.cc0d7be136":"ir anklavas nieko nekeičia","oss-aion-split-parts.a2fb24de32":"numatytasis buildas neturi išeinančio kliento","oss-aion-split-parts.ffd75a18c4":"DISLOKUOTI","oss-aion-split-parts.91f8c088aa":"ir ko kiekvienam reikia","oss-aion-split-parts.758bd7cc2a":"Keturi būdai jį paleisti","oss-aion-split-parts.400bd9a040":"Paskirstyta per mašinas ir sujungta tik po aprėpties patikros.","oss-aion-split-parts.bb3d98dfee":"Paskirstytas","oss-aion-split-parts.74da65bc96":"Jūsų ribose, adresais, kuriuos nustatote patys.","oss-aion-split-parts.664046e78a":"Paslauga","oss-aion-split-parts.ce2ab3edc4":"Nukreipkite į sertifikatą. Nieko kito nereikia paleisti.","oss-aion-split-parts.a7218c8eca":"Komanda","oss-aion-split-parts.eefb3bac5d":"Susieta su jūsų procesu. Klauskite ir atsakykite, be jokio failo.","oss-aion-split-parts.fa66edb7bd":"Biblioteka","oss-aion-stays-here.e3e08ad140":"nieko neliko kambaryje","oss-aion-stays-here.18ab547f60":"Tas tuščias popierius ir yra visas teiginys.","oss-aion-stays-here.907d22f7f0":"Tarp dėžutės ir trijų dalykų šalia jos niekas nenupiešta.","oss-aion-stays-here.001b06036c":"ne šiame paveikslėlyje","oss-aion-stays-here.8c84675037":"nuoroda į kitą mašiną toje pačioje organizacijoje, neveikianti, kol kas nors jos sąmoningai nesukonfigūruoja","oss-aion-stays-here.e3527ba222":"Atsakymas ateina su linija žemyn, nes linija niekada nebuvo jo dalis.","oss-aion-stays-here.caf3a041c8":"Vėlavimas buvo septyniasdešimt penkios minutės, o tai yra daugiau nei valanda, todėl užsakymas atšaukiamas ir bilieto kaina grąžinama į kortelę, iš kurios buvo sumokėta.","oss-aion-stays-here.7296ef48e5":"kas grįžo","oss-aion-stays-here.395ee2333f":"atšaukimas nutraukia užsakymą ir grąžina bilieto kainą","oss-aion-stays-here.46d2008236":"valanda reiškia šešiasdešimt minučių, be apvalinimo","oss-aion-stays-here.2fd4fcb567":"vėlavimas skaičiuojamas nuo laiko, nurodyto biliete","oss-aion-stays-here.f5b422b60e":"rašytinės taisyklės, pagal kurias jis vertinamas","oss-aion-stays-here.ee04bc3b23":"Atšaukite mano užsakymą tik tada, jei vėlavimas yra didesnis nei valanda.","oss-aion-stays-here.af5509db2b":"ką įvedėte","oss-aion-stays-here.3cbd68d678":"mašina priešais jus","oss-aion-stays-here.531aa138ac":"atsakyta neišeinant","oss-aion-stays-here.fb23ddcc1c":"vienas klausimas, viena vieta","oss-aion-stays-here.96ccbc62ab":"jūsų žodžiai nėra dalykas, kurį gauna kas nors kitas","oss-aion-stays-here.1b215d440d":"mašina kažkur kitur, skaitanti jūsų sakinį","oss-aion-stays-here.b5a5c63d23":"kad atsakymas ateitų, nebūtina, kad veiktų koks nors išorinis dalykas","oss-aion-stays-here.b5c483d9d9":"paslauga, kuri turi veikti","oss-aion-stays-here.fa287ade3d":"niekas neklausia, kas esate, nes niekam nereikia žinoti","oss-aion-stays-here.d5a3ef8b78":"paskyra, į kurią reikia prisijungti","oss-aion-stays-here.910e029098":"iliustratyvus","oss-aion-stays-here-list.56a6e8f9a7":"ir nieko perduoti","oss-aion-stays-here-list.57eef35c96":"be laukimo","oss-aion-stays-here-list.a64eab5744":"ko jis laukia","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"ir ko jis niekada nelaukia","oss-aion-stays-here-list.13591491d9":"Kuo jis veikia","oss-aion-stays-here-list.1458464f09":"Nėra prie ko prisiregistruoti, tad nėra ir ko būti klientu.","oss-aion-stays-here-list.257fa99e08":"Be paskyros","oss-aion-stays-here-list.b165f2d684":"Jūsų sakinys tikrinamas pagal taisykles, tame pačiame kambaryje kaip ir jūs.","oss-aion-stays-here-list.37a25e4e99":"Rašytinės taisyklės","oss-aion-stays-here-list.7ee33f1c7a":"Darbas vyksta ten, kur esate jūs, ir niekam kitam nereikia būti prisijungusiam.","oss-aion-stays-here-list.d3612f57d8":"Įrenginys, prie kurio esate","oss-aion-supplier-answer.6d6ddcd4c1":"vienas teiginys, keturios tuščios eilutės","oss-aion-supplier-answer.a5d36ba87c":"Nė vienas iš keturių klausimų nėra atsakytas niekur lape.","oss-aion-supplier-answer.d09481b0a5":"Kiekvienas jame esantis žodis yra teisingas ir kažkas jį pasirašė.","oss-aion-supplier-answer.cec9b36162":"2026 m. kovo 14 d.","oss-aion-supplier-answer.22715d5cb9":"Konfigūracija, pateikta 2026 m. kovo 12 d., patikrinta ir nustatyta, kad joje nėra konfliktų.","oss-aion-supplier-answer.1e0a1891e8":"nuoroda SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"atitikties sertifikatas","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"keturi neatsakyti","oss-aion-supplier-answer.910e029098":"iliustracinis","oss-aion-supplier-answer.f86e5cfb14":"Ar tai vis tiek galiotų po antradienio pakeitimo?","oss-aion-supplier-answer.bbe7a72e5a":"Kieno duomenimis ir kiek jų?","oss-aion-supplier-answer.c25776701b":"Palyginti su kuria mūsų taisyklių rinkinio versija?","oss-aion-supplier-answer.84d9ed92b5":"Kurios sąlygos iš tikrųjų buvo patikrintos?","oss-aion-theory-matrix.ac8d77d669":"Propozicinis","oss-aion-theory-matrix.3d52a6d8fe":"Logika","oss-aion-theory-matrix.42f3aff840":"Būlio tenkinamumas su konfliktų varomu sąlygų mokymusi. Pradinis taškas visoms kitoms teorijoms.","oss-aion-theory-matrix.6078532ab2":"Kvantoriai","oss-aion-theory-matrix.02f664dd36":"Pirmosios eilės logika su modeliu pagrįsta instanciacija. Samprotauja apie forall ir exists per palaikomas rūšis.","oss-aion-theory-matrix.49167dbc57":"Tiesinė aritmetika","oss-aion-theory-matrix.45f053dc73":"Aritmetika","oss-aion-theory-matrix.876aafb6c1":"Tiesinė sveikųjų skaičių aritmetika ir realiųjų skaičių įvestis deklaruotu masteliu. Viduje tikrintuvas naudoja sveikuosius arba adaptyvius fiksuoto taško dydžius.","oss-aion-theory-matrix.b618fadea3":"Netiesinė","oss-aion-theory-matrix.fd99188844":"Netiesinė sveikųjų skaičių aritmetika ir realiųjų skaičių įvestis deklaruotu masteliu. Tikrintuvas naudoja sveikuosius arba adaptyvius fiksuoto taško dydžius, niekada slankiojo kablelio dydžius.","oss-aion-theory-matrix.d11f66aff2":"Slankiojo kablelio įvestis","oss-aion-theory-matrix.19080aec82":"IEEE 754 įvestis priimama tik riboje, tada iššifruojama į dvejetainius laukus prieš tikrinimą. Viduje nėra saugomi, kaupiami ar skaičiuojami jokie slankiojo kablelio dydžiai.","oss-aion-theory-matrix.914807cdef":"Bitvektoriai","oss-aion-theory-matrix.e5e429bcc9":"Duomenys","oss-aion-theory-matrix.23c278d5ca":"Fiksuoto pločio dvejetainiai žodžiai su perpildymo semantika. Skirta aparatinės įrangos verifikacijai ir dvejetainių protokolų tikrinimui.","oss-aion-theory-matrix.b90cc9bfd2":"Masyvai","oss-aion-theory-matrix.eac25fcfc6":"Masyvų teorija su select ir store aksiomomis. Sprendžiami fragmentai yra aiškiai sekami.","oss-aion-theory-matrix.3816c4beac":"Eilutės","oss-aion-theory-matrix.8e5a47db7d":"Žodžių lygtys, ilgio apribojimai ir reguliariųjų išraiškų priklausomybė eilutėms.","oss-aion-theory-matrix.0efe5fd2a3":"Laikinė","oss-aion-theory-matrix.ab14d0a7db":"Programos","oss-aion-theory-matrix.12dfdaf96a":"palaikomasis paketas","oss-aion-theory-matrix.dd600bd946":"Tiesinės ir šakotosios laiko laikinės logikos fragmentai samprotavimui apie elgesį laike.","oss-aion-theory-matrix.bb8c6ec608":"Tikimybinė","oss-aion-theory-matrix.042a4dc40b":"Tikimybinis programų samprotavimas, įskaitant tikimybinio Datalog stiliaus išvedimą.","oss-aion-theory-matrix.1e1837d4e8":"Lygiagreti","oss-aion-theory-matrix.60e30b1d8e":"Samprotavimas apie lygiagrečias programas ir jų gijų galimus persipynimus.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"teorijų aprėptis","oss-aion-theory-matrix.4329e5da7b":"11 loginių sričių","oss-aion-theory-matrix.dc1baa8539":"branduolys + palaikomieji paketai","oss-aion-theory-matrix.5b1e898fc0":"Teorija","oss-aion-theory-matrix.cd89376f98":"Gyvena","oss-aion-theory-matrix.df1e1e1732":"Vienuolika teorijų, kiekvienas samprotavimo įrenginys generuoja žingsnius, kuriuos įrodymų emiteris gali užfiksuoti ir tikrintuvas atkurti.","oss-aion-theory-matrix.36ce8cbd4c":"PROP į CONCUR","oss-aion-three-questions.381a478392":"Du atsakymai, viena riba","oss-aion-three-questions.b695e87b19":"du atsakyti, vienas nuosavas","oss-aion-three-questions.9f5234300d":"Trečiasis klausimas ne mūsų, ir būtent tai pasakius pirmieji du tampa ką nors\n          verti.","oss-aion-three-questions.8149763299":"Atitiktis galioja, viena invarianta nepasitvirtina su savo pėdsaku.","oss-aion-three-questions.5974dafe20":"durys nubrėžtos taip pat tvirtai kaip siena","oss-aion-three-questions.392d2df212":"Modelio savininkas laiko tą klausimą ir laiko jį nuolat. Joks čia esantis sertifikatas\n                jo neliečia, ir nė vienas iš jų to tyliai neimplikuoja.","oss-aion-three-questions.c27ccdf78d":"fizinis pagrįstumas","oss-aion-three-questions.dbbe530d6c":"ar šis modelis atspindi realų pasaulį","oss-aion-three-questions.44b8fe96f9":"1 žingsnis 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"kontrpavyzdys, pakeltas ir padidintas","oss-aion-three-questions.ed4bde3030":"kilpos slėgis išlieka mažesnis nei 8 bar","oss-aion-three-questions.4676659f50":"aplenkimo vožtuvas niekada neatsidaro du kartus per vieną žingsnį","oss-aion-three-questions.045757b8af":"grįžtamojo srauto temperatūra išlieka mažesnė nei 95 °C","oss-aion-three-questions.24fa71fdd6":"invariantų patikros","oss-aion-three-questions.846ee97ae5":"ar nurodytos invariantos galioja viso vykdymo metu","oss-aion-three-questions.17f80cae31":"Vykdymas atkuriamas iš to, ką deklaruoja sertifikatas.","oss-aion-three-questions.ba01008496":"t = 4,20","oss-aion-three-questions.ff4e31b5a8":"x0 = 2,5","oss-aion-three-questions.a74e1bd7e0":"t = 1,75","oss-aion-three-questions.63df9305f6":"tolerancija 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"žingsnis 0,01 s","oss-aion-three-questions.8c30aa1c6e":"vykdymo atitiktis","oss-aion-three-questions.b3c58a82bd":"ar deklaruotas modelis ir konfigūracija sukūrė šią trajektoriją","oss-aion-three-questions.5d3f336ca9":"maiša blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"chiller-loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"modelis ir FMU","oss-aion-three-questions.b697dd615a":"du iš trijų","oss-aion-three-questions.f14f15b304":"trajektorija","oss-aion-three-questions.f1f1425b65":"parametrai","oss-aion-three-questions.910e029098":"iliustracinis","oss-aion-three-readings.41d8442e84":"rodmenys ir jų patikimumas priklauso AION, pasirinkimas yra jūsų, ir jis yra užfiksuotas","oss-aion-three-readings.42e8a93311":"trys rodmenys, vienas sprendimas, ir jis turi autorių","oss-aion-three-readings.62b4619c99":"skaičius, kuris negali nukristi žemiau nulio","oss-aion-three-readings.48a15f3a18":"sveikasis skaičius, mažesnis už penkis","oss-aion-three-readings.ae3925651e":"ar pakartojimai yra sveikasis skaičius, skaičius ar bet kokia reikšmė?","oss-aion-three-readings.dffe60eb6a":"klausimas pateiktas","oss-aion-three-readings.fb76182a92":"paklausta, ne numanyta","oss-aion-three-readings.8c3f96fa33":"Pakartojimų turi būti mažiau nei penki","oss-aion-three-readings.e9be13f9ec":"AION iškelia dviprasmybę, o ne ją išsprendžia. Jis įvardija dviprasmybės rūšį,\n          išvardija rodmenis su kiekvieno jų patikimumu ir sąlyga, kurią kiekvienas įgyvendintų,\n          ir pateikia klausimą, įvardijantį nagrinėjamą kintamąjį. Sprendimas vis tiek priklauso\n          žmogui. Keičiasi tai, kad jis priimamas vieną kartą, įrašytas, to, kuris yra\n          atsakingas už reikalavimą, o ne to, kuris atsitiktinai atliko konversiją.","oss-aion-three-readings.f26c9b4ff8":"Mažiau nei penki bandymai, skaičiuojant sveikuosius. Arba mažiau nei penki,\n          kai keturi su puse yra teisėta reikšmė. Arba skaičius, kuris taip pat negali nukristi\n          žemiau nulio. Tai trys skirtingos taisyklės, ir skirtumas galiausiai išryškėja kaip\n          incidentas. Įprastu darbo būdu vieną iš jų pasirinko tas, kuris atliko\n          vertimą, ketvirtadienį, niekam nesakęs.","oss-aion-three-readings.7b5121a8f0":"„Pakartojimų turi būti mažiau nei penki.“","oss-aion-three-readings.ffe5d68fe6":"Kažkas pasirinko vieną.","oss-aion-three-readings.55b8b0b398":"Jūsų sakinys turėjo dvi reikšmes.","oss-aion-three-readings.2d1501c7e4":"Tylus sprendimas, kurio niekas nepriėmė","oss-aion-three-readings.bec998cdfe":"bet koks skaičius, įskaitant keturis su puse","oss-aion-time-left.88430838dd":"niekam nieko netikėto","oss-aion-time-left.227b19b5aa":"Tik sumažėjo, kai buvo priešais žmogų, kuris dar galėjo į tai reaguoti.","oss-aion-time-left.ac61a8b97d":"Skaičius buvo aštuntą dieną ir niekada netapo garsesnis.","oss-aion-time-left.0703308f0f":"Šiame lape nėra jokio pavojaus signalo ir niekas neparaudo. Kiekvienas iš šių yra ta pati\n          sakinys, skaitomas kitą dieną.","oss-aion-time-left.6222c927fd":"Jis eina pas žmogų, kuris pasirašo pavėluotus atsakymus, su data, ir jie tau\n            atsako.","oss-aion-time-left.4dfda36be9":"Praėjo 14 dienų","oss-aion-time-left.d5f128da73":"atsakymas turėjo būti pateiktas šešioliktą","oss-aion-time-left.58cdff89f9":"kitas prašymas, perskaitytas po datos","oss-aion-time-left.6a7651b700":"trisdešimt dienų po to, kai paklausei","oss-aion-time-left.813d27411f":"atsakymas turi būti pateiktas","oss-aion-time-left.d8b0301347":"paprašei kopijos to, ką jie turi apie tave","oss-aion-time-left.4c3d95bf6a":"prašymas","oss-aion-time-left.795bcac29d":"šiandien liko keturios dienos","oss-aion-time-left.56ff55acfb":"vienas terminas, perskaitytas keturis kartus","oss-aion-time-left.acafbd7541":"paskambink jiems šiandien","oss-aion-time-left.148b21034f":"Liko 4 dienos","oss-aion-time-left.f165b88925":"primink šią savaitę","oss-aion-time-left.b85bbd50bd":"Liko 8 dienos","oss-aion-time-left.4a8b5bac9b":"vis dar gerai","oss-aion-time-left.67f9059ac5":"Liko 14 dienų","oss-aion-time-left.ca372a8fb7":"įrašyk į dienoraštį","oss-aion-time-left.16f29c69b8":"Liko 22 dienos","oss-aion-time-left.910e029098":"iliustratyvus","oss-aion-two-routes.89c24f999c":"kitas nagrinėja įrodymus","oss-aion-two-routes.3a5d844ae5":"vienas kelias juos atkuria","oss-aion-two-routes.028a6cf2d7":"jų sertifikatas","oss-aion-two-routes.5c837ce426":"jų sistema","oss-aion-two-routes.27f65e5e47":"ko jai reikia","oss-aion-two-routes.d0765bbac1":"PALYGINTI","oss-aion-two-routes.91f8c088aa":"ir ko kiekvienam reikia","oss-aion-two-routes.8930c1c9b8":"Du būdai įsitikinti","oss-aion-two-routes.d56d985300":"patikrinti","oss-aion-two-routes.e1fc5057de":"atkurti","oss-aion-two-routes.b028b89ea7":"jų pagalba","oss-aion-two-routes.999464a52f":"neatkurta","oss-aion-two-routes.9b9252883d":"pats sertifikatas","oss-aion-two-routes.4dc537c80f":"teiginys, įvestys ir sutartis","oss-aion-two-routes.ad95c10298":"jų tiksli versija ir įrenginys","oss-aion-two-routes.cfd05bd2f2":"jų licencija","oss-aion-value-grid.6cc3364a24":"Proof attached","oss-aion-value-grid.4910ee0aea":"Evidence with every result","oss-aion-value-grid.411bf64817":"The result and its compact certificate travel together, so evidence is created when the decision is made rather than reconstructed during review.","oss-aion-value-grid.05f9c0dc34":"Checked by another engine","oss-aion-value-grid.eea79d1484":"A separate verifier walks the certificate against the original premises. The model does not get to grade its own answer.","oss-aion-value-grid.cbd17d59ba":"Portable formats","oss-aion-value-grid.5e6cba1721":"Evidence outlives the runtime","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe, and the unified proof form keep the certificate readable after a model, solver, or service has changed.","oss-aion-value-grid.a60bdd7985":"Verifies offline","oss-aion-value-grid.ebfb47f4ba":"No live dependency","oss-aion-value-grid.6144cbfcab":"Checking a proof needs no network, no account, and no live connection to us. The thing you depend on at audit time has no recurring dependency on a supplier.","oss-aion-value-grid.26ef011865":"EU sovereignty","oss-aion-value-grid.23672ea195":"European, and yours to run","oss-aion-value-grid.26e89e1455":"Built in Europe and runnable entirely on hardware you control. Your evidence and your decisions never have to leave a jurisdiction you approve.","oss-aion-value-grid.66ac329042":"De-risked audits","oss-aion-value-grid.9c8c22f54d":"Evidence another party can test","oss-aion-value-grid.6572cc2be6":"When a regulator or auditor asks how a decision was reached, you hand over a certificate anyone can check, instead of relying on a supplier promise that you cannot test.","oss-aion-value-grid.6b5eb5323e":"Decision evidence","oss-aion-value-grid.870c4d024a":"Independent verification","oss-aion-value-grid.93e2c4e5c4":"Start with one decision path and keep its certificate through review.","oss-aion-value-grid.217fc9a42f":"certificate · checker · archive","oss-aion-what-you-got.2b69c8154b":"ir kiekvienas klausimas kelia","oss-aion-what-you-got.7f629c0e9f":"keturi dalykai, kuriuos gaunate","oss-aion-what-you-got.7a9727c9f8":"jūsų pačių patikrinami","oss-aion-what-you-got.bc1c663195":"ką gaunate","oss-aion-what-you-got.0da9f51943":"PASTEBĖTA","oss-aion-what-you-got.8becd8f7be":"ir ką tai išsprendžia","oss-aion-what-you-got.7d3574bfa5":"Ką tiekėjas perduoda","oss-aion-what-you-got.0306f977ae":"Kuris build'as tai pasakė. Ne ką jis tikrino ar kaip.","oss-aion-what-you-got.fd12863535":"ne","oss-aion-what-you-got.7b0c210f52":"Versijos numeris","oss-aion-what-you-got.f78a920a78":"Jų pačių aprašytas procesas, jų pačių žodžiais.","oss-aion-what-you-got.301941b624":"jų pasakojimas","oss-aion-what-you-got.7591a35462":"Metodikos pastaba","oss-aion-what-you-got.5eec058df8":"Kažkas atsako už žodį, o ne už argumentus.","oss-aion-what-you-got.28fde2f659":"tik pavadinimas","oss-aion-what-you-got.7573daa505":"Parašas","oss-aion-what-you-got.94ebda1bd3":"Saugu, įmanoma, nuoseklu. Vienas žodis, be paaiškinimų.","oss-aion-what-you-got.c99c8e4a9b":"Išvada","oss-aion-where-it-runs.1ba0334f9f":"trečiojo nėra","oss-aion-where-it-runs.03e2311510":"jūs sukonfigūruojate abu","oss-aion-where-it-runs.076d156600":"viduje nėra ko konfigūruoti","oss-aion-where-it-runs.f16ac53550":"jūsų konfigūruoti","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"ir nieko daugiau neišeina","oss-aion-where-it-runs.6cdd4e486a":"Dvi konfigūruojamos ribos","oss-aion-where-it-runs.39616fc267":"Programa, kurią įdiegiate, veikianti kaip vietinis procesas.","oss-aion-where-it-runs.00bfadf39c":"Išorinis įrodymų teikėjas","oss-aion-where-it-runs.801db3efcd":"Tik adresai, kuriuos nustatote, ir tik tada, kai juos nustatote.","oss-aion-where-it-runs.d296df3171":"Klasteris","oss-aion-where-it-runs.67204bf5d4":"nėra maršruto","oss-aion-where-it-runs.91984fcc1b":"Prižiūrimas modelis","oss-aion-where-it-runs.b8b252650e":"visai nėra kliento","oss-aion-where-it-runs.ee39579eba":"Numatytasis build","oss-aion-where-it-runs.d49fe2c403":"neįdiegta","oss-aion-where-you-meet-it.2a85ffb07a":"Vieta keičiasi, pažadas ne: priežastis, kurią galite perskaityti, ir patikra, kurią gali atlikti kiekvienas.","oss-aion-where-you-meet-it.9a8413cd88":"AION niekada nevykdysite patys. Tai yra vietos, kuriose jis gali tyliai dirbti už jus.","oss-aion-where-you-meet-it.33fb502270":"Trys kasdienės akimirkos","oss-aion-where-you-meet-it.40e32f89eb":"Bet kuris jūsų pasitikintis asmuo gali patikrinti kvitą ir jį patvirtinti.","oss-aion-where-you-meet-it.03ef5e1328":"Kai įstaiga naudoja mašiną jūsų bylai tikrinti, jums priklauso priežastis, kurią galite perskaityti ir kvestionuoti.","oss-aion-where-you-meet-it.2390278256":"Tikrinama išmoka arba forma","oss-aion-where-you-meet-it.2e92ab22dd":"Valstybinėje įstaigoje","oss-aion-where-you-meet-it.0bd84e3a14":"Priežastis užrašoma, o ne įstrigusi sistemoje.","oss-aion-where-you-meet-it.c4a1d64452":"Piniginiai sprendimai, priimti mašinos, gali atrodyti kaip uždarytos durys. Kvitą jas atveria aiškiais žingsniais.","oss-aion-where-you-meet-it.e17885868a":"Apskaičiuojama paskola arba grąžinama suma","oss-aion-where-you-meet-it.5e45cf57a0":"Banke","oss-aion-where-you-meet-it.e2c536b2b3":"Galite paprašyti kvito ir parodyti jį savo gydytojui.","oss-aion-where-you-meet-it.0b56f170bf":"Kai mašina turi įtakos jūsų gydymui, turėtumėte matyti priežastį, o ne tik rezultatą.","oss-aion-where-you-meet-it.0332b7d1b7":"Kompiuteris padeda nuspręsti dėl jūsų priežiūros","oss-aion-where-you-meet-it.4046c6355b":"Ligoninėje","oss-aion-which-did-you-mean.1ff884a89e":"paklausta, ne atspėta","oss-aion-which-did-you-mean.2eb1c230f2":"Pasirinkimas priklauso tam, kas parašė sakinį.","oss-aion-which-did-you-mean.d94da790d1":"Dvi įprastos reikšmės, vienas atvejis tarp jų.","oss-aion-which-did-you-mean.3b4d06d361":"Nebuvo užduotas joks klausimas, ir niekam nebuvo pasakyta, į kurią iš dviejų jis atsirėmė.","oss-aion-which-did-you-mean.93a161cede":"Valandos skaičiuojamos sveikomis. Pasirinkta ketvirtadienio popietę kažkieno, kam reikėjo\n                išsiųsti.","oss-aion-which-did-you-mean.4b73aced85":"galioja","oss-aion-which-did-you-mean.17e120a269":"Atšaukite, jei vėlavimas ilgesnis nei viena valanda.","oss-aion-which-did-you-mean.ddf20b2d3c":"įprastas būdas, kaip tai sprendžiama","oss-aion-which-did-you-mean.3f42a39277":"kaip iš tikrųjų vyksta","oss-aion-which-did-you-mean.1e9a34969e":"sveikos valandos","oss-aion-which-did-you-mean.9c2a4532bb":"Kai parašėte daugiau nei vieną valandą, ar turėjote omenyje sveikas valandas, ar vėlavimą, kaip jis\n                iš tikrųjų vyksta?","oss-aion-which-did-you-mean.280b34e1e5":"Jūsų traukinys vėluoja septyniasdešimt penkias minutes, ir užsakymas dingsta, kol dar\n                    nenusprendėte, ar vis dar norite keliauti.","oss-aion-which-did-you-mean.97e4112012":"Vėlavimas yra toks ilgas, koks iš tikrųjų yra. Valanda ir ketvirtis yra daugiau nei\n                    valanda.","oss-aion-which-did-you-mean.c5d620cfa2":"antra reikšmė","oss-aion-which-did-you-mean.466780685c":"Jūsų traukinys vėluoja septyniasdešimt penkias minutes, ir niekas neatšaukiama. Jūs laukiate\n                    platformoje traukinio, kuris vis dar atvyksta.","oss-aion-which-did-you-mean.6b67a39030":"Valandos skaičiuojamos sveikomis. Valandos ir ketvirčio vėlavimas skaičiuojamas kaip viena valanda,\n                    o viena valanda nėra daugiau nei viena valanda.","oss-aion-which-did-you-mean.9cf85c69a8":"pirma reikšmė","oss-aion-which-did-you-mean.ef52f97a5b":"daugiau nei viena valanda","oss-aion-which-did-you-mean.371c6d7efd":"Atšaukti, jei vėlavimas yra","oss-aion-which-did-you-mean.887640fa01":"jūs parašėte","oss-aion-which-did-you-mean.3650db40be":"laukiama jūsų atsakymo","oss-aion-which-did-you-mean.ff312b91d2":"ką turėjote omenyje","oss-aion-which-did-you-mean.6f8f8e9f76":"tada","oss-aion-which-did-you-mean.910e029098":"iliustracinis","oss-aion-your-corpus.a54df5506a":"dvi savaitės, su rašytiniu rezultatu","oss-aion-your-corpus.ee646eb7cc":"Paleiskite tą patį tekstyną su tuo, ką naudojate šiandien, ir padėkite abi ataskaitas vieną šalia\n            kitos.","oss-aion-your-corpus.f2d4df122d":"Šešiasdešimt dvi iš šešiasdešimt keturių, jūsų mašinoje, pagal jūsų limitą.","oss-aion-your-corpus.8ff7db55b1":"šis limitas","oss-aion-your-corpus.8ada74cbb4":"ši mašina","oss-aion-your-corpus.b2ed177f82":"šis tekstynas","oss-aion-your-corpus.71e1422875":"funkcija nuo","oss-aion-your-corpus.94ef1b7ae8":"iš 64 teisingų","oss-aion-your-corpus.2ce97993d5":"dar nėra verdikto","oss-aion-your-corpus.90326d4307":"praėjo 41 s","oss-aion-your-corpus.69bb8da1c5":"vis dar veikia","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"atsakymas neįrašytas","oss-aion-your-corpus.72330c3954":"16 GB adresų erdvė","oss-aion-your-corpus.b4f0923eae":"16 GB vienam paleidimui","oss-aion-your-corpus.ff367b6b79":"adresų erdvės limitas","oss-aion-your-corpus.d1ea89e714":"32 branduoliai, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"iliustracinis paleidimas","oss-aion-your-corpus.e380724f89":"vienas apribotas, vienas vis dar veikia","oss-aion-your-corpus.f6f66c95d6":"Jūsų tekstynas, vietoje","oss-aion-your-corpus.8d95729188":"apribotas","oss-aion-your-corpus.7817c52b25":"mašina","oss-aion-your-corpus.d95f464bc9":"egzemplioriai","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"tekstynas","oss-aion-your-sentence-parts.8e7ed848f6":"vis tiek galite jį perskaityti","oss-aion-your-sentence-parts.78c48f428a":"jūs jį parašėte","oss-aion-your-sentence-parts.c569c19f0b":"Perskaitykite dar kartą, jame pateikiama ta pati taisyklė. Nieko tarp jų nepasikeitė.","oss-aion-your-sentence-parts.43015fadc4":"Niekam neturėtų būti taikomas dvigubas mokestis už tą pačią prekę tą patį mėnesį.","oss-aion-your-sentence-parts.a14707f800":"Jūsų sakinys, nepakeistas","oss-aion-your-sentence-parts.2ccea15065":"po metų","oss-aion-your-sentence-parts.a80d4309ae":"Pranešimo viršuje, virš dalies, kuri nebuvo įvykdyta.","oss-aion-your-sentence-parts.f33c43e8f9":"Jūsų sakinys, cituojamas","oss-aion-your-sentence-parts.f0f795235c":"diena, kurią jis taikomas","oss-aion-your-sentence-parts.fe74b20e8f":"Kaip įvedėte, su viena paprasta eilute, nurodančia, kaip jis buvo perskaitytas.","oss-aion-your-sentence-parts.358b1cbc5d":"Jūsų sakinys, išsaugotas","oss-aion-your-sentence-parts.13211e2743":"diena, kurią jį rašote","oss-aion-your-sentence-parts.27a0362e59":"JŪSŲ ŽODŽIAI","oss-aion-your-sentence-parts.d37598cc12":"trimis skirtingomis dienomis","oss-aion-your-sentence-parts.32a5ee7a1f":"Tas pats sakinys","page-breadcrumb.c766e66518":"Naršymo kelias","page-toc.7e439c353e":"Šiame puslapyje","section_st_a1_display-split.7c9a7c0610":"Išsamiau","section_st_f1_cta-dark.90e40d5043":"Pradėti","spindle-extras.127edee78d":"PASIRAŠYTA","toc-rail.f5cbdf6bfb":"Turinys"}