{"block_close_oss.c33fd1fe9c":"Komunità u ekosistema","core-extras.96d330537a":"IR Bażi","core-extras.bee831a169":"Substrat","core-extras.61a0822826":"Apps fuq Core","core-extras.15438cc098":"mhux appoġġjat","core-extras.ad565d9d01":"Karatteristika","core-extras.0155bf03e5":"Leġġenda tas-segmenti","core-extras.8b7110078e":"L-algoritmi jiggruppaw skont it-tip ta' data","core-extras.25ab4276a6":"Matriċi ta' kapaċitajiet li tista' tiskrollja","open-source-aion.81f3904118":"Governanza tal-għarfien mibnija fuq provenjenza stil AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Prodotti","open-source-aion.de5ec3713e":"Parser ċertifikabbli b'Merkle użat minn AION għall-immaniġġjar tal-input.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Runtime verifikat li jqabbel iċ-ċertifikati ta' AION ma' traskrizzjonijiet tal-eżekuzzjoni.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Provenjenza ta' avvenimenti għal sistemi: rekords marbuta b'hash ta' dak li ġara, mhux passi ta' raġunament ġewwa deċiżjoni.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Kompli tesplora","open-source-aion.75e393a1ac":"Esplora proġetti relatati","open-source-aion.f9743247fa":"Aqra d-dokumentazzjoni","open-source-aion.ef0fd4ccef":"Spezzjona l-passaġġ tal-prova","open-source-aion.77453cde44":"Mexxi eżempju ta' ċertifikat u ċċekkjah b'aion check, cvc5, jew kwalunkwe verifikatur kompatibbli ma' LRAT ladarba r-repożitorju jiġi ppubblikat. Il-pubblikazzjoni hija ppjanata għall-1 ta' Settembru 2026, u l-istruzzjonijiet tal-installazzjoni jaslu magħha.","open-source-aion.dd58b70279":"Il-prova tiġi mar-risposta","open-source-aion.90e40d5043":"Ibda","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Open Source","open-source-aion.close.accent":"biex kulħadd ikun jista' jiċċekkjaha mingħajrek","open-source-aion.close.panel.title":"Dak li jġorr ċertifikat","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Forma waħda, tmien oqsma","open-source-aion.close.panel.row.1.label":"Familji","open-source-aion.close.panel.row.1.value":"Disgħa rreġistrati, u estensibbli","open-source-aion.close.panel.row.2.label":"Iċċekkjar","open-source-aion.close.panel.row.2.value":"Limitata, mingħajr liċenzja, mingħajr replays","open-source-aion.close.panel.row.3.label":"Fejn jaħdem","open-source-aion.close.panel.row.3.value":"Fuq is-sit tiegħek, xejn ma joħroġ 'il barra","open-source-aion.close.panel.foot":"Ċertifikat jibqa' żgħir u jibqa' jista' jiġi ċċekkjat mill-ġdid snin wara.","open-source-aion.ea722c81af":"Ewropew","open-source-aion.26803e587f":"Fil-ħin tal-awditjar","open-source-aion.15edfb4da4":"Magħmul fi","open-source-aion.75f527181b":"Offline","open-source-aion.f8c94a3b4b":"X'inhu","open-source-aion.6b5eb5323e":"Offline, ħin lineari","open-source-aion.a49b62e167":"Razzjonali eżatti","open-source-aion.45f053dc73":"Aritmetika","open-source-aion.4329e5da7b":"11 dominju loġiċi","open-source-aion.9a948dc88c":"DERIVAZZJONI","open-source-aion.e6c67de15e":"Formati ta' prova","open-source-aion.87415af880":"Ċertifikati ta' prova","open-source-aion.9c8c22f54d":"Evidenza, mhux assigurazzjonijiet","open-source-aion.44ab85a252":"Oriġini","open-source-aion.3271776def":"Offline, mingħajr servizz","open-source-aion.03128bed90":"Verifikazzjoni","open-source-aion.4f1428fca3":"Hardware li tikkontrolla int","open-source-aion.5703321d0e":"Jaħdem fuq","open-source-aion.978e9ec250":"Standard, portabbli","open-source-aion.3229609e15":"Verifikazzjoni","open-source-aion.cba0624eb5":"Rekord ta' verifikazzjoni","open-source-aion.26ef011865":"Ara fejn jaħdem","open-source-aion.6f696724c6":"Ara l-passaġġ tal-verifikazzjoni","open-source-aion.a3f1131acb":"AION huwa infrastruttura ta' prova għal deċiżjonijiet tal-AI, pubbliku mill-1 ta' Settembru 2026. Joħroġ prova kompatta ma' riżultat tal-AI, u verifikatur separat jimxi fuq dik il-prova kontra l-premessi oriġinali u jaċċettaha jew jirrifjutaha mingħajr il-mudell, is-sessjoni tas-solver, jew in-netwerk.","open-source-aion.a2831cb958":"għal deċiżjonijiet tal-AI verifikati b'mod indipendenti","open-source-aion.78db6d1920":"Infrastruttura ta' prova","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Qatt biss afda fiha","open-source-aion.4c1c703b94":"Il-punt","open-source-aion.2518be9b9c":"Mhux meħtieġ","open-source-aion.4ab2910209":"Il-kont tiegħek","open-source-aion.3477f4d91d":"L-istess risposta","open-source-aion.d7e70b6e08":"L-istess mistoqsija","open-source-aion.930888ee28":"L-ebda internet","open-source-aion.d072f5db48":"Qed jiġu ċċekkjati l-ħtiġijiet","open-source-aion.576347ec82":"Ewropa","open-source-aion.eeffc514bd":"Le, oħrajn jużawha għalik","open-source-aion.cef1deea41":"Int tibnih","open-source-aion.64ae43e8fe":"Iċċekkjar tal-provi","open-source-aion.fdd1e56642":"Irċevuta għat-tweġibiet","open-source-aion.704869f20f":"Fi kliem ċar","open-source-aion.658a8547d7":"Huwa sigur?","open-source-aion.06c805023d":"Raġuni li tista' ġġorr miegħek","open-source-aion.e92ed103c2":"AION iżid irċevuta li tista' tiġi ċċekkjata ma' tweġiba tal-AI. L-assistent tiegħek jista' jgħidlek jekk ir-raġunament jżommx mingħajr ma jitlobek tifhem il-makkinarju, u l-irċevuta tista' terġa' tiġi ċċekkjata mingħajr konnessjoni tal-internet. AION huwa pubbliku mill-1 ta' Settembru 2026, il-jum li fih id-dokumentazzjoni tiegħu tibda tkun disponibbli wkoll.","open-source-aion.336366183a":"għal deċiżjonijiet tal-AI","open-source-aion.41cbc965ef":"Irċevuta li tista' tiġi ċċekkjata","open-source-aion.4eabc3bc63":"CDCL b'plugins tat-teoriji","open-source-aion.68836c550e":"Core","open-source-aion.0cdb7c9a36":"Ħin lineari, offline","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teoriji","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Lingwa","open-source-aion.942587e61e":"Folja tal-proġett","open-source-aion.d4a74b503a":"Aqra d-dokumentazzjoni","open-source-aion.b683cc6ce4":"AION jiftaħ il-programm fl-1 ta' Settembru 2026: infrastruttura ta' provi għal deċiżjonijiet tal-AI, bir-repożitorju u d-dokumentazzjoni tiegħu ppubblikati flimkien. Spjegazzjonijiet post hoc biss jitolbuk tafda f'kont ieħor mill-istess sistema. AION minflok joħroġ ċertifikat ta' prova li kwalunkwe verifikatur jista' jiċċekkja offline, fi żmien lineari, mingħajr is-solver.","open-source-aion.8f2ee5be83":"Riżultati tal-AI","open-source-aion.376868cca2":"għal dawk iċċekkjati b'mod indipendenti","open-source-aion.hero.source":"Staqsi dwar ir-rilaxx","open-source-aion.45471af790":"Provenjenza tal-avvenimenti","open-source-aion.ac9835d4bd":"Traskrizzjonijiet tal-eżekuzzjoni","open-source-aion.24f43d4446":"Siġar tas-sintassi","open-source-aion.f6b229e148":"Il-fajls tiegħek, il-ħardwer tiegħek, in-numri tiegħek, u ċekkjatur li jaqra l-prova ta' barrani","open-source-aion.144fbc96c6":"MGĦODDUD","open-source-aion.719075bb86":"IPARSA U SSOLVI","open-source-aion.8f84ba12df":"IL-FAJLS TIEGĦEK STESS","open-source-aion.8f088dbc07":"Dik hija evalwazzjoni ta' ġimagħtejn b'riżultat miktub aktar milli dimostrazzjoni. Il-korpus huwa tiegħek, il-ħardwer huwa tiegħek, in-numri huma tiegħek biex tippubblika internament, u xejn dwar l-eżerċizzju ma jeħtieġ konversazzjoni magħna. L-għodda tiġi mar-repożitorju, għalhekk it-tħaddim jista' jibda l-jum li tasal l-aċċess.","open-source-aion.36ef075645":"Korreġenza mhijiex l-opinjoni ta' AION dwar innifsu. Kull fajl f'korpus standard iġorr l-istatus li huwa magħruf li għandu, u l-għodda tqabbel it-tweġiba ta' AION ma' dik l-annotazzjoni każ b'każ, għalhekk l-għadd fl-aħħar huwa punteġġ kontra verità bażika ddikjarata. L-ispazju tal-indirizzi għal kull tħaddim jista' jiġi limitat, li jżomm fajl patoloġiku wieħed milli jieħu magna miegħu.","open-source-aion.e5bce47d50":"Dak li jipproduċi pilot","open-source-aion.680f97998b":"AION jibgħat għodda ta' benchmark, għalhekk in-numri li tiċċita f'każ ta' negozju huma dawk li l-fajls tiegħek stess ipproduċew fuq il-ħardwer tiegħek. Ippuntah lejn korpus, u jirrekordja l-ħin tal-parsing, il-ħin tas-soluzzjoni u l-memorja massima residenti għal kull każ, imbagħad jistampa għadd ta' kemm tweġibiet kienu korretti. It-tħaddim jirrepeti fuq l-istess korpus, għalhekk evalwazzjoni oħra tista' titqiegħed ħdejn l-ewwel waħda linja b'linja.","open-source-aion.2d5f8acea9":"u aqra n-numri lura","open-source-aion.5586707b63":"Ħaddem il-fajls tiegħek l-ewwel","open-source-aion.67ec8d614c":"Qabel ma timpenja ruħek","open-source-aion.55744ee096":"Anki b'dak kollu, xi ħadd se jikkontesta riżultat. Dan jeħtieġ rotta, mhux laqgħa","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"MISTOQSI LIVE","open-source-aion.24538c3986":"MARĠNI, MHUX ALLARM","open-source-aion.368f25d10d":"X'imkien qabel dik tal-aħħar kien hemm jum meta x-xogħol kien għadu ta' waranofsinhar, u dak huwa l-jum li maniġer irid immarkat, għax kull għażla wara tiswa aktar. Il-qari tal-marġni kuljum huwa kif jinstab dak il-jum.","open-source-aion.c5701049a8":"Ir-rapport għandu sid aktar milli kju, u kull linja fuqu timplika biċċa xogħol differenti b'urġenza differenti. Waħda hija kompluta u ma teħtieġ l-ebda azzjoni minn ħadd. Waħda għandha erbat ijiem xellu, li jagħmilha l-pjan ta' din il-ġimgħa aktar milli ta' llum. Waħda għandha jum wieħed xellu, li jagħmilha x-xogħol ta' dalgħodu. Waħda għaddiet id-data tagħha minn ġimagħtejn, li teħtieġ isem kontraha u sentenza li tispjega d-distakk.","open-source-aion.26435b9406":"Kwalunkwe ħaġa b'data ta' skadenza fiha tista' tiġi mmonitorjata waqt li taħdem, u AION jirrapporta l-ispazju li jibqa' bħala numru ffirmat aktar milli bħala għadd. Tieqa ta' rispons b'erbat ijiem li jibqgħu. Perjodu ta' żamma ġimagħtejn wara d-data li kellu jagħlaq. Dik hija qari operattiv li xi ħadd jista' jaġixxi fuqu dalgħodu. In-numru jiċċaqlaq kuljum, għalhekk ir-rapport jinqara bħala marġni aktar milli bħala allarm.","open-source-aion.f49579b8d6":"qabel ma jsir ksur","open-source-aion.0e185152c8":"Int taqra l-marġni kuljum","open-source-aion.bc09e774e9":"Obbligi ħajjin","open-source-aion.cff8079f65":"Rekords iwieġbu mistoqsijiet wara l-fatt. Xi obbligi jeħtieġu monitoraġġ waqt li jaħdmu","open-source-aion.127edee78d":"IFFIRMAT","open-source-aion.b1c1ba1af8":"LISTA","open-source-aion.8d27ef68f5":"SEBGĦA JISTGĦU JIĊĊAQALQU","open-source-aion.c84f34cb7c":"L-attribuzzjoni hija mekkaniżmu ieħor aktar milli kolonna oħra tal-istess rekord. Firma tiġi applikata fuq l-ordni tad-derivazzjoni, għalhekk min ipproduċa riżultat jibqa' jgħix meta jinbidel il-kuntrattur, u żewġ tweġibiet identiċi minn żewġ fornituri jibqgħu distinti. Dan iżomm anki meta t-tnejn ikunu prodotti mill-istess inputs iddikjarati.","open-source-aion.a76201631f":"Kull daħla f'dik il-lista ssemmi l-komponent li nbidel, u ċ-ċertifikat maħżun warajh huwa komplut, għalhekk li terġa' tiċċekkja hija tħaddim aktar milli rikostruzzjoni. L-alternattiva, li hija dak li għandhom il-biċċa l-kbira tal-organizzazzjonijiet, hija għażla bejn li terġa' teżamina kollox u li terġa' teżamina xejn, u fil-prattika dik l-għażla dejjem issir bl-istess mod.","open-source-aion.5c82441a97":"Ir-rekord","open-source-aion.10d9103c24":"Riżultat aċċettat is-sena l-oħra kien aċċettat taħt il-kuntratt tas-sena l-oħra. Sebgħa affarijiet differenti jistgħu jiċċaqalqu taħtu: regola taċ-ċekkjatur, skema ta' ċertifikat, politika, regola tal-kompilatur, kuntratt ta' runtime, verżjoni tal-mudell, jew kuntratt ta' simulazzjoni. Meta waħda minnhom tiċċaqlaq, il-mistoqsija dwar liema konklużjonijiet tal-passat kienu jiddependu fuq il-parti li nbidlet għandha tweġiba, u t-tweġiba hija lista.","open-source-aion.1829734913":"ikollok lista biex terġa' tagħmel","open-source-aion.6d49555943":"Meta regola tinbidel aktar tard","open-source-aion.7f325552d8":"L-audit trail tiegħek, b'verżjonijiet","open-source-aion.d272027f73":"Rekord lokali huwa faċli biex jinżamm. Li jibqa' sinifikanti meta r-regoli jinbidlu huwa iktar diffiċli","open-source-aion.05a898ec87":"L-EBDA HOST TAL-MUDEL","open-source-aion.c530254e40":"IS-SIT TIEGĦEK","open-source-aion.66b3dbbe8f":"L-EBDA SEJĦA 'L BARRA","open-source-aion.8ae7a1670e":"Għal uffiċjal tal-protezzjoni tad-data li jwieġeb lista qasira ta' mistoqsijiet dwar din il-mogħdija, u biss din il-mogħdija: l-ebda proċessur xi jżid f'reġistru, l-ebda trasferiment xi jiġġustifika, l-ebda fornitur tal-mudell fil-katina, u xejn minn tagħna li jista' ma jkunx disponibbli waqt l-inċident tiegħek jew bidla taħtek fl-iskeda ta' rilaxx ta' ħaddieħor. Il-bini li għandek huwa l-bini li jaħdem is-sena d-dieħla. Dik it-tweġiba taqra l-istess kemm jekk is-sit ikun konness jew iżolat mill-netwerk.","open-source-aion.60ad7ae15b":"Żewġ mogħdijiet jistgħu jaqsmu fruntiera u t-tnejn huma tiegħek biex tikkonfigurahom. Kluster jaħdem fuq indirizzi li inti stess tistabbilixxi. Prover estern, jekk trid wieħed fiċ-ċiklu, huwa programm li tinstalla u jaħdem bħala proċess lokali fuq il-magna tiegħek stess.","open-source-aion.2f6a307ba7":"Għall-operaturi","open-source-aion.dbc08c41b9":"Il-bini default ta' AION ma jġorr l-ebda klijent li joħroġ 'il barra. Il-verifikar ta' prova, it-traduzzjoni ta' rekwiżit, il-monitoraġġ ta' sinjal u t-tmexxija tat-tiftix kollha jseħħu fuq il-magna li bdejthom fuqha, ġewwa l-konfini tiegħek stess, fuq hardware li tikkontrolla int. M'hemm l-ebda mudell ospitat fil-katina u l-ebda rotta lejh. L-istess bini jaħdem f'kamra iżolata mill-arja kif jaħdem f'waħda konnessa, għax xejn fuq il-mogħdija default ma jeħtieġ netwerk biex jitlesta.","open-source-aion.90c790a231":"u xejn ma jsejjaħ 'il barra","open-source-aion.4b9230d5db":"Kollox jaħdem fuq is-sit","open-source-aion.fe7f7fc61a":"Fejn iseħħ ix-xogħol","open-source-aion.ed461cacdf":"Prova dwar ir-regoli hija ħaġa waħda. Fejn jaħdem ix-xogħol hija l-mistoqsija li jmiss li jagħmlu n-nies","open-source-aion.640d41197b":"WAĦDA MAĦMUMA","open-source-aion.29ff0fb82f":"SEBA' DIKJARAZZJONIJIET","open-source-aion.431d64456a":"Dik hija dikjarazzjoni dwar is-sett ta' regoli aktar milli kampjun ta' każijiet tal-passat. L-ittestjar ta' elf applikazzjoni juri elf applikazzjoni; kontroll ta' non-interferenza jkopri kull par li r-regoli jippermettu, permezz ta' self-composition, property directed reachability u k-induction, bit-tnaqqis tal-astrazzjoni fejn par juri li kienet laxka wisq. Meta ma jżommx, dak li jirritorna mhuwiex statistika. Huma żewġ applikazzjonijiet identiċi f'kull qasam pubbliku, differenti f'dak li staqsejt dwaru, b'żewġ riżultati differenti murija ħdejn xulxin. Dik hija sejba li uffiċjal tal-konformità jista' jaġixxi fuqha l-istess filgħodu.","open-source-aion.e5e1cd5506":"Ħu dak li r-regolaturi u l-ilmentaturi jistaqsu l-aktar spiss, fi kliem differenti: dan il-qasam biddel ir-riżultat? Huwa mwieġeb bħala proprjetà fuq żewġ ġirjiet. Orbot kull input pubbliku flimkien, ħalli l-qasam inkwistjoni liberu fuq kull naħa, u meħtieġ li r-riżultat viżibbli jaqbel. Jekk dejjem jaqbel, ir-riżultat ma ddurx fuq dak il-qasam.","open-source-aion.227872d789":"Waħda minnhom, imħaddma","open-source-aion.5f92fd5ed1":"Ċertifikat huwa interessanti biss għas-sentenza li jħallik tgħid. Dan il-binarju jikkorrispondi ma' dan il-graff tas-sors. Din il-ħidma damet taħt dawn il-kapaċitajiet. Din l-azzjoni kellha l-approvazzjoni meħtieġa. Dan l-ottimu jilħaq dan il-limitu. Din it-trajettorja rrispettat dawn l-invarjanti. Din il-konklużjoni ssegwi minn dawn ir-restrizzjonijiet. Dan il-ħruġ ġie minn dan il-mudell eżatt u dan is-sett ta' parametri.","open-source-aion.418a3bc2fc":"jitqiegħed quddiem regolatur","open-source-aion.7a7af31402":"Seba' dikjarazzjonijiet li tista'","open-source-aion.a13c1cf72d":"Dak li tista' tipprova fil-verità","open-source-aion.20467ce964":"Każ huwa dwar applikazzjoni waħda. Xi mistoqsijiet huma dwar tnejn minnhom fl-istess ħin","open-source-aion.dde18d1e41":"MIN JIPPROPRIETAH","open-source-aion.f3b603a5b2":"FIL-VALURI","open-source-aion.53d2799375":"IL-KAŻ","open-source-aion.f18bb15530":"It-tnejn li huma huma sejbiet, u t-tnejn għandhom sid. L-ebda waħda mhija disponibbli minn pass jew falliment. Il-kontroeżempju huwa dak li jgħidlek liema mit-tnejn qed iżżomm.","open-source-aion.d83e9c1af9":"Il-kontroeżempju jtemm ukoll argumenti li altrimenti jdumu ġimgħat, għax mhuwiex l-opinjoni ta' ħadd dwar jekk ir-regola hijiex wisq stretta. Huwa każ, imfassal fil-valuri reali li fuqhom taħdem ir-regola. Jew il-każ huwa possibbli x'imkien fin-negozju tiegħek, f'liema każ ir-regola hija tajba u s-sistema hija ħażina, jew il-każ ma jistax iseħħ, f'liema każ l-ispeċifikazzjoni hija nieqsa minn restrizzjoni li kulħadd assuma u ħadd ma kiteb.","open-source-aion.7455444aea":"Meta regola ma żżommx, AION jirritorna s-sitwazzjoni speċifika li tikserha, miktuba bħala proża: liema valuri, ta' liema tip, u liema kundizzjonijiet jiksru. Inġinier jista' jirriproduċiha u maniġer jista' jipprezzaha, u għal darba t-tnejn qed jargumentaw dwar l-istess każ.","open-source-aion.7d4873637b":"bħala l-każ li kiserha","open-source-aion.aeb268fac7":"Regola miksura terġa' lura","open-source-aion.b5951203ea":"Dak li tagħtik falliment","open-source-aion.8a9a27b8f7":"Li jħalli s-sentenzi li jistgħu jfissru żewġ affarijiet, u dawk jiġu mistoqsija dwarhom","open-source-aion.e1814a04c0":"RIVEDIBBLI","open-source-aion.20e7dea6cd":"QARI ĊAR","open-source-aion.295ea7bb80":"INGLIŻ MIŻMUM","open-source-aion.a4abbaea33":"It-traduzzjoni hija librerija ta' mudelli aktar milli mudell, għalhekk l-istess sentenza dejjem tipproduċi l-istess qari, u reviżjoni ma jkollhiex għalfejn tiġi ripetuta għax l-għodda biddlet fehmitha bejn kwart u ieħor. Reviżur ieħor li jaqra l-istess sentenza jasal għall-istess kundizzjoni, u dan huwa dak li jagħmel reviżjoni trasferibbli.","open-source-aion.f3689055f1":"Kull kundizzjoni tiġi b'sentenza waħda bl-Ingliż sempliċi li tgħid x'tikkodifika, u mal-kwantitajiet li taħdem fuqhom, kull waħda msemmija bit-tip ta' valur li jżomm u l-linja ta' deskrizzjoni tagħha stess. Allura r-reviżjoni tista' ssir mill-persuna li għandha r-rekwiżit aktar milli biss mill-persuna li għandha n-notazzjoni.","open-source-aion.cac3da045e":"Kif iżżomm","open-source-aion.c6b765e4cc":"Ir-rekwiżiti jinkitbu minn nies li jifhmu n-negozju u jinbidlu f'kundizzjonijiet minn nies li jifhmu n-notazzjoni, u ż-żewġ verżjonijiet imbagħad jibqgħu jitbegħdu għal snin. AION iżommhom imwaħħlin: tikteb ir-rekwiżit bħala sentenza bl-Ingliż, u l-kundizzjoni li tiġi prodotta minnu ġġorr is-sentenza tiegħek magħha. Min jirrevedi jaqra t-tnejn flimkien, għalhekk it-tbegħid jidher fuq il-paġna aktar milli f'inċident.","open-source-aion.589a38f560":"lil min staqsa","open-source-aion.5d212c3d75":"Ir-regola tibqa' tinqara","open-source-aion.5373332e20":"Min jista' jaqra x'ġie ċċekkjat","open-source-aion.5f882ec681":"Referenza hija utli biss jekk ir-regola li tindika tkun waħda li n-nies tiegħek stess jistgħu jaqraw","open-source-aion.bca8d6442c":"AZZJONABBLI","open-source-aion.705bc98c49":"ISEM IR-REGOLA","open-source-aion.ab9f5d57e4":"ISEM IL-PASS","open-source-aion.b4ba975800":"Li nżommuhom separati huwa dak li jippermetti li rifjut jintbagħat lil fornitur, għax akkuża hija l-unika ħaġa li ma tistax tiġi rtirata bil-kwiet minn relazzjoni ma' fornitur.","open-source-aion.7a47f854de":"Dik il-forma hija dak li awditur jew maniġer tal-fornituri jista' jaġixxi fuqu, għax tbiddel tilwima f'referenza. AION jifred ukoll żewġ fallimenti li jaslu taħt kelma waħda. Jew il-pass ma jerġax jinbena, li huwa difett fil-prova u sejba kontra min ipproduċiha, jew il-pass juża regola li dan iċ-checker ma jġorrx, li hija kwistjoni ta' ambitu għalik u mhux sejba kontra ħadd.","open-source-aion.d9469b7dda":"Falliment li jaqra verifikazzjoni fallew ma jistax jiġi assenjat, diskuss jew imsewwi, u jasal bħala tilwima aktar milli sejba. AION jirritorna post u raġuni: liema pass, f'liema fajl, liema regola kien qed jippretendi li japplika, u x'kien nieqes meta l-pass reġa' ġie elaborat. Ir-rifjut jista' jmur lura lit-tim li pproduċa b'indirizz riproduċibbli. Jekk il-prova ma tistax tinbena mill-ġdid, is-sjieda hija mal-produttur; jekk iċ-checker jonqos mir-regola msemmija, hija deċiżjoni ta' ambitu. Dawk huma kjuwijiet differenti u rimedju differenti.","open-source-aion.ccc6a09991":"mal-pass u r-raġuni","open-source-aion.3619f211ef":"Kontroll fallut jiġi lura","open-source-aion.29801085dc":"Il-produzzjoni li trid tkun użabbli","open-source-aion.57c6ba11fc":"Seba' produtturi jżommu l-produzzjoni tagħhom stess. AION jistandardizza l-envelope u r-routing għall-evidenza tiegħu.","open-source-aion.f37804f36b":"ENVELOPE WAĦDA","open-source-aion.8a3b4bf313":"SEBA' PRODUTTURI","open-source-aion.479f1de8ea":"L-envelope kondiviż jagħti lill-organizzazzjoni reġistru wieħed, mudell ta' kompatibbiltà wieħed u sett affettwat wieħed meta tinbidel regola. Kull familja ta' ċertifikati żżomm il-verifikatur u r-regoli ta' rifjut tagħha. Familja ġdida tissieħeb billi tirreġistra dawk ir-regoli u l-verifikatur tagħha; AION ma jsirx il-produttur. Ir-reġistru huwa l-parti li tikber.","open-source-aion.5b958e86c7":"Solver jista' jarmetti ċertifikati loġiċi, ta' ottimizzazzjoni jew temporali. Twin u FMI jipproduċu outputs differenti iżda jaqsmu l-familja tas-simulazzjoni u tal-FMI. Il-produttur jgħid x'inhuma magħmula; il-familja taċ-ċertifikati tgħid kif tiġi ċċekkjata l-pretensjoni tiegħu. It-tnejn huma rreġistrati separatament, għalhekk la waħda tista' tinqara mill-oħra.","open-source-aion.57e1cc2701":"X'inbidel b'envelope waħda","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin u FMI huma seba' produtturi ta' outputs differenti, mhux seba' familji ta' ċertifikati. AION jagħti lill-evidenza tagħhom envelope waħda u jirrotta kull ċertifikat lill-verifikatur tal-familja tiegħu. L-envelope iġorr il-produttur, il-familja, l-iskema u l-inputs iddikjarati, filwaqt li l-verifikatur tal-familja jżomm it-tifsira teknika. Fornitur jista' jibdel l-implimentazzjoni tiegħu mingħajr ma jibdel il-konfini tal-evidenza tal-organizzazzjoni; biss bidla fil-familja jew fl-iskema tespandi r-reviżjoni tal-kompatibbiltà.","open-source-aion.65a41e884e":"envelope waħda għall-evidenza","open-source-aion.837663a52a":"Seba' produtturi, u","open-source-aion.647e0f46ec":"Seba' produtturi","open-source-aion.af6010147d":"Fornitur wieħed huwa relazzjoni waħda. Il-mistoqsija interessanti hija kemm tasal din","open-source-aion.35ecafecfb":"IL-MAKKINA TIEGĦEK","open-source-aion.0676f9f8de":"TLIET AFFARIJIET","open-source-aion.dfc87eabb4":"Dak iċċaqlaq il-konversazzjoni mill-art fejn il-fornituri huma komdi. M'għadekx qed titlobhom biex jikkonvinċuk, u m'għadekx tħallas biex tirriproduċi l-ambjent tagħhom. Ladarba jkollok it-tliet affarijiet, il-kontroll huwa tiegħek biex tirrepetih meta trid, fuq kwalunkwe ħardwer li trid, inkluż il-ġimgħa wara li jintemm il-kuntratt.","open-source-aion.7677ed77e3":"Jiswa li tkun preċiż dwar l-artefatt, għax mhux dejjem ikun fajl. Skont il-familja jista' jkun fajl, arkivju, stream, bundle ffirmat, par ta' traċċi, xhud, irċevuta ta' eżekuzzjoni jew derivazzjoni strutturata. Dak li dejjem huwa, tkun xi tkun il-forma tiegħu, huwa xi ħaġa li verifikatur jista' jaqra mingħajr ma l-produttur ikun preżenti.","open-source-aion.a29def781f":"X'inhu fil-fatt ċertifikat","open-source-aion.fdca1fef67":"Ċertifikat mhuwiex log u mhuwiex sommarju. Huwa l-evidenza li x-xogħol ħalla warajh, u dak li fornitur jagħti huwa tliet affarijiet: il-pretensjoni, l-inputs iddikjarati u l-kuntratt li sar kontra tiegħu, u ċ-ċertifikat li s-sistema pproduċiet. Mhux il-liċenzja tagħhom, mhux il-verżjoni tagħhom, mhux il-makkinarju tagħhom. Dawk it-tlieta jivvjaġġaw flimkien, u l-iċċekkjar tagħhom ma jeħtieġ xejn aktar mill-fornitur.","open-source-aion.b054d236cd":"aktar milli s-softwer tagħhom","open-source-aion.53e1575f60":"Iċċekkja ċ-ċertifikat","open-source-aion.5e40f4ba8a":"Il-bidla fil-pożizzjoni","open-source-aion.b9e2767b28":"Hemm rotta li la hija li temminhom u lanqas li terġa' tħaddem is-softwer tagħhom","open-source-aion.7d87348ad6":"ISMEK FUQH","open-source-aion.48a5aca907":"IS-SISTEMA TAGĦHOM","open-source-aion.32c3cafa08":"Dik hija l-pożizzjoni li awditur qed iħares lejha meta jistaqsi kif issodisfajt lilek innifsek, inkluż taħt regoli ta' evidenza bħal dawk tal-Att dwar l-AI tal-UE. AION jibdilha billi jagħti lil kull wieħed minn dawk ir-riżultati ċertifikat li tista' tiċċekkja, mingħajr ma tirriproduċi lill-fornitur u mingħajr aċċess għal dak li jqisu bħala tagħhom. Il-kontroll isir fuq il-makkinarju tiegħek stess, kontra ċ-ċertifikat biss.","open-source-aion.ac90e72b2c":"Ir-rotot tas-soltu t-tnejn jispiċċaw fl-istess post. Tista' titlob l-evidenza tagħhom, li hija dokument li kitbu dwar is-softwer tagħhom stess. Jew tista' titlob biex tirriproduċi s-sistema tagħhom int stess, li teħtieġ il-liċenzja tagħhom, il-verżjoni tagħhom u l-ambjent tagħhom, u xorta jibqa' jkollok tistrieħ fuq il-ħaġa li pproduċiet it-tweġiba.","open-source-aion.fc63c534d2":"Solver jgħid li l-iskeda hija fattibbli. Sistema ta' AI tasal għal konklużjoni regolata. Sistema ta' aġent twettaq operazzjoni f'ismek. Kompilatur jipproduċi artefatt kritiku għas-sigurtà. Runtime jesegwixxi workload ikkontrollat. Simulazzjoni tivvalida deċiżjoni ta' disinn. Tewmin diġitali jirrapporta li stat operattiv huwa sigur. F'kull wieħed minn dawn il-każijiet ix-xogħol seħħ xi mkien ieħor u l-konsegwenza taqa' fuqek.","open-source-aion.c9672e2ac8":"ismek fuq it-tweġiba","open-source-aion.925d7b4a2d":"Is-sistema tagħhom ipproduċietha","open-source-aion.47b025f850":"Fejn tinsab ir-responsabbiltà","open-source-aion.905aee629b":"Ix-xogħol, raġuni li tista' taqra, u l-istess regola għal kulħadd li tmiss","open-source-aion.4d0ee37058":"DATA","open-source-aion.6ccb4a6f6a":"L-ISTESS RAĠUNI","open-source-aion.84adcc762b":"L-ISTESS KONTROLL","open-source-aion.56c6f422d8":"Dik hija ittra li xi ħadd jista' jikteb. Minflok tgħid li d-deċiżjoni ħaditha s-sistema, tista' tiċċita r-regola, issemmi d-data, issemmi l-verżjoni, u tistaqsi lil min kitibha jekk hux dak li ried ifisser.","open-source-aion.073cdea47b":"Dak jiswa biss jekk tista' tarah, għalhekk dak li jibqa' f'idejk huma tliet affarijiet li tista' tuża. Ir-regola, fi kliem ordinarju li tista' taqra b'leħen għoli. Ir-raġuni għaliex applikat għalik, billi tiċċita dik ir-regola lura bis-sitwazzjoni tiegħek fiha. U d-data li fiha ġie kkontrollat ix-xogħol. Dik ir-rekord issemmi x'ikkontrollah u liema verżjoni tar-regoli ġie kkontrollat kontriha.","open-source-aion.a50f912efb":"X'tista' tagħmel bih","open-source-aion.1d94c73b03":"Agħti l-istess xogħol lil AION darbtejn u l-kontroll joħroġ l-istess, it-Tnejn u l-Ġimgħa, għalik u għal min warajk fil-kju. Mhux li kulħadd jieħu l-istess tweġiba, għax in-nies iġibu sitwazzjonijiet differenti. Huwa li l-kontroll innifsu ma jiġġerrax, u ħadd ma qed jinterpreta l-każ tiegħek fuq il-post. Sena wara l-istess xogħol jiġi kkontrollat mill-istess regoli miktuba, għalhekk tweġiba li ngħatajt xorta tista' tiġi spjegata.","open-source-aion.fba7a52bf4":"it-Tnejn u l-Ġimgħa","open-source-aion.77a3327a99":"Ikkontrollat bl-istess mod","open-source-aion.cebde51ae2":"Dak li jibqa' f'idejk","open-source-aion.a566f0cb1b":"Iż-żmien huwa tip wieħed ta' regola. Ħafna minnhom huma tat-tip sempliċi, applikati għal kulħadd","open-source-aion.29231cd04d":"FIL-ĦIN","open-source-aion.d89f7642e7":"MISTĦARRA","open-source-aion.5d491ce50f":"JIEM BAQGHU","open-source-aion.c50722f442":"L-istess qari jaħdem wara d-data kif ukoll qabilha. Erbatax-il jum li għaddew huma fatt li xi ħadd jista' jistaqsi dwaru, b'data mehmuża, minflok marka ħamra li waslet mingħajr twissija.","open-source-aion.0b1cbd5f8a":"Pass ma jgħidlek xejn sakemm jieqaf ikun pass, u sa dak iż-żmien l-għażliet irħas intilfu. Numru jgħidlek fejn int: tnejn u għoxrin jum li baqgħu hija nota f'djarju, erbat ijiem li baqgħu huwa din il-ġimgħa, jum wieħed li baqa' huwa dalgħodu.","open-source-aion.af41b675b0":"X'jagħtik dan","open-source-aion.2ff91b62ec":"Ir-regoli b'arloġġ fihom huma dawk li jaqbdu lin-nies. Tweġiba dovuta fi żmien tletin jum, tieqa ta' rifużjoni, perjodu li warajh xi ħaġa trid titħassar. AION jara dawn waqt li jkunu għaddejjin u jirrapporta kemm fadal spazju llum, bħala numru ta' jiem.","open-source-aion.94dc6c2b80":"ħafna qabel l-aħħar wieħed","open-source-aion.6bdbc0422a":"Tista' tara l-jiem li baqgħu","open-source-aion.37f768721f":"Skadenzi li jikkonċernawk","open-source-aion.e3c2d4b24a":"Li taħdem fuq il-post ifisser ukoll li tista' żżomm għajnejk fuq l-arloġġ għalik","open-source-aion.4ace2cc9bc":"L-EBDA KONT","open-source-aion.c5c3055a7b":"MA JINTBAGĦAT XEJN","open-source-aion.a5b9137c2b":"JOQOGĦOD HAWN","open-source-aion.874bab5372":"Jekk konnessjoni hija involuta xejn, hija waħda li xi ħadd waqqaf apposta bejn il-magni tiegħu stess, u hija mitfija sakemm jagħmluha. Is-sentenza tiegħek tinqara minn regoli miktuba, fl-istess kamra bħalek, u t-tweġiba tasal bil-linja 'l isfel. Xejn ma ħalla l-magna biex jipproduċiha, u xejn ma ntbagħat 'il bogħod.","open-source-aion.4a03f17947":"L-ebda kont, l-ebda reġistrazzjoni, u l-ebda servizz estern li jrid ikun jaħdem, jew ta' min jafdah, jew għadu fin-negozju s-sena d-dieħla, biex inti tikseb tweġiba.","open-source-aion.f10eb79b5b":"X'ifisser dan għalik","open-source-aion.c17d4e01b4":"Ħafna għodod iwieġbu mistoqsija dwarek billi jibagħtu d-dettalji tiegħek 'il bogħod u jistennew tweġiba. L-informazzjoni tiegħek ivvjaġġat, lejn kumpanija li ma għażiltx, possibilment lejn pajjiż li qatt ma tisma' jissemma. AION jagħmel ix-xogħol fejn diġà jinsab. Xejn ma jintbagħat, għax m'hemmx b'xiex tibgħatu.","open-source-aion.9e50609149":"fuq il-magna li qiegħed fuqha","open-source-aion.ca67037369":"It-tweġiba hija maħduma","open-source-aion.7df600af96":"Fejn imorru d-dettalji tiegħek","open-source-aion.399483042a":"Li tistaqsi huwa nofs. In-nofs l-ieħor huwa dak li jingħadlek meta t-tweġiba hija le","open-source-aion.0b5b7048ea":"INT TAGĦŻEL","open-source-aion.f12c755afa":"JISTAQSIK","open-source-aion.300453f44e":"ŻEWĠ TIFSIRIET","open-source-aion.6debd2c487":"Li jinstema' bħala kortesija żgħira. Hija d-differenza bejn regola li ftehimt fuqha u regola li xi ħadd raden f'ismek, b'għaġla, f'jum li ma kontx hemm. Ir-ragħda hija l-mod ordinarju kif dan isir, u ħadd qatt ma jingħad li ġara. Li tistaqsi jiswa mument u jneħħi r-ragħda mir-rekord.","open-source-aion.6f02dd9d43":"AION jieqaf u jistaqsi. Jiċċita l-kliem li mhux ċert dwaru lura lilek, jistabbilixxi ż-żewġ qari b'lingwaġġ ċar, ipoġġi mistoqsija bil-frażi tiegħek stess fiha, u jistenna. Int tagħżel. Xejn ma jiġi deċiż waqt li l-mistoqsija tkun miftuħa.","open-source-aion.0ccfcd0de4":"X'inbidel","open-source-aion.b3124516ab":"\"Ikkanċella jekk id-dewmien ikun aktar minn siegħa.\" Dewmien ta' ħamsa u sebgħin minuta huwa aktar minn siegħa, jew is-sigħat jingħaddu sħaħ, għalhekk ħamsa u sebgħin minuta hija siegħa u siegħa mhijiex aktar minn waħda? Iż-żewġ qari huma Ingliż ordinarju. Huma ma jaqblux dwar eżattament każ wieħed, u dak il-każ se jidher.","open-source-aion.4449c95cf9":"ifissru żewġ affarijiet, jistaqsi","open-source-aion.75ca04ac1b":"Jekk is-sentenza tiegħek tista'","open-source-aion.2297deb89a":"Meta s-sentenza tiegħek ma tkunx ċara","open-source-aion.32cf0852b8":"Sentenza tista' tfisser ukoll żewġ affarijiet fl-istess ħin, u dan jistħoqqlu waqfa","open-source-aion.b5d2541ad8":"L-ebda ġargon","open-source-aion.3b7c198e57":"TERĠA' LURA","open-source-aion.c4cc4b9845":"KLIEMEK STESS","open-source-aion.5c9a5c3396":"U meta l-istess sentenza tinqara mill-ġdid, tipproduċi eżattament l-istess regola, għax xejn f'AION ma jitgħallem, ma jiżloq, jew ma jkollu idea aħjar sadanittant. Regola li qbielt magħha darba tibqa' r-regola li qbielt magħha, u l-persuna li tirċeviha qed taqra s-sentenza tiegħek, mhux sommarju ta' xi ħadd ieħor. Xejn matul it-triq ma jibdilha fi kliem ta' ħaddieħor.","open-source-aion.ba41f25c15":"Żewġ affarijiet isegwu milli żżomm is-sentenza. Tista' tgħid jekk ġietx mifhuma fil-jum li ktibtha, billi taqra, minflok issir taf minn inċident sena wara.","open-source-aion.c19473d784":"Ikteb ir-regola fi kliem ordinarju u AION iżomm dak il-kliem. Li jinstema' bħala kortesija żgħira sakemm jasal il-jum li jgħodd: xhur wara, meta xi ħaġa titwaqqaf minħabba dik ir-regola, is-sentenza li ktibt terġa' lura fil-quċċata tal-ispjegazzjoni, bil-kliem li għażilt.","open-source-aion.4c0e51d183":"tgħidha b'leħen għoli","open-source-aion.dcf65c0f8a":"Ikteb ir-regola kif","open-source-aion.e1a651b90e":"Tgħid dak li trid","open-source-aion.beda6f7681":"Biex terġa' tagħmel somma, is-somma trid tkun miktuba. L-istess għal regola, u tiegħek tista' tkun sentenza","open-source-aion.ef6371cd2e":"TWIEQAQ","open-source-aion.47ce22a1f7":"PASS WARA PASS","open-source-aion.9195df51f1":"QARI IEĦOR","open-source-aion.b66352de76":"Il-waqfien huwa l-parti importanti. Kulħadd jista' jaqbel miegħek. Xi ħaġa li tieqaf u tindika l-linja jiswa li jkollok, u hemm ftit li xejn minnha.","open-source-aion.e04fafc8fc":"AION jerġa' jżid il-kolonna. Mhux għal kontijiet, imma għat-tip ta' xogħol iebes li jagħmlu l-magni meta jiddeċiedu li xi ħaġa hija permessa, sigura, jew impossibbli, meta jibnu xi ħaġa, meta jmexxu xi ħaġa f'ismek, jew meta jikkalkulaw x'jiġri qabel ma xi ħadd jipprova. Jaqra l-ħidma li l-ewwel magna kitbet, jagħmel kull pass mill-ġdid għalih innifsu, u jieqaf fl-ewwel wieħed li ma jistax joħroġ.","open-source-aion.b55b759c73":"Meta kont jidher ħażin, ma targumentax dwar jekk it-total huwiex tajjeb. Iżżid il-kolonna lilek innifsek. Jekk ikollok l-istess numru, it-total jibqa'. Jekk tieqaf fir-raba' linja għax ma toħroġx, tista' tgħid eżattament liema linja, u l-argument jispiċċa f'sentenza.","open-source-aion.59141b0dfa":"minflok tieħu kelmtek","open-source-aion.fa22d5033b":"Xi ħadd jerġa' jagħmel is-somma","open-source-aion.333a6c87f2":"bidla tipproduċi sett affettwat u kju, mhux interpretazzjoni mill-ġdid kwieta tal-passat","open-source-aion.0eecb96558":"huma ħames fatti","open-source-aion.59e22ed738":"prodott, iffirmat, ivverifikat, aċċettat, u għadu kompatibbli","open-source-aion.d78c662e5b":"iċċekkjat, mhux assunt","open-source-aion.5b44284acd":"għadu kompatibbli ma'","open-source-aion.cc4bc74f90":"b'verżjoni tal-kuntratt","open-source-aion.3bb51eeea5":"aċċettat taħt","open-source-aion.72954f75cf":"b'verżjoni tal-verifikatur","open-source-aion.3741770a87":"ivverifikat minn","open-source-aion.7fc7c8aef9":"fuq hash tal-ordni tad-derivazzjoni","open-source-aion.d2a7817a72":"iffirmat minn","open-source-aion.9d7c5e8097":"b'verżjoni","open-source-aion.8fffa5fcb8":"prodott minn","open-source-aion.756e62f03a":"Riżultat wieħed, ħames fatti","open-source-aion.2b8be4ecd3":"L-attribuzzjoni taħdem fuq mekkaniżmu tagħha stess: firma Ed25519 fuq hash BLAKE3 tal-ordni tad-derivazzjoni, b'nonce monotoniku u timestamp, li tista' tiġi ċċekkjata kontra ċ-ċavetta pubblika tal-produttur. L-aċċettazzjoni taħdem fuq ieħor, li jġorr l-identità u l-verżjoni tal-verifikatur u l-verżjoni tal-kuntratt li ta. Meta xi ħaġa taħt tiċċaqlaq, regola taċ-ċekkjatur, skema ta' ċertifikat, politika, regola tal-kompilatur, kuntratt ta' runtime jew verżjoni ta' mudell, iċ-ċertifikati li ddikjaraw dipendenza fuqha jiffurmaw sett affettwat u jitqiegħdu fil-kju biex jerġgħu jiġu ċċekkjati, bil-komponent mibdul imsemmi.","open-source-aion.6b8169d142":"Verdett waħdu huwa kelma mingħajr awtur. Ħames fatti li normalment jikkollassaw f'wieħed jinżammu separati hawn: min ipproduċa riżultat, min iffirmah, x'ivverifikah, taħt liema kuntratt ġie aċċettat, u jekk għadux kompatibbli mar-regoli kif inhuma llum. Dawk huma ħames mistoqsijiet differenti u erbgħa minnhom jibqgħu ħajjin meta jinbidel il-fornitur.","open-source-aion.2cd4b335f4":"Ċekkjatur jivverifikah.","open-source-aion.d15fbc9566":"Xejn mhu ivverifikat.","open-source-aion.481d0fc02c":"L-argument kollu","open-source-aion.ca75c84634":"Kull ċertifikat hawn jispiċċa bħala rekord wieħed, u r-rekord iżomm il-fatti tiegħu separati","open-source-aion.3ecc9abb23":"ESTENSIBBLI","open-source-aion.8112bd91bc":"B'LAKUNA TAL-AJRU","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Fejn verifikazzjoni waħda hija tassew kbira wisq għal magna waħda, ix-xogħol jinqasam f'kubi fuq magni differenti b'qsim ta' klawżoli bejniethom, u riżultat kompost jiġi aċċettat biss wara kontroll tal-kopertura: l-ebda żewġ kubi ma jistgħu jiffissaw l-istess sett ta' letterali, u dak li jkopru jrid jammonta għall-ispazju kollu, mhux kważi kollu. Ġonta li tonqos b'wieħed hija rifjut, li hija l-istess dixxiplina bħal kullimkien ieħor fil-prodott. Lil hinn minn hekk, reġistru ta' verifikaturi u API ta' estensjoni huma kif familja ta' ċertifikati li ħadd hawn ma kiteb tiġi ċċekkjata hawn.","open-source-aion.04cd68c7fb":"Żewġ affarijiet biss jistgħu jaqsmu konfini u t-tnejn huma kkonfigurati minnek. Kluster jaħdem fuq indirizzi li inti tistabbilixxi. Produttur estern huwa programm li inti tinstalla u tmexxi bħala proċess lokali. M'hemm l-ebda mudell ospitat imkien fil-katina, u l-ebda servizz tagħna li jista' jkun mhux disponibbli waqt l-inċident tiegħek jew jinbidel taħtek fuq skeda ta' rilaxx ta' xi ħadd ieħor. Proprjetà b'lakuna tal-arju tivverifika eżattament bħal waħda konnessa, għax il-verifikazzjoni qatt ma kellha bżonn il-produttur fl-ewwel lok.","open-source-aion.ac1913e46c":"Żewġ toroq 'il barra, u t-tnejn huma tiegħek","open-source-aion.c2193fefe2":"Il-verifikazzjoni hija komputazzjoni bħal kull oħra, u fejn taħdem hija deċiżjoni tiegħek. AION jippubblika fl-1 ta' Settembru 2026: ladarba r-repożitorju jkun pubbliku, għaqqad il-librerija, mexxi l-kmand jew waqqaf is-servizz fil-konfini tiegħek stess. Il-bini default ma jġorr l-ebda klijent 'il barra, għalhekk li tiċċekkja ċertifikat ma jeħtieġ l-ebda kont, l-ebda fornitur u l-ebda rotta 'l barra mill-magna li bdiet fuqha.","open-source-aion.72d09c5994":"servizz, jew enclave","open-source-aion.f8ac38e647":"Librerija, kmand","open-source-aion.604918db00":"Fejn tiġri l-verifikazzjoni","open-source-aion.c07ebfbab5":"Arkivju jibqa' wieqaf. L-aħħar mistoqsija hija fejn dan kollu fil-fatt jiġri","open-source-aion.d34941b7ce":"INDEKSATI","open-source-aion.79ae623ce9":"INDIRIZZATI MILL-KONTENUT","open-source-aion.0f7d1ea9ca":"Il-parti li trid tinbena aktar milli tiġi preżunta hija l-indiċi. Meta regola ta' verifikatur, skema ta' ċertifikat, politika, regola ta' kompilatur, kuntratt ta' runtime jew verżjoni ta' mudell tinbidel, iċ-ċertifikati li l-validità tagħhom kienet tiddependi fuq il-komponent mibdul jinstabu billi jfittxuhom, mhux billi jiskennjaw kollox u jittamaw. Id-dipendenzi huma ddikjarati fl-envelope, għalhekk is-sett affettwat huwa mistoqsija u l-kju tar-ri-verifikazzjoni huwa r-riżultat tagħha, bil-komponent mibdul imsemmi kontra kull entrata. L-alternattiva li l-biċċa l-kbira tal-organizzazzjonijiet fil-fatt għandhom hija għażla bejn li jeżaminaw mill-ġdid kollox u li jeżaminaw mill-ġdid xejn.","open-source-aion.144711734a":"Il-ħażna hija utli biss jekk qarrej li mexa 'l quddiem xorta jista' jiftħu, għalhekk kull rekord iġorr il-firma tal-produttur, l-identità u l-verżjoni tal-verifikatur li aċċettah, il-verżjoni tal-kuntratt li taħtha ġie aċċettat, u d-dipendenzi li jistrieħ fuqhom. Test ta' kompatibbiltà jitmexxa fit-triq lura.","open-source-aion.22f96be502":"Is-sett affettwat huwa indiċi reali","open-source-aion.a1b04ec691":"Iċ-ċertifikati li jiswew li jinżammu huma dawk li jistaqsu dwarhom snin wara. AION jaħżen ċertifikat aċċettat b'mod kompatt u bl-indirizz tal-kontenut: identifikaturi miżmuma bħala differenzi, mudelli ripetuti kkodifikati bit-tul tar-run, subprovi identiċi hashed u maħżuna darba, u l-ħaġa kollha indirizzata bil-kontenut tagħha aktar milli fejn xi ħadd ippreżentaha. Indirizz tal-kontenut huwa dak li jħalli lil qarrej li mexa 'l quddiem isib l-istess ċertifikat mill-ġdid u jiċċekkjah it-tieni darba, snin wara r-run li pproduċieh.","open-source-aion.c017c017d7":"u jibqa' jista' jiġi ċċekkjat mill-ġdid","open-source-aion.2e10b84b57":"Ċertifikat jibqa' żgħir","open-source-aion.9263a81467":"Ħażna ta' dak li ġie ċċekkjat","open-source-aion.1f029bacad":"Sitt familji, u kull waħda minnhom tispiċċa fl-istess rekord","open-source-aion.1deb4d4a29":"TRAJETTORJA","open-source-aion.f8d5b44c34":"INVARJANTI","open-source-aion.52dd7acef9":"KONFORMITÀ","open-source-aion.24d7374cb9":"Li nżommuhom separati huwa dak li jagħmel l-ewwel tnejn jiswew xi ħaġa. Assigurazzjoni li kwietament timplika t-tielet waħda hija dik li tfalli quddiem regolatur, u ċertifikat li jsemmi l-konfini tiegħu stess huwa dak li jgħix il-laqgħa.","open-source-aion.0e4ffe42fa":"Tliet mistoqsijiet differenti jsiru dwar simulazzjoni, u li tkun onest dwar liema tnejn huma risposta hawnhekk huwa l-kontenut professjonali kollu tas-sezzjoni. Il-konformità tal-eżekuzzjoni tistaqsi jekk il-mudell, il-parametri u l-konfigurazzjoni ddikjarati fil-fatt ipproduċew din it-trajettorja, u dan huwa ċċekkjabbli. Il-verifikazzjoni tal-proprjetajiet matematiċi tistaqsi jekk l-invarjanti ddikjarati jżommux matul ir-run, u dan ukoll huwa ċċekkjabbli, b'falliment li jirritorna t-traċċa aktar milli verdett. Il-validità fiżika tistaqsi jekk il-mudell jirrappreżentax id-dinja reali, u l-ebda ċertifikat ma jistabbilixxi dan. Jappartjeni lis-sid tal-mudell, u jappartjeni lilu b'mod permanenti.","open-source-aion.bb70d13ca4":"Il-linja li din is-sezzjoni hija attenta dwarha","open-source-aion.ac558913f9":"Riżultat ta' simulazzjoni jintuża biex jittieħdu deċiżjonijiet ħafna wara li r-run tkun marret. Iċ-ċertifikat iġorr l-identità tal-mudell u tal-FMU, is-sett ta' parametri, l-istat inizjali, il-konfigurazzjoni tas-solver, is-sekwenza tal-passi ta' żmien jew tal-avvenimenti, it-transizzjonijiet tal-istat, il-kontrolli tal-invarjanti mwettqa, l-istatus tal-konverġenza jew tat-terminazzjoni, il-hash tat-trajettorja riżultanti, u traċċa ta' kontro-eżempju fejn proprjetà tfalli.","open-source-aion.1c9f5f0f21":"iwieġeb eżattament tnejn minnhom","open-source-aion.242c47d00a":"Tliet mistoqsijiet, u dan","open-source-aion.a635f9edf3":"Twin u FMI, ċertifikati","open-source-aion.43f8bc442f":"L-eżekuzzjoni hija run waħda ta' ħaġa waħda. Simulazzjoni tagħmel miljuni minnhom f'daqqa","open-source-aion.d3a968f797":"ID TAL-OUTPUT","open-source-aion.d79014995c":"ATTESTAT","open-source-aion.2fbbf64505":"KAPAĊITAJIET","open-source-aion.51fd9d7843":"Id-determiniżmu huwa dak li jagħmel il-bqija ċċekkjabbli. Minħabba li t-transizzjonijiet huma deterministiċi minħabba l-modulu, l-inputs u l-għotjiet, verifikatur jista' jsegwihom mingħajr ma jerġa' jesegwixxi l-workload fl-ambjent oriġinali tiegħu, u żewġ runs li jippretendu l-istess identità ta' output mill-istess inputs jew jaqblu jew jippuntaw lejn it-transizzjoni fejn waqfu jaqblu. Dik hija attestazzjoni tar-runtime fil-prattika: x'ġera, taħt liema awtorità, ċċekkjabbli mingħajr ma terġa' titmexxa.","open-source-aion.0d0fd79859":"Il-biċċa l-kbira tal-mistoqsijiet li jsiru dwar workload wara l-fatt huma fil-verità mistoqsijiet dwar l-awtorità tiegħu. X'jista' jilħaq dan waqt li kien qed jiġri, u jekk laħaqx xi ħaġa oħra. Ċertifikat li jġorr l-għotjiet tal-kapaċitajiet flimkien mat-transizzjonijiet iwieġeb dan mingħajr ma ħadd jaqra log, u jwieġbu lil xi ħadd li ma joperax ir-runtime.","open-source-aion.890c61e134":"Għaliex is-sett tal-kapaċitajiet huwa l-qasam interessanti","open-source-aion.1331fa2052":"Status ta' ħruġ jgħid li workload spiċċa. Iċ-ċertifikat tal-eżekuzzjoni jgħid x'spiċċa: l-identità tal-workload u tal-modulu, il-verżjoni tar-runtime, l-għotjiet tal-kapaċitajiet li kellu, l-inputs li rċieva, it-transizzjonijiet deterministiċi tal-istat li għadda minnhom, il-limiti tar-riżorsi li ġera fihom, l-identità tal-output li pproduċa, u jekk lestiex jew jekk inqabadx. Kull waħda minn dawk hija qasam li mistoqsija aktar tard tista' titwieġeb minnu, mingħajr ma tmur lura lejn il-magna li ġrietu.","open-source-aion.65576ef482":"taħt liema kapaċitajiet","open-source-aion.74a9894f4f":"X'ġera, fuq xiex, u","open-source-aion.eabc461dcf":"Selvedge, ċertifikat","open-source-aion.b4792818f1":"Artefatt ikkumpilat xorta jrid jiġri x'imkien, u dik ir-run hija wkoll pretensjoni","open-source-aion.414cbcc9ec":"PROVENJENZA","open-source-aion.24466ece94":"MIS-SORS GĦALL-ARTEFATT","open-source-aion.c81d361198":"Dik il-preċiżjoni hija li tagħmel l-artefatt utli aktar 'l isfel. Fi build regolat il-mistoqsija rari tkun jekk kompilatur huwiex tajjeb. Hija jekk dan il-binarju jikkorrispondix ma' dan il-graff tas-sors taħt din il-konfigurazzjoni ta' ottimizzazzjoni, li hija mistoqsija b'tweġiba, u t-tweġiba tivvjaġġa mal-artefatt aktar milli tgħix fis-sistema tal-build li pproduċietha. Dan huwa xi jfisser il-provenjenza tal-build fil-prattika: stqarrija dwar dan l-artefatt, li tista' tiġi vverifikata mingħajr is-sistema tal-build li għamlitha.","open-source-aion.6c1fd4df2b":"Id-dikjarazzjoni hija d-dixxiplina. Ċertifikat ma jasserixxix li kull ottimizzazzjoni kienet korretta bħala stqarrija waħda mhux differenzjata, għax dik l-istqarrija la hija verifikabbli u lanqas vera ta' xi kompilatur reali. Hija jsemmi eżattament liema proprjetajiet ta' preservazzjoni jew ekwivalenza jistabbilixxi fuq liema trasformazzjonijiet, u l-verifikatur jiċċekkja dawk u jirrapporta biss dwar dawk.","open-source-aion.fd5ed4a1d8":"Stqarrijiet imsemmija, mhux waħda ġenerali","open-source-aion.82a76c947a":"Kompilatur jagħtik artefatt u status ta' ħruġ. Iċ-ċertifikat tal-kompilazzjoni iġorr dak li dan l-artefatt huwa ddikjarat li hu: l-identità tas-sors jew tal-graff li minnu ġie, il-verżjoni tal-kompilatur u tal-ottimizzazzjoni, is-sekwenza tat-trasformazzjonijiet applikata, il-preservazzjoni tat-tip u tal-għamla matul dawk it-trasformazzjonijiet, il-kernels magħżula, l-identità tal-artefatt prodott, u l-kontrolli ta' ekwivalenza jew invariant li ċ-ċertifikat jiddikjara.","open-source-aion.06efebf0f5":"dwar is-sors li minnu ġie","open-source-aion.3f208ecc5e":"Il-binarju huwa stqarrija wkoll","open-source-aion.716710e273":"Kera, iċċertifikat","open-source-aion.89572e64cc":"Organizzazzjoni tista' tiġi ċċertifikata. Hekk ukoll il-kompilatur li bena dak li fuqu taħdem","open-source-aion.502114d554":"IRĊEVUTI","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AWTORITÀ","open-source-aion.965738574a":"Il-valur jidher meta l-operazzjoni tiġi kkontestata. Traċċa ta' xogħol hija r-rakkont tal-organizzazzjoni dwarha nfisha. Ċertifikat li verifikatur indipendenti aċċetta, taħt verżjoni ta' kuntratt imsemmija, huwa klassi differenti ta' evidenza, u d-differenza hija eżattament dik li AION jeżisti biex joħloq.","open-source-aion.f4652935ed":"Dan huwa ċertifikat dwar operazzjoni regolata, mhux dwar dak li aġent kien qed jaħseb. Huwa jissodisfa l-mistoqsijiet li xi ħadd fil-fatt se jistaqsi: jekk l-awtorità kinitx teżisti fil-mument li l-azzjoni sparjat, jekk il-bieb li kellu jżomm żammx, jekk l-approvazzjoni kinitx marbuta mal-azzjoni aktar milli ma' messaġġ qribha, u jekk it-transizzjonijiet tal-istat li r-rekord jiddikjara humiex dawk li l-kuntratt jippermetti. Dawk kollha huma verifikabbli bil-magna, u l-ebda waħda minnhom ma teħtieġ aċċess għal mudell.","open-source-aion.be15814346":"X'jistabbilixxi, u x'ma jistabbilixxix","open-source-aion.38d3c11f27":"Fluss ta' xogħol komplut huwa stqarrija bħal kull oħra. Iċ-ċertifikat organizzattiv jistabbilixxi l-operazzjoni regolata li fil-fatt seħħet: l-għan u l-verżjoni tal-politika li taħtha damet, l-organizzazzjoni ffurmata, ir-rwoli u l-awtorità riżolti, il-kompiti eżegwiti u t-transizzjonijiet tagħhom, il-bibien tal-politika mnaddfa, l-approvazzjonijiet imwaħħla, l-azzjonijiet imwettqa, u r-riċevuti rreġistrati.","open-source-aion.65a8805f19":"li segwa l-kuntratt tiegħu","open-source-aion.f827cfbcbf":"Operazzjoni tista' tiġi ppruvata","open-source-aion.07fba05892":"Nexus, iċċertifikat","open-source-aion.c6fd961235":"Ir-raġunament huwa produttur wieħed. Organizzazzjoni ta' aġenti hija ħaġa aktar diffiċli biex tiġi ċċertifikata","open-source-aion.2764d46fd5":"EBDA SEJĦA TAL-MUDELL","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Il-front end tar-rekwiżit bl-Ingliż jappartjeni hawn ukoll, għax ċertifikat ta' raġunament huwa daqstant rivedibbli kemm huwa l-vinkolu fil-quċċata tiegħu. Librerija ta' mudelli deterministika tirritorna kundizzjonijiet formali kklassifikati skont kemm frażijiet trigger qablu, kull waħda ġġorr il-qari sempliċi tagħha u l-kwantitajiet li taħdem fuqhom, u fejn sentenza tassew iġġorr aktar minn qari wieħed, hija tqajjem l-ambigwità bil-mistoqsija msemmija aktar milli ssolviha fis-skiet.","open-source-aion.c4d7d27503":"Taħt joqogħdu produtturi taż-żewġ tipi, u huma aċċettati mill-istess fruntiera. AION jiddeċiedi struttura Booleana, aritmetika ta' loġika tad-differenza, kliem bitvector u ugwaljanza b'funzjonijiet mhux interpretati waħdu, fuq tfittxija sħiħa mmexxija minn kunflitt b'żewġ literali osservati, euristika ta' attività ordnata b'heap, restarts ġeometriċi u tħassir ta' klawżoli bbażat fuq l-attività. Fuq tweġiba mhux sodisfabbli jirritorna core, li jsemmi liema mill-vinkoli tiegħek stess kienu qed jiġġieldu aktar milli jiddeskrivi t-tfittxija li sabithom. Solver estern jimxi bħala proċess tiegħu stess u jirritorna prova, u xejn ħlief dak il-fajl ma jaqsam bejn it-tnejn. Kwalunkwe għodda li toħroġ prova f'format li AION iġorr checker għalih tikkwalifika, cvc5 fosthom, u l-fruntiera hija l-format aktar milli l-venditur.","open-source-aion.5264c1875d":"Produtturi, nattivi u esterni","open-source-aion.09b6611fc2":"Loom jirraġuna. Dak li AION jiċċekkja huwa l-artefatt li r-raġunament iħalli warajh: il-vinkoli li kienu attivi, ir-regoli li ġew applikati, is-subproblemi li marru għand solver, iċ-ċertifikati li dawk is-solvers irritornaw, il-kontradizzjonijiet misjuba, il-limiti li għalqu deċiżjoni, u l-istqarrija finalment asserita. Artefatti komputazzjonali espliċiti u derivazzjonijiet iddikjarati, iċċekkjati bħala tali.","open-source-aion.2224f4889f":"id-derivazzjoni li fuqha jistrieħ","open-source-aion.1aceefa727":"Konklużjoni tasal ma'","open-source-aion.40e8df9cbd":"Loom, u s-solvers taħtu","open-source-aion.cbac360b09":"Passi Booleani u aritmetiċi huma familja waħda. Ir-raġunament huwa fejn il-munzell jibda","open-source-aion.9786d05f5a":"FUZZED","open-source-aion.a9bb80378b":"RE DERIVED","open-source-aion.0204e8b30c":"REGOLA B'REGOLA","open-source-aion.a43c278b96":"Fil-livell tal-klawżola, kull żieda tiġi derivata mill-ġdid mill-ewwel prinċipji: assumi li l-klawżola l-ġdida hija falza, ixerred il-klawżoli li l-ħjiel tagħha jikkwota, u mexxi l-kontradizzjoni li dak il-ħjiel wiegħed. Fejn it-tixrid waħdu ma jġegħilx, iż-żieda tmur għall-kundizzjoni aktar iebsa fuq il-letterali tal-pivot imsemmi kontra kull klawżola li dak il-pivot jista' jirriżolvi magħha, sabiex pass ma jistax jgħaddi billi jsemmi pivot li l-klawżola ma fihx. Il-formula u l-prova jinqraw it-tnejn linja b'linja, għalhekk prova akbar mill-memorja tal-magna xorta tiġi ċċekkjata minn tarf sa tarf. Is-suite ta' AION stess hija ostili lejn AION: ħjiel li jikkwota l-pass li huwa maħsub li jiġġustifika, żewġ passi li jiddependu fuq xulxin, pivot mitlub imma nieqes, żewġ klawżoli taħt identifikatur wieħed, il-marka tat-tmiem użata bħala identifikatur, tħassir ta' klawżola li qatt ma żdiedet, u l-istess klawżola mħassra darbtejn. Kull qarrej li jmiss fajl li kiteb xi ħadd ieħor jiġi fuzzed kontra korpus ta' żrieragħ.","open-source-aion.13a29c20f0":"Tliet kundizzjonijiet jimxu qabel il-kontroll tar-regola fuq kull pass, f'ordni fissa: jekk il-pass jikkwotax lilu nnifsu, jekk kull numru li jikkwota huwiex preżenti, u jekk xi wieħed minnhom huwiex innumerat 'il fuq mill-pass li jikkwotah. Qabel dawn l-erbgħa kollha, il-fajl jiġi skannjat darba għal numru ta' pass ripetut. Biss prova li kull pass tagħha jneħħi dan kollu jilħaq l-aħħar kundizzjoni, li hija jekk il-fajl jagħlaqx f'kontradizzjoni. Derivazzjoni li tispiċċa b'letterali għadhom wieqfa għaddiet minn kollox ieħor u xorta tiġi rrifjutata.","open-source-aion.f626b7a7da":"Taħt il-wiċċ","open-source-aion.1a95f2e67d":"Provi tal-klawżoli fil-familja LRAT, li hija SAT, u provi tar-regoli fil-format Alethe, li huwa SMT, huma l-familja bl-itwal storja ta' nies li jippruvaw jegħlbuha, li jagħmilha l-waħda t-tajba biex tintwera. AION jibgħat kull pass lir-rutina li timplimenta r-regola tiegħu, u isem ta' regola li m'għandu xejn warajh itemm il-qari minflok jgħaddi bil-kwiet, bin-numru tal-pass u r-regola stampati.","open-source-aion.8294eed416":"u regola mhux magħrufa twaqqfu","open-source-aion.9959b32cda":"Kull pass jiltaqa' ma' erba' testijiet","open-source-aion.3821e115bc":"Il-familja bl-avversarji","open-source-aion.c415bc49f1":"L-eqdem familja hija dik bl-aktar avversarji, għalhekk hija dik li għandha titqies l-ewwel","open-source-aion.06d55361b1":"VERŻJONATI","open-source-aion.bca8de5f5a":"DISGĦA FAMILJI","open-source-aion.187b58774c":"Il-familji huma verżjonati separatament għall-istess raġuni. Sett ta' regoli jista' jissikka fil-familja tal-loġika mingħajr ma jfixkel il-familja tas-simulazzjoni, u s-sett ta' ċertifikati affettwati għal dik il-bidla huwa eżattament ir-rekords li ddikjaraw il-verżjoni li qed tinbidel. Id-disgħa tal-lum huma loġika u sodisfabbiltà, ottimizzazzjoni, temporali u iperproprjetà, raġunament, organizzattiv, kompilazzjoni, eżekuzzjoni ta' runtime, simulazzjoni u FMI, u integrità tal-ħażna.","open-source-aion.ca4a7a3c63":"Ir-reġistrazzjoni ta' familja hija kif sistema li ma kinitx teżisti meta nkiteb AION issir iċċekkjabbli minnu. L-envelop huwa diġà l-istess, is-saff tal-ħażna u l-kju tar-ri-verifikazzjoni diġà jaħdmu, u dak li familja ġdida trid tipprovdi huwa verifikatur u sett ta' regoli ddikjarat. Softwer ta' partijiet terzi li jimplimenta kuntratt ta' ċertifikat jidħol mill-istess bieb bħal xi ħaġa tagħna.","open-source-aion.6581749da9":"Għaliex huwa reġistru aktar milli lista","open-source-aion.c453f0b87d":"Familja ta' ċertifikati hija kuntratt imsemmi u verżjonat aktar milli format ta' fajl. Kull waħda tiddikjara l-identità u l-verżjoni tagħha, it-tip ta' talba li tistabbilixxi, l-inputs li teħtieġ, kif il-prova jew ix-xhieda hija rappreżentata, l-algoritmu ta' verifikazzjoni, is-sett ta' regoli li dak il-verifikatur jaċċetta, il-metadata tad-dipendenza u l-kompatibbiltà tiegħu, ir-rendiġġ leġġibbli mill-bniedem fejn ikollu wieħed, u t-tassonomija tar-rifjut tiegħu stess.","open-source-aion.29a8090d97":"u s-sett huwa estensibbli","open-source-aion.7dd9783a82":"Disgħa familji, reġistru wieħed","open-source-aion.f4c0c73854":"Ir-reġistru","open-source-aion.2b6d7305db":"Kontroll indipendenti jeħtieġ li jkun jaf liema tip ta' ċertifikat qed iżomm","open-source-aion.b4dee9d399":"EBDA REPLAY","open-source-aion.1ae37e9b3a":"EBDA LIĊENZJA","open-source-aion.082414b331":"KONTROLL LIMITAT","open-source-aion.85bcd01276":"F'ebda wieħed minn dawn il-każijiet il-verifikatur m'għandu bżonn it-tfittxija tal-produttur, l-ewristiċi, l-istat moħbi, is-sejħiet tal-mudell jew l-ambjent tar-runtime. Dan huwa dak li jagħmel il-verifikazzjoni indipendenti affordabbli aktar milli aspirazzjonali.","open-source-aion.73dc1e45ec":"L-asimetrija għandha l-istess forma f'kull qasam, u jiswa li tidher erba' darbiet. Tfittxija misjuqa minn kunflitt tista' taħdem għal sigħat fuq spazju li ħadd ma jista' jelenka; il-prova tal-klawżoli li toħroġ tiġi segwita linja b'linja. Kompilatur jista' jwettaq mijiet ta' passi ta' ottimizzazzjoni b'ewristiċi li ħadd barra t-tim ma jifhem; iċ-ċertifikat jirrekordja t-talbiet ta' preservazzjoni li jridu jżommu f'kull waħda minnhom. Simulazzjoni tista' taħdem fuq miljuni ta' passi; iċ-ċertifikat jipprovdi l-checkpoints, it-tranżizzjonijiet, l-invarjanti u t-traċċa li jagħmlu r-riżultat iċċekkjabbli. Operazzjoni ta' Nexus tista' tikkoordina ħafna aġenti; iċ-ċertifikat jistabbilixxi awtorità, tranżizzjonijiet ta' stat, approvazzjonijiet u rċevuti ta' azzjoni.","open-source-aion.3bcb80f6d9":"Dak li kull produttur iżomm għalih innifsu","open-source-aion.ceb0061493":"Is-sistema li pproduċiet ir-riżultat ma jkollhiex l-aħħar kelma dwar jekk iċ-ċertifikat tagħha jżommx. AION jiċċekkja artefatt limitat aktar milli jirrepeti l-komputazzjoni għalja, u huwa għalhekk li l-verifikazzjoni tista' taħdem fuq laptop kontra xogħol li ħa kluster weekend sħiħ, u għaliex ma teħtieġx la l-liċenzja tal-produttur u lanqas il-magna tiegħu. Iċ-ċertifikat jipprovdi l-checkpoints li l-iċċekkjatur jimxi fuqhom, għalhekk l-ispiża tal-iċċekkjar issegwi d-daqs tal-artefatt aktar milli d-daqs tat-tfittxija warajh.","open-source-aion.69524cecfe":"u dak huwa l-aqwa trick","open-source-aion.ee21bac231":"L-iċċekkjar mhuwiex qed jerġa' jagħmel","open-source-aion.396e9b624d":"Il-qasma arkitettonika","open-source-aion.504a1b0a8d":"Envelopp tgħid x'wasal. Il-mistoqsija li jmiss hija min hu permess jiftaħha","open-source-aion.a9ea7a518b":"ENVELOPP WAĦDA","open-source-aion.d7e877b15b":"TMINT KAMPJI","open-source-aion.34c043fc06":"Il-kampju tad-dipendenza huwa dak li n-nies jissottovalutaw. Ċertifikat li jistrieħ fuq ċertifikat ieħor isemmieh, għalhekk rifjut jew tibdil fl-iskema jinfirex permezz tas-sett li kien jistrieħ fuqu minflok jieqaf fl-ewwel rekord li xi ħadd jiġri jħares lejh. Dan huwa dak li jibdel munzell ta' riżultati aċċettati f'xi ħaġa li tista' tistaqsi dwarha.","open-source-aion.7dc6226fd7":"Poġġi l-informazzjoni tar-routing ġewwa l-payload u kull familja ġdida ta' ċertifikati ssir integrazzjoni ġdida għal kulħadd 'l isfel. Żommha barra u s-saff tal-ħażna, it-tracker tal-kompatibbiltà, il-kju tar-ri-verifikazzjoni u r-rekord tal-awditjar jinkitbu darba waħda u jaħdmu għal familji li ma kinux jeżistu meta nbnew.","open-source-aion.48eb1ab2b4":"Għaliex il-qasma taqla' l-ispejjeż tagħha","open-source-aion.419ad6edc1":"Ċertifikat ta' kompilazzjoni u prova ta' klawżola m'għandhom xejn komuni ġewwa, u jaslu fl-istess envelopp. Tmint kampji: it-talba, l-inputs li kontra tagħhom saret, il-produttur, il-verżjoni tal-kuntratt, it-tip ta' ċertifikat, il-payload taċ-ċertifikat, id-dipendenzi, u l-firma. Kollox speċifiku għall-familja jinsab ġewwa l-payload, u kollox li verifikatur jeħtieġ biex jirrotta, jivverżjona u jirrekordja l-ħaġa jinsab barra minnu.","open-source-aion.03a195fded":"u tmint kampji ġewwa fih","open-source-aion.9895a4db76":"Kull familja, envelopp waħda","open-source-aion.33164fb254":"L-envelopp komuni","open-source-aion.315fae6edd":"Tmint tipi ta' sistemi, tmint tipi ta' talbiet, u envelopp waħda li fiha jivvjaġġaw kollha","open-source-aion.661f13bc63":"IĊĊEKKJAT","open-source-aion.ea0dae37f4":"ĊERTIFIKAT","open-source-aion.f07b84d4d2":"TALBA","open-source-aion.1edfca7587":"AION huwa dak it-tieni programm. Jieħu ċertifikat li barrani pproduċa, jirrikostitwixxi dak li jitlob, u fejn talba ma tirrikostitwixxix, isemmi l-oġġett, isemmi r-regola, u jieqaf hemm. Rifjut li jipponta lejn il-linja 40 huwa ħaġa li kelma waħda qatt ma tista' tkun.","open-source-aion.4428102723":"Metodi formali qagħdu fuq dan l-arranġament għexieren ta' snin ilu għal raġuni waħda. Il-produttur jikteb ix-xogħol tiegħu, u t-tieni programm, ħafna iżgħar, jaqra dak ix-xogħol lura. It-tieni programm huwa dak li jiswa li jinbena b'attenzjoni, għax huwa żgħir biżżejjed biex jinftiehem minn tarf sa tarf. Dak li jagħmel AION huwa li jieħu dak l-arranġament 'il barra mid-dinja tas-solver u jagħmlu l-kuntratt għal kull ħaġa oħra: raġunament, operazzjonijiet ta' aġenti, kompilazzjoni, eżekuzzjoni, simulazzjoni.","open-source-aion.51edeceac1":"unsat. ikkompilat. lest. sigur. ottimali. politika mgħoddija. simulazzjoni konverġenti. xogħol approvat. Tmint sistemi, tmint kelmiet, u mhux waħda minnhom iġġorr ir-raġuni għaliex hija vera. Proof-carrying computation hija l-alternattiva: il-produttur iżomm ix-xogħol għali u joħroġ ċertifikat flimkien mar-riżultat, u xi ħaġa li m'għandhiex interess fit-tweġiba tiċċekkja dak iċ-ċertifikat.","open-source-aion.d3571e9e01":"sakemm xi ħadd jerġa' jagħmlu","open-source-aion.03d9c22d95":"Riżultat huwa biss talba","open-source-aion.dfc28595b4":"Għaliex teżisti qari tieni","open-source-aion.3c6178c9cd":"Lil min jappartjeni r-rapport","open-source-aion.42c21bbe27":"X'tiddeċiedi każ","open-source-aion.4d05bcfcbf":"X'tħallik tagħmel rifjut","open-source-aion.4c0a0d8ef3":"Iż-żewġ rotot tas-soltu 'l barra","open-source-aion.e097afe170":"X'jirriżulta milli żżommu","open-source-aion.c9681d6875":"X'jagħmel fil-fatt","open-source-aion.1ee58a7b8d":"Minn fejn ġej l-arranġament","open-source-aion.eec3b038bd":"attribuzzjoni","open-source-aion.65279e1ecf":"verifikazzjoni","oss-aion-adoption-paths.733a87e5fb":"Ittestja passaġġ ta' deċiżjoni wieħed","oss-aion-adoption-paths.34dfd13db9":"Ħaddem ċertifikat eżempju qabel ma tintegra AION f'passaġġ ta' deċiżjoni dirett.","oss-aion-adoption-paths.3f1d1c0d24":"Spezzjona ċ-ċertifikat eżempju inkluż.","oss-aion-adoption-paths.a5339faf54":"Ħaddem il-provi eżempju inklużi bħala kontroll.","oss-aion-adoption-paths.b38db2875a":"Iċċekkja l-istess ċertifikat b'aion check u verifikatur kompatibbli indipendenti.","oss-aion-adoption-paths.0e42c62826":"It-tim ta' evalwazzjoni tiegħek","oss-aion-adoption-paths.ca15f8db66":"Ibnieh f'sistema","oss-aion-adoption-paths.e8219f1ea8":"It-tim tas-softwer eżistenti tiegħek jgħaqqad il-librerija sabiex is-sistemi li diġà tmexxi jkunu jistgħu jgħaddu ċertifikat ma' kull deċiżjoni.","oss-aion-adoption-paths.91e2e7e34b":"L-inġiniera tiegħek iżidu AION ma' sistema li diġà topera.","oss-aion-adoption-paths.96e8012ed9":"Kull deċiżjoni mbagħad iġorr ċertifikat li jista' jitqies.","oss-aion-adoption-paths.6e56d00bc7":"L-ebda fornitur ġdid ma jinsab fil-mogħdija ta' dik id-deċiżjoni.","oss-aion-adoption-paths.b0e0c85d36":"It-tim tal-inġinerija tiegħek","oss-aion-adoption-paths.4637a51566":"Użah fil-ħin tal-awditjar","oss-aion-adoption-paths.03b3d20015":"Ċertifikat prodott qabel jista' jerġa' jitqies fi kwalunkwe ħin bl-għodda tal-linja tal-kmand, fuq il-ħardwer tiegħek stess, offline.","oss-aion-adoption-paths.8b6e7ae424":"Żomm iċ-ċertifikat prodott meta saret id-deċiżjoni.","oss-aion-adoption-paths.ab48bfd890":"Erġa' ċċekkjah aktar tard bl-għodda tal-linja tal-kmand, offline.","oss-aion-adoption-paths.6fe516ffcf":"Għaddi l-istess rekord lil regolatur jew awditur.","oss-aion-adoption-paths.4e64c95d9e":"It-tim tal-konformità tiegħek","oss-aion-adoption-paths.6b5eb5323e":"Ibda b'passaġġ ta' deċiżjoni wieħed","oss-aion-adoption-paths.1635f113ec":"Tliet modi kif tadotta","oss-aion-adoption-paths.5eef32f959":"Min imexxih","oss-aion-adoption-paths.29a9e7fa74":"Iċ-ċertifikat huwa identiku tkun xi tkun it-triq li tieħu.","oss-aion-adoption-paths.3e4f1a5e1b":"Librerija waħda, għodda waħda tal-linja tal-kmand","oss-aion-adoption-paths.tag.d59fec26d9":"Qabel l-integrazzjoni","oss-aion-adoption-paths.tag.391b31405f":"Għall-inġiniera tiegħek","oss-aion-adoption-paths.tag.6fd7b4f249":"Għall-konformità","oss-aion-archive-parts.cea57012da":"mhux ikkompressat wara l-qari","oss-aion-archive-parts.10f2f8d11a":"ikkompressat għall-ixkaffa","oss-aion-archive-parts.0468a5b797":"ARKIVJU","oss-aion-archive-parts.bce5035461":"u qasam wieħed li jgħix lil hinn minnhom","oss-aion-archive-parts.bd678f55fe":"Erba' movimenti fuq ċertifikat wieħed","oss-aion-archive-parts.44e396b17f":"Liema verifikatur aċċettah, taħt liema verżjoni tal-kuntratt.","oss-aion-archive-parts.5348eece0f":"Verifikatur u kuntratt miżmuma","oss-aion-archive-parts.53229277ab":"Sotto-provi identiċi maħżuna darba u kkwotati wara permezz ta' hash.","oss-aion-archive-parts.0f6513214f":"Sotto-provi hashed","oss-aion-archive-parts.76a7786a63":"Mudell ripetut maħżun darba, bit-tul li jirrepeti għalih.","oss-aion-archive-parts.9e1a0f7aac":"Ħidmiet ikkollassati","oss-aion-archive-parts.d6f5880b44":"Kull identifikatur maħżun bħala d-distanza tiegħu mill-aħħar.","oss-aion-archive-parts.6b78716e70":"Identifikaturi bħala lakuni","oss-aion-archived-proof.5808299e06":"mistħarrġa, mhux miknusa","oss-aion-archived-proof.39241dfc0d":"Il-bqija baqgħu magħluqa, għax l-indiċi diġà kien jaf li ma kinux affettwati.","oss-aion-archived-proof.d84b2eb85d":"Disgħa dipendenzi ddikjarati, żewġ tabs miġbuda, ħames ċertifikati msemmija.","oss-aion-archived-proof.c9269e3e61":"seba' tabs baqgħu magħluqa","oss-aion-archived-proof.6f13975269":"għadu kompatibbli","oss-aion-archived-proof.8ec798a819":"regola r7","oss-aion-archived-proof.4b50837e2e":"fil-kju biex jinqara mill-ġdid","oss-aion-archived-proof.2a858a12ec":"regola r7 sostitwita fil-verifier 2.5.0","oss-aion-archived-proof.0b58a007b4":"avviż ta' bidla","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"l-istess ċertifikat","oss-aion-archived-proof.4b37dd07e6":"kif arkivjat","oss-aion-archived-proof.39c9f8bf3a":"żewġ subprovi, forma waħda","oss-aion-archived-proof.8c28e2d0a9":"blokka waħda, miżmuma darba","oss-aion-archived-proof.e75bd8054c":"identifikaturi bħala lakuni","oss-aion-archived-proof.9bfe0da4af":"fajl twil wieħed","oss-aion-archived-proof.46dc2748fa":"kif prodott","oss-aion-archived-proof.b6a0714797":"identifikaturi illustrattivi","oss-aion-archived-proof.16bb6017da":"tnejn minn ħamsa fil-kju","oss-aion-archived-proof.884fa4a4de":"Ċertifikat wieħed, darbtejn","oss-aion-archived-proof.11ed0e1dd4":"politika p9","oss-aion-archived-proof.1f776189b1":"skema 2","oss-aion-archived-proof.ec690c70cd":"ċertifikat d20c9b","oss-aion-archived-proof.a96a7e2f89":"ċertifikat 1a55f0","oss-aion-archived-proof.b504f66e53":"mudell m1","oss-aion-archived-proof.fd6c33ce54":"kuntratt ta' runtime 3.1","oss-aion-archived-proof.ff651ff51f":"regola tal-kompilatur c1","oss-aion-archived-proof.d00ec63b0b":"ċertifikat b4e187","oss-aion-archived-proof.e20acd4672":"ċertifikat 3c90de","oss-aion-archived-proof.6d50cc6c2e":"ċertifikat 7f21ab","oss-aion-archived-proof.5dd9b11122":"politika p2","oss-aion-archived-proof.70d70366cf":"skema 4","oss-aion-archived-proof.d61ceadbdb":"kuntratt","oss-aion-archived-proof.e15436a2bb":"verifier","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Għala ġiet rifjutata t-talba tiegħi minn magna?","oss-aion-asked-questions.answer.refused":"AION juri l-punt eżatt fejn waqfet il-verifika, u għala, minflok kelma waħda mhux spjegata.","oss-aion-asked-questions.question.check":"Nista' niċċekkja deċiżjoni awtomatika jien stess?","oss-aion-asked-questions.answer.check":"Iva. AION jerġa' jaħdem kull pass, fuq il-magna li qiegħed fuqha, mingħajr kont u mingħajr ma jintbagħat xejn.","oss-aion-asked-questions.question.sent":"Jintbagħat l-informazzjoni tiegħi xi mkien?","oss-aion-asked-questions.answer.sent":"Le. Il-bini default m'għandu xejn biex jibgħatha. Ix-xogħol isir fejn diġà qiegħed.","oss-aion-asked-questions.chrome.path":"Mistoqsijiet li rifjut verament iqajjem","oss-aion-asked-questions.chrome.status":"imwieġba fil-miftuħ","oss-aion-asked-questions.readout":"Dawn huma t-tliet mistoqsijiet li din il-paġna nbniet biex twieġeb, fil-miftuħ, mingħajr kont u mingħajr ma jintbagħat xejn.","oss-aion-asked-questions.band":"Mistoqsi darba, imwieġeb fil-miftuħ","oss-aion-asked-you.ef80b73d6b":"minflok sorpriża aktar tard","oss-aion-asked-you.7e066a9db0":"mistoqsija issa","oss-aion-asked-you.fb041ecc2d":"Jistenna","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"u x'jiġri wara","oss-aion-asked-you.fb5efec5ec":"X'tistaqsi","oss-aion-asked-you.ed223cb507":"Bil-frażi tiegħek stess ġewwa fiha, minflok formola biex timla.","oss-aion-asked-you.47ba586268":"Jpoġġi mistoqsija","oss-aion-asked-you.16bb2c320d":"Fi kliem sempliċi, mhux bħala għażla bejn simboli.","oss-aion-asked-you.590f0368a8":"Jistabbilixxi ż-żewġ qari","oss-aion-asked-you.c0fedb51ee":"Il-parti tas-sentenza tiegħek li mhux ċert dwarha, fi kliemek.","oss-aion-asked-you.945cd96360":"Jikkwota l-kliem lura","oss-aion-asymmetry.109e612009":"l-evidenza tivvjaġġa","oss-aion-asymmetry.54086b1730":"ix-xogħol jibqa' mal-produttur","oss-aion-asymmetry.77e82797f7":"ASIMETRIJA","oss-aion-asymmetry.7f5d144dcb":"għal kull produttur","oss-aion-asymmetry.d1abed327f":"Dak li ma jiġix riprodott","oss-aion-asymmetry.816e835f60":"Awtorità, tranżizzjonijiet, approvazzjonijiet, irċevuti.","oss-aion-asymmetry.4f83e60cbc":"Ħafna aġenti, jikkoordinaw.","oss-aion-asymmetry.d946c1fc52":"Sistema ta' aġenti","oss-aion-asymmetry.d978ba491a":"Checkpoints, tranżizzjonijiet u invarianti.","oss-aion-asymmetry.b081bda78f":"Miljuni ta' passi ta' integrazzjoni.","oss-aion-asymmetry.8e34943c35":"Simulazzjoni","oss-aion-asymmetry.db98a95880":"It-talbiet ta' preservazzjoni fuqhom.","oss-aion-asymmetry.ce4dee4e4f":"Mijiet ta' passi u l-ewristiċi tagħhom.","oss-aion-asymmetry.341a20e237":"Kompilatur","oss-aion-asymmetry.d50aca2923":"Derivazzjoni segwita linja b'linja.","oss-aion-asymmetry.c0644e2b00":"Tiftix fuq spazju li ħadd ma jelenka.","oss-aion-asymmetry.2212b12df6":"Solver","oss-aion-audit-flow.0d368d5958":"Tittieħed deċiżjoni","oss-aion-audit-flow.723d4b8215":"AI tasal għal tweġiba fis-sistema tiegħek.","oss-aion-audit-flow.60616f24a0":"Iċ-ċertifikat jinżamm","oss-aion-audit-flow.319012d052":"Ir-raġunament jiġi rreġistrat bħala rekord portabbli.","oss-aion-audit-flow.b6e0507002":"Jiġi kkontrollat mill-ġdid","oss-aion-audit-flow.060bdf8393":"Kulħadd jerġa' jmexxi l-kontroll offline, fuq il-magna tiegħu stess.","oss-aion-audit-flow.549ee9a7f2":"L-awditur jaċċettah","oss-aion-audit-flow.45d8142b03":"Evidenza li jivverifikaw, mhux wegħda li jridu jieħdu.","oss-aion-audit-flow.29a5795456":"Int tibgħat il-logs u tittama li jiġu aċċettati.","oss-aion-audit-flow.691576c10d":"Int tagħti ċertifikat li l-awditur jiċċekkja hu stess.","oss-aion-audit-flow.4f25ce109b":"L-ispjegazzjoni hija marbuta ma' fornitur wieħed.","oss-aion-audit-flow.17092b76ad":"Formati standard ta' prova jżommu ċ-ċertifikat verifikabbli lil hinn mill-fornitur oriġinali u mir-runtime.","oss-aion-audit-flow.4cb1b63499":"Ir-rekord jiġi kkontrollat mill-ġdid fuq infrastruttura li ma tikkontrollax.","oss-aion-audit-flow.c0baf00a21":"Ir-rekord jiġi kkontrollat mill-ġdid offline, fuq hardware li tikkontrolla.","oss-aion-audit-flow.1574ac4dc4":"Mid-deċiżjoni għal evidenza aċċettata","oss-aion-audit-flow.0fc25779d4":"Mingħajr prova verifikabbli","oss-aion-audit-flow.4b32d8f574":"Bil-AION","oss-aion-audit-flow.effbb773a5":"Fil-ħin tal-awditu tipproduċi evidenza, mhux assigurazzjonijiet.","oss-aion-audit-flow.630840198f":"Verifikazzjoni indipendenti","oss-aion-broken-case.b2d44d537d":"żewġ biċċiet ta' xogħol","oss-aion-broken-case.21a5e37384":"Tgħid li issa xi ħadd irid jagħżel waħda.","oss-aion-broken-case.446dd52366":"Il-każ ma jgħidx f'liema minn dawn it-tnejn int.","oss-aion-broken-case.1592f95dfc":"min għandu l-ispeċifikazzjoni","oss-aion-broken-case.5350b811e8":"Kulħadd kien jaf dan u ħadd qatt ma kitbu, u għalhekk il-każ kien disponibbli biex jinstab. Allura x-xogħol huwa li tikteb il-kostrizzjoni nieqsa.","oss-aion-broken-case.7e1ad0c117":"retry ma jistax iseħħ fuq bilanċ żero hawnhekk","oss-aion-broken-case.e2acc6be4b":"jista' dan iseħħ hawnhekk?","oss-aion-broken-case.70cf0e9d6e":"it-tim li jopera dan","oss-aion-broken-case.f4418abec4":"Allura r-regola hija tajba u s-sistema hija ħażina. Ix-xogħol huwa bidla fis-sistema.","oss-aion-broken-case.7ebf5ee2c1":"retries fi tlieta b'bilanċ żero huwa Tnejn ordinarju","oss-aion-broken-case.818db6fde5":"il-modalità batch tippermetti l-aktar żewġ retries","oss-aion-broken-case.9ad82bcd1a":"l-ebda retry waqt li l-bilanċ ikun żero","oss-aion-broken-case.db09c40b94":"kundizzjonijiet li jikser","oss-aion-broken-case.1a01155586":"L-ispeċifikazzjoni ma żżommx. Hawnhekk sitwazzjoni fejn ma żżommx, miktuba.","oss-aion-broken-case.bb5f480b82":"il-każ, kif jirritorna","oss-aion-broken-case.8ba48b3c8c":"każ illustrattiv","oss-aion-broken-case.2a0ea29615":"każ wieħed, żewġ sidien","oss-aion-broken-case.0efd66fc70":"Il-każ li kiserha","oss-aion-broken-case.fd12863535":"le","oss-aion-broken-case.fb360f9c09":"iva","oss-aion-broken-case.e7aef2e893":"il-modalità hija batch (tip: text)","oss-aion-broken-case.dcfad8c5bf":"il-bilanċ huwa 0 (tip: integer)","oss-aion-broken-case.bbf98b54e9":"ir-retries huma 3 (tip: integer)","oss-aion-business-glyph.9c8c22f54d":"Disenjabbli b'mod verifikabbli","oss-aion-business-glyph.afd7103781":"L-infrastruttura tiegħek","oss-aion-business-glyph.ea722c81af":"Ewropew","oss-aion-business-glyph.870c4d024a":"Formati portabbli","oss-aion-business-glyph.81c093497b":"Magħluq miċ-ċertifikat","oss-aion-business-glyph.862ee3b17a":"Espożizzjoni","oss-aion-business-glyph.6b5eb5323e":"Prova mehmuża","oss-aion-business-glyph.b7a3f27883":"Riskju mneħħi","oss-aion-business-glyph.7ba75e0ac6":"Kontrolli taċ-ċertifikat snin wara","oss-aion-business-glyph.9f89ecaff5":"Is-sessjoni oriġinali marret","oss-aion-business-glyph.33620369b5":"L-arkivju","oss-aion-business-glyph.7a71b6b89e":"Fuq hardware li tikkontrolla int","oss-aion-business-glyph.e94a6d4bba":"Spjegat fuq hardware ta' ħaddieħor","oss-aion-business-glyph.3eaad00bc0":"Id-dejta","oss-aion-business-glyph.e20fee7c23":"Kontrollur separat","oss-aion-business-glyph.9e3ee5bddf":"Il-mudell oriġinali għadu meħtieġ","oss-aion-business-glyph.5cb182685f":"Il-verifikatur","oss-aion-business-glyph.c5d37b3ae0":"Ċertifikat li l-awditur jiċċekkja","oss-aion-business-glyph.6c4186cc8c":"Logs li tittama li jiġu aċċettati","oss-aion-business-glyph.d51b35c242":"L-awditu","oss-aion-cadence-banners.independent.eyebrow":"AION / verifikazzjoni indipendenti","oss-aion-cadence-banners.independent.lead":"Afda l-envelope","oss-aion-cadence-banners.independent.accent":"wara li ċekkjatur ieħor jaċċettaha","oss-aion-cadence-banners.independent.body.one":"Ċertifikat huwa utli għax il-verifikatur m'għandux bżonn il-ħin tal-eżekuzzjoni tal-produttur. Jirċievi r-regola ddikjarata, l-inputs, ir-riżultat u l-evidenza bħala envelope waħda limitata.","oss-aion-cadence-banners.independent.body.two":"It-tieni implimentazzjoni tiċċekkja dik l-evidenza kontra l-istess kuntratt. Il-qbil imbagħad huwa evidenza dwar ir-riżultat, mhux eżekuzzjoni mill-ġdid tal-istess passaġġ ta' kodiċi.","oss-aion-cadence-banners.independent.panel":"Rekord ta' aċċettazzjoni indipendenti","oss-aion-cadence-banners.independent.tag":"IĊĊEKKJAT APART","oss-aion-cadence-banners.independent.item.rule.label":"Regola ddikjarata","oss-aion-cadence-banners.independent.item.rule.detail":"Ir-rekwiżit u l-familja taċ-ċertifikat huma msemmija.","oss-aion-cadence-banners.independent.item.rule.status":"PREŻENTI","oss-aion-cadence-banners.independent.item.input.label":"Inputs marbuta","oss-aion-cadence-banners.independent.item.input.detail":"Il-valuri użati mid-deċiżjoni jivvjaġġaw magħha.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Riżultat iddikjarat","oss-aion-cadence-banners.independent.item.result.detail":"L-eżitu huwa ddikjarat qabel ma tibda l-verifikazzjoni.","oss-aion-cadence-banners.independent.item.result.status":"DIKJARAT","oss-aion-cadence-banners.independent.item.verifier.label":"Verifikatur separat","oss-aion-cadence-banners.independent.item.verifier.detail":"Implimentazzjoni differenti tiċċekkja l-istess envelope.","oss-aion-cadence-banners.independent.item.verifier.status":"AĊĊETTAT","oss-aion-cadence-banners.independent.verdict":"l-evidenza tibqa' teżisti barra mis-sistema li pproduċietha","oss-aion-cadence-banners.independent.footer":"il-verifikazzjoni taqsam il-konfini tal-implimentazzjoni mingħajr ma titlef il-kuntratt","oss-aion-cadence-banners.refusal.eyebrow":"AION / kuntratt ta' falliment","oss-aion-cadence-banners.refusal.lead":"Prova falluta","oss-aion-cadence-banners.refusal.accent":"trid issemmi r-regola li ma setgħetx tissodisfa","oss-aion-cadence-banners.refusal.body.one":"L-iċċekkjar eżatt mhuwiex qoxra vag ta' pass jew falliment. Il-verifikatur isegwi l-konverżjoni ddikjarata, l-aritmetika u l-gates loġiċi fl-ordni, imbagħad jieqaf fl-ewwel kundizzjoni invalida.","oss-aion-cadence-banners.refusal.body.two":"Dak ir-rifjut jappartjeni lill-evidenza. Jgħid lil min isejjaħ liema suppożizzjoni, skala, terminu jew guard falla qabel ma kwalunkwe pass aktar tard seta' jaħbi l-kawża.","oss-aion-cadence-banners.refusal.panel":"L-ewwel gate li jfalli","oss-aion-cadence-banners.refusal.tag":"RIFJUTAT","oss-aion-cadence-banners.refusal.item.read.label":"Aqra l-valuri ddikjarati","oss-aion-cadence-banners.refusal.item.read.detail":"L-inputs u l-identità tar-regola huma ffissati qabel l-iċċekkjar.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Applika l-konverżjoni ddikjarata","oss-aion-cadence-banners.refusal.item.scale.detail":"L-ebda fallback sieket ma jibdel il-kuntratt aritmetiku.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Evalwa kull gate fl-ordni","oss-aion-cadence-banners.refusal.item.check.detail":"L-ewwel kundizzjoni invalida tibqa' attribwibbli.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Irritorna r-rifjut imsemmi","oss-aion-cadence-banners.refusal.item.refuse.detail":"Min isejjaħ jirċievi r-regola falluta u l-evidenza tagħha.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"rifjut huwa evidenza rivedibbli, mhux żball vojt","oss-aion-cadence-banners.refusal.footer":"l-ewwel kundizzjoni falluta tibqa' viżibbli għar-reviżur li jmiss","oss-aion-cadence-banners.certificates.eyebrow":"AION / katina ta' ċertifikati","oss-aion-cadence-banners.certificates.lead":"Deċiżjoni waħda","oss-aion-cadence-banners.certificates.accent":"tista' ġġorr diversi tipi ta' prova","oss-aion-cadence-banners.certificates.body.one":"Ir-raġunament, l-awtorità organizzattiva, il-kompilazzjoni u l-eżekuzzjoni jwieġbu mistoqsijiet differenti. Li tittrattahom bħala assigurazzjoni ġenerika waħda jaħbi fejn talba hija b'saħħitha u fejn għad hemm bżonn ta' kontroll ieħor.","oss-aion-cadence-banners.certificates.body.two":"AION iżomm iċ-ċertifikati distinti u jgħaqqadhom mal-istess rekord ta' deċiżjoni. Reviżur jista' jsegwi l-katina mingħajr ma jħawwad l-awtorità mal-aritmetika jew eżekuzzjoni b'suċċess ma' regola approvata.","oss-aion-cadence-banners.certificates.panel":"Rotot ta' evidenza tad-deċiżjoni","oss-aion-cadence-banners.certificates.tag":"MAGĦQUD","oss-aion-cadence-banners.certificates.item.reasoning.label":"Ċertifikat ta' raġunament","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Juri għaliex il-konklużjoni ddikjarata ssegwi.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Ċertifikat ta' awtorità","oss-aion-cadence-banners.certificates.item.organisation.detail":"Isemmi min jista' japprova jew iwettaq l-azzjoni.","oss-aion-cadence-banners.certificates.item.organisation.status":"AWTORITÀ","oss-aion-cadence-banners.certificates.item.compile.label":"Ċertifikat ta' kompilazzjoni","oss-aion-cadence-banners.certificates.item.compile.detail":"Jorbot is-sors, it-trasformazzjoni u l-artefatt prodott.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Ċertifikat ta' eżekuzzjoni","oss-aion-cadence-banners.certificates.item.execution.detail":"Jirrekordja x'ġie eżegwit, fejn u taħt liema inputs.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"kull talba żżomm il-familja taċ-ċertifikat li tista' fil-fatt tappoġġjaha","oss-aion-cadence-banners.certificates.footer":"evidenza marbuta tibqa' speċifika biżżejjed biex tiġi kkontestata","oss-aion-cadence-banners.recheck.eyebrow":"AION / riżultat li tista' terġa' tara","oss-aion-cadence-banners.recheck.lead":"L-istess regola","oss-aion-cadence-banners.recheck.accent":"tista' tiġi ċċekkjata mill-ġdid aktar tard","oss-aion-cadence-banners.recheck.body.one":"Is-sentenza, it-tifsira magħżula u l-limitu ta' żmien jibqgħu marbuta mar-riżultat. Tista' tara x'ġie deċiż u kemm idum il-valur tad-deċiżjoni mingħajr ma tibgħat il-materjal 'il bogħod.","oss-aion-cadence-banners.recheck.body.two":"Meta r-regola jew id-data tinbidel, ir-rekord jidentifika x'għandu bżonn kontroll ieħor. It-tweġiba preċedenti tibqa' viżibbli minflok ma tiġi sostitwita fis-skiet.","oss-aion-cadence-banners.recheck.panel":"Dak li jsegwi l-verifika mill-ġdid","oss-aion-cadence-banners.recheck.tag":"RIPETIBBLI","oss-aion-cadence-banners.recheck.item.sentence.label":"Is-sentenza oriġinali tiegħek","oss-aion-cadence-banners.recheck.item.sentence.detail":"Il-kliem jibqa' maġenb l-interpretazzjoni.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"It-tifsira li ntgħażlet","oss-aion-cadence-banners.recheck.item.rule.detail":"Ir-regola applikata hija miktuba b'mod ċar.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Id-data tal-validità","oss-aion-cadence-banners.recheck.item.deadline.detail":"Il-ħin li jifdal jidher qabel ma jiskadi r-riżultat.","oss-aion-cadence-banners.recheck.item.deadline.status":"VIŻIBBLI","oss-aion-cadence-banners.recheck.item.result.label":"Verifika ġdida","oss-aion-cadence-banners.recheck.item.result.detail":"L-istess evidenza tista' tiġi evalwata mill-ġdid.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"tista' terġa' lura għat-tweġiba mingħajr ma titlef ir-raġuni warajha","oss-aion-cadence-banners.recheck.footer":"ir-reġistru jżomm il-kliem, ir-regola u d-data flimkien","oss-aion-cadence-banners.supplier.eyebrow":"AION / evidenza tal-fornitur","oss-aion-cadence-banners.supplier.lead":"Tweġiba tal-fornitur","oss-aion-cadence-banners.supplier.accent":"għandha tasal b'xi ħaġa li tista' tiċċekkja","oss-aion-cadence-banners.supplier.body.one":"Ċertifikat jifred ir-riżultat mill-għodda tal-fornitur. Jiddikjara x'inħareġ, liema familja ta' prova tapplika u liema inputs u artefatti jappartjenu għall-istqarrija.","oss-aion-cadence-banners.supplier.body.two":"It-tim tiegħek jista' jżomm dik l-evidenza u juża verifikatur ieħor. Ir-reviżjoni ma tibqax tiddependi fuq l-aċċess għas-servizz oriġinali jew fuq li titlob lill-fornitur jerġa' jagħmel il-ġirja.","oss-aion-cadence-banners.supplier.panel":"Evidenza riċevuta mar-riżultat","oss-aion-cadence-banners.supplier.tag":"PORTABBLI","oss-aion-cadence-banners.supplier.item.claim.label":"Stqarrija tal-fornitur","oss-aion-cadence-banners.supplier.item.claim.detail":"Ir-riżultat u l-ambitu tiegħu huma ddikjarati b'mod espliċitu.","oss-aion-cadence-banners.supplier.item.claim.status":"RIĊEVUT","oss-aion-cadence-banners.supplier.item.certificate.label":"Envelopp taċ-ċertifikat","oss-aion-cadence-banners.supplier.item.certificate.detail":"L-evidenza u l-identifikaturi jivvjaġġaw mal-istqarrija.","oss-aion-cadence-banners.supplier.item.certificate.status":"MEHMUŻ","oss-aion-cadence-banners.supplier.item.coverage.label":"Dikjarazzjoni tal-kopertura","oss-aion-cadence-banners.supplier.item.coverage.detail":"Il-familja taċ-ċertifikat tgħid x'tista' tistabbilixxi.","oss-aion-cadence-banners.supplier.item.coverage.status":"SCOPEJAT","oss-aion-cadence-banners.supplier.item.checker.label":"Verifikatur indipendenti","oss-aion-cadence-banners.supplier.item.checker.detail":"In-naħa tiegħek tivverifika l-evidenza mingħajr il-produttur.","oss-aion-cadence-banners.supplier.item.checker.status":"DISPOĊJONIBBLI","oss-aion-cadence-banners.supplier.verdict":"l-evidenza tibqa' utli wara li tispiċċa l-ġirja tal-fornitur","oss-aion-cadence-banners.supplier.footer":"riżultat verifikabbli huwa aktar faċli biex jinżamm, jitqabbel u jiġi kkontestat","oss-aion-cadence-banners.boundary.eyebrow":"AION / reviżjoni kkontrollata","oss-aion-cadence-banners.boundary.lead":"Ir-reviżjoni tibqa' ġewwa","oss-aion-cadence-banners.boundary.accent":"il-konfini li tistabbilixxi l-organizzazzjoni tiegħek","oss-aion-cadence-banners.boundary.body.one":"Il-każ, ir-regola u ċ-ċertifikat jistgħu jiġu ċċekkjati fejn diġà jinsabu. Il-verifikazzjoni lokali tevita li reviżjoni tinbidel f'rotta oħra ta' żvelar għall-materjal li qed jiġi eżaminat.","oss-aion-cadence-banners.boundary.body.two":"Ir-reġistru xorta jsemmi l-proprjetà stabbilita u l-evidenza użata. Iż-żamma tad-data fuq is-sit ma tfissirx li titlef traċċa ta' verifika attribwibbli.","oss-aion-cadence-banners.boundary.panel":"Rotot ta' reviżjoni fuq is-sit","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Iftaħ il-każ miżmum","oss-aion-cadence-banners.boundary.item.case.detail":"Il-materjal tas-sors jibqa' fl-ambjent eżistenti tiegħu.","oss-aion-cadence-banners.boundary.item.case.status":"FUQ IS-SIT","oss-aion-cadence-banners.boundary.item.property.label":"Agħżel l-istqarrija li trid tiċċekkja","oss-aion-cadence-banners.boundary.item.property.detail":"L-ambitu taċ-ċertifikat jibqa' espliċitu.","oss-aion-cadence-banners.boundary.item.property.status":"SCOPEJAT","oss-aion-cadence-banners.boundary.item.perimeter.label":"Ħaddem fil-perimetru","oss-aion-cadence-banners.boundary.item.perimeter.detail":"L-ebda servizz estern mhu meħtieġ għall-verifikazzjoni.","oss-aion-cadence-banners.boundary.item.perimeter.status":"KONFINAT","oss-aion-cadence-banners.boundary.item.record.label":"Żomm ir-reġistru tar-reviżjoni","oss-aion-cadence-banners.boundary.item.record.detail":"L-inputs, il-verifikatur u r-riżultat jibqgħu attribwibbli.","oss-aion-cadence-banners.boundary.item.record.status":"REĠISTRAT","oss-aion-cadence-banners.boundary.verdict":"l-evidenza tista' tiġi ċċekkjata mingħajr ma tinħoloq trasferiment ġdid ta' data","oss-aion-cadence-banners.boundary.footer":"l-eżekuzzjoni lokali u l-evidenza rivedibbli jappartjenu lill-istess kontroll","oss-aion-case-fields.ce69e76708":"każ jibda deċiżjoni","oss-aion-case-fields.9a83c048c3":"verdett jtemm kontroll","oss-aion-case-fields.afc58d4c40":"l-ewwel wieħed li jonqos, bl-isem","oss-aion-case-fields.3bc6a69e80":"il-bilanċ irid jaqbeż iż-żero qabel ma terġa' tipprova","oss-aion-case-fields.4e0285b28b":"kundizzjoni miksura","oss-aion-case-fields.4e0af55321":"KONTREŻEMPJU","oss-aion-case-fields.344daefb37":"Każ wieħed, sħiħ","oss-aion-case-fields.62e0ec394a":"il-valuri, u x'tip huwa kull wieħed","oss-aion-case-fields.7f01fe787c":"lott","oss-aion-checked-not-rerun.dd5b6cbe2b":"waħda tgħaqqad, waħda nieqsa","oss-aion-checked-not-rerun.846a719bdc":"L-aħħar linja m'għandhiex kontroparti bi kwalunkwe prezz.","oss-aion-checked-not-rerun.6c26a05ac4":"Ħamsa mis-sebgħa jmorru u tnejn minnhom jingħaqdu.","oss-aion-checked-not-rerun.4f01efffc8":"moqri minn xi ħadd li qatt ma żamm is-software tagħhom","oss-aion-checked-not-rerun.a70205a694":"imqabbel ma' dak tat-trimestru li jmiss","oss-aion-checked-not-rerun.0d85e26645":"arkivjat mad-deċiżjoni li appoġġa","oss-aion-checked-not-rerun.ffc7dbc2ad":"dak li żżomm wara","oss-aion-checked-not-rerun.d6124c1aee":"xejn fuq ix-xellug ma jipproduċi dan","oss-aion-checked-not-rerun.9b9252883d":"iċ-ċertifikat innifsu","oss-aion-checked-not-rerun.0bfa7a3bd8":"l-inputs iddikjarati u l-kuntratt","oss-aion-checked-not-rerun.d7f7f555ad":"it-talba","oss-aion-checked-not-rerun.527c7f544a":"tliet affarijiet","oss-aion-checked-not-rerun.f8a34d2942":"biex jiċċekkjaw iċ-ċertifikat tagħhom","oss-aion-checked-not-rerun.2a20acacc2":"seba' affarijiet","oss-aion-checked-not-rerun.a94f90b8e9":"biex jirriproduċu s-sistema tagħhom","oss-aion-checked-not-rerun.d2eae1af1f":"l-istess assigurazzjoni, żewġ rotot","oss-aion-checked-not-rerun.87f754c087":"ħames milquta, waħda nieqsa","oss-aion-checked-not-rerun.2a62bb8028":"dak li teħtieġ kull rotta","oss-aion-checked-not-rerun.35d7d25591":"jekk għadha żżomm wara l-bidla","oss-aion-checked-not-rerun.6cd8ba818d":"fuq id-dejta ta' min","oss-aion-checked-not-rerun.96f39a5e7d":"kontra liema verżjoni tas-sett ta' regoli","oss-aion-checked-not-rerun.c8d59ae061":"liema kundizzjonijiet ġew iċċekkjati","oss-aion-checked-not-rerun.b028b89ea7":"l-għajnuna tagħhom","oss-aion-checked-not-rerun.c03c2fce6e":"magna ta' daqs adegwat","oss-aion-checked-not-rerun.867d12b7ad":"id-dejta tal-input","oss-aion-checked-not-rerun.717e42eb01":"il-fajl tal-konfigurazzjoni tagħhom","oss-aion-checked-not-rerun.935b145c44":"sistema operattiva li taqbel","oss-aion-checked-not-rerun.fa15ad3da2":"il-verżjoni eżatta li użaw","oss-aion-checked-not-rerun.5990a1ec89":"liċenzja għas-software tagħhom","oss-aion-compile-cert.b1991b0d44":"għalhekk rifjut jindika wieħed","oss-aion-compile-cert.85edd85611":"it-talbiet jissemmew individwalment","oss-aion-compile-cert.6e8814b9a0":"Dak li ħareġ, bl-indirizz tal-kontenut, marbut ma' dak kollu hawn fuq.","oss-aion-compile-cert.a41732e051":"Identità tal-artefatt","oss-aion-compile-cert.6d4151d7a5":"Dak li daħal, bl-indirizz tal-kontenut aktar milli bl-isem tal-fajl.","oss-aion-compile-cert.7204133281":"Identità tas-sors jew tal-graff","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"u dak li jiddikjara dwar kull wieħed","oss-aion-compile-cert.0bcab6c465":"Dak li jsemmi ċ-ċertifikat","oss-aion-compile-cert.027f7ee7d1":"Liema proprjetajiet jistabbilixxi dan iċ-ċertifikat fuqhom.","oss-aion-compile-cert.8906f98ae0":"Preservazzjoni ddikjarata","oss-aion-compile-cert.d186ea41e2":"Il-passi applikati, fl-ordni li ġew applikati.","oss-aion-compile-cert.66ad6a206e":"Sekwenza ta' trasformazzjoni","oss-aion-compile-cert.ebb0c953d1":"Liema build, f'liema konfigurazzjoni ta' ottimizzazzjoni.","oss-aion-compile-cert.691f87f640":"Kompilatur u ottimizzazzjoni","oss-aion-console.5d71265e50":"Iċċekkja ċertifikat ta' prova. L-ebda solver, l-ebda netwerk.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Qed niċċekkja l-prova: proof.alethe","oss-aion-console.1016f1bcf3":"Format: Alethe","oss-aion-console.70142f344c":"Parsing: OK","oss-aion-console.8455c5ceeb":"Il-prova għandha N passi","oss-aion-console.fc539fcf62":"Verifikazzjoni tal-prova: PASSED","oss-aion-console.88f6db402f":"Ħin tal-verifikazzjoni: Nms","oss-aion-console.4f437cea65":"Iċ-checker tiegħek ikkonfermah. Ħruġ 0. Xejn ma ġie mibgħut.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Aqra ċ-ċertifikat","oss-aion-console.0cef7497bf":"Iċ-checker jiftaħ il-fajl tal-prova li ngħatajt. M'għandux bżonn xejn ieħor: l-ebda piżijiet tal-mudell, l-ebda login tal-venditur, l-ebda internet.","oss-aion-console.830903eaf6":"Mexxi kull pass","oss-aion-console.6ce1fb843f":"Kull deduzzjoni tiġi replikata kontra l-premessi li jsemmi. LRAT iġorr ħjiel ta' propagazzjoni ta' unitajiet, għalhekk il-mixja hija lineari fit-tul tal-prova.","oss-aion-console.1044fbcb06":"Aċċetta jew irrifjuta","oss-aion-console.cb4e501f7a":"Jekk kull pass jgħodd, iċ-checker jistampa PASSED u joħroġ b'0. Jekk xi pass ma jgħoddx, isemmi l-falliment u joħroġ b'valur mhux żero. M'hemm l-ebda stat intermedju.","oss-aion-console.b568d47f2e":"Input","oss-aion-console.df73f614f5":"Fajl ta' prova","oss-aion-console.0562f32dc5":"Dipendenza","oss-aion-console.7334b0e2cf":"Xejn fil-ħin tal-iċċekkjar","oss-aion-console.64ae43e8fe":"Spiża","oss-aion-console.660020f41a":"Lineari fit-tul tal-prova","oss-aion-console.5faa59d4bc":"Riżultat","oss-aion-console.de76d16078":"PASSED jew falliment imsemmi","oss-aion-console.76d6562c0a":"Iċ-check","oss-aion-console.edabf74eb3":"Kmand wieħed jaqra l-prova u","oss-aion-console.d161c0634a":"jaċċettaha jew jirrifjutaha","oss-aion-console.a997e63df7":"Il-verifikatur huwa indipendenti mis-solver. Agħtih ċertifikat u ċ-checker tiegħek stess\n          jikkonfermah jew jirrifjutah, offline, mingħajr aċċess għall-magna li pproduċieth.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"checker offline","oss-aion-console.6b5eb5323e":"Checker indipendenti","oss-aion-console.165cb4a2fd":"N passi u Nms huma placeholders: iċ-ċifri reali jiġu mill-prova li tiċċekkja, mhux\n              minna. Il-wiċċ tal-kmand huwa reali, aion check jipparsja, jimxi, u jirrapporta PASSED.","oss-aion-console.b8fae1a1a1":"AION / kontroll tal-prova","oss-aion-consumer-glyph.dccc2b6aff":"Ma jkollokx bżonn l-internet","oss-aion-consumer-glyph.22c2234e11":"Magħmul fl-Ewropa","oss-aion-consumer-glyph.75f527181b":"Jista' jiġi ċċekkjat aktar tard","oss-aion-consumer-glyph.94651c6eb5":"It-tieni għajnuna tiċċekkjaha","oss-aion-consumer-glyph.b9fefb3f5b":"Jidher tajjeb","oss-aion-consumer-glyph.fb447dd18d":"L-irċevuta tiegħek","oss-aion-consumer-glyph.49a8e53c77":"Il-magna twieġeb","oss-aion-consumer-glyph.f5ad0f0059":"Iva, u hawn għaliex","oss-aion-consumer-glyph.7011b1a621":"It-tweġiba","oss-aion-consumer-glyph.07d0cfac8b":"Pass pass, miktub","oss-aion-consumer-glyph.5bcd26af49":"Kif intlaħaq","oss-aion-consumer-glyph.8afc953f7f":"Dan huwa tajjeb għalija?","oss-aion-consumer-glyph.d79cce547d":"Il-mistoqsija","oss-aion-coverage-join.fa5284c04d":"qasir huwa qasir","oss-aion-coverage-join.d04fa188df":"Erbatax mhux kważi kollha, għalhekk il-ġonta tiġi rrifjutata minflok ma tiġi arrotondata.","oss-aion-coverage-join.0b67159da5":"Sittax-il ċellula magħduda, u r-riżultat kompost jiġi aċċettat.","oss-aion-coverage-join.7142d70e45":"kompożizzjoni rrifjutata, kopertura qasira","oss-aion-coverage-join.245fbeffee":"mhux żball ta' arrotondament. Reġjun li ħadd ma ħares lejh.","oss-aion-coverage-join.1df8f3c0e7":"14 minn 16","oss-aion-coverage-join.1c1d6ac8f1":"żewġ ċelluli li ħadd ma ħares lejhom","oss-aion-coverage-join.f0833f7fc6":"l-istess ġonta, kubu wieħed nieqes","oss-aion-coverage-join.db8d5bf534":"kompożizzjoni aċċettata","oss-aion-coverage-join.558480e414":"16 minn 16","oss-aion-coverage-join.26f1b36edc":"kull ċellula magħduda","oss-aion-coverage-join.39cd7fa9c4":"erba' kubi","oss-aion-coverage-join.bb2dba7602":"kubi illustrattivi","oss-aion-coverage-join.a4d76ddfc7":"kopertura qasira b'żewġ ċelluli","oss-aion-coverage-join.e4445ac125":"Verifika waħda maqsuma","oss-aion-coverage-join.186c8cd284":"Il-bini li għandek ma jinbidilx taħtek.","oss-aion-coverage-join.9daf9699cc":"il-bini","oss-aion-coverage-join.66506ab77b":"L-ebda mudell ma jissejjaħ.","oss-aion-coverage-join.f2250926d2":"Xejn ma joħroġ mill-konfini.","oss-aion-coverage-join.3110d06249":"dak li joħroġ","oss-aion-coverage-join.0bd87fb406":"L-ebda proċessur fuq din it-triq.","oss-aion-coverage-join.1fa5b0500c":"mhux a, mhux b, mhux c","oss-aion-coverage-join.898fae3bdc":"mhux a, mhux b, c","oss-aion-coverage-join.a8f663af2d":"mhux a, b","oss-aion-coverage-join.bee9689def":"erba' magni, tweġiba waħda","oss-aion-coverage-join.3ea0cf3ca7":"indirizzi li inti tistabbilixxi","oss-aion-coverage-join.7b9e33922c":"servizz","oss-aion-coverage-join.17819009bd":"sejħa waħda","oss-aion-coverage-join.2c4d8b9dd8":"kmand","oss-aion-coverage-join.5a78e04d95":"marbut fih","oss-aion-coverage-join.985e108737":"librerija","oss-aion-coverage-join.1d06a0d76f":"mudell","oss-aion-coverage-join.8eab5a6dbb":"proċessur","oss-aion-coverage-table.356f85e809":"kuntratt wieħed ta' AION envelope u routing","oss-aion-coverage-table.4f52f572dd":"seba' outputs ta' produtturi","oss-aion-coverage-table.2a268cd632":"SEBA' PRODUTTURI","oss-aion-coverage-table.8351372237":"output l-ewwel, checker magħżul mill-familja taċ-ċertifikati","oss-aion-coverage-table.b7d5fe11a0":"Dak li jħallu warajhom is-seba' produtturi","oss-aion-coverage-table.f31a7c9011":"Solver","oss-aion-coverage-table.a194f815cb":"Fattibbli, mhux fattibbli jew ottimali","oss-aion-coverage-table.7ec93e2d31":"Prova, mudell, core, xhieda jew bound","oss-aion-coverage-table.651e0f73b2":"Verifikatur tal-solver speċifiku għall-familja","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Konklużjoni minn restraints iddikjarati","oss-aion-coverage-table.9ac60dc1a8":"Derivazzjoni ta' restraints u provi tal-solver ritornati","oss-aion-coverage-table.d5ef792d46":"Verifikatur tar-raġunament ta' Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Operazzjoni ggvernata mwettqa","oss-aion-coverage-table.70d43be1ea":"Awtorità, politika, approvazzjonijiet, tranżizzjonijiet u ricevuti","oss-aion-coverage-table.5372a8e90f":"Verifikatur organizzattiv ta' Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Artefatt ikkumpilat","oss-aion-coverage-table.1f3e5d7c89":"Graff tas-sors, trasformazzjonijiet, invarianti u identità tal-artefatt","oss-aion-coverage-table.86ca1bd031":"Verifikatur tal-kompilazzjoni ta' Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Workload eżegwit","oss-aion-coverage-table.24f1ac9e33":"Modulu, inputs, għotjiet ta' kapaċità, tranżizzjonijiet, limiti u output","oss-aion-coverage-table.0f9ea21c74":"Verifikatur tal-eżekuzzjoni ta' Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Trajettorja simulata","oss-aion-coverage-table.ef85239d10":"Identità tal-mudell, parametri, stat, checkpoints, invarianti u hash tat-trajettorja","oss-aion-coverage-table.c5b7fe3198":"Verifikatur ta' simulazzjoni u FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Ġirja ta' FMU mwettqa","oss-aion-coverage-table.8f5753fba0":"Identità tal-FMU, konfigurazzjoni, passi, avvenimenti, konverġenza u traċċa","oss-aion-coverage-table.4d64b5bbaf":"Verifikatur ta' simulazzjoni u FMI","oss-aion-coverage-table.7d1ab3c6e0":"Evidenza:","oss-aion-coverage-table.4e5bc7d129":"Verifikatur:","oss-aion-days-left.545fa01eea":"u jgħid hekk qabel l-aħħar jum","oss-aion-days-left.eaa861cef8":"l-istess regola, moqrija erba' darbiet","oss-aion-days-left.2017bddab0":"Staqsi fi kwalunkwe jum u l-istess regola tagħmel il-kalkolu. Xejn dwar ir-raba' qari\n          mhuwiex aktar qawwi mill-ewwel, biss iżgħar.","oss-aion-days-left.81b20537a7":"spazju li jifdal, fi ġranet","oss-aion-days-left.0526dbf682":"L-ARLOĠĠ","oss-aion-days-left.2f29339cb6":"l-istess arloġġ, erba' ġranet 'il bogħod","oss-aion-days-left.47a76d1261":"Talba waħda, erba' qari","oss-aion-days-left.9dd1fe0fd2":"26 minn 30","oss-aion-days-left.f4c6daac2a":"jum 26","oss-aion-days-left.62f21454ca":"22 minn 30","oss-aion-days-left.4ad399ed8a":"jum 22","oss-aion-days-left.ae5a29afae":"16 minn 30","oss-aion-days-left.195b05cbbd":"jum 16","oss-aion-days-left.d31b7d0f91":"8 minn 30","oss-aion-days-left.185b76515a":"jum 8","oss-aion-days-left.2dd2bed725":"illum","oss-aion-dispute-parts.65edc28a9d":"il-panel u d-deċiżjoni jappartjenu lill-proċess tiegħek stess, u l-artefatt ma jiċċaqlaqx","oss-aion-dispute-parts.e56cf65ada":"u mhuwiex it-tribunal","oss-aion-dispute-parts.37f322f735":"jipprovdi l-evidenza,","oss-aion-dispute-parts.7b7570d892":"id-deċiżjoni","oss-aion-dispute-parts.52e3685580":"it-tieqa","oss-aion-dispute-parts.7de929b394":"il-panel","oss-aion-dispute-parts.2eba0fb6ad":"dak li l-proċess tiegħek stess jippossjedi","oss-aion-dispute-parts.ea4031d789":"liema verifikatur, liema verżjoni","oss-aion-dispute-parts.93be71a61d":"il-kuntratt","oss-aion-dispute-parts.48b63234e3":"imsemmi aktar milli miġbur fil-qosor","oss-aion-dispute-parts.cced6746e2":"il-punt ta' falliment","oss-aion-dispute-parts.2c9e8d06dd":"riproduċibbli minn kulħadd","oss-aion-dispute-parts.2e02032e1d":"il-verifikazzjoni","oss-aion-dispute-parts.804e9af218":"il-produttur u s-sinjalar intatti","oss-aion-dispute-parts.69506051d5":"ippreservat kif aċċettat","oss-aion-dispute-parts.6b578cc32e":"iċ-ċertifikat","oss-aion-dispute-parts.21df0b2530":"Dak li jikkontribwixxi AION","oss-aion-dispute-parts.4029dc5f44":"Jippreserva ċ-ċertifikat kif ġie aċċettat. Jippreserva l-attribuzzjoni, għalhekk min ipproduċa r-riżultat jibqa' jgħix meta jinbidel il-kuntrattur. Jirriproduċi l-verifikazzjoni fuq talba, minn kulħadd, mingħajr il-produttur. Jidentifika l-punt preċiż ta' falliment minflok ma jirritorna verdett. U juri liema verifikatur aċċetta r-riżultat u taħt liema verżjoni tal-kuntratt. Il-panel, it-tieqa u d-deċiżjoni jappartjenu lil kwalunkwe proċess li l-organizzazzjoni tiegħek diġà tmexxi. AION jipprovdi l-artefatt li dwaru jargumenta dak il-proċess.","oss-aion-dispute-parts.434ae4f1d6":"Ir-rwol ta' AION f'dik is-sitwazzjoni huwa dejjaq u huwa l-parti utli.","oss-aion-dispute-parts.3eb5567b60":"Xogħol prodott minn parti waħda u li wieħed jistrieħ fuqu jispiċċa jipproduċi nuqqas ta' qbil dwar jekk kienx tajjeb. Dak li jiddeċiedi huwa kważi qatt is-saħħa tal-argument. Huwa jekk jeżistix artefatt li ż-żewġ naħat jistgħu jeżaminaw u li l-ebda naħa ma tista' temenda, u fil-biċċa l-kbira tal-kwistjonijiet ir-rekords li jkunu jsolvu l-mistoqsija jinżammu minn waħda miż-żewġ partijiet.","oss-aion-dispute-parts.2ccc6715e9":"Mhux argument aħjar.","oss-aion-dispute-parts.aa0d5ae0e6":"Kwistjoni teħtieġ evidenza.","oss-aion-dispute-parts.b4b6237893":"Meta xi ħadd ma jaqbilx","oss-aion-dispute-parts.eec3b038bd":"attribuzzjoni","oss-aion-dispute-parts.100ec4462d":"evidenza","oss-aion-envelope-fields.cfc233d284":"l-envelop qatt ma huwa","oss-aion-envelope-fields.1c80a87a33":"il-payload huwa speċifiku għall-familja","oss-aion-envelope-fields.d85cb39036":"il-familja, li tiddeċiedi l-verifikatur","oss-aion-envelope-fields.a975c5af10":"Tip ta' Ċertifikat","oss-aion-envelope-fields.4282e3d696":"imsemmi, qatt implikat","oss-aion-envelope-fields.0562f32dc5":"Dipendenza","oss-aion-envelope-fields.ca2dc8737d":"liema sistema, liema verżjoni","oss-aion-envelope-fields.7b7194967f":"Produttur","oss-aion-envelope-fields.f33f785291":"dak li sar kontra tiegħu, u liema verżjoni","oss-aion-envelope-fields.404e7d3e00":"Inputs u kuntratt","oss-aion-envelope-fields.93a29173f5":"identifikatur, u payload jew il-hash tiegħu","oss-aion-envelope-fields.dc4e08a408":"Talba","oss-aion-envelope-fields.78e789d605":"KUNTRATT","oss-aion-envelope-fields.d12a9ca770":"barra l-payload, kull familja","oss-aion-envelope-fields.f18dee6041":"L-envelop","oss-aion-envelope-fields.f07e5a8156":"payload","oss-aion-evidence.cbf668da60":"Fajls tal-log","oss-aion-evidence.28e06c789a":"Log juri li s-sistema kienet qed taħdem. Ma jurix għaliex waslet għat-tweġiba, u log jista' jiġi editjat bil-kwiet.","oss-aion-evidence.c637aebe3a":"Opak","oss-aion-evidence.5c3fc92e3f":"Punteġġ ta' kunfidenza","oss-aion-evidence.fd3c76543b":"Numru wieħed li jiġbor fih stat intern. Żewġ sistemi jistgħu juru l-istess punteġġ u jaslu għal konklużjonijiet opposti fuq l-istess input.","oss-aion-evidence.16f3dacf52":"L-ebda derivazzjoni","oss-aion-evidence.7f34e37f1b":"Spjegazzjoni ġġenerata minnha nnifisha","oss-aion-evidence.361b70a63e":"Miktuba mill-istess mudell li ħa d-deċiżjoni. Jimmarka x-xogħol tiegħu stess, għalhekk ma jistax jitqies bħala evidenza indipendenti.","oss-aion-evidence.782acc59ce":"Ċirkolari","oss-aion-evidence.477416bf24":"Afda lill-fornitur","oss-aion-evidence.1e84c62138":"Meta regolatur, pazjent, jew qorti jistaqsu \"uri x-xogħol tiegħek\", wegħda ta' livell ta' servizz mhix tweġiba li jistgħu jiċċekkjaw.","oss-aion-evidence.76afe0e09f":"Mhux verifikabbli","oss-aion-evidence.06f2d5f1a8":"Ċertifikat, mhux allegazzjoni","oss-aion-evidence.cdcc6f712c":"AION joħroġ ċertifikat ta' prova flimkien mat-tweġiba. Iċ-ċertifikat jelenka kull pass ta' raġunament fl-ordni li ttieħed.","oss-aion-evidence.6d1c5f470b":"Iċċekkjat minn xi ħadd ieħor","oss-aion-evidence.cc65178dc5":"Iċċekkjatur separat jimxi fuq il-passi u jew jaċċetta jew jirrifjuta. Il-parti li tagħmel il-mistoqsija tmexxih hi stess.","oss-aion-evidence.412a3b1e5e":"Jista' jerġa' jitmexxa aktar tard","oss-aion-evidence.9082c552d2":"L-istess ċertifikat jiġi ċċekkjat bl-istess mod ix-xahar id-dieħel, fuq magna differenti, mingħajr aċċess għas-sistema oriġinali.","oss-aion-evidence.1206578b48":"uri x-xogħol tiegħek","oss-aion-evidence.494beafd71":"il-mistoqsija tal-awditjar","oss-aion-evidence.bba8b0753d":"evidenza vs allegazzjoni","oss-aion-evidence.00e2ca4c85":"Meta deċiżjoni tal-AI tasal għand regolatur, pazjent, jew każ ta' sikurezza, xi ħadd jistaqsi","oss-aion-evidence.1defdb9d85":"kif waslet għal din it-tweġiba.","oss-aion-evidence.290a698043":"Ħafna organizzazzjonijiet ma jistgħux jagħtu tweġiba\n          li l-persuna li qed tistaqsi tista' tiċċekkja hi stess.","oss-aion-evidence.56f6624482":"Mhux evidenza","oss-aion-evidence.a295517f40":"Dak li joffri llum","oss-aion-evidence.7ea014de7b":"Evidenza","oss-aion-evidence.4cb1cd3e53":"Dak li AION jikkonsenja","oss-aion-evidence.2a36a263da":"L-evidenza mhix allegata. L-evidenza hija ċċekkjata.","oss-aion-evidence.e0a4c0a385":"Il-verifikazzjoni indipendenti hija l-unika tweġiba li awditur jista' jaċċetta.","oss-aion-exact-sum.21aaad8129":"multiplikatur negattiv jiġi rrifjutat qabel ma tittieħed is-somma, fl-ewwel kontroll","oss-aion-exact-sum.3b267c2a81":"l-ebda punt f'wiċċ l-ilma intern f'dik il-katina","oss-aion-exact-sum.1a43ebe28c":"għalhekk is-sistema tiġi konfutata","oss-aion-exact-sum.452308dbcd":"kostanti li jibqa'","oss-aion-exact-sum.35add33a7a":"dak li jibqa'","oss-aion-exact-sum.df326a819b":"termini y jikkanċellaw","oss-aion-exact-sum.dae482d4b2":"termini x jikkanċellaw","oss-aion-exact-sum.c36d183406":"żid l-inugwaljanzi skalati flimkien","oss-aion-exact-sum.79e4c9d3fa":"skalah","oss-aion-exact-sum.c3c4b24b20":"iż-żewġ inugwaljanzi, kollox fuq naħa waħda","oss-aion-exact-sum.b6b4c73115":"Is-somma, sħiħa","oss-aion-exact-sum.c1c66bf52c":"Il-kundizzjonijiet jiġu ċċekkjati fl-ordni u kull waħda hija rifjut fiha nnifisha. Multiplikatur negattiv jiġi rrifjutat qabel ma tittieħed kwalunkwe somma, għaliex l-iskalar b'numru negattiv idawwar l-inugwaljanza. Somma fejn jibqa' terminu varjabbli tiġi rrifjutata bit-terminu li jibqa' msemmi. Somma li l-kostanti li jibqa' tagħha mhijiex pożittiva tiġi rrifjutata, għaliex ma tipprova xejn. Koefiċjent 'il fuq mill-gwardja tal-kobor iqajjem overflow minflok ma jdawwar. Xejn f'dik il-katina mhuwa tolleranza.","oss-aion-exact-sum.6efbacfc5b":"Konfutazzjoni aritmetika hija sett ta' multiplikaturi. Ikteb kull inugwaljanza b'kollox fuq naħa waħda tas-sinjal, skalah, żid l-inugwaljanzi skalati flimkien, u jekk kull terminu varjabbli jikkanċella u dak li jibqa' huwa numru pożittiv li jingħad li huwa l-aktar żero, dak ma jistax iżomm, u għalhekk lanqas is-sistema li minnha ġie. AION jaċċetta dawk il-multiplikaturi fil-konfini u jikkonvertihom f'rappreżentazzjoni aritmetika adattiva ta' numru sħiħ/punt fiss iddikjarata qabel ma jiċċekkja. Jaħżen, jakkumula u jikkalkula l-ebda valur b'punt f'wiċċ l-ilma internament, u m'għandu l-ebda fallback ta' punt f'wiċċ l-ilma. Il-frazzjoni tibqa' stampata hawnhekk għaliex tagħmel il-kontradizzjoni leġġibbli; il-kontroll huwa ggvernat mill-konverżjoni u l-iskala ddikjarati tiegħu.","oss-aion-exact-sum.31934abfaa":"Il-konverżjoni tiegħu tiddikjara l-iskala.","oss-aion-exact-sum.a3caf489e5":"Terz mhuwiex 0.333.","oss-aion-exact-sum.15e6a906dd":"Aritmetika adattiva ddikjarata ta' punt fiss","oss-aion-exact-sum.108a35964a":"is-somma tgħid 11/6 <= 0, li huwa falz,","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":"iva","oss-aion-exact-sum.c4c6c57253":"pożittiv","oss-aion-exact-sum.b55e22fe78":"eżatt","oss-aion-exec-cert.6a230011ab":"xi ħaġa oħra tiċċekkjaha","oss-aion-exec-cert.2c14724b1b":"il-runtime pproduċieh","oss-aion-exec-cert.b07722ef0c":"il-limitu","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"modulu biex joħroġ","oss-aion-exec-cert.a7b63abc02":"Dak li jġorr iċ-ċertifikat","oss-aion-exec-cert.e1bbfaa783":"L-identità ta' dak li ħareġ, u jekk inqabadx.","oss-aion-exec-cert.59871c9494":"Output u status","oss-aion-exec-cert.ffb779a5c3":"Il-limiti li fihom dam, bħala limiti aktar milli bħala osservazzjonijiet.","oss-aion-exec-cert.ffbc724f07":"Qoxra tar-riżorsi","oss-aion-exec-cert.273c1da325":"Deterministiku, meta jingħataw il-modulu, l-inputs u l-għotjiet.","oss-aion-exec-cert.acee491c99":"Tranżizzjonijiet tal-istat","oss-aion-exec-cert.eab885bbb2":"Dak li kien permess li jilħaq, iddikjarat qabel ma dam.","oss-aion-exec-cert.dc009dc166":"Għotjiet ta' kapaċità","oss-aion-exec-cert.6f3eb29822":"Liema modulu, bl-indirizz tal-kontenut, f'liema verżjoni tal-runtime.","oss-aion-exec-cert.c201b4ae89":"Identità tal-modulu","oss-aion-executed-under.6b6dab207c":"Dak li jippermetti ċ-ċertifikat","oss-aion-executed-under.1fcfedc78a":"dak li jista' jilħaq","oss-aion-executed-under.0338c5441d":"Il-mistoqsija wara l-fatt hija l-awtorità, u ċ-ċertifikat iġorrha.","oss-aion-executed-under.bc70ed4db9":"Erba' għotjiet miżmuma u tlieta miċħuda.","oss-aion-executed-under.6f9d76b8c0":"It-transizzjonijiet huma deterministiċi minħabba l-modulu, l-inputs u l-għotjiet, għalhekk dan\n            kollu ġie segwit mingħajr qatt ma tħaddem il-workload.","oss-aion-executed-under.e044b5f419":"L-identità li jiddikjara ċ-ċertifikat mhijiex l-identità li jipproduċu t-transizzjonijiet, għalhekk\n            it-tħaddim jiġi rrifjutat fl-output. Kollox qablu reġa' nbena eżattament.","oss-aion-executed-under.7f0cc64ae8":"transizzjonijiet deterministiċi","oss-aion-executed-under.5fa4050afc":"sett ta' kapaċitajiet, iddikjarat qabel it-tħaddim","oss-aion-executed-under.844e9ed357":"arloġġ, osserva mhux issettjat","oss-aion-executed-under.b3ccbb4041":"limitu tal-memorja 512 MiB","oss-aion-executed-under.1fe892a96f":"socket wieħed, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"aqra /var/lib/claims","oss-aion-executed-under.7a02a68db0":"mhux miżmum","oss-aion-executed-under.685706abcf":"l-identità tal-output hija differenti","oss-aion-executed-under.6287ff317a":"prodott","oss-aion-executed-under.0baff051a0":"iddikjarat","oss-aion-executed-under.1029d67644":"output","oss-aion-executed-under.fbd34a2b6e":"modulu","oss-aion-executed-under.910e029098":"illustrattiv","oss-aion-executed-under.df6fe4f714":"il-kapaċità li jippersisti lil hinn mit-tħaddim","oss-aion-executed-under.b51590997b":"kull indirizz ieħor","oss-aion-executed-under.e4e545e3b7":"kull ħaġa oħra fuq is-sistema tal-fajls","oss-aion-fact-strip.0dc9622797":"Kull figura tmur lura għar-repożitorju AION.","oss-aion-fact-strip.b7feece146":"AION bin-numri","oss-aion-fact-strip.fedec331ff":"Librerija, CLI, u benchmark f'workspace wieħed","oss-aion-fact-strip.13a24daf03":"Implimentazzjoni","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Binarju, integer u adaptive fixed-point; l-ebda floating-point intern","oss-aion-fact-strip.5688a0448c":"Qalba aritmetika","oss-aion-fact-strip.0cae74747c":"Eżatt","oss-aion-fact-strip.379c055f01":"Lineari fit-tul tal-prova, offline, l-ebda solver","oss-aion-fact-strip.04ce84fb6e":"Spiża ta' verifikazzjoni","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe, u forma intermedja unifikata","oss-aion-fact-strip.e6c67de15e":"Formati ta' prova","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Teoriji loġiċi","oss-aion-failure-notice.d8164c5dd8":"sejba, mhux tilwima","oss-aion-failure-notice.159098bbba":"L-oħra tibda argument li ħadd ma jista' jagħlaq.","oss-aion-failure-notice.814fc5cd4f":"Waħda minn dawn tista' tintbagħat lil fornitur fi pomeriggju ta' Tlieta.","oss-aion-failure-notice.2e6ea3eaa5":"ma tistax tiġi assenjata, ma tistax tiġi pprezzata, ma tistax tiġi kkontestata b'mod preċiż","oss-aion-failure-notice.e896d6344f":"il-verifikazzjoni fallew","oss-aion-failure-notice.587270a2e4":"fejn tmur kull qasam","oss-aion-failure-notice.ba0f0eb3fe":"il-premessa mhix preżenti","oss-aion-failure-notice.0c2a7f4aef":"pass 415","oss-aion-failure-notice.55daa4a2ea":"l-aħħar erba' passi jinqraw","oss-aion-failure-notice.ca548ed152":"17 ta' Marzu 2026","oss-aion-failure-notice.3c05b129e2":"ebda verdett ma nħareġ","oss-aion-failure-notice.aa943932a5":"avviż ta' rifjut","oss-aion-failure-notice.28fb3d519e":"rikostruwit","oss-aion-failure-notice.bd370d1b6f":"pass","oss-aion-failure-notice.910e029098":"illustrattiv","oss-aion-failure-notice.e6b658331e":"u ħadd ma jkun akkużat","oss-aion-failure-notice.94002635cd":"int, jekk hija mistoqsija ta' ambitu","oss-aion-failure-notice.7ab178c9a0":"it-tip","oss-aion-failure-notice.0d967ff8f3":"jipprovdi l-premessa nieqsa","oss-aion-failure-notice.b54c9b7359":"min ikun ipproduċa l-pass","oss-aion-failure-notice.94a94ba774":"ir-raġuni","oss-aion-failure-notice.ba3167e426":"jikkonferma x'għandu jagħmel dak il-pass","oss-aion-failure-notice.32ec97b69b":"is-sid tas-sett tar-regoli tiegħek","oss-aion-failure-notice.b543dc38fd":"ir-regola","oss-aion-failure-notice.ad866c4aef":"jiftaħ il-fajl fil-pass 415","oss-aion-failure-notice.06fddd86f6":"it-tim tal-provi tal-fornitur","oss-aion-failure-notice.aecf66bfac":"il-post","oss-aion-failure-notice.1d7794c5e2":"ebda verdett ma nħareġ għal din il-prova","oss-aion-failure-notice.f4475dac73":"konsegwenza","oss-aion-failure-notice.566c7d73a0":"il-pass jikkwota premessa li mhix preżenti fil-fajl","oss-aion-failure-notice.7947e92e3c":"raġuni","oss-aion-failure-notice.5dfa011717":"regola, riżoluzzjoni","oss-aion-failure-notice.64463af8a3":"414 aċċettati","oss-aion-failure-notice.c21ce4fb88":"passi jinqraw","oss-aion-failure-notice.2bf60a2164":"l-analiżi tal-kunflitti tal-fornitur għas-sett tar-regoli ta' Marzu","oss-aion-failure-notice.335ce16b3f":"suġġett","oss-aion-family-board.ca8f6715c8":"verżjonati separatament","oss-aion-family-board.e794ff76c1":"kontorn li qed jistenna verifikatur","oss-aion-family-board.0f2e82af82":"Disgħa familji jaqsmu envelop wieħed u xejn aktar. L-għaxra hija","oss-aion-family-board.ca6c6dda8e":"verifikatur, u sett ta' regoli ddikjarat","oss-aion-family-board.c53186083e":"l-għaxra","oss-aion-family-board.0020359543":"transizzjoni invalida, għotja eċċeduta, output mhux konformi,\n              traċċa mhux kompluta","oss-aion-family-board.187225126d":"tassonomija ta' rifjut","oss-aion-family-board.fac6c7230f":"repeti t-transizzjonijiet kontra l-limiti ddikjarati\n              u s-sett ta' regoli","oss-aion-family-board.155e6164fc":"algoritmu ta' verifikazzjoni","oss-aion-family-board.924f583920":"sekwenza ta' transizzjonijiet deterministika b'identitajiet ta' input u\n              output","oss-aion-family-board.c0e6022509":"rappreżentazzjoni ta' prova","oss-aion-family-board.927f6ddf1e":"dan il-workload dam taħt dawn l-għotjiet u laħaq dan l-output","oss-aion-family-board.79bf5b0ee6":"tip ta' talba","oss-aion-family-board.131097a25c":"Eżekuzzjoni tar-Runtime, v2","oss-aion-family-board.50b24e4d4c":"pjanċa waħda, miftuħa","oss-aion-family-board.803aa98470":"li r-rekord maħżun huwa dak aċċettat","oss-aion-family-board.3e71ceb1ca":"Integrità tal-Ħażna","oss-aion-family-board.f8603f4710":"li l-mudell iddikjarat ipproduċa din il-ġirja","oss-aion-family-board.ccc3c9b41d":"Simulazzjoni u FMI","oss-aion-family-board.d0c6b470a4":"li damet ġewwa l-għotjiet li ngħatat","oss-aion-family-board.dc37599f99":"Eżekuzzjoni tar-Runtime","oss-aion-family-board.4f059da0be":"li l-artefatt jippreserva s-sors","oss-aion-family-board.aad755de42":"Kompilazzjoni","oss-aion-family-board.69ce9b9c4f":"li l-operazzjoni governata seħħet","oss-aion-family-board.ed87ca5ca0":"Organizzattiv","oss-aion-family-board.0dbf90d179":"li d-derivazzjoni ddikjarata tirrikostitwixxi","oss-aion-family-board.e272c597fd":"Raġunament","oss-aion-family-board.e79949ba43":"li proprjetà żżomm matul il-ġirjiet, mhux waħda","oss-aion-family-board.bdb5a28846":"Temporali u iperproprjetà","oss-aion-family-board.b83c805a0a":"disgħa rreġistrati, kontorn wieħed","oss-aion-family-board.c794704381":"Ottimizzazzjoni","oss-aion-family-board.ede1ae7e54":"li l-ebda assenjazzjoni ma tissodisfa s-sett","oss-aion-family-board.a04ce90d06":"Loġika u sodisfabbiltà","oss-aion-family-board.b98b54298f":"disgħa rreġistrati, kontorn wieħed","oss-aion-family-board.6253e9d668":"Il-bord tal-familja","oss-aion-family-board.910e029098":"illustrattiv","oss-aion-family-registry.6e32650bab":"u verżjoni fuq kollha kemm huma","oss-aion-family-registry.dcd1f1fdc9":"erba' dikjarazzjonijiet għal kull familja","oss-aion-family-registry.3bc3fe987d":"Il-fallimenti li din il-familja tista' tirritorna, kull wieħed bil-post tiegħu.","oss-aion-family-registry.d129426d71":"Tassonomija tar-rifjut","oss-aion-family-registry.d4504f5b41":"Dak li jmexxi l-verifikatur, u s-sett ta' regoli li jaċċetta.","oss-aion-family-registry.52ab770040":"Algoritmu ta' verifikazzjoni","oss-aion-family-registry.4c9dd89c88":"Kif jinġarr ix-xhud, id-derivazzjoni jew it-traċċa.","oss-aion-family-registry.016fecd943":"Rappreżentazzjoni tal-prova","oss-aion-family-registry.ab1e33179a":"Dak li tistabbilixxi din il-familja, u dak li deliberatament ma tistabbilixxix.","oss-aion-family-registry.8a547220fc":"Tip ta' talba","oss-aion-family-registry.37094b3cc5":"qabel ma jkun jista' jiġi ċċekkjat","oss-aion-family-registry.b14e18379b":"REĠISTRU","oss-aion-family-registry.b3e4281358":"Dak li tiddikjara familja","oss-aion-family-registry.7efea8ff96":"mhux komplut","oss-aion-family-registry.995fee1f1a":"mhux appoġġjat","oss-aion-family-registry.81f344a768":"invalidu","oss-aion-foreign-proof.4c43cb0de1":"l-ebda liċenzja, l-ebda ambjent","oss-aion-foreign-proof.9406c96fa7":"erba' linji rqaq bejniethom","oss-aion-foreign-proof.9fefe2d67f":"Erba' tipi ta' xogħol fuq naħa waħda, erba' oġġetti li jinqraw fuq l-oħra, u","oss-aion-foreign-proof.57802c0b4e":"Il-verifikatur qatt ma mexxa n-naħa tax-xellug, u m'għandux għalfejn.","oss-aion-foreign-proof.1dfc94b110":"riċevuta waħda","oss-aion-foreign-proof.cff5f15fed":"żewġ tranżizzjonijiet","oss-aion-foreign-proof.d58f13fb52":"kontroll tal-awtorità","oss-aion-foreign-proof.24ef006723":"awtorità u riċevuti","oss-aion-foreign-proof.933912faec":"aġenti, jikkoordinaw","oss-aion-foreign-proof.2ae1de46da":"l-istat jibqa' ġewwa l-envelop iddikjarat","oss-aion-foreign-proof.ed96565674":"punti ta' kontroll u invariant","oss-aion-foreign-proof.0ae689c7bd":"passi ta' integrazzjoni","oss-aion-foreign-proof.f9020659b6":"għażla tal-qalba","oss-aion-foreign-proof.3e77a07952":"pretensjonijiet ta' preservazzjoni","oss-aion-foreign-proof.2bb64b9b5b":"passi ta' ottimizzazzjoni","oss-aion-foreign-proof.c8b39aa910":"derivazzjoni tal-klawżoli","oss-aion-foreign-proof.4da89bbc52":"tfittxija tas-solver","oss-aion-foreign-proof.51339ff0ea":"l-evidenza, fuq il-magna tiegħek","oss-aion-foreign-proof.4f45bf808d":"ix-xogħol, fuq il-produttur","oss-aion-foreign-proof.c369931988":"erba' linji, xejn aktar","oss-aion-foreign-proof.ec0b7e2c43":"X'jaqsam il-konfini","oss-aion-foreign-proof.44d74dd33f":"forom","oss-aion-foreign-proof.e7b1fff700":"tipi","oss-aion-foreign-proof.910e029098":"illustrattiv","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT u Alethe jivverifikaw fi żmien lineari offline. DRAT jiġi ċċekkjat u mbagħad imnaqqas għal LRAT.\n            Unified jikkonverti bejniethom mingħajr telf.","oss-aion-formats.14a628e6d3":"Iċċekkjat minn","oss-aion-formats.dda6ac27b9":"Ivverifika","oss-aion-formats.34556fa12c":"Karta tal-format","oss-aion-formats.e6c67de15e":"Formati ta' provi","oss-aion-formats.8a5e29e5bb":"konverżjoni mingħajr telf","oss-aion-formats.ddb7c01560":"sors wieħed, erba' forom","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# prova intermedja unifikata","oss-aion-formats.0d3311a5dc":"konvertitur aion-proofs","oss-aion-formats.1f5124d90b":"Konvertit fuq esportazzjoni","oss-aion-formats.8c21b7e1f1":"Ir-rappreżentazzjoni interna li tikkonverti bejniethom mingħajr telf.","oss-aion-formats.ebb8e8cf49":"Forma intermedja","oss-aion-formats.287fda8114":"Unifikat","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":"Żmien lineari, offline","oss-aion-formats.f6f7b642b0":"Il-format tal-komunità SMT-LIB mil-linja ta' cvc5 u veriT.","oss-aion-formats.4aa5db37af":"Prova SMT","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat linji ta' żieda u tħassir","oss-aion-formats.f3ba7f38e9":"drat-trim għal LRAT","oss-aion-formats.36f33c83a6":"Iċċekkjat, imbagħad imnaqqas","oss-aion-formats.4745aebc97":"Żieda u tħassir klawsali. Iċ-checkers tal-format inaqqsu għal LRAT.","oss-aion-formats.154df3dc2f":"Ċertifikat SAT","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" klawsola vojta derivata","oss-aion-formats.6fd630d612":" lrat b'ħjiel ta' unit-propagation","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Provi ta' riżoluzzjoni tal-istandard tal-industrija għall-qalba propożizzjonali.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"fajl li qatt ma jagħlaq","oss-aion-four-gates.0ff8f0eb5a":"u ieħor fl-aħħar","oss-aion-four-gates.a1ebd8379f":"qabel il-pass 1","oss-aion-four-gates.b161dbb47d":"L-ewwel nett, il-fajl jiġi skannjat għal numru ta' pass ripetut.","oss-aion-four-gates.21e412d2d0":"Żewġ passi, numru wieħed","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"u wieħed qabel kwalunkwe minnhom","oss-aion-four-gates.e74bdcd46a":"Erba' testijiet, f'dan l-ordni","oss-aion-four-gates.fef891bb33":"pass 15","oss-aion-four-gates.cc90eb3e73":"L-ebda rutina għall-isem. Il-qari jieqaf minflok jaqbeż.","oss-aion-four-gates.787e8a8577":"Regola mhux magħrufa","oss-aion-four-gates.e70c55582f":"pass 52","oss-aion-four-gates.59446cbcf9":"Premessa li teżisti, iżda nnumerata 'l fuq mill-pass li jikkwotaha.","oss-aion-four-gates.f1604fe1aa":"Ikkwotat barra l-ordni","oss-aion-four-gates.a42f56e597":"pass 44","oss-aion-four-gates.371b9613cc":"Numru kkwotat li m'hu imkien fil-fajl.","oss-aion-four-gates.1d1369a316":"Premessa assenti","oss-aion-four-gates.e1391a7c80":"pass 31","oss-aion-four-gates.9a7512e955":"Pass li jiddependi fuq il-konklużjoni tiegħu stess. Mistoqsi l-ewwel, għal kull pass.","oss-aion-four-gates.7f30dfcc04":"Jikkwota lilu nnifsu","oss-aion-governed-operation.b0582e8559":"Operazzjoni waħda, ivverifikata","oss-aion-governed-operation.8af7f1d469":"iggvernata, imbagħad ivverifikata","oss-aion-governed-operation.ada470c3d7":"Katina u l-verifikazzjoni tagħha huma żewġ awtoritajiet differenti.","oss-aion-governed-operation.90fba649e4":"Erba' oġġetti rikostruwiti, u l-ħames iwaqqaf il-qari.","oss-aion-governed-operation.ea8356461f":"mhux f'dan iċ-ċertifikat: x'kien qed jaħseb kwalunkwe aġent","oss-aion-governed-operation.2f68c232b4":"Il-verżjoni tal-politika li jiddikjara ċ-ċertifikat ma ġġorrx il-kundizzjoni li din il-gate\n                tallega li applikat. L-operazzjoni hija rrifjutata f'dak l-oġġett, u l-ebda verdett ma\n                jinħareġ għall-kollu.","oss-aion-governed-operation.be51277bfd":"mhux milħuq","oss-aion-governed-operation.57b160e317":"il-pass tal-verifikatur, bl-awtorità tiegħu stess","oss-aion-governed-operation.26f017e3e6":"aċċettat, ref 4471-b","oss-aion-governed-operation.34c3c00446":"irċevuta rreġistrata","oss-aion-governed-operation.159338740e":"istruzzjoni ta' ħlas, sistema ta' reġistru","oss-aion-governed-operation.80f6148b56":"azzjoni mwettqa","oss-aion-governed-operation.458c8c203d":"lill-azzjoni, mhux lil messaġġ qrib tagħha","oss-aion-governed-operation.1b4dcda6ba":"approvazzjoni mehmuża","oss-aion-governed-operation.303418bf06":"aktar minn 50 000 jeħtieġ approvatur ieħor","oss-aion-governed-operation.faf1f5eb4b":"gate tal-politika","oss-aion-governed-operation.557df801be":"transizzjonijiet tal-kompiti","oss-aion-governed-operation.b1c842256e":"uffiċjal tat-talbiet","oss-aion-governed-operation.59bef6c3e5":"awtorità riżolta","oss-aion-governed-operation.0639a9efd0":"erba' aġenti, skop mhux ugwali","oss-aion-governed-operation.8e44be8724":"organizzazzjoni ffurmata","oss-aion-governed-operation.139146ad26":"politika v4.2","oss-aion-governed-operation.8524f08438":"issolvi t-talbiet tal-fornituri tal-kwart","oss-aion-governed-operation.cab7375bdf":"l-operazzjoni, kif wettaqha Nexus","oss-aion-governed-operation.82c8154dca":"rifjutata fil-gate","oss-aion-governed-operation.a503bc1da2":"rifjutata","oss-aion-governed-operation.28fb3d519e":"rikostruwita","oss-aion-governed-operation.45807bf2ec":"solvuta","oss-aion-governed-operation.fb92f3f834":"ivvalutata","oss-aion-governed-operation.590abaace4":"miftuħa","oss-aion-governed-operation.d2dc873868":"oġġettiv","oss-aion-governed-operation.910e029098":"illustrattiv","oss-aion-harness-fields.d5ad303466":"u numru li tista' tikkwota","oss-aion-harness-fields.5a31ca3c0f":"il-korpus tiegħek, il-hardware tiegħek","oss-aion-harness-fields.58664673b0":"Stampat fuq il-korpus kollu fl-aħħar tal-ġirja.","oss-aion-harness-fields.6197b910db":"Għadd korrett","oss-aion-harness-fields.175226a475":"Meta mqabbel mal-istatus irreġistrat fil-fajl innifsu.","oss-aion-harness-fields.d787e678da":"Wieġeb skont l-istatus","oss-aion-harness-fields.b5ec587356":"It-tfittxija nnifisha, għal kull każ, mhux medja mneħħija.","oss-aion-harness-fields.1bd5a36ade":"5.62 s","oss-aion-harness-fields.440f019938":"Ħin tas-soluzzjoni","oss-aion-harness-fields.bec737ff93":"Kemm dam il-fajl biex jinqara, mifrud mis-soluzzjoni.","oss-aion-harness-fields.f2fedd3be1":"0.84 s","oss-aion-harness-fields.9ae1441e59":"Ħin tal-ipparsjar","oss-aion-harness-fields.20e5752f58":"Il-marka tal-ilma għolja, biex pjan ta' kapaċità jkollu numru fih.","oss-aion-harness-fields.0f93e8ac09":"1.9 GB","oss-aion-harness-fields.2ecefe98c3":"Memorja residenti massima","oss-aion-harness-fields.b660370132":"fajl wieħed mill-korpus tiegħek","oss-aion-harness-fields.ec845d015d":"għal kull każ, imbagħad totali","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Dak li tirrekordja ġirja waħda","oss-aion-harness-fields.b3cbdd75cb":"miċħud","oss-aion-harness-fields.48a3661d84":"status","oss-aion-harness-fields.25dc282b5a":"tweġiba","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Qed insolvi...","oss-aion-hero-glyph.3d08723a54":"Riżultat: SAT","oss-aion-hero-glyph.9e1279af1f":"Mudell:","oss-aion-hero-glyph.45dcf6e46f":"  x = 1","oss-aion-hero-glyph.81ef4e711c":"  y = 3","oss-aion-hero-glyph.70f4daaa7f":"Ħin: 4ms","oss-aion-hero-glyph.138243f0f4":"Riżultat: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Prova: 128 passi","oss-aion-hero-glyph.41294a8dc8":"Prova miktuba fi: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Qed niċċekkja l-prova: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Parsing: OK","oss-aion-hero-glyph.27d28e3ca9":"Il-prova għandha 128 passi","oss-aion-hero-glyph.1ba94dea63":"Statistika tal-Prova:","oss-aion-hero-glyph.e1b3c4d7c5":"  Passi totali: 128","oss-aion-hero-glyph.e30b86fef9":"  Passi ta' riżoluzzjoni: 71","oss-aion-hero-glyph.8215376faf":"  Passi aritmetiċi: 24","oss-aion-hero-glyph.552f29f0b5":"Daqs massimu tal-klawżola: 6","oss-aion-hero-glyph.fc539fcf62":"Verifikazzjoni tal-prova: PASSAT","oss-aion-hero-glyph.1e4bdfb80c":"Ħin tal-verifikazzjoni: 2ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Offline","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + teorija","oss-aion-hero-glyph.6ba46a924e":"punt fiss adattiv","oss-aion-hero-glyph.a9f24b1b66":"kontroll ta' ħin lineari","oss-aion-hero-glyph.6b5eb5323e":"Ċertifikat mehmuż","oss-aion-how-to-check.c799cc998b":"Riżultat: dan huwa tajjeb.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"L-ewwel magna tagħti r-riċevuta tagħha lil għajnuna separata, li tiċċekkjaha","oss-aion-how-to-check.d026bcfccb":"Ir-riżultat huwa ċar: ir-riċevuta tgħodd, jew ma tgħoddx. M'hemm l-ebda forsi.","oss-aion-how-to-check.d0c84a5a37":"Il-kontroll isir eżatt fejn int. Xejn ma jintbagħat 'il bogħod u l-ebda websajt mhi meħtieġa.","oss-aion-how-to-check.623151a710":"L-għajnuna li tiċċekkja mhijiex il-magna li wieġbet. Ma tistax sempliċement taqbel magħha nfisha.","oss-aion-how-to-check.87e974a415":"jaqrah u jiċċekkjah","oss-aion-how-to-check.3c487e646c":"It-tieni għajnuna","oss-aion-how-to-check.78829f8a37":"il-passi, miktuba","oss-aion-how-to-check.9b7b265fbb":"Ir-riċevuta","oss-aion-how-to-check.f58fd2cb80":"jagħti tweġiba u riċevuta","oss-aion-how-to-check.50e90303d4":"L-ewwel magna","oss-aion-integration.b1873dbd42":"Magna waħda, l-ebda servizz estern. Għaqqad il-crate, pin verżjoni, u vverifika ċ-ċertifikati fl-istess ambjent.","oss-aion-integration.5f2e7d7c25":"L-istess ċertifikat ta' prova minn kull wiċċ. Mistoqsija ġewwa, ċertifikat verifikabbli barra.","oss-aion-integration.a4db3ae8b6":"Kif issejjaħlu","oss-aion-integration.4ec6d609ab":"Ibda b'deċiżjoni waħda","oss-aion-integration.559461e293":"librerija, CLI, bench","oss-aion-integration.0228a4c724":"Kulħadd jista' jiċċekkja ċertifikat b'aion check, jew b'ċekkjatur indipendenti LRAT jew Alethe, fuq il-magna tiegħu stess.","oss-aion-integration.dda6ac27b9":"Ivverifika","oss-aion-integration.4d2c6036eb":"Poġġi aion-cli wara servizz tiegħek. Iċ-ċertifikat tal-prova huwa l-kuntratt li s-servizz jirritorna.","oss-aion-integration.c3447e7954":"Iġbor","oss-aion-integration.f9109d0f04":"Żid il-crate ma' applikazzjoni Rust eżistenti u emetti ċ-ċertifikati inline mat-tweġibiet li diġà tipproduċi.","oss-aion-integration.ad02e14e28":"Imbebbed","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Binarju dedikat tal-benchmark jintbagħat fil-workspace. Kejjel is-solve u l-check fuq il-ħardwer tiegħek minflok tafda ċifra tal-venditur.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Imexxi AION minn shell jew xogħol CI. solve imexxi mistoqsija, check jivverifika ċertifikat ta' prova offline, u prove jemetti wieħed. L-istess output ta' prova bħal-librerija.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Għaqqad AION bħala crate u sejjaħ is-solver u l-emittent tal-provi direttament. Il-kernel, it-teoriji, u l-formati tal-provi kollha huma fil-proċess, mingħajr servizz li jrid jitwaqqaf.","oss-aion-integration.8319d9b3b9":"Librerija Rust","oss-aion-live-margins.df15dfd304":"waħda minnhom hija azzjoni","oss-aion-live-margins.96576608a5":"tlieta minn dawn huma qari","oss-aion-live-margins.5711ac01c1":"ITTRAKKJAT","oss-aion-live-margins.f719aa9511":"imgħoddi kontra permess","oss-aion-live-margins.a344938438":"Erba' obbligi","oss-aion-live-margins.19e5ecc09e":"l-istess jum, fl-avveniment","oss-aion-live-margins.828697f103":"Rekord ta' trasferiment","oss-aion-live-margins.222af170d9":"44 jum minn 30, għadu miftuħ","oss-aion-live-margins.a441e09d1a":"Tieqa ta' żamma","oss-aion-live-margins.30e04c8f23":"2 jiem minn 3","oss-aion-live-margins.20d6944505":"Notifika ta' ksur","oss-aion-live-margins.9b9419d2e2":"26 jum minn 30","oss-aion-live-margins.6e7d6c760b":"Risposta tas-suġġett","oss-aion-nothing-outbound.45b9d8acdc":"l-ebda klijent 'l barra","oss-aion-nothing-outbound.5b16b5db9a":"Kull triq tibda u tispiċċa ġewwa linja li inti żrajt.","oss-aion-nothing-outbound.59a0768496":"Xejn fuq din il-folja ma jilħaq lil hinn mill-kontorn.","oss-aion-nothing-outbound.71c31d8219":"proċess lokali fuq din il-magna","oss-aion-nothing-outbound.605f85e28f":"prover estern","oss-aion-nothing-outbound.150bc2359d":"subnet wieħed, stabbilit minnek","oss-aion-nothing-outbound.5193678a39":"indirizzi tal-cluster","oss-aion-nothing-outbound.49c4e670b3":"in-netwerk tiegħek","oss-aion-nothing-outbound.273ca4c134":"dak li tikkonfigura int","oss-aion-nothing-outbound.7f8d7aeedb":"ħames ringieli","oss-aion-nothing-outbound.bcec1ac359":"dak li din it-triq iżżid mar-reġistru tiegħek","oss-aion-nothing-outbound.4553aa0c94":"il-ħażna lokali","oss-aion-nothing-outbound.93d65d8ef8":"l-arkivju","oss-aion-nothing-outbound.760cfc52ce":"il-verifikatur","oss-aion-nothing-outbound.6621d172f5":"is-sett ta' regoli li qed jinqara","oss-aion-nothing-outbound.565f3cfc6a":"iċ-ċertifikat li qed jiġi vverifikat","oss-aion-nothing-outbound.284f61c8db":"is-sit tiegħek, il-hardware tiegħek","oss-aion-nothing-outbound.f368a04bb8":"konfini waħda, u hija tiegħek","oss-aion-nothing-outbound.5c795b7e7d":"l-ebda triq ma titlaq","oss-aion-nothing-outbound.4f98b1412d":"Xejn ma jitlaq mill-perimetru","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Il-bini li għandek f'idejk ma jinbidilx taħtek.","oss-aion-nothing-outbound.07b9a651d1":"Skeda ta' rilaxx tal-fornitur biex issegwi","oss-aion-nothing-outbound.8fa0bea3f8":"L-ebda servizz tagħna mhu fuq it-triq.","oss-aion-nothing-outbound.11449c8bd3":"Dipendenza ta' disponibbiltà biex tirrekordja","oss-aion-nothing-outbound.66506ab77b":"L-ebda mudell ma jissejjaħ.","oss-aion-nothing-outbound.af474ee96b":"Fornitur ta' mudell biex tiġi vvalutat","oss-aion-nothing-outbound.f2250926d2":"Xejn ma jaqbeż il-konfini.","oss-aion-nothing-outbound.e80e5b3403":"Trasferiment transkonfinali biex jiġi ġġustifikat","oss-aion-nothing-outbound.0bd87fb406":"L-ebda proċessur fuq din it-triq.","oss-aion-nothing-outbound.9494490634":"Proċessur biex iżżid","oss-aion-obligation-calendar.366609b500":"marġni, mhux allarm","oss-aion-obligation-calendar.3c8532b3c7":"Ir-regola fin-nofs hija fejn il-fissazzjoni rħisa ma baqgħetx disponibbli.","oss-aion-obligation-calendar.949b1361f5":"Iż-żewġ ċifri huma qari li kulħadd jista' jieħu dalgħodu.","oss-aion-obligation-calendar.7758d9c282":"azzjoni meħtieġa","oss-aion-obligation-calendar.4ebebe0b7c":"-14-il jum","oss-aion-obligation-calendar.6937bf485d":"beda qabel dan ix-xahar","oss-aion-obligation-calendar.37ed878825":"tieqa ta' żamma","oss-aion-obligation-calendar.3974c3ac47":"+4 ijiem","oss-aion-obligation-calendar.aa69fdaab6":"miftuħ, 30 jum permessi","oss-aion-obligation-calendar.c6727ea40c":"rispons tas-suġġett","oss-aion-obligation-calendar.51269d14af":"l-aħħar jum li dan kien għadu xogħol ta' waranofsinhar","oss-aion-obligation-calendar.96a8ebf797":"dati illustrattivi","oss-aion-obligation-calendar.fdcce3f37e":"wieħed għadda mid-data tiegħu","oss-aion-obligation-calendar.11ddafb2cc":"Xahar wieħed ta' obbligi","oss-aion-obligation-calendar.a2620cbc10":"jum","oss-aion-one-contract-six.d3926ca64d":"reġistru wieħed, sett affettwat wieħed","oss-aion-one-contract-six.c4d72c2328":"L-evidenza tagħhom issegwi envelop AION wieħed.","oss-aion-one-contract-six.a7e545052a":"Il-prodotti tal-produttur jibqgħu distinti.","oss-aion-one-contract-six.5cbf78425a":"regola waħda tinbidel, erġa' ċċekkja r-rekords affettwati","oss-aion-one-contract-six.f5c6772ad7":"kju ta' verifikazzjoni mill-ġdid wieħed","oss-aion-one-contract-six.d3516bd6ea":"reġistru wieħed u rekord ta' ħażna","oss-aion-one-contract-six.2ec012da6f":"envelop AION wieħed","oss-aion-one-contract-six.2c653cc8fa":"l-istess seba' produtturi, permezz ta' envelop AION wieħed","oss-aion-one-contract-six.725c682066":"outputs differenti, verifikaturi speċifiċi għall-familja","oss-aion-one-contract-six.cddf74f2cf":"seba' outputs tal-produttur","oss-aion-one-contract-six.f063fe5bcd":"seba' outputs hawn fuq, envelop wieħed hawn taħt","oss-aion-one-contract-six.c34e6d1a39":"seba' produtturi, envelop ta' evidenza wieħed","oss-aion-one-contract-six.910e029098":"illustrattiv","oss-aion-one-contract-six.67bb73569c":"ċertifikat ta' simulazzjoni","oss-aion-one-contract-six.7966a9fa49":"ċertifikat ta' kompilazzjoni","oss-aion-one-contract-six.1111f590cc":"ċertifikat organizzattiv","oss-aion-one-contract-six.293194c28e":"ċertifikat ta' raġunament","oss-aion-one-contract-six.8aa194122c":"rekord ta' prova loġika","oss-aion-one-contract-six.30870de828":"identità tal-mudell, parametri, stat, checkpoints, invarianti u hash tat-trajetorja","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"modulu, inputs, għotjiet ta' kapaċità, tranżizzjonijiet, limiti u output","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"graff tas-sors, trasformazzjonijiet, invarianti u identità tal-artefatt","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"awtorità, politika, approvazzjonijiet, tranżizzjonijiet u irċevuti","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"derivazzjoni ta' restrizzjonijiet u provi tal-solver ritornati","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"prova, mudell, core, xhud jew bound","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Fattibbli, mhux fattibbli jew ottimali","oss-aion-one-contract-six.8f7924f6f5":"Verifikatur tal-solver speċifiku għall-familja","oss-aion-one-contract-six.2e9d2d4990":"Konklużjoni minn restrizzjonijiet iddikjarati","oss-aion-one-contract-six.0e7a123b77":"Verifikatur tar-raġunament Loom","oss-aion-one-contract-six.3c1a0d119e":"Operazzjoni ggvernata mwettqa","oss-aion-one-contract-six.6c2ed5435d":"Verifikatur organizzattiv Nexus","oss-aion-one-contract-six.07b127b70d":"Artefatt kompilat","oss-aion-one-contract-six.4f9018da9e":"Verifikatur tal-kompilazzjoni Kera","oss-aion-one-contract-six.1f42a0b0ce":"Workload eżegwit","oss-aion-one-contract-six.5a3c8f1f84":"Verifikatur tal-eżekuzzjoni Selvedge","oss-aion-one-contract-six.8879cc2e8a":"Trajetorja simulata","oss-aion-one-contract-six.0d72478caf":"Verifikatur tas-simulazzjoni u FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Ġirja FMU mwettqa","oss-aion-one-contract-six.8f5753fba0":"Identità tal-FMU, konfigurazzjoni, passi, avvenimenti, konverġenza u traċċa","oss-aion-one-contract-six.4d64b5bbaf":"Verifikatur tas-simulazzjoni u FMI","oss-aion-one-contract-six.6f99b37c1c":"Talbiet","oss-aion-one-contract-six.4cb3ee8fa2":"Evidenza","oss-aion-one-contract-six.0f3253d8d8":"Verifikatur","oss-aion-one-envelope.3b24a9a880":"tmien oqsma, b'verżjonijiet","oss-aion-one-envelope.a348113c09":"liema\n          verifikatur jaqrah.","oss-aion-one-envelope.08ace6c26e":"qasam wieħed jiddeċiedi","oss-aion-one-envelope.396e2145f9":"Erba' tipi ta' evidenza, ftuħ wieħed, u","oss-aion-one-envelope.dc1a7be459":"mistrieħ fuq it-tieni","oss-aion-one-envelope.ddc01a5859":"pretensjoni ta' trajettorja","oss-aion-one-envelope.7f211a50e2":"sett ta' parametri","oss-aion-one-envelope.8f2aa45103":"identità tal-mudell","oss-aion-one-envelope.23e75e07fb":"magħżul mill-qasam tat-tip ta' ċertifikat, mhux minn min bagħtu","oss-aion-one-envelope.4e4dc30b71":"liema verifikatur jaqrah","oss-aion-one-envelope.c8c687f0ff":"l-istess ftuħ, kull darba","oss-aion-one-envelope.b5a871e570":"munzell ta' irċevuti","oss-aion-one-envelope.f90f47de4d":"sekwenza ta' tranżizzjonijiet","oss-aion-one-envelope.3116f117c0":"tabella ta' pass","oss-aion-one-envelope.134483f4a2":"prova ta' klawżola","oss-aion-one-envelope.93a8ee0c5f":"x'jidħol ġewwa","oss-aion-one-envelope.582a139a7d":"mibgħut skont it-tip","oss-aion-one-envelope.6b9805fe87":"Envelopp waħda, erba' tagħbijiet","oss-aion-one-envelope.3dde401523":"eżekuzzjoni ta' runtime","oss-aion-one-envelope.708563c595":"ed25519, verifikat","oss-aion-one-envelope.f2e0576c5b":"tnejn, imsemmija hawn taħt","oss-aion-one-envelope.f7b7603261":"issiġillat, 41 kB","oss-aion-one-envelope.15aae6195c":"tagħbija ta' ċertifikat","oss-aion-one-envelope.6732222b05":"tip ta' ċertifikat","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"verżjoni tal-kuntratt","oss-aion-one-envelope.b578b9727d":"l-ebda ħlas doppju fil-perjodu 2026-06","oss-aion-one-envelope.a503bc1da2":"miċħud","oss-aion-one-envelope.51c817ab85":"aċċettat","oss-aion-one-envelope.495117c360":"dipendenza","oss-aion-one-envelope.910e029098":"illustrattiv","oss-aion-one-field-apart.e704601d64":"l-assi, mhux kampjun","oss-aion-one-field-apart.5c256bca81":"Ir-riżultat mexa miegħu, u dik hija sejba aktar milli statistika.","oss-aion-one-field-apart.7a1e726c2f":"Żewġ applikazzjonijiet identiċi f'kull qasam pubbliku, b'numru wieħed ta' differenza.","oss-aion-one-field-apart.084f6c9ebe":"kull par li r-regoli jippermettu","oss-aion-one-field-apart.ddaee9368d":"elf każ ittestjat","oss-aion-one-field-apart.4c4ccacd1b":"par li tista' tpoġġi f'fajl","oss-aion-one-field-apart.6fddc6a6d1":"faxxa B,","oss-aion-one-field-apart.dbf68713b1":"l-istess linja, b'pass","oss-aion-one-field-apart.8c6c701170":"il-każ li jfalli","oss-aion-one-field-apart.0f9dcd24f1":"ir-riżultat ma ddurx fuq dan il-qasam","oss-aion-one-field-apart.154b3f8e44":"faxxa B, 3 offerti","oss-aion-one-field-apart.4392f1d89c":"linja waħda, bla pass","oss-aion-one-field-apart.02de2da27e":"il-każ li jżomm","oss-aion-one-field-apart.b7de103af7":"salarju gross, ħieles fuq kull naħa","oss-aion-one-field-apart.c86b5b3346":"marbut fuq iż-żewġ naħat","oss-aion-one-field-apart.54bb687f85":"applikazzjonijiet illustrattivi","oss-aion-one-field-apart.b69108366c":"ir-riżultat jieqaf fil-par","oss-aion-one-field-apart.e79b0df746":"Qasam wieħed 'il bogħod","oss-aion-one-field-apart.e1fef06921":"offerti","oss-aion-one-field-apart.8699f2b04f":"permanenti","oss-aion-one-field-apart.06e3125012":"impjieg","oss-aion-one-field-apart.305fa62f02":"30 sa 39","oss-aion-one-field-apart.c6a0c81b25":"faxxa tal-età","oss-aion-one-field-apart.61a7508ed1":"bażiku","oss-aion-one-field-apart.38a007151a":"prodott","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"reġjun","oss-aion-one-word.95fa084cc9":"waħda minnhom AION tiċċekkja","oss-aion-one-word.ce157273ec":"tlieta minn dawn li temmen","oss-aion-one-word.a04376ab99":"u x'tista' tagħmel biha","oss-aion-one-word.1a5b0d2471":"IL-VOJT","oss-aion-one-word.69dc71b6f9":"B'xiex jasal riżultat","oss-aion-one-word.8d40d2bfcc":"Dikjarazzjonijiet ittajpjati, kull waħda ssemmi regola, transizzjoni jew premessa.","oss-aion-one-word.2f8acfe792":"Ċertifikat","oss-aion-one-word.b04dce1dd0":"Kemm dam biex tkun ċert. Iċ-ċertezza mhijiex il-mistoqsija.","oss-aion-one-word.7eb987f893":"Tul ta' żmien","oss-aion-one-word.8388e9c8ba":"Dak li għamel is-sistema. Mhux għaliex isegwi l-konklużjoni.","oss-aion-one-word.40d0f0d4b5":"Reġistru","oss-aion-one-word.e7597ba59a":"unsat, kompilat, sigur, approvat. M'hemm xejn fih li miegħu ma taqbilx.","oss-aion-one-word.ae976ad8e9":"Kelma waħda","oss-aion-org-cert.dd25bad09c":"u kull waħda tiġi ċċekkjata","oss-aion-org-cert.e8add8f2b8":"organizzazzjoni, rwoli, kompiti u approvazzjonijiet jimlew il-lakuni","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"mill-għan sal-irċevuta","oss-aion-org-cert.0a629276bf":"Tmien oġġetti fil-katina","oss-aion-org-cert.51e6694762":"Dak li fil-fatt sar barra, u dak li rritorna.","oss-aion-org-cert.4f0a23ec14":"Azzjonijiet u rċevuti","oss-aion-org-cert.b249df120c":"Kull konfini li x-xogħol qasam, u dak li ħelisha.","oss-aion-org-cert.5eaad4eb5f":"Bibien imnaddfa","oss-aion-org-cert.aba30ac5b8":"Liema rwol kellu x'jaqsam, fil-mument li l-azzjoni ġiet ippruvata.","oss-aion-org-cert.145ae750ce":"Awtorità riżolta","oss-aion-org-cert.f8a4dc9c6b":"Dak li kien qed jipprova jsir, taħt liema verżjoni tal-politika.","oss-aion-org-cert.63fbd2b7ee":"Għan u politika","oss-aion-pipeline.b07bbe8800":"Qalba propożizzjonali","oss-aion-pipeline.81f811c968":"Tiftix fuq l-iskelletu Boolean immexxi mill-kunflitti li jitgħallem il-klawżoli. Jiddeċiedi, jippropaga, jiltaqa' ma' kunflitt, jitgħallem klawżola, u jerġa' lura. Valuri binarji, interi u b'punt fiss adattiv huma l-bażi tal-proċedura ta' deċiżjoni; l-ebda valur b'punt li jvarja ma jinħażen, jinġabar jew jintuża bħala alternattiva fil-qalba aritmetika.","oss-aion-pipeline.dc0dd5bc07":"deċiżjonijiet u klawżoli mgħallma","oss-aion-pipeline.0c5ad3c30f":"Plugins tat-teorija","oss-aion-pipeline.f3a7990ab0":"Il-qalba tgħaddi assenjazzjoni parzjali lis-saff tat-teorija. Aritmetika, bitvectors, arrays u strings jirraġunaw fid-dominji tagħhom stess u jirritornaw propagazzjonijiet u kunflitti. Input estern b'punt li jvarja jiġi dekodifikat fil-konfini fi binarju jew skala ta' punt fiss iddikjarata qabel ma jingħaqad mal-kontroll. Il-qalba tospita dawn ir-raġunaturi; teoriji temporali u ta' programmi jgħixu fi crates sħab.","oss-aion-pipeline.9d1b00d225":"lemmi tat-teorija u kunflitti","oss-aion-pipeline.fa6a461dcc":"Emittent tal-provi","oss-aion-pipeline.b3ca95c05c":"Kull pass li tieħu l-magna, kull riżoluzzjoni u kull lemma tat-teorija, jiġi rreġistrat mill-emittent tal-provi hekk kif iseħħ. Ir-riżultat huwa derivazzjoni ordnata li kontrollur separat jista' jirriproduċi kontra l-premessi tagħha.","oss-aion-pipeline.17ac98f8af":"derivazzjoni ordnata","oss-aion-pipeline.26d98dc390":"Esportazzjoni tal-format","oss-aion-pipeline.a79251f54d":"Id-derivazzjoni tinkiteb bħala LRAT, DRAT, jew Alethe, jew tinżamm fil-forma intermedja unifikata. LRAT iġorr ħjiel ta' propagazzjoni ta' unità, li huwa dak li jagħmel il-kontroll offline lineari fit-tul tal-prova.","oss-aion-pipeline.8c3cee1cd3":"ċertifikat portabbli","oss-aion-pipeline.77ec79ed26":"deċiżjoni għal ċertifikat","oss-aion-pipeline.c320454a47":"CDCL + teorija + emittent","oss-aion-pipeline.a618b4be8d":"Mistoqsija","oss-aion-pipeline.10de46b3b3":"Ċertifikat","oss-aion-pipeline.62923220ae":"Interi / punt fiss.","oss-aion-pipeline.4961117925":"L-ebda valur b'punt li jvarja ġewwa l-qalba.","oss-aion-pipeline.591118af56":"Katina ta' riżoluzzjoni.","oss-aion-pipeline.39dfacd414":"Kull pass jikkwota l-premessi li jiddependi minnhom, fl-ordni.","oss-aion-pipeline.7fc7b98317":"Kontrollur indipendenti.","oss-aion-pipeline.f0bef425b5":"Iċ-ċertifikat jirriproduċi mingħajr is-solver.","oss-aion-pipeline.a73bc5ed23":"Arkitettura, qalba CDCL, plugins tat-teorija, emittent tal-provi","oss-aion-plain-card.7e190a46ae":"Magna tagħti tweġiba","oss-aion-plain-card.b8941c136d":"Kompjuter jaħdem xi ħaġa għalik. Waħdu, inti trid taċċetta dak li jgħidlek.","oss-aion-plain-card.1232ecf314":"Jikteb ukoll irċevuta","oss-aion-plain-card.af7230bfb9":"AION iġiegħel lill-magna tipprintja irċevuta żgħira ħdejn it-tweġiba. L-irċevuta turi kull pass li ħadet biex tasal hemm.","oss-aion-plain-card.262d1681dd":"Kulħadd jista' jiċċekkja l-irċevuta","oss-aion-plain-card.7d35d2e097":"L-għajnuna tiegħek stess taqra l-irċevuta u tgħid iva, dan jgħodd, jew le, dan huwa żbaljat. M'għandhiex għalfejn tafda l-ewwel magna xejn.","oss-aion-plain-card.e8146bafb5":"AION, fi kliem sempliċi","oss-aion-plain-card.0b081a8ef4":"Irċevuta inkluża","oss-aion-plain-card.a32564404b":"Aħseb f'irċevuta ta' ħlas. Meta tixtri xi ħaġa, tieħu biċċa karta li turi li l-\n          ħanut ħallsek l-ammont it-tajjeb. Tista' turi dik l-irċevuta lil kulħadd, u huma jistgħu\n          jgħodduha huma stess.","oss-aion-plain-card.d5d9b99b9c":"AION jagħmel l-istess ħaġa għal kompjuter.","oss-aion-plain-card.2cc68d964c":"Meta magna tagħti\n          tweġiba, AION jagħtik irċevuta li turi li t-tweġiba hija t-tajba, u kulħadd jista' jiċċekkjaha.","oss-aion-plain-card.374c644917":"Qatt ma jkollok biss tafda l-magna. L-irċevuta tagħmel il-prova.","oss-aion-plain-refusal.7d7fc8edd4":"l-istess spjegazzjoni tmur għalik u għal kull min jirrevediha, għax hija spjegazzjoni\n            waħda","oss-aion-plain-refusal.40c2416b25":"każ li tista' taqrah, mhux salib li ma tistax","oss-aion-plain-refusal.f795b42ea6":"L-ispazju fuq din il-karta jerġa' lura għall-ammont sħiħ tiegħu fl-1 ta' Awwissu, fi żmien jumejn.","oss-aion-plain-refusal.3ae2a82129":"meta jiġri hekk","oss-aion-plain-refusal.a6012020ae":"Jew 150 ewro aktar spazju fuq il-karta, jew ħlas ta' 90 ewro jew inqas.","oss-aion-plain-refusal.74b2c9301b":"x'jibdilha","oss-aion-plain-refusal.e88b1876e6":"90 ewro ma jkoprix 240 ewro, għalhekk il-ħlas u l-ispazju li jibqa' ma jistgħux jibqgħu t-tnejn.","oss-aion-plain-refusal.d649363397":"liema parti tkissirha","oss-aion-plain-refusal.ec7a8f0a8d":"Il-ħlas kien ta' 240 ewro. L-ispazju li kien fadal fuq il-karta llum kien ta' 90 ewro.","oss-aion-plain-refusal.fcd45ae097":"is-sitwazzjoni tiegħek","oss-aion-plain-refusal.e51b51ac5a":"Ħlas jgħaddi biss jekk l-ispazju li jibqa' fuq il-karta llum ikoprih.","oss-aion-plain-refusal.93823841cb":"dak li tgħid ir-regola","oss-aion-plain-refusal.9bc7984374":"Għaliex ma għaddiex","oss-aion-plain-refusal.549840f998":"Meta tinkiser regola, AION jikteb is-sitwazzjoni li kisritha, f'sentenzi\n            ordinarji bin-numri fihom. Il-ħlas kien daqshekk, l-ispazju li kien fadal fuq\n            il-karta llum kien inqas minn hekk, u flimkien dawn iż-żewġ fatti jiksru r-regola.\n            Tista' taqraha, ma taqbilx magħha b'mod preċiż, jew tbiddel l-unika ħaġa li trid tinbidel.\n            Salib f'kaxxa ma jagħtik xejn minn dan, u mhuwiex iqsar, biss aktar vojt.","oss-aion-plain-refusal.3b50831d8a":"Deċiżjoni awtomatika li tirrifjutak hija agħar minn waħda li għamel persuna, għax\n            ġeneralment m'hemm xejn x'tistaqsi. Iċ-ċaħda tasal lesta. Dak li tieħu huwa r-riżultat\n            u, jekk ikollok xorti, numru ta' referenza, u t-triq għal spjegazzjoni vera hija\n            ilment li jieħu ġimgħat u jasal għand xi ħadd li lanqas kien involut.","oss-aion-plain-refusal.ada63e5c2f":"Każ maħdum huwa.","oss-aion-plain-refusal.462f7e9213":"\"Mhux permess\" mhuwiex raġuni.","oss-aion-plain-refusal.5abdfa9cd6":"Id-differenza","oss-aion-plain-refusal.68c46e84d7":"sempliċi","oss-aion-reasoning-cert.0f1fb3d007":"u kull oġġett jiġi ċċekkjat","oss-aion-reasoning-cert.98ec75a261":"il-limiti u t-talba finali jlestu s-sebgħa","oss-aion-reasoning-cert.433b925481":"Dak li ġie eskluż, u l-premessi li eskludewh.","oss-aion-reasoning-cert.13382efd7c":"Kontradizzjonijiet","oss-aion-reasoning-cert.e856a27527":"Is-subproblema li tħarġet, u l-prova li rritornat.","oss-aion-reasoning-cert.92324f5363":"Ċertifikati tas-solver","oss-aion-reasoning-cert.fe451714e4":"Kull waħda msemmija, fl-ordni li ġiet applikata.","oss-aion-reasoning-cert.e0d40a5309":"Applikazzjonijiet tar-regoli","oss-aion-reasoning-cert.e0753c6513":"Dak li kien fis-seħħ, f'liema verżjoni, meta ġie esegwit ix-xogħol.","oss-aion-reasoning-cert.b9366c0dbf":"Restrizzjonijiet attivi","oss-aion-reasoning-cert.a04ed61a81":"is-solver","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"seba' oġġetti","oss-aion-reasoning-cert.eb64d71581":"X'jġorr ċertifikat ta' raġunament","oss-aion-reasoning-chain.126806353c":"iddikjarat, imbagħad iċċekkjat","oss-aion-reasoning-chain.751e90e830":"Kull waħda minnhom hija artefatt li r-raġunament ħalla warajh, u kull waħda tinqara.","oss-aion-reasoning-chain.bc96941170":"Erba' restrizzjonijiet, żewġ applikazzjonijiet ta' regoli, vjaġġ wieħed tas-solver u kontradizzjoni waħda.","oss-aion-reasoning-chain.57fa7b904f":"Dak li jiġi ċċekkjat hawnhekk huwa d-derivazzjoni li s-sistema ddikjarat, oġġett b'oġġett.","oss-aion-reasoning-chain.e0aa3695ac":"core 01 02 04, u 03 mhux fih","oss-aion-reasoning-chain.e3338dab26":"ħlas doppju eskluż","oss-aion-reasoning-chain.a43e177c4c":"rifużjoni 04 tirrevedi","oss-aion-reasoning-chain.becc703d80":"ħlas magħqud","oss-aion-reasoning-chain.398df239b3":"minn 01 u 02","oss-aion-reasoning-chain.373c5eb4cc":"aqra pass pass, jagħlaq","oss-aion-reasoning-chain.45f358826b":"ritornat mill-prover, f'Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvector u ugwaljanza, xejn ieħor ma jaqsam","oss-aion-reasoning-chain.34fcd5c8c7":"subproblema, issiġillata","oss-aion-reasoning-chain.8c7f764922":"fuq għadd ta' retries, minn 02 u 03","oss-aion-reasoning-chain.7c960fefa4":"tlieta mneħħija fil-core, waħda baqgħet fejn kienet","oss-aion-reasoning-chain.eeacd6e80f":"restrizzjonijiet attivi, bil-kliem li l-persuna responsabbli kitbithom","oss-aion-reasoning-chain.0ee0bb12eb":"Din il-konfigurazzjoni ma tistax tipproduċi ħlas doppju fi ħdan perjodu ta' kontijiet wieħed.","oss-aion-reasoning-chain.c0644670d0":"il-pretensjoni li Loom jasserixxi","oss-aion-reasoning-chain.9616861141":"pretensjoni illustrattiva u verżjonijiet","oss-aion-reasoning-chain.e4f7c8c782":"core isemmi tlieta, jikkanċella waħda","oss-aion-reasoning-chain.43c7dffedb":"Konklużjoni waħda, miftuħa","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"minn 8 u 9","oss-aion-reasoning-chain.3d26486c4c":"minn 8","oss-aion-reasoning-chain.5a6d9bdd37":"minn 3 u 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Rifużjoni tirrevedi l-ħlas li ssemmi.","oss-aion-reasoning-chain.4c449f834c":"Perjodu ta' kontijiet jagħlaq f'nofsillejl tal-aħħar jum.","oss-aion-reasoning-chain.a663638447":"Retry qatt ma jqajjem ħlas ieħor.","oss-aion-reasoning-chain.0d43228516":"Ħlas jitqajjem darba biss għal kull kunsinna kompluta.","oss-aion-reassure.38a3bd59d5":"Il-punt huwa sempliċi: qatt ma tieħu kelma ta' magna bħala fatt. Żomm raġuni li tista' tiġi ttestjata minn kontrollur ieħor.","oss-aion-reassure.0ccc7397a4":"Le. Ir-riċevuta tista' tiġi ċċekkjata eżatt fejn int, mingħajr ma tintbagħat xejn fuq l-internet.","oss-aion-reassure.5bea629f3e":"It-tweġiba tiegħi tintbagħat xi mkien?","oss-aion-reassure.af397dc934":"Hija mibnija fl-Ewropa. Kontrollur separat, mhux il-magna li pproduċiet it-tweġiba, jivverifika kull riċevuta.","oss-aion-reassure.7de6360d68":"Minn fejn tiġi?","oss-aion-reassure.a93d9edbec":"Le. Int ma tibni xejn minn dan lilek innifsek. Il-ħanut, l-isptar, jew l-uffiċċju jużah għalik. Int biss tikseb tweġiba aktar ċara.","oss-aion-reassure.39af3a44b7":"Irrid inkun għaqli bil-kompjuters?","oss-aion-reassure.bdbcd6057e":"Iva. Ir-riċevuta tista' tiġi ċċekkjata mill-ġdid mingħajr il-mudell oriġinali, is-sessjoni, il-kont, jew il-konnessjoni tal-internet.","oss-aion-reassure.aa1b0d7005":"Tista' tiġi ċċekkjata aktar tard?","oss-aion-receipt.36889df54f":"Dan qatt ma tmissu int. Meta ħanut jew uffiċċju jużah għalik, din hija s-slip\n          li jistgħu jagħtuk.","oss-aion-receipt.46fbbfb5be":"Kulħadd jista' jaqrah u jiċċekkja li jkun jaqbel.","oss-aion-receipt.9c258dd430":"u trid temmenha. Bl-AION il-\n            magna tagħtik ukoll is-slip żgħira fuq ix-xellug. Turi l-mistoqsija, il-passi, u\n            t-tweġiba.","oss-aion-receipt.013700f8eb":"Magna normali tgħid biss","oss-aion-receipt.12df5bb228":"Tiegħek biex iżżomm","oss-aion-receipt.7b8544fad0":"Jirriżulta tajjeb","oss-aion-receipt.def2581739":"Irċevuta tat-tweġiba","oss-aion-receipt.6e17da21e4":"Eżempju ta' rċevuta tat-tweġiba","oss-aion-receipt.f2688d32ea":"Erġa' staqsi u tieħu l-istess tweġiba u l-istess slip, fuq kwalunkwe kompjuter.","oss-aion-receipt.2379231efe":"L-istess kull darba","oss-aion-receipt.a4b884c0e4":"L-għajnuna tiegħek stess tiċċekkja s-slip eżatt fejn int, mingħajr ma jintbagħat xejn.","oss-aion-receipt.930888ee28":"L-ebda internet","oss-aion-receipt.7a019cc1d2":"Ir-raġuni hija fuq is-slip, mhux moħbija f'magna. Tista' żżommha jew turiha.","oss-aion-receipt.47b716baec":"Miktub","oss-aion-receipt.92ed516e5b":"Iva, u hawn għaliex.","oss-aion-receipt.7011b1a621":"It-tweġiba","oss-aion-receipt.8ab9465666":"Il-każ tiegħek tqabbel miegħu.","oss-aion-receipt.16bb8dfc44":"Pass tnejn","oss-aion-receipt.d3ca88b9f3":"Ir-regola nqrat kollha.","oss-aion-receipt.e97cc54395":"Pass wieħed","oss-aion-receipt.afd2793ce0":"Jien intitolat għal din ir-rifużjoni?","oss-aion-receipt.d79cce547d":"Il-mistoqsija","oss-aion-recheck-list.09d5defeae":"żewġ ringieli, żewġ ismijiet","oss-aion-recheck-list.fd3e1afd0e":"jew, ħafna iktar spiss, ta' xejn xejn.","oss-aion-recheck-list.459f160ffa":"Mingħajr il-verżjoni wara kull ringiela, l-istess avviż iwassal għal eżami mill-ġdid ta'\n          kollox,","oss-aion-recheck-list.cade8a80df":"il-lista, u min iżommha","oss-aion-recheck-list.6f13975269":"għadu kompatibbli","oss-aion-recheck-list.48f8969999":"jeħtieġ qari mill-ġdid","oss-aion-recheck-list.af0f44d357":", mibdul fi","oss-aion-recheck-list.4202e0844e":"Ir-regola tal-limitu ta' ottimalità tinqara b'mod iktar strett. Limitu ddikjarat eżattament fil-limitu\n              m'għadux aċċettat bħala taħtu.","oss-aion-recheck-list.1c26bb5963":"maħruġ 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Checker v7.0","oss-aion-recheck-list.9ffcf8f72b":"entrati illustrattivi","oss-aion-recheck-list.dc490c03ae":"tnejn minn ħamsa mmarkati","oss-aion-recheck-list.7316018edf":"Ir-rekords affettwati","oss-aion-recheck-list.2237af7cd3":"ir-regola tal-limitu ta' ottimalità","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Rotot ottimali, depot fit-tramuntana","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Bini tal-firmware, gateway 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Evalwazzjoni tal-kunsens, kampanja 44","oss-aion-recheck-list.3c54a1df45":"fid-dar","oss-aion-recheck-list.b8d251e8cd":"Ġirja tal-ipprezzar bil-lott","oss-aion-recheck-list.dce56394a1":"Pjan tar-rotazzjoni, ġimgħa 12","oss-aion-recheck-list.48a3661d84":"status","oss-aion-recheck-list.29e5b9a8e6":"checker","oss-aion-recheck-list.51c817ab85":"aċċettat","oss-aion-recheck-list.e2979e7595":"fornitur","oss-aion-recheck-list.335ce16b3f":"suġġett","oss-aion-recheck-list.796a88413e":"J. Okonkwo, operazzjonijiet","oss-aion-recheck-list.90916dd844":"Iċċekkja mill-ġdid, imbagħad ikkonferma l-limitu ddikjarat mal-fornitur.","oss-aion-recheck-list.00e67572db":"M. de Vries, protezzjoni tad-data","oss-aion-recheck-list.e4faeae968":"Iċċekkja mill-ġdid iċ-ċertifikat maħżun kontra v7.0.","oss-aion-record-fields.8580937ae7":"kull waħda tipproduċi s-sett affettwat tagħha stess","oss-aion-record-fields.632f62dd8b":"skema ta' ċertifikat tlesti s-sebgħa","oss-aion-record-fields.7039b2f0bd":"fejn hi issa","oss-aion-record-fields.74b489c3d1":"fejn kienet","oss-aion-record-fields.5d5dc3b7c3":"DURABBLI","oss-aion-record-fields.c2a1a83804":"u mhux biss regoli ta' prova","oss-aion-record-fields.12b83ffb63":"X'jista' jinbidel taħt","oss-aion-record-fields.91b3cb991a":"verżjoni aktar ġdida tal-mudell","oss-aion-record-fields.e1ab670f61":"Kuntratt ta' mudell jew simulazzjoni","oss-aion-record-fields.da15b4cbb5":"it-talba stess imxiet","oss-aion-record-fields.26e4976c38":"Kuntratt ta' kompilatur jew runtime","oss-aion-record-fields.cb2c2e30b7":"approvat taħt ieħor","oss-aion-record-fields.43e275dea3":"Politika","oss-aion-record-fields.521a7a8570":"inqara b'mod differenti issa","oss-aion-record-fields.58fd9f572c":"Regola ta' kontrollur","oss-aion-refusal-fields.432aa8565f":"referenza li xi ħadd jista' jsegwi","oss-aion-refusal-fields.36a85f9074":"mhux salib aħmar","oss-aion-refusal-fields.fe71871083":"AVVIŻ","oss-aion-refusal-fields.4f84be92c8":"sabiex xi ħadd ikun jista' jaġixxi fuqha","oss-aion-refusal-fields.fa31a3ca39":"X'jinkludi rifjut","oss-aion-refusal-fields.5647a1c020":"iddeċiedi ta' min hija s-sejba","oss-aion-refusal-fields.11c0add347":"Difett fil-prova, jew regola li ma nġorrux. Mhux l-istess.","oss-aion-refusal-fields.a74aa40f65":"It-tip","oss-aion-refusal-fields.d3144a7994":"ara dak li ma kienx hemm","oss-aion-refusal-fields.060958d8fd":"Dak li kien nieqes jew ħażin meta reġa' ġie maħdum.","oss-aion-refusal-fields.a7dc07c061":"Ir-raġuni","oss-aion-refusal-fields.3b21710b2e":"iċċekkja x'kellu jagħmel","oss-aion-refusal-fields.f80b017fdb":"Dak li l-pass kien jgħid li qed jagħmel.","oss-aion-refusal-fields.0056e788fc":"Ir-regola","oss-aion-refusal-fields.89abf35df5":"iftaħ f'dik il-linja","oss-aion-refusal-fields.3dac51b71a":"Liema pass, bin-numru, f'liema fajl.","oss-aion-refusal-fields.2fb8438f32":"Il-post","oss-aion-reviewable.e0cb1b89aa":"mhux biss l-awtur","oss-aion-reviewable.f29c4ff9dd":"is-sid jirrevediha","oss-aion-reviewable.c6465865b0":"is-sentenza tiegħek","oss-aion-reviewable.ed6912ad70":"REVIŻJONI","oss-aion-reviewable.5867cc6bd5":"mingħajr ma titgħallem in-notazzjoni","oss-aion-reviewable.8f8dec6da0":"Dak li jara min jirrevedi","oss-aion-reviewable.da8643122f":"Isem, data, u l-verżjoni tas-sentenza kkonfermata.","oss-aion-reviewable.7c92afb7f9":"Konferma ffirmata","oss-aion-reviewable.340e6b4675":"Reviżjoni ripetuta taqra l-istess, għax xejn ma ġie kampjunat minn mudell.","oss-aion-reviewable.b08be2b959":"L-istess kull darba","oss-aion-reviewable.d3a2628a1c":"Kull kwantità msemmija, bit-tip ta' valur li jżomm.","oss-aion-reviewable.2587914ff8":"Fuq xiex taħdem","oss-aion-reviewable.f0a2aa51a4":"Sentenza waħda li tgħid dak li jikkodifika l-kundizzjoni kollha.","oss-aion-reviewable.5a47a1dcaf":"Qari sempliċi","oss-aion-reviewable.aee2d461c7":"Mhux mibdula, fil-quċċata, kif kitbuhom.","oss-aion-reviewable.7488358db7":"Is-sentenza tagħhom stess","oss-aion-risk-ledger.1a0f2538e1":"Ħames espożizzjonijiet operattivi mibdula b'ċertifikat wieħed li verifikatur ieħor jista' jivverifika.","oss-aion-risk-ledger.4b32d8f574":"Ma' AION","oss-aion-risk-ledger.2e34d48ba3":"Il-mod tas-soltu","oss-aion-risk-ledger.d1d7499182":"IMQABBLA MA' XULXIN","oss-aion-risk-ledger.02c7234156":"Irrepeti r-raġunament offline u kkonfermah int stess.","oss-aion-risk-ledger.b5058e1c76":"Ħu l-kelma tal-fornitur li t-tweġiba kienet soda.","oss-aion-risk-ledger.d2e183faa1":"Kemm għandek tafdaha","oss-aion-risk-ledger.96f0603563":"Iċ-ċertifikat jiċċekkja mingħajr ebda minnhom.","oss-aion-risk-ledger.04312971f3":"Il-mudell oriġinali, is-sessjoni tas-solver, u s-servizz iridu jibqgħu disponibbli.","oss-aion-risk-ledger.2df1215b19":"Minn xiex jiddependi l-verifikar","oss-aion-risk-ledger.8ddd34c358":"Jaħdem fuq il-ħardwer tiegħek, f'ġuriżdizzjoni li tapprova.","oss-aion-risk-ledger.c3fe4a906f":"Id-deċiżjonijiet huma spjegati fuq servers li ma tikkontrollax.","oss-aion-risk-ledger.242ebe0c39":"Fejn joqgħod id-dejta","oss-aion-risk-ledger.75eb05728b":"Formati standard ta' prova jibqgħu verifikabbli b'mod indipendenti.","oss-aion-risk-ledger.46d3f9eccd":"L-ispjegazzjoni tisparixxi mas-servizz oriġinali.","oss-aion-risk-ledger.8ea6189e84":"Meta jinbidel ir-runtime","oss-aion-risk-ledger.21ff58d6a7":"Tagħti ċertifikat li l-awditur jista' jiċċekkja hu stess.","oss-aion-risk-ledger.934929b924":"Tibgħat il-log files u tittama li jinqraw bħala evidenza.","oss-aion-risk-ledger.8632e0b3b5":"Meta l-awditur jistaqsi","oss-aion-rule-refusal.c354dff2de":"l-ebda verdett wara 15","oss-aion-rule-refusal.0fc2b67ff7":"fl-ewwel waħda pass ifalli","oss-aion-rule-refusal.d7cb461a4b":"Erba' testijiet f'ordni fissa, u l-qari jieqaf","oss-aion-rule-refusal.ad9deadf27":"identifikatur ta' klawżola wieħed użat għal żewġ klawżoli","oss-aion-rule-refusal.ffc05ba511":"pivot iddikjarat fuq litterali li l-klawżola ma fihx","oss-aion-rule-refusal.5af32fb7c4":"ħjiel li jikkwota l-pass li suppost jiġġustifika","oss-aion-rule-refusal.fbf5522f0e":"imwaħħal mis-suite ostili","oss-aion-rule-refusal.d3b27b8f89":"ma għalaqx","oss-aion-rule-refusal.0f04e9ee60":"litterali għadhom wieqfa fuq l-aħħar klawżola","oss-aion-rule-refusal.90f9cbf1cb":"tmiem il-fajl","oss-aion-rule-refusal.196a925493":"indiċi tal-premessa, 1 sa 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, regola b'regola","oss-aion-rule-refusal.b14e7fc954":"waqaf f'15","oss-aion-rule-refusal.ce0ed8058b":"Prova waħda, moqrija minn fuq","oss-aion-rule-refusal.af0cbd46a2":"ikkwotat barra l-ordni","oss-aion-rule-refusal.165a394589":"minn 61 u 20","oss-aion-rule-refusal.dd39474e4f":"premessa assenti","oss-aion-rule-refusal.6edfd31763":"minn 88","oss-aion-rule-refusal.d18b697772":"jikkwota lilu nnifsu","oss-aion-rule-refusal.5c7bf112ac":"minn 31 u 18","oss-aion-rule-refusal.64b0295aa0":"regola mhux appoġġata","oss-aion-rule-refusal.5e2428fc82":"minn 14","oss-aion-rule-refusal.a7e8697338":"minn 12 u 13","oss-aion-rule-refusal.ba08b53848":"minn 4","oss-aion-rule-refusal.2a1be725ca":"riżoluzzjoni 12","oss-aion-rule-refusal.54a0121f57":"minn 4 u 9","oss-aion-rule-refusal.8ffe1b4177":"regola magħrufa","oss-aion-rule-refusal.ebed34abd2":"taħt tiegħu stess","oss-aion-rule-refusal.d182b65e15":"premessa preżenti","oss-aion-rule-refusal.a503bc1da2":"irrifjuta","oss-aion-rule-refusal.3a21295d81":"aħżen","oss-aion-same-except-one.279e6c9e96":"wieħed jitħaddem hawn taħt","oss-aion-same-except-one.87ca0e7356":"il-limiti, id-derivazzjonijiet u l-provenjenza tal-mudell itemmu s-sebgħa","oss-aion-same-except-one.72b459f8cc":"PROPRIETAJIET","oss-aion-same-except-one.25119f6e70":"u l-familja li ġġorr kull waħda","oss-aion-same-except-one.ed6552be04":"Dikjarazzjonijiet li tista' tagħmel","oss-aion-same-except-one.633255fe41":"Din it-trajettorja rrispettat dawn l-invarjanti.","oss-aion-same-except-one.6b403d2a35":"Din l-azzjoni kellha l-approvazzjoni meħtieġa.","oss-aion-same-except-one.ac5d8ada02":"Dan il-piż tax-xogħol dam jaħdem taħt dawn il-kapaċitajiet.","oss-aion-same-except-one.5e8efc64f2":"Dan il-binarju jikkorrispondi ma' dan il-graff tas-sors.","oss-aion-same-except-one.81c0e8e986":"simulazzjoni","oss-aion-same-except-one.92fe1455a7":"organizzattiv","oss-aion-same-except-one.1e21474598":"eżekuzzjoni","oss-aion-same-except-one.023646ce84":"kompilazzjoni","oss-aion-same-rule-parts.3326352b94":"dawn it-tlieta jgħixu aktar minnu","oss-aion-same-rule-parts.b33174d833":"it-tweġiba hija linja waħda","oss-aion-same-rule-parts.490fbefa4b":"agħti l-istess xogħol darbtejn u l-iċċekkjar joħroġ l-istess","oss-aion-same-rule-parts.ce173fc797":"Miżmum għal kontroll ieħor.","oss-aion-same-rule-parts.60c6fa6f09":"it-tweġiba","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"wara li tasal it-tweġiba","oss-aion-same-rule-parts.3fea5c7183":"Tliet affarijiet li żżomm","oss-aion-same-rule-parts.f460809c86":"Meta ġie ċċekkjat ix-xogħol, u x'ċekkjah.","oss-aion-same-rule-parts.1f26226511":"ir-reġistru","oss-aion-same-rule-parts.f3488c72aa":"Id-data","oss-aion-same-rule-parts.7e9a6ac9d7":"Ir-regola kkwotata lura, bis-sitwazzjoni tiegħek ġewwa fiha.","oss-aion-same-rule-parts.fa1f96a2cc":"stampat mat-tweġiba","oss-aion-same-rule-parts.a7dc07c061":"Ir-raġuni","oss-aion-same-rule-parts.51240e4e03":"Kliem ordinarju, miżmum, biex tkun tista' taqrah lil kulħadd.","oss-aion-same-rule-parts.f901c543a0":"kif kitbu xi ħadd","oss-aion-same-rule-parts.0056e788fc":"Ir-regola","oss-aion-same-rule-thrice.8716c9d2d1":"kwotabbli mit-tlieta kollha","oss-aion-same-rule-thrice.56daaad027":"Ħadd ma interpreta l-każ ta’ ħadd fuq il-post.","oss-aion-same-rule-thrice.fe8d9a24bc":"Tliet ismijiet, tliet dati, raġuni waħda kelma b’kelma.","oss-aion-same-rule-thrice.2d4e5d243a":"l-istess kliem fl-ittri kollha tlieta","oss-aion-same-rule-thrice.36c5f05f0e":"It-talba tiegħi żammet għax kwalunkwe talba minn kont li qatt kien overdrawn\n              tinżamm għal kontroll ieħor. Dan kont qed tfisser li tagħmel?","oss-aion-same-rule-thrice.47b69ccfd4":"dak li jista’ jikteb kull wieħed mit-tlieta","oss-aion-same-rule-thrice.5441126254":"ir-raġuni, biċ-ċifri tiegħek","oss-aion-same-rule-thrice.e026ce35f8":"ir-regola, bil-kliem","oss-aion-same-rule-thrice.c6b6fdf0c8":"It-talba tiegħek tinżamm","oss-aion-same-rule-thrice.4af8028f5b":"Dak jaqbad lil kulħadd li darba kien fil-qasir għal ġimgħa.","oss-aion-same-rule-thrice.43d7f6edd9":"Kwalunkwe talba minn kont li qatt kien overdrawn tinżamm għal kontroll ieħor.","oss-aion-same-rule-thrice.d5dff79fd0":"ir-regola, kif kitibha l-persuna responsabbli","oss-aion-same-rule-thrice.660cf69152":"l-istess raġuni, tliet darbiet","oss-aion-same-rule-thrice.2aa5baf4fa":"regola waħda, tliet persuni","oss-aion-same-rule-thrice.2969c22def":"overdrawn għal ġurnata waħda f’Awwissu 2024","oss-aion-same-rule-thrice.db55a373e5":"2 ta’ Lulju","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"overdrawn għal jumejn f’Novembru 2021","oss-aion-same-rule-thrice.8a343dea89":"19 ta’ Ġunju","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"overdrawn għal sitt ijiem f’Marzu 2023","oss-aion-same-rule-thrice.e46936527e":"4 ta’ Ġunju","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Il-kont tiegħek kien overdrawn f’xi żmien, għalhekk din it-talba tinżamm għal kontroll ieħor.","oss-aion-same-rule-thrice.69449f994d":"ref","oss-aion-same-rule-thrice.910e029098":"illustrattiv","oss-aion-second-reader.e2a4a212d5":"li tipponta lejn il-linja hija l-parti utli","oss-aion-second-reader.b31aece7ea":"il-ftehim huwa faċli","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"dak li tagħmel it-tieni qari","oss-aion-second-reader.d160172930":"Inżiduh mill-ġdid","oss-aion-second-reader.0bd3d42b28":"Programm differenti, mingħajr raġuni biex tippreferi t-tweġiba.","oss-aion-second-reader.2c814bb70c":"Mhux l-ewwel magna","oss-aion-second-reader.b792afd627":"U jgħid liema pass, hekk li jkun hemm xi ħaġa x'tipponta lejha.","oss-aion-second-reader.4a195096b0":"Jieqaf fl-ewwel ħtija","oss-aion-second-reader.58f56fa2c3":"Jaħdemha mill-ġdid minflok jafda li saret.","oss-aion-second-reader.5abf0b9df4":"Jagħmel kull pass","oss-aion-second-reader.de8f44bd3b":"Mhux it-tweġiba. Il-passi li kellhom iwasslu għaliha.","oss-aion-second-reader.0a461499ae":"Jaqra l-ħidma","oss-aion-second-sum.2517e33359":"post, mhux verdett","oss-aion-second-sum.1f31706279":"Dak li kellek bżonn kien il-linja, u hemm hi.","oss-aion-second-sum.1b06fb1625":"Iż-żewġ kolonni jilħqu total, u waħda minnhom hi ħażina.","oss-aion-second-sum.715f45331b":"Il-qari jieqaf f'ħamsa minflok ikompli għal sitta, għax kontroll li jaqbeż\n          pass li ma jistax joħroġ mhux kontroll.","oss-aion-second-sum.be51277bfd":"mhux milħuq","oss-aion-second-sum.a90d766915":"dan il-pass ma joħroġx","oss-aion-second-sum.b214ae4ce2":"l-istess moviment, fuq magna li kitbet","oss-aion-second-sum.e4cddfd229":"Kulħadd jista' jżid il-kolonna għalih u jasal fuq l-istess linja. Dik\n              hi l-idea kollha, mġarrba għal ħaddiema li ħadd ma jista' jara.","oss-aion-second-sum.a72b4463ba":"Iż-żewġ kolonni jaqblu għal tliet linji. Iċ-ċirku jdur madwar il-linja fejn\n              jinfirdu, mhux madwar it-total, għax it-total qatt ma kien il-ħaġa utli biex\n              wieħed jargumenta dwarha.","oss-aion-second-sum.136fc39d05":"Għaxar ċenteżmi, u hu fit-tuffieħ.","oss-aion-second-sum.1104f28cf8":"biex tħallas","oss-aion-second-sum.51111a2b99":"il-ħanut, it-tlieta","oss-aion-second-sum.e9594ccf76":"jinfirdu fit-tuffieħ","oss-aion-second-sum.bb470fd83f":"l-istess kolonna, miżjuda darbtejn","oss-aion-second-sum.0220a293b9":"it-talba titħallas","oss-aion-second-sum.f7e5a74a1f":"dak li jibqa' jitħallas jiżdied","oss-aion-second-sum.597b954c29":"l-eċċess tneħħa","oss-aion-second-sum.edccd745a8":"l-ammont huwa taħt il-limitu għal dik it-tiswija","oss-aion-second-sum.709d0bb348":"it-tiswija hi fuq il-lista koperta","oss-aion-second-sum.1396b1459a":"il-kont kien miftuħ fil-jum tat-talba","oss-aion-second-sum.d2fc512490":"lapes","oss-aion-second-sum.1c8f15dab7":"stampat","oss-aion-second-sum.910e029098":"illustrattiv","oss-aion-second-sum.f6c1ab8181":"sapun","oss-aion-second-sum.bcef7a0462":"ġobon","oss-aion-second-sum.76c2436b59":"tuffieħ","oss-aion-second-sum.44213f9f4d":"kafè","oss-aion-second-sum.6ff291d817":"ħobż","oss-aion-second-sum.cf5dbf0ec5":"ħalib","oss-aion-sentence-returns.e9a72f31df":"kliemek, iż-żewġt itruf","oss-aion-sentence-returns.254545287c":"Tmien xhur wara, barrani qed jaqrah, mhux sommarju tiegħu.","oss-aion-sentence-returns.f0e71316de":"Persuna waħda kitbet sentenza u poġġietha 'l bogħod.","oss-aion-sentence-returns.4c51f16cb4":"Xejn bejn dawn iż-żewġ qari ma tgħallem, biddel fehmtu, jew kellu idea aħjar.","oss-aion-sentence-returns.06152533dc":"tieni ħlas kontra ordni waħda fi ħdan xahar tal-kontijiet mhux permess","oss-aion-sentence-returns.fb3e6817f1":"mill-qari sena wara","oss-aion-sentence-returns.32af205ca5":"mill-qari f'Marzu","oss-aion-sentence-returns.0b1eb314b5":"l-istess sentenza, maqruqa mill-ġdid sena wara","oss-aion-sentence-returns.547a49e160":"l-ordni 44-8127 ġiet iċċarġjata fit-tielet ta' Novembru u għal darb'oħra fid-dsatax","oss-aion-sentence-returns.d3141af6d8":"dak li ġie fiha","oss-aion-sentence-returns.a2d40412ef":"tieni ħlas kontra ordni waħda fi ħdan xahar tal-kontijiet","oss-aion-sentence-returns.0ee2593cc5":"il-parti li ma ntlaħqitx","oss-aion-sentence-returns.43015fadc4":"Ħadd m'għandu jitħallas darbtejn għall-istess ordni fl-istess xahar.","oss-aion-sentence-returns.2ce9eb0823":"ir-regola, bil-kliem li kienet miktuba bih","oss-aion-sentence-returns.5c4173fbcf":"9 ta' Novembru, mibgħuta lill-klijent","oss-aion-sentence-returns.96ec36f99b":"Ħlas twaqqaf","oss-aion-sentence-returns.14da1cff14":"tmien xhur","oss-aion-sentence-returns.b59f623fe2":"maqruq bħala","oss-aion-sentence-returns.6a250da793":"14 ta' Marzu, mill-persuna li għandha l-kontijiet","oss-aion-sentence-returns.8766d15f20":"l-istess kliem fiż-żewġt itruf","oss-aion-sentence-returns.33e656aa3a":"sentenza waħda, tmien xhur 'il bogħod","oss-aion-sentence-returns.6180960e2c":"miktub","oss-aion-sentence-returns.910e029098":"illustrattiv","oss-aion-side-by-side-rule.1462946510":"ġerarkija maqluba","oss-aion-side-by-side-rule.dc685ee970":"hija l-iżgħar waħda, fil-qiegħ.","oss-aion-side-by-side-rule.37ba9a07a7":"L-unika linja hawn li ħadd m'għandu bżonn ikun jista' jaqra","oss-aion-side-by-side-rule.24205c8d5e":"Il-korp ta' din il-folja huwa dak li ntalab.","oss-aion-side-by-side-rule.136ec48046":"verżjoni tas-sentenza 3","oss-aion-side-by-side-rule.5714c84617":"9 ta' April 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, operazzjonijiet ta' kontijiet","oss-aion-side-by-side-rule.4c1493cdf2":"il-kundizzjoni kif inhi maħżuna","oss-aion-side-by-side-rule.5050bceb24":"dak li jaħdem fuqu","oss-aion-side-by-side-rule.70a7ded724":"Ħlas ieħor kontra referenza li diġà ġiet iċċarġjata fil-perjodu tal-kontijiet huwa\n          rrifjutat.","oss-aion-side-by-side-rule.decbbbcbea":"L-ebda klijent ma jista' jitħallas darbtejn għall-istess referenza f'perjodu ta' kontijiet wieħed.","oss-aion-side-by-side-rule.41f5b5d765":"l-ebda notazzjoni meħtieġa","oss-aion-side-by-side-rule.fd9d8f9d79":"ikkonfermat mis-sid","oss-aion-side-by-side-rule.dbd8504696":"folja ta' reviżjoni","oss-aion-side-by-side-rule.b714510ded":"kemm-il darba din ir-referenza diġà ġiet iċċarġjata","oss-aion-side-by-side-rule.71aa03cd23":"l-għadd ta' ħlasijiet","oss-aion-side-by-side-rule.8f404d9e59":"ix-xahar li fih jaqa' l-ħlas","oss-aion-side-by-side-rule.28db3c4a10":"il-perjodu tal-kontijiet","oss-aion-side-by-side-rule.7bbf8d007a":"l-identifikatur li kontra tiegħu jsir ħlas","oss-aion-side-by-side-rule.333190a7a5":"ir-referenza","oss-aion-silent-wrong.e516f1474a":"pass 40, regola mhux magħrufa","oss-aion-silent-wrong.52c4b2ffb7":"fejn waqaf","oss-aion-silent-wrong.bdc9060b3b":"Tmien ġirjiet taw tmien kliem. Biss dak li kiteb il-ħidma tiegħu\n          jista' jgħid","oss-aion-silent-wrong.dc3fb44cee":"rifjut isemmi linja","oss-aion-silent-wrong.d55eb7e866":"Dan il-qarrej m'għandux regola b'dak l-isem fil-pass 40, għalhekk waqaf hemm. Il-\n            bolla qatt ma niżlet u ma nħarġet l-ebda verdett.","oss-aion-silent-wrong.d04a61e19e":"dak li pproduċiet il-qari","oss-aion-silent-wrong.b31f1a6015":"alethe, passi 38 'il quddiem","oss-aion-silent-wrong.74cb6750e3":"wieħed minnhom, miktub","oss-aion-silent-wrong.c9266795e0":"tmien sistemi, tmien riżultati","oss-aion-silent-wrong.d7d4ae123f":"illustrattiv, ġirja waħda minn tmienja","oss-aion-silent-wrong.3c05b129e2":"l-ebda verdett ma nħareġ","oss-aion-silent-wrong.c6dc61d79f":"Tmien kliem, wieħed minnhom miftuħ","oss-aion-silent-wrong.64494819a0":"premessa 40, il-klawsola vojta","oss-aion-silent-wrong.9dae957efd":"premessa 39","oss-aion-silent-wrong.52e787751c":"premessi 31 u 38","oss-aion-silent-wrong.36901d48ad":"premessi 12 u 31","oss-aion-silent-wrong.e00bcd7ac6":"fluss tax-xogħol approvat","oss-aion-silent-wrong.fd40251b0b":"simulazzjoni kkonverġiet","oss-aion-silent-wrong.9204d100a8":"politika mgħoddija","oss-aion-silent-wrong.51c817ab85":"aċċettat","oss-aion-silent-wrong.4d64c22879":"erġa' agħmel","oss-aion-silent-wrong.94ec44c4f4":"emmen","oss-aion-silent-wrong.4848901b39":"ottimali","oss-aion-silent-wrong.bf31c52c32":"sikur","oss-aion-silent-wrong.231e564db4":"tlesta","oss-aion-silent-wrong.bac2ad9d5d":"ikkumpilat","oss-aion-silent-wrong.d203c40ac4":"mhux sodisfabbli","oss-aion-sim-cert.d836eab67a":"il-validità fiżika mhijiex","oss-aion-sim-cert.8f9800edbe":"il-konformità u l-proprjetajiet huma ċċekkjati hawn","oss-aion-sim-cert.d982b6fdda":"jekk il-mudell jirrappreżentax id-dinja jibqa' f'idejn is-sid tal-mudell","oss-aion-sim-cert.c27ccdf78d":"validità fiżika","oss-aion-sim-cert.99c6aa48cb":"mhux imwieġba imkien","oss-aion-sim-cert.e4125aa830":"il-proprjetajiet iddikjarati jżommu matul it-tħaddim, jew it-traċċa terġa' lura","oss-aion-sim-cert.24fa71fdd6":"kontrolli ta' invarjanza","oss-aion-sim-cert.82ffe3f79b":"il-mudell, il-parametri u l-konfigurazzjoni ddikjarati pproduċew din it-trajetorja","oss-aion-sim-cert.8c30aa1c6e":"konformità ta' eżekuzzjoni","oss-aion-sim-cert.790f468e4d":"imwieġba hawn","oss-aion-sim-cert.f6bceb137b":"TWIN U FMI","oss-aion-sim-cert.cf2b82cb4f":"mudell għal trajetorja","oss-aion-sim-cert.a7b63abc02":"Dak li jġorr iċ-ċertifikat","oss-aion-sim-cert.07ecfba93e":"trajetorja u status","oss-aion-sim-cert.6874c92610":"sekwenza ta' avvenimenti","oss-aion-sim-cert.e77c056cdc":"parametri u stat inizjali","oss-aion-sim-cert.720a1e14e6":"identità tal-mudell u tal-FMU","oss-aion-source-to-artefact.ce10986f79":"Mis-sors għaċ-ċertifikat","oss-aion-source-to-artefact.c1ce053887":"imsejjaħ, mhux ġeneriku","oss-aion-source-to-artefact.75a0766041":"Talba ġenerika ma setgħetx tfalli imkien.","oss-aion-source-to-artefact.b5e1e87d48":"Tliet talbiet imsemmija, u dik li tfalli ssemmi l-pass li fih tfalli.","oss-aion-source-to-artefact.8732c432be":"Li kull pass fis-sekwenza huwa korrett b'mod ġenerali. L-ebda ċertifikat hawnhekk ma jgħid li\n                kompilatur huwa tajjeb, u l-ebda wieħed minnhom m'għandu għalfejn jgħid hekk.","oss-aion-source-to-artefact.64d8424b5b":"dak li ma jasserixxix","oss-aion-source-to-artefact.302df26f74":"graff tas-sors","oss-aion-source-to-artefact.e95689d184":"lill-implimentazzjoni ta' referenza, fuq id-dominju ta' input iddikjarat","oss-aion-source-to-artefact.0ca9407ef6":"ekwivalenti fil-qalba","oss-aion-source-to-artefact.5e68638068":"il-preservazzjoni tal-forma ddikjarata ma żżommx f'dan il-pass għad-dominju ta' input\n                    mogħti","oss-aion-source-to-artefact.ab2050f59e":"forom tat-tensuri preservati","oss-aion-source-to-artefact.213addbd25":"matul il-kanonikalizzazzjoni u l-fużjoni, għal kull tip iddikjarat","oss-aion-source-to-artefact.9deae195e3":"tipi preservati","oss-aion-source-to-artefact.2297843111":"livell ta' ottimizzazzjoni 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"talba dwar il-forma miċħuda","oss-aion-source-to-artefact.2fa9505626":"artefatt","oss-aion-source-to-artefact.910e029098":"illustrattiv","oss-aion-source-to-artefact.9f939ff8a4":"għażla tal-qalba","oss-aion-sovereignty.0fe4587501":"Il-verifikazzjoni tibqa' fejn tinħażen l-evidenza: ħdejn is-sistema li tipproduċiha, ġewwa servizz ta' reviżjoni, jew f'arkivju iżolat.","oss-aion-sovereignty.2d7bdcb19f":"Id-deċiżjonijiet tiegħek jibqgħu fil-kontroll tiegħek.","oss-aion-sovereignty.9426b99215":"Sovranità diġitali","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe, u l-formola unifikata jżommu ċ-ċertifikati verifikabbli b'mod indipendenti lil hinn mir-runtime oriġinali.","oss-aion-sovereignty.25c4717a63":"Formati ta' prova portabbli","oss-aion-sovereignty.d99f32de40":"Il-verifikazzjoni ta' prova taħdem kompletament offline. M'intix qed tistrieħ fuq servizz remot li jista' jibdel it-termini tiegħu jew jisparixxi.","oss-aion-sovereignty.34ebf0117d":"L-ebda dipendenza esterna","oss-aion-sovereignty.44a8a39a30":"Ġewwa ċ-ċentru tad-dejta tiegħek stess jew f'reġjun li tagħżel int. Ir-raġunament wara deċiżjoni qatt ma jkollu jaqsam fruntiera li ma approvajtx.","oss-aion-sovereignty.331242fd64":"Jaħdem fejn tagħżel","oss-aion-sovereignty.599b928605":"AION huwa mibni fl-Ewropa, u l-verifikatur tiegħu jista' jibqa' ġewwa l-istess fruntiera Ewropea bħad-deċiżjonijiet li jivverifika.","oss-aion-sovereignty.45f9bdf22b":"Ewropew mill-oriġini","oss-aion-split-parts.cc0d7be136":"u enclave ma tbiddel xejn","oss-aion-split-parts.a2fb24de32":"il-bini default m'għandu l-ebda klijent 'il barra","oss-aion-split-parts.ffd75a18c4":"DEPLOY","oss-aion-split-parts.91f8c088aa":"u dak li kull waħda teħtieġ","oss-aion-split-parts.758bd7cc2a":"Erba' modi kif tħaddimha","oss-aion-split-parts.400bd9a040":"Maqsuma bejn magni, u komposta biss wara kontroll tal-kopertura.","oss-aion-split-parts.bb3d98dfee":"Distribwita","oss-aion-split-parts.74da65bc96":"Ġewwa l-konfini tiegħek, fuq indirizzi li inti stess tistabbilixxi.","oss-aion-split-parts.664046e78a":"Servizz","oss-aion-split-parts.ce2ab3edc4":"Puntaha lejn ċertifikat. Xejn ieħor m'għandu jkun qed jaħdem.","oss-aion-split-parts.a7218c8eca":"Kmand","oss-aion-split-parts.eefb3bac5d":"Marbuta fil-proċess tiegħek stess. Staqsi u wieġeb, l-ebda fajl miktub.","oss-aion-split-parts.fa66edb7bd":"Librerija","oss-aion-stays-here.e3e08ad140":"xejn ma ħareġ mill-kamra","oss-aion-stays-here.18ab547f60":"Dik il-karta vojta hija l-kollha tal-pretensjoni.","oss-aion-stays-here.907d22f7f0":"Xejn mhu mfassal bejn il-kaxxa u t-tliet affarijiet ħdejha.","oss-aion-stays-here.001b06036c":"mhux f'din l-istampa","oss-aion-stays-here.8c84675037":"rabta ma' magna oħra fl-istess organizzazzjoni, mitfija sakemm xi ħadd jissettjaha\n              apposta","oss-aion-stays-here.e3527ba222":"It-tweġiba tasal bil-linja 'l isfel, għax il-linja qatt ma kienet parti minnha.","oss-aion-stays-here.caf3a041c8":"Id-dewmien kien ta' ħamsa u sebgħin minuta, li huwa aktar minn siegħa, għalhekk il-prenotazzjoni\n                tiġi kkanċellata u l-biljett jirritorna lill-karta li minnha ġie.","oss-aion-stays-here.7296ef48e5":"dak li rritorna","oss-aion-stays-here.395ee2333f":"il-kanċellazzjoni tispiċċa l-prenotazzjoni u tirritorna l-biljett","oss-aion-stays-here.46d2008236":"siegħa tfisser sittin minuta, mingħajr tqarrib","oss-aion-stays-here.2fd4fcb567":"dewmien jingħadd mill-ħin stampat fuq il-biljett","oss-aion-stays-here.f5b422b60e":"ir-regoli miktuba li kontra tagħhom jinqara","oss-aion-stays-here.ee04bc3b23":"Ikkancella biss il-prenotazzjoni tiegħi jekk id-dewmien ikun aktar minn siegħa.","oss-aion-stays-here.af5509db2b":"dak li ttajpjat","oss-aion-stays-here.3cbd68d678":"il-magna quddiemek","oss-aion-stays-here.531aa138ac":"imwieġba mingħajr ma titlaq","oss-aion-stays-here.fb23ddcc1c":"mistoqsija waħda, post wieħed","oss-aion-stays-here.96ccbc62ab":"kliemek mhux ħaġa li xi ħadd ieħor jirċievi","oss-aion-stays-here.1b215d440d":"magna x'imkien ieħor taqra s-sentenza tiegħek","oss-aion-stays-here.b5a5c63d23":"l-ebda ħaġa esterna ma trid tkun qed taħdem biex tasal it-tweġiba","oss-aion-stays-here.b5c483d9d9":"servizz li jrid ikun attiv","oss-aion-stays-here.fa287ade3d":"xejn ma jistaqsi min int, għax xejn m'għandu bżonn ikun jaf","oss-aion-stays-here.d5a3ef8b78":"kont li tidħol fih","oss-aion-stays-here.910e029098":"illustrattiv","oss-aion-stays-here-list.56a6e8f9a7":"u xejn x’tagħti","oss-aion-stays-here-list.57eef35c96":"l-ebda stennija","oss-aion-stays-here-list.a64eab5744":"dak li jistenna għalih","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"u dak li qatt ma jistenna għalih","oss-aion-stays-here-list.13591491d9":"Dak li jaħdem fuqu","oss-aion-stays-here-list.1458464f09":"M’hemmx x’tirreġistra għalih, għalhekk m’intix klijent ta’ xejn.","oss-aion-stays-here-list.257fa99e08":"L-ebda kont","oss-aion-stays-here-list.b165f2d684":"Is-sentenza tiegħek tinqara kontra r-regoli, fl-istess kamra bħalek.","oss-aion-stays-here-list.37a25e4e99":"Regoli miktuba","oss-aion-stays-here-list.7ee33f1c7a":"Ix-xogħol isir fejn int, u ħadd ieħor m’għandu għalfejn ikun qed jaħdem.","oss-aion-stays-here-list.d3612f57d8":"Il-magna li qiegħed fuqha","oss-aion-supplier-answer.6d6ddcd4c1":"dikjarazzjoni waħda, erba' linji vojta","oss-aion-supplier-answer.a5d36ba87c":"L-ebda waħda mill-erba' mistoqsijiet ma hija mwieġba imkien fuq il-karta.","oss-aion-supplier-answer.d09481b0a5":"Kull kelma fuqha hija vera u xi ħadd iffirmaha.","oss-aion-supplier-answer.cec9b36162":"14 ta' Marzu 2026","oss-aion-supplier-answer.22715d5cb9":"Il-konfigurazzjoni sottomessa fit-12 ta' Marzu 2026 ġiet ivverifikata bħala ħielsa minn kunflitti.","oss-aion-supplier-answer.1e0a1891e8":"rif SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"ċertifikat ta' konformità","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"erba' mhux imwieġba","oss-aion-supplier-answer.910e029098":"illustrattiv","oss-aion-supplier-answer.f86e5cfb14":"Kienet għadha sseħħ wara l-bidla tat-Tlieta?","oss-aion-supplier-answer.bbe7a72e5a":"Fuq id-dejta ta' min, u kemm minnha?","oss-aion-supplier-answer.c25776701b":"Kontra liema verżjoni tas-sett ta' regoli tagħna?","oss-aion-supplier-answer.84d9ed92b5":"Liema kundizzjonijiet ġew attwalment iċċekkjati?","oss-aion-theory-matrix.ac8d77d669":"Propożizzjonali","oss-aion-theory-matrix.3d52a6d8fe":"Loġika","oss-aion-theory-matrix.42f3aff840":"Sodisfabbiltà Booleana bit-tagħlim ta' klawżoli misjuq minn kunflitti. Il-punt tal-bidu għal kull teorija oħra.","oss-aion-theory-matrix.6078532ab2":"Kwantifikaturi","oss-aion-theory-matrix.02f664dd36":"Loġika tal-ewwel ordni b'istanzjar ibbażat fuq mudelli. Tirraġuna dwar forall u exists fuq it-tipi appoġġjati.","oss-aion-theory-matrix.49167dbc57":"Aritmetika lineari","oss-aion-theory-matrix.45f053dc73":"Aritmetika","oss-aion-theory-matrix.876aafb6c1":"Aritmetika lineari ta' interi u input b'valuri reali fi skala ddikjarata. Internament, il-verifikatur juża valuri ta' interi jew punti fissi adattivi.","oss-aion-theory-matrix.b618fadea3":"Mhux lineari","oss-aion-theory-matrix.fd99188844":"Aritmetika mhux lineari ta' interi u input b'valuri reali fi skala ddikjarata. Il-verifikatur juża valuri ta' interi jew punti fissi adattivi, qatt valuri b'punt li jvarja.","oss-aion-theory-matrix.d11f66aff2":"Input b'punt li jvarja","oss-aion-theory-matrix.19080aec82":"Input IEEE 754 huwa aċċettat biss fil-konfin, imbagħad jiġi dekodifikat f'kampi binarji qabel il-verifika. L-ebda valur b'punt li jvarja ma jinħażen, jiġi akkumulat jew ikkalkulat internament.","oss-aion-theory-matrix.914807cdef":"Bitvectors","oss-aion-theory-matrix.e5e429bcc9":"Data","oss-aion-theory-matrix.23c278d5ca":"Kliem binarji ta' wisa' fissa bis-semantika ta' overflow. Għall-verifika ta' hardware u l-iċċekkjar ta' protokolli binarji.","oss-aion-theory-matrix.b90cc9bfd2":"Arrays","oss-aion-theory-matrix.eac25fcfc6":"Teorija ta' arrays bl-assjomi ta' select u store. Il-frammenti deċidibbli huma traċċati b'mod espliċitu.","oss-aion-theory-matrix.3816c4beac":"Strings","oss-aion-theory-matrix.8e5a47db7d":"Ekwazzjonijiet ta' kliem, restrizzjonijiet ta' tul, u sħubija f'espressjonijiet regolari fuq strings.","oss-aion-theory-matrix.0efe5fd2a3":"Temporali","oss-aion-theory-matrix.ab14d0a7db":"Programmi","oss-aion-theory-matrix.12dfdaf96a":"crate sieħeb","oss-aion-theory-matrix.dd600bd946":"Frammenti ta' loġika temporali ta' ħin lineari u b'fergħat għar-raġunament dwar imġiba maż-żmien.","oss-aion-theory-matrix.bb8c6ec608":"Probabilistiku","oss-aion-theory-matrix.042a4dc40b":"Raġunament probabilistiku ta' programmi, inkluża inferenza stil Datalog probabilistika.","oss-aion-theory-matrix.1e1837d4e8":"Konkorrenti","oss-aion-theory-matrix.60e30b1d8e":"Raġunament dwar programmi konkorrenti u l-interleavings li l-ħjut tagħhom jistgħu jipproduċu.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"kopertura tat-teoriji","oss-aion-theory-matrix.4329e5da7b":"11 dominji loġiċi","oss-aion-theory-matrix.dc1baa8539":"kernel + companions","oss-aion-theory-matrix.5b1e898fc0":"Teorija","oss-aion-theory-matrix.cd89376f98":"Jgħix fi","oss-aion-theory-matrix.df1e1e1732":"Ħdax-il teorija, kull raġunatur jipproduċi passi li l-emittent tal-provi jista' jirrekordja u verifikatur jista' jirriproduċi.","oss-aion-theory-matrix.36ce8cbd4c":"PROP għal CONCUR","oss-aion-three-questions.381a478392":"Żewġ tweġibiet, konfini waħda","oss-aion-three-questions.b695e87b19":"tnejn wieġbu, wieħed kien proprjetà","oss-aion-three-questions.9f5234300d":"It-tielet mistoqsija mhix tagħna, u li ngħidu hekk huwa dak li jagħmel l-ewwel tnejn jiswew xi ħaġa.","oss-aion-three-questions.8149763299":"Il-konformità tinżamm, invarjant wieħed jonqos bit-traċċa tiegħu.","oss-aion-three-questions.5974dafe20":"il-bieb huwa mpinġi b'solidità daqs il-ħajt","oss-aion-three-questions.392d2df212":"Is-sid tal-mudell iżomm dik il-mistoqsija, u jżommha b'mod permanenti. L-ebda ċertifikat hawn ma jmissha, u l-ebda wieħed minnhom ma jimplikaha bil-kwiet lanqas.","oss-aion-three-questions.c27ccdf78d":"validità fiżika","oss-aion-three-questions.dbbe530d6c":"dan il-mudell jirrappreżenta d-dinja reali","oss-aion-three-questions.44b8fe96f9":"pass 1 284, p = 8.14 bar","oss-aion-three-questions.dcf63117f5":"kontro-eżempju, imtella' u mkabbar","oss-aion-three-questions.ed4bde3030":"il-pressjoni taċ-ċirkwit tibqa' taħt it-8 bar","oss-aion-three-questions.4676659f50":"il-valv tal-bypass qatt ma jiftaħ darbtejn fi pass wieħed","oss-aion-three-questions.045757b8af":"it-temperatura tar-ritorn tibqa' taħt il-95 C","oss-aion-three-questions.24fa71fdd6":"kontrolli tal-invarjanti","oss-aion-three-questions.846ee97ae5":"l-invarjanti ddikjarati jżommu matul il-ġirja kollha","oss-aion-three-questions.17f80cae31":"Il-ġirja tirriproduċi minn dak li jiddikjara ċ-ċertifikat.","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":"tolleranza 1e-6","oss-aion-three-questions.884f613dc6":"t = 0.00","oss-aion-three-questions.0c1ded1963":"pass 0.01 s","oss-aion-three-questions.8c30aa1c6e":"konformità tal-eżekuzzjoni","oss-aion-three-questions.b3c58a82bd":"il-mudell u l-konfigurazzjoni ddikjarati pproduċew din it-trajetorja","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":"mudell u FMU","oss-aion-three-questions.b697dd615a":"tnejn minn tlieta","oss-aion-three-questions.f14f15b304":"trajetorja","oss-aion-three-questions.f1f1425b65":"parametri","oss-aion-three-questions.910e029098":"illustrattiv","oss-aion-three-readings.41d8442e84":"il-qari u l-konfidenzi tagħhom huma ta' AION, l-għażla hija tiegħek, u hija rreġistrata","oss-aion-three-readings.42e8a93311":"tliet qari, deċiżjoni waħda, u għandha awtur","oss-aion-three-readings.62b4619c99":"għadd li ma jistax jinżel taħt iż-żero","oss-aion-three-readings.48a15f3a18":"numru sħiħ taħt il-ħamsa","oss-aion-three-readings.ae3925651e":"ir-retries huma numru sħiħ, għadd, jew kwalunkwe valur?","oss-aion-three-readings.dffe60eb6a":"mistoqsija mqiegħda","oss-aion-three-readings.fb76182a92":"mistoqsi, mhux assunt","oss-aion-three-readings.8c3f96fa33":"Ir-retries iridu jkunu taħt il-ħamsa","oss-aion-three-readings.e9be13f9ec":"AION iqajjem l-ambigwità minflok isolviha. Isemmi t-tip ta' ambigwità,\n          jelenka l-qari bil-konfidenza li kull wieħed iġorr u l-kundizzjoni li kull wieħed\n          jinfurza, u jpoġġi mistoqsija li ssemmi l-varjabbli inkwistjoni. Id-deċiżjoni xorta\n          tibqa' ta' persuna. Dak li jinbidel huwa li ssir darba, fuq ir-rekord, minn min huwa\n          responsabbli għar-rekwiżit minflok min ġara li kien qed jagħmel il-konverżjoni.","oss-aion-three-readings.f26c9b4ff8":"Taħt ħames tentattivi, magħduda sħaħ. Jew taħt ħamsa\n          fejn erbgħa u nofs huwa valur leġittimu. Jew għadd li wkoll ma jistax jinżel taħt\n          iż-żero. Dawk huma tliet regoli differenti u d-differenza toħroġ bħala inċident\n          eventwalment. Fil-mod ordinarju ta' ħidma, wieħed minnhom intgħażel minn min għamel it-\n          traduzzjoni, nhar ta' Ħamis, mingħajr ma qal lil ħadd.","oss-aion-three-readings.7b5121a8f0":"\"Ir-retries iridu jkunu taħt il-ħamsa.\"","oss-aion-three-readings.ffe5d68fe6":"Xi ħadd għażel wieħed.","oss-aion-three-readings.55b8b0b398":"Is-sentenza tiegħek kellha żewġ qari.","oss-aion-three-readings.2d1501c7e4":"Id-deċiżjoni kwieta li ħadd ma għamel","oss-aion-three-readings.bec998cdfe":"kwalunkwe numru, inkluż erbgħa u nofs","oss-aion-time-left.88430838dd":"ma ġie xejn imfarfar fuq ħadd","oss-aion-time-left.227b19b5aa":"Baqa’ biss iżgħar, quddiem xi ħadd li kien għadu jista’ jaġixxi fuqu.","oss-aion-time-left.ac61a8b97d":"In-numru kien hemm fit-tmien jum u qatt ma sar aktar qawwi.","oss-aion-time-left.0703308f0f":"M’hemm l-ebda allarm fuq din il-karta u xejn ma sar aħmar. Kull waħda minn dawn hija l-istess sentenza li tinqara f’jum differenti.","oss-aion-time-left.6222c927fd":"Tmur għand il-persuna li tiffirma tweġibiet tard, bid-data fuqha, u dawn jiktbulek lura.","oss-aion-time-left.4dfda36be9":"14-il jum li għaddew","oss-aion-time-left.d5f128da73":"it-tweġiba kienet dovuta fis-sittax","oss-aion-time-left.58cdff89f9":"talba differenti, li tinqara wara d-data","oss-aion-time-left.6a7651b700":"tletin jum wara li staqsejt","oss-aion-time-left.813d27411f":"it-tweġiba hija dovuta","oss-aion-time-left.d8b0301347":"tlabt kopja ta’ dak li għandhom fuqek","oss-aion-time-left.4c3d95bf6a":"it-talba","oss-aion-time-left.795bcac29d":"erbat ijiem biss illum","oss-aion-time-left.56ff55acfb":"deadline waħda, li tinqara erba’ darbiet","oss-aion-time-left.acafbd7541":"ċemplilhom illum","oss-aion-time-left.148b21034f":"4 ijiem biss","oss-aion-time-left.f165b88925":"segwiha din il-ġimgħa","oss-aion-time-left.b85bbd50bd":"8 ijiem biss","oss-aion-time-left.4a8b5bac9b":"għadu sew","oss-aion-time-left.67f9059ac5":"14-il jum biss","oss-aion-time-left.ca372a8fb7":"poġġiha fid-djarju","oss-aion-time-left.16f29c69b8":"22 jum biss","oss-aion-time-left.910e029098":"illustrattiv","oss-aion-two-routes.89c24f999c":"l-oħra teżamina l-evidenza","oss-aion-two-routes.3a5d844ae5":"rotta waħda tirriproduċihom","oss-aion-two-routes.028a6cf2d7":"iċ-ċertifikat tagħhom","oss-aion-two-routes.5c837ce426":"is-sistema tagħhom","oss-aion-two-routes.27f65e5e47":"dak li jkollha bżonn","oss-aion-two-routes.d0765bbac1":"QABBEL","oss-aion-two-routes.91f8c088aa":"u dak li jkollu bżonn kull wieħed","oss-aion-two-routes.8930c1c9b8":"Żewġ modi kif tkun ċert","oss-aion-two-routes.d56d985300":"iċċekkja","oss-aion-two-routes.e1fc5057de":"irriproduċi","oss-aion-two-routes.b028b89ea7":"l-għajnuna tagħhom","oss-aion-two-routes.999464a52f":"mhux prodott","oss-aion-two-routes.9b9252883d":"iċ-ċertifikat innifsu","oss-aion-two-routes.4dc537c80f":"it-talba, l-inputs u l-kuntratt","oss-aion-two-routes.ad95c10298":"il-verżjoni u l-magna eżatti tagħhom","oss-aion-two-routes.cfd05bd2f2":"il-liċenzja tagħhom","oss-aion-value-grid.6cc3364a24":"Prova mehmuża","oss-aion-value-grid.4910ee0aea":"Evidenza ma' kull riżultat","oss-aion-value-grid.411bf64817":"Ir-riżultat u ċ-ċertifikat kompatt tiegħu jivvjaġġaw flimkien, għalhekk l-evidenza tinħoloq meta tittieħed id-deċiżjoni minflok tinbena mill-ġdid waqt ir-reviżjoni.","oss-aion-value-grid.05f9c0dc34":"Iċċekkjat minn magna oħra","oss-aion-value-grid.eea79d1484":"Verifikatur separat jimxi fuq iċ-ċertifikat kontra l-premessi oriġinali. Il-mudell ma jingħatax il-ġieħ li jivvaluta t-tweġiba tiegħu stess.","oss-aion-value-grid.cbd17d59ba":"Formati portabbli","oss-aion-value-grid.5e6cba1721":"L-evidenza tgħix aktar mir-runtime","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe, u l-forma unifikata tal-prova jżommu ċ-ċertifikat leġġibbli wara li jinbidlu mudell, solver, jew servizz.","oss-aion-value-grid.a60bdd7985":"Jivverifika offline","oss-aion-value-grid.ebfb47f4ba":"L-ebda dipendenza diretta","oss-aion-value-grid.6144cbfcab":"L-iċċekkjar ta' prova ma jeħtieġx netwerk, kont, jew konnessjoni diretta magħna. Il-ħaġa li tiddependi fuqha fil-ħin tal-awditu m'għandhiex dipendenza rikorrenti fuq fornitur.","oss-aion-value-grid.26ef011865":"Sovranità tal-UE","oss-aion-value-grid.23672ea195":"Ewropew, u tiegħek biex tmexxih","oss-aion-value-grid.26e89e1455":"Mibni fl-Ewropa u jista' jitmexxa kompletament fuq hardware li tikkontrolla int. L-evidenza u d-deċiżjonijiet tiegħek qatt ma jkollhom jitilqu minn ġuriżdizzjoni li tapprova.","oss-aion-value-grid.66ac329042":"Awditi b'riskju mnaqqas","oss-aion-value-grid.9c8c22f54d":"Evidenza li parti oħra tista' tittestja","oss-aion-value-grid.6572cc2be6":"Meta regolatur jew awditur jistaqsi kif intlaħqet deċiżjoni, inti tagħti ċertifikat li kulħadd jista' jiċċekkja, minflok tistrieħ fuq wegħda ta' fornitur li ma tistax tittestja.","oss-aion-value-grid.6b5eb5323e":"Evidenza tad-deċiżjoni","oss-aion-value-grid.870c4d024a":"Verifikazzjoni indipendenti","oss-aion-value-grid.93e2c4e5c4":"Ibda b'pass wieħed ta' deċiżjoni u żomm iċ-ċertifikat tiegħu matul ir-reviżjoni.","oss-aion-value-grid.217fc9a42f":"ċertifikat · iċċekkjar · arkivju","oss-aion-what-you-got.2b69c8154b":"u kull mistoqsija waħda tqajjem","oss-aion-what-you-got.7f629c0e9f":"erba' affarijiet li tirċievi","oss-aion-what-you-got.7a9727c9f8":"li tista' tiċċekkjaha int","oss-aion-what-you-got.bc1c663195":"dak li tirċievi","oss-aion-what-you-got.0da9f51943":"OSERVAT","oss-aion-what-you-got.8becd8f7be":"u x'jistabbilixxi","oss-aion-what-you-got.7d3574bfa5":"Dak li jagħti fornitur","oss-aion-what-you-got.0306f977ae":"Liema build qal dan. Mhux x'ċċekkja, jew kif.","oss-aion-what-you-got.fd12863535":"le","oss-aion-what-you-got.7b0c210f52":"Numru ta' verżjoni","oss-aion-what-you-got.f78a920a78":"Id-deskrizzjoni tagħhom tal-proċess tagħhom stess, miktuba minnhom.","oss-aion-what-you-got.301941b624":"ir-rakkont tagħhom","oss-aion-what-you-got.7591a35462":"Nota ta' metodu","oss-aion-what-you-got.5eec058df8":"Xi ħadd iwieġeb għall-kelma, mhux għar-raġunament.","oss-aion-what-you-got.28fde2f659":"l-isem biss","oss-aion-what-you-got.7573daa505":"Firma","oss-aion-what-you-got.94ebda1bd3":"Sikur, fattibbli, konsistenti. Kelma waħda, l-ebda ħidma.","oss-aion-what-you-got.c99c8e4a9b":"Konklużjoni","oss-aion-where-it-runs.1ba0334f9f":"ma hemmx tielet","oss-aion-where-it-runs.03e2311510":"inti tikkonfigura t-tnejn","oss-aion-where-it-runs.076d156600":"xejn ġewwa biex tikkonfigura","oss-aion-where-it-runs.f16ac53550":"tiegħek biex tikkonfigura","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"u xejn ieħor ma joħroġ","oss-aion-where-it-runs.6cdd4e486a":"Żewġ konfini konfigurabbli","oss-aion-where-it-runs.39616fc267":"Programm li tinstalla, li jaħdem bħala proċess lokali.","oss-aion-where-it-runs.00bfadf39c":"Prover estern","oss-aion-where-it-runs.801db3efcd":"Biss l-indirizzi li inti tistabbilixxi, u biss ladarba tistabbilixxihom.","oss-aion-where-it-runs.d296df3171":"Cluster","oss-aion-where-it-runs.67204bf5d4":"l-ebda rotta","oss-aion-where-it-runs.91984fcc1b":"Mudell ospitat","oss-aion-where-it-runs.b8b252650e":"l-ebda klijent xejn","oss-aion-where-it-runs.ee39579eba":"Il-bini default","oss-aion-where-it-runs.d49fe2c403":"mhux installat","oss-aion-where-you-meet-it.2a85ffb07a":"Il-post jinbidel, il-wegħda le: raġuni li tista' taqra, u kontroll li kulħadd jista' jagħmel.","oss-aion-where-you-meet-it.9a8413cd88":"Qatt mhu se tmexxi AION int stess. Dawn huma t-tipi ta' postijiet fejn jista' jaħdem bil-kwiet\n            għalik.","oss-aion-where-you-meet-it.33fb502270":"Tliet mumenti ta' kuljum","oss-aion-where-you-meet-it.40e32f89eb":"Kull min tafda bih jista' jiċċekkja s-slip u jikkonfermah.","oss-aion-where-you-meet-it.03ef5e1328":"Meta uffiċċju juża magna biex tiċċekkja l-każ tiegħek, inti għandek dritt għal raġuni li tista' taqra u tistaqsi dwarha.","oss-aion-where-you-meet-it.2390278256":"Benefiċċju jew formola tiġi ċċekkjata","oss-aion-where-you-meet-it.2e92ab22dd":"F'uffiċċju pubbliku","oss-aion-where-you-meet-it.0bd84e3a14":"Ir-raġuni tinkiteb, mhux tibqa' maqbuda ġewwa sistema.","oss-aion-where-you-meet-it.c4a1d64452":"Deċiżjonijiet dwar il-flus li ssir minn magna jistgħu jħossuhom bħal bieba magħluqa. Ir-riċevuta tiftaħha, fi passi ċari.","oss-aion-where-you-meet-it.e17885868a":"Self jew rifużjoni jiġi kkalkulat","oss-aion-where-you-meet-it.5e45cf57a0":"Fil-bank","oss-aion-where-you-meet-it.e2c536b2b3":"Tista' titlob is-slip u turih lit-tabib tiegħek stess.","oss-aion-where-you-meet-it.0b56f170bf":"Meta magna jkollha sehem fit-trattament tiegħek, għandek tkun tista' tara r-raġuni warajh, mhux biss ir-riżultat.","oss-aion-where-you-meet-it.0332b7d1b7":"Kompjuter jgħin jiddeċiedi l-kura tiegħek","oss-aion-where-you-meet-it.4046c6355b":"Fl-isptar","oss-aion-which-did-you-mean.1ff884a89e":"mistqarr, mhux maħsub","oss-aion-which-did-you-mean.2eb1c230f2":"L-għażla hija ta' min kiteb is-sentenza.","oss-aion-which-did-you-mean.d94da790d1":"Żewġ qari ordinarji, każ wieħed bejniethom.","oss-aion-which-did-you-mean.3b4d06d361":"Ma saret l-ebda mistoqsija, u ħadd ma ntqal fuq liema waħda minnhom waqgħet.","oss-aion-which-did-you-mean.93a161cede":"Is-sigħat jingħaddu sħaħ. Magħżula fi wara nofsinhar ta' Ħamis minn xi ħadd li kellu bżonn\n                jibgħat.","oss-aion-which-did-you-mean.4b73aced85":"fis-seħħ","oss-aion-which-did-you-mean.17e120a269":"Ikkanċella jekk id-dewmien ikun ta' aktar minn siegħa.","oss-aion-which-did-you-mean.ddf20b2d3c":"il-mod ordinarju kif dan jiġi solvut","oss-aion-which-did-you-mean.3f42a39277":"kif fil-fatt jaħdem","oss-aion-which-did-you-mean.1e9a34969e":"sigħat sħaħ","oss-aion-which-did-you-mean.9c2a4532bb":"Meta ktibt aktar minn siegħa, ridt tfisser sigħat sħaħ, jew id-dewmien kif\n                fil-fatt jaħdem?","oss-aion-which-did-you-mean.280b34e1e5":"Il-ferrovija tiegħek għandha ħamsa u sebgħin minuta dewmien u l-prenotazzjoni titneħħa, qabel ma\n                    tiddeċiedi jekk għadx trid tivvjaġġa.","oss-aion-which-did-you-mean.97e4112012":"Dewmien huwa kemm huwa fil-fatt. Siegħa u kwart huwa aktar minn\n                    siegħa.","oss-aion-which-did-you-mean.c5d620cfa2":"qari tnejn","oss-aion-which-did-you-mean.466780685c":"Il-ferrovija tiegħek għandha ħamsa u sebgħin minuta dewmien u xejn ma jiġi kkanċellat. Tistenna fuq\n                    il-pjattaforma għal ferrovija li għadha ġejja.","oss-aion-which-did-you-mean.6b67a39030":"Is-sigħat jingħaddu sħaħ. Dewmien ta' siegħa u kwart jingħadd bħala siegħa,\n                    u siegħa mhijiex aktar minn siegħa.","oss-aion-which-did-you-mean.9cf85c69a8":"qari wieħed","oss-aion-which-did-you-mean.ef52f97a5b":"aktar minn siegħa","oss-aion-which-did-you-mean.371c6d7efd":"Ikkanċella jekk id-dewmien ikun","oss-aion-which-did-you-mean.887640fa01":"kittibt","oss-aion-which-did-you-mean.3650db40be":"nistennew it-tweġiba tiegħek","oss-aion-which-did-you-mean.ff312b91d2":"liema ridt tfisser","oss-aion-which-did-you-mean.6f8f8e9f76":"imbagħad","oss-aion-which-did-you-mean.910e029098":"illustrattiv","oss-aion-your-corpus.a54df5506a":"ġimgħatejn, b'riżultat miktub","oss-aion-your-corpus.ee646eb7cc":"Mexxi l-istess korpus kontra dak li tuża llum u poġġi r-rapporti t-tnejn ħdejn xulxin.","oss-aion-your-corpus.f2d4df122d":"Tnejn u sittin minn erbgħa u sittin, fuq il-magna tiegħek, taħt il-limitu tiegħek.","oss-aion-your-corpus.8ff7db55b1":"dan il-limitu","oss-aion-your-corpus.8ada74cbb4":"din il-magna","oss-aion-your-corpus.b2ed177f82":"dan il-korpus","oss-aion-your-corpus.71e1422875":"funzjoni ta'","oss-aion-your-corpus.94ef1b7ae8":"minn 64 korretti","oss-aion-your-corpus.2ce97993d5":"l-ebda verdett s'issa","oss-aion-your-corpus.90326d4307":"għadda 41 s","oss-aion-your-corpus.69bb8da1c5":"għadu għaddej","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"l-ebda tweġiba rreġistrata","oss-aion-your-corpus.72330c3954":"16 GB ta' spazju ta' indirizzi","oss-aion-your-corpus.b4f0923eae":"16 GB għal kull ġirja","oss-aion-your-corpus.ff367b6b79":"limitu ta' spazju ta' indirizzi","oss-aion-your-corpus.d1ea89e714":"32 cores, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"ġirja illustrattiva","oss-aion-your-corpus.e380724f89":"wieħed milqut, wieħed għadu għaddej","oss-aion-your-corpus.f6f66c95d6":"Il-korpus tiegħek, f'postu","oss-aion-your-corpus.8d95729188":"milqut","oss-aion-your-corpus.7817c52b25":"magna","oss-aion-your-corpus.d95f464bc9":"istanzi","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"korpus","oss-aion-your-sentence-parts.8e7ed848f6":"xorta tista' taqrah","oss-aion-your-sentence-parts.78c48f428a":"int ktibtu","oss-aion-your-sentence-parts.c569c19f0b":"Aqrah mill-ġdid, jagħti l-istess regola. Xejn ma nbidel bejniethom.","oss-aion-your-sentence-parts.43015fadc4":"Ħadd m'għandu jitħallas darbtejn għall-istess ordni fl-istess xahar.","oss-aion-your-sentence-parts.a14707f800":"Is-sentenza tiegħek, bla ma nbidlet","oss-aion-your-sentence-parts.2ccea15065":"sena wara","oss-aion-your-sentence-parts.a80d4309ae":"Fil-quċċata tal-messaġġ, fuq il-parti li ma ntlaħqitx.","oss-aion-your-sentence-parts.f33c43e8f9":"Is-sentenza tiegħek, ikkwotata","oss-aion-your-sentence-parts.f0f795235c":"il-jum li tapplika","oss-aion-your-sentence-parts.fe74b20e8f":"Kif ktibtu int, b'linja waħda ċara li tgħid kif inqara.","oss-aion-your-sentence-parts.358b1cbc5d":"Is-sentenza tiegħek, miżmuma","oss-aion-your-sentence-parts.13211e2743":"il-jum li tiktebha","oss-aion-your-sentence-parts.27a0362e59":"KLIEMEK","oss-aion-your-sentence-parts.d37598cc12":"fi tlett ijiem differenti","oss-aion-your-sentence-parts.32a5ee7a1f":"L-istess sentenza","page-breadcrumb.c766e66518":"Breadcrumb","page-toc.7e439c353e":"Fuq din il-paġna","section_st_a1_display-split.7c9a7c0610":"Dettalji","section_st_f1_cta-dark.90e40d5043":"Ibda","spindle-extras.127edee78d":"IFJIMAT","toc-rail.f5cbdf6bfb":"Kontenut"}