{"block_close_oss.c33fd1fe9c":"Kopiena un ekosistēma","core-extras.96d330537a":"Pamata IR","core-extras.bee831a169":"Substrāts","core-extras.61a0822826":"Lietotnes uz Core","core-extras.15438cc098":"nav atbalstīts","core-extras.ad565d9d01":"Funkcija","core-extras.0155bf03e5":"Segmentu leģenda","core-extras.8b7110078e":"Algoritmi grupē pēc datu veida","core-extras.25ab4276a6":"Ritināma iespēju matrica","open-source-aion.81f3904118":"Zināšanu pārvaldība, kas veidota uz AION stila izcelsmes pierādījumiem.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Produkti","open-source-aion.de5ec3713e":"Merkle sertificējams parsētājs, ko AION izmanto ievades apstrādei.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Pārbaudīta izpildes vide, kas savieno AION sertifikātus ar izpildes transkriptiem.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Notikumu izcelsmes pierādījumi sistēmām: hash ķēdes ieraksti par to, kas notika, nevis spriešanas soļi lēmuma iekšienē.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Turpināt izpēti","open-source-aion.75e393a1ac":"Izpētīt saistītos projektus","open-source-aion.f9743247fa":"Lasīt dokumentāciju","open-source-aion.ef0fd4ccef":"Pārbaudīt pierādījuma ceļu","open-source-aion.77453cde44":"Palaidiet piemēra sertifikātu un pārbaudiet to ar aion check, cvc5 vai jebkuru LRAT saderīgu pārbaudītāju, tiklīdz repozitorijs tiks publicēts. Publicēšana plānota 2026. gada 1. septembrī, un instalēšanas instrukcijas nāks līdzi.","open-source-aion.dd58b70279":"Pierādījums nāk kopā ar atbildi","open-source-aion.90e40d5043":"Sākt","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Atvērtais kods","open-source-aion.close.accent":"lai ikviens to var pārbaudīt bez tevis","open-source-aion.close.panel.title":"Ko sertifikāts satur","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, astoņi lauki","open-source-aion.close.panel.row.1.label":"Ģimenes","open-source-aion.close.panel.row.1.value":"Deviņas reģistrētas un paplašināmas","open-source-aion.close.panel.row.2.label":"Pārbaude","open-source-aion.close.panel.row.2.value":"Ierobežota, bez licences, bez atkārtošanas","open-source-aion.close.panel.row.3.label":"Kur tas darbojas","open-source-aion.close.panel.row.3.value":"Tavā vietnē, nekas neiziet uz āru","open-source-aion.close.panel.foot":"Sertifikāts paliek mazs un pārbaudāms arī pēc gadiem.","open-source-aion.ea722c81af":"Eiropas","open-source-aion.26803e587f":"Revīzijas laikā","open-source-aion.15edfb4da4":"Ražots","open-source-aion.75f527181b":"Bezsaistē","open-source-aion.f8c94a3b4b":"Kas tas ir","open-source-aion.6b5eb5323e":"Bezsaistē, lineārā laikā","open-source-aion.a49b62e167":"Precīzi racionālie skaitļi","open-source-aion.45f053dc73":"Aritmētika","open-source-aion.4329e5da7b":"11 loģiskās jomas","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Pierādījumu formāti","open-source-aion.87415af880":"Pierādījumu sertifikāti","open-source-aion.9c8c22f54d":"Pierādījumi, nevis apliecinājumi","open-source-aion.44ab85a252":"Izcelsme","open-source-aion.3271776def":"Bezsaistē, bez pakalpojuma","open-source-aion.03128bed90":"Verifikācija","open-source-aion.4f1428fca3":"Aparatūra, ko tu kontrolē","open-source-aion.5703321d0e":"Darbojas uz","open-source-aion.978e9ec250":"Standarta, pārnēsājams","open-source-aion.3229609e15":"Verifikācija","open-source-aion.cba0624eb5":"Verifikācijas ieraksts","open-source-aion.26ef011865":"Skatīt, kur tas darbojas","open-source-aion.6f696724c6":"Skatīt verifikācijas ceļu","open-source-aion.a3f1131acb":"AION ir pierādījumu infrastruktūra AI lēmumiem, publiska no 2026. gada 1. septembra. Tā izdod kompaktu pierādījumu blakus AI rezultātam, un atsevišķs pārbaudītājs iziet cauri šim pierādījumam pret sākotnējām premisām un pieņem vai noraida to bez modeļa, risinātāja sesijas vai tīkla.","open-source-aion.a2831cb958":"neatkarīgi pārbaudītiem AI lēmumiem","open-source-aion.78db6d1920":"Pierādījumu infrastruktūra","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Nekad vienkārši neuzticies","open-source-aion.4c1c703b94":"Būtība","open-source-aion.2518be9b9c":"Nav nepieciešams","open-source-aion.4ab2910209":"Tavs konts","open-source-aion.3477f4d91d":"Tā pati atbilde","open-source-aion.d7e70b6e08":"Tas pats jautājums","open-source-aion.930888ee28":"Nav interneta","open-source-aion.d072f5db48":"Vajadzību pārbaude","open-source-aion.576347ec82":"Eiropa","open-source-aion.eeffc514bd":"Nē, citi to izmanto jūsu vietā","open-source-aion.cef1deea41":"Jūs to veidojat","open-source-aion.64ae43e8fe":"Pamatojuma pārbaude","open-source-aion.fdd1e56642":"Saņemšanas apliecinājums atbildēm","open-source-aion.704869f20f":"Vienkāršiem vārdiem","open-source-aion.658a8547d7":"Vai tas ir droši?","open-source-aion.06c805023d":"Iemesls, ko varat paņemt līdzi","open-source-aion.e92ed103c2":"AION pievieno pārbaudāmu saņemšanas apliecinājumu AI atbildei. Jūsu asistents var pateikt, vai pamatojums ir ticams, neprasot jums saprast mehānismu, un apliecinājumu var pārbaudīt vēlreiz bez interneta savienojuma. AION ir publiski pieejams no 2026. gada 1. septembra, kad tiek publicēta arī tā dokumentācija.","open-source-aion.336366183a":"AI lēmumiem","open-source-aion.41cbc965ef":"Pārbaudāms apliecinājums","open-source-aion.4eabc3bc63":"CDCL ar teoriju spraudņiem","open-source-aion.68836c550e":"Kodols","open-source-aion.0cdb7c9a36":"Lineārs laiks, bezsaistē","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teorijas","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Valoda","open-source-aion.942587e61e":"Projekta lapa","open-source-aion.d4a74b503a":"Lasīt dokumentāciju","open-source-aion.b683cc6ce4":"AION atver programmu 2026. gada 1. septembrī: pierādījumu infrastruktūra AI lēmumiem, ar repozitoriju un tā dokumentāciju, kas publicēti kopā. Pēcnotikumu skaidrojumi tikai liek jums uzticēties vēl vienam aprakstam no tās pašas sistēmas. AION tā vietā izsniedz pierādījuma sertifikātu, ko jebkurš pārbaudītājs var pārbaudīt bezsaistē, lineārā laikā, bez risinātāja.","open-source-aion.8f2ee5be83":"AI rezultāti","open-source-aion.376868cca2":"neatkarīgi pārbaudītiem","open-source-aion.hero.source":"Jautājiet par laidienu","open-source-aion.45471af790":"Notikumu izcelsme","open-source-aion.ac9835d4bd":"Izpildes atšifrējumi","open-source-aion.24f43d4446":"Sintakses koki","open-source-aion.f6b229e148":"Jūsu faili, jūsu aparatūra, jūsu skaitļi un pārbaudītājs, kas lasa svešinieka pierādījumu","open-source-aion.144fbc96c6":"SKAITĪTS","open-source-aion.719075bb86":"PĀRSŪTĪT UN RISINĀT","open-source-aion.8f84ba12df":"JŪSU PAŠU FAILI","open-source-aion.8f088dbc07":"Tas ir divu nedēļu novērtējums ar rakstisku iznākumu, nevis demonstrācija. Korpuss ir jūsu, aparatūra ir jūsu, skaitļi ir jūsu, lai publicētu iekšēji, un nekas šajā vingrinājumā neprasa sarunu ar mums. Ietvars tiek piegādāts kopā ar repozitoriju, tāpēc izpildi var sākt tajā dienā, kad tiek piešķirta piekļuve.","open-source-aion.36ef075645":"Pareizība nav AION pašvērtējums. Katram failam standarta korpusā ir statuss, kas tam ir zināms, un ietvars salīdzina AION atbildi ar šo anotāciju katrā gadījumā atsevišķi, tāpēc skaits beigās ir rezultāts pret norādīto pamatpatiesību. Adrešu telpu katrā izpildē var ierobežot, kas neļauj vienam patoloģiskam failam paņemt līdzi mašīnu.","open-source-aion.e5bce47d50":"Ko pilotprojekts sniedz","open-source-aion.680f97998b":"AION piegādā etalonu ietvaru, tāpēc skaitļi, ko citējat biznesa gadījumā, ir tie, ko jūsu pašu faili radīja jūsu pašu aparatūrā. Norādiet to uz korpusu, un tas ieraksta parsēšanas laiku, risināšanas laiku un maksimālo rezidento atmiņu katram gadījumam, pēc tam izdrukā skaitu, cik atbilžu bija pareizas. Izpilde atkārtojas uz tā paša korpusa, tāpēc otru novērtējumu var novietot blakus pirmajam rindiņu pa rindiņai.","open-source-aion.2d5f8acea9":"un nolasiet skaitļus atpakaļ","open-source-aion.5586707b63":"Vispirms palaidiet savus failus","open-source-aion.67ec8d614c":"Pirms apņematies","open-source-aion.55744ee096":"Pat ar visu to kāds apstrīdēs rezultātu. Tam ir vajadzīgs ceļš, nevis sapulce","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"SKATĪTS TIEŠRAIDĒ","open-source-aion.24538c3986":"REZERVE, NEVIS TRAUKSME","open-source-aion.368f25d10d":"Kaut kur pirms tā pēdējā bija diena, kad darbs vēl bija pēcpusdienas apjomā, un tā ir diena, ko vadītājs vēlas atzīmēt, jo katra iespēja pēc tās maksā vairāk. Rezerves lasīšana katru dienu ir tas, kā šī diena tiek atrasta.","open-source-aion.c5701049a8":"Ziņojumam ir īpašnieks, nevis rinda, un katra rindiņa tajā nozīmē citu darbu ar citu steidzamību. Viens ir pabeigts un neprasa nekādu rīcību no neviena. Vienam ir atlikušas četras dienas, kas padara to par šīs nedēļas plānu, nevis šodienas. Vienam ir atlikusi viena diena, kas padara to par šī rīta darbu. Viens ir nokavēts jau divas nedēļas, kam nepieciešams vārds un teikums, kas izskaidro plaisu.","open-source-aion.26435b9406":"Jebko ar termiņu var novērot, kamēr tas darbojas, un AION ziņo atlikušo vietu kā parakstītu skaitli, nevis kā ieskaitīts/neieskaitīts. Atbildes logs ar četrām atlikušajām dienām. Saglabāšanas periods divas nedēļas pēc datuma, kad tam vajadzēja beigties. Tas ir operatīvs rādījums, uz kura kāds var reaģēt šorīt. Skaitlis mainās katru dienu, tāpēc ziņojums tiek lasīts kā rezerve, nevis kā trauksme.","open-source-aion.f49579b8d6":"pirms tas kļūst par pārkāpumu","open-source-aion.0e185152c8":"Jūs lasāt rezervi katru dienu","open-source-aion.bc09e774e9":"Aktīvās saistības","open-source-aion.cff8079f65":"Ieraksti atbild uz jautājumiem pēc fakta. Dažas saistības ir jānovēro, kamēr tās darbojas","open-source-aion.127edee78d":"PARAKSTĪTS","open-source-aion.b1c1ba1af8":"SARAKSTS","open-source-aion.8d27ef68f5":"SEPTIŅI VAR MAINĪTIES","open-source-aion.c84f34cb7c":"Atribūcija ir otrs mehānisms, nevis vēl viena tā paša ieraksta kolonna. Paraksts tiek piemērots atvasināšanas secībai, tāpēc tas, kurš radīja rezultātu, saglabājas, mainoties darbuzņēmējam, un divas identiskas atbildes no diviem piegādātājiem paliek atšķiramas. Tas ir spēkā pat tad, ja abas tika radītas no tiem pašiem deklarētajiem ievadiem.","open-source-aion.a76201631f":"Katra šī saraksta rindiņa nosauc komponentu, kas mainījās, un aiz tā esošais saglabātais sertifikāts ir pilnīgs, tāpēc atkārtota pārbaude ir izpilde, nevis rekonstrukcija. Alternatīva, kas ir lielākajai daļai organizāciju, ir izvēle starp visu atkārtotu pārbaudi un neko neatkārtotu pārbaudi, un praksē šī izvēle vienmēr tiek izdarīta vienādi.","open-source-aion.5c82441a97":"Ieraksts","open-source-aion.10d9103c24":"Rezultāts, kas tika pieņemts pagājušajā gadā, tika pieņemts saskaņā ar pagājušā gada līgumu. Septiņas dažādas lietas var mainīties zem tā: pārbaudītāja noteikums, sertifikāta shēma, politika, kompilatora noteikums, izpildes līgums, modeļa versija vai simulācijas līgums. Kad viena no tām mainās, jautājumam par to, kuri pagātnes secinājumi balstījās uz mainīto daļu, ir atbilde, un atbilde ir saraksts.","open-source-aion.1829734913":"jūs saņemat sarakstu, ko pārtaisīt","open-source-aion.6d49555943":"Kad noteikums vēlāk mainās","open-source-aion.7f325552d8":"Jūsu revīzijas pieraksts ar versiju vēsturi","open-source-aion.d272027f73":"Vietējo ierakstu ir viegli saglabāt. Grūtāk ir saglabāt to jēgpilnu, kad mainās noteikumi","open-source-aion.05a898ec87":"NAV MODEĻA HOSTA","open-source-aion.c530254e40":"JŪSU VIETNE","open-source-aion.66b3dbbe8f":"NAV IZEJOŠA ZVANA","open-source-aion.8ae7a1670e":"Datu aizsardzības speciālistam, kurš atbild uz īsu jautājumu sarakstu par šo ceļu un tikai par šo ceļu: nav procesora, ko pievienot reģistram, nav pārsūtīšanas, kas jāpamato, nav modeļa nodrošinātāja ķēdē, un nekas no mūsu puses nevar būt nepieejams jūsu incidenta laikā vai mainīties zem jums atbilstoši kāda cita izlaišanas grafikam. Jūsu versija ir tā, kas darbosies arī nākamgad. Šī atbilde ir vienāda neatkarīgi no tā, vai vietne ir savienota vai atvienota no tīkla.","open-source-aion.60ad7ae15b":"Divi ceļi var šķērsot robežu, un abus varat konfigurēt jūs. Klasteris darbojas, izmantojot adreses, kuras iestatāt paši. Ārējais pierādītājs, ja vēlaties to iesaistīt, ir programma, kuru instalējat, un tā darbojas kā lokāls process jūsu pašu ierīcē.","open-source-aion.2f6a307ba7":"Operatoriem","open-source-aion.dbc08c41b9":"AION noklusējuma versijā nav izejošā klienta. Pierādījuma pārbaude, prasības tulkošana, signāla uzraudzība un meklēšana notiek tajā ierīcē, kurā tos sākāt, jūsu pašu robežās, uz aparatūras, kuru kontrolējat. Ķēdē nav mitināta modeļa un nav ceļa uz to. Tā pati versija darbojas gan atvienotā telpā, gan savienotā, jo nekas noklusējuma ceļā neprasa tīklu, lai pabeigtu darbu.","open-source-aion.90c790a231":"un nekas neveic izejošos zvanus","open-source-aion.4b9230d5db":"Viss darbojas uz vietas","open-source-aion.fe7f7fc61a":"Kur notiek darbs","open-source-aion.ed461cacdf":"Pierādījums par noteikumiem ir viena lieta. Kur darbs notiek, ir nākamais jautājums, ko cilvēki uzdod","open-source-aion.640d41197b":"VIENS IZSTRĀDĀTS","open-source-aion.29ff0fb82f":"SEPTIŅI APGALVOJUMI","open-source-aion.431d64456a":"Tas ir apgalvojums par noteikumu kopu, nevis paraugs no iepriekšējiem gadījumiem. Tūkstoš lietojumu pārbaude parāda tūkstoš lietojumu; netraucēšanas pārbaude aptver katru pāri, ko noteikumi pieļauj, izmantojot paškompozīciju, īpašību virzītu sasniedzamību un k-indukciju, ar abstrakciju, kas tiek pastiprināta, kur vien pāris parāda, ka tā bijusi pārāk vaļīga. Ja tā neizpildās, atgrieztais nav statistika. Tie ir divi lietojumi, kas ir identiski visos publiskajos laukos, atšķiras tikai tajā, par kuru jautājāt, un ar diviem dažādiem rezultātiem, kas parādīti blakus. Tas ir konstatējums, ar kuru atbilstības speciālists var strādāt tajā pašā rītā.","open-source-aion.e5e1cd5506":"Ņemiet to, ko regulatori un sūdzību iesniedzēji visbiežāk jautā, dažādos vārdos: vai šis lauks mainīja rezultātu? Uz to atbild kā īpašību divos izpildes gadījumos. Sasaistiet visus publiskos ievades datus, atstājiet attiecīgo lauku brīvu katrā pusē un pieprasiet, lai redzamais rezultāts sakristu. Ja tas vienmēr sakrīt, rezultāts nebija atkarīgs no šī lauka.","open-source-aion.227872d789":"Viens no tiem, izstrādāts","open-source-aion.5f92fd5ed1":"Sertifikāts ir interesants tikai tā teikuma dēļ, ko tas ļauj jums pateikt. Šis binārais fails atbilst šim avota grafam. Šī darba slodze darbojās ar šīm iespējām. Šai darbībai bija nepieciešamais apstiprinājums. Šis optimums atbilst šai robežai. Šī trajektorija ievēroja šos invariantus. Šis secinājums izriet no šiem ierobežojumiem. Šis rezultāts nāk no šī precīzā modeļa un parametru kopas.","open-source-aion.418a3bc2fc":"uzrādīt regulatoram","open-source-aion.7a7af31402":"Septiņi apgalvojumi, ko varat","open-source-aion.a13c1cf72d":"Ko jūs patiešām varat pierādīt","open-source-aion.20467ce964":"Lieta attiecas uz vienu lietojumu. Daži jautājumi attiecas uz diviem vienlaikus","open-source-aion.dde18d1e41":"KAM TAS PIEDER","open-source-aion.f3b603a5b2":"VĒRTĪBĀS","open-source-aion.53d2799375":"LIETA","open-source-aion.f18bb15530":"Abi ir konstatējumi, un abiem ir īpašnieks. Neviens no tiem nav pieejams no izturēts vai neizturēts. Pretpiemērs ir tas, kas jums pasaka, kuru no diviem jūs turat.","open-source-aion.d83e9c1af9":"Pretpiemērs arī izbeidz argumentus, kas citādi ilgst nedēļām, jo tas nav neviena viedoklis par to, vai noteikums ir pārāk stingrs. Tā ir lieta, kas izveidota ar reālajām vērtībām, ar kurām noteikums darbojas. Vai nu lieta ir iespējama kaut kur jūsu biznesā, un tādā gadījumā noteikums ir pareizs un sistēma ir nepareiza, vai arī lieta nevar notikt, un tādā gadījumā specifikācijai trūkst ierobežojuma, ko visi pieņēma un neviens nepierakstīja.","open-source-aion.7455444aea":"Kad noteikums neizpildās, AION atgriež konkrēto situāciju, kas to pārkāpj, izrakstītu kā prozu: kuras vērtības, kāda veida un kādus nosacījumus tās pārkāpj. Inženieris to var reproducēt, un vadītājs var novērtēt tās izmaksas, un beidzot abi strīdas par vienu un to pašu lietu.","open-source-aion.7d4873637b":"kā lietu, kas to pārkāpa","open-source-aion.aeb268fac7":"Pārkāpts noteikums atgriežas","open-source-aion.b5951203ea":"Ko kļūme jums sniedz","open-source-aion.8a9a27b8f7":"Atliek teikumi, kas var nozīmēt divas lietas, un par tiem tiek jautāts","open-source-aion.e1814a04c0":"PĀRSKATĀMS","open-source-aion.20e7dea6cd":"VIENKĀRŠS LASĪJUMS","open-source-aion.295ea7bb80":"SAGLABĀTA ANĢĻU VALODA","open-source-aion.a4abbaea33":"Tulkošana ir modeļu bibliotēka, nevis modelis, tāpēc viens un tas pats teikums vienmēr rada vienu un to pašu lasījumu, un pārskatīšana nav jāatkārto tāpēc, ka rīks mainīja savu viedokli starp vienu ceturksni un nākamo. Otrs pārskatītājs, lasot to pašu teikumu, nonāk pie tā paša nosacījuma, kas padara pārskatīšanu pārnesamu.","open-source-aion.f3689055f1":"Katrs nosacījums nāk ar vienu vienkāršas angļu valodas teikumu, kas saka, ko tas kodē, un ar daudzumiem, ar kuriem tas darbojas, katrs nosaukts ar vērtības veidu un savu apraksta rindiņu. Tātad pārskatīšanu var veikt persona, kurai pieder prasība, nevis tikai persona, kurai pieder apzīmējums.","open-source-aion.cac3da045e":"Kā tas izpildās","open-source-aion.c6b765e4cc":"Prasības raksta cilvēki, kas saprot biznesu, un tās pārvērš nosacījumos cilvēki, kas saprot apzīmējumu sistēmu, un tad abas versijas gadiem ilgi attālinās viena no otras. AION tās notur kopā: jūs rakstāt prasību kā angļu valodas teikumu, un nosacījums, kas no tās izveidots, nes jūsu teikumu līdzi. Pārskatītājs lasa abus kopā, tāpēc novirze parādās lapā, nevis incidentā.","open-source-aion.589a38f560":"personai, kas jautāja","open-source-aion.5d212c3d75":"Noteikums paliek salasāms","open-source-aion.5373332e20":"Kas var redzēt, kas tika pārbaudīts","open-source-aion.5f882ec681":"Atsauce ir noderīga tikai tad, ja noteikums, uz kuru tā norāda, ir tāds, ko jūsu pašu cilvēki var izlasīt","open-source-aion.bca8d6442c":"DARBĪGS","open-source-aion.705bc98c49":"NOSAUC NOTEIKUMU","open-source-aion.ab9f5d57e4":"NOSAUC SOLI","open-source-aion.b4ba975800":"Tieši šo nošķiršana ļauj atteikumu vispār nosūtīt piegādātājam, jo apsūdzība ir vienīgais, ko nevar klusi atsaukt attiecībās ar piegādātāju.","open-source-aion.7a47f854de":"Šī forma ir tā, ar ko auditors vai piegādātāju pārvaldnieks var strādāt, jo tā pārvērš domstarpības atsaucē. AION arī nošķir divas kļūmes, kas nāk zem viena vārda. Vai nu solis nav rekonstruējams, kas ir pierādījuma defekts un konstatējums pret tā veidotāju, vai arī solis izmanto noteikumu, kas šim pārbaudītājam nav pieejams, kas ir darbības jomas jautājums jums, nevis konstatējums pret kādu.","open-source-aion.d9469b7dda":"Kļūme, kas lasās kā verifikācija neizdevās, nav piešķirama, apstrīdama vai labojama, un tā nāk kā strīds, nevis konstatējums. AION atgriež atrašanās vietu un iemeslu: kurš solis, kurā failā, kuru noteikumu tas apgalvoja izmantot, un kas trūka, kad solis tika atkārtoti izstrādāts. Atteikumu var nosūtīt atpakaļ ražotājkomandai ar reproducējamu adresi. Ja pierādījumu nevar rekonstruēt, atbildība ir ražotājam; ja pārbaudītājam trūkst nosauktā noteikuma, tas ir darbības jomas lēmums. Tie ir dažādi apstrādes ceļi un dažāda novēršana.","open-source-aion.ccc6a09991":"ar soli un iemeslu","open-source-aion.3619f211ef":"Neizdevusies pārbaude nāk atpakaļ","open-source-aion.29801085dc":"Izvade, kurai jābūt izmantojamai","open-source-aion.57c6ba11fc":"Septiņi ražotāji uztur savu izvadi. AION standartizē aploksni un maršrutēšanu saviem pierādījumiem.","open-source-aion.f37804f36b":"VIENA APLOKSNE","open-source-aion.8a3b4bf313":"SEPTIŅI RAŽOTĀJI","open-source-aion.479f1de8ea":"Kopīgā aploksne organizācijai dod vienu reģistru, vienu saderības modeli un vienu skarto kopu, kad mainās noteikums. Katra sertifikātu saime uztur savu pārbaudītāju un atteikuma noteikumus. Jauna saime pievienojas, reģistrējot šos noteikumus un savu pārbaudītāju; AION nekļūst par ražotāju. Reģistrs ir daļa, kas aug.","open-source-aion.5b958e86c7":"Risinātājs var izdot loģiskus, optimizācijas vai laika sertifikātus. Twin un FMI rada atšķirīgu izvadi, bet pieder pie simulācijas un FMI saimes. Ražotājs norāda, kas tika izveidots; sertifikātu saime norāda, kā tiek pārbaudīts tās apgalvojums. Abi tiek reģistrēti atsevišķi, tāpēc nevar nolasīt vienu no otra.","open-source-aion.57e1cc2701":"Ko viena aploksne maina","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin un FMI ir septiņi ražotāji ar atšķirīgu izvadi, nevis septiņas sertifikātu saimes. AION to pierādījumiem dod vienu aploksni un maršrutē katru sertifikātu uz tā saimei atbilstošo pārbaudītāju. Aploksne nes ražotāju, saimi, shēmu un deklarētās ievades, savukārt saimes pārbaudītājs saglabā tehnisko nozīmi. Piegādātājs var mainīt savu ieviešanu, nemainot organizācijas pierādījumu robežu; tikai saimes vai shēmas maiņa paplašina saderības pārskatīšanu.","open-source-aion.65a41e884e":"viena aploksne pierādījumiem","open-source-aion.837663a52a":"Septiņi ražotāji, un","open-source-aion.647e0f46ec":"Septiņi ražotāji","open-source-aion.af6010147d":"Viens piegādātājs ir vienas attiecības. Interesantais jautājums ir, cik tālu tas sniedzas","open-source-aion.35ecafecfb":"JŪSU MAŠĪNA","open-source-aion.0676f9f8de":"TRĪS LIETAS","open-source-aion.dfc87eabb4":"Tas pārceļ sarunu no vietas, kur piegādātāji jūtas ērti. Jūs vairs nelūdzat viņus pārliecināt jūs un vairs nemaksājat, lai reproducētu viņu vidi. Kad jums ir šīs trīs lietas, pārbaude ir jūsu ziņā, lai to atkārtotu, kad vien vēlaties, uz jebkuras aparatūras, kuru vēlaties, arī nedēļu pēc līguma beigām.","open-source-aion.7677ed77e3":"Ir vērts būt precīzam par artefaktu, jo tas ne vienmēr ir fails. Atkarībā no saimes tas var būt fails, arhīvs, straume, parakstīts komplekts, izsekošanas pāris, liecinieks, izpildes kvīts vai strukturēts atvasinājums. Lai kāda būtu tā forma, tas vienmēr ir kaut kas, ko pārbaudītājs var izlasīt bez ražotāja klātbūtnes.","open-source-aion.a29def781f":"Kas sertifikāts patiesībā ir","open-source-aion.fdca1fef67":"Sertifikāts nav žurnāls un nav kopsavilkums. Tas ir pierādījums, ko darbs atstājis, un tas, ko piegādātājs nodod, ir trīs lietas: apgalvojums, deklarētās ievades un līgums, pret kuru tas tika izveidots, un sertifikāts, ko sistēma radījusi. Ne viņu licence, ne viņu versija, ne viņu mašīna. Šīs trīs ceļo kopā, un to pārbaudei no piegādātāja nekas vairāk nav vajadzīgs.","open-source-aion.b054d236cd":"nevis viņu programmatūru","open-source-aion.53e1575f60":"Jūs pārbaudāt sertifikātu","open-source-aion.5e40f4ba8a":"Pozīcijas maiņa","open-source-aion.b9e2767b28":"Ir ceļš, kas nav ne viņiem ticēt, ne viņu programmatūru atkārtoti palaist","open-source-aion.7d87348ad6":"JŪSU VĀRDS UZ TĀ","open-source-aion.48a5aca907":"VIŅU SISTĒMA","open-source-aion.32c3cafa08":"Tā ir pozīcija, uz kuru auditors skatās, kad jautā, kā jūs pārliecinājāties, arī saskaņā ar pierādījumu noteikumiem, piemēram, ES AI akta. AION to maina, dodot katram no šiem rezultātiem sertifikātu, ko varat pārbaudīt, bez piegādātāja reproducēšanas un bez piekļuves nekam, ko viņi uzskata par savu. Pārbaude notiek jūsu pašu mašīnā, tikai pret sertifikātu.","open-source-aion.ac90e72b2c":"Parastie ceļi abi beidzas vienā vietā. Jūs varat lūgt viņu pierādījumus, kas ir dokuments, ko viņi uzrakstīja par savu programmatūru. Vai arī varat lūgt reproducēt viņu sistēmu paši, kam nepieciešama viņu licence, viņu versija un viņu vide, un tas joprojām liek jums paļauties uz to, kas radīja atbildi.","open-source-aion.fc63c534d2":"Risinātājs saka, ka grafiks ir iespējams. AI sistēma nonāk pie regulēta secinājuma. Aģentu sistēma veic darbību jūsu vārdā. Kompilators rada drošībai kritisku artefaktu. Izpildlaiks izpilda kontrolētu darba slodzi. Simulācija apstiprina dizaina lēmumu. Digitālais dvīnis ziņo, ka darbības stāvoklis ir drošs. Katrā no šiem gadījumiem darbs notika kaut kur citur, un sekas gulstas uz jums.","open-source-aion.c9672e2ac8":"jūsu vārds ir uz atbildes","open-source-aion.925d7b4a2d":"Viņu sistēma to radīja","open-source-aion.47b025f850":"Kur atrodas atbildība","open-source-aion.905aee629b":"Aprēķins, iemesls, ko varat izlasīt, un vienāds noteikums visiem, kurus tas skar","open-source-aion.4d0ee37058":"DATUMS","open-source-aion.6ccb4a6f6a":"TAS PATS IEMESLS","open-source-aion.84adcc762b":"TĀ PATI PĀRBAUDE","open-source-aion.56c6f422d8":"Tā ir vēstule, ko kāds var uzrakstīt. Tā vietā, lai teiktu, ka sistēma izlēma, jūs varat citēt noteikumu, nosaukt datumu, nosaukt versiju un jautāt personai, kas to uzrakstīja, vai tas ir tas, ko viņi domāja.","open-source-aion.073cdea47b":"Tas ir vērts tikai tad, ja varat to redzēt, tāpēc tas, kas jums paliek rokās, ir trīs lietas, ko varat izmantot. Noteikums, parastos vārdos, ko varat skaļi izlasīt. Iemesls, kāpēc tas attiecās uz jums, citējot šo noteikumu ar jūsu pašu situāciju. Un datums, kad aprēķins tika pārbaudīts. Šis ieraksts norāda, kas to pārbaudīja un pret kuru noteikumu versiju tas tika pārbaudīts.","open-source-aion.a50f912efb":"Ko ar to varat darīt","open-source-aion.1d94c73b03":"Nododiet to pašu aprēķinu AION divreiz, un pārbaude iznāk tāpat, pirmdien un piektdien, jums un cilvēkam aiz jums rindā. Nav tā, ka visi saņem vienu atbildi, jo cilvēki nāk ar dažādām situācijām. Tas ir tas, ka pati pārbaude nemainās, un neviens jūsu gadījumu interpretē uz vietas. Pēc gada to pašu aprēķinu pārbauda tie paši rakstītie noteikumi, tāpēc saņemto atbildi joprojām var izskaidrot.","open-source-aion.fba7a52bf4":"pirmdien un piektdien","open-source-aion.77a3327a99":"Pārbaudīts tāpat","open-source-aion.cebde51ae2":"Kas jums paliek rokās","open-source-aion.a566f0cb1b":"Laiks ir viens noteikumu veids. Lielākā daļa no tiem ir vienkāršie, attiecas uz visiem","open-source-aion.29231cd04d":"LAIKĀ","open-source-aion.d89f7642e7":"NOVĒROTS","open-source-aion.5d491ce50f":"ATLIKUŠAS DIENAS","open-source-aion.c50722f442":"Tas pats lasījums darbojas arī pēc datuma, ne tikai pirms tā. Četrpadsmit dienas pagātnē ir fakts, par kuru kādam var jautāt, ar datumu, nevis sarkana atzīme, kas parādījās bez brīdinājuma.","open-source-aion.0b1cbd5f8a":"Atzīme \"izturēts\" neko nepasaka, kamēr tā nepārstāj būt \"izturēts\", un tad lētās iespējas jau ir pazudušas. Skaitlis pasaka, kur atrodaties: divdesmit divas dienas atlikušas ir piezīme dienasgrāmatā, četras dienas atlikušas ir šī nedēļa, viena diena atlikusi ir šorīt.","open-source-aion.af41b675b0":"Ko tas jums dod","open-source-aion.2ff91b62ec":"Noteikumi ar pulksteni tajos ir tie, kas cilvēkus pieviļ. Atbilde, kas jāsniedz trīsdesmit dienu laikā, atmaksas logs, periods, pēc kura kaut kas ir jādzēš. AION tos novēro, kamēr tie darbojas, un ziņo, cik daudz vietas atlicis šodien, dienu skaitā.","open-source-aion.94dc6c2b80":"ilgi pirms pēdējās","open-source-aion.6bdbc0422a":"Jūs varat redzēt atlikušās dienas","open-source-aion.37f768721f":"Termiņi, kas skar jūs","open-source-aion.e3c2d4b24a":"Darbs uz vietas nozīmē arī to, ka tas var sekot pulkstenim jūsu vietā","open-source-aion.4ace2cc9bc":"NAV KONTA","open-source-aion.c5c3055a7b":"NEKAS NENOSŪTĪTS","open-source-aion.a5b9137c2b":"PALIEK ŠEIT","open-source-aion.874bab5372":"Ja vispār ir iesaistīts savienojums, tas ir tāds, ko kāds apzināti izveidoja starp savām ierīcēm, un tas ir izslēgts, kamēr viņi to neieslēdz. Jūsu teikums tiek lasīts pēc rakstītiem noteikumiem, tajā pašā telpā, kur jūs, un atbilde nāk ar atvienotu līniju. Nekas neatstāja ierīci, lai to radītu, un nekas netika nosūtīts prom.","open-source-aion.4a03f17947":"Nav konta, nav reģistrēšanās un nav ārēja pakalpojuma, kam jābūt darbam, uzticamam vai vēl pastāvošam nākamgad, lai jūs saņemtu atbildi.","open-source-aion.f10eb79b5b":"Ko tas nozīmē jums","open-source-aion.c17d4e01b4":"Daudzi rīki atbild uz jautājumu par jums, nosūtot jūsu datus prom un gaidot atbildi. Jūsu informācija ceļoja uz uzņēmumu, kuru jūs neizvēlējāties, iespējams, uz valsti, kuras nosaukumu jūs nekad nedzirdēsiet. AION veic darbu tur, kur tas jau ir. Nekas netiek nosūtīts, jo nav ar ko sūtīt.","open-source-aion.9e50609149":"ierīcē, pie kuras atrodaties","open-source-aion.ca67037369":"Atbilde tiek aprēķināta","open-source-aion.7df600af96":"Kur nonāk jūsu dati","open-source-aion.399483042a":"Tikt jautātam ir viena puse. Otra puse ir tas, ko jums saka, kad atbilde ir nē","open-source-aion.0b5b7048ea":"JŪS IZVĒLATIES","open-source-aion.f12c755afa":"TAS JUMS JAUTĀ","open-source-aion.300453f44e":"DIVAS NOZĪMES","open-source-aion.6debd2c487":"Tas izklausās pēc nelielas pieklājības. Tā ir atšķirība starp noteikumu, kuram jūs piekritāt, un noteikumu, ko kāds uzminēja jūsu vietā, steigā, dienā, kad jūs nebijāt klāt. Minējums ir parastais veids, kā tas tiek darīts, un nevienam nekad netiek pateikts, ka tas notika. Jautāt maksā mirkli un izņem minējumu no ieraksta.","open-source-aion.6f02dd9d43":"AION apstājas un jautā. Tas citē jums atpakaļ vārdus, par kuriem nav pārliecināts, izklāsta abus lasījumus vienkāršā valodā, ievieto jautājumu ar jūsu pašu frāzi tajā un gaida. Jūs izvēlaties. Nekas netiek izlemts, kamēr jautājums ir atvērts.","open-source-aion.0ccfcd0de4":"Kas mainās","open-source-aion.b3124516ab":"\"Atcelt, ja kavēšanās ir ilgāka par vienu stundu.\" Vai septiņdesmit piecu minūšu kavēšanās ir ilgāka par vienu stundu, vai arī stundas tiek skaitītas veselās, tāpēc septiņdesmit piecas minūtes ir viena stunda, un viena stunda nav ilgāka par vienu? Abi lasījumi ir parasta angļu valoda. Tie atšķiras tieši vienā gadījumā, un tas gadījums noteikti parādīsies.","open-source-aion.4449c95cf9":"nozīmē divas lietas, tas jautā","open-source-aion.75ca04ac1b":"Ja jūsu teikums varētu","open-source-aion.2297deb89a":"Kad jūsu teikums ir neskaidrs","open-source-aion.32cf0852b8":"Teikums var nozīmēt arī divas lietas vienlaikus, un tas ir vērts, lai pie tā apstātos","open-source-aion.b5d2541ad8":"BEZ ŽARGONA","open-source-aion.3b7c198e57":"TAS ATGRIEŽAS","open-source-aion.c4cc4b9845":"SAVIEM VĀRDIEM","open-source-aion.5c9a5c3396":"Un, kad to pašu teikumu izlasa vēlreiz, tas rada tieši to pašu noteikumu, jo nekas AION sistēmā nemācās, nenovirzās un tikmēr neiegūst labāku ideju. Noteikums, kuram tu reiz piekriti, paliek tas noteikums, kuram tu piekriti, un cilvēks, kurš to saņem, lasa tavu teikumu, nevis kāda cita tā kopsavilkumu. Nekas ceļā to nepārvērš citu cilvēku vārdos.","open-source-aion.ba41f25c15":"No teikuma saglabāšanas izriet divas lietas. Tu vari pateikt, vai tas tika saprasts tajā dienā, kad to uzrakstīji, lasot to, nevis uzzinot no incidenta gadu vēlāk.","open-source-aion.c19473d784":"Uzraksti noteikumu parastiem vārdiem, un AION saglabā šos vārdus. Tas izklausās pēc nelielas pieklājības, līdz dienai, kad tas ir svarīgi: mēnešus vēlāk, kad kaut kas tiek apturēts šī noteikuma dēļ, tavs uzrakstītais teikums atgriežas skaidrojuma augšgalā, tajos vārdos, ko tu izvēlējies.","open-source-aion.4c0e51d183":"tu to pateiktu skaļi","open-source-aion.dcf65c0f8a":"Uzraksti noteikumu tā, kā","open-source-aion.e1a651b90e":"Sakot, ko vēlies","open-source-aion.beda6f7681":"Lai pārrēķinātu summu, ir nepieciešama pierakstīta summa. Tāpat ir ar noteikumu, un tavs var būt teikums","open-source-aion.ef6371cd2e":"TAS APTURAS","open-source-aion.47ce22a1f7":"SOLI PA SOLIM","open-source-aion.9195df51f1":"OTRA IZLASE","open-source-aion.b66352de76":"Apturēšana ir svarīgā puse. Jebkas var tev piekrist. Kaut kas, kas apstāsies un norādīs uz rindu, ir vērts, lai to būtu, un tāda ir ļoti maz.","open-source-aion.e04fafc8fc":"AION pārrēķina kolonnu. Ne rēķiniem, bet grūtākam darba veidam, ko mašīnas veic, kad tās izlemj, ka kaut kas ir atļauts, drošs vai neiespējams, kad tās kaut ko būvē, kad tās kaut ko dara tavā vārdā vai kad tās izstrādā, kas notiktu, pirms kāds to izmēģina. Tā nolasa darbu, ko pirmā mašīna pierakstīja, pati veic katru soli no jauna un apstājas pie pirmā, ko tā nevar panākt.","open-source-aion.b55b759c73":"Kad rēķins izskatās nepareizs, tu nestrīdies par to, vai kopsumma ir pareiza. Tu pats pārrēķini kolonnu. Ja iegūsti to pašu skaitli, kopsumma paliek spēkā. Ja apstājies pie ceturtās rindas, jo tā nedarbojas, tu vari pateikt tieši, kura rinda, un strīds beidzas vienā teikumā.","open-source-aion.59141b0dfa":"tā vietā, lai paļautos uz tavu vārdu","open-source-aion.fa22d5033b":"Kāds pārrēķina summu","open-source-aion.333a6c87f2":"izmaiņas rada ietekmēto kopu un rindu, nevis klusu pagātnes pārinterpretāciju","open-source-aion.0eecb96558":"ir pieci fakti","open-source-aion.59e22ed738":"izveidots, parakstīts, pārbaudīts, pieņemts un joprojām saderīgs","open-source-aion.d78c662e5b":"pārbaudīts, nevis pieņemts","open-source-aion.5b44284acd":"joprojām saderīgs ar","open-source-aion.cc4bc74f90":"ar līguma versiju","open-source-aion.3bb51eeea5":"pieņemts saskaņā ar","open-source-aion.72954f75cf":"ar pārbaudītāja versiju","open-source-aion.3741770a87":"pārbaudījis","open-source-aion.7fc7c8aef9":"pār atvasināšanas secības jaucējsummu","open-source-aion.d2a7817a72":"parakstījis","open-source-aion.9d7c5e8097":"ar versiju","open-source-aion.8fffa5fcb8":"izveidojis","open-source-aion.756e62f03a":"Viens rezultāts, pieci fakti","open-source-aion.2b8be4ecd3":"Atribūcija darbojas ar savu mehānismu: Ed25519 paraksts pār BLAKE3 jaucējsummu no atvasināšanas secības, ar monotonu nonci un laika zīmogu, ko var pārbaudīt pret ražotāja publisko atslēgu. Pieņemšana darbojas ar citu, nesot pārbaudītāja identitāti un versiju, kā arī līguma versiju, ko tas piešķīra. Kad kaut kas zem tā mainās, pārbaudītāja noteikums, sertifikāta shēma, politika, kompilatora noteikums, izpildlaika līgums vai modeļa versija, sertifikāti, kas deklarēja atkarību no tā, veido ietekmēto kopu un tiek ievietoti rindā, lai tos pārbaudītu vēlreiz, nosaucot mainīto komponentu.","open-source-aion.6b8169d142":"Spriedums pats par sevi ir vārds bez autora. Pieci fakti, kas parasti saplūst vienā, šeit tiek turēti atsevišķi: kurš izveidoja rezultātu, kurš to parakstīja, kas to pārbaudīja, saskaņā ar kuru līgumu tas tika pieņemts un vai tas joprojām ir saderīgs ar noteikumiem, kādi tie ir šodien. Tie ir pieci dažādi jautājumi, un četri no tiem pārdzīvo piegādātāja maiņu.","open-source-aion.2cd4b335f4":"Pārbaudītājs to pārbauda.","open-source-aion.d15fbc9566":"Nekas nav pārbaudīts.","open-source-aion.481d0fc02c":"Viss arguments","open-source-aion.ca75c84634":"Katrs sertifikāts šeit beidzas kā viens ieraksts, un ieraksts tur savus faktus atsevišķi","open-source-aion.3ecc9abb23":"PAŠPAŠAUGSTINĀMS","open-source-aion.8112bd91bc":"GAISA SPRAUGA","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Ja viena pārbaude patiešām ir pārāk liela vienai mašīnai, darbs sadalās kubos starp mašīnām ar klauzulu koplietošanu starp tām, un apkopots rezultāts tiek pieņemts tikai pēc pārklājuma pārbaudes: neviens divi kubi nedrīkst labot vienu un to pašu literāļu kopu, un tam, ko tie aptver, ir jāsaskaita līdz visai telpai, nevis gandrīz visai. Savienojums, kuram trūkst viena, ir atteikums, kas ir tā pati disciplīna kā visur citur produktā. Turklāt pārbaudītāju reģistrs un paplašināšanas API ir tas, kā sertifikātu saime, ko neviens šeit nav rakstījis, tiek pārbaudīta šeit.","open-source-aion.04cd68c7fb":"Tikai divas lietas var šķērsot robežu, un abas konfigurē tu. Klasteris darbojas pār adresēm, kuras tu iestati. Ārējais ražotājs ir programma, kuru tu instalē un palaid kā lokālu procesu. Visā ķēdē nav neviena mitināta modeļa, un nav neviena mūsu pakalpojuma, kas varētu būt nepieejams tava incidenta laikā vai mainīties zem tevis pēc kāda cita izlaišanas grafika. Gaisa spraugas īpašums pārbauda tieši tāpat kā savienots, jo pārbaudei nekad nebija vajadzīgs ražotājs.","open-source-aion.ac1913e46c":"Divi ceļi ārā, un abi ir tavi","open-source-aion.c2193fefe2":"Pārbaude ir aprēķins kā jebkurš cits, un tas, kur tas notiek, ir tavs lēmums. AION publicējas 2026. gada 1. septembrī: kad repozitorijs kļūst publisks, saisti bibliotēku, palaid komandu vai izveido pakalpojumu savā robežā. Noklusējuma būvējums nesatur izejošo klientu, tāpēc sertifikāta pārbaudei nav vajadzīgs konts, pakalpojumu sniedzējs vai ceļš ārā no mašīnas, kurā tas sākās.","open-source-aion.72d09c5994":"pakalpojums vai enklāvs","open-source-aion.f8ac38e647":"Bibliotēka, komanda","open-source-aion.604918db00":"Kur notiek verifikācija","open-source-aion.c07ebfbab5":"Arhīvs glabā nekustīgi. Pēdējais jautājums ir, kur tas viss patiesībā notiek","open-source-aion.d34941b7ce":"INDEKSĒTS","open-source-aion.79ae623ce9":"SATURA ADRESĒTS","open-source-aion.0f7d1ea9ca":"Daļa, kas ir jāizveido, nevis jāpieņem, ir indekss. Kad mainās pārbaudes kārtula, sertifikāta shēma, politika, kompilatora kārtula, izpildlaika līgums vai modeļa versija, sertifikāti, kuru derīgums bija atkarīgs no mainītās komponentes, tiek atrasti, veicot uzmeklēšanu, nevis skenējot visu un cerot. Atkarības ir deklarētas aploksnē, tāpēc skartā kopa ir vaicājums, un atkārtotas verifikācijas rinda ir tā rezultāts, ar mainīto komponenti norādītu pret katru ierakstu. Alternatīva, kas lielākajai daļai organizāciju faktiski ir, ir izvēle starp visu atkārtotu pārbaudi un neko neatkārtotu pārbaudi.","open-source-aion.144711734a":"Uzglabāšana ir noderīga tikai tad, ja lasītājs, kurš ir pārgājis tālāk, joprojām var to atvērt, tāpēc katrs ieraksts nes producenta parakstu, verifikatora identitāti un versiju, kas to pieņēma, līguma versiju, saskaņā ar kuru tas tika pieņemts, un atkarības, uz kurām tas balstās. Saderības pārbaude notiek ceļā atpakaļ.","open-source-aion.22f96be502":"Skartā kopa ir reāls indekss","open-source-aion.a1b04ec691":"Sertifikāti, kurus ir vērts glabāt, ir tie, par kuriem jums jautās pēc gadiem. AION glabā pieņemtu sertifikātu kompakti un pēc satura adreses: identifikatori kā atšķirības, atkārtoti modeļi ar garuma kodējumu, identiski apakšpierādījumi ar hešu un glabāti vienreiz, un viss adresēts pēc tā satura, nevis pēc tā, kur kāds to ievietoja. Satura adrese ļauj lasītājam, kurš ir pārgājis tālāk, atrast to pašu sertifikātu vēlreiz un pārbaudīt to otro reizi, gadiem pēc izpildes, kas to radīja.","open-source-aion.c017c017d7":"un tas paliek atkārtoti pārbaudāms","open-source-aion.2e10b84b57":"Sertifikāts paliek mazs","open-source-aion.9263a81467":"Saglabājot to, kas tika pārbaudīts","open-source-aion.1f029bacad":"Sešas saimes, un katra no tām nonāk vienā ierakstā","open-source-aion.1deb4d4a29":"TRAJEKTORIJA","open-source-aion.f8d5b44c34":"INVARIANTES","open-source-aion.52dd7acef9":"ATBILSTĪBA","open-source-aion.24d7374cb9":"To nošķiršana ir tas, kas padara pirmās divas vērtīgas. Apgalvojums, kas klusi ietver trešo, ir tas, kas neizdodas regulatora priekšā, un sertifikāts, kas nosauc savu robežu, ir tas, kas izdzīvo sanāksmē.","open-source-aion.0e4ffe42fa":"Simulācijai tiek uzdoti trīs dažādi jautājumi, un godīga atbilde par to, kuri divi ir atbildami šeit, ir visa šīs sadaļas profesionālā būtība. Izpildes atbilstība jautā, vai deklarētais modelis, parametri un konfigurācija patiešām radīja šo trajektoriju, un tas ir pārbaudāms. Matemātiskā īpašību pārbaude jautā, vai norādītās invariantas ir spēkā visā izpildes laikā, un tas arī ir pārbaudāms, un neveiksme atgriež izsekošanu, nevis spriedumu. Fiziskā derīgums jautā, vai modelis atspoguļo reālo pasauli, un neviens sertifikāts to nenosaka. Tas pieder modeļa īpašniekam, un tas pieder viņam pastāvīgi.","open-source-aion.bb70d13ca4":"Līnija, par kuru šī sadaļa ir uzmanīga","open-source-aion.ac558913f9":"Simulācijas rezultāts tiek izmantots lēmumu pieņemšanai ilgi pēc izpildes beigām. Sertifikāts nes modeļa un FMU identitāti, parametru kopu, sākotnējo stāvokli, risinātāja konfigurāciju, laika soļu vai notikumu secību, stāvokļa pārejas, veiktās invariantu pārbaudes, konverģences vai pārtraukšanas statusu, iegūtās trajektorijas hešu un pretpiemēra izsekošanu, ja īpašība neizdodas.","open-source-aion.1c9f5f0f21":"atbild tieši uz diviem no tiem","open-source-aion.242c47d00a":"Trīs jautājumi, un šī","open-source-aion.a635f9edf3":"Twin un FMI, sertificēti","open-source-aion.43f8bc442f":"Izpilde ir viena lieta, viena izpilde. Simulācija veic miljoniem no tām vienlaikus","open-source-aion.d3a968f797":"IZVADES ID","open-source-aion.d79014995c":"APLIECINĀTS","open-source-aion.2fbbf64505":"SPĒJAS","open-source-aion.51fd9d7843":"Determinisms ir tas, kas padara pārējo pārbaudāmu. Tā kā pārejas ir deterministiskas, ņemot vērā moduli, ievades un atļaujas, verifikators var tām sekot, neatkārtojot darba slodzi tās sākotnējā vidē, un divas izpildes, kas apgalvo vienu un to pašu izvades identitāti no vienām un tām pašām ievadēm, vai nu sakrīt, vai norāda uz pāreju, kur tās pārstāja sakrist. Tas praksē ir izpildlaika apliecinājums: kas notika, ar kādu pilnvaru, pārbaudāms bez atkārtotas izpildes.","open-source-aion.0d0fd79859":"Lielākā daļa jautājumu, ko uzdod par darba slodzi pēc fakta, patiesībā ir jautājumi par tās pilnvaru. Ko šī lieta varēja sasniegt, kamēr tā darbojās, un vai tā sasniedza kaut ko citu. Sertifikāts, kas nes spēju atļaujas kopā ar pārejām, atbild uz to bez žurnāla lasīšanas, un tas atbild kādam, kurš nedarbojas ar izpildlaiku.","open-source-aion.890c61e134":"Kāpēc spēju kopa ir interesants lauks","open-source-aion.1331fa2052":"Izejas statuss saka, ka darba slodze pabeidza. Izpildes sertifikāts saka, kas pabeidza: darba slodzes un moduļa identitāte, izpildlaika versija, spēju atļaujas, ko tā turēja, ievades, ko tā saņēma, deterministiskās stāvokļa pārejas, kurām tā gāja cauri, resursu ierobežojumi, kuros tā darbojās, izvades identitāte, ko tā radīja, un vai tā pabeidza vai iesprūda. Katrs no tiem ir lauks, no kura var atbildēt uz vēlāku jautājumu, bez došanās atpakaļ uz mašīnu, kas to izpildīja.","open-source-aion.65576ef482":"saskaņā ar kādām spējām","open-source-aion.74a9894f4f":"Kas notika, uz kā, un","open-source-aion.eabc461dcf":"Selvedge, sertificēts","open-source-aion.b4792818f1":"Kompilētam artefaktam joprojām ir jādarbojas kaut kur, un šī izpilde arī ir apgalvojums","open-source-aion.414cbcc9ec":"IZCELSMES","open-source-aion.24466ece94":"AVOTS UZ ARTEFAKTU","open-source-aion.c81d361198":"Tieši šī precizitāte padara artefaktu noderīgu tālākā lietošanā. Regulētā būvējumā jautājums reti ir par to, vai kompilators ir labs. Tas ir par to, vai šis binārais fails atbilst šim avota grafam šajā optimizācijas konfigurācijā, un tas ir jautājums ar atbildi, kas ceļo kopā ar artefaktu, nevis dzīvo būvējuma sistēmā, kas to radīja. Tieši to nozīmē būvējuma izcelsmes apliecinājums praksē: apgalvojums par šo artefaktu, ko var pārbaudīt bez būvējuma sistēmas, kas to radīja.","open-source-aion.6c1fd4df2b":"Deklarācija ir disciplīna. Sertifikāts neapgalvo, ka katra optimizācija bija pareiza kā viens nediferencēts apgalvojums, jo šāds apgalvojums nav ne pārbaudāms, ne patiess par jebkuru reālu kompilatoru. Tas precīzi nosauc, kādas saglabāšanas vai ekvivalences īpašības tas nosaka attiecībā uz kurām transformācijām, un verificētājs pārbauda tieši tās un neko citu neziņo.","open-source-aion.fd5ed4a1d8":"Nosaukti apgalvojumi, nevis viens visaptverošs","open-source-aion.82a76c947a":"Kompilators jums nodod artefaktu un iziešanas statusu. Kompilācijas sertifikāts nes to, par ko šis artefakts tiek uzskatīts: avota vai grafa identitāti, no kura tas radies, kompilatora un optimizācijas versiju, pielietoto transformāciju secību, tipu un formas saglabāšanu šo transformāciju laikā, atlasītos kodolus, radītā artefakta identitāti un ekvivalences vai invariantu pārbaudes, ko sertifikāts deklarē.","open-source-aion.06efebf0f5":"par avotu, no kura tas radies","open-source-aion.3f208ecc5e":"Binārais fails arī ir apgalvojums","open-source-aion.716710e273":"Kera, sertificēts","open-source-aion.89572e64cc":"Organizācija var būt sertificēta. Arī kompilators, kas uzbūvēja to, uz kā tā darbojas","open-source-aion.502114d554":"KVIŪTI","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORITĀTE","open-source-aion.965738574a":"Vērtība parādās, kad darbība tiek apstrīdēta. Darbplūsmas izsekojamības žurnāls ir organizācijas pašas stāstījums. Sertifikāts, ko neatkarīgs verificētājs pieņēmis saskaņā ar nosauktu līguma versiju, ir cita klases pierādījums, un tieši šo atšķirību AION ir radīts, lai izveidotu.","open-source-aion.f4652935ed":"Šis ir sertifikāts par pārvaldītu darbību, nevis par to, ko aģents domāja. Tas atrisina jautājumus, ko kāds patiešām uzdos: vai autoritāte pastāvēja brīdī, kad darbība tika izpildīta, vai vārti, kam vajadzēja noturēties, noturējās, vai apstiprinājums bija piesaistīts darbībai, nevis ziņojumam tās tuvumā, un vai stāvokļa pārejas, ko ieraksts apgalvo, ir tās, ko līgums atļauj. Tās visas ir mašīnpārbaudāmas, un nevienai no tām nav nepieciešama piekļuve modelim.","open-source-aion.be15814346":"Ko tas nosaka un ko nenosaka","open-source-aion.38d3c11f27":"Pabeigta darbplūsma ir apgalvojums kā jebkurš cits. Organizācijas sertifikāts nosaka pārvaldīto darbību, kas faktiski notika: mērķi un politikas versiju, saskaņā ar kuru tā darbojās, izveidoto organizāciju, atrisinātās lomas un autoritātes, izpildītos uzdevumus un to pārejas, izietos politikas vārtus, piesaistītos apstiprinājumus, veiktās darbības un reģistrētos kvītis.","open-source-aion.65a8805f19":"lai būtu ievērojis savu līgumu","open-source-aion.f827cfbcbf":"Darbību var pierādīt","open-source-aion.07fba05892":"Nexus, sertificēts","open-source-aion.c6fd961235":"Spriešana ir viens ražotājs. Aģentu organizācija ir grūtāk sertificējama lieta","open-source-aion.2764d46fd5":"NAV MODEĻA IZSAUKUMA","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Angļu valodas prasību priekšgals pieder arī šeit, jo spriešanas sertifikāts ir tikpat pārskatāms, cik pārskatāms ir ierobežojums tā augšgalā. Determinēta modeļu bibliotēka atgriež formālus nosacījumus, sarindotus pēc tā, cik daudz trigerfrāžu sakrita, katram norādot tā vienkāršo lasījumu un lielumus, ar kuriem tas strādā, un, ja teikums patiešām nes vairāk nekā vienu lasījumu, tas izceļ neskaidrību ar nosauktu jautājumu, nevis to klusi atrisina.","open-source-aion.c4d7d27503":"Zemāk atrodas abu veidu ražotāji, un tie tiek pieņemti caur to pašu robežu. AION pats izlemj Būla struktūru, starpību loģikas aritmētiku, bituvektoru vārdus un vienādību ar neinterpretētām funkcijām, izmantojot pilnīgu konfliktu virzītu meklēšanu ar diviem uzraudzītiem literāļiem, kaudzes sakārtotu aktivitātes heiristiku, ģeometriskām restartēm un uz aktivitāti balstītu klauzulu dzēšanu. Par neapmierināmu atbildi tas atgriež kodolu, kas nosauc, kuri no jūsu pašu ierobežojumiem bija pretrunā, nevis apraksta meklēšanu, kas tos atrada. Ārējais risinātājs darbojas kā savs process un atgriež pierādījumu, un nekas cits kā šis fails nešķērso starp tiem. Jebkurš rīks, kas izvada pierādījumu formātā, kuram AION ir pārbaudītājs, ir piemērots, tostarp cvc5, un robeža ir formāts, nevis pārdevējs.","open-source-aion.5264c1875d":"Ražotāji, vietējie un ārējie","open-source-aion.09b6611fc2":"Loom spriež. Tas, ko AION pārbauda, ir artefakts, ko spriešana atstāj aiz sevis: aktīvos ierobežojumus, pielietotos noteikumus, apakšproblēmas, kas tika nosūtītas risinātājam, sertifikātus, ko šie risinātāji atgrieza, atrastās pretrunas, robežas, kas slēdza lēmumu, un beidzot apgalvoto apgalvojumu. Skaidri skaitļošanas artefakti un deklarēti atvasinājumi, pārbaudīti kā tādi.","open-source-aion.2224f4889f":"atvasinājums, uz kura tas balstās","open-source-aion.1aceefa727":"Secinājums nāk ar","open-source-aion.40e8df9cbd":"Loom un risinātāji zem tā","open-source-aion.cbac360b09":"Būla un aritmētiskie soļi ir viena saime. Spriešana ir vieta, kur steka sākas","open-source-aion.9786d05f5a":"FUZZĒTS","open-source-aion.a9bb80378b":"NO JAUNAS ATVASINĀTS","open-source-aion.0204e8b30c":"NOTEIKUMU PA NOTEIKUMAM","open-source-aion.a43c278b96":"Klauzulas līmenī katrs papildinājums tiek atvasināts no pirmajiem principiem: pieņem, ka jaunā klauzula ir nepatiesa, izplati klauzulas, uz kurām atsaucas tās norādes, un pieprasi to pretrunu, ko šīs norādes solīja. Ja izplatīšana vien to nespēj panākt, papildinājums nonāk pie stingrāka nosacījuma par nosaukto pivotu literāli pret katru klauzulu, ar kuru šis pivots varētu sadarboties, tāpēc soli nevar apstiprināt, nosaucot pivotu, kura klauzulā nav. Formula un pierādījums tiek lasīti pa rindiņai, tāpēc pierādījums, kas ir lielāks par mašīnas atmiņu, joprojām tiek pārbaudīts no sākuma līdz galam. AION pašas komplekts ir naidīgs pret AION: norāde, kas atsaucas uz soli, kuru tai vajadzētu pamatot, divi soļi, kas balstās viens uz otru, pivots, kas ir norādīts, bet nav klāt, divas klauzulas zem viena identifikatora, beigu marķieris, kas izmantots kā identifikators, klauzulas dzēšana, kas nekad nav pievienota, un tās pašas klauzulas dzēšana divreiz. Katrs lasītājs, kas pieskaras failam, kuru rakstījis kāds cits, tiek pārbaudīts pret sēklu korpusu.","open-source-aion.13a29c20f0":"Trīs nosacījumi tiek pārbaudīti pirms noteikumu pārbaudes katram solim fiksētā secībā: vai solis atsaucas uz sevi, vai katrs skaitlis, uz kuru tas atsaucas, ir klāt, un vai kāds no tiem ir numurēts virs soļa, kas uz to atsaucas. Pirms visiem četriem fails tiek vienreiz skenēts, lai atrastu atkārtotu soļa numuru. Tikai pierādījums, kura katrs solis iztur visu to, sasniedz pēdējo nosacījumu, proti, vai fails noslēdzas ar pretrunu. Atvasinājums, kas beidzas ar joprojām stāvošiem literāļiem, ir izturējis visu pārējo un joprojām tiek noraidīts.","open-source-aion.f626b7a7da":"Zem virsmas","open-source-aion.1a95f2e67d":"Klauzulu pierādījumi LRAT saimē, kas ir SAT, un noteikumu pierādījumi Alethe formātā, kas ir SMT, ir saime ar visilgāko vēsturi cilvēkiem, kas mēģina to uzvarēt, tāpēc tā ir pareizā, ko parādīt. AION nosūta katru soli rutīnai, kas īsteno tā noteikumu, un noteikuma nosaukums, aiz kura nekas nestāv, beidz lasīšanu, nevis paiet klusējot, ar soļa numuru un noteikumu izdrukātu.","open-source-aion.8294eed416":"un nezināms noteikums to aptur","open-source-aion.9959b32cda":"Katrs solis iztur četrus testus","open-source-aion.3821e115bc":"Saime ar pretiniekiem","open-source-aion.c415bc49f1":"Vecākā saime ir tā, kurai ir visvairāk pretinieku, tāpēc tā ir tā, uz kuru vispirms jāskatās","open-source-aion.06d55361b1":"VERSIJAS","open-source-aion.bca8de5f5a":"DEVIŅAS SAIMES","open-source-aion.187b58774c":"Saimes tiek versijotas atsevišķi tā paša iemesla dēļ. Noteikumu kopums var kļūt stingrāks loģikas saimē, netraucējot simulācijas saimei, un skarto sertifikātu kopa šīm izmaiņām ir tieši tie ieraksti, kas deklarēja maināmo versiju. Šodienas deviņas ir loģika un apmierināmība, optimizācija, temporālās un hiperīpašības, spriešana, organizatoriskā, kompilācija, izpildlaika izpilde, simulācija un FMI, un krātuves integritāte.","open-source-aion.ca4a7a3c63":"Saimes reģistrēšana ir tas, kā sistēma, kas neeksistēja, kad tika rakstīts AION, kļūst pārbaudāma ar to. Aploksne jau ir tā pati, krātuves slānis un atkārtotas verifikācijas rinda jau darbojas, un tas, kas jaunai saimei jāsniedz, ir verificētājs un deklarēta noteikumu kopa. Trešās puses programmatūra, kas īsteno sertifikāta līgumu, ienāk pa tām pašām durvīm kā jebkas no mūsu puses.","open-source-aion.6581749da9":"Kāpēc tas ir reģistrs, nevis saraksts","open-source-aion.c453f0b87d":"Sertifikāta saime ir nosaukts, versijots līgums, nevis faila formāts. Katra deklarē savu identitāti un versiju, apgalvojuma veidu, ko tā nosaka, ievades, kas tai nepieciešamas, kā pierādījums vai liecinieks tiek attēlots, verifikācijas algoritmu, noteikumu kopu, ko verificētājs pieņem, tās atkarības un saderības metadatus, tās cilvēkam lasāmo attēlojumu, ja tāds ir, un savu noraidījumu taksonomiju.","open-source-aion.29a8090d97":"un kopa ir paplašināma","open-source-aion.7dd9783a82":"Deviņas saimes, viens reģistrs","open-source-aion.f4c0c73854":"Reģistrs","open-source-aion.2b6d7305db":"Neatkarīgai pārbaudei ir jāzina, kāda veida sertifikāts tas ir","open-source-aion.b4dee9d399":"NAV ATPĀRSPĒLES","open-source-aion.1ae37e9b3a":"NAV LICENCES","open-source-aion.082414b331":"IEROBEŽOTA PĀRBAUDE","open-source-aion.85bcd01276":"Nevienā no šiem gadījumiem verificētājam nav vajadzīga ražotāja meklēšana, heiristika, slēptais stāvoklis, modeļa izsaukumi vai izpildlaika vide. Tas ir tas, kas padara neatkarīgu verifikāciju pieejamu, nevis tikai vēlamu.","open-source-aion.73dc1e45ec":"Asimetrija ir tāda pati katrā jomā, un to ir vērts redzēt četras reizes. Konfliktu virzīta meklēšana var darboties stundām ilgi telpā, kuru neviens nevar uzskaitīt; klauzulu pierādījums, ko tā izdod, tiek sekots rindiņu pa rindiņai. Kompilators var veikt simtiem optimizācijas gājienu ar heiristiku, ko neviens ārpus komandas nesaprot; sertifikāts ieraksta saglabāšanas apgalvojumus, kuriem jāiztur pāri tiem. Simulācija var darboties miljoniem soļu; sertifikāts sniedz kontrolpunktus, pārejas, invariantus un izsekošanu, kas padara rezultātu pārbaudāmu. Nexus darbība var koordinēt ļoti daudz aģentu; sertifikāts nosaka autoritāti, stāvokļa pārejas, apstiprinājumus un darbību kvītis.","open-source-aion.3bcb80f6d9":"Ko katrs ražotājs patur sev","open-source-aion.ceb0061493":"Sistēma, kas radīja rezultātu, nesaņem pēdējo vārdu par to, vai tās sertifikāts ir spēkā. AION pārbauda ierobežotu artefaktu, nevis atkārto dārgo aprēķinu, tāpēc verifikācija var darboties klēpjdatorā pret darbu, kam klasterim vajadzēja nedēļas nogali, un tāpēc tai nav vajadzīga ne ražotāja licence, ne tā mašīna. Sertifikāts sniedz kontrolpunktus, kurus pārbaudītājs iet cauri, tāpēc pārbaudes izmaksas seko artefakta izmēram, nevis meklēšanas izmēram aiz tā.","open-source-aion.69524cecfe":"un tas ir viss triks","open-source-aion.ee21bac231":"Pārbaude nav pārtaisīšana","open-source-aion.396e9b624d":"Arhitektūras sadalījums","open-source-aion.504a1b0a8d":"Aploksne pasaka, kas ir ieradies. Nākamais jautājums ir, kam ir atļauts to atvērt","open-source-aion.a9ea7a518b":"VIENA APLOKSNE","open-source-aion.d7e877b15b":"ASTOŅI LAUKI","open-source-aion.34c043fc06":"Atkarības lauks ir tas, ko cilvēki nenovērtē. Sertifikāts, kas balstās uz citu sertifikātu, to nosauc, tāpēc atteikums vai shēmas izmaiņas izplatās cauri kopai, kas uz to paļāvās, nevis apstājas pie pirmā ieraksta, ko kāds gadās apskatīt. Tas ir tas, kas pārvērš kaudzi pieņemtu rezultātu par kaut ko, kam var uzdot jautājumu.","open-source-aion.7dc6226fd7":"Ievietojiet maršrutēšanas informāciju slodzē, un katra jauna sertifikātu saime kļūst par jaunu integrāciju visiem lejupstraumes lietotājiem. Turiet to ārpusē, un glabāšanas slānis, saderības izsekotājs, atkārtotas pārbaudes rinda un audita ieraksts tiek rakstīti vienreiz un darbojas saimēm, kas nepastāvēja, kad tie tika izveidoti.","open-source-aion.48eb1ab2b4":"Kāpēc sadalījums atmaksājas","open-source-aion.419ad6edc1":"Kompilācijas sertifikātam un klauzulas pierādījumam iekšpusē nav nekā kopīga, un tie ierodas vienā aploksnē. Astoņi lauki: apgalvojums, ievaddati, pret kuriem tas tika veidots, ražotājs, līguma versija, sertifikāta veids, sertifikāta slodze, atkarības un paraksts. Viss, kas raksturīgs saimei, atrodas slodzē, un viss, kas pārbaudītājam nepieciešams, lai maršrutētu, versētu un reģistrētu lietu, atrodas ārpus tās.","open-source-aion.03a195fded":"un astoņi lauki tajā","open-source-aion.9895a4db76":"Katra saime, viena aploksne","open-source-aion.33164fb254":"Kopējā aploksne","open-source-aion.315fae6edd":"Astoņu veidu sistēmas, astoņu veidu apgalvojumi un viena aploksne, kurā tie visi ceļo","open-source-aion.661f13bc63":"PĀRBAUDĪTS","open-source-aion.ea0dae37f4":"SERTIFIKĀTS","open-source-aion.f07b84d4d2":"APGALVOJUMS","open-source-aion.1edfca7587":"AION ir tā otrā programma. Tā ņem sertifikātu, ko radījis svešinieks, rekonstruē to, ko tas apgalvo, un, ja apgalvojumu nevar rekonstruēt, tā nosauc vienumu, nosauc noteikumu un apstājas. Atteikums, kas norāda uz 40. rindu, ir kaut kas tāds, par ko viens vārds nekad nevar būt.","open-source-aion.4428102723":"Formālās metodes šo izkārtojumu izvēlējās pirms gadu desmitiem viena iemesla dēļ. Ražotājs pieraksta savu darbu, un otra, daudz mazāka programma nolasa šo darbu atpakaļ. Otrā programma ir tā, kuru ir vērts veidot rūpīgi, jo tā ir pietiekami maza, lai to saprastu no gala līdz galam. Tas, ko AION dara, ir izņemt šo izkārtojumu no risinātāju pasaules un padarīt to par līgumu visam pārējam: spriešanai, aģentu darbībām, kompilācijai, izpildei, simulācijai.","open-source-aion.51edeceac1":"unsat. kompilēts. pabeigts. drošs. optimāls. politika izieta. simulācija konverģēja. darbplūsma apstiprināta. Astoņas sistēmas, astoņi vārdi, un neviens no tiem nenorāda iemeslu, kāpēc tas ir patiess. Pierādījumu nesošā skaitļošana ir alternatīva: ražotājs patur dārgo darbu un izdod sertifikātu līdzās rezultātam, un kaut kas, kam nav ieinteresētības atbildē, pārbauda šo sertifikātu.","open-source-aion.d3571e9e01":"līdz kāds to pārtaisa","open-source-aion.03d9c22d95":"Rezultāts ir tikai apgalvojums","open-source-aion.dfc28595b4":"Kāpēc pastāv otrā nolasīšana","open-source-aion.3c6178c9cd":"Kam pieder ziņojums","open-source-aion.42c21bbe27":"Ko lieta atrisina","open-source-aion.4d05bcfcbf":"Ko atteikums ļauj jums darīt","open-source-aion.4c0a0d8ef3":"Divi parastie izejas ceļi","open-source-aion.e097afe170":"Kas izriet no tā saglabāšanas","open-source-aion.c9681d6875":"Ko tas patiesībā dara","open-source-aion.1ee58a7b8d":"No kurienes nāk izkārtojums","open-source-aion.eec3b038bd":"attiecinājums","open-source-aion.65279e1ecf":"verifikācija","oss-aion-adoption-paths.733a87e5fb":"Pārbaudiet vienu lēmumu ceļu","oss-aion-adoption-paths.34dfd13db9":"Palaidiet piemēra sertifikātu pirms AION integrēšanas reālā lēmumu ceļā.","oss-aion-adoption-paths.3f1d1c0d24":"Apskatiet komplektā iekļauto piemēra sertifikātu.","oss-aion-adoption-paths.a5339faf54":"Palaidiet komplektā iekļautos piemēra pierādījumus kā pārbaudi.","oss-aion-adoption-paths.b38db2875a":"Pārbaudiet to pašu sertifikātu ar aion check un neatkarīgu saderīgu pārbaudītāju.","oss-aion-adoption-paths.0e42c62826":"Jūsu novērtēšanas komanda","oss-aion-adoption-paths.ca15f8db66":"Iebūvējiet to sistēmā","oss-aion-adoption-paths.e8219f1ea8":"Jūsu esošā programmatūras komanda savieno bibliotēku, lai sistēmas, kuras jau izmantojat, varētu nodot sertifikātu ar katru lēmumu.","oss-aion-adoption-paths.91e2e7e34b":"Jūsu inženieri pievieno AION sistēmai, kuru jau izmantojat.","oss-aion-adoption-paths.96e8012ed9":"Katrs lēmums tad ietver pārbaudāmu sertifikātu.","oss-aion-adoption-paths.6e56d00bc7":"Neviens jauns piegādātājs neatrodas šī lēmuma ceļā.","oss-aion-adoption-paths.b0e0c85d36":"Jūsu inženiertehniskā komanda","oss-aion-adoption-paths.4637a51566":"Izmantojiet to revīzijas laikā","oss-aion-adoption-paths.03b3d20015":"Iepriekš izveidotu sertifikātu var jebkurā laikā atkārtoti pārbaudīt ar komandrindas rīku, savā aparatūrā, bezsaistē.","oss-aion-adoption-paths.8b6e7ae424":"Saglabājiet sertifikātu, kas izveidots, kad lēmums tika pieņemts.","oss-aion-adoption-paths.ab48bfd890":"Vēlāk pārbaudiet to vēlreiz ar komandrindas rīku, bezsaistē.","oss-aion-adoption-paths.6fe516ffcf":"Nododiet to pašu ierakstu regulatoram vai revidentam.","oss-aion-adoption-paths.4e64c95d9e":"Jūsu atbilstības komanda","oss-aion-adoption-paths.6b5eb5323e":"Sāciet ar vienu lēmumu ceļu","oss-aion-adoption-paths.1635f113ec":"Trīs ieviešanas veidi","oss-aion-adoption-paths.5eef32f959":"Kas to izmanto","oss-aion-adoption-paths.29a9e7fa74":"Sertifikāts ir identisks neatkarīgi no izvēlētā ceļa.","oss-aion-adoption-paths.3e4f1a5e1b":"Viena bibliotēka, viens komandrindas rīks","oss-aion-adoption-paths.tag.d59fec26d9":"Pirms integrācijas","oss-aion-adoption-paths.tag.391b31405f":"Jūsu inženieriem","oss-aion-adoption-paths.tag.6fd7b4f249":"Atbilstības nodrošināšanai","oss-aion-archive-parts.cea57012da":"nav saspiests pēc izlasīšanas","oss-aion-archive-parts.10f2f8d11a":"saspiests plauktam","oss-aion-archive-parts.0468a5b797":"ARHĪVS","oss-aion-archive-parts.bce5035461":"un viens lauks, kas tos pārdzīvo","oss-aion-archive-parts.bd678f55fe":"Četri soļi vienā sertifikātā","oss-aion-archive-parts.44e396b17f":"Kurš verifikators to pieņēma un saskaņā ar kuru līguma versiju.","oss-aion-archive-parts.5348eece0f":"Verifikators un līgums saglabāti","oss-aion-archive-parts.53229277ab":"Identiski apakšpierādījumi tiek glabāti vienreiz un vēlāk citēti pēc hasha.","oss-aion-archive-parts.0f6513214f":"Apakšpierādījumi hasēti","oss-aion-archive-parts.76a7786a63":"Atkārtots modelis tiek glabāts vienreiz, ar garumu, cik reizes tas atkārtojas.","oss-aion-archive-parts.9e1a0f7aac":"Atkārtojumi apvienoti","oss-aion-archive-parts.d6f5880b44":"Katrs identifikators tiek glabāts kā tā attālums no iepriekšējā.","oss-aion-archive-parts.6b78716e70":"Identifikatori kā atstarpes","oss-aion-archived-proof.5808299e06":"uzmeklēts, nevis izslaucīts","oss-aion-archived-proof.39241dfc0d":"Pārējie palika slēgti, jo indekss jau zināja, ka tie nav ietekmēti.","oss-aion-archived-proof.d84b2eb85d":"Deklarētas deviņas atkarības, atvērtas divas cilnes, nosaukti pieci sertifikāti.","oss-aion-archived-proof.c9269e3e61":"septiņas cilnes palika slēgtas","oss-aion-archived-proof.6f13975269":"joprojām saderīgs","oss-aion-archived-proof.8ec798a819":"noteikums r7","oss-aion-archived-proof.4b50837e2e":"rindā, lai tiktu lasīts vēlreiz","oss-aion-archived-proof.2a858a12ec":"noteikums r7 aizstāts verifikatorā 2.5.0","oss-aion-archived-proof.0b58a007b4":"izmaiņu paziņojums","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"tas pats sertifikāts","oss-aion-archived-proof.4b37dd07e6":"kā arhivēts","oss-aion-archived-proof.39c9f8bf3a":"divi apakšpierādījumi, viena forma","oss-aion-archived-proof.8c28e2d0a9":"viens bloks, saglabāts vienreiz","oss-aion-archived-proof.e75bd8054c":"identifikatori kā nepilnības","oss-aion-archived-proof.9bfe0da4af":"viens garš fails","oss-aion-archived-proof.46dc2748fa":"kā izveidots","oss-aion-archived-proof.b6a0714797":"ilustratīvi identifikatori","oss-aion-archived-proof.16bb6017da":"divi no pieciem rindā","oss-aion-archived-proof.884fa4a4de":"Viens sertifikāts, divreiz","oss-aion-archived-proof.11ed0e1dd4":"politika p9","oss-aion-archived-proof.1f776189b1":"shēma 2","oss-aion-archived-proof.ec690c70cd":"sertifikāts d20c9b","oss-aion-archived-proof.a96a7e2f89":"sertifikāts 1a55f0","oss-aion-archived-proof.b504f66e53":"modelis m1","oss-aion-archived-proof.fd6c33ce54":"izpildlaika līgums 3.1","oss-aion-archived-proof.ff651ff51f":"kompilatora noteikums c1","oss-aion-archived-proof.d00ec63b0b":"sertifikāts b4e187","oss-aion-archived-proof.e20acd4672":"sertifikāts 3c90de","oss-aion-archived-proof.6d50cc6c2e":"sertifikāts 7f21ab","oss-aion-archived-proof.5dd9b11122":"politika p2","oss-aion-archived-proof.70d70366cf":"shēma 4","oss-aion-archived-proof.d61ceadbdb":"līgums","oss-aion-archived-proof.e15436a2bb":"verifikators","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Kāpēc manu pieprasījumu noraidīja mašīna?","oss-aion-asked-questions.answer.refused":"AION parāda precīzu vietu, kur pārbaude apstājās, un kāpēc, nevis vienu neizskaidrotu vārdu.","oss-aion-asked-questions.question.check":"Vai es pats varu pārbaudīt automatizētu lēmumu?","oss-aion-asked-questions.answer.check":"Jā. AION katru soli aprēķina vēlreiz, tieši tajā ierīcē, kurā atrodaties, bez konta un neko nenosūtot.","oss-aion-asked-questions.question.sent":"Vai mana informācija tiek kaut kur nosūtīta?","oss-aion-asked-questions.answer.sent":"Nē. Noklusējuma versijai nav nekā, ar ko to nosūtīt. Darbs notiek tur, kur jau atrodaties.","oss-aion-asked-questions.chrome.path":"Jautājumi, ko noraidījums patiesībā rada","oss-aion-asked-questions.chrome.status":"atbildēti atklāti","oss-aion-asked-questions.readout":"Šie ir trīs jautājumi, uz kuriem šī lapa ir veidota, lai atbildētu atklāti, bez konta un neko nenosūtot.","oss-aion-asked-questions.band":"Jautāts vienreiz, atbildēts atklāti","oss-aion-asked-you.ef80b73d6b":"nevis pārsteigums vēlāk","oss-aion-asked-you.7e066a9db0":"jautājums tagad","oss-aion-asked-you.fb041ecc2d":"Gaida","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"un kas notiek tālāk","oss-aion-asked-you.fb5efec5ec":"Ko tas jautā","oss-aion-asked-you.ed223cb507":"Ar jūsu pašu frāzi tajā, nevis aizpildāmu veidlapu.","oss-aion-asked-you.47ba586268":"Uzdod jautājumu","oss-aion-asked-you.16bb2c320d":"Vienkāršiem vārdiem, nevis kā izvēle starp simboliem.","oss-aion-asked-you.590f0368a8":"Izklāsta abus lasījumus","oss-aion-asked-you.c0fedb51ee":"Tā daļa no jūsu teikuma, par kuru tas nav pārliecināts, jūsu vārdiem.","oss-aion-asked-you.945cd96360":"Citē vārdus atpakaļ","oss-aion-asymmetry.109e612009":"pierādījumi ceļo","oss-aion-asymmetry.54086b1730":"darbs paliek pie ražotāja","oss-aion-asymmetry.77e82797f7":"ASIMETRIJA","oss-aion-asymmetry.7f5d144dcb":"uz vienu ražotāju","oss-aion-asymmetry.d1abed327f":"Kas netiek reproducēts","oss-aion-asymmetry.816e835f60":"Pilnvaras, pārejas, apstiprinājumi, kvītis.","oss-aion-asymmetry.4f83e60cbc":"Daudzi aģenti, kas koordinējas.","oss-aion-asymmetry.d946c1fc52":"Aģentu sistēma","oss-aion-asymmetry.d978ba491a":"Kontrolpunkti, pārejas un invarianti.","oss-aion-asymmetry.b081bda78f":"Miljoniem integrācijas soļu.","oss-aion-asymmetry.8e34943c35":"Simulācija","oss-aion-asymmetry.db98a95880":"Saglabāšanas prasības attiecībā uz tiem.","oss-aion-asymmetry.ce4dee4e4f":"Simtiem piegājienu un to heiristika.","oss-aion-asymmetry.341a20e237":"Kompilators","oss-aion-asymmetry.d50aca2923":"Atvasinājums, kas izsekots rindiņu pa rindiņai.","oss-aion-asymmetry.c0644e2b00":"Meklēšana telpā, kuru neviens neuzskaita.","oss-aion-asymmetry.2212b12df6":"Risinātājs","oss-aion-audit-flow.0d368d5958":"Tiek pieņemts lēmums","oss-aion-audit-flow.723d4b8215":"Jūsu sistēmā AI nonāk pie atbildes.","oss-aion-audit-flow.60616f24a0":"Sertifikāts tiek saglabāts","oss-aion-audit-flow.319012d052":"Pamatojums tiek ierakstīts kā pārnēsājams ieraksts.","oss-aion-audit-flow.b6e0507002":"Tas tiek vēlreiz pārbaudīts","oss-aion-audit-flow.060bdf8393":"Ikviena persona pārbaudi atkārtoti veic bezsaistē, savā ierīcē.","oss-aion-audit-flow.549ee9a7f2":"Revidents to pieņem","oss-aion-audit-flow.45d8142b03":"Pierādījumi, ko viņi pārbauda, nevis solījums, kam jātic.","oss-aion-audit-flow.29a5795456":"Jūs nosūtāt žurnālus un cerat, ka tie tiks pieņemti.","oss-aion-audit-flow.691576c10d":"Jūs nododat sertifikātu, ko revidents pārbauda pats.","oss-aion-audit-flow.4f25ce109b":"Paskaidrojums ir piesaistīts vienam piegādātājam.","oss-aion-audit-flow.17092b76ad":"Standarta pierādījumu formāti nodrošina sertifikāta pārbaudāmību ārpus sākotnējā piegādātāja un izpildes vides.","oss-aion-audit-flow.4cb1b63499":"Ieraksts tiek vēlreiz pārbaudīts infrastruktūrā, kuru jūs nekontrolējat.","oss-aion-audit-flow.c0baf00a21":"Ieraksts tiek vēlreiz pārbaudīts bezsaistē, aparatūrā, kuru jūs kontrolējat.","oss-aion-audit-flow.1574ac4dc4":"No lēmuma līdz pieņemtiem pierādījumiem","oss-aion-audit-flow.0fc25779d4":"Bez pārbaudāmiem pierādījumiem","oss-aion-audit-flow.4b32d8f574":"Ar AION","oss-aion-audit-flow.effbb773a5":"Revīzijas laikā jūs sniedzat pierādījumus, nevis apliecinājumus.","oss-aion-audit-flow.630840198f":"Neatkarīga pārbaude","oss-aion-broken-case.b2d44d537d":"divi darbi","oss-aion-broken-case.21a5e37384":"Tur taču ir teikts, ka kādam tagad ir jāizvēlas viens.","oss-aion-broken-case.446dd52366":"Lieta nenorāda, kurā no šiem diviem jūs atrodaties.","oss-aion-broken-case.1592f95dfc":"kurš pieder specifikācijai","oss-aion-broken-case.5350b811e8":"Visi to zināja, un neviens to nekad nepierakstīja, tāpēc lieta vispār bija\n              atrodama. Tātad darbs ir uzrakstīt trūkstošo ierobežojumu.","oss-aion-broken-case.7e1ad0c117":"šeit nevar veikt atkārtotu mēģinājumu, ja atlikums ir nulle","oss-aion-broken-case.e2acc6be4b":"vai tas šeit var notikt?","oss-aion-broken-case.70cf0e9d6e":"komanda, kas to pārvalda","oss-aion-broken-case.f4418abec4":"Tātad noteikums ir pareizs, un sistēma ir nepareiza. Darbs ir sistēmas izmaiņa.","oss-aion-broken-case.7ebf5ee2c1":"atkārtoti mēģinājumi trīs reizes ar nulles atlikumu ir parasta pirmdiena","oss-aion-broken-case.818db6fde5":"pakešu režīms pieļauj ne vairāk kā divus atkārtotus mēģinājumus","oss-aion-broken-case.9ad82bcd1a":"nav atkārtotu mēģinājumu, kamēr atlikums ir nulle","oss-aion-broken-case.db09c40b94":"nosacījumi, kurus tā pārkāpj","oss-aion-broken-case.1a01155586":"Specifikācija nav spēkā. Šeit ir situācija, kurā tā nav spēkā, izklāstīta\n            rakstiski.","oss-aion-broken-case.bb5f480b82":"lieta, kā tā atgriežas","oss-aion-broken-case.8ba48b3c8c":"ilustratīvs gadījums","oss-aion-broken-case.2a0ea29615":"viena lieta, divi īpašnieki","oss-aion-broken-case.0efd66fc70":"Lieta, kas to izjauca","oss-aion-broken-case.fd12863535":"nē","oss-aion-broken-case.fb360f9c09":"jā","oss-aion-broken-case.e7aef2e893":"režīms ir pakešu (tips: teksts)","oss-aion-broken-case.dcfad8c5bf":"atlikums ir 0 (tips: vesels skaitlis)","oss-aion-broken-case.bbf98b54e9":"atkārtotu mēģinājumu skaits ir 3 (tips: vesels skaitlis)","oss-aion-business-glyph.9c8c22f54d":"Pēc dizaina auditejams","oss-aion-business-glyph.afd7103781":"Jūsu infrastruktūra","oss-aion-business-glyph.ea722c81af":"Eiropas","oss-aion-business-glyph.870c4d024a":"Pārnēsājami formāti","oss-aion-business-glyph.81c093497b":"Noslēgts ar sertifikātu","oss-aion-business-glyph.862ee3b17a":"Iedarbība","oss-aion-business-glyph.6b5eb5323e":"Pievienots pierādījums","oss-aion-business-glyph.b7a3f27883":"Risks novērsts","oss-aion-business-glyph.7ba75e0ac6":"Sertifikāta pārbaude pēc gadiem","oss-aion-business-glyph.9f89ecaff5":"Sākotnējā sesija vairs nav","oss-aion-business-glyph.33620369b5":"Arhīvs","oss-aion-business-glyph.7a71b6b89e":"Uz aparatūras, ko kontrolējat jūs","oss-aion-business-glyph.e94a6d4bba":"Izskaidrots uz kāda cita aparatūras","oss-aion-business-glyph.3eaad00bc0":"Dati","oss-aion-business-glyph.e20fee7c23":"Atsevišķs pārbaudītājs","oss-aion-business-glyph.9e3ee5bddf":"Joprojām nepieciešams sākotnējais modelis","oss-aion-business-glyph.5cb182685f":"Pārbaudītājs","oss-aion-business-glyph.c5d37b3ae0":"Sertifikāts, ko pārbauda auditors","oss-aion-business-glyph.6c4186cc8c":"Žurnāli, kurus cerat, ka pieņems","oss-aion-business-glyph.d51b35c242":"Audits","oss-aion-cadence-banners.independent.eyebrow":"AION / neatkarīga pārbaude","oss-aion-cadence-banners.independent.lead":"Uzticies aploksnei","oss-aion-cadence-banners.independent.accent":"pēc tam, kad cits pārbaudītājs to pieņem","oss-aion-cadence-banners.independent.body.one":"Sertifikāts ir noderīgs, jo pārbaudītājam nav vajadzīga ražotāja izpildes vide. Tas saņem deklarēto noteikumu, ievaddatus, rezultātu un pierādījumus kā vienu norobežotu aploksni.","oss-aion-cadence-banners.independent.body.two":"Otrā ieviešana pārbauda šos pierādījumus pret to pašu līgumu. Vienošanās tad ir pierādījums par rezultātu, nevis tās pašas koda ceļa atkārtota izpilde.","oss-aion-cadence-banners.independent.panel":"Neatkarīgas pieņemšanas ieraksts","oss-aion-cadence-banners.independent.tag":"PĀRBAUDĪTS ATSEVIŠĶI","oss-aion-cadence-banners.independent.item.rule.label":"Deklarētais noteikums","oss-aion-cadence-banners.independent.item.rule.detail":"Prasība un sertifikātu saime ir nosaukta.","oss-aion-cadence-banners.independent.item.rule.status":"IR","oss-aion-cadence-banners.independent.item.input.label":"Norobežotie ievaddati","oss-aion-cadence-banners.independent.item.input.detail":"Vērtības, ko izmanto lēmums, ceļo kopā ar to.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Apgalvotais rezultāts","oss-aion-cadence-banners.independent.item.result.detail":"Rezultāts ir paziņots pirms pārbaudes sākuma.","oss-aion-cadence-banners.independent.item.result.status":"DEKLARĒTS","oss-aion-cadence-banners.independent.item.verifier.label":"Atsevišķs pārbaudītājs","oss-aion-cadence-banners.independent.item.verifier.detail":"Cita ieviešana pārbauda to pašu aploksni.","oss-aion-cadence-banners.independent.item.verifier.status":"PIEŅEMTS","oss-aion-cadence-banners.independent.verdict":"pierādījumi pastāv ārpus sistēmas, kas tos radīja","oss-aion-cadence-banners.independent.footer":"pārbaude šķērso ieviešanas robežu, nezaudējot līgumu","oss-aion-cadence-banners.refusal.eyebrow":"AION / neizpildes līgums","oss-aion-cadence-banners.refusal.lead":"Neizdevies pierādījums","oss-aion-cadence-banners.refusal.accent":"jānosauc noteikums, ko tas nevarēja izpildīt","oss-aion-cadence-banners.refusal.body.one":"Precīza pārbaude nav neskaidrs izturēšanas vai neizturēšanas apvalks. Pārbaudītājs seko deklarētajai konversijai, aritmētikai un loģiskajiem vārtiem secībā, pēc tam apstājas pie pirmā nederīgā nosacījuma.","oss-aion-cadence-banners.refusal.body.two":"Šis atteikums pieder pie pierādījumiem. Tas stāsta izsaucējam, kurš pieņēmums, mērogs, termins vai aizsargs neizdevās, pirms jebkurš vēlāks solis varēja noslēpt cēloni.","oss-aion-cadence-banners.refusal.panel":"Pirmais neizdevušais vārti","oss-aion-cadence-banners.refusal.tag":"ATTEIKTS","oss-aion-cadence-banners.refusal.item.read.label":"Izlasiet deklarētās vērtības","oss-aion-cadence-banners.refusal.item.read.detail":"Ievaddati un noteikuma identitāte ir fiksēti pirms pārbaudes.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Piemērojiet deklarēto konversiju","oss-aion-cadence-banners.refusal.item.scale.detail":"Neviena klusa aizstāšana nemaina aritmētisko līgumu.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Novērtējiet katru vārti secībā","oss-aion-cadence-banners.refusal.item.check.detail":"Pirmais nederīgais nosacījums paliek attiecināms.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Atgrieziet nosaukto atteikumu","oss-aion-cadence-banners.refusal.item.refuse.detail":"Izsaucējs saņem neizdevušos noteikumu un tā pierādījumus.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"atteikums ir pārskatāms pierādījums, nevis tukša kļūda","oss-aion-cadence-banners.refusal.footer":"pirmais neizdevušais nosacījums paliek redzams nākamajam recenzentam","oss-aion-cadence-banners.certificates.eyebrow":"AION / sertifikātu ķēde","oss-aion-cadence-banners.certificates.lead":"Viens lēmums","oss-aion-cadence-banners.certificates.accent":"var nest vairākus pierādījumu veidus","oss-aion-cadence-banners.certificates.body.one":"Pamatojums, organizatoriskā autoritāte, kompilācija un izpilde atbild uz dažādiem jautājumiem. Uztverot tos kā vienu vispārīgu garantiju, tiktu noslēpts, kur apgalvojums ir spēcīgs un kur vēl nepieciešama cita pārbaude.","oss-aion-cadence-banners.certificates.body.two":"AION tur sertifikātus atsevišķus un saista tos ar to pašu lēmuma ierakstu. Recenzents var sekot ķēdei, nesajaucot autoritāti ar aritmētiku vai veiksmīgu izpildi ar apstiprinātu noteikumu.","oss-aion-cadence-banners.certificates.panel":"Lēmuma pierādījumu ceļš","oss-aion-cadence-banners.certificates.tag":"SAISTĪTS","oss-aion-cadence-banners.certificates.item.reasoning.label":"Pamatojuma sertifikāts","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Parāda, kāpēc izteiktais secinājums izriet.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Autoritātes sertifikāts","oss-aion-cadence-banners.certificates.item.organisation.detail":"Nosauc, kurš drīkst apstiprināt vai veikt darbību.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORITĀTE","oss-aion-cadence-banners.certificates.item.compile.label":"Kompilācijas sertifikāts","oss-aion-cadence-banners.certificates.item.compile.detail":"Saista avotu, transformāciju un radīto artefaktu.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Izpildes sertifikāts","oss-aion-cadence-banners.certificates.item.execution.detail":"Ieraksta, kas tika izpildīts, kur un ar kādiem ievaddatiem.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"katrs apgalvojums saglabā sertifikātu saimi, kas to patiešām var atbalstīt","oss-aion-cadence-banners.certificates.footer":"saistītie pierādījumi paliek pietiekami konkrēti, lai tos varētu apstrīdēt","oss-aion-cadence-banners.recheck.eyebrow":"AION / rezultāts, ko varat pārskatīt","oss-aion-cadence-banners.recheck.lead":"To pašu noteikumu","oss-aion-cadence-banners.recheck.accent":"var pārbaudīt vēlāk","oss-aion-cadence-banners.recheck.body.one":"Teikums, izvēlētā nozīme un termiņš paliek piesaistīti rezultātam. Jūs varat redzēt, kas tika nolemts un cik ilgi lēmums paliek spēkā, nenosūtot materiālu prom.","oss-aion-cadence-banners.recheck.body.two":"Kad noteikums vai datums mainās, ieraksts identificē, kam nepieciešama cita pārbaude. Iepriekšējā atbilde paliek redzama tā vietā, lai to klusi aizstātu.","oss-aion-cadence-banners.recheck.panel":"Kam seko pārbaude","oss-aion-cadence-banners.recheck.tag":"ATKĀRTOJAMS","oss-aion-cadence-banners.recheck.item.sentence.label":"Jūsu sākotnējais teikums","oss-aion-cadence-banners.recheck.item.sentence.detail":"Formulējums paliek blakus interpretācijai.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Izvēlētā nozīme","oss-aion-cadence-banners.recheck.item.rule.detail":"Piemērotais noteikums ir uzrakstīts vienkārši.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Derīguma datums","oss-aion-cadence-banners.recheck.item.deadline.detail":"Atlikušais laiks ir redzams pirms rezultāta derīguma termiņa beigām.","oss-aion-cadence-banners.recheck.item.deadline.status":"REDZAMS","oss-aion-cadence-banners.recheck.item.result.label":"Jauna pārbaude","oss-aion-cadence-banners.recheck.item.result.detail":"To pašu pierādījumu var novērtēt vēlreiz.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"varat atgriezties pie atbildes, nezaudējot iemeslu aiz tās","oss-aion-cadence-banners.recheck.footer":"ieraksts saglabā vārdus, noteikumu un datumu kopā","oss-aion-cadence-banners.supplier.eyebrow":"AION / piegādātāja pierādījumi","oss-aion-cadence-banners.supplier.lead":"Piegādātāja atbilde","oss-aion-cadence-banners.supplier.accent":"jāsaņem kopā ar kaut ko, ko varat pārbaudīt","oss-aion-cadence-banners.supplier.body.one":"Sertifikāts atdala rezultātu no piegādātāja rīka. Tajā norādīts, kas tika pārbaudīts, kura pierādījumu grupa attiecas un kuri ievaddati un artefakti pieder apgalvojumam.","oss-aion-cadence-banners.supplier.body.two":"Jūsu komanda var saglabāt šos pierādījumus un izmantot citu verificētāju. Pārskatīšana vairs nav atkarīga no piekļuves sākotnējam pakalpojumam vai no lūguma piegādātājam atkārtot izpildi.","oss-aion-cadence-banners.supplier.panel":"Pierādījumi, kas saņemti kopā ar rezultātu","oss-aion-cadence-banners.supplier.tag":"PĀRVIETOJAMS","oss-aion-cadence-banners.supplier.item.claim.label":"Piegādātāja apgalvojums","oss-aion-cadence-banners.supplier.item.claim.detail":"Rezultāts un tā darbības joma ir norādīti skaidri.","oss-aion-cadence-banners.supplier.item.claim.status":"SAŅEMTS","oss-aion-cadence-banners.supplier.item.certificate.label":"Sertifikāta aploksne","oss-aion-cadence-banners.supplier.item.certificate.detail":"Pierādījumi un identifikatori ceļo kopā ar apgalvojumu.","oss-aion-cadence-banners.supplier.item.certificate.status":"PIEVIENOTS","oss-aion-cadence-banners.supplier.item.coverage.label":"Pārklājuma paziņojums","oss-aion-cadence-banners.supplier.item.coverage.detail":"Sertifikāta grupa norāda, ko tā var pierādīt.","oss-aion-cadence-banners.supplier.item.coverage.status":"AR DARBĪBAS JOMU","oss-aion-cadence-banners.supplier.item.checker.label":"Neatkarīgs pārbaudītājs","oss-aion-cadence-banners.supplier.item.checker.detail":"Jūsu puse verificē pierādījumus bez ražotāja.","oss-aion-cadence-banners.supplier.item.checker.status":"PIEEJAMS","oss-aion-cadence-banners.supplier.verdict":"pierādījumi paliek noderīgi pēc piegādātāja izpildes beigām","oss-aion-cadence-banners.supplier.footer":"verificējamu rezultātu ir vieglāk saglabāt, salīdzināt un apstrīdēt","oss-aion-cadence-banners.boundary.eyebrow":"AION / kontrolēta pārskatīšana","oss-aion-cadence-banners.boundary.lead":"Pārskatīšana paliek iekšpusē","oss-aion-cadence-banners.boundary.accent":"robeža, ko nosaka jūsu organizācija","oss-aion-cadence-banners.boundary.body.one":"Lieta, noteikums un sertifikāts ir pārbaudāmi tur, kur tie jau atrodas. Vietējā verifikācija nepadara pārskatīšanu par vēl vienu izpaušanas ceļu pārbaudāmajam materiālam.","oss-aion-cadence-banners.boundary.body.two":"Ieraksts joprojām norāda noteikto īpašību un izmantotos pierādījumus. Datu palikšana uz vietas nenozīmē atteikšanos no izsekojama audita ceļa.","oss-aion-cadence-banners.boundary.panel":"Pārskatīšanas ceļš uz vietas","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Atvērt saglabāto lietu","oss-aion-cadence-banners.boundary.item.case.detail":"Avota materiāls paliek savā esošajā vidē.","oss-aion-cadence-banners.boundary.item.case.status":"UZ VIETAS","oss-aion-cadence-banners.boundary.item.property.label":"Izvēlieties apgalvojumu, ko pārbaudīt","oss-aion-cadence-banners.boundary.item.property.detail":"Sertifikāta darbības joma paliek skaidra.","oss-aion-cadence-banners.boundary.item.property.status":"AR DARBĪBAS JOMU","oss-aion-cadence-banners.boundary.item.perimeter.label":"Izpildīt perimetra iekšienē","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Verifikācijai nav nepieciešams izejošais pakalpojums.","oss-aion-cadence-banners.boundary.item.perimeter.status":"IETVERTS","oss-aion-cadence-banners.boundary.item.record.label":"Saglabāt pārskatīšanas ierakstu","oss-aion-cadence-banners.boundary.item.record.detail":"Ievaddati, pārbaudītājs un iznākums paliek attiecināmi.","oss-aion-cadence-banners.boundary.item.record.status":"IERAKSTĪTS","oss-aion-cadence-banners.boundary.verdict":"pierādījumus var pārbaudīt, neradot jaunu datu pārsūtīšanu","oss-aion-cadence-banners.boundary.footer":"vietējā izpilde un pārskatāmi pierādījumi pieder vienai kontrolei","oss-aion-case-fields.ce69e76708":"gadījums sāk lēmumu","oss-aion-case-fields.9a83c048c3":"spriedums beidz pārbaudi","oss-aion-case-fields.afc58d4c40":"pirmais, kas neizdodas, pēc nosaukuma","oss-aion-case-fields.3bc6a69e80":"pirms atkārtota mēģinājuma bilancei jābūt lielākai par nulli","oss-aion-case-fields.4e0285b28b":"nosacījums pārkāpts","oss-aion-case-fields.4e0af55321":"KONTRPIEMĒRS","oss-aion-case-fields.344daefb37":"Viens gadījums pilnībā","oss-aion-case-fields.62e0ec394a":"vērtības un to veidi","oss-aion-case-fields.7f01fe787c":"partija","oss-aion-checked-not-rerun.dd5b6cbe2b":"viens apvienojums, viena prombūtne","oss-aion-checked-not-rerun.846a719bdc":"Pēdējai rindai nav atbilstošas rindas par jebkuru cenu.","oss-aion-checked-not-rerun.6c26a05ac4":"Pieci no septiņiem aiziet, un divi no tiem apvienojas.","oss-aion-checked-not-rerun.4f01efffc8":"lasījis kāds, kurš nekad nav turējis viņu programmatūru","oss-aion-checked-not-rerun.a70205a694":"salīdzināts ar nākamā ceturkšņa","oss-aion-checked-not-rerun.0d85e26645":"arhivēts kopā ar lēmumu, ko tas atbalstīja","oss-aion-checked-not-rerun.ffc7dbc2ad":"tas, ko tu paturi pēc tam","oss-aion-checked-not-rerun.d6124c1aee":"neviens no kreisās puses to nerada","oss-aion-checked-not-rerun.9b9252883d":"pats sertifikāts","oss-aion-checked-not-rerun.0bfa7a3bd8":"deklarētās ievades un līgums","oss-aion-checked-not-rerun.d7f7f555ad":"apgalvojums","oss-aion-checked-not-rerun.527c7f544a":"trīs lietas","oss-aion-checked-not-rerun.f8a34d2942":"pārbaudīt viņu sertifikātu","oss-aion-checked-not-rerun.2a20acacc2":"septiņas lietas","oss-aion-checked-not-rerun.a94f90b8e9":"atkārtot viņu sistēmu","oss-aion-checked-not-rerun.d2eae1af1f":"tā pati garantija, divi ceļi","oss-aion-checked-not-rerun.87f754c087":"pieci izsvītroti, viens prombūtnē","oss-aion-checked-not-rerun.2a62bb8028":"ko katrs ceļš prasa","oss-aion-checked-not-rerun.35d7d25591":"vai tas joprojām ir spēkā pēc izmaiņām","oss-aion-checked-not-rerun.6cd8ba818d":"uz kuru datu","oss-aion-checked-not-rerun.96f39a5e7d":"pret kuru noteikumu kopas versiju","oss-aion-checked-not-rerun.c8d59ae061":"kuri nosacījumi tika pārbaudīti","oss-aion-checked-not-rerun.b028b89ea7":"viņu palīdzība","oss-aion-checked-not-rerun.c03c2fce6e":"pietiekami liela iekārta","oss-aion-checked-not-rerun.867d12b7ad":"ievades dati","oss-aion-checked-not-rerun.717e42eb01":"viņu konfigurācijas fails","oss-aion-checked-not-rerun.935b145c44":"atbilstoša operētājsistēma","oss-aion-checked-not-rerun.fa15ad3da2":"precīza versija, ko viņi izmantoja","oss-aion-checked-not-rerun.5990a1ec89":"licence viņu programmatūrai","oss-aion-compile-cert.b1991b0d44":"tātad atteikums norāda uz vienu","oss-aion-compile-cert.85edd85611":"pretenzijas ir nosauktas atsevišķi","oss-aion-compile-cert.6e8814b9a0":"Kas iznāca, pēc satura adreses, piesaistīts visam iepriekšminētajam.","oss-aion-compile-cert.a41732e051":"Artefakta identitāte","oss-aion-compile-cert.6d4151d7a5":"Kas tika ievadīts, pēc satura adreses, nevis pēc faila nosaukuma.","oss-aion-compile-cert.7204133281":"Avota vai grafa identitāte","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"un ko tas apgalvo par katru","oss-aion-compile-cert.0bcab6c465":"Ko sertifikāts nosauc","oss-aion-compile-cert.027f7ee7d1":"Kuras īpašības šis sertifikāts nosaka attiecībā uz tiem.","oss-aion-compile-cert.8906f98ae0":"Deklarētā saglabāšana","oss-aion-compile-cert.d186ea41e2":"Pielietotie posmi, to piemērošanas secībā.","oss-aion-compile-cert.66ad6a206e":"Transformācijas secība","oss-aion-compile-cert.ebb0c953d1":"Kura būvējuma versija, ar kādu optimizācijas konfigurāciju.","oss-aion-compile-cert.691f87f640":"Kompilators un optimizācija","oss-aion-console.5d71265e50":"Pārbaudīt pierādījuma sertifikātu. Bez risinātāja, bez tīkla.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Pārbauda pierādījumu: proof.alethe","oss-aion-console.1016f1bcf3":"Formāts: Alethe","oss-aion-console.70142f344c":"Parsēšana: OK","oss-aion-console.8455c5ceeb":"Pierādījumam ir N soļu","oss-aion-console.fc539fcf62":"Pierādījuma verifikācija: IZDEVĀS","oss-aion-console.88f6db402f":"Verifikācijas laiks: Nms","oss-aion-console.4f437cea65":"Jūsu pārbaudītājs to apstiprināja. Izejas kods 0. Nekas netika nosūtīts.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Izlasiet sertifikātu","oss-aion-console.0cef7497bf":"Pārbaudītājs atver pierādījuma failu, ko saņēmāt. Tam nekas cits nav vajadzīgs: ne modeļa svari, ne pārdevēja pieteikšanās, ne internets.","oss-aion-console.830903eaf6":"Izstaigājiet katru soli","oss-aion-console.6ce1fb843f":"Katrs secinājums tiek atkārtoti izspēlēts pret premisām, uz kurām tas atsaucas. LRAT satur vienību izplatīšanas norādes, tāpēc izstaigāšana ir lineāra attiecībā pret pierādījuma garumu.","oss-aion-console.1044fbcb06":"Pieņemt vai noraidīt","oss-aion-console.cb4e501f7a":"Ja katrs solis ir spēkā, pārbaudītājs izdrukā IZDEVĀS un iziet ar kodu 0. Ja kāds solis nav spēkā, tas nosauc kļūmi un iziet ar kodu, kas nav 0. Nekā starp citu.","oss-aion-console.b568d47f2e":"Ievade","oss-aion-console.df73f614f5":"Pierādījuma fails","oss-aion-console.0562f32dc5":"Atkarības","oss-aion-console.7334b0e2cf":"Nav pārbaudes laikā","oss-aion-console.64ae43e8fe":"Izmaksas","oss-aion-console.660020f41a":"Lineāras attiecībā pret pierādījuma garumu","oss-aion-console.5faa59d4bc":"Rezultāts","oss-aion-console.de76d16078":"IZDEVĀS vai nosaukta kļūme","oss-aion-console.76d6562c0a":"Pārbaude","oss-aion-console.edabf74eb3":"Viena komanda nolasa pierādījumu un","oss-aion-console.d161c0634a":"pieņem vai noraida to","oss-aion-console.a997e63df7":"Verifikators ir neatkarīgs no risinātāja. Iedodiet tam sertifikātu, un jūsu pašu pārbaudītājs\n          to apstiprina vai noraida bezsaistē, bez piekļuves dzinējam, kas to radījis.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"bezsaistes pārbaudītājs","oss-aion-console.6b5eb5323e":"Neatkarīgs pārbaudītājs","oss-aion-console.165cb4a2fd":"N soļi un Nms ir vietturi: reālie skaitļi nāk no pierādījuma, ko pārbaudāt, nevis\n              no mums. Komandu virsma ir reāla, aion check parsē, izstaigā un ziņo IZDEVĀS.","oss-aion-console.b8fae1a1a1":"AION / pierādījuma pārbaude","oss-aion-consumer-glyph.dccc2b6aff":"Internets nav vajadzīgs","oss-aion-consumer-glyph.22c2234e11":"Ražots Eiropā","oss-aion-consumer-glyph.75f527181b":"Var pārbaudīt vēlāk","oss-aion-consumer-glyph.94651c6eb5":"Otrs palīgs to pārbauda","oss-aion-consumer-glyph.b9fefb3f5b":"Izskatās pareizi","oss-aion-consumer-glyph.fb447dd18d":"Jūsu čeks","oss-aion-consumer-glyph.49a8e53c77":"Mašīna atbild","oss-aion-consumer-glyph.f5ad0f0059":"Jā, un lūk, kāpēc","oss-aion-consumer-glyph.7011b1a621":"Atbilde","oss-aion-consumer-glyph.07d0cfac8b":"Soli pa solim, pierakstīts","oss-aion-consumer-glyph.5bcd26af49":"Kā tas tika panākts","oss-aion-consumer-glyph.8afc953f7f":"Vai tas man ir piemērots?","oss-aion-consumer-glyph.d79cce547d":"Jautājums","oss-aion-coverage-join.fa5284c04d":"īss ir īss","oss-aion-coverage-join.d04fa188df":"Četrpadsmit nav pat puse no tā, tāpēc savienojums tiek atteikts, nevis noapaļots.","oss-aion-coverage-join.0b67159da5":"Sešpadsmit šūnas ir ņemtas vērā, un sastādītais rezultāts tiek pieņemts.","oss-aion-coverage-join.7142d70e45":"sastādīšana atteikta, pārklājums nepietiekams","oss-aion-coverage-join.245fbeffee":"nav noapaļošanas kļūda. Reģions, uz kuru neviens neskatījās.","oss-aion-coverage-join.1df8f3c0e7":"14 no 16","oss-aion-coverage-join.1c1d6ac8f1":"divas šūnas, uz kurām neviens neskatījās","oss-aion-coverage-join.f0833f7fc6":"tas pats savienojums, trūkst viena kuba","oss-aion-coverage-join.db8d5bf534":"sastādīšana pieņemta","oss-aion-coverage-join.558480e414":"16 no 16","oss-aion-coverage-join.26f1b36edc":"katra šūna ir ņemta vērā","oss-aion-coverage-join.39cd7fa9c4":"četri kubi","oss-aion-coverage-join.bb2dba7602":"ilustratīvi kubi","oss-aion-coverage-join.a4d76ddfc7":"pārklājums nepietiekams par divām šūnām","oss-aion-coverage-join.e4445ac125":"Viena sadalīšanas pārbaude","oss-aion-coverage-join.186c8cd284":"Jūsu turētā būve nemainās zem jums.","oss-aion-coverage-join.9daf9699cc":"būve","oss-aion-coverage-join.66506ab77b":"Neviens modelis netiek izsaukts.","oss-aion-coverage-join.f2250926d2":"Nekas nepamet robežu.","oss-aion-coverage-join.3110d06249":"kas pamet","oss-aion-coverage-join.0bd87fb406":"Neviens procesors šajā ceļā.","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":"četras mašīnas, viena atbilde","oss-aion-coverage-join.3ea0cf3ca7":"adreses, kuras jūs iestatāt","oss-aion-coverage-join.7b9e33922c":"pakalpojums","oss-aion-coverage-join.17819009bd":"viens izsaukums","oss-aion-coverage-join.2c4d8b9dd8":"komanda","oss-aion-coverage-join.5a78e04d95":"saistīts","oss-aion-coverage-join.985e108737":"bibliotēka","oss-aion-coverage-join.1d06a0d76f":"modelis","oss-aion-coverage-join.8eab5a6dbb":"procesors","oss-aion-coverage-table.356f85e809":"viens AION aploksnes un maršrutēšanas līgums","oss-aion-coverage-table.4f52f572dd":"septiņas ražotāju izejas","oss-aion-coverage-table.2a268cd632":"SEPTIŅI RAŽOTĀJI","oss-aion-coverage-table.8351372237":"vispirms izeja, pārbaudītāju izvēlas sertifikātu saime","oss-aion-coverage-table.b7d5fe11a0":"Ko septiņi ražotāji atstāj aiz sevis","oss-aion-coverage-table.f31a7c9011":"Risinātājs","oss-aion-coverage-table.a194f815cb":"Iespējams, neiespējams vai optimāls","oss-aion-coverage-table.7ec93e2d31":"Pierādījums, modelis, kodols, liecinieks vai robeža","oss-aion-coverage-table.651e0f73b2":"Saimei specifisks risinātāja pārbaudītājs","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Secinājums no deklarētajiem ierobežojumiem","oss-aion-coverage-table.9ac60dc1a8":"Ierobežojumu atvasināšana un atgrieztie risinātāja pierādījumi","oss-aion-coverage-table.d5ef792d46":"Loom spriešanas pārbaudītājs","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Pabeigta pārvaldīta darbība","oss-aion-coverage-table.70d43be1ea":"Autoritāte, politika, apstiprinājumi, pārejas un kvītis","oss-aion-coverage-table.5372a8e90f":"Nexus organizatoriskais pārbaudītājs","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Kompilēts artefakts","oss-aion-coverage-table.1f3e5d7c89":"Avota grafs, transformācijas, invarianti un artefakta identitāte","oss-aion-coverage-table.86ca1bd031":"Kera kompilācijas pārbaudītājs","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Izpildīta darba slodze","oss-aion-coverage-table.24f1ac9e33":"Modulis, ievades, atļauju piešķīrumi, pārejas, ierobežojumi un izeja","oss-aion-coverage-table.0f9ea21c74":"Selvedge izpildes pārbaudītājs","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Simulēta trajektorija","oss-aion-coverage-table.ef85239d10":"Modeļa identitāte, parametri, stāvoklis, kontrolpunkti, invarianti un trajektorijas jaucējvērtība","oss-aion-coverage-table.c5b7fe3198":"Simulācijas un FMI pārbaudītājs","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Pabeigta FMU palaišana","oss-aion-coverage-table.8f5753fba0":"FMU identitāte, konfigurācija, soļi, notikumi, konverģence un izsekojamība","oss-aion-coverage-table.4d64b5bbaf":"Simulācijas un FMI pārbaudītājs","oss-aion-coverage-table.7d1ab3c6e0":"Pierādījumi:","oss-aion-coverage-table.4e5bc7d129":"Pārbaudītājs:","oss-aion-days-left.545fa01eea":"un tā teikts pirms pēdējās dienas","oss-aion-days-left.eaa861cef8":"tas pats noteikums, lasīts četras reizes","oss-aion-days-left.2017bddab0":"Jautājiet jebkurā dienā, un tas pats noteikums veic aprēķinu. Ceturtajā lasījumā\n          nekas nav skaļāks par pirmo, tikai mazāks.","oss-aion-days-left.81b20537a7":"atlikušā vieta, dienās","oss-aion-days-left.0526dbf682":"PULKSTENIS","oss-aion-days-left.2f29339cb6":"tas pats pulkstenis, četras dienas atšķirībā","oss-aion-days-left.47a76d1261":"Viens pieprasījums, četri lasījumi","oss-aion-days-left.9dd1fe0fd2":"26 no 30","oss-aion-days-left.f4c6daac2a":"26. diena","oss-aion-days-left.62f21454ca":"22 no 30","oss-aion-days-left.4ad399ed8a":"22. diena","oss-aion-days-left.ae5a29afae":"16 no 30","oss-aion-days-left.195b05cbbd":"16. diena","oss-aion-days-left.d31b7d0f91":"8 no 30","oss-aion-days-left.185b76515a":"8. diena","oss-aion-days-left.2dd2bed725":"šodien","oss-aion-dispute-parts.65edc28a9d":"panelis un lēmums pieder jūsu pašu procesam, un artefakts nepārvietojas","oss-aion-dispute-parts.e56cf65ada":"un tas nav tribunāls","oss-aion-dispute-parts.37f322f735":"tas nodrošina pierādījumus,","oss-aion-dispute-parts.7b7570d892":"lēmums","oss-aion-dispute-parts.52e3685580":"logs","oss-aion-dispute-parts.7de929b394":"panelis","oss-aion-dispute-parts.2eba0fb6ad":"tas, kas pieder jūsu pašu procesam","oss-aion-dispute-parts.ea4031d789":"kurš verificētājs, kura versija","oss-aion-dispute-parts.93be71a61d":"līgums","oss-aion-dispute-parts.48b63234e3":"nosaukts, nevis apkopots","oss-aion-dispute-parts.cced6746e2":"atteices punkts","oss-aion-dispute-parts.2c9e8d06dd":"atkārtojams ikvienam","oss-aion-dispute-parts.2e02032e1d":"verifikācija","oss-aion-dispute-parts.804e9af218":"ražotājs un paraksts neskarti","oss-aion-dispute-parts.69506051d5":"saglabāts kā pieņemts","oss-aion-dispute-parts.6b578cc32e":"sertifikāts","oss-aion-dispute-parts.21df0b2530":"Ko AION sniedz","oss-aion-dispute-parts.4029dc5f44":"Tas saglabā\n            sertifikātu tādu, kāds tas tika pieņemts. Tas saglabā attiecinājumu, tāpēc tas, kurš\n            radīja rezultātu, izdzīvo līgumslēdzēja maiņu. Tas atkārto verifikāciju pēc pieprasījuma, ikvienam,\n            bez ražotāja. Tas identificē precīzu atteices punktu, nevis atgriež\n            spriedumu. Un tas parāda, kurš verificētājs pieņēma rezultātu un saskaņā ar kuru līguma\n            versiju. Panelis, logs un lēmums pieder jebkuram procesam, ko jūsu\n            organizācija jau vada. AION nodrošina artefaktu, par kuru šis process strīdas.","oss-aion-dispute-parts.434ae4f1d6":"AION darbs šajā situācijā ir šaurs, un tā ir noderīgā daļa.","oss-aion-dispute-parts.3eb5567b60":"Darbs, ko radījusi viena puse un uz ko paļaujas otra, galu galā rada domstarpības\n            par to, vai tas bija labs. To, kas to izšķir, gandrīz nekad nav strīda\n            spēks. Tas ir tas, vai pastāv artefakts, ko abas puses var pārbaudīt un ko neviena puse\n            nevar grozīt, un lielākajā daļā strīdu ieraksti, kas atrisinātu jautājumu, atrodas\n            vienā no abām pusēm.","oss-aion-dispute-parts.2ccc6715e9":"Ne labāks arguments.","oss-aion-dispute-parts.aa0d5ae0e6":"Strīdam ir nepieciešami pierādījumi.","oss-aion-dispute-parts.b4b6237893":"Kad kāds nepiekrīt","oss-aion-dispute-parts.eec3b038bd":"attiecinājums","oss-aion-dispute-parts.100ec4462d":"pierādījumi","oss-aion-envelope-fields.cfc233d284":"aploksne nekad nav","oss-aion-envelope-fields.1c80a87a33":"slodze ir ģimenes specifiska","oss-aion-envelope-fields.d85cb39036":"ģimene, kas nosaka verifikatoru","oss-aion-envelope-fields.a975c5af10":"Sertifikāta veids","oss-aion-envelope-fields.4282e3d696":"nosaukts, nekad netiešs","oss-aion-envelope-fields.0562f32dc5":"Atkarības","oss-aion-envelope-fields.ca2dc8737d":"kura sistēma, kura versija","oss-aion-envelope-fields.7b7194967f":"Ražotājs","oss-aion-envelope-fields.f33f785291":"pret ko tas tika veidots, un kura versija","oss-aion-envelope-fields.404e7d3e00":"Ievades un līgums","oss-aion-envelope-fields.93a29173f5":"identifikators un slodze vai tās jaucējkopsumma","oss-aion-envelope-fields.dc4e08a408":"Prasījums","oss-aion-envelope-fields.78e789d605":"LĪGUMS","oss-aion-envelope-fields.d12a9ca770":"ārpus slodzes, katra ģimene","oss-aion-envelope-fields.f18dee6041":"Aploksne","oss-aion-envelope-fields.f07e5a8156":"slodze","oss-aion-evidence.cbf668da60":"Žurnālfaili","oss-aion-evidence.28e06c789a":"Žurnāls rāda, ka sistēma darbojās. Tas nerāda, kāpēc tika panākta atbilde, un žurnālu var klusi rediģēt.","oss-aion-evidence.c637aebe3a":"Necaurredzams","oss-aion-evidence.5c3fc92e3f":"Pārliecības rādītājs","oss-aion-evidence.fd3c76543b":"Viens skaitlis, kas apkopo iekšējo stāvokli. Divas sistēmas var uzrādīt vienu un to pašu rādītāju un nonākt pie pretējiem secinājumiem par vienu un to pašu ievadi.","oss-aion-evidence.16f3dacf52":"Nav atvasinājuma","oss-aion-evidence.7f34e37f1b":"Pašģenerēts skaidrojums","oss-aion-evidence.361b70a63e":"To uzrakstījis tas pats modelis, kas pieņēma lēmumu. Tas pats sev pārbauda darbu, tāpēc tas nevar kalpot kā neatkarīgs pierādījums.","oss-aion-evidence.782acc59ce":"Aplis","oss-aion-evidence.477416bf24":"Uzticēties pārdevējam","oss-aion-evidence.1e84c62138":"Kad regulators, pacients vai tiesa jautā \"parādiet savu darbu\", pakalpojuma līmeņa solījums nav atbilde, ko viņi var pārbaudīt.","oss-aion-evidence.76afe0e09f":"Nepārbaudāms","oss-aion-evidence.06f2d5f1a8":"Sertifikāts, nevis apgalvojums","oss-aion-evidence.cdcc6f712c":"AION izsniedz pierādījuma sertifikātu kopā ar atbildi. Sertifikātā ir uzskaitīts katrs spriešanas solis tādā secībā, kādā tas tika veikts.","oss-aion-evidence.6d1c5f470b":"Pārbaudījis kāds cits","oss-aion-evidence.cc65178dc5":"Atsevišķs pārbaudītājs iziet cauri soļiem un vai nu pieņem, vai noraida. Jautājumu uzdošā puse to palaiž pati.","oss-aion-evidence.412a3b1e5e":"Vēlāk atkārtoti izpildāms","oss-aion-evidence.9082c552d2":"Tas pats sertifikāts nākamajā mēnesī tiek pārbaudīts vienādi, citā mašīnā, bez piekļuves sākotnējai sistēmai.","oss-aion-evidence.1206578b48":"parādiet savu darbu","oss-aion-evidence.494beafd71":"revīzijas jautājums","oss-aion-evidence.bba8b0753d":"pierādījums pret apgalvojumu","oss-aion-evidence.00e2ca4c85":"Kad AI lēmums nonāk pie regulatora, pacienta vai drošības lietas, kāds jautā","oss-aion-evidence.1defdb9d85":"kā tas nonāca pie šīs atbildes.","oss-aion-evidence.290a698043":"Lielākā daļa organizāciju nevar sniegt atbildi,\n          ko jautājošā persona var pārbaudīt pati.","oss-aion-evidence.56f6624482":"Nav pierādījums","oss-aion-evidence.a295517f40":"Ko šodien piedāvā","oss-aion-evidence.7ea014de7b":"Pierādījums","oss-aion-evidence.4cb1cd3e53":"Ko AION nodod","oss-aion-evidence.2a36a263da":"Pierādījums netiek apgalvots. Pierādījums tiek pārbaudīts.","oss-aion-evidence.e0a4c0a385":"Neatkarīga pārbaude ir vienīgā atbilde, ko revidents var pieņemt.","oss-aion-exact-sum.21aaad8129":"negatīvs reizinātājs tiek atteikts pirms summas ņemšanas, pirmajā pārbaudē","oss-aion-exact-sum.3b267c2a81":"šajā ķēdē nav iekšējā peldošā komata","oss-aion-exact-sum.1a43ebe28c":"tātad sistēma tiek atspēkota","oss-aion-exact-sum.452308dbcd":"konstante paliek","oss-aion-exact-sum.35add33a7a":"kas paliek pāri","oss-aion-exact-sum.df326a819b":"y vārdi izslēdzas","oss-aion-exact-sum.dae482d4b2":"x vārdi izslēdzas","oss-aion-exact-sum.c36d183406":"saskaitiet mērogotās nevienādības kopā","oss-aion-exact-sum.79e4c9d3fa":"mērogot to","oss-aion-exact-sum.c3c4b24b20":"abas nevienādības, viss vienā pusē","oss-aion-exact-sum.b6b4c73115":"Summa pilnībā","oss-aion-exact-sum.c1c66bf52c":"Nosacījumi tiek pārbaudīti secībā, un katrs ir patstāvīgs atteikums. Negatīvs\n            reizinātājs tiek atteikts pirms jebkuras summas ņemšanas, jo mērogošana ar negatīvu\n            skaitli apgriež nevienādību. Summa, kurā saglabājas mainīgais vārds, tiek atteikta,\n            nosaucot saglabājošos vārdu. Summa, kuras atlikusī konstante nav pozitīva, tiek\n            atteikta, jo tā neko nepierāda. Koeficients, kas pārsniedz lieluma aizsargu, rada\n            pārpildi, nevis aptinumu. Nekas šajā ķēdē nav pielaide.","oss-aion-exact-sum.6efbacfc5b":"Aritmētiska atspēkošana ir reizinātāju kopa. Uzrakstiet katru nevienādību ar\n            visu vienā zīmes pusē, mērogot to, saskaitiet mērogotās nevienādības kopā,\n            un, ja katrs mainīgais vārds izslēdzas un tas, kas paliek pāri, ir pozitīvs skaitlis,\n            par kuru teikts, ka tas ir ne vairāk kā nulle, tas nevar būt patiess, tātad nevar\n            būt patiesa arī sistēma, no kuras tas radies. AION pieņem šos reizinātājus\n            robežā un pārveido tos deklarētā adaptīvā veselu skaitļu/fiksēta komata\n            attēlojumā pirms pārbaudes. Tas iekšēji neuzglabā, neuzkrāj un neaprēķina\n            peldošā komata vērtības, un tam nav peldošā komata rezerves. Daļa šeit paliek\n            izdrukāta, jo tā padara pretrunu salasāmu; pārbaudi nosaka tā deklarētais\n            pārveidojums un mērogs.","oss-aion-exact-sum.31934abfaa":"Tā pārveidojums deklarē mērogu.","oss-aion-exact-sum.a3caf489e5":"Trešdaļa nav 0,333.","oss-aion-exact-sum.15e6a906dd":"Deklarēta adaptīva fiksēta komata aritmētika","oss-aion-exact-sum.108a35964a":"summa saka 11/6 <= 0, kas ir nepatiess,","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":"jā","oss-aion-exact-sum.c4c6c57253":"pozitīvs","oss-aion-exact-sum.b55e22fe78":"precīzs","oss-aion-exec-cert.6a230011ab":"to pārbauda kaut kas cits","oss-aion-exec-cert.2c14724b1b":"to radīja izpildlaiks","oss-aion-exec-cert.b07722ef0c":"ierobežojums","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"modulis izvadei","oss-aion-exec-cert.a7b63abc02":"Ko sertifikāts satur","oss-aion-exec-cert.e1bbfaa783":"Identitāte tam, kas iznāca, un vai tas tika notverts.","oss-aion-exec-cert.59871c9494":"Izvade un statuss","oss-aion-exec-cert.ffb779a5c3":"Ierobežojumi, kuros tas darbojās, kā robežas, nevis kā novērojumi.","oss-aion-exec-cert.ffbc724f07":"Resursu ietvars","oss-aion-exec-cert.273c1da325":"Deterministisks, ņemot vērā moduli, ievades un atļaujas.","oss-aion-exec-cert.acee491c99":"Stāvokļa pārejas","oss-aion-exec-cert.eab885bbb2":"Kam tam bija atļauts sasniegt, paziņots pirms tā darbības.","oss-aion-exec-cert.dc009dc166":"Spēju atļaujas","oss-aion-exec-cert.6f3eb29822":"Kurš modulis, pēc satura adreses, kurā izpildlaika versijā.","oss-aion-exec-cert.c201b4ae89":"Moduļa identitāte","oss-aion-executed-under.6b6dab207c":"Sertifikāta atļautais","oss-aion-executed-under.1fcfedc78a":"ko tas varētu sasniegt","oss-aion-executed-under.0338c5441d":"Jautājums pēc fakta ir pilnvaras, un sertifikāts tās nes.","oss-aion-executed-under.bc70ed4db9":"Četras atļaujas piešķirtas un trīs atteiktas.","oss-aion-executed-under.6f9d76b8c0":"Pārejas ir deterministiskas, ņemot vērā moduli, ievades un atļaujas, tāpēc viss\n            tas tika izsekots, nekad nepalaižot darba slodzi.","oss-aion-executed-under.e044b5f419":"Identitāte, ko sertifikāts deklarē, nav identitāte, ko pārejas rada, tāpēc\n            izpilde tiek atteikta pie izvades. Viss pirms tās tika precīzi rekonstruēts.","oss-aion-executed-under.7f0cc64ae8":"deterministiskas pārejas","oss-aion-executed-under.5fa4050afc":"spēju kopa, deklarēta pirms izpildes","oss-aion-executed-under.844e9ed357":"pulkstenis, novērošana nav iestatīta","oss-aion-executed-under.b3ccbb4041":"atmiņas ierobežojums 512 MiB","oss-aion-executed-under.1fe892a96f":"viens ligzda, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"lasīt /var/lib/claims","oss-aion-executed-under.7a02a68db0":"nav piešķirta","oss-aion-executed-under.685706abcf":"izvades identitāte atšķiras","oss-aion-executed-under.6287ff317a":"radīta","oss-aion-executed-under.0baff051a0":"deklarēta","oss-aion-executed-under.1029d67644":"izvade","oss-aion-executed-under.fbd34a2b6e":"modulis","oss-aion-executed-under.910e029098":"ilustratīvs","oss-aion-executed-under.df6fe4f714":"spēja saglabāties pēc izpildes","oss-aion-executed-under.b51590997b":"visas pārējās adreses","oss-aion-executed-under.e4e545e3b7":"viss pārējais failu sistēmā","oss-aion-fact-strip.0dc9622797":"Katrs skaitlis izsekojams līdz AION krātuvei.","oss-aion-fact-strip.b7feece146":"AION skaitļos","oss-aion-fact-strip.fedec331ff":"Bibliotēka, CLI un etalons vienā darbvietā","oss-aion-fact-strip.13a24daf03":"Implementācija","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Binārais, veselais un adaptīvais fiksētais punkts; bez iekšējā peldošā punkta","oss-aion-fact-strip.5688a0448c":"Aritmētikas kodols","oss-aion-fact-strip.0cae74747c":"Precīzs","oss-aion-fact-strip.379c055f01":"Lineārs pierādījuma garumā, bezsaistē, bez risinātāja","oss-aion-fact-strip.04ce84fb6e":"Verifikācijas izmaksas","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe un vienota starpposma forma","oss-aion-fact-strip.e6c67de15e":"Pierādījumu formāti","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Loģiskās teorijas","oss-aion-failure-notice.d8164c5dd8":"atklājums, nevis strīds","oss-aion-failure-notice.159098bbba":"Otrs sāk argumentu, kuru neviens nevar noslēgt.","oss-aion-failure-notice.814fc5cd4f":"Vienu no šiem var nosūtīt piegādātājam otrdienas pēcpusdienā.","oss-aion-failure-notice.2e6ea3eaa5":"nevar piešķirt, nevar noteikt cenu, nevar precīzi apstrīdēt","oss-aion-failure-notice.e896d6344f":"verifikācija neizdevās","oss-aion-failure-notice.587270a2e4":"kur katrs lauks atrodas","oss-aion-failure-notice.ba0f0eb3fe":"priekšnoteikums nav klāt","oss-aion-failure-notice.0c2a7f4aef":"415. solis","oss-aion-failure-notice.55daa4a2ea":"pēdējie četri soļi lasāmi","oss-aion-failure-notice.ca548ed152":"2026. gada 17. marts","oss-aion-failure-notice.3c05b129e2":"spriedums nav pieņemts","oss-aion-failure-notice.aa943932a5":"atteikuma paziņojums","oss-aion-failure-notice.28fb3d519e":"rekonstruēts","oss-aion-failure-notice.bd370d1b6f":"solis","oss-aion-failure-notice.910e029098":"ilustratīvs","oss-aion-failure-notice.e6b658331e":"un neviens netiek apsūdzēts","oss-aion-failure-notice.94002635cd":"jūs, ja tas ir precizējošs jautājums","oss-aion-failure-notice.7ab178c9a0":"veids","oss-aion-failure-notice.0d967ff8f3":"aizpilda trūkstošo priekšnoteikumu","oss-aion-failure-notice.b54c9b7359":"kurš izveidoja soli","oss-aion-failure-notice.94a94ba774":"iemesls","oss-aion-failure-notice.ba3167e426":"apstiprina, ko šim solim vajadzētu darīt","oss-aion-failure-notice.32ec97b69b":"jūsu noteikumu kopas īpašnieks","oss-aion-failure-notice.b543dc38fd":"noteikums","oss-aion-failure-notice.ad866c4aef":"atver failu 415. solī","oss-aion-failure-notice.06fddd86f6":"piegādātāja pierādījumu komanda","oss-aion-failure-notice.aecf66bfac":"atrašanās vieta","oss-aion-failure-notice.1d7794c5e2":"šim pierādījumam spriedums nav pieņemts","oss-aion-failure-notice.f4475dac73":"sekas","oss-aion-failure-notice.566c7d73a0":"solis atsaucas uz priekšnoteikumu, kas failā nav klāt","oss-aion-failure-notice.7947e92e3c":"iemesls","oss-aion-failure-notice.5dfa011717":"noteikums, izšķirtspēja","oss-aion-failure-notice.64463af8a3":"414 pieņemti","oss-aion-failure-notice.c21ce4fb88":"soļi lasāmi","oss-aion-failure-notice.2bf60a2164":"piegādātāja konfliktu analīze marta noteikumu kopai","oss-aion-failure-notice.335ce16b3f":"priekšmets","oss-aion-family-board.ca8f6715c8":"versijas atsevišķi","oss-aion-family-board.e794ff76c1":"izklāsts, kas gaida verificētāju","oss-aion-family-board.0f2e82af82":"Deviņas ģimenes dala vienu aploksni un neko citu. Desmitā ir","oss-aion-family-board.ca6c6dda8e":"verificētājs un deklarēta noteikumu kopa","oss-aion-family-board.c53186083e":"desmitā","oss-aion-family-board.0020359543":"nederīga pāreja, pārsniegts piešķīrums, neatbilstoša izvade,\n              nepilnīgs izsekošanas ceļš","oss-aion-family-board.187225126d":"atteikuma taksonomija","oss-aion-family-board.fac6c7230f":"atkārtoti izpildīt pārejas pret deklarētajiem\n              ierobežojumiem un noteikumu kopu","oss-aion-family-board.155e6164fc":"verifikācijas algoritms","oss-aion-family-board.924f583920":"deterministiska pāreju secība ar ievades un\n              izvades identitātēm","oss-aion-family-board.c0e6022509":"pierādījuma attēlojums","oss-aion-family-board.927f6ddf1e":"šī darba slodze tika izpildīta saskaņā ar šiem piešķīrumiem un sasniedza šo izvadi","oss-aion-family-board.79bf5b0ee6":"pretenzijas veids","oss-aion-family-board.131097a25c":"Izpildlaika izpilde, v2","oss-aion-family-board.50b24e4d4c":"viena plāksne, atvērta","oss-aion-family-board.803aa98470":"ka saglabātais ieraksts ir tas, kas tika pieņemts","oss-aion-family-board.3e71ceb1ca":"Uzglabāšanas integritāte","oss-aion-family-board.f8603f4710":"ka deklarētais modelis radīja šo izpildi","oss-aion-family-board.ccc3c9b41d":"Simulācija un FMI","oss-aion-family-board.d0c6b470a4":"ka tā tika izpildīta saskaņā ar tai dotajiem piešķīrumiem","oss-aion-family-board.dc37599f99":"Izpildlaika izpilde","oss-aion-family-board.4f059da0be":"ka artefakts saglabā avotu","oss-aion-family-board.aad755de42":"Kompilācija","oss-aion-family-board.69ce9b9c4f":"ka pārvaldītā darbība notika","oss-aion-family-board.ed87ca5ca0":"Organizatoriskā","oss-aion-family-board.0dbf90d179":"ka deklarētā atvasināšana rekonstruē","oss-aion-family-board.e272c597fd":"Pamatojums","oss-aion-family-board.e79949ba43":"ka īpašība ir spēkā visās izpildēs, nevis vienā","oss-aion-family-board.bdb5a28846":"Laika un hiperīpašību","oss-aion-family-board.b83c805a0a":"ka nekas labāks neeksistē robežās","oss-aion-family-board.c794704381":"Optimizācija","oss-aion-family-board.ede1ae7e54":"ka neviena piešķiršana neapmierina kopu","oss-aion-family-board.a04ce90d06":"Loģika un izpildāmība","oss-aion-family-board.b98b54298f":"deviņi reģistrēti, viens izklāsts","oss-aion-family-board.6253e9d668":"Ģimenes padome","oss-aion-family-board.910e029098":"ilustratīvs","oss-aion-family-registry.6e32650bab":"un versiju uz visiem","oss-aion-family-registry.dcd1f1fdc9":"četras deklarācijas katrā saimē","oss-aion-family-registry.3bc3fe987d":"Kļūmes, ko šī saime var atgriezt, katra ar savu atrašanās vietu.","oss-aion-family-registry.d129426d71":"Atteikuma taksonomija","oss-aion-family-registry.d4504f5b41":"Ko verifikators izpilda, un noteikumu kopa, ko tas pieņem.","oss-aion-family-registry.52ab770040":"Verifikācijas algoritms","oss-aion-family-registry.4c9dd89c88":"Kā tiek nodots pierādījums, atvasinājums vai izsekošana.","oss-aion-family-registry.016fecd943":"Pierādījuma attēlojums","oss-aion-family-registry.ab1e33179a":"Ko šī saime nosaka, un ko tā apzināti nenosaka.","oss-aion-family-registry.8a547220fc":"Prasījuma veids","oss-aion-family-registry.37094b3cc5":"pirms to var pārbaudīt","oss-aion-family-registry.b14e18379b":"REĢISTRS","oss-aion-family-registry.b3e4281358":"Ko saime deklarē","oss-aion-family-registry.7efea8ff96":"nepilnīgs","oss-aion-family-registry.995fee1f1a":"neatbalstīts","oss-aion-family-registry.81f344a768":"nederīgs","oss-aion-foreign-proof.4c43cb0de1":"bez licences, bez vides","oss-aion-foreign-proof.9406c96fa7":"četras plānas līnijas starp tām","oss-aion-foreign-proof.9fefe2d67f":"Četri darba veidi vienā pusē, četri lasāmi objekti otrā, un","oss-aion-foreign-proof.57802c0b4e":"Verifikators nekad nepalaida kreiso pusi, un tam tas nav jādara.","oss-aion-foreign-proof.1dfc94b110":"viens kvīts","oss-aion-foreign-proof.cff5f15fed":"divas pārejas","oss-aion-foreign-proof.d58f13fb52":"pilnvaru pārbaude","oss-aion-foreign-proof.24ef006723":"pilnvaras un kvītis","oss-aion-foreign-proof.933912faec":"aģenti, koordinējot","oss-aion-foreign-proof.2ae1de46da":"stāvoklis paliek deklarētajā apvalkā","oss-aion-foreign-proof.ed96565674":"kontrolpunkti un invariants","oss-aion-foreign-proof.0ae689c7bd":"integrācijas soļi","oss-aion-foreign-proof.f9020659b6":"kodola izvēle","oss-aion-foreign-proof.3e77a07952":"saglabāšanas apgalvojumi","oss-aion-foreign-proof.2bb64b9b5b":"optimizācijas piegājieni","oss-aion-foreign-proof.c8b39aa910":"klauzulas atvasināšana","oss-aion-foreign-proof.4da89bbc52":"risinātāja meklēšana","oss-aion-foreign-proof.51339ff0ea":"pierādījumi, jūsu ierīcē","oss-aion-foreign-proof.4f45bf808d":"darbs, ražotāja pusē","oss-aion-foreign-proof.c369931988":"četras rindiņas, nekas cits","oss-aion-foreign-proof.ec0b7e2c43":"Kas šķērso robežu","oss-aion-foreign-proof.44d74dd33f":"formas","oss-aion-foreign-proof.e7b1fff700":"tipi","oss-aion-foreign-proof.910e029098":"ilustratīvs","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT un Alethe pārbauda lineārā laikā bezsaistē. DRAT tiek pārbaudīts un pēc tam saīsināts līdz LRAT.\n            Unified konvertē starp tiem bez zudumiem.","oss-aion-formats.14a628e6d3":"Pārbaudījis","oss-aion-formats.dda6ac27b9":"Pārbaudīt","oss-aion-formats.34556fa12c":"Formāta karte","oss-aion-formats.e6c67de15e":"Pierādījumu formāti","oss-aion-formats.8a5e29e5bb":"konversija bez zudumiem","oss-aion-formats.ddb7c01560":"viens avots, četras formas","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# vienots starpposma pierādījums","oss-aion-formats.0d3311a5dc":"aion-proofs pārveidotājs","oss-aion-formats.1f5124d90b":"Konvertēts eksportējot","oss-aion-formats.8c21b7e1f1":"Iekšējais attēlojums, kas konvertē starp pārējiem bez zudumiem.","oss-aion-formats.ebb8e8cf49":"Starpposma forma","oss-aion-formats.287fda8114":"Unified","oss-aion-formats.6d56822b09":"(h1 h2))","oss-aion-formats.87d27a2d97":"t3 (cl Q) ","oss-aion-formats.6d3a4ab6e5":"(=> P Q))","oss-aion-formats.ec18650019":"cvc5, Carcara","oss-aion-formats.0cdb7c9a36":"Lineārs laiks, bezsaistē","oss-aion-formats.f6f7b642b0":"SMT-LIB kopienas formāts no cvc5 un veriT līnijas.","oss-aion-formats.4aa5db37af":"SMT pierādījums","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat pievienošanas un dzēšanas rindas","oss-aion-formats.f3ba7f38e9":"drat-trim līdz LRAT","oss-aion-formats.36f33c83a6":"Pārbaudīts, pēc tam saīsināts","oss-aion-formats.4745aebc97":"Klauzulu pievienošana un dzēšana. Formāta pārbaudītāji saīsina līdz LRAT.","oss-aion-formats.154df3dc2f":"SAT sertifikāts","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" tukša klauzula atvasināta","oss-aion-formats.6fd630d612":" lrat ar vienību norāžu pavedieniem","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Nozares standarta rezolūcijas pierādījumi propozicionālajam kodolam.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"fails, kas nekad neaizveras","oss-aion-four-gates.0ff8f0eb5a":"un vēl viens beigās","oss-aion-four-gates.a1ebd8379f":"pirms 1. soļa","oss-aion-four-gates.b161dbb47d":"Vispirms fails tiek skenēts, lai atrastu atkārtotu soļa numuru.","oss-aion-four-gates.21e412d2d0":"Divi soļi, viens numurs","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"un viens pirms jebkura no tiem","oss-aion-four-gates.e74bdcd46a":"Četri testi šādā secībā","oss-aion-four-gates.fef891bb33":"15. solis","oss-aion-four-gates.cc90eb3e73":"Nav rutīnas nosaukumam. Lasīšana apstājas, nevis izlaiž.","oss-aion-four-gates.787e8a8577":"Noteikums nav zināms","oss-aion-four-gates.e70c55582f":"52. solis","oss-aion-four-gates.59446cbcf9":"Pieņēmums, kas ir klāt, bet numurēts virs soļa, uz kuru tas atsaucas.","oss-aion-four-gates.f1604fe1aa":"Citēts ārpus kārtas","oss-aion-four-gates.a42f56e597":"44. solis","oss-aion-four-gates.371b9613cc":"Citēts numurs, kura failā nav.","oss-aion-four-gates.1d1369a316":"Pieņēmuma nav","oss-aion-four-gates.e1391a7c80":"31. solis","oss-aion-four-gates.9a7512e955":"Solis, kas balstās uz savu secinājumu. Tiek jautāts pirmais, par katru soli.","oss-aion-four-gates.7f30dfcc04":"Atsaucas uz sevi","oss-aion-governed-operation.b0582e8559":"Viena darbība, pārbaudīta","oss-aion-governed-operation.8af7f1d469":"pārvaldīta, pēc tam pārbaudīta","oss-aion-governed-operation.ada470c3d7":"Ķēde un tās verifikācija ir divas dažādas autoritātes.","oss-aion-governed-operation.90fba649e4":"Četri elementi rekonstruēti, un piektais aptur lasīšanu.","oss-aion-governed-operation.ea8356461f":"nav šajā sertifikātā: ko jebkurš aģents domāja","oss-aion-governed-operation.2f68c232b4":"Politikas versija, ko sertifikāts deklarē, nesatur nosacījumu, ko šī vārteja\n                apgalvo piemērojusi. Darbība tiek atteikta šajā elementā, un par visu kopumu\n                netiek izdots spriedums.","oss-aion-governed-operation.be51277bfd":"nav sasniegts","oss-aion-governed-operation.57b160e317":"verifikatora piegājiens, pēc savas autoritātes","oss-aion-governed-operation.26f017e3e6":"pieņemts, atsauce 4471-b","oss-aion-governed-operation.34c3c00446":"saņemšana reģistrēta","oss-aion-governed-operation.159338740e":"maksājuma instrukcija, virsgrāmatas sistēma","oss-aion-governed-operation.80f6148b56":"darbība veikta","oss-aion-governed-operation.458c8c203d":"darbībai, nevis ziņojumam tās tuvumā","oss-aion-governed-operation.1b4dcda6ba":"apstiprinājums pievienots","oss-aion-governed-operation.303418bf06":"virs 50 000 nepieciešams otrs apstiprinātājs","oss-aion-governed-operation.faf1f5eb4b":"politikas vārteja","oss-aion-governed-operation.557df801be":"uzdevumu pārejas","oss-aion-governed-operation.b1c842256e":"prasību izskatītājs","oss-aion-governed-operation.59bef6c3e5":"autoritāte noteikta","oss-aion-governed-operation.0639a9efd0":"četri aģenti, nevienlīdzīgs tvērums","oss-aion-governed-operation.8e44be8724":"organizācija izveidota","oss-aion-governed-operation.139146ad26":"politika v4.2","oss-aion-governed-operation.8524f08438":"nokārtot ceturkšņa piegādātāju prasības","oss-aion-governed-operation.cab7375bdf":"darbība, kā to veica Nexus","oss-aion-governed-operation.82c8154dca":"atteikts vārtē","oss-aion-governed-operation.a503bc1da2":"atteikts","oss-aion-governed-operation.28fb3d519e":"rekonstruēts","oss-aion-governed-operation.45807bf2ec":"nokārtots","oss-aion-governed-operation.fb92f3f834":"novērtēts","oss-aion-governed-operation.590abaace4":"atvērts","oss-aion-governed-operation.d2dc873868":"objektīvs","oss-aion-governed-operation.910e029098":"ilustratīvs","oss-aion-harness-fields.d5ad303466":"un skaitlis, ko varat citēt","oss-aion-harness-fields.5a31ca3c0f":"jūsu korpuss, jūsu aparatūra","oss-aion-harness-fields.58664673b0":"Izdrukāts visā korpusā pēc izpildes beigām.","oss-aion-harness-fields.6197b910db":"Pareizs skaits","oss-aion-harness-fields.175226a475":"Salīdzinājumā ar statusu, kas ierakstīts pašā failā.","oss-aion-harness-fields.d787e678da":"Atbildēt atbilstoši statusam","oss-aion-harness-fields.b5ec587356":"Pati meklēšana, katrā gadījumā, nevis vidēji.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Risināšanas laiks","oss-aion-harness-fields.bec737ff93":"Cik ilgi fails tika lasīts, atsevišķi no risināšanas.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Parsēšanas laiks","oss-aion-harness-fields.20e5752f58":"Augstākā atzīme, lai kapacitātes plānā būtu skaitlis.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Maksimālā rezidentā atmiņa","oss-aion-harness-fields.b660370132":"viens fails no jūsu korpusa","oss-aion-harness-fields.ec845d015d":"katrā gadījumā, pēc tam summēts","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Ko ieraksta viena izpilde","oss-aion-harness-fields.b3cbdd75cb":"atspēkots","oss-aion-harness-fields.48a3661d84":"statuss","oss-aion-harness-fields.25dc282b5a":"atbilde","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Risina...","oss-aion-hero-glyph.3d08723a54":"Rezultāts: 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":"Laiks: 4 ms","oss-aion-hero-glyph.138243f0f4":"Rezultāts: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Pierādījums: 128 soļi","oss-aion-hero-glyph.41294a8dc8":"Pierādījums ierakstīts: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli pārbaudīt proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Pārbauda pierādījumu: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Parsēšana: OK","oss-aion-hero-glyph.27d28e3ca9":"Pierādījumam ir 128 soļi","oss-aion-hero-glyph.1ba94dea63":"Pierādījuma statistika:","oss-aion-hero-glyph.e1b3c4d7c5":"  Kopējie soļi: 128","oss-aion-hero-glyph.e30b86fef9":"  Rezolūcijas soļi: 71","oss-aion-hero-glyph.8215376faf":"  Aritmētiskie soļi: 24","oss-aion-hero-glyph.552f29f0b5":"  Maksimālais klauzulas izmērs: 6","oss-aion-hero-glyph.fc539fcf62":"Pierādījuma verifikācija: IZDEVUSIES","oss-aion-hero-glyph.1e4bdfb80c":"Verifikācijas laiks: 2 ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Bezsaistē","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + teorija","oss-aion-hero-glyph.6ba46a924e":"adaptīvais fiksētais punkts","oss-aion-hero-glyph.a9f24b1b66":"lineāra laika pārbaude","oss-aion-hero-glyph.6b5eb5323e":"Sertifikāts pievienots","oss-aion-how-to-check.c799cc998b":"Rezultāts: tas ir pareizi.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"Pirmā iekārta nodod savu kvīti atsevišķam palīgam, kurš to pārbauda","oss-aion-how-to-check.d026bcfccb":"Rezultāts ir vienkāršs: kvīts sakrīt vai nesakrīt. Nekāda varbūtība nav.","oss-aion-how-to-check.d0c84a5a37":"Pārbaude notiek tieši tur, kur atrodaties. Nekas netiek nosūtīts prom un nav nepieciešama tīmekļa vietne.","oss-aion-how-to-check.623151a710":"Palīgs, kurš pārbauda, nav tā iekārta, kas atbildēja. Tas nevar vienkārši piekrist pats sev.","oss-aion-how-to-check.87e974a415":"izlasa to un pārbauda","oss-aion-how-to-check.3c487e646c":"Otrs palīgs","oss-aion-how-to-check.78829f8a37":"soļi, pierakstīti","oss-aion-how-to-check.9b7b265fbb":"Kvīts","oss-aion-how-to-check.f58fd2cb80":"sniedz atbildi un kvīti","oss-aion-how-to-check.50e90303d4":"Pirmā iekārta","oss-aion-integration.b1873dbd42":"Viens dzinējs, bez ārēja pakalpojuma. Saistiet crate, nofiksējiet versiju un pārbaudiet sertifikātus tajā pašā vidē.","oss-aion-integration.5f2e7d7c25":"Viens un tas pats pierādījuma sertifikāts no katras virsmas. Ievadiet vaicājumu, saņemiet pārbaudāmu sertifikātu.","oss-aion-integration.a4db3ae8b6":"Kā to izsaukt","oss-aion-integration.4ec6d609ab":"Sāciet ar vienu lēmuma ceļu","oss-aion-integration.559461e293":"bibliotēka, CLI, etalons","oss-aion-integration.0228a4c724":"Ikviens var pārbaudīt sertifikātu ar aion check vai ar neatkarīgu LRAT vai Alethe pārbaudītāju savā datorā.","oss-aion-integration.dda6ac27b9":"Pārbaudīt","oss-aion-integration.4d2c6036eb":"Novietojiet aion-cli aiz sava pakalpojuma. Pierādījuma sertifikāts ir līgums, ko pakalpojums atgriež.","oss-aion-integration.c3447e7954":"Ietīt","oss-aion-integration.f9109d0f04":"Pievienojiet crate esošai Rust lietotnei un izdodiet sertifikātus iekļautus atbildēs, ko tā jau ģenerē.","oss-aion-integration.ad02e14e28":"Iegult","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Dedikēts etalonu binārais fails ir iekļauts darbvietā. Mēriet risināšanu un pārbaudi uz savas aparatūras, nevis uzticieties ražotāja skaitlim.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Vadiet AION no čaulas vai CI darba. solve izpilda vaicājumu, check pārbauda pierādījuma sertifikātu bezsaistē, un prove izdod vienu. Tas pats pierādījuma izvads kā bibliotēkai.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Saistiet AION kā crate un izsauciet risinātāju un pierādījuma izvadītāju tieši. Kodols, teorijas un pierādījuma formāti ir procesā, bez nepieciešamības uzstādīt pakalpojumu.","oss-aion-integration.8319d9b3b9":"Rust bibliotēka","oss-aion-live-margins.df15dfd304":"viens no tiem ir darbība","oss-aion-live-margins.96576608a5":"trīs no šiem ir rādījumi","oss-aion-live-margins.5711ac01c1":"IZSEKOTS","oss-aion-live-margins.f719aa9511":"pagājis pret atļauto","oss-aion-live-margins.a344938438":"Četri pienākumi","oss-aion-live-margins.19e5ecc09e":"tajā pašā dienā, pasākumā","oss-aion-live-margins.828697f103":"Pārsūtīšanas ieraksts","oss-aion-live-margins.222af170d9":"44 dienas no 30, joprojām atvērts","oss-aion-live-margins.a441e09d1a":"Saglabāšanas logs","oss-aion-live-margins.30e04c8f23":"2 dienas no 3","oss-aion-live-margins.20d6944505":"Pārkāpuma paziņojums","oss-aion-live-margins.9b9419d2e2":"26 dienas no 30","oss-aion-live-margins.6e7d6c760b":"Subjekta atbilde","oss-aion-nothing-outbound.45b9d8acdc":"nav izejošā klienta","oss-aion-nothing-outbound.5b16b5db9a":"Katrs ceļš sākas un beidzas līnijā, ko tu pats novilki.","oss-aion-nothing-outbound.59a0768496":"Nekas uz šīs lapas nesniedzas tālāk par kontūru.","oss-aion-nothing-outbound.71c31d8219":"lokāls process šajā ierīcē","oss-aion-nothing-outbound.605f85e28f":"ārējs pierādītājs","oss-aion-nothing-outbound.150bc2359d":"viens apakštīkls, ko nosaki tu","oss-aion-nothing-outbound.5193678a39":"klastera adreses","oss-aion-nothing-outbound.49c4e670b3":"tavs tīkls","oss-aion-nothing-outbound.273ca4c134":"tas, ko tu konfigurē","oss-aion-nothing-outbound.7f8d7aeedb":"piecas rindas","oss-aion-nothing-outbound.bcec1ac359":"tas, ko šis ceļš pievieno tavam reģistram","oss-aion-nothing-outbound.4553aa0c94":"lokālā krātuve","oss-aion-nothing-outbound.93d65d8ef8":"arhīvs","oss-aion-nothing-outbound.760cfc52ce":"pārbaudītājs","oss-aion-nothing-outbound.6621d172f5":"lasāmais noteikumu kopums","oss-aion-nothing-outbound.565f3cfc6a":"pārbaudāmais sertifikāts","oss-aion-nothing-outbound.284f61c8db":"tava vietne, tava aparatūra","oss-aion-nothing-outbound.f368a04bb8":"viena robeža, un tā ir tava","oss-aion-nothing-outbound.5c795b7e7d":"neviens ceļš neiziet","oss-aion-nothing-outbound.4f98b1412d":"Nekas neiziet no perimetra","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Tavā rokās esošā versija nemainās tev nepamanot.","oss-aion-nothing-outbound.07b9a651d1":"Piegādātāja laidienu grafiks, ko izsekot","oss-aion-nothing-outbound.8fa0bea3f8":"Neviens mūsu pakalpojums nav ceļā.","oss-aion-nothing-outbound.11449c8bd3":"Pieejamības atkarība, ko reģistrēt","oss-aion-nothing-outbound.66506ab77b":"Neviens modelis netiek izsaukts.","oss-aion-nothing-outbound.af474ee96b":"Modeļa nodrošinātājs, ko izvērtēt","oss-aion-nothing-outbound.f2250926d2":"Nekas neiziet no robežas.","oss-aion-nothing-outbound.e80e5b3403":"Pārrobežu pārsūtīšana, kas jāpamato","oss-aion-nothing-outbound.0bd87fb406":"Šajā ceļā nav neviena procesora.","oss-aion-nothing-outbound.9494490634":"Procesors, ko pievienot","oss-aion-obligation-calendar.366609b500":"starpība, nevis trauksme","oss-aion-obligation-calendar.3c8532b3c7":"Noteikums vidū ir vieta, kur beidzās lētais labojums.","oss-aion-obligation-calendar.949b1361f5":"Abi skaitļi ir rādījumi, ko šorīt var nolasīt ikviens.","oss-aion-obligation-calendar.7758d9c282":"nepieciešama darbība","oss-aion-obligation-calendar.4ebebe0b7c":"-14 dienas","oss-aion-obligation-calendar.6937bf485d":"sākts pirms šī mēneša","oss-aion-obligation-calendar.37ed878825":"saglabāšanas logs","oss-aion-obligation-calendar.3974c3ac47":"+4 dienas","oss-aion-obligation-calendar.aa69fdaab6":"atvērts, atļautas 30 dienas","oss-aion-obligation-calendar.c6727ea40c":"subjekta atbilde","oss-aion-obligation-calendar.51269d14af":"pēdējā diena, kad tas vēl bija pēcpusdienas darbs","oss-aion-obligation-calendar.96a8ebf797":"ilustratīvi datumi","oss-aion-obligation-calendar.fdcce3f37e":"viens ir pārsniedzis termiņu","oss-aion-obligation-calendar.11ddafb2cc":"Viens mēnesis saistību","oss-aion-obligation-calendar.a2620cbc10":"diena","oss-aion-one-contract-six.d3926ca64d":"viens reģistrs, viena skartā kopa","oss-aion-one-contract-six.c4d72c2328":"Viņu pierādījumi seko vienam AION aploksnim.","oss-aion-one-contract-six.a7e545052a":"Ražotāja izvades paliek atšķirīgas.","oss-aion-one-contract-six.5cbf78425a":"mainās viens noteikums, pārbaudiet skartos ierakstus vēlreiz","oss-aion-one-contract-six.f5c6772ad7":"viena atkārtotas pārbaudes rinda","oss-aion-one-contract-six.d3516bd6ea":"viens reģistra un krātuves ieraksts","oss-aion-one-contract-six.2ec012da6f":"viena AION aploksne","oss-aion-one-contract-six.2c653cc8fa":"tie paši septiņi ražotāji, izmantojot vienu AION aploksni","oss-aion-one-contract-six.725c682066":"dažādas izvades, ģimenei specifiski pārbaudītāji","oss-aion-one-contract-six.cddf74f2cf":"septiņas ražotāja izvades","oss-aion-one-contract-six.f063fe5bcd":"septiņas izvades augšā, viena aploksne apakšā","oss-aion-one-contract-six.c34e6d1a39":"septiņi ražotāji, viena pierādījumu aploksne","oss-aion-one-contract-six.910e029098":"ilustratīvs","oss-aion-one-contract-six.67bb73569c":"simulācijas sertifikāts","oss-aion-one-contract-six.7966a9fa49":"kompilācijas sertifikāts","oss-aion-one-contract-six.1111f590cc":"organizācijas sertifikāts","oss-aion-one-contract-six.293194c28e":"spriešanas sertifikāts","oss-aion-one-contract-six.8aa194122c":"loģiskā pierādījuma ieraksts","oss-aion-one-contract-six.30870de828":"modeļa identitāte, parametri, stāvoklis, kontrolpunkti, invarianti un trajektorijas jaucējvērtība","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"modulis, ievades, atļauju piešķīrumi, pārejas, ierobežojumi un izvade","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"avota grafs, transformācijas, invarianti un artefakta identitāte","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"autoritāte, politika, apstiprinājumi, pārejas un kvītis","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"ierobežojumu atvasināšana un atgrieztie risinātāja pierādījumi","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"pierādījums, modelis, kodols, liecinieks vai robeža","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Iespējams, neiespējams vai optimāls","oss-aion-one-contract-six.8f7924f6f5":"Ģimenei specifisks risinātāja pārbaudītājs","oss-aion-one-contract-six.2e9d2d4990":"Secinājums no deklarētajiem ierobežojumiem","oss-aion-one-contract-six.0e7a123b77":"Loom spriešanas pārbaudītājs","oss-aion-one-contract-six.3c1a0d119e":"Pabeigta pārvaldīta darbība","oss-aion-one-contract-six.6c2ed5435d":"Nexus organizācijas pārbaudītājs","oss-aion-one-contract-six.07b127b70d":"Kompilēts artefakts","oss-aion-one-contract-six.4f9018da9e":"Kera kompilācijas pārbaudītājs","oss-aion-one-contract-six.1f42a0b0ce":"Izpildīta darba slodze","oss-aion-one-contract-six.5a3c8f1f84":"Selvedge izpildes pārbaudītājs","oss-aion-one-contract-six.8879cc2e8a":"Simulēta trajektorija","oss-aion-one-contract-six.0d72478caf":"Simulācijas un FMI pārbaudītājs","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Pabeigta FMU palaišana","oss-aion-one-contract-six.8f5753fba0":"FMU identitāte, konfigurācija, soļi, notikumi, konverģence un izsekošana","oss-aion-one-contract-six.4d64b5bbaf":"Simulācijas un FMI pārbaudītājs","oss-aion-one-contract-six.6f99b37c1c":"Prasījums","oss-aion-one-contract-six.4cb3ee8fa2":"Pierādījumi","oss-aion-one-contract-six.0f3253d8d8":"Pārbaudītājs","oss-aion-one-envelope.3b24a9a880":"astoņi lauki, ar versiju","oss-aion-one-envelope.a348113c09":"kurš\n          verifikators to lasa.","oss-aion-one-envelope.08ace6c26e":"viens lauks izšķir","oss-aion-one-envelope.396e2145f9":"Četri pierādījumu veidi, viena atvēršana un","oss-aion-one-envelope.dc1a7be459":"balstījās uz otro","oss-aion-one-envelope.ddc01a5859":"trajektorijas apgalvojums","oss-aion-one-envelope.7f211a50e2":"parametru kopa","oss-aion-one-envelope.8f2aa45103":"modeļa identitāte","oss-aion-one-envelope.23e75e07fb":"izvēlas sertifikāta veida lauks, nevis tas, kurš to nosūtīja","oss-aion-one-envelope.4e4dc30b71":"kurš verifikators to lasa","oss-aion-one-envelope.c8c687f0ff":"viena un tā pati atvēršana, katru reizi","oss-aion-one-envelope.b5a871e570":"čeku kaudze","oss-aion-one-envelope.f90f47de4d":"pāreju virkne","oss-aion-one-envelope.3116f117c0":"caurlaides tabula","oss-aion-one-envelope.134483f4a2":"klauzulas pierādījums","oss-aion-one-envelope.93a8ee0c5f":"kas tiek ievietots","oss-aion-one-envelope.582a139a7d":"maršrutēts pēc veida","oss-aion-one-envelope.6b9805fe87":"Viena aploksne, četri dati","oss-aion-one-envelope.3dde401523":"izpildes laika darbība","oss-aion-one-envelope.708563c595":"ed25519, pārbaudīts","oss-aion-one-envelope.f2e0576c5b":"divi, nosaukti zemāk","oss-aion-one-envelope.f7b7603261":"aizzīmogots, 41 kB","oss-aion-one-envelope.15aae6195c":"sertifikāta dati","oss-aion-one-envelope.6732222b05":"sertifikāta veids","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"līguma versija","oss-aion-one-envelope.b578b9727d":"nav dubultas norēķināšanās periodā 2026-06","oss-aion-one-envelope.a503bc1da2":"noraidīts","oss-aion-one-envelope.51c817ab85":"pieņemts","oss-aion-one-envelope.495117c360":"atkarības","oss-aion-one-envelope.910e029098":"ilustratīvs","oss-aion-one-field-apart.e704601d64":"ass, nevis izlase","oss-aion-one-field-apart.5c256bca81":"Rezultāts mainījās līdz ar to, un tas ir secinājums, nevis statistika.","oss-aion-one-field-apart.7a1e726c2f":"Divas aplikācijas, kas identiskas visos publiskajos laukos, atšķiras tikai ar vienu skaitli.","oss-aion-one-field-apart.084f6c9ebe":"katrs pāris, ko noteikumi atļauj","oss-aion-one-field-apart.ddaee9368d":"tūkstoš pārbaudītu gadījumu","oss-aion-one-field-apart.4c4ccacd1b":"pāris, ko var ievietot failā","oss-aion-one-field-apart.6fddc6a6d1":"B josla,","oss-aion-one-field-apart.dbf68713b1":"tā pati līnija, pakāpienveida","oss-aion-one-field-apart.8c6c701170":"gadījums, kas neizdodas","oss-aion-one-field-apart.0f9dcd24f1":"rezultāts nebija atkarīgs no šī lauka","oss-aion-one-field-apart.154b3f8e44":"B josla, 3 piedāvājumi","oss-aion-one-field-apart.4392f1d89c":"viena līnija, bez pakāpiena","oss-aion-one-field-apart.02de2da27e":"gadījums, kas saglabājas","oss-aion-one-field-apart.b7de103af7":"bruto alga, brīva abās pusēs","oss-aion-one-field-apart.c86b5b3346":"vienāds abās pusēs","oss-aion-one-field-apart.54bb687f85":"ilustratīvas aplikācijas","oss-aion-one-field-apart.b69108366c":"rezultāts mainās pie pāra","oss-aion-one-field-apart.e79b0df746":"viena lauka atšķirība","oss-aion-one-field-apart.e1fef06921":"piedāvājumi","oss-aion-one-field-apart.8699f2b04f":"pastāvīgs","oss-aion-one-field-apart.06e3125012":"nodarbinātība","oss-aion-one-field-apart.305fa62f02":"30 līdz 39","oss-aion-one-field-apart.c6a0c81b25":"vecuma grupa","oss-aion-one-field-apart.61a7508ed1":"pamata","oss-aion-one-field-apart.38a007151a":"produkts","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"reģions","oss-aion-one-word.95fa084cc9":"viens no tiem AION pārbaudēm","oss-aion-one-word.ce157273ec":"trīs no šiem, kam tu tici","oss-aion-one-word.a04376ab99":"un ko ar to var darīt","oss-aion-one-word.1a5b0d2471":"SPRAUGA","oss-aion-one-word.69dc71b6f9":"Ar ko rezultāts nāk","oss-aion-one-word.8d40d2bfcc":"Rakstīti apgalvojumi, katrs nosauc noteikumu, pāreju vai premisu.","oss-aion-one-word.2f8acfe792":"Sertifikāts","oss-aion-one-word.b04dce1dd0":"Cik ilgi bija jāgaida, lai būtu pārliecināts. Pārliecība nav jautājums.","oss-aion-one-word.7eb987f893":"Ilgums","oss-aion-one-word.8388e9c8ba":"Ko sistēma darīja. Nevis kāpēc secinājums izriet.","oss-aion-one-word.40d0f0d4b5":"Žurnāls","oss-aion-one-word.e7597ba59a":"unsat, kompilēts, drošs, apstiprināts. Nekas, ar ko nepiekrist.","oss-aion-one-word.ae976ad8e9":"Viens vārds","oss-aion-org-cert.dd25bad09c":"un katrs tiek pārbaudīts","oss-aion-org-cert.e8add8f2b8":"organizācija, lomas, uzdevumi un apstiprinājumi aizpilda robus","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"no mērķa līdz saņemšanai","oss-aion-org-cert.0a629276bf":"Astoņi elementi ķēdē","oss-aion-org-cert.51e6694762":"Kas patiesībā tika darīts ārpusē un kas atgriezās.","oss-aion-org-cert.4f0a23ec14":"Darbības un saņemšanas apliecinājumi","oss-aion-org-cert.b249df120c":"Katra robeža, ko darbs šķērsoja, un kas to šķērsoja.","oss-aion-org-cert.5eaad4eb5f":"Šķērsotās robežas","oss-aion-org-cert.aba30ac5b8":"Kurai lomai bija kāda tiesība brīdī, kad darbība tika mēģināta.","oss-aion-org-cert.145ae750ce":"Atrisinātā pilnvaru struktūra","oss-aion-org-cert.f8a4dc9c6b":"Kas tika mēģināts un saskaņā ar kuru politikas versiju.","oss-aion-org-cert.63fbd2b7ee":"Mērķis un politika","oss-aion-pipeline.b07bbe8800":"Propozicionālais kodols","oss-aion-pipeline.81f811c968":"Konfliktu virzīta klauzulu apguves meklēšana Būla skeletā. Tā izlemj, izplata, saskaras ar konfliktu, apgūst klauzulu un atgriežas atpakaļ. Binārās, veselo skaitļu un adaptīvās fiksētā punkta vērtības ir lēmumu procedūras pamatā; peldošā punkta vērtības netiek glabātas, uzkrātas vai izmantotas kā rezerves risinājums aritmētiskajā kodolā.","oss-aion-pipeline.dc0dd5bc07":"lēmumi un apgūtās klauzulas","oss-aion-pipeline.0c5ad3c30f":"Teoriju spraudņi","oss-aion-pipeline.f3a7990ab0":"Kodols nodod daļēju piešķīrumu teoriju slānim. Aritmētika, bitu vektori, masīvi un virknes spriež savās jomās un atgriež izplatījumus un konfliktus. Ārējā peldošā punkta ievade tiek atkodēta robežā bināros laukos vai deklarētā fiksētā punkta skalā, pirms tā pievienojas pārbaudei. Kodols mitina šos spriedējus; laika un programmu teorijas dzīvo pavadošajās krātuvēs.","oss-aion-pipeline.9d1b00d225":"teoriju lemmas un konflikti","oss-aion-pipeline.fa6a461dcc":"Pierādījumu emitētājs","oss-aion-pipeline.b3ca95c05c":"Katrs dzinēja solis, katra rezolūcija un katra teoriju lemma tiek ierakstīta pierādījumu emitētājā, tiklīdz tā notiek. Rezultāts ir sakārtots atvasinājums, ko atsevišķs pārbaudītājs var atkārtoti izspēlēt pret tā premisām.","oss-aion-pipeline.17ac98f8af":"sakārtots atvasinājums","oss-aion-pipeline.26d98dc390":"Formāta eksports","oss-aion-pipeline.a79251f54d":"Atvasinājums tiek izvadīts kā LRAT, DRAT vai Alethe, vai saglabāts vienotajā starpposma formā. LRAT satur vienību izplatīšanas norādes, kas padara bezsaistes pārbaudi lineāru pierādījuma garumā.","oss-aion-pipeline.8c3cee1cd3":"pārnēsājams sertifikāts","oss-aion-pipeline.77ec79ed26":"no lēmuma līdz sertifikātam","oss-aion-pipeline.c320454a47":"CDCL + teorija + emitētājs","oss-aion-pipeline.a618b4be8d":"Vaicājums","oss-aion-pipeline.10de46b3b3":"Sertifikāts","oss-aion-pipeline.62923220ae":"Vesels skaitlis / fiksētais punkts.","oss-aion-pipeline.4961117925":"Kodolā nav peldošā punkta vērtību.","oss-aion-pipeline.591118af56":"Rezolūciju ķēde.","oss-aion-pipeline.39dfacd414":"Katrs solis atsaucas uz premisām, no kurām tas ir atkarīgs, secībā.","oss-aion-pipeline.7fc7b98317":"Pārbaudītājs ir neatkarīgs.","oss-aion-pipeline.f0bef425b5":"Sertifikāts atkārtojas bez risinātāja.","oss-aion-pipeline.a73bc5ed23":"Arhitektūra, CDCL kodols, teoriju spraudņi, pierādījumu emitētājs","oss-aion-plain-card.7e190a46ae":"Mašīna sniedz atbildi","oss-aion-plain-card.b8941c136d":"Dators kaut ko izrēķina jūsu vietā. Jums pašam atliek vien paļauties uz tā teikto.","oss-aion-plain-card.1232ecf314":"Tā arī izraksta čeku","oss-aion-plain-card.af7230bfb9":"AION liek mašīnai blakus atbildei izdrukāt nelielu čeku. Čekā redzams katrs solis, ko tā veikusi, lai nonāktu līdz atbildei.","oss-aion-plain-card.262d1681dd":"Čeku var pārbaudīt ikviens","oss-aion-plain-card.7d35d2e097":"Jūsu pašu palīgs izlasa čeku un saka: jā, tas summējas, vai nē, tas ir nepareizi. Tam nemaz nav jāuzticas pirmajai mašīnai.","oss-aion-plain-card.e8146bafb5":"AION vienkāršiem vārdiem","oss-aion-plain-card.0b081a8ef4":"Čeks iekļauts","oss-aion-plain-card.a32564404b":"Padomājiet par apmaksātu čeku. Kad kaut ko pērkat, saņemat papīra strēmeli, kas apliecina, ka\n          veikals no jums iekasējis pareizo summu. Šo čeku varat uzrādīt ikvienam, un viņi paši var to\n          saskaitīt.","oss-aion-plain-card.d5d9b99b9c":"AION dara to pašu ar datoru.","oss-aion-plain-card.2cc68d964c":"Kad mašīna sniedz\n          atbildi, AION jums pasniedz čeku, kas apliecina, ka atbilde ir pareiza, un ikviens to var pārbaudīt.","oss-aion-plain-card.374c644917":"Jums nekad nav vienkārši jāuzticas mašīnai. Čeks veic pierādīšanu.","oss-aion-plain-refusal.7d7fc8edd4":"the same explanation goes to you and to anybody reviewing it, because it is one\n            explanation","oss-aion-plain-refusal.40c2416b25":"a case you can read, not a cross you cannot","oss-aion-plain-refusal.f795b42ea6":"The room on this card goes back to its full amount on 1 August, in two days.","oss-aion-plain-refusal.3ae2a82129":"when that happens","oss-aion-plain-refusal.a6012020ae":"Either 150 euro more room on the card, or a payment of 90 euro or less.","oss-aion-plain-refusal.74b2c9301b":"what would change it","oss-aion-plain-refusal.e88b1876e6":"90 euro does not cover 240 euro, so the payment and the room left cannot both stand.","oss-aion-plain-refusal.d649363397":"which part breaks it","oss-aion-plain-refusal.ec7a8f0a8d":"The payment was 240 euro. The room left on the card today was 90 euro.","oss-aion-plain-refusal.fcd45ae097":"your situation","oss-aion-plain-refusal.e51b51ac5a":"A payment goes through only if the room left on the card today covers it.","oss-aion-plain-refusal.93823841cb":"what the rule says","oss-aion-plain-refusal.9bc7984374":"Why it did not go through","oss-aion-plain-refusal.549840f998":"When a rule is broken, AION writes out the situation that broke it, in ordinary\n            sentences with the numbers in them. The payment was for this much, the room left on\n            the card today was less than that, and together those two facts break the rule. You\n            can read it, disagree with it precisely, or change the one thing that needs to change.\n            A cross in a box gives you none of that, and it is not shorter, only emptier.","oss-aion-plain-refusal.3b50831d8a":"An automated decision that refuses you is worse than one a person made, because there\n            is usually nothing to ask. The refusal arrives finished. What you get is the outcome\n            and, if you are lucky, a reference number, and the route to an actual explanation is a\n            complaint that takes weeks and reaches somebody who was not involved either.","oss-aion-plain-refusal.ada63e5c2f":"A worked case is.","oss-aion-plain-refusal.462f7e9213":"\"Not allowed\" is no reason.","oss-aion-plain-refusal.5abdfa9cd6":"The difference","oss-aion-plain-refusal.68c46e84d7":"plain","oss-aion-reasoning-cert.0f1fb3d007":"un katrs vienums tiek pārbaudīts","oss-aion-reasoning-cert.98ec75a261":"robežas un galīgais apgalvojums pabeidz septiņus","oss-aion-reasoning-cert.433b925481":"Kas tika izslēgts, un premisas, kas to izslēdza.","oss-aion-reasoning-cert.13382efd7c":"Pretrunas","oss-aion-reasoning-cert.e856a27527":"Apakšproblēma, kas tika izslēgta, un pierādījums, kas atgriezās.","oss-aion-reasoning-cert.92324f5363":"Risinātāja sertifikāti","oss-aion-reasoning-cert.fe451714e4":"Katrs nosaukts, secībā, kādā tas tika lietots.","oss-aion-reasoning-cert.e0d40a5309":"Noteikumu lietojumi","oss-aion-reasoning-cert.e0753c6513":"Kas bija spēkā, kādā versijā, kad darbs tika veikts.","oss-aion-reasoning-cert.b9366c0dbf":"Aktīvie ierobežojumi","oss-aion-reasoning-cert.a04ed61a81":"risinātājs","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"septiņi vienumi","oss-aion-reasoning-cert.eb64d71581":"Ko satur spriešanas sertifikāts","oss-aion-reasoning-chain.126806353c":"deklarēts, pēc tam pārbaudīts","oss-aion-reasoning-chain.751e90e830":"Katrs no tiem ir artefakts, ko spriešana atstājusi aiz sevis, un katrs tiek lasīts.","oss-aion-reasoning-chain.bc96941170":"Četri ierobežojumi, divi noteikumu lietojumi, viens solvera gājiens un viena pretruna.","oss-aion-reasoning-chain.57fa7b904f":"Šeit tiek pārbaudīts atvasinājums, ko sistēma deklarējusi, soli pa solim.","oss-aion-reasoning-chain.e0aa3695ac":"kodols 01 02 04, un 03 tajā nav","oss-aion-reasoning-chain.e3338dab26":"dubultā norēķināšanās izslēgta","oss-aion-reasoning-chain.a43e177c4c":"04 atmaksa atceļ","oss-aion-reasoning-chain.becc703d80":"apvienotais norēķins","oss-aion-reasoning-chain.398df239b3":"no 01 un 02","oss-aion-reasoning-chain.373c5eb4cc":"lasīts soli pa solim, noslēdzas","oss-aion-reasoning-chain.45f358826b":"atgriezis pierādītājs, Alethe formātā","oss-aion-reasoning-chain.9bc46d8fd1":"bitu vektors un vienādība, nekas cits nešķērso","oss-aion-reasoning-chain.34fcd5c8c7":"apakšproblēma, noslēgta","oss-aion-reasoning-chain.8c7f764922":"pēc mēģinājumu skaita, no 02 un 03","oss-aion-reasoning-chain.7c960fefa4":"trīs pacelti kodolā, viens palicis tur, kur bija","oss-aion-reasoning-chain.eeacd6e80f":"aktīvie ierobežojumi, atbildīgās personas vārdiem","oss-aion-reasoning-chain.0ee0bb12eb":"Šī konfigurācija nevar radīt dubultu norēķinu vienā norēķinu periodā.","oss-aion-reasoning-chain.c0644670d0":"apgalvojums, ko Loom izvirza","oss-aion-reasoning-chain.9616861141":"ilustratīvs apgalvojums un versijas","oss-aion-reasoning-chain.e4f7c8c782":"kodols nosauc trīs, atceļ vienu","oss-aion-reasoning-chain.43c7dffedb":"Viens secinājums, atvērts","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"no 8 un 9","oss-aion-reasoning-chain.3d26486c4c":"no 8","oss-aion-reasoning-chain.5a6d9bdd37":"no 3 un 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Atmaksa atceļ norēķinu, ko tā nosauc.","oss-aion-reasoning-chain.4c449f834c":"Norēķinu periods noslēdzas pusnaktī pēdējā dienā.","oss-aion-reasoning-chain.a663638447":"Mēģinājums nekad nerada otru norēķinu.","oss-aion-reasoning-chain.0d43228516":"Norēķins tiek izveidots vienu reizi par katru pabeigtu piegādi.","oss-aion-reassure.38a3bd59d5":"Būtība ir vienkārša: nekad nepaļaujieties tikai uz mašīnas vārdu. Saglabājiet pamatojumu, ko var pārbaudīt otrs pārbaudītājs.","oss-aion-reassure.0ccc7397a4":"Nē. Kvīti var pārbaudīt turpat, kur atrodaties, neko nesūtot pa internetu.","oss-aion-reassure.5bea629f3e":"Vai mana atbilde tiek nosūtīta kaut kur tālāk?","oss-aion-reassure.af397dc934":"Tas ir izstrādāts Eiropā. Atsevišķs pārbaudītājs, nevis mašīna, kas sniedza atbildi, pārbauda katru kvīti.","oss-aion-reassure.7de6360d68":"No kurienes tas nāk?","oss-aion-reassure.a93d9edbec":"Nē. Jums pašam nekas no tā nav jāveido. Veikals, slimnīca vai birojs to izmanto jūsu vietā. Jūs vienkārši saņemat skaidrāku atbildi.","oss-aion-reassure.39af3a44b7":"Vai man jābūt gudram ar datoriem?","oss-aion-reassure.bdbcd6057e":"Jā. Kvīti var pārbaudīt vēlāk bez sākotnējā modeļa, sesijas, konta vai interneta savienojuma.","oss-aion-reassure.aa1b0d7005":"Vai to var pārbaudīt vēlāk?","oss-aion-receipt.36889df54f":"To nekad nedarāt paši. Ja veikals vai birojs to izmanto jūsu vietā, šī ir čeka\n          lapiņa, ko viņi var jums iedot.","oss-aion-receipt.46fbbfb5be":"Ikviens to var izlasīt un pārbaudīt, vai viss sakrīt.","oss-aion-receipt.9c258dd430":"un jums tas jāpieņem. Ar AION\n            iekārta jums iedod arī mazo lapiņu kreisajā pusē. Tajā redzams jautājums, soļi un\n            atbilde.","oss-aion-receipt.013700f8eb":"Parasta iekārta tikai saka","oss-aion-receipt.12df5bb228":"Paturiet sev","oss-aion-receipt.7b8544fad0":"Sakrīt","oss-aion-receipt.def2581739":"Atbildes čeks","oss-aion-receipt.6e17da21e4":"Atbildes čeka piemērs","oss-aion-receipt.f2688d32ea":"Jautājiet vēlreiz, un jūs saņemsiet to pašu atbildi un to pašu lapiņu jebkurā datorā.","oss-aion-receipt.2379231efe":"Vienmēr tas pats","oss-aion-receipt.a4b884c0e4":"Jūsu pašu palīgs pārbauda lapiņu tepat, kur esat, neko neaizsūtot tālāk.","oss-aion-receipt.930888ee28":"Bez interneta","oss-aion-receipt.7a019cc1d2":"Iemesls ir uz lapiņas, nevis paslēpts iekārtā. Varat to paturēt vai parādīt.","oss-aion-receipt.47b716baec":"Rakstiski","oss-aion-receipt.92ed516e5b":"Jā, un lūk, kāpēc.","oss-aion-receipt.7011b1a621":"Atbilde","oss-aion-receipt.8ab9465666":"Jūsu gadījums tika tam atbilstošs.","oss-aion-receipt.16bb8dfc44":"Otrais solis","oss-aion-receipt.d3ca88b9f3":"Noteikums tika izlasīts pilnībā.","oss-aion-receipt.e97cc54395":"Pirmais solis","oss-aion-receipt.afd2793ce0":"Vai man pienākas šī kompensācija?","oss-aion-receipt.d79cce547d":"Jautājums","oss-aion-recheck-list.09d5defeae":"divas rindas, divi nosaukumi","oss-aion-recheck-list.fd3e1afd0e":"vai, daudz biežāk, vispār ne par ko.","oss-aion-recheck-list.459f160ffa":"Bez versijas aiz katras rindas tas pats paziņojums liek pārskatīt\n          visu,","oss-aion-recheck-list.cade8a80df":"sarakstu un to, kurš to glabā","oss-aion-recheck-list.6f13975269":"joprojām saderīgs","oss-aion-recheck-list.48f8969999":"nepieciešama atkārtota lasīšana","oss-aion-recheck-list.af0f44d357":", mainīts","oss-aion-recheck-list.4202e0844e":"Optimāluma robežas noteikums tiek interpretēts stingrāk. Robeža, kas norādīta tieši pie ierobežojuma,\n              vairs netiek uzskatīta par zem tā.","oss-aion-recheck-list.1c26bb5963":"izlaists 22.07.2025","oss-aion-recheck-list.1944dee3ee":"Pārbaudītājs v7.0","oss-aion-recheck-list.9ffcf8f72b":"ilustratīvi ieraksti","oss-aion-recheck-list.dc490c03ae":"divi no pieciem atzīmēti","oss-aion-recheck-list.7316018edf":"Skatītie ieraksti","oss-aion-recheck-list.2237af7cd3":"optimāluma robežas noteikums","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Maršruta optimums, depo ziemeļos","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Programmaparatūras būvējums, vārteja 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Piekrišanas novērtējums, kampaņa 44","oss-aion-recheck-list.3c54a1df45":"iekšēji","oss-aion-recheck-list.b8d251e8cd":"Partijas cenu noteikšanas izpilde","oss-aion-recheck-list.dce56394a1":"Darba grafika plāns, 12. nedēļa","oss-aion-recheck-list.48a3661d84":"statuss","oss-aion-recheck-list.29e5b9a8e6":"pārbaudītājs","oss-aion-recheck-list.51c817ab85":"pieņemts","oss-aion-recheck-list.e2979e7595":"piegādātājs","oss-aion-recheck-list.335ce16b3f":"priekšmets","oss-aion-recheck-list.796a88413e":"J. Okonkwo, operācijas","oss-aion-recheck-list.90916dd844":"Pārbaudiet vēlreiz un pēc tam apstipriniet norādīto robežu ar piegādātāju.","oss-aion-recheck-list.00e67572db":"M. de Vries, datu aizsardzība","oss-aion-recheck-list.e4faeae968":"Pārbaudiet saglabāto sertifikātu pret v7.0.","oss-aion-record-fields.8580937ae7":"katrs rada savu ietekmēto kopu","oss-aion-record-fields.632f62dd8b":"sertifikāta shēma pabeidz septiņus","oss-aion-record-fields.7039b2f0bd":"kur tas ir tagad","oss-aion-record-fields.74b489c3d1":"kur tas bija","oss-aion-record-fields.5d5dc3b7c3":"IZTURĪGS","oss-aion-record-fields.c2a1a83804":"un tās nav tikai pierādījumu kārtulas","oss-aion-record-fields.12b83ffb63":"Kas var mainīties zem tā","oss-aion-record-fields.91b3cb991a":"jaunāka modeļa versija","oss-aion-record-fields.e1ab670f61":"Modeļa vai simulācijas līgums","oss-aion-record-fields.da15b4cbb5":"pats apgalvojums ir pārvietots","oss-aion-record-fields.26e4976c38":"Kompilatora vai izpildlaika līgums","oss-aion-record-fields.cb2c2e30b7":"notīrīts saskaņā ar citu","oss-aion-record-fields.43e275dea3":"Politika","oss-aion-record-fields.521a7a8570":"tagad lasīts citādi","oss-aion-record-fields.58fd9f572c":"Pārbaudītāja kārtula","oss-aion-refusal-fields.432aa8565f":"atsauce, ko kāds var izsekot","oss-aion-refusal-fields.36a85f9074":"nevis sarkans krusts","oss-aion-refusal-fields.fe71871083":"PAZIŅOJUMS","oss-aion-refusal-fields.4f84be92c8":"lai kāds varētu uz to reaģēt","oss-aion-refusal-fields.fa31a3ca39":"Ko satur atteikums","oss-aion-refusal-fields.5647a1c020":"izlem, kam pieder šis atradums","oss-aion-refusal-fields.11c0add347":"Defekts pierādījumā vai noteikums, ko mēs neievērojam. Nav viens un tas pats.","oss-aion-refusal-fields.a74aa40f65":"Veids","oss-aion-refusal-fields.d3144a7994":"redzēt, kas tur nebija","oss-aion-refusal-fields.060958d8fd":"Kas trūka vai bija nepareizi, kad to pārskatīja no jauna.","oss-aion-refusal-fields.a7dc07c061":"Iemesls","oss-aion-refusal-fields.3b21710b2e":"pārbaudīt, kam tam vajadzēja darīt","oss-aion-refusal-fields.f80b017fdb":"Ko solis apgalvoja, ka dara.","oss-aion-refusal-fields.0056e788fc":"Noteikums","oss-aion-refusal-fields.89abf35df5":"atver to šajā rindā","oss-aion-refusal-fields.3dac51b71a":"Kurš solis, pēc numura, kurā failā.","oss-aion-refusal-fields.2fb8438f32":"Atrašanās vieta","oss-aion-reviewable.e0cb1b89aa":"ne tikai autors","oss-aion-reviewable.f29c4ff9dd":"to pārskata īpašnieks","oss-aion-reviewable.c6465865b0":"jūsu teikums","oss-aion-reviewable.ed6912ad70":"PĀRSKATS","oss-aion-reviewable.5867cc6bd5":"bez apzīmējumu apguves","oss-aion-reviewable.8f8dec6da0":"Ko redz pārskatītājs","oss-aion-reviewable.da8643122f":"Vārds, datums un apstiprinātā teikuma versija.","oss-aion-reviewable.7c92afb7f9":"Apstiprināts paraksts","oss-aion-reviewable.340e6b4675":"Atkārtots pārskats lasa to pašu, jo nekas nav paraugā no modeļa.","oss-aion-reviewable.b08be2b959":"Katru reizi tas pats","oss-aion-reviewable.d3a2628a1c":"Katrs nosauktais lielums ar tā vērtības veidu.","oss-aion-reviewable.2587914ff8":"Ar ko tas strādā","oss-aion-reviewable.f0a2aa51a4":"Viens teikums, kas izsaka visu nosacījuma saturu.","oss-aion-reviewable.5a47a1dcaf":"Vienkāršs lasījums","oss-aion-reviewable.aee2d461c7":"Nemainīts, augšpusē, kā viņi to uzrakstīja.","oss-aion-reviewable.7488358db7":"Viņu pašu teikums","oss-aion-risk-ledger.1a0f2538e1":"Piecas darbības, kas aizstātas ar vienu sertifikātu, ko cits pārbaudītājs var pārbaudīt.","oss-aion-risk-ledger.4b32d8f574":"Ar AION","oss-aion-risk-ledger.2e34d48ba3":"Parastais veids","oss-aion-risk-ledger.d1d7499182":"SALĪDZINĀTI BLIETUS","oss-aion-risk-ledger.02c7234156":"Atkārtojiet pamatojumu bezsaistē un pārliecinieties paši.","oss-aion-risk-ledger.b5058e1c76":"Paļaujieties uz piegādātāja vārdu, ka atbilde ir pamatota.","oss-aion-risk-ledger.d2e183faa1":"Cik ļoti tam uzticēties","oss-aion-risk-ledger.96f0603563":"Sertifikāts tiek pārbaudīts bez neviena no tiem.","oss-aion-risk-ledger.04312971f3":"Sākotnējam modelim, risinātāja sesijai un pakalpojumam joprojām jābūt pieejamiem.","oss-aion-risk-ledger.2df1215b19":"No kā ir atkarīga pārbaude","oss-aion-risk-ledger.8ddd34c358":"Darbojas uz jūsu pašu aparatūras, jūsu apstiprinātā jurisdikcijā.","oss-aion-risk-ledger.c3fe4a906f":"Lēmumi tiek izskaidroti serveros, kurus jūs nekontrolējat.","oss-aion-risk-ledger.242ebe0c39":"Kur atrodas dati","oss-aion-risk-ledger.75eb05728b":"Standarta pierādījumu formāti paliek neatkarīgi pārbaudāmi.","oss-aion-risk-ledger.46d3f9eccd":"Skaidrojums pazūd līdz ar sākotnējo pakalpojumu.","oss-aion-risk-ledger.8ea6189e84":"Kad mainās izpildes vide","oss-aion-risk-ledger.21ff58d6a7":"Jūs nododat sertifikātu, ko auditors var pārbaudīt pats.","oss-aion-risk-ledger.934929b924":"Jūs nosūtāt žurnālfailus un cerat, ka tie tiks uztverti kā pierādījumi.","oss-aion-risk-ledger.8632e0b3b5":"Kad auditors jautā","oss-aion-rule-refusal.c354dff2de":"nav sprieduma pēc 15","oss-aion-rule-refusal.0fc2b67ff7":"pirmajā solī kāds posms neizdodas","oss-aion-rule-refusal.d7cb461a4b":"Četri testi fiksētā secībā, un lasīšana apstājas","oss-aion-rule-refusal.ad9deadf27":"viens klauzulas identifikators izmantots divām klauzulām","oss-aion-rule-refusal.ffc05ba511":"pagrieziena punkts deklarēts uz literāļa, kura klauzulā nav","oss-aion-rule-refusal.5af32fb7c4":"mājiens, kas atsaucas uz soli, kuru tam vajadzētu pamatot","oss-aion-rule-refusal.fbf5522f0e":"piesprausts no naidīgās kopas","oss-aion-rule-refusal.d3b27b8f89":"netika aizvērts","oss-aion-rule-refusal.0f04e9ee60":"literāļi joprojām stāv pēdējā klauzulā","oss-aion-rule-refusal.90f9cbf1cb":"faila beigas","oss-aion-rule-refusal.196a925493":"premises indekss, no 1 līdz 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, noteikums pēc noteikuma","oss-aion-rule-refusal.b14e7fc954":"apstājās pie 15","oss-aion-rule-refusal.ce0ed8058b":"Viens pierādījums, lasīts no sākuma","oss-aion-rule-refusal.af0cbd46a2":"citēts ārpus secības","oss-aion-rule-refusal.165a394589":"no 61 un 20","oss-aion-rule-refusal.dd39474e4f":"premises nav","oss-aion-rule-refusal.6edfd31763":"no 88","oss-aion-rule-refusal.d18b697772":"atsaucas uz sevi","oss-aion-rule-refusal.5c7bf112ac":"no 31 un 18","oss-aion-rule-refusal.64b0295aa0":"neatbalstīts noteikums","oss-aion-rule-refusal.5e2428fc82":"no 14","oss-aion-rule-refusal.a7e8697338":"no 12 un 13","oss-aion-rule-refusal.ba08b53848":"no 4","oss-aion-rule-refusal.2a1be725ca":"12 rezolūcija","oss-aion-rule-refusal.54a0121f57":"no 4 un 9","oss-aion-rule-refusal.8ffe1b4177":"noteikums zināms","oss-aion-rule-refusal.ebed34abd2":"zem sava","oss-aion-rule-refusal.d182b65e15":"premise ir","oss-aion-rule-refusal.a503bc1da2":"atteikts","oss-aion-rule-refusal.3a21295d81":"glabātuve","oss-aion-same-except-one.279e6c9e96":"viens ir izstrādāts zemāk","oss-aion-same-except-one.87ca0e7356":"robežas, atvasinājumi un modeļa izcelsme pabeidz septiņus","oss-aion-same-except-one.72b459f8cc":"ĪPAŠĪBAS","oss-aion-same-except-one.25119f6e70":"un ģimene, kas katru nes","oss-aion-same-except-one.ed6552be04":"Apgalvojumi, ko varat izteikt","oss-aion-same-except-one.633255fe41":"Šī trajektorija ievēroja šīs invariantes.","oss-aion-same-except-one.6b403d2a35":"Šai darbībai bija nepieciešamais apstiprinājums.","oss-aion-same-except-one.ac5d8ada02":"Šī darba slodze darbojās saskaņā ar šīm iespējām.","oss-aion-same-except-one.5e8efc64f2":"Šis binārais fails atbilst šim avota grafam.","oss-aion-same-except-one.81c0e8e986":"simulācija","oss-aion-same-except-one.92fe1455a7":"organizatoriskā","oss-aion-same-except-one.1e21474598":"izpilde","oss-aion-same-except-one.023646ce84":"kompilācija","oss-aion-same-rule-parts.3326352b94":"šie trīs to pārdzīvo","oss-aion-same-rule-parts.b33174d833":"atbilde ir viena rindiņa","oss-aion-same-rule-parts.490fbefa4b":"to pašu darbu nodot divreiz un pārbaude iznāk tā pati","oss-aion-same-rule-parts.ce173fc797":"Aizturēts otrajai pārbaudei.","oss-aion-same-rule-parts.60c6fa6f09":"atbilde","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"pēc atbildes saņemšanas","oss-aion-same-rule-parts.3fea5c7183":"Trīs lietas, ko paturat","oss-aion-same-rule-parts.f460809c86":"Kad darbs tika pārbaudīts un kas to pārbaudīja.","oss-aion-same-rule-parts.1f26226511":"ieraksts","oss-aion-same-rule-parts.f3488c72aa":"Datums","oss-aion-same-rule-parts.7e9a6ac9d7":"Noteikums, kas citēts atpakaļ, ar jūsu situāciju tajā.","oss-aion-same-rule-parts.fa1f96a2cc":"iespiests kopā ar atbildi","oss-aion-same-rule-parts.a7dc07c061":"Iemesls","oss-aion-same-rule-parts.51240e4e03":"Parasti vārdi, saglabāti, lai varat to nolasīt jebkuram.","oss-aion-same-rule-parts.f901c543a0":"kā kāds to uzrakstīja","oss-aion-same-rule-parts.0056e788fc":"Noteikums","oss-aion-same-rule-thrice.8716c9d2d1":"citējams visiem trim","oss-aion-same-rule-thrice.56daaad027":"Neviens uz vietas neinterpretēja neviena gadījumu.","oss-aion-same-rule-thrice.fe8d9a24bc":"Trīs vārdi, trīs datumi, viens iemesls vārds vārdā.","oss-aion-same-rule-thrice.2d4e5d243a":"tie paši vārdi visās trīs vēstulēs","oss-aion-same-rule-thrice.36c5f05f0e":"Mans pieprasījums tika aizturēts, jo jebkurš pieprasījums no konta, kas jebkad ir bijis pārsniegts,\n              tiek aizturēts otrajai pārbaudei. Vai tas ir tas, ko jūs ar to domājāt?","oss-aion-same-rule-thrice.47b69ccfd4":"to, ko jebkurš no trim var rakstīt","oss-aion-same-rule-thrice.5441126254":"iemesls, ar jūsu skaitļiem","oss-aion-same-rule-thrice.e026ce35f8":"noteikums, vārdos","oss-aion-same-rule-thrice.c6b6fdf0c8":"Jūsu pieprasījums ir aizturēts","oss-aion-same-rule-thrice.4af8028f5b":"Tas skar visus, kas kādreiz bijuši mīnusā nedēļu.","oss-aion-same-rule-thrice.43d7f6edd9":"Jebkurš pieprasījums no konta, kas jebkad ir bijis pārsniegts, tiek aizturēts otrajai pārbaudei.","oss-aion-same-rule-thrice.d5dff79fd0":"noteikums, kā to uzrakstīja atbildīgā persona","oss-aion-same-rule-thrice.660cf69152":"tas pats iemesls, trīs reizes","oss-aion-same-rule-thrice.2aa5baf4fa":"viens noteikums, trīs cilvēki","oss-aion-same-rule-thrice.2969c22def":"pārsniegts vienu dienu 2024. gada augustā","oss-aion-same-rule-thrice.db55a373e5":"2. jūlijs","oss-aion-same-rule-thrice.7f557aff7f":"M. Hāss","oss-aion-same-rule-thrice.8a1c6f7c01":"pārsniegts divas dienas 2021. gada novembrī","oss-aion-same-rule-thrice.8a343dea89":"19. jūnijs","oss-aion-same-rule-thrice.6faee1ef44":"Dž. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"pārsniegts sešas dienas 2023. gada martā","oss-aion-same-rule-thrice.e46936527e":"4. jūnijs","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermērs","oss-aion-same-rule-thrice.c818558b96":"Jūsu konts kādā brīdī ir bijis pārsniegts, tāpēc šis pieprasījums tiek aizturēts otrajai pārbaudei.","oss-aion-same-rule-thrice.69449f994d":"atsauce","oss-aion-same-rule-thrice.910e029098":"ilustratīvs","oss-aion-second-reader.e2a4a212d5":"norādīt uz rindu ir noderīgā daļa","oss-aion-second-reader.b31aece7ea":"vienošanās ir viegla","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"ko dod otrā lasīšana","oss-aion-second-reader.d160172930":"Saskaitot vēlreiz","oss-aion-second-reader.0bd3d42b28":"Cita programma, bez iemesla dot priekšroku atbildei.","oss-aion-second-reader.2c814bb70c":"Nav pirmā mašīna","oss-aion-second-reader.b792afd627":"Un norāda, kurš solis, tāpēc ir uz ko norādīt.","oss-aion-second-reader.4a195096b0":"Apstājas pie pirmās kļūdas","oss-aion-second-reader.58f56fa2c3":"Pārbauda vēlreiz, nevis uzticas, ka tas ir izdarīts.","oss-aion-second-reader.5abf0b9df4":"Veic katru soli","oss-aion-second-reader.de8f44bd3b":"Nevis atbilde. Bet soļi, kuriem vajadzēja uz to novest.","oss-aion-second-reader.0a461499ae":"Izlasa aprēķinu","oss-aion-second-sum.2517e33359":"vieta, nevis spriedums","oss-aion-second-sum.1f31706279":"Tev vajadzēja līniju, un te tā ir.","oss-aion-second-sum.1b06fb1625":"Abas kolonnas sasniedz kopsummu, un viena no tām ir nepareiza.","oss-aion-second-sum.715f45331b":"Lasījums apstājas pie pieci, nevis turpinās līdz sešiem, jo pārbaude, kas izlaiž soli, kuru tā nevar panākt, nav pārbaude.","oss-aion-second-sum.be51277bfd":"nav sasniegts","oss-aion-second-sum.a90d766915":"šis solis neiznāk","oss-aion-second-sum.b214ae4ce2":"tas pats gājiens, ko mašīna pierakstīja","oss-aion-second-sum.e4cddfd229":"Ikviens var pats saskaitīt kolonnu un nonākt pie tās pašas līnijas. Tā ir visa būtība, pārnesta uz darbu, ko neviens nevar redzēt.","oss-aion-second-sum.a72b4463ba":"Abas kolonnas sakrīt trīs rindās. Gredzens iet ap līniju, kur tās atšķiras, nevis ap kopsummu, jo kopsumma nekad nebija lietderīgais strīda objekts.","oss-aion-second-sum.136fc39d05":"Desmit centi, un tas ir pie āboliem.","oss-aion-second-sum.1104f28cf8":"maksāt","oss-aion-second-sum.51111a2b99":"veikals, otrdiena","oss-aion-second-sum.e9594ccf76":"tās atšķiras pie āboliem","oss-aion-second-sum.bb470fd83f":"tā pati kolonna, saskaitīta divreiz","oss-aion-second-sum.0220a293b9":"prasība ir apmaksāta","oss-aion-second-sum.f7e5a74a1f":"atlikušais maksājamais saskaitās","oss-aion-second-sum.597b954c29":"pārsniegums ir noņemts","oss-aion-second-sum.edccd745a8":"summa ir zem limita šim remontam","oss-aion-second-sum.709d0bb348":"remonts ir iekļauts segto sarakstā","oss-aion-second-sum.1396b1459a":"konts bija atvērts prasības dienā","oss-aion-second-sum.d2fc512490":"zīmulis","oss-aion-second-sum.1c8f15dab7":"drukāts","oss-aion-second-sum.910e029098":"ilustratīvs","oss-aion-second-sum.f6c1ab8181":"ziepes","oss-aion-second-sum.bcef7a0462":"siers","oss-aion-second-sum.76c2436b59":"āboli","oss-aion-second-sum.44213f9f4d":"kafija","oss-aion-second-sum.6ff291d817":"maize","oss-aion-second-sum.cf5dbf0ec5":"piens","oss-aion-sentence-returns.e9a72f31df":"jūsu vārdi, abos galos","oss-aion-sentence-returns.254545287c":"Astoņus mēnešus vēlāk svešinieks to lasa, nevis tā kopsavilkumu.","oss-aion-sentence-returns.f0e71316de":"Viens cilvēks uzrakstīja teikumu un nolika to malā.","oss-aion-sentence-returns.4c51f16cb4":"Nekas starp šiem diviem lasījumiem neko neiemācījās, nemainīja savas domas vai nebija labākas idejas.","oss-aion-sentence-returns.06152533dc":"otrs maksājums par vienu pasūtījumu viena norēķinu mēneša laikā nav atļauts","oss-aion-sentence-returns.fb3e6817f1":"no lasījuma gadu vēlāk","oss-aion-sentence-returns.32af205ca5":"no lasījuma martā","oss-aion-sentence-returns.0b1eb314b5":"tas pats teikums, izlasīts vēlreiz pēc gada","oss-aion-sentence-returns.547a49e160":"pasūtījums 44-8127 tika apmaksāts trešajā novembrī un atkal deviņpadsmitajā","oss-aion-sentence-returns.d3141af6d8":"kas tajā ietriecās","oss-aion-sentence-returns.a2d40412ef":"otrs maksājums par vienu pasūtījumu viena norēķinu mēneša laikā","oss-aion-sentence-returns.0ee2593cc5":"daļa, kas netika izpildīta","oss-aion-sentence-returns.43015fadc4":"Nevienu nedrīkst apmaksāt divreiz par vienu un to pašu pasūtījumu vienā mēnesī.","oss-aion-sentence-returns.2ce9eb0823":"noteikums, tā vārdiem, kā tas tika uzrakstīts","oss-aion-sentence-returns.5c4173fbcf":"9. novembris, nosūtīts klientam","oss-aion-sentence-returns.96ec36f99b":"Maksājums tika apturēts","oss-aion-sentence-returns.14da1cff14":"astoņi mēneši","oss-aion-sentence-returns.b59f623fe2":"lasīts kā","oss-aion-sentence-returns.6a250da793":"14. marts, personas, kas atbild par norēķiniem, veikts","oss-aion-sentence-returns.8766d15f20":"tie paši vārdi abos galos","oss-aion-sentence-returns.33e656aa3a":"viens teikums, astoņu mēnešu starpā","oss-aion-sentence-returns.6180960e2c":"rakstīts","oss-aion-sentence-returns.910e029098":"ilustratīvs","oss-aion-side-by-side-rule.1462946510":"apgriezta hierarhija","oss-aion-side-by-side-rule.dc685ee970":"ir mazākais, atrodas apakšā.","oss-aion-side-by-side-rule.37ba9a07a7":"Vienīgā rindiņa šeit, kurai nevienam nav jāspēj izlasīt","oss-aion-side-by-side-rule.24205c8d5e":"Šīs lapas pamatteksts ir tas, kas tika prasīts.","oss-aion-side-by-side-rule.136ec48046":"teikuma versija 3","oss-aion-side-by-side-rule.5714c84617":"2026. gada 9. aprīlis","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, norēķinu operācijas","oss-aion-side-by-side-rule.4c1493cdf2":"nosacījums, kā tas tiek glabāts","oss-aion-side-by-side-rule.5050bceb24":"uz ko tas attiecas","oss-aion-side-by-side-rule.70a7ded724":"Otrs maksājums par atsauci, kas jau ir iekasēta norēķinu periodā, tiek\n          atteikts.","oss-aion-side-by-side-rule.decbbbcbea":"Nevienam klientam nedrīkst iekasēt maksu divreiz par vienu un to pašu atsauci vienā norēķinu periodā.","oss-aion-side-by-side-rule.41f5b5d765":"atzīme nav nepieciešama","oss-aion-side-by-side-rule.fd9d8f9d79":"apstiprinājis īpašnieks","oss-aion-side-by-side-rule.dbd8504696":"pārskata lapa","oss-aion-side-by-side-rule.b714510ded":"cik reizes šī atsauce jau ir iekasēta","oss-aion-side-by-side-rule.71aa03cd23":"maksājumu skaits","oss-aion-side-by-side-rule.8f404d9e59":"mēnesis, kurā maksājums tiek veikts","oss-aion-side-by-side-rule.28db3c4a10":"norēķinu periods","oss-aion-side-by-side-rule.7bbf8d007a":"identifikators, pret kuru tiek veikts maksājums","oss-aion-side-by-side-rule.333190a7a5":"atsauce","oss-aion-silent-wrong.e516f1474a":"40. solis, nezināms noteikums","oss-aion-silent-wrong.52c4b2ffb7":"kur tas apstājās","oss-aion-silent-wrong.bdc9060b3b":"Astoņi izpildījumi atgrieza astoņus vārdus. Tikai tas, kurš pierakstīja savu darbu,\n          var pateikt","oss-aion-silent-wrong.dc3fb44cee":"atteikums nosauc līniju","oss-aion-silent-wrong.d55eb7e866":"Šim lasītājam 40. solī nav šāda nosaukuma noteikuma, tāpēc tas tur apstājās. Zīmogs\n            nekad netika nolaists un spriedums netika pasludināts.","oss-aion-silent-wrong.d04a61e19e":"ko lasījums radīja","oss-aion-silent-wrong.b31f1a6015":"alethe, no 38. soļa uz priekšu","oss-aion-silent-wrong.74cb6750e3":"viens no tiem, izrakstīts","oss-aion-silent-wrong.c9266795e0":"astoņas sistēmas, astoņi rezultāti","oss-aion-silent-wrong.d7d4ae123f":"ilustratīvs, viens izpildījums no astoņiem","oss-aion-silent-wrong.3c05b129e2":"spriedums nav pasludināts","oss-aion-silent-wrong.c6dc61d79f":"Astoņi vārdi, viens no tiem atvērts","oss-aion-silent-wrong.64494819a0":"40. premisa, tukšā klauzula","oss-aion-silent-wrong.9dae957efd":"39. premisa","oss-aion-silent-wrong.52e787751c":"31. un 38. premisa","oss-aion-silent-wrong.36901d48ad":"12. un 31. premisa","oss-aion-silent-wrong.e00bcd7ac6":"darbplūsma apstiprināta","oss-aion-silent-wrong.fd40251b0b":"simulācija konverģēja","oss-aion-silent-wrong.9204d100a8":"politika pieņemta","oss-aion-silent-wrong.51c817ab85":"pieņemts","oss-aion-silent-wrong.4d64c22879":"atkārtot","oss-aion-silent-wrong.94ec44c4f4":"ticēt","oss-aion-silent-wrong.4848901b39":"optimāls","oss-aion-silent-wrong.bf31c52c32":"drošs","oss-aion-silent-wrong.231e564db4":"pabeigts","oss-aion-silent-wrong.bac2ad9d5d":"kompilēts","oss-aion-silent-wrong.d203c40ac4":"neizpildāms","oss-aion-sim-cert.d836eab67a":"fiziskā derīgums nav","oss-aion-sim-cert.8f9800edbe":"atbilstība un īpašības tiek pārbaudītas šeit","oss-aion-sim-cert.d982b6fdda":"tas, vai modelis atspoguļo pasauli, paliek modeļa īpašnieka ziņā","oss-aion-sim-cert.c27ccdf78d":"fiziskais derīgums","oss-aion-sim-cert.99c6aa48cb":"nekur nav atbildēts","oss-aion-sim-cert.e4125aa830":"norādītās īpašības ir spēkā visā izpildes laikā vai arī izsekošana atgriežas","oss-aion-sim-cert.24fa71fdd6":"invariantu pārbaudes","oss-aion-sim-cert.82ffe3f79b":"deklarētais modelis, parametri un konfigurācija ir radījuši šo trajektoriju","oss-aion-sim-cert.8c30aa1c6e":"izpildes atbilstība","oss-aion-sim-cert.790f468e4d":"atbildēts šeit","oss-aion-sim-cert.f6bceb137b":"DVĪNIS UN FMI","oss-aion-sim-cert.cf2b82cb4f":"no modeļa uz trajektoriju","oss-aion-sim-cert.a7b63abc02":"Ko satur sertifikāts","oss-aion-sim-cert.07ecfba93e":"trajektorija un statuss","oss-aion-sim-cert.6874c92610":"notikumu secība","oss-aion-sim-cert.e77c056cdc":"parametri un sākotnējais stāvoklis","oss-aion-sim-cert.720a1e14e6":"modeļa un FMU identitāte","oss-aion-source-to-artefact.ce10986f79":"No avota līdz sertifikātam","oss-aion-source-to-artefact.c1ce053887":"nosaukts, nevis vispārīgs","oss-aion-source-to-artefact.75a0766041":"Vispārīgs apgalvojums nevarētu būt neizdevies nekur.","oss-aion-source-to-artefact.b5e1e87d48":"Trīs nosaukti apgalvojumi, un tas, kurš neizdodas, nosauc posmu, kurā tas neizdodas.","oss-aion-source-to-artefact.8732c432be":"Ka katrs posms secībā kopumā ir pareizs. Neviens sertifikāts šeit nesaka, ka\n                kompilators ir labs, un nevienam no tiem tas nav jāsaka.","oss-aion-source-to-artefact.64d8424b5b":"ko tas neapgalvo","oss-aion-source-to-artefact.302df26f74":"avota grafs","oss-aion-source-to-artefact.e95689d184":"uz atsauces implementāciju, deklarētajā ievades domēnā","oss-aion-source-to-artefact.0ca9407ef6":"kodola ekvivalents","oss-aion-source-to-artefact.5e68638068":"deklarētā formas saglabāšana šajā posmā neattiecas uz doto ievades domēnu","oss-aion-source-to-artefact.ab2050f59e":"tenzoru formas saglabātas","oss-aion-source-to-artefact.213addbd25":"visā canonicalise un fusion posmā, katram deklarētajam tipam","oss-aion-source-to-artefact.9deae195e3":"tipi saglabāti","oss-aion-source-to-artefact.2297843111":"opt līmenis 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"formas apgalvojums noraidīts","oss-aion-source-to-artefact.2fa9505626":"artefakts","oss-aion-source-to-artefact.910e029098":"ilustratīvs","oss-aion-source-to-artefact.9f939ff8a4":"kodola izvēle","oss-aion-sovereignty.0fe4587501":"Verifikācija paliek tur, kur tiek glabāti pierādījumi: blakus sistēmai, kas tos rada, pārskatīšanas pakalpojumā vai izolētā arhīvā.","oss-aion-sovereignty.2d7bdcb19f":"Jūsu lēmumi paliek jūsu kontrolē.","oss-aion-sovereignty.9426b99215":"Digitālā suverenitāte","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe un vienotā forma ļauj sertifikātus neatkarīgi pārbaudīt arī ārpus sākotnējās izpildes vides.","oss-aion-sovereignty.25c4717a63":"Pārnēsājami pierādījumu formāti","oss-aion-sovereignty.d99f32de40":"Pierādījuma pārbaude darbojas pilnībā bezsaistē. Jūs nepaļaujaties uz attālu pakalpojumu, kas varētu mainīt savus noteikumus vai pazust.","oss-aion-sovereignty.34ebf0117d":"Nav ārējas atkarības","oss-aion-sovereignty.44a8a39a30":"Jūsu pašu datu centrā vai reģionā, ko izvēlaties. Lēmuma pamatojumam nekad nav jāšķērso robeža, kuru neesat apstiprinājis.","oss-aion-sovereignty.331242fd64":"Darbojas tur, kur izvēlaties","oss-aion-sovereignty.599b928605":"AION ir veidots Eiropā, un tā pārbaudītājs var palikt tajā pašā Eiropas robežā, kurā atrodas lēmumi, ko tas verificē.","oss-aion-sovereignty.45f9bdf22b":"Eiropas izcelsme","oss-aion-split-parts.cc0d7be136":"un enklāve neko nemaina","oss-aion-split-parts.a2fb24de32":"noklusējuma būvējumam nav izejošā klienta","oss-aion-split-parts.ffd75a18c4":"IZVIETOT","oss-aion-split-parts.91f8c088aa":"un kas katram nepieciešams","oss-aion-split-parts.758bd7cc2a":"Četri veidi, kā to palaist","oss-aion-split-parts.400bd9a040":"Sadalīts starp mašīnām un apkopots tikai pēc pārklājuma pārbaudes.","oss-aion-split-parts.bb3d98dfee":"Izkliedēts","oss-aion-split-parts.74da65bc96":"Jūsu robežās, adresēs, kuras iestatāt paši.","oss-aion-split-parts.664046e78a":"Pakalpojums","oss-aion-split-parts.ce2ab3edc4":"Norādiet uz sertifikātu. Nekam citam nav jābūt palaistam.","oss-aion-split-parts.a7218c8eca":"Komanda","oss-aion-split-parts.eefb3bac5d":"Iesaistīts jūsu procesā. Jautājiet un atbildiet, bez faila ierakstīšanas.","oss-aion-split-parts.fa66edb7bd":"Bibliotēka","oss-aion-stays-here.e3e08ad140":"no telpas nekas nepalika","oss-aion-stays-here.18ab547f60":"Tā tukšā lapa ir viss, ko apgalvojums saka.","oss-aion-stays-here.907d22f7f0":"Starp kasti un trim lietām blakus tai nekas nav uzzīmēts.","oss-aion-stays-here.001b06036c":"šajā attēlā nav","oss-aion-stays-here.8c84675037":"saite uz citu mašīnu tajā pašā organizācijā, izslēgta, kamēr kāds to apzināti neiestata","oss-aion-stays-here.e3527ba222":"Atbilde nāk ar līniju nost, jo līnija nekad nebija tās daļa.","oss-aion-stays-here.caf3a041c8":"Kavēšanās bija septiņdesmit piecas minūtes, kas ir vairāk nekā stunda, tāpēc rezervācija tiek atcelta un maksa atgriežas kartē, no kuras tā nāca.","oss-aion-stays-here.7296ef48e5":"kas atgriezās","oss-aion-stays-here.395ee2333f":"atcelšana beidz rezervāciju un atgriež maksu","oss-aion-stays-here.46d2008236":"stunda nozīmē sešdesmit minūtes, bez noapaļošanas","oss-aion-stays-here.2fd4fcb567":"kavēšanos skaita no laika, kas norādīts uz biļetes","oss-aion-stays-here.f5b422b60e":"rakstītie noteikumi, pret kuriem to lasa","oss-aion-stays-here.ee04bc3b23":"Atcel manu rezervāciju tikai tad, ja kavēšanās ir vairāk nekā stunda.","oss-aion-stays-here.af5509db2b":"tas, ko tu ierakstīji","oss-aion-stays-here.3cbd68d678":"mašīna tavā priekšā","oss-aion-stays-here.531aa138ac":"atbildēts, neizejot","oss-aion-stays-here.fb23ddcc1c":"viens jautājums, viena vieta","oss-aion-stays-here.96ccbc62ab":"tavi vārdi nav lieta, ko kāds cits saņem","oss-aion-stays-here.1b215d440d":"mašīna kaut kur citur, kas lasa tavu teikumu","oss-aion-stays-here.b5a5c63d23":"nevienai ārējai lietai nav jādarbojas, lai atbilde atnāktu","oss-aion-stays-here.b5c483d9d9":"pakalpojums, kam jābūt pieejamam","oss-aion-stays-here.fa287ade3d":"neviens nejautā, kas tu esi, jo nevienam tas nav jāzina","oss-aion-stays-here.d5a3ef8b78":"konts, kurā pierakstīties","oss-aion-stays-here.910e029098":"ilustratīvs","oss-aion-stays-here-list.56a6e8f9a7":"un nav ko nodot","oss-aion-stays-here-list.57eef35c96":"bez gaidīšanas","oss-aion-stays-here-list.a64eab5744":"uz ko tas gaida","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"un uz ko tas nekad negaida","oss-aion-stays-here-list.13591491d9":"Ar ko tas strādā","oss-aion-stays-here-list.1458464f09":"Nav ko reģistrēt, tāpēc nav ko būt par klientu.","oss-aion-stays-here-list.257fa99e08":"Bez konta","oss-aion-stays-here-list.b165f2d684":"Jūsu teikums tiek pārbaudīts pret noteikumiem tajā pašā telpā, kur jūs.","oss-aion-stays-here-list.37a25e4e99":"Rakstīti noteikumi","oss-aion-stays-here-list.7ee33f1c7a":"Darbs notiek tur, kur esat jūs, un nevienam citam nav jābūt aktīvam.","oss-aion-stays-here-list.d3612f57d8":"Iekārta, pie kuras atrodaties","oss-aion-supplier-answer.6d6ddcd4c1":"viens paziņojums, četras tukšas rindiņas","oss-aion-supplier-answer.a5d36ba87c":"Neviena no četrām atbildēm nav atrodama uz lapas.","oss-aion-supplier-answer.d09481b0a5":"Katrs vārds uz tās ir patiess un kāds to ir parakstījis.","oss-aion-supplier-answer.cec9b36162":"2026. gada 14. marts","oss-aion-supplier-answer.22715d5cb9":"Konfigurācija, kas iesniegta 2026. gada 12. martā, ir pārbaudīta un tajā nav konfliktu.","oss-aion-supplier-answer.1e0a1891e8":"atsauce SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"atbilstības sertifikāts","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"četras neatbildētas","oss-aion-supplier-answer.910e029098":"ilustratīvs","oss-aion-supplier-answer.f86e5cfb14":"Vai tas joprojām būtu spēkā pēc otrdienas izmaiņām?","oss-aion-supplier-answer.bbe7a72e5a":"Uz kādiem datiem un cik lielā apjomā?","oss-aion-supplier-answer.c25776701b":"Pret kuru mūsu noteikumu kopas versiju?","oss-aion-supplier-answer.84d9ed92b5":"Kuri nosacījumi faktiski tika pārbaudīti?","oss-aion-theory-matrix.ac8d77d669":"Propozicionālā","oss-aion-theory-matrix.3d52a6d8fe":"Loģika","oss-aion-theory-matrix.42f3aff840":"Būla apmierināmība ar konfliktu virzītu klauzulu apguvi. Sākumpunkts visām pārējām teorijām.","oss-aion-theory-matrix.6078532ab2":"Kvantori","oss-aion-theory-matrix.02f664dd36":"Pirmās kārtas loģika ar modeļa balstītu instanciāciju. Spriež par forall un exists atbalstītajos veidos.","oss-aion-theory-matrix.49167dbc57":"Lineārā aritmētika","oss-aion-theory-matrix.45f053dc73":"Aritmētika","oss-aion-theory-matrix.876aafb6c1":"Lineārā veselo skaitļu aritmētika un reālvērtīga ievade deklarētā mērogā. Iekšēji pārbaudītājs izmanto veselu skaitļu vai adaptīvas fiksēta punkta vērtības.","oss-aion-theory-matrix.b618fadea3":"Nelineārā","oss-aion-theory-matrix.fd99188844":"Nelineārā veselo skaitļu aritmētika un reālvērtīga ievade deklarētā mērogā. Pārbaudītājs izmanto veselu skaitļu vai adaptīvas fiksēta punkta vērtības, nekad peldošā komata vērtības.","oss-aion-theory-matrix.d11f66aff2":"Peldošā komata ievade","oss-aion-theory-matrix.19080aec82":"IEEE 754 ievade tiek pieņemta tikai robežās, pēc tam pirms pārbaudes tiek dekodēta bināros laukos. Iekšēji netiek glabātas, uzkrātas vai aprēķinātas peldošā komata vērtības.","oss-aion-theory-matrix.914807cdef":"Bitu vektori","oss-aion-theory-matrix.e5e429bcc9":"Dati","oss-aion-theory-matrix.23c278d5ca":"Fiksēta platuma bināri vārdi ar pārplūdes semantiku. Aparatūras verifikācijai un bināro protokolu pārbaudei.","oss-aion-theory-matrix.b90cc9bfd2":"Masīvi","oss-aion-theory-matrix.eac25fcfc6":"Masīvu teorija ar select un store aksiomām. Izšķiramie fragmenti tiek izsekoti tieši.","oss-aion-theory-matrix.3816c4beac":"Virknes","oss-aion-theory-matrix.8e5a47db7d":"Virkņu vienādojumi, garuma ierobežojumi un regulāro izteiksmju piederība virknēm.","oss-aion-theory-matrix.0efe5fd2a3":"Temporālā","oss-aion-theory-matrix.ab14d0a7db":"Programmas","oss-aion-theory-matrix.12dfdaf96a":"pavadošā krātuve","oss-aion-theory-matrix.dd600bd946":"Lineārā un sazarotā laika temporālās loģikas fragmenti spriešanai par uzvedību laikā.","oss-aion-theory-matrix.bb8c6ec608":"Varbūtību","oss-aion-theory-matrix.042a4dc40b":"Varbūtību programmu spriešana, ieskaitot varbūtību Datalog stila secināšanu.","oss-aion-theory-matrix.1e1837d4e8":"Konkurējošā","oss-aion-theory-matrix.60e30b1d8e":"Spriešana par konkurējošām programmām un to pavedienu savijumiem, ko tie var radīt.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"teoriju pārklājums","oss-aion-theory-matrix.4329e5da7b":"11 loģiskās jomas","oss-aion-theory-matrix.dc1baa8539":"kodols + pavadošās krātuves","oss-aion-theory-matrix.5b1e898fc0":"Teorija","oss-aion-theory-matrix.cd89376f98":"Atrodas","oss-aion-theory-matrix.df1e1e1732":"Vienpadsmit teorijas, katrs spriešanas mehānisms rada soļus, ko pierādījumu emitētājs var ierakstīt un pārbaudītājs var atkārtot.","oss-aion-theory-matrix.36ce8cbd4c":"PROP līdz CONCUR","oss-aion-three-questions.381a478392":"Divas atbildes, viena robeža","oss-aion-three-questions.b695e87b19":"divi atbildēti, viens īpašumā","oss-aion-three-questions.9f5234300d":"Trešais jautājums nav mūsu, un to pateikt ir tas, kas padara pirmos divus\n          vērtīgus.","oss-aion-three-questions.8149763299":"Atbilstība saglabājas, viens invariants neizdodas ar savu izsekojumu.","oss-aion-three-questions.5974dafe20":"durvis ir uzzīmētas tikpat stingri kā siena","oss-aion-three-questions.392d2df212":"Modeļa īpašnieks tur šo jautājumu, un tur to pastāvīgi. Nekāds sertifikāts šeit\n                to neskar, un neviens no tiem to arī klusi neimplikē.","oss-aion-three-questions.c27ccdf78d":"fiziskā derīgums","oss-aion-three-questions.dbbe530d6c":"vai šis modelis atspoguļo reālo pasauli","oss-aion-three-questions.44b8fe96f9":"1. solis 284, p = 8.14 bar","oss-aion-three-questions.dcf63117f5":"pretpiemērs, pacelts un paplašināts","oss-aion-three-questions.ed4bde3030":"cilpas spiediens paliek zem 8 bar","oss-aion-three-questions.4676659f50":"apvada vārsts nekad neatveras divreiz vienā solī","oss-aion-three-questions.045757b8af":"atgaitas temperatūra paliek zem 95 C","oss-aion-three-questions.24fa71fdd6":"invariantu pārbaudes","oss-aion-three-questions.846ee97ae5":"vai norādītie invarianti saglabājas visā izpildes laikā","oss-aion-three-questions.17f80cae31":"Izpilde atveidojas no tā, ko sertifikāts deklarē.","oss-aion-three-questions.ba01008496":"t = 4.20","oss-aion-three-questions.ff4e31b5a8":"x0 = 2.5","oss-aion-three-questions.a74e1bd7e0":"t = 1.75","oss-aion-three-questions.63df9305f6":"tolerance 1e-6","oss-aion-three-questions.884f613dc6":"t = 0.00","oss-aion-three-questions.0c1ded1963":"solis 0.01 s","oss-aion-three-questions.8c30aa1c6e":"izpildes atbilstība","oss-aion-three-questions.b3c58a82bd":"vai deklarētais modelis un konfigurācija radīja šo trajektoriju","oss-aion-three-questions.5d3f336ca9":"hash blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"chiller-loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"modelis un FMU","oss-aion-three-questions.b697dd615a":"divi no trim","oss-aion-three-questions.f14f15b304":"trajektorija","oss-aion-three-questions.f1f1425b65":"parametri","oss-aion-three-questions.910e029098":"ilustratīvs","oss-aion-three-readings.41d8442e84":"rādījumi un to ticamības līmeņi pieder AION, izvēle ir jūsu, un tā tiek ierakstīta","oss-aion-three-readings.42e8a93311":"trīs rādījumi, viens lēmums, un tam ir autors","oss-aion-three-readings.62b4619c99":"skaits, kas nevar nokrist zem nulles","oss-aion-three-readings.48a15f3a18":"vesels skaitlis, kas ir mazāks par pieci","oss-aion-three-readings.ae3925651e":"vai atkārtoti mēģinājumi ir vesels skaitlis, skaits vai jebkura vērtība?","oss-aion-three-readings.dffe60eb6a":"jautājums uzdots","oss-aion-three-readings.fb76182a92":"jautāts, nevis pieņemts","oss-aion-three-readings.8c3f96fa33":"Atkārtotu mēģinājumu skaitam jābūt mazākam par pieci","oss-aion-three-readings.e9be13f9ec":"AION atklāj neskaidrību, nevis to atrisina. Tas nosauc neskaidrības veidu,\n          uzskaita rādījumus ar katra ticamības līmeni un nosacījumu, ko katrs noteiktu,\n          un uzdod jautājumu, nosaucot attiecīgo mainīgo. Lēmums joprojām pieder\n          cilvēkam. Mainās tas, ka tas tiek pieņemts vienreiz, protokolā, to, kurš ir\n          atbildīgs par prasību, nevis tas, kurš nejauši veica\n          pārveidi.","oss-aion-three-readings.f26c9b4ff8":"Mazāk par pieciem mēģinājumiem, skaitīti veseli. Vai mazāk par pieciem,\n          ja četri ar pusi ir derīga vērtība. Vai skaits, kas arī nevar nokrist zem\n          nulles. Tie ir trīs dažādi noteikumi, un atšķirība galu galā parādās kā incidents.\n          Parastajā darba kārtībā vienu no tiem izvēlējās tas, kurš veica\n          tulkojumu, ceturtdien, nevienam nepasakot.","oss-aion-three-readings.7b5121a8f0":"\"Atkārtotu mēģinājumu skaitam jābūt mazākam par pieci.\"","oss-aion-three-readings.ffe5d68fe6":"Kāds izvēlējās vienu.","oss-aion-three-readings.55b8b0b398":"Jūsu teikumam bija divi lasījumi.","oss-aion-three-readings.2d1501c7e4":"Klusais lēmums, ko neviens nepieņēma","oss-aion-three-readings.bec998cdfe":"jebkurš skaitlis, ieskaitot četrus ar pusi","oss-aion-time-left.88430838dd":"neviens nav pārsteigts","oss-aion-time-left.227b19b5aa":"Tas tikai kļuva mazāks, kāda priekšā, kurš vēl varēja uz to reaģēt.","oss-aion-time-left.ac61a8b97d":"Skaitlis bija tur astotajā dienā un nekad nekļuva skaļāks.","oss-aion-time-left.0703308f0f":"Uz šīs lapas nav trauksmes signāla un nekas nav kļuvis sarkans. Katrs no šiem ir\n          tas pats teikums, ko lasa citā dienā.","oss-aion-time-left.6222c927fd":"Tas nonāk pie cilvēka, kurš apstiprina novēlotas atbildes, ar datumu uz tā, un viņi\n            atbild jums.","oss-aion-time-left.4dfda36be9":"14 dienas pagājušas","oss-aion-time-left.d5f128da73":"atbilde bija jāsniedz sešpadsmitajā","oss-aion-time-left.58cdff89f9":"cits pieprasījums, lasīts pēc datuma","oss-aion-time-left.6a7651b700":"trīsdesmit dienas pēc jūsu jautājuma","oss-aion-time-left.813d27411f":"atbilde ir jāsniedz","oss-aion-time-left.d8b0301347":"jūs lūdzāt kopiju tam, ko viņi glabā par jums","oss-aion-time-left.4c3d95bf6a":"pieprasījums","oss-aion-time-left.795bcac29d":"šodien atlikušas četras dienas","oss-aion-time-left.56ff55acfb":"viens termiņš, lasīts četras reizes","oss-aion-time-left.acafbd7541":"zvaniet viņiem šodien","oss-aion-time-left.148b21034f":"4 dienas atlikušas","oss-aion-time-left.f165b88925":"piespiediet to šonedēļ","oss-aion-time-left.b85bbd50bd":"8 dienas atlikušas","oss-aion-time-left.4a8b5bac9b":"joprojām kārtībā","oss-aion-time-left.67f9059ac5":"14 dienas atlikušas","oss-aion-time-left.ca372a8fb7":"ierakstiet to kalendārā","oss-aion-time-left.16f29c69b8":"22 dienas atlikušas","oss-aion-time-left.910e029098":"ilustratīvs","oss-aion-two-routes.89c24f999c":"otrs pārbauda pierādījumus","oss-aion-two-routes.3a5d844ae5":"viens ceļš tos reproducē","oss-aion-two-routes.028a6cf2d7":"viņu sertifikāts","oss-aion-two-routes.5c837ce426":"viņu sistēma","oss-aion-two-routes.27f65e5e47":"tas, kas tam nepieciešams","oss-aion-two-routes.d0765bbac1":"SALĪDZINĀT","oss-aion-two-routes.91f8c088aa":"un tas, kas katram nepieciešams","oss-aion-two-routes.8930c1c9b8":"Divi veidi, kā būt pārliecinātam","oss-aion-two-routes.d56d985300":"pārbaudīt","oss-aion-two-routes.e1fc5057de":"reproducēt","oss-aion-two-routes.b028b89ea7":"viņu palīdzība","oss-aion-two-routes.999464a52f":"nav reproducēts","oss-aion-two-routes.9b9252883d":"pats sertifikāts","oss-aion-two-routes.4dc537c80f":"prasība, ievaddati un līgums","oss-aion-two-routes.ad95c10298":"viņu precīzā versija un iekārta","oss-aion-two-routes.cfd05bd2f2":"viņu licence","oss-aion-value-grid.6cc3364a24":"Pierādījums pievienots","oss-aion-value-grid.4910ee0aea":"Pierādījumi katram rezultātam","oss-aion-value-grid.411bf64817":"Rezultāts un tā kompaktais sertifikāts ceļo kopā, tāpēc pierādījumi tiek izveidoti, kad tiek pieņemts lēmums, nevis rekonstruēti pārskatīšanas laikā.","oss-aion-value-grid.05f9c0dc34":"Pārbaudīts ar citu dzinēju","oss-aion-value-grid.eea79d1484":"Atsevišķs pārbaudītājs salīdzina sertifikātu ar sākotnējiem pieņēmumiem. Modelis nevar novērtēt savu atbildi.","oss-aion-value-grid.cbd17d59ba":"Pārnēsājami formāti","oss-aion-value-grid.5e6cba1721":"Pierādījumi pārdzīvo izpildes vidi","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe un vienotā pierādījumu forma saglabā sertifikāta lasāmību pēc tam, kad modelis, risinātājs vai pakalpojums ir mainījies.","oss-aion-value-grid.a60bdd7985":"Pārbauda bezsaistē","oss-aion-value-grid.ebfb47f4ba":"Nav tiešsaistes atkarības","oss-aion-value-grid.6144cbfcab":"Pierādījuma pārbaudei nav nepieciešams tīkls, konts vai tiešs savienojums ar mums. Lietai, uz kuru paļaujaties revīzijas laikā, nav atkārtotas atkarības no piegādātāja.","oss-aion-value-grid.26ef011865":"ES suverenitāte","oss-aion-value-grid.23672ea195":"Eiropas, un jūsu rīcībā","oss-aion-value-grid.26e89e1455":"Izveidots Eiropā un pilnībā darbināms uz aparatūras, ko kontrolējat jūs. Jūsu pierādījumiem un lēmumiem nekad nav jāatstāj jurisdikcija, kuru jūs apstiprināt.","oss-aion-value-grid.66ac329042":"Riska samazināta revīzija","oss-aion-value-grid.9c8c22f54d":"Pierādījumi, ko var pārbaudīt cita puse","oss-aion-value-grid.6572cc2be6":"Kad regulators vai revidents jautā, kā tika pieņemts lēmums, jūs nododat sertifikātu, ko ikviens var pārbaudīt, nevis paļaujaties uz piegādātāja solījumu, kuru nevarat pārbaudīt.","oss-aion-value-grid.6b5eb5323e":"Lēmuma pierādījumi","oss-aion-value-grid.870c4d024a":"Neatkarīga pārbaude","oss-aion-value-grid.93e2c4e5c4":"Sāciet ar vienu lēmuma ceļu un saglabājiet tā sertifikātu visā pārskatīšanas laikā.","oss-aion-value-grid.217fc9a42f":"sertifikāts · pārbaudītājs · arhīvs","oss-aion-what-you-got.2b69c8154b":"un katrs jautājums rada vēl vienu","oss-aion-what-you-got.7f629c0e9f":"četras lietas, ko saņemat","oss-aion-what-you-got.7a9727c9f8":"jūs varat pārbaudīt","oss-aion-what-you-got.bc1c663195":"ko jūs saņemat","oss-aion-what-you-got.0da9f51943":"NOVĒROTS","oss-aion-what-you-got.8becd8f7be":"un ko tas noskaidro","oss-aion-what-you-got.7d3574bfa5":"Ko piegādātājs nodod","oss-aion-what-you-got.0306f977ae":"Kura versija to teica. Nevis ko tā pārbaudīja vai kā.","oss-aion-what-you-got.fd12863535":"nē","oss-aion-what-you-got.7b0c210f52":"Versijas numurs","oss-aion-what-you-got.f78a920a78":"Viņu pašu procesa apraksts, ko viņi paši sarakstījuši.","oss-aion-what-you-got.301941b624":"viņu apraksts","oss-aion-what-you-got.7591a35462":"Metodes piezīme","oss-aion-what-you-got.5eec058df8":"Kāds stāv aiz vārda, nevis aiz pamatojuma.","oss-aion-what-you-got.28fde2f659":"tikai nosaukums","oss-aion-what-you-got.7573daa505":"Paraksts","oss-aion-what-you-got.94ebda1bd3":"Droši, iespējami, konsekventi. Viens vārds, bez darba.","oss-aion-what-you-got.c99c8e4a9b":"Secinājums","oss-aion-where-it-runs.1ba0334f9f":"trešā nav","oss-aion-where-it-runs.03e2311510":"jūs konfigurējat abus","oss-aion-where-it-runs.076d156600":"iekšā nav ko konfigurēt","oss-aion-where-it-runs.f16ac53550":"jūsu ziņā konfigurēt","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"un nekas cits neiziet","oss-aion-where-it-runs.6cdd4e486a":"Divas konfigurējamas robežas","oss-aion-where-it-runs.39616fc267":"Programma, kuru instalējat, darbojas kā lokāls process.","oss-aion-where-it-runs.00bfadf39c":"Ārējs pierādītājs","oss-aion-where-it-runs.801db3efcd":"Tikai adreses, kuras iestatāt, un tikai pēc to iestatīšanas.","oss-aion-where-it-runs.d296df3171":"Klasteris","oss-aion-where-it-runs.67204bf5d4":"nav maršruta","oss-aion-where-it-runs.91984fcc1b":"Mitināts modelis","oss-aion-where-it-runs.b8b252650e":"vispār nav klienta","oss-aion-where-it-runs.ee39579eba":"Noklusējuma būvējums","oss-aion-where-it-runs.d49fe2c403":"nav instalēts","oss-aion-where-you-meet-it.2a85ffb07a":"Vieta mainās, solījums nemainās: iemesls, ko vari izlasīt, un pārbaude, ko ikviens var veikt.","oss-aion-where-you-meet-it.9a8413cd88":"Tu nekad pats nedarbināsi AION. Šīs ir vietas, kur tas var klusi strādāt tavā\n            labā.","oss-aion-where-you-meet-it.33fb502270":"Trīs ikdienas brīži","oss-aion-where-you-meet-it.40e32f89eb":"Ikviens, kam uzticies, var pārbaudīt čeku un apstiprināt to.","oss-aion-where-you-meet-it.03ef5e1328":"Kad iestāde izmanto mašīnu, lai pārbaudītu tavu lietu, tev pienākas iemesls, ko vari izlasīt un apšaubīt.","oss-aion-where-you-meet-it.2390278256":"Tiek pārbaudīts pabalsts vai veidlapa","oss-aion-where-you-meet-it.2e92ab22dd":"Valsts iestādē","oss-aion-where-you-meet-it.0bd84e3a14":"Iemesls ir pierakstīts, nevis ieslēgts sistēmā.","oss-aion-where-you-meet-it.c4a1d64452":"Mašīnas pieņemti lēmumi par naudu var šķist kā aizvērtas durvis. Čeks tās atver, vienkāršos soļos.","oss-aion-where-you-meet-it.e17885868a":"Tiek aprēķināts aizdevums vai atmaksa","oss-aion-where-you-meet-it.5e45cf57a0":"Bankā","oss-aion-where-you-meet-it.e2c536b2b3":"Vari lūgt čeku un parādīt to savam ārstam.","oss-aion-where-you-meet-it.0b56f170bf":"Kad mašīnai ir sava balss tavā ārstēšanā, tev vajadzētu redzēt iemeslu, nevis tikai rezultātu.","oss-aion-where-you-meet-it.0332b7d1b7":"Dators palīdz lemt par tavu aprūpi","oss-aion-where-you-meet-it.4046c6355b":"Slimnīcā","oss-aion-which-did-you-mean.1ff884a89e":"jautāts, nevis minēts","oss-aion-which-did-you-mean.2eb1c230f2":"Izvēle pieder tam, kurš uzrakstīja teikumu.","oss-aion-which-did-you-mean.d94da790d1":"Divi parasti lasījumi, viens gadījums starp tiem.","oss-aion-which-did-you-mean.3b4d06d361":"Nekāds jautājums netika uzdots, un nevienam netika pateikts, uz kuru no abiem tas attiecas.","oss-aion-which-did-you-mean.93a161cede":"Stundas tiek skaitītas veselās. Izvēlēts ceturtdienas pēcpusdienā, kad kādam vajadzēja\n                nosūtīt.","oss-aion-which-did-you-mean.4b73aced85":"spēkā","oss-aion-which-did-you-mean.17e120a269":"Atcelt, ja kavējums ir ilgāks par vienu stundu.","oss-aion-which-did-you-mean.ddf20b2d3c":"parastais veids, kā tas tiek atrisināts","oss-aion-which-did-you-mean.3f42a39277":"kā tas patiesībā notiek","oss-aion-which-did-you-mean.1e9a34969e":"veselas stundas","oss-aion-which-did-you-mean.9c2a4532bb":"Kad rakstījāt vairāk nekā vienu stundu, vai domājāt veselas stundas, vai kavējumu, kā tas\n                patiesībā notiek?","oss-aion-which-did-you-mean.280b34e1e5":"Jūsu vilciens kavējas septiņdesmit piecas minūtes un rezervācija tiek atcelta, pirms esat\n                    izlēmis, vai joprojām vēlaties ceļot.","oss-aion-which-did-you-mean.97e4112012":"Kavējums ir tik ilgs, cik tas patiesībā ir. Stunda un ceturtdaļa ir vairāk nekā\n                    stunda.","oss-aion-which-did-you-mean.c5d620cfa2":"otrais lasījums","oss-aion-which-did-you-mean.466780685c":"Jūsu vilciens kavējas septiņdesmit piecas minūtes un nekas netiek atcelts. Jūs gaidāt uz\n                    platformas vilcienu, kas joprojām nāk.","oss-aion-which-did-you-mean.6b67a39030":"Stundas tiek skaitītas veselās. Kavējums stunda un ceturtdaļa tiek skaitīts kā viena stunda,\n                    un viena stunda nav vairāk nekā viena stunda.","oss-aion-which-did-you-mean.9cf85c69a8":"pirmais lasījums","oss-aion-which-did-you-mean.ef52f97a5b":"vairāk nekā viena stunda","oss-aion-which-did-you-mean.371c6d7efd":"Atcelt, ja kavējums ir","oss-aion-which-did-you-mean.887640fa01":"jūs rakstījāt","oss-aion-which-did-you-mean.3650db40be":"gaidot jūsu atbildi","oss-aion-which-did-you-mean.ff312b91d2":"ko jūs domājāt","oss-aion-which-did-you-mean.6f8f8e9f76":"tad","oss-aion-which-did-you-mean.910e029098":"ilustratīvs","oss-aion-your-corpus.a54df5506a":"divas nedēļas, ar rakstisku iznākumu","oss-aion-your-corpus.ee646eb7cc":"Palaid to pašu korpusu pret to, ko tu šobrīd lieto, un novieto abus ziņojumus blakus\n            viens otram.","oss-aion-your-corpus.f2d4df122d":"Sešdesmit divi no sešdesmit četriem, uz tavas mašīnas, zem tava ierobežojuma.","oss-aion-your-corpus.8ff7db55b1":"šis ierobežojums","oss-aion-your-corpus.8ada74cbb4":"šī mašīna","oss-aion-your-corpus.b2ed177f82":"šis korpuss","oss-aion-your-corpus.71e1422875":"funkcija no","oss-aion-your-corpus.94ef1b7ae8":"no 64 pareiziem","oss-aion-your-corpus.2ce97993d5":"vēl nav sprieduma","oss-aion-your-corpus.90326d4307":"pagājušas 41 s","oss-aion-your-corpus.69bb8da1c5":"joprojām darbojas","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"nav ierakstītas atbildes","oss-aion-your-corpus.72330c3954":"16 GB adrešu telpa","oss-aion-your-corpus.b4f0923eae":"16 GB vienā izpildē","oss-aion-your-corpus.ff367b6b79":"adrešu telpas ierobežojums","oss-aion-your-corpus.d1ea89e714":"32 kodoli, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"ilustratīva izpilde","oss-aion-your-corpus.e380724f89":"viens ierobežots, viens joprojām darbojas","oss-aion-your-corpus.f6f66c95d6":"Tavs korpuss, vietā","oss-aion-your-corpus.8d95729188":"ierobežots","oss-aion-your-corpus.7817c52b25":"mašīna","oss-aion-your-corpus.d95f464bc9":"instances","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"korpuss","oss-aion-your-sentence-parts.8e7ed848f6":"to joprojām var izlasīt","oss-aion-your-sentence-parts.78c48f428a":"tu to uzrakstīji","oss-aion-your-sentence-parts.c569c19f0b":"Izlasiet vēlreiz, tas dod to pašu noteikumu. Nekas starpā nav mainījies.","oss-aion-your-sentence-parts.43015fadc4":"Nevienam nevajadzētu tikt iekasētam divreiz par to pašu pasūtījumu tajā pašā mēnesī.","oss-aion-your-sentence-parts.a14707f800":"Jūsu teikums, nemainīts","oss-aion-your-sentence-parts.2ccea15065":"gadu vēlāk","oss-aion-your-sentence-parts.a80d4309ae":"Ziņojuma augšpusē, virs daļas, kas netika izpildīta.","oss-aion-your-sentence-parts.f33c43e8f9":"Jūsu teikums, citēts","oss-aion-your-sentence-parts.f0f795235c":"diena, kad tas ir spēkā","oss-aion-your-sentence-parts.fe74b20e8f":"Kā jūs to ierakstījāt, ar vienu vienkāršu rindiņu, kas norāda, kā tas tika lasīts.","oss-aion-your-sentence-parts.358b1cbc5d":"Jūsu teikums, saglabāts","oss-aion-your-sentence-parts.13211e2743":"diena, kad jūs to rakstāt","oss-aion-your-sentence-parts.27a0362e59":"JŪSU VĀRDI","oss-aion-your-sentence-parts.d37598cc12":"trīs dažādās dienās","oss-aion-your-sentence-parts.32a5ee7a1f":"Tas pats teikums","page-breadcrumb.c766e66518":"Atpakaļceļš","page-toc.7e439c353e":"Šajā lapā","section_st_a1_display-split.7c9a7c0610":"Detaļas","section_st_f1_cta-dark.90e40d5043":"Sākt","spindle-extras.127edee78d":"PARAKSTĪTS","toc-rail.f5cbdf6bfb":"Saturs"}