{"block_close_oss.c33fd1fe9c":"Comunitate și ecosistem","core-extras.96d330537a":"IR de bază","core-extras.bee831a169":"Substrat","core-extras.61a0822826":"Aplicații pe Core","core-extras.15438cc098":"neacceptat","core-extras.ad565d9d01":"Funcție","core-extras.0155bf03e5":"Legendă segment","core-extras.8b7110078e":"Grupuri de algoritmi după tipul de date","core-extras.25ab4276a6":"Matrice de capacități derulabilă","open-source-aion.81f3904118":"Guvernanța cunoștințelor bazată pe proveniență de tip AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Produse","open-source-aion.de5ec3713e":"Parser certificabil Merkle folosit de AION pentru gestionarea intrărilor.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Runtime verificat care asociază certificatele AION cu transcrieri de execuție.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Proveniența evenimentelor pentru sisteme: înregistrări legate prin hash ale a ceea ce s-a întâmplat, nu pași de raționament în interiorul unei decizii.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Continuă explorarea","open-source-aion.75e393a1ac":"Explorează proiecte conexe","open-source-aion.f9743247fa":"Citește documentația","open-source-aion.ef0fd4ccef":"Inspectează calea de probă","open-source-aion.77453cde44":"Rulează un certificat de exemplu și verifică-l cu aion check, cvc5 sau orice verificator compatibil LRAT, odată ce depozitul este publicat. Publicarea este planificată pentru 1 septembrie 2026, iar instrucțiunile de instalare vin odată cu ea.","open-source-aion.dd58b70279":"Proba vine cu răspunsul","open-source-aion.90e40d5043":"Începe","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Open Source","open-source-aion.close.accent":"ca oricine să o poată verifica fără tine","open-source-aion.close.panel.title":"Ce conține un certificat","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"O singură formă, opt câmpuri","open-source-aion.close.panel.row.1.label":"Familii","open-source-aion.close.panel.row.1.value":"Nouă înregistrate și extensibile","open-source-aion.close.panel.row.2.label":"Verificare","open-source-aion.close.panel.row.2.value":"Mărginită, fără licență, fără reluare","open-source-aion.close.panel.row.3.label":"Unde rulează","open-source-aion.close.panel.row.3.value":"Pe site-ul tău, nimic nu iese în afară","open-source-aion.close.panel.foot":"Un certificat rămâne mic și poate fi reverificat ani mai târziu.","open-source-aion.ea722c81af":"European","open-source-aion.26803e587f":"La momentul auditului","open-source-aion.15edfb4da4":"Realizat în","open-source-aion.75f527181b":"Offline","open-source-aion.f8c94a3b4b":"Ce este","open-source-aion.6b5eb5323e":"Offline, timp liniar","open-source-aion.a49b62e167":"Raționale exacte","open-source-aion.45f053dc73":"Aritmetică","open-source-aion.4329e5da7b":"11 domenii logice","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Formate de probă","open-source-aion.87415af880":"Certificate de probă","open-source-aion.9c8c22f54d":"Dovezi, nu asigurări","open-source-aion.44ab85a252":"Origine","open-source-aion.3271776def":"Offline, fără serviciu","open-source-aion.03128bed90":"Verificare","open-source-aion.4f1428fca3":"Hardware pe care îl controlezi","open-source-aion.5703321d0e":"Rulează pe","open-source-aion.978e9ec250":"Standard, portabil","open-source-aion.3229609e15":"Verificare","open-source-aion.cba0624eb5":"Înregistrare de verificare","open-source-aion.26ef011865":"Vezi unde rulează","open-source-aion.6f696724c6":"Vezi calea de verificare","open-source-aion.a3f1131acb":"AION este infrastructură de probă pentru deciziile AI, publică de la 1 septembrie 2026. Emite o probă compactă lângă un rezultat AI, iar un verificator separat parcurge acea probă pe baza premiselor originale și o acceptă sau o respinge fără model, fără sesiunea de rezolvare sau fără rețea.","open-source-aion.a2831cb958":"pentru decizii AI verificate independent","open-source-aion.78db6d1920":"Infrastructură de probă","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Nu te baza niciodată doar pe el","open-source-aion.4c1c703b94":"Ideea","open-source-aion.2518be9b9c":"Nu este necesar","open-source-aion.4ab2910209":"Contul tău","open-source-aion.3477f4d91d":"Același răspuns","open-source-aion.d7e70b6e08":"Aceeași întrebare","open-source-aion.930888ee28":"Fără internet","open-source-aion.d072f5db48":"Verificarea nevoilor","open-source-aion.576347ec82":"Europa","open-source-aion.eeffc514bd":"Nu, alții îl folosesc pentru tine","open-source-aion.cef1deea41":"Tu îl construiești","open-source-aion.64ae43e8fe":"Verificare probe","open-source-aion.fdd1e56642":"O chitanță pentru răspunsuri","open-source-aion.704869f20f":"Pe înțelesul tuturor","open-source-aion.658a8547d7":"Este sigur?","open-source-aion.06c805023d":"Un motiv pe care îl poți purta cu tine","open-source-aion.e92ed103c2":"AION adaugă o chitanță verificabilă la un răspuns AI. Asistentul tău îți poate spune dacă raționamentul este valid, fără să îți ceară să înțelegi mecanismul, iar chitanța poate fi verificată din nou fără conexiune la internet. AION este public din 1 septembrie 2026, ziua în care documentația sa devine și ea disponibilă.","open-source-aion.336366183a":"pentru decizii AI","open-source-aion.41cbc965ef":"O chitanță verificabilă","open-source-aion.4eabc3bc63":"CDCL cu pluginuri de teorii","open-source-aion.68836c550e":"Nucleu","open-source-aion.0cdb7c9a36":"Timp liniar, offline","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teorii","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Limbaj","open-source-aion.942587e61e":"Fișă de proiect","open-source-aion.d4a74b503a":"Citește documentația","open-source-aion.b683cc6ce4":"AION deschide programul pe 1 septembrie 2026: infrastructură de probe pentru decizii AI, cu depozitul și documentația publicate împreună. Explicațiile post hoc îți cer doar să ai încredere într-un alt raport din același sistem. AION emite în schimb un certificat de probă pe care orice verificator îl poate verifica offline, în timp liniar, fără solver.","open-source-aion.8f2ee5be83":"Rezultate AI","open-source-aion.376868cca2":"pentru verificare independentă","open-source-aion.hero.source":"Întreabă despre lansare","open-source-aion.45471af790":"Proveniența evenimentelor","open-source-aion.ac9835d4bd":"Transcrieri de execuție","open-source-aion.24f43d4446":"Arbori sintactici","open-source-aion.f6b229e148":"Fișierele tale, hardware-ul tău, numerele tale și un verificator care citește proba unui străin","open-source-aion.144fbc96c6":"NUMĂRATE","open-source-aion.719075bb86":"PARSEAZĂ ȘI REZOLVĂ","open-source-aion.8f84ba12df":"PROPRIILE TALE FIȘIERE","open-source-aion.8f088dbc07":"Aceasta este o evaluare de două săptămâni cu un rezultat scris, nu o demonstrație. Corpusul este al tău, hardware-ul este al tău, numerele sunt ale tale de publicat intern, iar nimic din exercițiu nu necesită o conversație cu noi. Instrumentarul vine cu depozitul, astfel încât rularea poate începe în ziua în care primești accesul.","open-source-aion.36ef075645":"Corect nu este opinia AION despre sine. Fiecare fișier dintr-un corpus standard poartă starea despre care se știe că o are, iar instrumentarul compară răspunsul AION cu acea adnotare instanță cu instanță, astfel încât numărul de la final este un scor față de un adevăr de bază declarat. Spațiul de adrese per rulare poate fi limitat, ceea ce împiedică un fișier patologic să ducă o mașină cu el.","open-source-aion.e5bce47d50":"Ce produce un proiect pilot","open-source-aion.680f97998b":"AION livrează un instrumentar de evaluare, astfel încât numerele pe care le citezi într-un caz de afaceri sunt cele produse de propriile tale fișiere pe propriul tău hardware. Îndreaptă-l către un corpus, iar el înregistrează timpul de parsare, timpul de rezolvare și memoria rezidentă maximă pentru fiecare instanță, apoi afișează un număr de câte răspunsuri au fost corecte. Rularea se repetă pe același corpus, astfel încât o a doua evaluare poate fi așezată lângă prima, linie cu linie.","open-source-aion.2d5f8acea9":"și citește numerele înapoi","open-source-aion.5586707b63":"Rulează mai întâi propriile fișiere","open-source-aion.67ec8d614c":"Înainte să te angajezi","open-source-aion.55744ee096":"Chiar și cu toate acestea, cineva va contesta un rezultat. Asta necesită o cale, nu o întâlnire","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"URMĂRIT LIVE","open-source-aion.24538c3986":"MARJĂ, NU ALARMĂ","open-source-aion.368f25d10d":"Undeva înainte de ultima zi a existat o zi în care munca era încă de o după-amiază, și aceea este ziua pe care un manager vrea să o marcheze, pentru că fiecare opțiune după aceea costă mai mult. Citirea marjei zilnic este modul în care se găsește acea zi.","open-source-aion.c5701049a8":"Raportul are un proprietar, nu o coadă, iar fiecare linie de pe el implică o muncă diferită cu o urgență diferită. Una este completă și nu necesită acțiune din partea nimănui. Una mai are patru zile, ceea ce o face planul acestei săptămâni, nu al zilei de azi. Una mai are o singură zi, ceea ce o face munca de azi dimineață. Una a depășit termenul de două săptămâni, ceea ce necesită un nume asociat și o propoziție care explică decalajul.","open-source-aion.26435b9406":"Orice are un termen limită poate fi urmărit în timp ce rulează, iar AION raportează spațiul rămas ca un număr cu semn, nu ca un succes. O fereastră de răspuns cu patru zile rămase. O perioadă de păstrare cu două săptămâni peste data la care ar fi trebuit să se închidă. Aceasta este o citire operațională pe care cineva poate acționa în această dimineață. Numărul se mișcă în fiecare zi, astfel încât raportul este citit ca o marjă, nu ca o alarmă.","open-source-aion.f49579b8d6":"înainte să devină o încălcare","open-source-aion.0e185152c8":"Citești marja zilnic","open-source-aion.bc09e774e9":"Obligații live","open-source-aion.cff8079f65":"Înregistrările răspund la întrebări după fapt. Unele obligații trebuie urmărite în timp ce rulează","open-source-aion.127edee78d":"SEMNAT","open-source-aion.b1c1ba1af8":"O LISTĂ","open-source-aion.8d27ef68f5":"ȘAPTE SE POT MIȘCA","open-source-aion.c84f34cb7c":"Atribuirea este un al doilea mecanism, nu o altă coloană a aceleiași înregistrări. O semnătură este aplicată peste ordinea derivării, astfel încât cine a produs un rezultat supraviețuiește unei schimbări de contractor, iar două răspunsuri identice de la doi furnizori rămân distinse. Acest lucru este valabil chiar și atunci când ambele au fost produse din aceleași intrări declarate.","open-source-aion.a76201631f":"Fiecare intrare de pe acea listă numește componenta care s-a schimbat, iar certificatul stocat în spatele ei este complet, astfel încât re-verificarea este o rulare, nu o reconstrucție. Alternativa, care este ceea ce au majoritatea organizațiilor, este o alegere între re-examinarea a tot și re-examinarea a nimic, iar în practică această alegere este întotdeauna făcută în același mod.","open-source-aion.5c82441a97":"Înregistrarea","open-source-aion.10d9103c24":"Un rezultat acceptat anul trecut a fost acceptat sub contractul de anul trecut. Șapte lucruri diferite se pot mișca sub el: o regulă de verificator, un schemă de certificat, o politică, o regulă de compilator, un contract de runtime, o versiune de model sau un contract de simulare. Când unul dintre ele se mișcă, întrebarea despre care concluzii trecute s-au bazat pe partea care s-a schimbat are un răspuns, iar răspunsul este o listă.","open-source-aion.1829734913":"primești o listă de refăcut","open-source-aion.6d49555943":"Când o regulă se schimbă mai târziu","open-source-aion.7f325552d8":"Calea ta de audit, versionată","open-source-aion.d272027f73":"O înregistrare locală este ușor de păstrat. Să o păstrezi relevantă când regulile se schimbă este mai greu","open-source-aion.05a898ec87":"FĂRĂ MODEL GAZDĂ","open-source-aion.c530254e40":"SITE-UL TĂU","open-source-aion.66b3dbbe8f":"FĂRĂ APEL EXTERN","open-source-aion.8ae7a1670e":"Pentru un responsabil cu protecția datelor care răspunde la o listă scurtă de întrebări despre această cale, și doar despre această cale: niciun procesator de adăugat într-un registru, niciun transfer de justificat, niciun furnizor de model în lanț și nimic din partea noastră care să nu poată fi disponibil în timpul incidentului tău sau să se schimbe sub tine în funcție de programul de lansare al altcuiva. Build-ul pe care îl ai este build-ul care rulează anul viitor. Acest răspuns este același indiferent dacă site-ul este conectat sau izolat.","open-source-aion.60ad7ae15b":"Două căi pot traversa o graniță și ambele sunt ale tale de configurat. Un cluster rulează peste adrese pe care ți le setezi singur. Un prover extern, dacă vrei unul în buclă, este un program pe care îl instalezi și rulează ca proces local pe propria mașină.","open-source-aion.2f6a307ba7":"Pentru operatori","open-source-aion.dbc08c41b9":"Build-ul implicit al AION nu include un client de ieșire. Verificarea unei dovezi, traducerea unei cerințe, monitorizarea unui semnal și rularea căutării au loc pe mașina pe care le-ai pornit, în interiorul propriei granițe, pe hardware pe care îl controlezi. Nu există model găzduit în lanț și nicio rută către unul. Același build rulează într-o cameră izolată ca și într-una conectată, pentru că nimic pe calea implicită nu are nevoie de rețea pentru a se finaliza.","open-source-aion.90c790a231":"și nimic nu apelează în afară","open-source-aion.4b9230d5db":"Totul rulează la fața locului","open-source-aion.fe7f7fc61a":"Unde are loc munca","open-source-aion.ed461cacdf":"O dovadă despre reguli este un lucru. Unde rulează munca este următoarea întrebare pe care o pun oamenii","open-source-aion.640d41197b":"UNUL LUCRAT","open-source-aion.29ff0fb82f":"ȘAPTE AFIRMAȚII","open-source-aion.431d64456a":"Aceasta este o afirmație despre setul de reguli, nu un eșantion de cazuri anterioare. Testarea a o mie de aplicații arată o mie de aplicații; o verificare de non-interferență acoperă fiecare pereche permisă de reguli, folosind auto-compoziție, reachability direcționată de proprietate și k-inducție, cu abstractizarea strânsă oriunde o pereche arată că era prea laxă. Când nu se menține, ceea ce revine nu este o statistică. Sunt două aplicații identice în fiecare câmp public, diferind în cel despre care ai întrebat, cu două rezultate diferite afișate unul lângă altul. Aceasta este o constatare asupra căreia un ofițer de conformitate poate acționa în aceeași dimineață.","open-source-aion.e5e1cd5506":"Ia întrebarea pe care regulatorii și reclamanții o pun cel mai des, în cuvinte diferite: a schimbat acest câmp rezultatul? Este răspunsă ca o proprietate peste două rulări. Leagă fiecare intrare publică împreună, lasă câmpul în cauză liber pe fiecare parte și cere ca rezultatul vizibil să fie de acord. Dacă este întotdeauna de acord, rezultatul nu a depins de acel câmp.","open-source-aion.227872d789":"Una dintre ele, lucrată","open-source-aion.5f92fd5ed1":"Un certificat este interesant doar pentru propoziția pe care ți-o permite să o spui. Acest binar corespunde acestui graf sursă. Această sarcină de lucru a rulat sub aceste capabilități. Această acțiune a avut aprobarea necesară. Acest optim îndeplinește această limită. Această traiectorie a respectat aceste invarianți. Această concluzie decurge din aceste constrângeri. Această ieșire a venit din acest model exact și set de parametri.","open-source-aion.418a3bc2fc":"pus în fața unui regulator","open-source-aion.7a7af31402":"Șapte afirmații pe care le poți","open-source-aion.a13c1cf72d":"Ce poți dovedi efectiv","open-source-aion.20467ce964":"Un caz este despre o aplicație. Unele întrebări sunt despre două dintre ele simultan","open-source-aion.dde18d1e41":"CINE DEȚINE","open-source-aion.f3b603a5b2":"ÎN VALORI","open-source-aion.53d2799375":"CAZUL","open-source-aion.f18bb15530":"Ambele sunt constatări și ambele au un proprietar. Niciuna nu este disponibilă dintr-un promovat sau un picat. Contraexemplul este ceea ce îți spune pe care dintre cele două îl ai.","open-source-aion.d83e9c1af9":"Contraexemplul pune capăt și argumentelor care altfel ar dura săptămâni, pentru că nu este opinia cuiva despre dacă regula este prea strictă. Este un caz, desenat în valorile reale peste care regula lucrează. Fie cazul este posibil undeva în afacerea ta, caz în care regula este corectă și sistemul este greșit, fie cazul nu poate apărea, caz în care specificația îi lipsește o constrângere pe care toată lumea a presupus-o și nimeni nu a scris-o.","open-source-aion.7455444aea":"Când o regulă nu se menține, AION returnează situația specifică care o încalcă, scrisă ca proză: care valori, de ce fel și ce condiții încalcă. Un inginer poate reproduce asta și un manager poate prețui, și pentru o dată cei doi se ceartă despre același caz.","open-source-aion.7d4873637b":"ca cazul care a încălcat-o","open-source-aion.aeb268fac7":"O regulă încălcată revine","open-source-aion.b5951203ea":"Ce îți oferă un eșec","open-source-aion.8a9a27b8f7":"Ceea ce rămâne sunt propozițiile care pot însemna două lucruri, și acelea sunt întrebate","open-source-aion.e1814a04c0":"REVIZUIT","open-source-aion.20e7dea6cd":"LECTURĂ SIMPLĂ","open-source-aion.295ea7bb80":"ENGLEZA PĂSTRATĂ","open-source-aion.a4abbaea33":"Traducerea este o bibliotecă de modele, nu un model, astfel încât aceeași propoziție produce întotdeauna aceeași lectură, iar o revizuire nu trebuie repetată pentru că instrumentul și-a schimbat părerea între un trimestru și următorul. Un al doilea revizor care citește aceeași propoziție ajunge la aceeași condiție, ceea ce face o revizuire transferabilă.","open-source-aion.f3689055f1":"Fiecare condiție vine cu o propoziție de engleză simplă care spune ce codifică și cu cantitățile peste care lucrează, fiecare numită cu tipul de valoare pe care o deține și propria linie de descriere. Astfel, revizuirea poate fi făcută de persoana care deține cerința, nu doar de persoana care deține notația.","open-source-aion.cac3da045e":"Cum se menține","open-source-aion.c6b765e4cc":"Cerințele sunt scrise de oameni care înțeleg afacerea și transformate în condiții de oameni care înțeleg notația, iar cele două versiuni apoi diverg ani de zile. AION le ține legate: scrii cerința ca o propoziție în engleză, iar condiția produsă din ea poartă propoziția ta cu ea. Revizorul le citește pe amândouă împreună, așa că divergența apare pe pagină, nu într-un incident.","open-source-aion.589a38f560":"persoanei care a întrebat","open-source-aion.5d212c3d75":"Regula rămâne lizibilă","open-source-aion.5373332e20":"Cine poate citi ce a fost verificat","open-source-aion.5f882ec681":"O referință este utilă doar dacă regula la care indică este una pe care oamenii tăi o pot citi","open-source-aion.bca8d6442c":"ACȚIONABIL","open-source-aion.705bc98c49":"NUMESTE REGULA","open-source-aion.ab9f5d57e4":"NUMESTE PASUL","open-source-aion.b4ba975800":"Separarea acestora este ceea ce permite ca un refuz să fie trimis unui furnizor, pentru că o acuzație este singurul lucru pe care nu îl poți retrage în liniște dintr-o relație cu un furnizor.","open-source-aion.7a47f854de":"Această formă este cea pe care un auditor sau un manager de furnizori o poate folosi, pentru că transformă o neînțelegere într-o referință. AION separă și două eșecuri care ajung sub un singur cuvânt. Fie pasul nu se reconstituie, ceea ce este un defect în dovadă și o constatare împotriva celui care a produs-o, fie pasul folosește o regulă pe care acest verificator nu o are, ceea ce este o problemă de domeniu pentru tine și nu o constatare împotriva nimănui.","open-source-aion.d9469b7dda":"Un eșec care spune verificare eșuată nu poate fi atribuit, contestat sau reparat, și ajunge ca o dispută, nu ca o constatare. AION returnează o locație și un motiv: care pas, în care fișier, ce regulă pretindea că aplică și ce lipsea când pasul a fost refăcut. Refuzul poate merge înapoi la echipa producătoare cu o adresă reproductibilă. Dacă dovada nu poate fi reconstruită, responsabilitatea este a producătorului; dacă verificatorului îi lipsește regula numită, este o decizie de domeniu. Acestea sunt cozi diferite și remedieri diferite.","open-source-aion.ccc6a09991":"cu pasul și motivul","open-source-aion.3619f211ef":"Un control eșuat se întoarce","open-source-aion.29801085dc":"Rezultatul care trebuie să fie utilizabil","open-source-aion.57c6ba11fc":"Șapte producători își păstrează propriul rezultat. AION standardizează plicul și rutarea pentru dovezile sale.","open-source-aion.f37804f36b":"UN PLIC","open-source-aion.8a3b4bf313":"ȘAPTE PRODUCĂTORI","open-source-aion.479f1de8ea":"Plicul comun oferă organizației un singur registru, un singur model de compatibilitate și un singur set afectat când o regulă se schimbă. Fiecare familie de certificate își păstrează propriul verificator și propriile reguli de refuz. O familie nouă se alătură prin înregistrarea acestor reguli și a verificatorului său; AION nu devine producătorul. Registrul este partea care crește.","open-source-aion.5b958e86c7":"Un solver poate emite certificate logice, de optimizare sau temporale. Twin și FMI produc rezultate diferite, dar împărtășesc familia de simulare și FMI. Producătorul spune ce a fost făcut; familia de certificate spune cum este verificată afirmația sa. Cele două sunt înregistrate separat, astfel încât niciuna nu poate fi dedusă din cealaltă.","open-source-aion.57e1cc2701":"Ce schimbă un singur plic","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin și FMI sunt șapte producători de rezultate diferite, nu șapte familii de certificate. AION dă dovezilor lor un singur plic și rutează fiecare certificat către verificatorul specific familiei. Plicul poartă producătorul, familia, schema și intrările declarate, în timp ce verificatorul familiei păstrează sensul tehnic. Un furnizor își poate schimba implementarea fără a schimba granița dovezilor organizației; doar o schimbare de familie sau de schemă extinde revizuirea de compatibilitate.","open-source-aion.65a41e884e":"un singur plic pentru dovezi","open-source-aion.837663a52a":"Șapte producători, și","open-source-aion.647e0f46ec":"Șapte producători","open-source-aion.af6010147d":"Un furnizor este o singură relație. Întrebarea interesantă este cât de departe ajunge aceasta","open-source-aion.35ecafecfb":"MAȘINA TA","open-source-aion.0676f9f8de":"TREI LUCRURI","open-source-aion.dfc87eabb4":"Aceasta mută conversația de pe terenul pe care furnizorii se simt confortabil. Nu le mai ceri să te convingă și nu mai plătești pentru a reproduce mediul lor. Odată ce ai cele trei lucruri, verificarea este a ta să o repeți oricând vrei, pe orice hardware vrei, inclusiv în săptămâna de după încheierea contractului.","open-source-aion.7677ed77e3":"Merită să fii precis cu privire la artefact, pentru că nu este întotdeauna un fișier. În funcție de familie, poate fi un fișier, o arhivă, un flux, un pachet semnat, o pereche de urme, o mărturie, o chitanță de execuție sau o derivare structurată. Ceea ce este întotdeauna, indiferent de formă, este ceva ce un verificator poate citi fără ca producătorul să fie prezent.","open-source-aion.a29def781f":"Ce este de fapt un certificat","open-source-aion.fdca1fef67":"Un certificat nu este un jurnal și nu este un rezumat. Este dovada pe care munca a lăsat-o în urmă, iar ceea ce un furnizor predă sunt trei lucruri: afirmația, intrările declarate și contractul împotriva căruia a fost făcută, și certificatul pe care sistemul l-a produs. Nu licența lor, nu versiunea lor, nu mașina lor. Aceste trei călătoresc împreună, iar verificarea lor nu necesită nimic mai mult de la furnizor.","open-source-aion.b054d236cd":"mai degrabă decât software-ul lor","open-source-aion.53e1575f60":"Verifici certificatul","open-source-aion.5e40f4ba8a":"Schimbarea poziției","open-source-aion.b9e2767b28":"Există o rută care nu este nici să îi crezi, nici să rulezi din nou software-ul lor","open-source-aion.7d87348ad6":"NUMELE TĂU PE EA","open-source-aion.48a5aca907":"SISTEMUL LOR","open-source-aion.32c3cafa08":"Aceasta este poziția pe care un auditor o analizează când întreabă cum te-ai asigurat, inclusiv sub reguli de dovezi precum cele ale EU AI Act. AION o schimbă dând fiecăruia dintre aceste rezultate un certificat pe care îl poți verifica, fără a reproduce furnizorul și fără acces la nimic din ceea ce ei consideră al lor. Verificarea rulează pe propria ta mașină, doar împotriva certificatului.","open-source-aion.ac90e72b2c":"Rutele obișnuite duc amândouă în același loc. Poți cere dovada lor, care este un document scris de ei despre propriul software. Sau poți cere să reproduci singur sistemul lor, ceea ce necesită licența lor, versiunea lor și mediul lor, și tot rămâi dependent de lucrul care a produs răspunsul.","open-source-aion.fc63c534d2":"Un solver spune că programul este fezabil. Un sistem AI ajunge la o concluzie reglementată. Un sistem agent efectuează o operație în numele tău. Un compilator produce un artefact critic pentru siguranță. Un runtime execută o sarcină controlată. O simulare validează o decizie de proiectare. Un geamăn digital raportează că o stare de operare este sigură. În fiecare dintre aceste cazuri, munca s-a întâmplat în altă parte, iar consecința cade asupra ta.","open-source-aion.c9672e2ac8":"numele tău este pe răspuns","open-source-aion.925d7b4a2d":"Sistemul lor l-a produs","open-source-aion.47b025f850":"Unde stă responsabilitatea","open-source-aion.905aee629b":"Procesul, un motiv pe care îl poți citi și aceeași regulă pentru toți cei pe care îi atinge","open-source-aion.4d0ee37058":"O DATĂ","open-source-aion.6ccb4a6f6a":"ACELAȘI MOTIV","open-source-aion.84adcc762b":"ACEEAȘI VERIFICARE","open-source-aion.56c6f422d8":"Aceasta este o scrisoare pe care cineva o poate scrie. În loc să spui că sistemul a decis, poți cita regula, să numești data, să numești versiunea și să întrebi persoana care a scris-o dacă asta a vrut să spună.","open-source-aion.073cdea47b":"Asta valorează ceva doar dacă o poți vedea, așa că ceea ce rămâi cu tine sunt trei lucruri pe care le poți folosi. Regula, în cuvinte obișnuite pe care le poți citi cu voce tare. Motivul pentru care s-a aplicat ție, citând acea regulă înapoi cu situația ta în ea. Și data la care a fost verificat procesul. Această înregistrare numește ce a verificat și împotriva cărei versiuni a regulilor a fost verificat.","open-source-aion.a50f912efb":"Ce poți face cu el","open-source-aion.1d94c73b03":"Dă același proces lui AION de două ori și verificarea iese la fel, luni și vineri, pentru tine și pentru persoana din spatele tău la coadă. Nu este că toată lumea primește același răspuns, pentru că oamenii aduc situații diferite. Este că verificarea în sine nu rătăcește și nimeni nu interpretează cazul tău pe loc. Un an mai târziu, același proces este verificat de aceleași reguli scrise, așa că un răspuns pe care l-ai primit poate fi încă explicat.","open-source-aion.fba7a52bf4":"luni și vineri","open-source-aion.77a3327a99":"Verificat în același mod","open-source-aion.cebde51ae2":"Cu ce rămâi","open-source-aion.a566f0cb1b":"Timpul este un fel de regulă. Cele mai multe sunt de tipul simplu, aplicate tuturor","open-source-aion.29231cd04d":"LA TIMP","open-source-aion.d89f7642e7":"URMĂRIT","open-source-aion.5d491ce50f":"ZILE RĂMASE","open-source-aion.c50722f442":"Aceeași citire funcționează după dată, precum și înainte. Paisprezece zile trecute este un fapt despre care cineva poate fi întrebat, cu o dată atașată, mai degrabă decât un semn roșu care a apărut fără avertisment.","open-source-aion.0b1cbd5f8a":"Un „promovat” nu îți spune nimic până în momentul în care încetează să fie un „promovat”, iar atunci opțiunile ieftine au dispărut. Un număr îți spune unde ești: douăzeci și două de zile rămase este o notă într-un jurnal, patru zile rămase este săptămâna asta, o zi rămasă este dimineața asta.","open-source-aion.af41b675b0":"Ce îți oferă asta","open-source-aion.2ff91b62ec":"Regulile cu un ceas în ele sunt cele care prind oamenii pe nepregătite. Un răspuns datorat în termen de treizeci de zile, o fereastră de rambursare, o perioadă după care ceva trebuie șters. AION le urmărește în timp ce rulează și raportează cât spațiu a rămas astăzi, ca număr de zile.","open-source-aion.94dc6c2b80":"cu mult înainte de ultima","open-source-aion.6bdbc0422a":"Poți vedea zilele rămase","open-source-aion.37f768721f":"Termene care te implică","open-source-aion.e3c2d4b24a":"Lucrul pe loc înseamnă, de asemenea, că poate ține un ochi pe ceas pentru tine","open-source-aion.4ace2cc9bc":"FĂRĂ CONT","open-source-aion.c5c3055a7b":"NU SE TRIMITE NIMIC","open-source-aion.a5b9137c2b":"RĂMÂNE AICI","open-source-aion.874bab5372":"Dacă este implicată o conexiune, este una pe care cineva a configurat-o în mod deliberat între propriile mașini și este oprită până când o face. Propoziția ta este citită de reguli scrise, în aceeași cameră cu tine, iar răspunsul ajunge cu linia oprită. Nimic nu a părăsit mașina pentru a o produce și nimic nu a fost trimis.","open-source-aion.4a03f17947":"Fără cont, fără înregistrare și fără serviciu extern care trebuie să funcționeze, să fie de încredere sau să mai existe anul viitor, pentru ca tu să primești un răspuns.","open-source-aion.f10eb79b5b":"Ce înseamnă asta pentru tine","open-source-aion.c17d4e01b4":"Multe instrumente răspund la o întrebare despre tine trimițând detaliile tale și așteptând un răspuns. Informațiile tale au călătorit, către o companie pe care nu ai ales-o, posibil către o țară al cărei nume nu îl vei auzi niciodată. AION face munca acolo unde este deja. Nu se trimite nimic, pentru că nu există nimic cu care să se trimită.","open-source-aion.9e50609149":"pe mașina la care ești","open-source-aion.ca67037369":"Răspunsul este calculat","open-source-aion.7df600af96":"Unde ajung detaliile tale","open-source-aion.399483042a":"A fi întrebat este o jumătate. Cealaltă jumătate este ceea ce ți se spune când răspunsul este nu","open-source-aion.0b5b7048ea":"TU ALEGI","open-source-aion.f12c755afa":"TE ÎNTREABĂ","open-source-aion.300453f44e":"DOUĂ SEMNIFICAȚII","open-source-aion.6debd2c487":"Care sună ca o mică curtoazie. Este diferența dintre o regulă la care ai fost de acord și o regulă pe care cineva a ghicit-o în numele tău, în grabă, într-o zi în care nu erai acolo. Ghicitul este modul obișnuit în care se face asta și nimănui nu i se spune vreodată că s-a întâmplat. A întreba costă o clipă și scoate ghicitul din înregistrare.","open-source-aion.6f02dd9d43":"AION se oprește și întreabă. Îți citează înapoi cuvintele de care nu este sigur, prezintă ambele interpretări în limbaj simplu, pune o întrebare cu propria ta frază în ea și așteaptă. Tu alegi. Nimic nu este decis cât timp întrebarea este deschisă.","open-source-aion.0ccfcd0de4":"Ce se schimbă","open-source-aion.b3124516ab":"„Anulează dacă întârzierea este mai mare de o oră.” Este o întârziere de șaptezeci și cinci de minute mai mare de o oră, sau orele sunt numărate întregi, așa că șaptezeci și cinci de minute este o oră și o oră nu este mai mare de una? Ambele interpretări sunt engleză obișnuită. Ele nu sunt de acord cu privire la exact un caz, iar acel caz va apărea.","open-source-aion.4449c95cf9":"înseamnă două lucruri, întreabă","open-source-aion.75ca04ac1b":"Dacă propoziția ta ar putea","open-source-aion.2297deb89a":"Când propoziția ta este neclară","open-source-aion.32cf0852b8":"O propoziție poate însemna și două lucruri deodată, și merită să ne oprim asupra ei","open-source-aion.b5d2541ad8":"FĂRĂ JARGON","open-source-aion.3b7c198e57":"SE ÎNTOARCE","open-source-aion.c4cc4b9845":"CUVINTELE TALE","open-source-aion.5c9a5c3396":"Și când aceeași propoziție este citită din nou, produce exact aceeași regulă, pentru că nimic în AION nu învață, nu derivă sau nu are o idee mai bună între timp. O regulă de care ai fost de acord odată rămâne regula de care ai fost de acord, iar persoana care o primește citește propoziția ta, nu un rezumat făcut de altcineva. Nimic pe parcurs nu o transformă în cuvintele altora.","open-source-aion.ba41f25c15":"Două lucruri decurg din păstrarea propoziției. Poți să-ți dai seama dacă a fost înțeleasă în ziua în care ai scris-o, citind, în loc să afli dintr-un incident un an mai târziu.","open-source-aion.c19473d784":"Scrie regula în cuvinte obișnuite și AION păstrează acele cuvinte. Ceea ce sună ca o mică amabilitate până în ziua în care contează: luni mai târziu, când ceva este oprit din cauza acelei reguli, propoziția pe care ai scris-o revine în partea de sus a explicației, în cuvintele pe care le-ai ales.","open-source-aion.4c0e51d183":"ai spune-o cu voce tare","open-source-aion.dcf65c0f8a":"Scrie regula așa cum","open-source-aion.e1a651b90e":"Spunând ce vrei","open-source-aion.beda6f7681":"Refacerea unei sume necesită suma scrisă. La fel și o regulă, iar a ta poate fi o propoziție","open-source-aion.ef6371cd2e":"SE OPRESTE","open-source-aion.47ce22a1f7":"PAS CU PAS","open-source-aion.9195df51f1":"O A DOUA CITIRE","open-source-aion.b66352de76":"Oprirea este jumătatea importantă. Orice poate fi de acord cu tine. Ceva care se va opri și va arăta spre linie merită să existe, și există foarte puțin din asta.","open-source-aion.e04fafc8fc":"AION adună coloana din nou. Nu pentru facturi, ci pentru tipul mai greu de muncă pe care o fac mașinile când decid că ceva este permis, sau sigur, sau imposibil, când construiesc ceva, când rulează ceva în numele tău, sau când calculează ce s-ar întâmpla înainte ca cineva să încerce. Citește calculul pe care prima mașină l-a scris, reface fiecare pas pentru sine și se oprește la primul pe care nu-l poate face să iasă.","open-source-aion.b55b759c73":"Când o factură pare greșită, nu te cerți dacă totalul este corect. Aduni coloana din nou tu însuți. Dacă obții același număr, totalul rămâne. Dacă te oprești la a patra linie pentru că nu funcționează, poți spune exact care linie, iar argumentul se termină într-o propoziție.","open-source-aion.59141b0dfa":"în loc să te creadă pe cuvânt","open-source-aion.fa22d5033b":"Cineva reface suma","open-source-aion.333a6c87f2":"o schimbare produce un set afectat și o coadă, nu o reinterpretare tăcută a trecutului","open-source-aion.0eecb96558":"sunt cinci fapte","open-source-aion.59e22ed738":"produs, semnat, verificat, acceptat și încă compatibil","open-source-aion.d78c662e5b":"verificat, nu presupus","open-source-aion.5b44284acd":"încă compatibil cu","open-source-aion.cc4bc74f90":"cu o versiune de contract","open-source-aion.3bb51eeea5":"acceptat sub","open-source-aion.72954f75cf":"cu o versiune de verificator","open-source-aion.3741770a87":"verificat de","open-source-aion.7fc7c8aef9":"peste un hash al ordinii de derivare","open-source-aion.d2a7817a72":"semnat de","open-source-aion.9d7c5e8097":"cu o versiune","open-source-aion.8fffa5fcb8":"produs de","open-source-aion.756e62f03a":"Un rezultat, cinci fapte","open-source-aion.2b8be4ecd3":"Atribuirea funcționează pe un mecanism propriu: o semnătură Ed25519 peste un hash BLAKE3 al ordinii de derivare, cu un nonce monoton și un timestamp, verificabilă cu cheia publică a producătorului. Acceptarea funcționează pe altul, purtând identitatea și versiunea verificatorului și versiunea de contract pe care a acordat-o. Când ceva din dedesubt se mișcă, o regulă de verificare, un schemă de certificat, o politică, o regulă de compilator, un contract de runtime sau o versiune de model, certificatele care au declarat o dependență de acesta formează un set afectat și sunt puse în coadă pentru a fi verificate din nou, cu componenta schimbată numită.","open-source-aion.6b8169d142":"Un verdict singur este un cuvânt fără autor. Cinci fapte care de obicei se prăbușesc într-unul singur sunt ținute separate aici: cine a produs un rezultat, cine l-a semnat, ce l-a verificat, sub ce contract a fost acceptat și dacă este încă compatibil cu regulile așa cum stau ele astăzi. Acestea sunt cinci întrebări diferite și patru dintre ele supraviețuiesc unei schimbări de furnizor.","open-source-aion.2cd4b335f4":"Un verificator îl verifică.","open-source-aion.d15fbc9566":"Nimic nu este verificat.","open-source-aion.481d0fc02c":"Întregul argument","open-source-aion.ca75c84634":"Fiecare certificat de aici ajunge ca o singură înregistrare, iar înregistrarea își păstrează faptele separate","open-source-aion.3ecc9abb23":"EXTENSIBIL","open-source-aion.8112bd91bc":"IZOLAT AERIAN","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Acolo unde o singură verificare este cu adevărat prea mare pentru o singură mașină, munca se împarte în cuburi între mașini cu partajare de clauze între ele, iar un rezultat compus este acceptat doar după o verificare de acoperire: nici două cuburi nu pot fixa același set de literali, iar ceea ce acoperă trebuie să se adune la întregul spațiu, nu la aproape tot. O îmbinare scurtă cu unu este o refuzare, care este aceeași disciplină ca peste tot în produs. Dincolo de asta, un registru de verificatori și o API de extensie sunt modul în care o familie de certificate pe care nimeni de aici nu a scris-o este verificată aici.","open-source-aion.04cd68c7fb":"Doar două lucruri pot traversa o graniță și ambele sunt configurate de tine. Un cluster rulează peste adrese pe care le stabilești. Un producător extern este un program pe care îl instalezi și îl rulezi ca proces local. Nu există niciun model găzduit nicăieri în lanț și niciun serviciu de-al nostru care să fie indisponibil în timpul incidentului tău sau care să se schimbe sub tine pe programul de lansare al altcuiva. O proprietate izolată aerian verifică exact ca una conectată, pentru că verificarea nu a avut nevoie niciodată de producător în primul rând.","open-source-aion.ac1913e46c":"Două căi de ieșire, și ambele sunt ale tale","open-source-aion.c2193fefe2":"Verificarea este o calculație ca oricare alta, iar unde rulează este decizia ta. AION publică pe 1 septembrie 2026: odată ce depozitul este public, leagă biblioteca, rulează comanda sau ridică serviciul în interiorul propriei granițe. Construcția implicită nu are niciun client de ieșire, deci verificarea unui certificat nu necesită cont, nici furnizor și nici rută de ieșire din mașina pe care a pornit.","open-source-aion.72d09c5994":"un serviciu, sau un enclave","open-source-aion.f8ac38e647":"O bibliotecă, o comandă","open-source-aion.604918db00":"Unde rulează verificarea","open-source-aion.c07ebfbab5":"O arhivă rămâne nemișcată. Ultima întrebare este unde rulează toate acestea, de fapt","open-source-aion.d34941b7ce":"INDEXAT","open-source-aion.79ae623ce9":"ADRESAT PRIN CONȚINUT","open-source-aion.0f7d1ea9ca":"Partea care trebuie construită, nu presupusă, este indexul. Când o regulă de verificare, un șablon de certificat, o politică, o regulă de compilator, un contract de runtime sau o versiune de model se schimbă, certificatele a căror valabilitate depindea de componenta modificată sunt găsite prin căutare, nu prin scanarea tuturor și speranță. Dependențele sunt declarate în plic, deci setul afectat este o interogare, iar coada de re-verificare este rezultatul ei, cu componenta modificată menționată pentru fiecare intrare. Alternativa pe care majoritatea organizațiilor o au de fapt este o alegere între re-examinarea tuturor și re-examinarea nimicului.","open-source-aion.144711734a":"Stocarea este utilă doar dacă un cititor care a mers mai departe o poate deschide în continuare, deci fiecare înregistrare poartă semnătura producătorului, identitatea și versiunea verificatorului care a acceptat-o, versiunea contractului sub care a fost acceptată și dependențele pe care se sprijină. Un test de compatibilitate rulează la întoarcere.","open-source-aion.22f96be502":"Setul afectat este un index real","open-source-aion.a1b04ec691":"Certificatele care merită păstrate sunt cele despre care vei fi întrebat ani mai târziu. AION stochează un certificat acceptat compact și prin adresa de conținut: identificatori ținuți ca diferențe, modele repetate codificate prin lungimea rulării, subdovezi identice hash-uite și stocate o singură dată, iar întregul lucru adresat prin conținutul său, nu prin locul unde cineva l-a arhivat. O adresă de conținut este ceea ce permite unui cititor care a mers mai departe să găsească din nou același certificat și să îl verifice a doua oară, ani după rularea care l-a produs.","open-source-aion.c017c017d7":"și rămâne re-verificabil","open-source-aion.2e10b84b57":"Un certificat rămâne mic","open-source-aion.9263a81467":"Stocarea a ceea ce a fost verificat","open-source-aion.1f029bacad":"Șase familii, și fiecare dintre ele ajunge în aceeași înregistrare","open-source-aion.1deb4d4a29":"TRAIECTORIE","open-source-aion.f8d5b44c34":"INVARIANȚI","open-source-aion.52dd7acef9":"CONFORMITATE","open-source-aion.24d7374cb9":"Păstrarea lor separate este ceea ce face primele două să valoreze ceva. O asigurare care implică în liniște pe a treia este cea care eșuează în fața unui regulator, iar un certificat care își numește propria limită este cel care supraviețuiește întâlnirii.","open-source-aion.0e4ffe42fa":"Trei întrebări diferite sunt puse unei simulări, iar a fi sincer cu privire la care două sunt abordabile aici este întregul conținut profesional al secțiunii. Conformitatea execuției întreabă dacă modelul declarat, parametrii și configurația au produs într-adevăr această traiectorie, iar asta este verificabil. Verificarea proprietăților matematice întreabă dacă invarianții declarați se mențin pe parcursul rulării, iar asta este verificabil și ea, cu un eșec care returnează urma, nu un verdict. Valabilitatea fizică întreabă dacă modelul reprezintă lumea reală, iar niciun certificat nu stabilește asta. Aparține proprietarului modelului și îi aparține permanent.","open-source-aion.bb70d13ca4":"Linia de care această secțiune este atentă","open-source-aion.ac558913f9":"Un rezultat de simulare este folosit pentru a lua decizii mult timp după ce rularea a dispărut. Certificatul poartă identitatea modelului și a FMU, setul de parametri, starea inițială, configurația solverului, secvența de pași de timp sau evenimente, tranzițiile de stare, verificările de invarianți efectuate, starea de convergență sau terminare, hash-ul traiectoriei rezultate și o urmă contraexemplu unde o proprietate eșuează.","open-source-aion.1c9f5f0f21":"răspunde exact la două dintre ele","open-source-aion.242c47d00a":"Trei întrebări, și aceasta","open-source-aion.a635f9edf3":"Twin și FMI, certificate","open-source-aion.43f8bc442f":"Execuția este o singură rulare a unui singur lucru. O simulare face milioane de ele deodată","open-source-aion.d3a968f797":"ID DE IEȘIRE","open-source-aion.d79014995c":"ATESTAT","open-source-aion.2fbbf64505":"CAPABILITĂȚI","open-source-aion.51fd9d7843":"Determinismul este ceea ce face restul verificabil. Pentru că tranzițiile sunt deterministe date fiind modulul, intrările și permisiunile, un verificator le poate urmări fără a re-executa workload-ul în mediul său original, iar două rulări care pretind aceeași identitate de ieșire din aceleași intrări fie sunt de acord, fie indică tranziția unde au încetat să fie de acord. Aceasta este o atestare de runtime în practică: ce a rulat, sub ce autoritate, verificabil fără a-l rula din nou.","open-source-aion.0d0fd79859":"Cele mai multe întrebări puse despre un workload după fapt sunt de fapt întrebări despre autoritatea sa. La ce putea ajunge acest lucru în timp ce rula și a ajuns la altceva. Un certificat care poartă permisiunile de capabilitate alături de tranziții răspunde la asta fără ca cineva să citească un log și răspunde cuiva care nu operează runtime-ul.","open-source-aion.890c61e134":"De ce setul de capabilități este câmpul interesant","open-source-aion.1331fa2052":"Un status de ieșire spune că un workload s-a terminat. Certificatul de execuție spune ce s-a terminat: identitatea workload-ului și a modulului, versiunea runtime-ului, permisiunile de capabilitate pe care le-a deținut, intrările pe care le-a primit, tranzițiile deterministe de stare prin care a trecut, limitele de resurse în care a rulat, identitatea ieșirii pe care a produs-o și dacă s-a finalizat sau a fost prins în capcană. Fiecare dintre acestea este un câmp din care se poate răspunde la o întrebare ulterioară, fără a reveni la mașina care l-a rulat.","open-source-aion.65576ef482":"sub care capabilități","open-source-aion.74a9894f4f":"Ce a rulat, pe ce și","open-source-aion.eabc461dcf":"Selvedge, certificat","open-source-aion.b4792818f1":"Un artefact compilat trebuie totuși să ruleze undeva, iar acea rulare este și ea o afirmație","open-source-aion.414cbcc9ec":"PROVENIENȚĂ","open-source-aion.24466ece94":"DE LA SURSĂ LA ARTEFACT","open-source-aion.c81d361198":"Această precizie este ceea ce face artefactul util mai departe. Într-un build reglementat, întrebarea este rareori dacă un compilator este bun. Este dacă acest binar corespunde acestui graf sursă sub această configurație de optimizare, o întrebare care are un răspuns, iar răspunsul călătorește cu artefactul, nu trăiește în sistemul de build care l-a produs. Asta înseamnă proveniența build-ului în practică: o afirmație despre acest artefact, verificabilă fără sistemul de build care l-a creat.","open-source-aion.6c1fd4df2b":"Declarația este disciplina. Un certificat nu afirmă că fiecare optimizare a fost corectă ca o singură afirmație nediferențiată, pentru că acea afirmație nu este nici verificabilă, nici adevărată pentru niciun compilator real. El numește exact ce proprietăți de conservare sau echivalență stabilește, peste ce transformări, iar verificatorul le verifică pe acelea și nu raportează nimic altceva.","open-source-aion.fd5ed4a1d8":"Afirmații numite, nu una generală","open-source-aion.82a76c947a":"Un compilator îți oferă un artefact și un status de ieșire. Certificatul de compilare poartă ceea ce se pretinde că este acel artefact: identitatea sursei sau a grafului din care provine, versiunea compilatorului și a optimizării, secvența de transformări aplicată, conservarea tipului și a formei peste acele transformări, kernel-urile selectate, identitatea artefactului produs și verificările de echivalență sau invariant pe care certificatul le declară.","open-source-aion.06efebf0f5":"despre sursa din care provine","open-source-aion.3f208ecc5e":"Binarul este și el o afirmație","open-source-aion.716710e273":"Kera, certificat","open-source-aion.89572e64cc":"O organizație poate fi certificată. La fel și compilatorul care a construit ceea ce ea rulează","open-source-aion.502114d554":"CHITANȚE","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORITATE","open-source-aion.965738574a":"Valoarea apare când operațiunea este contestată. O urmă de workflow este relatarea organizației despre sine. Un certificat pe care un verificator independent l-a acceptat, sub o versiune de contract numită, este o altă clasă de dovezi, iar diferența este exact cea pe care AION există să o creeze.","open-source-aion.f4652935ed":"Acesta este un certificat despre o operațiune guvernată, nu despre ce gândea un agent. El rezolvă întrebările pe care cineva le va primi efectiv: dacă autoritatea exista în momentul în care acțiunea a fost declanșată, dacă poarta care trebuia să țină a ținut, dacă aprobarea a fost atașată acțiunii, nu unui mesaj din apropiere, și dacă tranzițiile de stare pe care le pretinde înregistrarea sunt cele permise de contract. Toate acestea sunt verificabile automat și niciuna nu necesită acces la un model.","open-source-aion.be15814346":"Ce stabilește și ce nu stabilește","open-source-aion.38d3c11f27":"Un workflow finalizat este o afirmație ca oricare alta. Certificatul organizațional stabilește operațiunea guvernată care a avut loc efectiv: obiectivul și versiunea de politică sub care a rulat, organizația formată, rolurile și autoritatea rezolvate, sarcinile executate și tranzițiile lor, porțile de politică depășite, aprobările atașate, acțiunile efectuate și chitanțele înregistrate.","open-source-aion.65a8805f19":"să fi urmat contractul său","open-source-aion.f827cfbcbf":"O operațiune poate fi dovedită","open-source-aion.07fba05892":"Nexus, certificat","open-source-aion.c6fd961235":"Raționamentul este un producător. O organizație de agenți este un lucru mai greu de certificat","open-source-aion.2764d46fd5":"FĂRĂ APEL LA MODEL","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Front-end-ul cerințelor în engleză aparține și el aici, pentru că un certificat de raționament este la fel de revizuibil ca și constrângerea din vârful său. O bibliotecă deterministă de modele returnează condiții formale clasate după câte fraze declanșatoare s-au potrivit, fiecare purtând lectura sa simplă și cantitățile peste care lucrează, iar acolo unde o propoziție poartă cu adevărat mai mult de o lectură, ridică ambiguitatea cu întrebarea numită, nu o rezolvă în tăcere.","open-source-aion.c4d7d27503":"Dedesubt stau producători de ambele feluri, acceptați prin aceeași graniță. AION decide structura Booleană, aritmetica logicii diferențelor, cuvintele bitvector și egalitatea cu funcții neinterpretate de unul singur, peste o căutare completă condusă de conflicte cu doi literali urmăriți, o euristică de activitate ordonată în heap, reporniri geometrice și ștergere de clauze bazată pe activitate. La un răspuns nesatisfiabil, returnează un nucleu, care numește care dintre constrângerile tale se luptau, nu descrie căutarea care le-a găsit. Un solver extern rulează ca proces propriu și înapoiază o dovadă, iar nimic altceva decât acel fișier nu trece între cele două. Orice instrument care emite o dovadă într-un format pentru care AION are un verificator se califică, printre ele cvc5, iar granița este formatul, nu furnizorul.","open-source-aion.5264c1875d":"Producători, nativi și externi","open-source-aion.09b6611fc2":"Loom raționează. Ce verifică AION este artefactul pe care raționamentul îl lasă în urmă: constrângerile care au fost active, regulile care au fost aplicate, subproblemele care au mers la un solver, certificatele pe care acele solvere le-au returnat, contradicțiile găsite, limitele care au închis o decizie și afirmația finală. Artefacte computaționale explicite și derivări declarate, verificate ca atare.","open-source-aion.2224f4889f":"derivarea pe care se sprijină","open-source-aion.1aceefa727":"O concluzie sosește cu","open-source-aion.40e8df9cbd":"Loom și solverele de sub el","open-source-aion.cbac360b09":"Pașii booleeni și aritmetici sunt o familie. Raționamentul este locul unde începe stiva","open-source-aion.9786d05f5a":"FUZZAT","open-source-aion.a9bb80378b":"RE DERIVAT","open-source-aion.0204e8b30c":"REGULĂ CU REGULĂ","open-source-aion.a43c278b96":"La nivel de clauză, fiecare adăugare este rededusă din primele principii: presupuneți noua clauză falsă, propagați clauzele pe care le citează sugestiile sale și cereți contradicția promisă de acele sugestii. Acolo unde propagarea singură nu o forțează, adăugarea trece la condiția mai dificilă asupra literalului pivot numit împotriva fiecărei clauze cu care acel pivot ar putea rezolva, astfel încât un pas nu poate fi acceptat prin simpla numire a unui pivot pe care clauza nu îl conține. Formula și demonstrația sunt citite rând cu rând, astfel încât o demonstrație mai mare decât memoria mașinii este totuși verificată de la un capăt la altul. Suita proprie a AION este ostilă față de AION: o sugestie care citează pasul pe care ar trebui să îl justifice, doi pași care se sprijină unul pe celălalt, un pivot pretins dar absent, două clauze sub un singur identificator, marcatorul de final folosit ca identificator, o ștergere a unei clauze niciodată adăugate și aceeași clauză ștearsă de două ori. Fiecare cititor care atinge un fișier scris de altcineva este fuzat împotriva unui corpus semănat.","open-source-aion.13a29c20f0":"Trei condiții rulează înaintea verificării regulii pe fiecare pas, într-o ordine fixă: dacă pasul se citează pe sine, dacă fiecare număr pe care îl citează este prezent și dacă oricare dintre ele este numerotat peste pasul care îl citează. Înaintea tuturor celor patru, fișierul este scanat o dată pentru un număr de pas repetat. Doar o demonstrație al cărei fiecare pas trece de toate acestea ajunge la ultima condiție, care este dacă fișierul se închide într-o contradicție. O derivare care se epuizează cu literali încă în picioare a trecut tot restul și este totuși refuzată.","open-source-aion.f626b7a7da":"Sub suprafață","open-source-aion.1a95f2e67d":"Demonstrațiile cu clauze din familia LRAT, care este SAT, și demonstrațiile cu reguli din formatul Alethe, care este SMT, sunt familia cu cea mai lungă istorie de oameni care încearcă să o învingă, ceea ce o face cea potrivită de arătat. AION trimite fiecare pas către rutina care implementează regula sa, iar un nume de regulă fără nimic în spate încheie citirea mai degrabă decât să treacă în tăcere, cu numărul pasului și regula tipărite.","open-source-aion.8294eed416":"și o regulă necunoscută o oprește","open-source-aion.9959b32cda":"Fiecare pas întâlnește patru teste","open-source-aion.3821e115bc":"Familia cu adversari","open-source-aion.c415bc49f1":"Cea mai veche familie este cea cu cei mai mulți adversari, deci este cea la care să ne uităm mai întâi","open-source-aion.06d55361b1":"VERSIONAT","open-source-aion.bca8de5f5a":"NOUĂ FAMILII","open-source-aion.187b58774c":"Familiile sunt versionate separat din același motiv. Un set de reguli se poate strânge în familia logică fără să deranjeze familia de simulare, iar setul de certificate afectate pentru acea schimbare este exact înregistrările care au declarat versiunea care se schimbă. Cele nouă de astăzi sunt logică și satisfiabilitate, optimizare, temporal și hiperproprietate, raționament, organizațional, compilare, execuție la rulare, simulare și FMI și integritate de stocare.","open-source-aion.ca4a7a3c63":"Înregistrarea unei familii este modul în care un sistem care nu exista când a fost scris AION devine verificabil de acesta. Învelișul este deja același, stratul de stocare și coada de reverificare funcționează deja, iar ceea ce o nouă familie trebuie să furnizeze este un verificator și un set de reguli declarat. Software-ul terț care implementează un contract de certificat ajunge prin aceeași ușă ca orice al nostru.","open-source-aion.6581749da9":"De ce este un registru mai degrabă decât o listă","open-source-aion.c453f0b87d":"O familie de certificate este un contract numit, versionat, mai degrabă decât un format de fișier. Fiecare declară identitatea și versiunea sa, tipul de afirmație pe care îl stabilește, intrările pe care le necesită, modul în care este reprezentată demonstrația sau martorul, algoritmul de verificare, setul de reguli pe care verificatorul îl acceptă, metadatele sale de dependență și compatibilitate, redarea sa lizibilă pentru oameni acolo unde există și propria taxonomie de refuz.","open-source-aion.29a8090d97":"și setul este extensibil","open-source-aion.7dd9783a82":"Nouă familii, un registru","open-source-aion.f4c0c73854":"Registrul","open-source-aion.2b6d7305db":"O verificare independentă trebuie să știe ce fel de certificat ține în mână","open-source-aion.b4dee9d399":"FĂRĂ REPLAY","open-source-aion.1ae37e9b3a":"FĂRĂ LICENȚĂ","open-source-aion.082414b331":"VERIFICARE MĂRGINITĂ","open-source-aion.85bcd01276":"În niciunul dintre aceste cazuri verificatorul nu are nevoie de căutarea producătorului, euristicile, starea ascunsă, apelurile de model sau mediul de rulare. Acesta este ceea ce face verificarea independentă accesibilă mai degrabă decât aspirativă.","open-source-aion.73dc1e45ec":"Asimetria are aceeași formă în fiecare domeniu și merită văzută de patru ori. O căutare condusă de conflict poate rula ore întregi printr-un spațiu pe care nimeni nu îl poate enumera; demonstrația cu clauze pe care o emite este urmată linie cu linie. Un compilator poate efectua sute de treceri de optimizare cu euristici pe care nimeni din afara echipei nu le înțelege; certificatul înregistrează afirmațiile de conservare care trebuie să se mențină peste ele. O simulare poate rula peste milioane de pași; certificatul furnizează punctele de control, tranzițiile, invarianții și trasarea care fac rezultatul verificabil. O operațiune Nexus poate coordona foarte mulți agenți; certificatul stabilește autoritatea, tranzițiile de stare, aprobările și chitanțele de acțiune.","open-source-aion.3bcb80f6d9":"Ce păstrează fiecare producător pentru sine","open-source-aion.ceb0061493":"Sistemul care a produs rezultatul nu are ultimul cuvânt asupra faptului că certificatul său se menține. AION verifică un artefact mărginit mai degrabă decât să repete calculul costisitor, motiv pentru care verificarea poate rula pe un laptop împotriva unei munci care a luat unui cluster un weekend și de ce nu are nevoie nici de licența producătorului, nici de mașina sa. Certificatul furnizează punctele de control pe care verificatorul le parcurge, astfel încât costul verificării urmează dimensiunea artefactului mai degrabă decât dimensiunea căutării din spatele său.","open-source-aion.69524cecfe":"și acesta este tot trucul","open-source-aion.ee21bac231":"Verificarea nu înseamnă refacere","open-source-aion.396e9b624d":"Separarea arhitecturală","open-source-aion.504a1b0a8d":"Un plic spune ce a sosit. Următoarea întrebare este cine are voie să îl deschidă","open-source-aion.a9ea7a518b":"UN PLIC","open-source-aion.d7e877b15b":"OPT CÂMPURI","open-source-aion.34c043fc06":"Câmpul de dependențe este cel pe care oamenii îl subestimează. Un certificat care se sprijină pe alt certificat îl numește, astfel încât o refuzare sau o modificare de schemă se propagă prin setul care s-a bazat pe el, în loc să se oprească la prima înregistrare pe care cineva se întâmplă să o privească. Asta este ceea ce transformă o grămadă de rezultate acceptate în ceva la care poți pune o întrebare.","open-source-aion.7dc6226fd7":"Pune informațiile de rutare în interiorul payload-ului și fiecare nouă familie de certificate devine o nouă integrare pentru toți cei din aval. Ține-le în afara lui și stratul de stocare, urmăritorul de compatibilitate, coada de reverificare și înregistrarea de audit sunt scrise o singură dată și funcționează pentru familii care nu existau când au fost construite.","open-source-aion.48eb1ab2b4":"De ce separarea își merită locul","open-source-aion.419ad6edc1":"Un certificat de compilare și o dovadă de clauză nu au nimic în comun în interior și ajung în același plic. Opt câmpuri: afirmația, intrările pe baza cărora a fost făcută, producătorul, versiunea contractului, tipul de certificat, payload-ul certificatului, dependențele și semnătura. Tot ce este specific familiei stă în interiorul payload-ului, iar tot ce are nevoie un verificator pentru a ruta, a versiona și a înregistra lucrul respectiv stă în afara lui.","open-source-aion.03a195fded":"și opt câmpuri în interiorul lui","open-source-aion.9895a4db76":"Fiecare familie, un singur plic","open-source-aion.33164fb254":"Plicul comun","open-source-aion.315fae6edd":"Opt tipuri de sisteme, opt tipuri de afirmații și un singur plic în care călătoresc toate","open-source-aion.661f13bc63":"VERIFICAT","open-source-aion.ea0dae37f4":"UN CERTIFICAT","open-source-aion.f07b84d4d2":"O AFIRMAȚIE","open-source-aion.1edfca7587":"AION este acel al doilea program. Ia un certificat produs de un străin, reconstituie ceea ce afirmă, iar acolo unde o afirmație nu se reconstituie, numește elementul, numește regula și se oprește acolo. O refuzare care indică linia 40 este un lucru pe care un singur cuvânt nu poate fi niciodată.","open-source-aion.4428102723":"Metodele formale au stabilit acest aranjament cu zeci de ani în urmă dintr-un singur motiv. Producătorul își scrie munca, iar un al doilea program, mult mai mic, citește acea muncă înapoi. Al doilea program este cel care merită construit cu grijă, pentru că este suficient de mic pentru a fi înțeles de la un capăt la altul. Ceea ce face AION este să scoată acest aranjament din lumea solverelor și să îl facă contractul pentru orice altceva: raționament, operațiuni ale agenților, compilare, execuție, simulare.","open-source-aion.51edeceac1":"unsat. compilat. finalizat. sigur. optim. politică aprobată. simulare convergentă. flux de lucru aprobat. Opt sisteme, opt cuvinte și niciunul dintre ele nu poartă motivul pentru care este adevărat. Calculul cu dovadă este alternativa: producătorul păstrează munca scumpă și emite un certificat alături de rezultat, iar cineva care nu are niciun interes în răspuns verifică acel certificat.","open-source-aion.d3571e9e01":"până când cineva îl reface","open-source-aion.03d9c22d95":"Un rezultat este doar o afirmație","open-source-aion.dfc28595b4":"De ce există o a doua lectură","open-source-aion.3c6178c9cd":"Cui îi aparține raportul","open-source-aion.42c21bbe27":"Ce stabilește un caz","open-source-aion.4d05bcfcbf":"Ce îți permite o refuzare","open-source-aion.4c0a0d8ef3":"Cele două căi obișnuite de ieșire","open-source-aion.e097afe170":"Ce rezultă din păstrarea lui","open-source-aion.c9681d6875":"Ce face de fapt","open-source-aion.1ee58a7b8d":"De unde provine aranjamentul","open-source-aion.eec3b038bd":"atribuire","open-source-aion.65279e1ecf":"verificare","oss-aion-adoption-paths.733a87e5fb":"Testează o cale de decizie","oss-aion-adoption-paths.34dfd13db9":"Rulează un certificat exemplu înainte de a integra AION într-o cale de decizie activă.","oss-aion-adoption-paths.3f1d1c0d24":"Inspectează certificatul exemplu inclus.","oss-aion-adoption-paths.a5339faf54":"Rulează dovezile exemplu incluse ca verificare.","oss-aion-adoption-paths.b38db2875a":"Verifică același certificat cu aion check și cu un verificator compatibil independent.","oss-aion-adoption-paths.0e42c62826":"Echipa ta de evaluare","oss-aion-adoption-paths.ca15f8db66":"Integrează-l într-un sistem","oss-aion-adoption-paths.e8219f1ea8":"Echipa ta de software existentă leagă biblioteca, astfel încât sistemele pe care le rulezi deja să poată atașa un certificat fiecărei decizii.","oss-aion-adoption-paths.91e2e7e34b":"Inginerii tăi adaugă AION unui sistem pe care îl operezi deja.","oss-aion-adoption-paths.96e8012ed9":"Fiecare decizie poartă apoi un certificat verificabil.","oss-aion-adoption-paths.6e56d00bc7":"Niciun furnizor nou nu se află în calea acelei decizii.","oss-aion-adoption-paths.b0e0c85d36":"Echipa ta de inginerie","oss-aion-adoption-paths.4637a51566":"Folosește-l la audit","oss-aion-adoption-paths.03b3d20015":"Un certificat produs anterior poate fi reverificat oricând cu instrumentul din linia de comandă, pe propriul hardware, offline.","oss-aion-adoption-paths.8b6e7ae424":"Păstrează certificatul produs când a fost luată decizia.","oss-aion-adoption-paths.ab48bfd890":"Reverifică-l mai târziu cu instrumentul din linia de comandă, offline.","oss-aion-adoption-paths.6fe516ffcf":"Înmânează aceeași înregistrare unui regulator sau unui auditor.","oss-aion-adoption-paths.4e64c95d9e":"Echipa ta de conformitate","oss-aion-adoption-paths.6b5eb5323e":"Începe cu o cale de decizie","oss-aion-adoption-paths.1635f113ec":"Trei moduri de adoptare","oss-aion-adoption-paths.5eef32f959":"Cine o rulează","oss-aion-adoption-paths.29a9e7fa74":"Certificatul este identic indiferent de ruta aleasă.","oss-aion-adoption-paths.3e4f1a5e1b":"O singură bibliotecă, un singur instrument din linia de comandă","oss-aion-adoption-paths.tag.d59fec26d9":"Înainte de integrare","oss-aion-adoption-paths.tag.391b31405f":"Pentru inginerii tăi","oss-aion-adoption-paths.tag.6fd7b4f249":"Pentru conformitate","oss-aion-archive-parts.cea57012da":"necomprimat dincolo de citire","oss-aion-archive-parts.10f2f8d11a":"comprimat pentru raft","oss-aion-archive-parts.0468a5b797":"ARHIVĂ","oss-aion-archive-parts.bce5035461":"și un câmp care le supraviețuiește","oss-aion-archive-parts.bd678f55fe":"Patru mutări pe un singur certificat","oss-aion-archive-parts.44e396b17f":"Ce verificator l-a acceptat, sub ce versiune de contract.","oss-aion-archive-parts.5348eece0f":"Verificator și contract păstrate","oss-aion-archive-parts.53229277ab":"Subdovezi identice stocate o singură dată și citate ulterior prin hash.","oss-aion-archive-parts.0f6513214f":"Subdovezi hashuite","oss-aion-archive-parts.76a7786a63":"Un model repetat stocat o singură dată, cu lungimea pentru care se repetă.","oss-aion-archive-parts.9e1a0f7aac":"Rulări colapsate","oss-aion-archive-parts.d6f5880b44":"Fiecare identificator stocat ca distanța față de ultimul.","oss-aion-archive-parts.6b78716e70":"Identificatori ca decalaje","oss-aion-archived-proof.5808299e06":"privit în sus, nu măturat","oss-aion-archived-proof.39241dfc0d":"Restul au rămas închise, pentru că indexul știa deja că nu erau afectate.","oss-aion-archived-proof.d84b2eb85d":"Nouă dependențe declarate, două file trase, cinci certificate numite.","oss-aion-archived-proof.c9269e3e61":"șapte file au rămas închise","oss-aion-archived-proof.6f13975269":"încă compatibil","oss-aion-archived-proof.8ec798a819":"regula r7","oss-aion-archived-proof.4b50837e2e":"în coadă pentru a fi citit din nou","oss-aion-archived-proof.2a858a12ec":"regula r7 înlocuită în verificatorul 2.5.0","oss-aion-archived-proof.0b58a007b4":"aviz de modificare","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"același certificat","oss-aion-archived-proof.4b37dd07e6":"ca arhivat","oss-aion-archived-proof.39c9f8bf3a":"două subdovezi, o formă","oss-aion-archived-proof.8c28e2d0a9":"un bloc, păstrat o dată","oss-aion-archived-proof.e75bd8054c":"identificatori ca lacune","oss-aion-archived-proof.9bfe0da4af":"un fișier lung","oss-aion-archived-proof.46dc2748fa":"așa cum a fost produs","oss-aion-archived-proof.b6a0714797":"identificatori ilustrativi","oss-aion-archived-proof.16bb6017da":"două din cinci în coadă","oss-aion-archived-proof.884fa4a4de":"Un certificat, de două ori","oss-aion-archived-proof.11ed0e1dd4":"politica p9","oss-aion-archived-proof.1f776189b1":"schema 2","oss-aion-archived-proof.ec690c70cd":"certificatul d20c9b","oss-aion-archived-proof.a96a7e2f89":"certificatul 1a55f0","oss-aion-archived-proof.b504f66e53":"modelul m1","oss-aion-archived-proof.fd6c33ce54":"contractul de rulare 3.1","oss-aion-archived-proof.ff651ff51f":"regula compilatorului c1","oss-aion-archived-proof.d00ec63b0b":"certificatul b4e187","oss-aion-archived-proof.e20acd4672":"certificatul 3c90de","oss-aion-archived-proof.6d50cc6c2e":"certificatul 7f21ab","oss-aion-archived-proof.5dd9b11122":"politica p2","oss-aion-archived-proof.70d70366cf":"schema 4","oss-aion-archived-proof.d61ceadbdb":"contract","oss-aion-archived-proof.e15436a2bb":"verificator","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"De ce mi-a fost refuzată cererea de către o mașină?","oss-aion-asked-questions.answer.refused":"AION arată punctul exact în care s-a oprit verificarea și de ce, în loc de un singur cuvânt neexplicat.","oss-aion-asked-questions.question.check":"Pot verifica eu însumi o decizie automată?","oss-aion-asked-questions.answer.check":"Da. AION reface fiecare pas, pe mașina la care te afli, fără cont și fără a trimite nimic.","oss-aion-asked-questions.question.sent":"Sunt trimise informațiile mele undeva?","oss-aion-asked-questions.answer.sent":"Nu. Construcția implicită nu are cu ce să le trimită. Munca se întâmplă acolo unde ești deja.","oss-aion-asked-questions.chrome.path":"Întrebări pe care le ridică un refuz","oss-aion-asked-questions.chrome.status":"răspunsuri în mod deschis","oss-aion-asked-questions.readout":"Acestea sunt cele trei întrebări la care această pagină este construită să răspundă, în mod deschis, fără cont și fără a trimite nimic.","oss-aion-asked-questions.band":"Întrebat o dată, răspuns în mod deschis","oss-aion-asked-you.ef80b73d6b":"în loc de o surpriză mai târziu","oss-aion-asked-you.7e066a9db0":"o întrebare acum","oss-aion-asked-you.fb041ecc2d":"Așteaptă","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"și ce se întâmplă mai departe","oss-aion-asked-you.fb5efec5ec":"Ce întreabă","oss-aion-asked-you.ed223cb507":"Cu propria ta frază în interior, nu un formular de completat.","oss-aion-asked-you.47ba586268":"Pune o întrebare","oss-aion-asked-you.16bb2c320d":"În cuvinte simple, nu ca o alegere între simboluri.","oss-aion-asked-you.590f0368a8":"Prezintă ambele interpretări","oss-aion-asked-you.c0fedb51ee":"Partea din fraza ta de care nu este sigur, în cuvintele tale.","oss-aion-asked-you.945cd96360":"Citează cuvintele înapoi","oss-aion-asymmetry.109e612009":"dovezile călătoresc","oss-aion-asymmetry.54086b1730":"munca rămâne la producător","oss-aion-asymmetry.77e82797f7":"ASIMETRIE","oss-aion-asymmetry.7f5d144dcb":"per producător","oss-aion-asymmetry.d1abed327f":"Ce nu este reprodus","oss-aion-asymmetry.816e835f60":"Autoritate, tranziții, aprobări, chitanțe.","oss-aion-asymmetry.4f83e60cbc":"Mai mulți agenți, coordonând.","oss-aion-asymmetry.d946c1fc52":"Sistem de agenți","oss-aion-asymmetry.d978ba491a":"Puncte de control, tranziții și invarianți.","oss-aion-asymmetry.b081bda78f":"Milioane de pași de integrare.","oss-aion-asymmetry.8e34943c35":"Simulare","oss-aion-asymmetry.db98a95880":"Afirmațiile de conservare dintre ele.","oss-aion-asymmetry.ce4dee4e4f":"Sute de treceri și euristicile lor.","oss-aion-asymmetry.341a20e237":"Compilator","oss-aion-asymmetry.d50aca2923":"O derivare urmărită linie cu linie.","oss-aion-asymmetry.c0644e2b00":"O căutare într-un spațiu pe care nimeni nu îl enumeră.","oss-aion-asymmetry.2212b12df6":"Rezolvitor","oss-aion-audit-flow.0d368d5958":"Se ia o decizie","oss-aion-audit-flow.723d4b8215":"Un AI ajunge la un răspuns în sistemul tău.","oss-aion-audit-flow.60616f24a0":"Un certificat este păstrat","oss-aion-audit-flow.319012d052":"Raționamentul este înregistrat ca un document portabil.","oss-aion-audit-flow.b6e0507002":"Este verificat din nou","oss-aion-audit-flow.060bdf8393":"Oricine reia verificarea offline, pe propriul dispozitiv.","oss-aion-audit-flow.549ee9a7f2":"Auditorul îl acceptă","oss-aion-audit-flow.45d8142b03":"Dovezi pe care le verifică, nu o promisiune pe care trebuie să o accepte.","oss-aion-audit-flow.29a5795456":"Trimiți jurnalele și speri că sunt acceptate.","oss-aion-audit-flow.691576c10d":"Predai un certificat pe care auditorul îl verifică singur.","oss-aion-audit-flow.4f25ce109b":"Explicația este blocată la un singur furnizor.","oss-aion-audit-flow.17092b76ad":"Formatele standard de probă mențin certificatul verificabil dincolo de furnizorul și mediul de rulare inițiale.","oss-aion-audit-flow.4cb1b63499":"Documentul este verificat din nou pe o infrastructură pe care nu o controlezi.","oss-aion-audit-flow.c0baf00a21":"Documentul este verificat din nou offline, pe hardware pe care îl controlezi.","oss-aion-audit-flow.1574ac4dc4":"De la decizie la dovezi acceptate","oss-aion-audit-flow.0fc25779d4":"Fără dovezi verificabile","oss-aion-audit-flow.4b32d8f574":"Cu AION","oss-aion-audit-flow.effbb773a5":"La momentul auditului produci dovezi, nu asigurări.","oss-aion-audit-flow.630840198f":"Verificare independentă","oss-aion-broken-case.b2d44d537d":"două piese de lucru","oss-aion-broken-case.21a5e37384":"Se spune că cineva trebuie acum să aleagă una.","oss-aion-broken-case.446dd52366":"Cazul nu spune în care dintre aceste două situații te afli.","oss-aion-broken-case.1592f95dfc":"oricine deține specificația","oss-aion-broken-case.5350b811e8":"Toată lumea știa asta și nimeni nu a scris-o vreodată, motiv pentru care cazul a fost disponibil pentru a fi găsit. Deci lucrarea este să scrie constrângerea lipsă.","oss-aion-broken-case.7e1ad0c117":"o reîncercare nu poate avea loc pe un sold zero aici","oss-aion-broken-case.e2acc6be4b":"se poate întâmpla asta aici?","oss-aion-broken-case.70cf0e9d6e":"echipa care îl operează","oss-aion-broken-case.f4418abec4":"Deci regula este corectă și sistemul este greșit. Lucrarea este o modificare a sistemului.","oss-aion-broken-case.7ebf5ee2c1":"reîncercările la trei cu un sold zero sunt un luni obișnuit","oss-aion-broken-case.818db6fde5":"modul lot permite cel mult două reîncercări","oss-aion-broken-case.9ad82bcd1a":"nicio reîncercare cât timp soldul este zero","oss-aion-broken-case.db09c40b94":"condițiile pe care le încalcă","oss-aion-broken-case.1a01155586":"Specificația nu se menține. Iată o situație în care nu se menține, scrisă.","oss-aion-broken-case.bb5f480b82":"cazul, așa cum revine","oss-aion-broken-case.8ba48b3c8c":"caz ilustrativ","oss-aion-broken-case.2a0ea29615":"un caz, doi proprietari","oss-aion-broken-case.0efd66fc70":"Cazul care l-a rupt","oss-aion-broken-case.fd12863535":"nu","oss-aion-broken-case.fb360f9c09":"da","oss-aion-broken-case.e7aef2e893":"modul este lot (tip: text)","oss-aion-broken-case.dcfad8c5bf":"soldul este 0 (tip: întreg)","oss-aion-broken-case.bbf98b54e9":"reîncercările sunt 3 (tip: întreg)","oss-aion-business-glyph.9c8c22f54d":"Auditabil prin design","oss-aion-business-glyph.afd7103781":"Infrastructura ta","oss-aion-business-glyph.ea722c81af":"European","oss-aion-business-glyph.870c4d024a":"Formate portabile","oss-aion-business-glyph.81c093497b":"Închis de certificat","oss-aion-business-glyph.862ee3b17a":"Expunere","oss-aion-business-glyph.6b5eb5323e":"Dovadă atașată","oss-aion-business-glyph.b7a3f27883":"Risc eliminat","oss-aion-business-glyph.7ba75e0ac6":"Verificări de certificat ani mai târziu","oss-aion-business-glyph.9f89ecaff5":"Sesiunea originală a dispărut","oss-aion-business-glyph.33620369b5":"Arhiva","oss-aion-business-glyph.7a71b6b89e":"Pe hardware pe care îl controlezi","oss-aion-business-glyph.e94a6d4bba":"Explicat pe hardware-ul altcuiva","oss-aion-business-glyph.3eaad00bc0":"Datele","oss-aion-business-glyph.e20fee7c23":"Verificator separat","oss-aion-business-glyph.9e3ee5bddf":"Modelul original este încă necesar","oss-aion-business-glyph.5cb182685f":"Verificatorul","oss-aion-business-glyph.c5d37b3ae0":"Un certificat pe care auditorul îl verifică","oss-aion-business-glyph.6c4186cc8c":"Jurnale pe care speri să fie acceptate","oss-aion-business-glyph.d51b35c242":"Auditul","oss-aion-cadence-banners.independent.eyebrow":"AION / verificare independentă","oss-aion-cadence-banners.independent.lead":"Încrede-te în plic","oss-aion-cadence-banners.independent.accent":"după ce un alt verificator îl acceptă","oss-aion-cadence-banners.independent.body.one":"Un certificat este util deoarece verificatorul nu are nevoie de mediul de execuție al producătorului. Acesta primește regula declarată, intrările, rezultatul și dovezile ca un singur plic delimitat.","oss-aion-cadence-banners.independent.body.two":"A doua implementare verifică dovezile conform aceluiași contract. Acordul este apoi o dovadă despre rezultat, nu o rerulare a aceleiași căi de cod.","oss-aion-cadence-banners.independent.panel":"Înregistrare de acceptare independentă","oss-aion-cadence-banners.independent.tag":"VERIFICAT SEPARAT","oss-aion-cadence-banners.independent.item.rule.label":"Regulă declarată","oss-aion-cadence-banners.independent.item.rule.detail":"Cerința și familia de certificate sunt denumite.","oss-aion-cadence-banners.independent.item.rule.status":"PREZENT","oss-aion-cadence-banners.independent.item.input.label":"Intrări delimitate","oss-aion-cadence-banners.independent.item.input.detail":"Valorile folosite de decizie călătoresc cu aceasta.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Rezultat pretins","oss-aion-cadence-banners.independent.item.result.detail":"Rezultatul este declarat înainte de începerea verificării.","oss-aion-cadence-banners.independent.item.result.status":"DECLARAT","oss-aion-cadence-banners.independent.item.verifier.label":"Verificator separat","oss-aion-cadence-banners.independent.item.verifier.detail":"O implementare diferită verifică același plic.","oss-aion-cadence-banners.independent.item.verifier.status":"ACCEPTAT","oss-aion-cadence-banners.independent.verdict":"dovezile supraviețuiesc în afara sistemului care le-a produs","oss-aion-cadence-banners.independent.footer":"verificarea traversează o graniță de implementare fără a pierde contractul","oss-aion-cadence-banners.refusal.eyebrow":"AION / contract de eșec","oss-aion-cadence-banners.refusal.lead":"O dovadă eșuată","oss-aion-cadence-banners.refusal.accent":"trebuie să numească regula pe care nu a putut să o satisfacă","oss-aion-cadence-banners.refusal.body.one":"Verificarea exactă nu este un înveliș vag de tip trecut/neîndeplinit. Verificatorul urmează conversia declarată, operațiile aritmetice și porțile logice în ordine, apoi se oprește la prima condiție nevalidă.","oss-aion-cadence-banners.refusal.body.two":"Acel refuz aparține dovezilor. Acesta spune apelantului care presupunere, scală, termen sau gardă a eșuat înainte ca orice pas ulterior să poată ascunde cauza.","oss-aion-cadence-banners.refusal.panel":"Prima poartă eșuată","oss-aion-cadence-banners.refusal.tag":"REFUZAT","oss-aion-cadence-banners.refusal.item.read.label":"Citește valorile declarate","oss-aion-cadence-banners.refusal.item.read.detail":"Intrările și identitatea regulii sunt fixate înainte de verificare.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Aplică conversia declarată","oss-aion-cadence-banners.refusal.item.scale.detail":"Niciun fallback silențios nu schimbă contractul aritmetic.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Evaluează fiecare poartă în ordine","oss-aion-cadence-banners.refusal.item.check.detail":"Prima condiție nevalidă rămâne atribuibilă.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Returnează refuzul denumit","oss-aion-cadence-banners.refusal.item.refuse.detail":"Apelantul primește regula eșuată și dovezile acesteia.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"un refuz este o dovadă revizuibilă, nu o eroare goală","oss-aion-cadence-banners.refusal.footer":"prima condiție eșuată rămâne vizibilă următorului recenzor","oss-aion-cadence-banners.certificates.eyebrow":"AION / lanț de certificate","oss-aion-cadence-banners.certificates.lead":"O decizie","oss-aion-cadence-banners.certificates.accent":"poate purta mai multe tipuri de dovezi","oss-aion-cadence-banners.certificates.body.one":"Raționamentul, autoritatea organizațională, compilarea și execuția răspund la întrebări diferite. Tratarea lor ca o singură asigurare generică ar ascunde unde o afirmație este puternică și unde mai este necesară o altă verificare.","oss-aion-cadence-banners.certificates.body.two":"AION păstrează certificatele distincte și le leagă de aceeași înregistrare de decizie. Un recenzor poate urmări lanțul fără a confunda autoritatea cu aritmetica sau o rulare reușită cu o regulă aprobată.","oss-aion-cadence-banners.certificates.panel":"Rută de dovezi pentru decizie","oss-aion-cadence-banners.certificates.tag":"LEGAT","oss-aion-cadence-banners.certificates.item.reasoning.label":"Certificat de raționament","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Arată de ce concluzia declarată urmează.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Certificat de autoritate","oss-aion-cadence-banners.certificates.item.organisation.detail":"Numește cine poate aproba sau efectua acțiunea.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORITATE","oss-aion-cadence-banners.certificates.item.compile.label":"Certificat de compilare","oss-aion-cadence-banners.certificates.item.compile.detail":"Leagă sursa, transformarea și artefactul produs.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Certificat de execuție","oss-aion-cadence-banners.certificates.item.execution.detail":"Înregistrează ce a rulat, unde și sub ce intrări.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"fiecare afirmație păstrează familia de certificate care o poate susține efectiv","oss-aion-cadence-banners.certificates.footer":"dovezile legate rămân suficient de specifice pentru a fi contestate","oss-aion-cadence-banners.recheck.eyebrow":"AION / un rezultat pe care îl poți revedea","oss-aion-cadence-banners.recheck.lead":"Aceeași regulă","oss-aion-cadence-banners.recheck.accent":"poate fi verificată din nou mai târziu","oss-aion-cadence-banners.recheck.body.one":"Propoziția, sensul ales și limita de timp rămân atașate rezultatului. Poți vedea ce s-a decis și cât timp rămâne valabilă decizia fără a trimite materialul.","oss-aion-cadence-banners.recheck.body.two":"Când regula sau data se schimbă, înregistrarea identifică ce necesită o altă verificare. Răspunsul anterior rămâne vizibil în loc să fie înlocuit în tăcere.","oss-aion-cadence-banners.recheck.panel":"Ce verifică recontrolul","oss-aion-cadence-banners.recheck.tag":"REPETABIL","oss-aion-cadence-banners.recheck.item.sentence.label":"Fraza ta originală","oss-aion-cadence-banners.recheck.item.sentence.detail":"Formularea rămâne lângă interpretare.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Sensul care a fost ales","oss-aion-cadence-banners.recheck.item.rule.detail":"Regula aplicată este scrisă clar.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Data valabilității","oss-aion-cadence-banners.recheck.item.deadline.detail":"Timpul rămas este vizibil înainte ca rezultatul să expire.","oss-aion-cadence-banners.recheck.item.deadline.status":"VIZIBIL","oss-aion-cadence-banners.recheck.item.result.label":"O verificare nouă","oss-aion-cadence-banners.recheck.item.result.detail":"Aceleași dovezi pot fi evaluate din nou.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"poți reveni la răspuns fără să pierzi motivul din spatele lui","oss-aion-cadence-banners.recheck.footer":"înregistrarea păstrează împreună cuvintele, regula și data","oss-aion-cadence-banners.supplier.eyebrow":"AION / dovezi de la furnizor","oss-aion-cadence-banners.supplier.lead":"Un răspuns de la furnizor","oss-aion-cadence-banners.supplier.accent":"ar trebui să vină cu ceva ce poți verifica","oss-aion-cadence-banners.supplier.body.one":"Un certificat separă rezultatul de instrumentul furnizorului. Acesta precizează ce a fost verificat, ce familie de probe se aplică și ce intrări și artefacte aparțin afirmației.","oss-aion-cadence-banners.supplier.body.two":"Echipa ta poate păstra acele dovezi și poate folosi un alt verificator. Revizuirea nu mai depinde de accesul la serviciul original sau de cererea ca furnizorul să refacă rularea.","oss-aion-cadence-banners.supplier.panel":"Dovezi primite împreună cu rezultatul","oss-aion-cadence-banners.supplier.tag":"PORTABIL","oss-aion-cadence-banners.supplier.item.claim.label":"Afirmația furnizorului","oss-aion-cadence-banners.supplier.item.claim.detail":"Rezultatul și domeniul său sunt declarate explicit.","oss-aion-cadence-banners.supplier.item.claim.status":"PRIMIT","oss-aion-cadence-banners.supplier.item.certificate.label":"Plicul certificatului","oss-aion-cadence-banners.supplier.item.certificate.detail":"Dovezile și identificatorii călătoresc cu afirmația.","oss-aion-cadence-banners.supplier.item.certificate.status":"ATAȘAT","oss-aion-cadence-banners.supplier.item.coverage.label":"Declarația de acoperire","oss-aion-cadence-banners.supplier.item.coverage.detail":"Familia de certificate spune ce poate stabili.","oss-aion-cadence-banners.supplier.item.coverage.status":"SCOP","oss-aion-cadence-banners.supplier.item.checker.label":"Verificator independent","oss-aion-cadence-banners.supplier.item.checker.detail":"Partea ta verifică dovezile fără producător.","oss-aion-cadence-banners.supplier.item.checker.status":"DISPONIBIL","oss-aion-cadence-banners.supplier.verdict":"dovezile rămân utile după ce rularea furnizorului s-a încheiat","oss-aion-cadence-banners.supplier.footer":"un rezultat verificabil este mai ușor de păstrat, comparat și contestat","oss-aion-cadence-banners.boundary.eyebrow":"AION / revizuire controlată","oss-aion-cadence-banners.boundary.lead":"Revizuirea rămâne în interior","oss-aion-cadence-banners.boundary.accent":"limita stabilită de organizația ta","oss-aion-cadence-banners.boundary.body.one":"Cazul, regula și certificatul pot fi verificate acolo unde există deja. Verificarea locală evită transformarea unei revizuiri într-o altă cale de divulgare pentru materialul examinat.","oss-aion-cadence-banners.boundary.body.two":"Înregistrarea menționează în continuare proprietatea stabilită și dovezile folosite. Păstrarea datelor la fața locului nu înseamnă renunțarea la o pistă de audit atribuibilă.","oss-aion-cadence-banners.boundary.panel":"Cale de revizuire la fața locului","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Deschide cazul păstrat","oss-aion-cadence-banners.boundary.item.case.detail":"Materialul sursă rămâne în mediul său existent.","oss-aion-cadence-banners.boundary.item.case.status":"LA FAȚA LOCULUI","oss-aion-cadence-banners.boundary.item.property.label":"Selectează afirmația de verificat","oss-aion-cadence-banners.boundary.item.property.detail":"Domeniul certificatului rămâne explicit.","oss-aion-cadence-banners.boundary.item.property.status":"SCOP","oss-aion-cadence-banners.boundary.item.perimeter.label":"Rulează în interiorul perimetrului","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Nu este necesar niciun serviciu extern pentru verificare.","oss-aion-cadence-banners.boundary.item.perimeter.status":"CONȚINUT","oss-aion-cadence-banners.boundary.item.record.label":"Păstrează înregistrarea revizuirii","oss-aion-cadence-banners.boundary.item.record.detail":"Intrările, verificatorul și rezultatul rămân atribuibile.","oss-aion-cadence-banners.boundary.item.record.status":"ÎNREGISTRAT","oss-aion-cadence-banners.boundary.verdict":"dovezile pot fi verificate fără a crea un nou transfer de date","oss-aion-cadence-banners.boundary.footer":"execuția locală și dovezile revizuibile aparțin aceluiași control","oss-aion-case-fields.ce69e76708":"un caz începe o decizie","oss-aion-case-fields.9a83c048c3":"un verdict încheie o verificare","oss-aion-case-fields.afc58d4c40":"primul care eșuează, pe nume","oss-aion-case-fields.3bc6a69e80":"soldul trebuie să depășească zero înainte de o reîncercare","oss-aion-case-fields.4e0285b28b":"condiție încălcată","oss-aion-case-fields.4e0af55321":"CONTRACEXEMPLU","oss-aion-case-fields.344daefb37":"Un caz, în întregime","oss-aion-case-fields.62e0ec394a":"valorile și ce tip are fiecare","oss-aion-case-fields.7f01fe787c":"lot","oss-aion-checked-not-rerun.dd5b6cbe2b":"o fuziune, o absență","oss-aion-checked-not-rerun.846a719bdc":"Ultima linie nu are echivalent la niciun preț.","oss-aion-checked-not-rerun.6c26a05ac4":"Cinci din cele șapte pleacă și două dintre ele fuzionează.","oss-aion-checked-not-rerun.4f01efffc8":"citit de cineva care nu a deținut niciodată software-ul lor","oss-aion-checked-not-rerun.a70205a694":"comparat cu cel din trimestrul următor","oss-aion-checked-not-rerun.0d85e26645":"arhivat cu decizia pe care o susținea","oss-aion-checked-not-rerun.ffc7dbc2ad":"ceea ce deții ulterior","oss-aion-checked-not-rerun.d6124c1aee":"nimic din stânga nu produce acest lucru","oss-aion-checked-not-rerun.9b9252883d":"certificatul în sine","oss-aion-checked-not-rerun.0bfa7a3bd8":"intrările declarate și contractul","oss-aion-checked-not-rerun.d7f7f555ad":"afirmația","oss-aion-checked-not-rerun.527c7f544a":"trei lucruri","oss-aion-checked-not-rerun.f8a34d2942":"pentru a le verifica certificatul","oss-aion-checked-not-rerun.2a20acacc2":"șapte lucruri","oss-aion-checked-not-rerun.a94f90b8e9":"pentru a le reproduce sistemul","oss-aion-checked-not-rerun.d2eae1af1f":"aceeași asigurare, două rute","oss-aion-checked-not-rerun.87f754c087":"cinci eliminate, una absentă","oss-aion-checked-not-rerun.2a62bb8028":"ce necesită fiecare rută","oss-aion-checked-not-rerun.35d7d25591":"dacă rămâne valabil după modificare","oss-aion-checked-not-rerun.6cd8ba818d":"pe ale cui date","oss-aion-checked-not-rerun.96f39a5e7d":"împotriva cărei versiuni a setului de reguli","oss-aion-checked-not-rerun.c8d59ae061":"ce condiții au fost verificate","oss-aion-checked-not-rerun.b028b89ea7":"asistența lor","oss-aion-checked-not-rerun.c03c2fce6e":"o mașină de dimensiuni adecvate","oss-aion-checked-not-rerun.867d12b7ad":"datele de intrare","oss-aion-checked-not-rerun.717e42eb01":"fișierul lor de configurare","oss-aion-checked-not-rerun.935b145c44":"un sistem de operare compatibil","oss-aion-checked-not-rerun.fa15ad3da2":"versiunea exactă pe care au folosit-o","oss-aion-checked-not-rerun.5990a1ec89":"o licență pentru software-ul lor","oss-aion-compile-cert.b1991b0d44":"deci un refuz indică unul","oss-aion-compile-cert.85edd85611":"pretențiile sunt denumite individual","oss-aion-compile-cert.6e8814b9a0":"Ce a rezultat, prin adresă de conținut, legat de toate cele de mai sus.","oss-aion-compile-cert.a41732e051":"Identitatea artefactului","oss-aion-compile-cert.6d4151d7a5":"Ce a intrat, prin adresă de conținut, nu prin nume de fișier.","oss-aion-compile-cert.7204133281":"Identitatea sursei sau a grafului","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"și ce pretinde despre fiecare","oss-aion-compile-cert.0bcab6c465":"Ce numește certificatul","oss-aion-compile-cert.027f7ee7d1":"Ce proprietăți stabilește acest certificat asupra lor.","oss-aion-compile-cert.8906f98ae0":"Conservare declarată","oss-aion-compile-cert.d186ea41e2":"Pașii aplicați, în ordinea în care au fost aplicați.","oss-aion-compile-cert.66ad6a206e":"Secvența de transformare","oss-aion-compile-cert.ebb0c953d1":"Ce build, la ce configurație de optimizare.","oss-aion-compile-cert.691f87f640":"Compilator și optimizare","oss-aion-console.5d71265e50":"Verifică un certificat de demonstrație. Fără solver, fără rețea.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Se verifică demonstrația: proof.alethe","oss-aion-console.1016f1bcf3":"Format: Alethe","oss-aion-console.70142f344c":"Parsare: OK","oss-aion-console.8455c5ceeb":"Demonstrația are N pași","oss-aion-console.fc539fcf62":"Verificarea demonstrației: PROMOVAT","oss-aion-console.88f6db402f":"Timp de verificare: Nms","oss-aion-console.4f437cea65":"Verificatorul tău a confirmat. Exit 0. Nimic nu a fost trimis în rețea.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Citește certificatul","oss-aion-console.0cef7497bf":"Verificatorul deschide fișierul de demonstrație pe care l-ai primit. Nu are nevoie de nimic altceva: fără ponderi de model, fără autentificare la furnizor, fără internet.","oss-aion-console.830903eaf6":"Parcurge fiecare pas","oss-aion-console.6ce1fb843f":"Fiecare deducție este reluată pe baza premiselor pe care le citează. LRAT include indicii de propagare a unităților, astfel încât parcurgerea este liniară în lungimea demonstrației.","oss-aion-console.1044fbcb06":"Acceptă sau respinge","oss-aion-console.cb4e501f7a":"Dacă fiecare pas este valid, verificatorul afișează PROMOVAT și iese cu codul 0. Dacă vreun pas nu este valid, numește eșecul și iese cu cod diferit de zero. Nu există cale de mijloc.","oss-aion-console.b568d47f2e":"Intrare","oss-aion-console.df73f614f5":"Un fișier de demonstrație","oss-aion-console.0562f32dc5":"Dependențe","oss-aion-console.7334b0e2cf":"Niciuna la momentul verificării","oss-aion-console.64ae43e8fe":"Cost","oss-aion-console.660020f41a":"Liniar în lungimea demonstrației","oss-aion-console.5faa59d4bc":"Rezultat","oss-aion-console.de76d16078":"PROMOVAT sau eșec numit","oss-aion-console.76d6562c0a":"Verificarea","oss-aion-console.edabf74eb3":"O singură comandă citește demonstrația și","oss-aion-console.d161c0634a":"o acceptă sau o respinge","oss-aion-console.a997e63df7":"Verificatorul este independent de solver. Înmânează-i un certificat, iar propriul tău verificator\n          îl confirmă sau îl respinge, offline, fără acces la motorul care l-a produs.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"verificator offline","oss-aion-console.6b5eb5323e":"Verificator independent","oss-aion-console.165cb4a2fd":"N pași și Nms sunt substituenți: cifrele reale provin din demonstrația pe care o verifici, nu\n              de la noi. Suprafața de comandă este reală, aion check parsează, parcurge și raportează PROMOVAT.","oss-aion-console.b8fae1a1a1":"AION / verificare demonstrație","oss-aion-consumer-glyph.dccc2b6aff":"Nu necesită internet","oss-aion-consumer-glyph.22c2234e11":"Fabricat în Europa","oss-aion-consumer-glyph.75f527181b":"Verificabil mai târziu","oss-aion-consumer-glyph.94651c6eb5":"Un al doilea asistent îl verifică","oss-aion-consumer-glyph.b9fefb3f5b":"Pare corect","oss-aion-consumer-glyph.fb447dd18d":"Chitanța ta","oss-aion-consumer-glyph.49a8e53c77":"Mașina răspunde","oss-aion-consumer-glyph.f5ad0f0059":"Da, și iată de ce","oss-aion-consumer-glyph.7011b1a621":"Răspunsul","oss-aion-consumer-glyph.07d0cfac8b":"Pas cu pas, scris","oss-aion-consumer-glyph.5bcd26af49":"Cum s-a ajuns la el","oss-aion-consumer-glyph.8afc953f7f":"Este potrivit pentru mine?","oss-aion-consumer-glyph.d79cce547d":"Întrebarea","oss-aion-coverage-join.fa5284c04d":"scurt este scurt","oss-aion-coverage-join.d04fa188df":"Paisprezece nu este nici pe departe totul, așa că unirea este refuzată, nu rotunjită.","oss-aion-coverage-join.0b67159da5":"Șaisprezece celule au fost luate în calcul, iar rezultatul compus este acceptat.","oss-aion-coverage-join.7142d70e45":"compunere refuzată, acoperire insuficientă","oss-aion-coverage-join.245fbeffee":"nu o eroare de rotunjire. O regiune pe care nimeni nu a privit-o.","oss-aion-coverage-join.1df8f3c0e7":"14 din 16","oss-aion-coverage-join.1c1d6ac8f1":"două celule pe care nimeni nu le-a privit","oss-aion-coverage-join.f0833f7fc6":"aceeași unire, un cub lipsă","oss-aion-coverage-join.db8d5bf534":"compunere acceptată","oss-aion-coverage-join.558480e414":"16 din 16","oss-aion-coverage-join.26f1b36edc":"fiecare celulă luată în calcul","oss-aion-coverage-join.39cd7fa9c4":"patru cuburi","oss-aion-coverage-join.bb2dba7602":"cuburi ilustrative","oss-aion-coverage-join.a4d76ddfc7":"acoperire insuficientă cu două celule","oss-aion-coverage-join.e4445ac125":"O verificare de divizare","oss-aion-coverage-join.186c8cd284":"Construcția pe care o deții nu se schimbă sub tine.","oss-aion-coverage-join.9daf9699cc":"construcția","oss-aion-coverage-join.66506ab77b":"Niciun model nu este apelat.","oss-aion-coverage-join.f2250926d2":"Nimic nu părăsește granița.","oss-aion-coverage-join.3110d06249":"ceea ce părăsește","oss-aion-coverage-join.0bd87fb406":"Niciun procesor pe această cale.","oss-aion-coverage-join.1fa5b0500c":"nu a, nu b, nu c","oss-aion-coverage-join.898fae3bdc":"nu a, nu b, c","oss-aion-coverage-join.a8f663af2d":"nu a, b","oss-aion-coverage-join.bee9689def":"patru mașini, un răspuns","oss-aion-coverage-join.3ea0cf3ca7":"adresele pe care le setezi","oss-aion-coverage-join.7b9e33922c":"un serviciu","oss-aion-coverage-join.17819009bd":"o invocare","oss-aion-coverage-join.2c4d8b9dd8":"o comandă","oss-aion-coverage-join.5a78e04d95":"legat în","oss-aion-coverage-join.985e108737":"o bibliotecă","oss-aion-coverage-join.1d06a0d76f":"model","oss-aion-coverage-join.8eab5a6dbb":"procesor","oss-aion-coverage-table.356f85e809":"un contract de rutare și un plic AION","oss-aion-coverage-table.4f52f572dd":"șapte ieșiri de producător","oss-aion-coverage-table.2a268cd632":"ȘAPTE PRODUCĂTORI","oss-aion-coverage-table.8351372237":"ieșire mai întâi, verificator ales în funcție de familia de certificate","oss-aion-coverage-table.b7d5fe11a0":"Ce lasă în urmă cei șapte producători","oss-aion-coverage-table.f31a7c9011":"Solver","oss-aion-coverage-table.a194f815cb":"Fezabil, infezabil sau optim","oss-aion-coverage-table.7ec93e2d31":"Dovadă, model, nucleu, martor sau limită","oss-aion-coverage-table.651e0f73b2":"Verificator de solver specific familiei","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"O concluzie din constrângeri declarate","oss-aion-coverage-table.9ac60dc1a8":"Derivarea constrângerilor și dovezile de solver returnate","oss-aion-coverage-table.d5ef792d46":"Verificator de raționament Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"O operațiune guvernată finalizată","oss-aion-coverage-table.70d43be1ea":"Autoritate, politică, aprobări, tranziții și chitanțe","oss-aion-coverage-table.5372a8e90f":"Verificator organizațional Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Un artefact compilat","oss-aion-coverage-table.1f3e5d7c89":"Graf sursă, transformări, invarianți și identitatea artefactului","oss-aion-coverage-table.86ca1bd031":"Verificator de compilare Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"O sarcină de lucru executată","oss-aion-coverage-table.24f1ac9e33":"Modul, intrări, acordări de capacități, tranziții, limite și ieșire","oss-aion-coverage-table.0f9ea21c74":"Verificator de execuție Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"O traiectorie simulată","oss-aion-coverage-table.ef85239d10":"Identitatea modelului, parametri, stare, puncte de control, invarianți și hash-ul traiectoriei","oss-aion-coverage-table.c5b7fe3198":"Verificator de simulare și FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"O rulare FMU finalizată","oss-aion-coverage-table.8f5753fba0":"Identitatea FMU, configurare, pași, evenimente, convergență și trasare","oss-aion-coverage-table.4d64b5bbaf":"Verificator de simulare și FMI","oss-aion-coverage-table.7d1ab3c6e0":"Dovezi:","oss-aion-coverage-table.4e5bc7d129":"Verificator:","oss-aion-days-left.545fa01eea":"și așa spune înainte de ultima zi","oss-aion-days-left.eaa861cef8":"aceeași regulă, citită de patru ori","oss-aion-days-left.2017bddab0":"Întreabă în orice zi și aceeași regulă face calculul. Nimic despre a patra citire\n          nu este mai puternic decât prima, doar mai mic.","oss-aion-days-left.81b20537a7":"spațiu rămas, în zile","oss-aion-days-left.0526dbf682":"CEASUL","oss-aion-days-left.2f29339cb6":"același ceas, la patru zile distanță","oss-aion-days-left.47a76d1261":"O cerere, patru citiri","oss-aion-days-left.9dd1fe0fd2":"26 din 30","oss-aion-days-left.f4c6daac2a":"ziua 26","oss-aion-days-left.62f21454ca":"22 din 30","oss-aion-days-left.4ad399ed8a":"ziua 22","oss-aion-days-left.ae5a29afae":"16 din 30","oss-aion-days-left.195b05cbbd":"ziua 16","oss-aion-days-left.d31b7d0f91":"8 din 30","oss-aion-days-left.185b76515a":"ziua 8","oss-aion-days-left.2dd2bed725":"azi","oss-aion-dispute-parts.65edc28a9d":"panoul și decizia aparțin propriului tău proces, iar artefactul nu se mută","oss-aion-dispute-parts.e56cf65ada":"și nu este tribunalul","oss-aion-dispute-parts.37f322f735":"furnizează dovezile,","oss-aion-dispute-parts.7b7570d892":"decizia","oss-aion-dispute-parts.52e3685580":"fereastra","oss-aion-dispute-parts.7de929b394":"panoul","oss-aion-dispute-parts.2eba0fb6ad":"ceea ce deține propriul tău proces","oss-aion-dispute-parts.ea4031d789":"care verificator, care versiune","oss-aion-dispute-parts.93be71a61d":"contractul","oss-aion-dispute-parts.48b63234e3":"numit, nu rezumat","oss-aion-dispute-parts.cced6746e2":"punctul de eșec","oss-aion-dispute-parts.2c9e8d06dd":"reproductibil de oricine","oss-aion-dispute-parts.2e02032e1d":"verificarea","oss-aion-dispute-parts.804e9af218":"producătorul și semnătura intacte","oss-aion-dispute-parts.69506051d5":"păstrat așa cum a fost acceptat","oss-aion-dispute-parts.6b578cc32e":"certificatul","oss-aion-dispute-parts.21df0b2530":"Ce contribuie AION","oss-aion-dispute-parts.4029dc5f44":"Păstrează\n            certificatul așa cum a fost acceptat. Păstrează atribuirea, astfel încât cine a produs rezultatul\n            supraviețuiește unei schimbări de contractor. Reproduce verificarea la cerere, de oricine,\n            fără producător. Identifică punctul exact de eșec, nu doar un verdict. Și arată care\n            verificator a acceptat rezultatul și sub ce versiune de contract. Panoul, fereastra și\n            decizia aparțin oricărui proces pe care organizația ta îl rulează deja. AION furnizează\n            artefactul despre care acel proces dezbate.","oss-aion-dispute-parts.434ae4f1d6":"Rolul AION în acea situație este restrâns și este partea utilă.","oss-aion-dispute-parts.3eb5567b60":"Munca produsă de o parte și folosită de alta duce în cele din urmă la o neînțelegere\n            despre dacă a fost bună. Ceea ce decide aproape niciodată nu este forța argumentării.\n            Este dacă există un artefact pe care ambele părți îl pot examina și pe care niciuna\n            nu îl poate modifica, iar în majoritatea disputelor, înregistrările care ar rezolva\n            problema sunt deținute de una dintre cele două părți.","oss-aion-dispute-parts.2ccc6715e9":"Nu un argument mai bun.","oss-aion-dispute-parts.aa0d5ae0e6":"O dispută are nevoie de dovezi.","oss-aion-dispute-parts.b4b6237893":"Când cineva nu este de acord","oss-aion-dispute-parts.eec3b038bd":"atribuire","oss-aion-dispute-parts.100ec4462d":"dovezi","oss-aion-envelope-fields.cfc233d284":"plicul nu este niciodată","oss-aion-envelope-fields.1c80a87a33":"payload-ul este specific familiei","oss-aion-envelope-fields.d85cb39036":"familia, care decide verificatorul","oss-aion-envelope-fields.a975c5af10":"Tipul certificatului","oss-aion-envelope-fields.4282e3d696":"denumit, niciodată implicit","oss-aion-envelope-fields.0562f32dc5":"Dependențe","oss-aion-envelope-fields.ca2dc8737d":"ce sistem, ce versiune","oss-aion-envelope-fields.7b7194967f":"Producător","oss-aion-envelope-fields.f33f785291":"împotriva a ceea ce a fost făcut și ce versiune","oss-aion-envelope-fields.404e7d3e00":"Intrări și contract","oss-aion-envelope-fields.93a29173f5":"identificator și un payload sau hash-ul acestuia","oss-aion-envelope-fields.dc4e08a408":"Afirmație","oss-aion-envelope-fields.78e789d605":"CONTRACT","oss-aion-envelope-fields.d12a9ca770":"în afara payload-ului, fiecare familie","oss-aion-envelope-fields.f18dee6041":"Plicul","oss-aion-envelope-fields.f07e5a8156":"payload","oss-aion-evidence.cbf668da60":"Fișiere jurnal","oss-aion-evidence.28e06c789a":"Un jurnal arată că sistemul a rulat. Nu arată de ce s-a ajuns la răspuns, iar un jurnal poate fi modificat discret.","oss-aion-evidence.c637aebe3a":"Opac","oss-aion-evidence.5c3fc92e3f":"Un scor de încredere","oss-aion-evidence.fd3c76543b":"Un singur număr care rezumă o stare internă. Două sisteme pot afișa același scor și pot ajunge la concluzii opuse pe același input.","oss-aion-evidence.16f3dacf52":"Fără derivare","oss-aion-evidence.7f34e37f1b":"O explicație auto-generată","oss-aion-evidence.361b70a63e":"Scrisă de același model care a luat decizia. Își notează propria temă, deci nu poate servi drept dovadă independentă.","oss-aion-evidence.782acc59ce":"Circular","oss-aion-evidence.477416bf24":"Aveți încredere în furnizor","oss-aion-evidence.1e84c62138":"Când un regulator, un pacient sau o instanță întreabă „arată cum ai lucrat”, o promisiune la nivel de serviciu nu este un răspuns pe care îl pot verifica.","oss-aion-evidence.76afe0e09f":"Neverificabil","oss-aion-evidence.06f2d5f1a8":"Un certificat, nu o afirmație","oss-aion-evidence.cdcc6f712c":"AION emite un certificat de probă împreună cu răspunsul. Certificatul listează fiecare pas de raționament în ordinea în care a fost făcut.","oss-aion-evidence.6d1c5f470b":"Verificat de altcineva","oss-aion-evidence.cc65178dc5":"Un verificator separat parcurge pașii și fie îi acceptă, fie îi respinge. Partea care pune întrebarea îl rulează ea însăși.","oss-aion-evidence.412a3b1e5e":"Re-rulabil ulterior","oss-aion-evidence.9082c552d2":"Același certificat se verifică la fel luna viitoare, pe o altă mașină, fără acces la sistemul original.","oss-aion-evidence.1206578b48":"arată cum ai lucrat","oss-aion-evidence.494beafd71":"întrebarea auditului","oss-aion-evidence.bba8b0753d":"dovezi vs. afirmații","oss-aion-evidence.00e2ca4c85":"Când o decizie AI ajunge la un regulator, un pacient sau un caz de siguranță, cineva întreabă","oss-aion-evidence.1defdb9d85":"cum a ajuns la acest răspuns.","oss-aion-evidence.290a698043":"Majoritatea organizațiilor nu pot oferi un răspuns\n          pe care persoana care întreabă să îl poată verifica singură.","oss-aion-evidence.56f6624482":"Nu sunt dovezi","oss-aion-evidence.a295517f40":"Ce se oferă astăzi","oss-aion-evidence.7ea014de7b":"Dovezi","oss-aion-evidence.4cb1cd3e53":"Ce predă AION","oss-aion-evidence.2a36a263da":"Dovezile nu sunt afirmate. Dovezile sunt verificate.","oss-aion-evidence.e0a4c0a385":"Verificarea independentă este singurul răspuns pe care un auditor îl poate accepta.","oss-aion-exact-sum.21aaad8129":"un multiplicator negativ este refuzat înainte de a se lua suma, la prima verificare","oss-aion-exact-sum.3b267c2a81":"fără virgulă mobilă internă în acel lanț","oss-aion-exact-sum.1a43ebe28c":"deci sistemul este respins","oss-aion-exact-sum.452308dbcd":"constantă rămasă","oss-aion-exact-sum.35add33a7a":"ce rămâne","oss-aion-exact-sum.df326a819b":"termenii y se anulează","oss-aion-exact-sum.dae482d4b2":"termenii x se anulează","oss-aion-exact-sum.c36d183406":"adună inegalitățile scalate","oss-aion-exact-sum.79e4c9d3fa":"scalează-l","oss-aion-exact-sum.c3c4b24b20":"cele două inegalități, totul pe o singură parte","oss-aion-exact-sum.b6b4c73115":"Suma, în întregime","oss-aion-exact-sum.c1c66bf52c":"Condițiile sunt verificate în ordine și fiecare este un refuz în sine. Un multiplicator\n            negativ este refuzat înainte de a se lua orice sumă, deoarece scalarea cu un număr negativ\n            inversează inegalitatea. O sumă în care supraviețuiește un termen variabil este refuzată, cu\n            termenul supraviețuitor numit. O sumă a cărei constantă rămasă nu este pozitivă este refuzată,\n            deoarece nu demonstrează nimic. Un coeficient peste limita de magnitudine ridică o\n            depășire, nu o înfășurare. Nimic în acel lanț nu este o toleranță.","oss-aion-exact-sum.6efbacfc5b":"O respingere aritmetică este un set de multiplicatori. Scrie fiecare inegalitate cu\n            totul pe o singură parte a semnului, scalează-o, adună inegalitățile scalate,\n            și dacă fiecare termen variabil se anulează și ce rămâne este un număr pozitiv despre care se spune\n            că este cel mult zero, aceasta nu poate fi valabil, deci nici sistemul din care provine. AION acceptă\n            acei multiplicatori la graniță și îi convertește într-o reprezentare declarată adaptivă\n            întreg/fix-punct înainte de verificare. Stochează, acumulează și\n            calculează fără valori în virgulă mobilă intern, și nu are un plan de rezervă în virgulă mobilă.\n            Fracția rămâne tipărită aici pentru că face contradicția lizibilă; verificarea este guvernată de conversia și scala declarate.","oss-aion-exact-sum.31934abfaa":"Conversia sa declară scala.","oss-aion-exact-sum.a3caf489e5":"O treime nu este 0,333.","oss-aion-exact-sum.15e6a906dd":"Aritmetică declarată adaptivă cu punct fix","oss-aion-exact-sum.108a35964a":"suma spune 11/6 <= 0, ceea ce este fals,","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":"da","oss-aion-exact-sum.c4c6c57253":"pozitiv","oss-aion-exact-sum.b55e22fe78":"exact","oss-aion-exec-cert.6a230011ab":"altceva îl verifică","oss-aion-exec-cert.2c14724b1b":"runtime-ul l-a produs","oss-aion-exec-cert.b07722ef0c":"limita","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"modul de ieșire","oss-aion-exec-cert.a7b63abc02":"Ce conține certificatul","oss-aion-exec-cert.e1bbfaa783":"Identitatea rezultatului și dacă a fost prins.","oss-aion-exec-cert.59871c9494":"Ieșire și stare","oss-aion-exec-cert.ffb779a5c3":"Limitele în care a rulat, ca limite, nu ca observații.","oss-aion-exec-cert.ffbc724f07":"Plic de resurse","oss-aion-exec-cert.273c1da325":"Determinist, având în vedere modulul, intrările și permisiunile.","oss-aion-exec-cert.acee491c99":"Tranziții de stare","oss-aion-exec-cert.eab885bbb2":"Ce i s-a permis să atingă, declarat înainte de rulare.","oss-aion-exec-cert.dc009dc166":"Permisiuni de capabilități","oss-aion-exec-cert.6f3eb29822":"Care modul, prin adresa de conținut, la ce versiune de runtime.","oss-aion-exec-cert.c201b4ae89":"Identitatea modulului","oss-aion-executed-under.6b6dab207c":"Ce permite certificatul","oss-aion-executed-under.1fcfedc78a":"ce ar putea atinge","oss-aion-executed-under.0338c5441d":"Întrebarea după fapt este autoritatea, iar certificatul o poartă.","oss-aion-executed-under.bc70ed4db9":"Patru acorduri acordate și trei refuzate.","oss-aion-executed-under.6f9d76b8c0":"Tranzițiile sunt deterministe având în vedere modulul, intrările și acordurile, astfel încât toate acestea au fost urmărite fără a rula vreodată sarcina.","oss-aion-executed-under.e044b5f419":"Identitatea declarată de certificat nu este identitatea produsă de tranziții, astfel încât rularea este refuzată la ieșire. Totul înainte de aceasta a fost reconstruit exact.","oss-aion-executed-under.7f0cc64ae8":"tranziții deterministe","oss-aion-executed-under.5fa4050afc":"setul de capacități, declarat înainte de rulare","oss-aion-executed-under.844e9ed357":"ceas, observare nesetată","oss-aion-executed-under.b3ccbb4041":"plafon de memorie 512 MiB","oss-aion-executed-under.1fe892a96f":"un soclu, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"citire /var/lib/claims","oss-aion-executed-under.7a02a68db0":"neacordat","oss-aion-executed-under.685706abcf":"identitatea de ieșire diferă","oss-aion-executed-under.6287ff317a":"produs","oss-aion-executed-under.0baff051a0":"declarat","oss-aion-executed-under.1029d67644":"ieșire","oss-aion-executed-under.fbd34a2b6e":"modul","oss-aion-executed-under.910e029098":"ilustrativ","oss-aion-executed-under.df6fe4f714":"capacitatea de a persista dincolo de rulare","oss-aion-executed-under.b51590997b":"orice altă adresă","oss-aion-executed-under.e4e545e3b7":"orice altceva pe sistemul de fișiere","oss-aion-fact-strip.0dc9622797":"Toate cifrele provin din depozitul AION.","oss-aion-fact-strip.b7feece146":"AION în cifre","oss-aion-fact-strip.fedec331ff":"Bibliotecă, CLI și benchmark într-un singur spațiu de lucru","oss-aion-fact-strip.13a24daf03":"Implementare","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Binar, întreg și virgulă fixă adaptivă; fără virgulă mobilă internă","oss-aion-fact-strip.5688a0448c":"Nucleu aritmetic","oss-aion-fact-strip.0cae74747c":"Exact","oss-aion-fact-strip.379c055f01":"Liniar în lungimea dovezii, offline, fără rezolvitor","oss-aion-fact-strip.04ce84fb6e":"Cost de verificare","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe și o formă intermediară unificată","oss-aion-fact-strip.e6c67de15e":"Formate de dovezi","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Teorii logice","oss-aion-failure-notice.d8164c5dd8":"o constatare, nu o dispută","oss-aion-failure-notice.159098bbba":"Celălalt începe o discuție pe care nimeni nu o poate încheia.","oss-aion-failure-notice.814fc5cd4f":"Unul dintre acestea poate fi trimis unui furnizor într-o după-amiază de marți.","oss-aion-failure-notice.2e6ea3eaa5":"nu poate fi atribuit, nu poate fi prețuit, nu poate fi contestat cu precizie","oss-aion-failure-notice.e896d6344f":"verificarea a eșuat","oss-aion-failure-notice.587270a2e4":"unde merge fiecare câmp","oss-aion-failure-notice.ba0f0eb3fe":"premisa nu este prezentă","oss-aion-failure-notice.0c2a7f4aef":"pasul 415","oss-aion-failure-notice.55daa4a2ea":"ultimii patru pași citiți","oss-aion-failure-notice.ca548ed152":"17 martie 2026","oss-aion-failure-notice.3c05b129e2":"niciun verdict emis","oss-aion-failure-notice.aa943932a5":"notificare de refuz","oss-aion-failure-notice.28fb3d519e":"reconstruit","oss-aion-failure-notice.bd370d1b6f":"pas","oss-aion-failure-notice.910e029098":"ilustrativ","oss-aion-failure-notice.e6b658331e":"și nimeni nu este acuzat","oss-aion-failure-notice.94002635cd":"tu, dacă este o întrebare de delimitare","oss-aion-failure-notice.7ab178c9a0":"genul","oss-aion-failure-notice.0d967ff8f3":"furnizează premisa lipsă","oss-aion-failure-notice.b54c9b7359":"cel care a produs pasul","oss-aion-failure-notice.94a94ba774":"motivul","oss-aion-failure-notice.ba3167e426":"confirmă ce ar trebui să facă acest pas","oss-aion-failure-notice.32ec97b69b":"proprietarul setului tău de reguli","oss-aion-failure-notice.b543dc38fd":"regula","oss-aion-failure-notice.ad866c4aef":"deschide fișierul la pasul 415","oss-aion-failure-notice.06fddd86f6":"echipa de verificare a furnizorului","oss-aion-failure-notice.aecf66bfac":"locația","oss-aion-failure-notice.1d7794c5e2":"niciun verdict emis pentru această dovadă","oss-aion-failure-notice.f4475dac73":"consecință","oss-aion-failure-notice.566c7d73a0":"pasul citează o premisă care nu este prezentă în fișier","oss-aion-failure-notice.7947e92e3c":"motiv","oss-aion-failure-notice.5dfa011717":"regulă, rezoluție","oss-aion-failure-notice.64463af8a3":"414 acceptate","oss-aion-failure-notice.c21ce4fb88":"pași citiți","oss-aion-failure-notice.2bf60a2164":"analiza conflictelor furnizorului pentru setul de reguli din martie","oss-aion-failure-notice.335ce16b3f":"subiect","oss-aion-family-board.ca8f6715c8":"versionat separat","oss-aion-family-board.e794ff76c1":"o schiță care așteaptă un verificator","oss-aion-family-board.0f2e82af82":"Nouă familii împart un singur plic și nimic altceva. A zecea este","oss-aion-family-board.ca6c6dda8e":"un verificator și un set declarat de reguli","oss-aion-family-board.c53186083e":"a zecea","oss-aion-family-board.0020359543":"tranziție invalidă, alocare depășită, ieșire necorespunzătoare,\n              urmă incompletă","oss-aion-family-board.187225126d":"taxonomia refuzurilor","oss-aion-family-board.fac6c7230f":"reia tranzițiile conform limitelor declarate\n              și setului de reguli","oss-aion-family-board.155e6164fc":"algoritm de verificare","oss-aion-family-board.924f583920":"o secvență deterministă de tranziții cu identități de intrare și\n              ieșire","oss-aion-family-board.c0e6022509":"reprezentarea dovezii","oss-aion-family-board.927f6ddf1e":"această sarcină a rulat sub aceste alocări și a ajuns la această ieșire","oss-aion-family-board.79bf5b0ee6":"tip de afirmație","oss-aion-family-board.131097a25c":"Execuție runtime, v2","oss-aion-family-board.50b24e4d4c":"un singur plic, deschis","oss-aion-family-board.803aa98470":"că înregistrarea stocată este cea acceptată","oss-aion-family-board.3e71ceb1ca":"Integritatea stocării","oss-aion-family-board.f8603f4710":"că modelul declarat a produs această rulare","oss-aion-family-board.ccc3c9b41d":"Simulare și FMI","oss-aion-family-board.d0c6b470a4":"că a rulat în limitele alocărilor primite","oss-aion-family-board.dc37599f99":"Execuție runtime","oss-aion-family-board.4f059da0be":"că artefactul păstrează sursa","oss-aion-family-board.aad755de42":"Compilare","oss-aion-family-board.69ce9b9c4f":"că operațiunea guvernată a avut loc","oss-aion-family-board.ed87ca5ca0":"Organizațional","oss-aion-family-board.0dbf90d179":"că derivarea declarată reconstituie","oss-aion-family-board.e272c597fd":"Raționament","oss-aion-family-board.e79949ba43":"că o proprietate este valabilă pe mai multe rulări, nu doar una","oss-aion-family-board.bdb5a28846":"Temporal și hiperproprietate","oss-aion-family-board.b83c805a0a":"că nu există nimic mai bun în limitele date","oss-aion-family-board.c794704381":"Optimizare","oss-aion-family-board.ede1ae7e54":"că nicio atribuire nu satisface setul","oss-aion-family-board.a04ce90d06":"Logică și satisfiabilitate","oss-aion-family-board.b98b54298f":"nouă înregistrate, una schiță","oss-aion-family-board.6253e9d668":"Consiliul familiilor","oss-aion-family-board.910e029098":"ilustrativ","oss-aion-family-registry.6e32650bab":"și o versiune pe toate","oss-aion-family-registry.dcd1f1fdc9":"patru declarații per familie","oss-aion-family-registry.3bc3fe987d":"Eșecurile pe care această familie le poate returna, fiecare cu o locație.","oss-aion-family-registry.d129426d71":"Taxonomia refuzului","oss-aion-family-registry.d4504f5b41":"Ce rulează verificatorul și setul de reguli pe care îl acceptă.","oss-aion-family-registry.52ab770040":"Algoritm de verificare","oss-aion-family-registry.4c9dd89c88":"Cum este transportat martorul, derivarea sau urma.","oss-aion-family-registry.016fecd943":"Reprezentarea dovezii","oss-aion-family-registry.ab1e33179a":"Ce stabilește această familie și ce nu stabilește în mod deliberat.","oss-aion-family-registry.8a547220fc":"Tip de afirmație","oss-aion-family-registry.37094b3cc5":"înainte de a putea fi verificat","oss-aion-family-registry.b14e18379b":"REGISTRU","oss-aion-family-registry.b3e4281358":"Ce declară o familie","oss-aion-family-registry.7efea8ff96":"incomplet","oss-aion-family-registry.995fee1f1a":"nesuportat","oss-aion-family-registry.81f344a768":"invalid","oss-aion-foreign-proof.4c43cb0de1":"fără licență, fără mediu","oss-aion-foreign-proof.9406c96fa7":"patru linii subțiri între ele","oss-aion-foreign-proof.9fefe2d67f":"Patru tipuri de muncă pe o parte, patru obiecte lizibile pe cealaltă, și","oss-aion-foreign-proof.57802c0b4e":"Verificatorul nu a rulat niciodată partea stângă și nu trebuie să o facă.","oss-aion-foreign-proof.1dfc94b110":"o chitanță","oss-aion-foreign-proof.cff5f15fed":"două tranziții","oss-aion-foreign-proof.d58f13fb52":"verificare de autoritate","oss-aion-foreign-proof.24ef006723":"autoritate și chitanțe","oss-aion-foreign-proof.933912faec":"agenți, coordonare","oss-aion-foreign-proof.2ae1de46da":"starea rămâne în interiorul plicului declarat","oss-aion-foreign-proof.ed96565674":"puncte de control și un invariant","oss-aion-foreign-proof.0ae689c7bd":"pași de integrare","oss-aion-foreign-proof.f9020659b6":"alegerea nucleului","oss-aion-foreign-proof.3e77a07952":"afirmații de conservare","oss-aion-foreign-proof.2bb64b9b5b":"treceri de optimizare","oss-aion-foreign-proof.c8b39aa910":"derivarea clauzelor","oss-aion-foreign-proof.4da89bbc52":"căutare în solver","oss-aion-foreign-proof.51339ff0ea":"dovezile, pe mașina ta","oss-aion-foreign-proof.4f45bf808d":"munca, pe producător","oss-aion-foreign-proof.c369931988":"patru linii, nimic altceva","oss-aion-foreign-proof.ec0b7e2c43":"Ce traversează granița","oss-aion-foreign-proof.44d74dd33f":"forme","oss-aion-foreign-proof.e7b1fff700":"tipuri","oss-aion-foreign-proof.910e029098":"ilustrativ","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT și Alethe verifică în timp liniar offline. DRAT este verificat, apoi redus la LRAT.\n            Unified convertește fără pierderi între ele.","oss-aion-formats.14a628e6d3":"Verificat de","oss-aion-formats.dda6ac27b9":"Verifică","oss-aion-formats.34556fa12c":"Card de format","oss-aion-formats.e6c67de15e":"Formate de dovezi","oss-aion-formats.8a5e29e5bb":"conversie fără pierderi","oss-aion-formats.ddb7c01560":"o sursă, patru forme","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# dovadă intermediară unificată","oss-aion-formats.0d3311a5dc":"convertor aion-proofs","oss-aion-formats.1f5124d90b":"Convertit la export","oss-aion-formats.8c21b7e1f1":"Reprezentarea internă care convertește fără pierderi între celelalte.","oss-aion-formats.ebb8e8cf49":"Formă intermediară","oss-aion-formats.287fda8114":"Unified","oss-aion-formats.6d56822b09":"(h1 h2))","oss-aion-formats.87d27a2d97":"t3 (cl Q) ","oss-aion-formats.6d3a4ab6e5":"(=> P Q))","oss-aion-formats.ec18650019":"cvc5, Carcara","oss-aion-formats.0cdb7c9a36":"Timp liniar, offline","oss-aion-formats.f6f7b642b0":"Formatul comunitar SMT-LIB din linia cvc5 și veriT.","oss-aion-formats.4aa5db37af":"Dovadă SMT","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat adaugă și șterge linii","oss-aion-formats.f3ba7f38e9":"drat-trim în LRAT","oss-aion-formats.36f33c83a6":"Verificat, apoi redus","oss-aion-formats.4745aebc97":"Adăugare și ștergere clauzală. Verificatoarele de format reduc la LRAT.","oss-aion-formats.154df3dc2f":"Certificat SAT","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" clauză goală derivată","oss-aion-formats.6fd630d612":" lrat cu indicii de propagare unitară","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Dovezi de rezoluție standard în industrie pentru nucleul propozițional.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"un fișier care nu se închide niciodată","oss-aion-four-gates.0ff8f0eb5a":"și încă unul la sfârșit","oss-aion-four-gates.a1ebd8379f":"înainte de pasul 1","oss-aion-four-gates.b161dbb47d":"Fișierul este scanat mai întâi pentru un număr de pas repetat.","oss-aion-four-gates.21e412d2d0":"Doi pași, un număr","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"și unul înaintea oricăruia dintre ele","oss-aion-four-gates.e74bdcd46a":"Patru teste, în această ordine","oss-aion-four-gates.fef891bb33":"pasul 15","oss-aion-four-gates.cc90eb3e73":"Nicio rutină pentru nume. Citirea se oprește, nu sare peste.","oss-aion-four-gates.787e8a8577":"Regulă necunoscută","oss-aion-four-gates.e70c55582f":"pasul 52","oss-aion-four-gates.59446cbcf9":"O premisă care este prezentă, dar numerotată deasupra pasului care o citează.","oss-aion-four-gates.f1604fe1aa":"Citat în dezordine","oss-aion-four-gates.a42f56e597":"pasul 44","oss-aion-four-gates.371b9613cc":"Un număr citat care nu se află nicăieri în fișier.","oss-aion-four-gates.1d1369a316":"Premisă absentă","oss-aion-four-gates.e1391a7c80":"pasul 31","oss-aion-four-gates.9a7512e955":"Un pas care se sprijină pe propria concluzie. Întrebat primul, pentru fiecare pas.","oss-aion-four-gates.7f30dfcc04":"Se citează pe sine","oss-aion-governed-operation.b0582e8559":"O operațiune, verificată","oss-aion-governed-operation.8af7f1d469":"guvernată, apoi verificată","oss-aion-governed-operation.ada470c3d7":"Un lanț și verificarea lui sunt două autorități diferite.","oss-aion-governed-operation.90fba649e4":"Patru elemente reconstruite, iar al cincilea oprește citirea.","oss-aion-governed-operation.ea8356461f":"nu în acest certificat: ce gândea orice agent","oss-aion-governed-operation.2f68c232b4":"Versiunea de politică declarată de certificat nu conține condiția pe care acest gate\n                pretinde că a aplicat-o. Operațiunea este refuzată la acel element și nu se emite niciun verdict\n                pentru întreg.","oss-aion-governed-operation.be51277bfd":"nu s-a ajuns","oss-aion-governed-operation.57b160e317":"trecerea verificatorului, pe propria autoritate","oss-aion-governed-operation.26f017e3e6":"acceptat, ref 4471-b","oss-aion-governed-operation.34c3c00446":"chitanță înregistrată","oss-aion-governed-operation.159338740e":"instrucțiune de plată, sistemul contabil","oss-aion-governed-operation.80f6148b56":"acțiune efectuată","oss-aion-governed-operation.458c8c203d":"la acțiune, nu la un mesaj din apropiere","oss-aion-governed-operation.1b4dcda6ba":"aprobare atașată","oss-aion-governed-operation.303418bf06":"peste 50 000 necesită un al doilea aprobator","oss-aion-governed-operation.faf1f5eb4b":"gate de politică","oss-aion-governed-operation.557df801be":"tranziții de sarcină","oss-aion-governed-operation.b1c842256e":"ofițer de daune","oss-aion-governed-operation.59bef6c3e5":"autoritate rezolvată","oss-aion-governed-operation.0639a9efd0":"patru agenți, domeniu inegal","oss-aion-governed-operation.8e44be8724":"organizație formată","oss-aion-governed-operation.139146ad26":"politică v4.2","oss-aion-governed-operation.8524f08438":"soluționarea cererilor furnizorilor din trimestru","oss-aion-governed-operation.cab7375bdf":"operațiunea, așa cum a efectuat-o Nexus","oss-aion-governed-operation.82c8154dca":"refuzat la gate","oss-aion-governed-operation.a503bc1da2":"refuzat","oss-aion-governed-operation.28fb3d519e":"reconstruit","oss-aion-governed-operation.45807bf2ec":"soluționat","oss-aion-governed-operation.fb92f3f834":"evaluat","oss-aion-governed-operation.590abaace4":"deschis","oss-aion-governed-operation.d2dc873868":"obiectiv","oss-aion-governed-operation.910e029098":"ilustrativ","oss-aion-harness-fields.d5ad303466":"și un număr pe care îl poți cita","oss-aion-harness-fields.5a31ca3c0f":"corpusul tău, hardware-ul tău","oss-aion-harness-fields.58664673b0":"Tipărit peste întregul corpus la sfârșitul rulării.","oss-aion-harness-fields.6197b910db":"Un număr corect","oss-aion-harness-fields.175226a475":"Comparat cu starea înregistrată în fișierul însuși.","oss-aion-harness-fields.d787e678da":"Răspuns în funcție de stare","oss-aion-harness-fields.b5ec587356":"Căutarea în sine, per instanță, nu mediată.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Timp de rezolvare","oss-aion-harness-fields.bec737ff93":"Cât a durat citirea fișierului, ținut separat de rezolvare.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Timp de parsare","oss-aion-harness-fields.20e5752f58":"Punctul maxim, astfel încât un plan de capacitate să aibă un număr.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Memorie rezidentă de vârf","oss-aion-harness-fields.b660370132":"un fișier din corpusul tău","oss-aion-harness-fields.ec845d015d":"per instanță, apoi totalizat","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Ce înregistrează o rulare","oss-aion-harness-fields.b3cbdd75cb":"respins","oss-aion-harness-fields.48a3661d84":"stare","oss-aion-harness-fields.25dc282b5a":"răspuns","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Se rezolvă...","oss-aion-hero-glyph.3d08723a54":"Rezultat: SAT","oss-aion-hero-glyph.9e1279af1f":"Model:","oss-aion-hero-glyph.45dcf6e46f":"  x = 1","oss-aion-hero-glyph.81ef4e711c":"  y = 3","oss-aion-hero-glyph.70f4daaa7f":"Timp: 4ms","oss-aion-hero-glyph.138243f0f4":"Rezultat: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Demonstrație: 128 de pași","oss-aion-hero-glyph.41294a8dc8":"Demonstrație scrisă în: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Se verifică demonstrația: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Parsare: OK","oss-aion-hero-glyph.27d28e3ca9":"Demonstrația are 128 de pași","oss-aion-hero-glyph.1ba94dea63":"Statistici demonstrație:","oss-aion-hero-glyph.e1b3c4d7c5":"  Total pași: 128","oss-aion-hero-glyph.e30b86fef9":"  Pași de rezoluție: 71","oss-aion-hero-glyph.8215376faf":"  Pași aritmetici: 24","oss-aion-hero-glyph.552f29f0b5":"Dimensiunea maximă a clauzei: 6","oss-aion-hero-glyph.fc539fcf62":"Verificarea demonstrației: PROMOVAT","oss-aion-hero-glyph.1e4bdfb80c":"Timp de verificare: 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 + teorie","oss-aion-hero-glyph.6ba46a924e":"punct fix adaptiv","oss-aion-hero-glyph.a9f24b1b66":"verificare în timp liniar","oss-aion-hero-glyph.6b5eb5323e":"Certificat atașat","oss-aion-how-to-check.c799cc998b":"Rezultat: acest lucru este corect.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"Prima mașină înmânează chitanța sa unui ajutor separat, care o verifică","oss-aion-how-to-check.d026bcfccb":"Rezultatul este clar: chitanța se adună sau nu. Nu există poate.","oss-aion-how-to-check.d0c84a5a37":"Verificarea are loc chiar acolo unde ești. Nimic nu este trimis și nu este nevoie de un site web.","oss-aion-how-to-check.623151a710":"Ajutorul care verifică nu este mașina care a răspuns. Nu poate pur și simplu să fie de acord cu sine.","oss-aion-how-to-check.87e974a415":"o citește și o verifică","oss-aion-how-to-check.3c487e646c":"Un al doilea ajutor","oss-aion-how-to-check.78829f8a37":"pașii, scriși","oss-aion-how-to-check.9b7b265fbb":"Chitanța","oss-aion-how-to-check.f58fd2cb80":"dă un răspuns și o chitanță","oss-aion-how-to-check.50e90303d4":"Prima mașină","oss-aion-integration.b1873dbd42":"Un singur motor, fără serviciu extern. Leagă crate-ul, fixează o versiune și verifică certificatele în același mediu.","oss-aion-integration.5f2e7d7c25":"Același certificat de probă de pe fiecare suprafață. O interogare la intrare, un certificat verificabil la ieșire.","oss-aion-integration.a4db3ae8b6":"Cum îl apelezi","oss-aion-integration.4ec6d609ab":"Începe cu o singură cale de decizie","oss-aion-integration.559461e293":"bibliotecă, CLI, benchmark","oss-aion-integration.0228a4c724":"Oricine poate verifica un certificat cu aion check, sau cu un verificator independent LRAT sau Alethe, pe propriul dispozitiv.","oss-aion-integration.dda6ac27b9":"Verifică","oss-aion-integration.4d2c6036eb":"Pune aion-cli în spatele unui serviciu propriu. Certificatul de probă este contractul pe care serviciul îl returnează.","oss-aion-integration.c3447e7954":"Înconjoară","oss-aion-integration.f9109d0f04":"Adaugă crate-ul într-o aplicație Rust existentă și emite certificate inline cu răspunsurile pe care le produce deja.","oss-aion-integration.ad02e14e28":"Încorporează","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Un binar de benchmark dedicat este inclus în workspace. Măsoară rezolvarea și verificarea pe propriul hardware, nu te baza pe cifrele unui furnizor.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Condu AION din shell sau dintr-un job CI. solve rulează o interogare, check verifică un certificat de probă offline, iar prove emite unul. Aceeași ieșire de probă ca biblioteca.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Leagă AION ca crate și apelează direct solver-ul și emitentul de probe. Nucleul, teoriile și formatele de probă sunt toate în proces, fără niciun serviciu de pornit.","oss-aion-integration.8319d9b3b9":"Bibliotecă Rust","oss-aion-live-margins.df15dfd304":"unul dintre ele este o acțiune","oss-aion-live-margins.96576608a5":"trei dintre acestea sunt lecturi","oss-aion-live-margins.5711ac01c1":"URMĂRIT","oss-aion-live-margins.f719aa9511":"scurs față de permis","oss-aion-live-margins.a344938438":"Patru obligații","oss-aion-live-margins.19e5ecc09e":"în aceeași zi, la eveniment","oss-aion-live-margins.828697f103":"Înregistrare transfer","oss-aion-live-margins.222af170d9":"44 de zile din 30, încă deschis","oss-aion-live-margins.a441e09d1a":"Fereastră de păstrare","oss-aion-live-margins.30e04c8f23":"2 zile din 3","oss-aion-live-margins.20d6944505":"Notificare de încălcare","oss-aion-live-margins.9b9419d2e2":"26 de zile din 30","oss-aion-live-margins.6e7d6c760b":"Răspuns subiect","oss-aion-nothing-outbound.45b9d8acdc":"fără client de ieșire","oss-aion-nothing-outbound.5b16b5db9a":"Fiecare cale începe și se termină în interiorul unei linii pe care ai trasat-o.","oss-aion-nothing-outbound.59a0768496":"Nimic de pe această foaie nu depășește conturul.","oss-aion-nothing-outbound.71c31d8219":"un proces local pe această mașină","oss-aion-nothing-outbound.605f85e28f":"un prover extern","oss-aion-nothing-outbound.150bc2359d":"o subrețea, setată de tine","oss-aion-nothing-outbound.5193678a39":"adrese de cluster","oss-aion-nothing-outbound.49c4e670b3":"rețeaua ta","oss-aion-nothing-outbound.273ca4c134":"ce configurezi tu","oss-aion-nothing-outbound.7f8d7aeedb":"cinci rânduri","oss-aion-nothing-outbound.bcec1ac359":"ce adaugă această cale registrului tău","oss-aion-nothing-outbound.4553aa0c94":"magazinul local","oss-aion-nothing-outbound.93d65d8ef8":"arhiva","oss-aion-nothing-outbound.760cfc52ce":"verificatorul","oss-aion-nothing-outbound.6621d172f5":"setul de reguli citit","oss-aion-nothing-outbound.565f3cfc6a":"certificatul verificat","oss-aion-nothing-outbound.284f61c8db":"site-ul tău, hardware-ul tău","oss-aion-nothing-outbound.f368a04bb8":"o singură graniță, și este a ta","oss-aion-nothing-outbound.5c795b7e7d":"nicio cale nu iese","oss-aion-nothing-outbound.4f98b1412d":"Nimic nu iese din perimetru","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Build-ul pe care îl deții nu se schimbă sub tine.","oss-aion-nothing-outbound.07b9a651d1":"Un calendar de lansare al furnizorului de urmărit","oss-aion-nothing-outbound.8fa0bea3f8":"Niciun serviciu de-al nostru nu este pe cale.","oss-aion-nothing-outbound.11449c8bd3":"O dependență de disponibilitate de înregistrat","oss-aion-nothing-outbound.66506ab77b":"Niciun model nu este apelat.","oss-aion-nothing-outbound.af474ee96b":"Un furnizor de modele de evaluat","oss-aion-nothing-outbound.f2250926d2":"Nimic nu iese din graniță.","oss-aion-nothing-outbound.e80e5b3403":"Un transfer transfrontalier de justificat","oss-aion-nothing-outbound.0bd87fb406":"Niciun procesor pe această cale.","oss-aion-nothing-outbound.9494490634":"Un procesor de adăugat","oss-aion-obligation-calendar.366609b500":"margine, nu alarmă","oss-aion-obligation-calendar.3c8532b3c7":"Regula din mijloc este locul unde soluția ieftină nu mai era disponibilă.","oss-aion-obligation-calendar.949b1361f5":"Ambele cifre sunt citiri pe care oricine le poate face în această dimineață.","oss-aion-obligation-calendar.7758d9c282":"acțiune necesară","oss-aion-obligation-calendar.4ebebe0b7c":"-14 zile","oss-aion-obligation-calendar.6937bf485d":"început înainte de această lună","oss-aion-obligation-calendar.37ed878825":"fereastră de retenție","oss-aion-obligation-calendar.3974c3ac47":"+4 zile","oss-aion-obligation-calendar.aa69fdaab6":"deschis, 30 de zile permise","oss-aion-obligation-calendar.c6727ea40c":"răspuns subiect","oss-aion-obligation-calendar.51269d14af":"ultima zi în care aceasta era încă o muncă de o după-amiază","oss-aion-obligation-calendar.96a8ebf797":"date ilustrative","oss-aion-obligation-calendar.fdcce3f37e":"unul este depășit","oss-aion-obligation-calendar.11ddafb2cc":"O lună de obligații","oss-aion-obligation-calendar.a2620cbc10":"zi","oss-aion-one-contract-six.d3926ca64d":"un registru, un set afectat","oss-aion-one-contract-six.c4d72c2328":"Dovezile lor urmează un singur plic AION.","oss-aion-one-contract-six.a7e545052a":"Ieșirile producătorului rămân distincte.","oss-aion-one-contract-six.5cbf78425a":"o regulă se schimbă, reverifică înregistrările afectate","oss-aion-one-contract-six.f5c6772ad7":"o coadă de reverificare","oss-aion-one-contract-six.d3516bd6ea":"un registru și o înregistrare de stocare","oss-aion-one-contract-six.2ec012da6f":"un plic AION","oss-aion-one-contract-six.2c653cc8fa":"aceiași șapte producători, printr-un singur plic AION","oss-aion-one-contract-six.725c682066":"ieșiri diferite, verificatori specifici familiei","oss-aion-one-contract-six.cddf74f2cf":"șapte ieșiri de producător","oss-aion-one-contract-six.f063fe5bcd":"șapte ieșiri deasupra, un plic dedesubt","oss-aion-one-contract-six.c34e6d1a39":"șapte producători, un plic de dovezi","oss-aion-one-contract-six.910e029098":"ilustrativ","oss-aion-one-contract-six.67bb73569c":"un certificat de simulare","oss-aion-one-contract-six.7966a9fa49":"un certificat de compilare","oss-aion-one-contract-six.1111f590cc":"un certificat organizațional","oss-aion-one-contract-six.293194c28e":"un certificat de raționament","oss-aion-one-contract-six.8aa194122c":"o înregistrare de probă logică","oss-aion-one-contract-six.30870de828":"identitatea modelului, parametrii, starea, punctele de control, invarianții și hash-ul traiectoriei","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"modul, intrări, acordări de capacități, tranziții, limite și ieșire","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"graficul sursă, transformările, invarianții și identitatea artefactului","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"autoritate, politică, aprobări, tranziții și chitanțe","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"derivarea constrângerilor și dovezile de solver returnate","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"dovadă, model, nucleu, martor sau limită","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Fezabil, infezabil sau optim","oss-aion-one-contract-six.8f7924f6f5":"Verificator de solver specific familiei","oss-aion-one-contract-six.2e9d2d4990":"O concluzie din constrângeri declarate","oss-aion-one-contract-six.0e7a123b77":"Verificator de raționament Loom","oss-aion-one-contract-six.3c1a0d119e":"O operațiune guvernată finalizată","oss-aion-one-contract-six.6c2ed5435d":"Verificator organizațional Nexus","oss-aion-one-contract-six.07b127b70d":"Un artefact compilat","oss-aion-one-contract-six.4f9018da9e":"Verificator de compilare Kera","oss-aion-one-contract-six.1f42a0b0ce":"O sarcină de lucru executată","oss-aion-one-contract-six.5a3c8f1f84":"Verificator de execuție Selvedge","oss-aion-one-contract-six.8879cc2e8a":"O traiectorie simulată","oss-aion-one-contract-six.0d72478caf":"Verificator de simulare și FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"O rulare FMU finalizată","oss-aion-one-contract-six.8f5753fba0":"Identitate FMU, configurare, pași, evenimente, convergență și urmă","oss-aion-one-contract-six.4d64b5bbaf":"Verificator de simulare și FMI","oss-aion-one-contract-six.6f99b37c1c":"Afirmație","oss-aion-one-contract-six.4cb3ee8fa2":"Dovezi","oss-aion-one-contract-six.0f3253d8d8":"Verificator","oss-aion-one-envelope.3b24a9a880":"opt câmpuri, cu versiune","oss-aion-one-envelope.a348113c09":"care\n          verificator îl citește.","oss-aion-one-envelope.08ace6c26e":"un câmp decide","oss-aion-one-envelope.396e2145f9":"Patru tipuri de dovezi, o singură deschidere și","oss-aion-one-envelope.dc1a7be459":"sprijinit pe al doilea","oss-aion-one-envelope.ddc01a5859":"afirmație de traiectorie","oss-aion-one-envelope.7f211a50e2":"set de parametri","oss-aion-one-envelope.8f2aa45103":"identitate de model","oss-aion-one-envelope.23e75e07fb":"ales de câmpul tip de certificat, nu de cine l-a trimis","oss-aion-one-envelope.4e4dc30b71":"care verificator îl citește","oss-aion-one-envelope.c8c687f0ff":"aceeași deschidere, de fiecare dată","oss-aion-one-envelope.b5a871e570":"un teanc de chitanțe","oss-aion-one-envelope.f90f47de4d":"o succesiune de tranziții","oss-aion-one-envelope.3116f117c0":"un tabel de treceri","oss-aion-one-envelope.134483f4a2":"o dovadă de clauză","oss-aion-one-envelope.93a8ee0c5f":"ce intră","oss-aion-one-envelope.582a139a7d":"rutat după tip","oss-aion-one-envelope.6b9805fe87":"Un plic, patru încărcături","oss-aion-one-envelope.3dde401523":"execuție la rulare","oss-aion-one-envelope.708563c595":"ed25519, verificat","oss-aion-one-envelope.f2e0576c5b":"două, numite mai jos","oss-aion-one-envelope.f7b7603261":"sigilat, 41 kB","oss-aion-one-envelope.15aae6195c":"încărcătură de certificat","oss-aion-one-envelope.6732222b05":"tip de certificat","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"versiune de contract","oss-aion-one-envelope.b578b9727d":"fără dublă taxare în perioada 2026-06","oss-aion-one-envelope.a503bc1da2":"respins","oss-aion-one-envelope.51c817ab85":"acceptat","oss-aion-one-envelope.495117c360":"dependențe","oss-aion-one-envelope.910e029098":"ilustrativ","oss-aion-one-field-apart.e704601d64":"axa, nu un eșantion","oss-aion-one-field-apart.5c256bca81":"Rezultatul s-a mutat odată cu ea, iar aceasta este o constatare, nu o statistică.","oss-aion-one-field-apart.7a1e726c2f":"Două aplicații identice în fiecare câmp public, la o cifră distanță.","oss-aion-one-field-apart.084f6c9ebe":"fiecare pereche permisă de reguli","oss-aion-one-field-apart.ddaee9368d":"o mie de cazuri testate","oss-aion-one-field-apart.4c4ccacd1b":"o pereche pe care o poți pune într-un fișier","oss-aion-one-field-apart.6fddc6a6d1":"banda B,","oss-aion-one-field-apart.dbf68713b1":"aceeași linie, în trepte","oss-aion-one-field-apart.8c6c701170":"cazul care eșuează","oss-aion-one-field-apart.0f9dcd24f1":"rezultatul nu a depins de acest câmp","oss-aion-one-field-apart.154b3f8e44":"banda B, 3 oferte","oss-aion-one-field-apart.4392f1d89c":"o linie, fără treaptă","oss-aion-one-field-apart.02de2da27e":"cazul care se menține","oss-aion-one-field-apart.b7de103af7":"salariul brut, lăsat liber pe fiecare parte","oss-aion-one-field-apart.c86b5b3346":"egal pe ambele părți","oss-aion-one-field-apart.54bb687f85":"aplicații ilustrative","oss-aion-one-field-apart.b69108366c":"rezultatul face un pas la pereche","oss-aion-one-field-apart.e79b0df746":"La un câmp distanță","oss-aion-one-field-apart.e1fef06921":"oferte","oss-aion-one-field-apart.8699f2b04f":"permanent","oss-aion-one-field-apart.06e3125012":"angajare","oss-aion-one-field-apart.305fa62f02":"30 până la 39","oss-aion-one-field-apart.c6a0c81b25":"bandă de vârstă","oss-aion-one-field-apart.61a7508ed1":"de bază","oss-aion-one-field-apart.38a007151a":"produs","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"regiune","oss-aion-one-word.95fa084cc9":"unul dintre ele verifică AION","oss-aion-one-word.ce157273ec":"trei dintre acestea în care crezi","oss-aion-one-word.a04376ab99":"și ce poți face cu el","oss-aion-one-word.1a5b0d2471":"DECALAJUL","oss-aion-one-word.69dc71b6f9":"Cu ce vine un rezultat","oss-aion-one-word.8d40d2bfcc":"Afirmații tipizate, fiecare numind o regulă, o tranziție sau o premisă.","oss-aion-one-word.2f8acfe792":"Un certificat","oss-aion-one-word.b04dce1dd0":"Cât a durat până să fii sigur. Certitudinea nu este întrebarea.","oss-aion-one-word.7eb987f893":"O durată","oss-aion-one-word.8388e9c8ba":"Ce a făcut sistemul. Nu de ce urmează concluzia.","oss-aion-one-word.40d0f0d4b5":"Un jurnal","oss-aion-one-word.e7597ba59a":"unsat, compilat, sigur, aprobat. Nimic în el cu care să nu fii de acord.","oss-aion-one-word.ae976ad8e9":"Un cuvânt","oss-aion-org-cert.dd25bad09c":"și fiecare este verificat","oss-aion-org-cert.e8add8f2b8":"organizația, rolurile, sarcinile și aprobările completează golurile","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"de la obiectiv la chitanță","oss-aion-org-cert.0a629276bf":"Opt elemente în lanț","oss-aion-org-cert.51e6694762":"Ce s-a făcut efectiv în exterior și ce a revenit.","oss-aion-org-cert.4f0a23ec14":"Acțiuni și chitanțe","oss-aion-org-cert.b249df120c":"Fiecare graniță pe care munca a traversat-o și ce a depășit-o.","oss-aion-org-cert.5eaad4eb5f":"Porți depășite","oss-aion-org-cert.aba30ac5b8":"Ce rol deținea ce, în momentul în care acțiunea a fost încercată.","oss-aion-org-cert.145ae750ce":"Autoritate rezolvată","oss-aion-org-cert.f8a4dc9c6b":"Ce se încerca, sub ce versiune de politică.","oss-aion-org-cert.63fbd2b7ee":"Obiectiv și politică","oss-aion-pipeline.b07bbe8800":"Miez propozițional","oss-aion-pipeline.81f811c968":"O căutare bazată pe învățarea de clauze, condusă de conflicte, peste scheletul boolean. Decide, propagă, întâlnește un conflict, învață o clauză și face backjump. Valorile binare, întregi și în virgulă fixă adaptivă stau la baza procedurii de decizie; nicio valoare în virgulă mobilă nu este stocată, acumulată sau folosită ca rezervă în nucleul aritmetic.","oss-aion-pipeline.dc0dd5bc07":"decizii și clauze învățate","oss-aion-pipeline.0c5ad3c30f":"Pluginuri de teorii","oss-aion-pipeline.f3a7990ab0":"Nucleul transmite o atribuire parțială stratului de teorii. Aritmetica, vectorii de biți, tablourile și șirurile raționează în propriile domenii și trimit înapoi propagări și conflicte. Intrarea externă în virgulă mobilă este decodificată la graniță în câmpuri binare sau într-o scară declarată în virgulă fixă, înainte de a se alătura verificării. Kernel-ul găzduiește aceste raționamente; teoriile temporale și cele de program trăiesc în crate-uri însoțitoare.","oss-aion-pipeline.9d1b00d225":"leme de teorie și conflicte","oss-aion-pipeline.fa6a461dcc":"Emițător de dovezi","oss-aion-pipeline.b3ca95c05c":"Fiecare pas pe care îl face motorul, fiecare rezoluție și fiecare lemă de teorie, este înregistrat de emițătorul de dovezi pe măsură ce se întâmplă. Rezultatul este o derivare ordonată pe care un verificator separat o poate relua pe baza premiselor sale.","oss-aion-pipeline.17ac98f8af":"o derivare ordonată","oss-aion-pipeline.26d98dc390":"Export de format","oss-aion-pipeline.a79251f54d":"Derivarea este scrisă ca LRAT, DRAT sau Alethe, sau păstrată în forma intermediară unificată. LRAT poartă indicii de propagare a unităților, ceea ce face ca verificarea offline să fie liniară în lungimea dovezii.","oss-aion-pipeline.8c3cee1cd3":"un certificat portabil","oss-aion-pipeline.77ec79ed26":"de la decizie la certificat","oss-aion-pipeline.c320454a47":"CDCL + teorie + emițător","oss-aion-pipeline.a618b4be8d":"Interogare","oss-aion-pipeline.10de46b3b3":"Certificat","oss-aion-pipeline.62923220ae":"Întreg / virgulă fixă.","oss-aion-pipeline.4961117925":"Nicio valoare în virgulă mobilă în interiorul nucleului.","oss-aion-pipeline.591118af56":"Lanț de rezoluție.","oss-aion-pipeline.39dfacd414":"Fiecare pas citează premisele de care depinde, în ordine.","oss-aion-pipeline.7fc7b98317":"Verificator independent.","oss-aion-pipeline.f0bef425b5":"Certificatul se reia fără solver.","oss-aion-pipeline.a73bc5ed23":"Arhitectură, nucleu CDCL, pluginuri de teorii, emițător de dovezi","oss-aion-plain-card.7e190a46ae":"O mașină dă un răspuns","oss-aion-plain-card.b8941c136d":"Un computer calculează ceva pentru tine. De unul singur, trebuie doar să îl crezi pe cuvânt.","oss-aion-plain-card.1232ecf314":"Scrie și o chitanță","oss-aion-plain-card.af7230bfb9":"AION face mașina să imprime o mică chitanță lângă răspuns. Chitanța arată fiecare pas pe care l-a făcut ca să ajungă acolo.","oss-aion-plain-card.262d1681dd":"Oricine poate verifica chitanța","oss-aion-plain-card.7d35d2e097":"Propriul tău ajutor citește chitanța și spune da, asta se potrivește, sau nu, asta e greșit. Nu trebuie să aibă încredere deloc în prima mașină.","oss-aion-plain-card.e8146bafb5":"AION, pe scurt","oss-aion-plain-card.0b081a8ef4":"Chitanță inclusă","oss-aion-plain-card.a32564404b":"Gândește-te la o chitanță de plată. Când cumperi ceva, primești o hârtie care dovedește că\n          magazinul ți-a cerut suma corectă. Poți arăta acea chitanță oricui, și o poate verifica\n          singur.","oss-aion-plain-card.d5d9b99b9c":"AION face același lucru pentru un computer.","oss-aion-plain-card.2cc68d964c":"Când o mașină dă\n          un răspuns, AION îți oferă o chitanță care arată că răspunsul este corect, și oricine o poate verifica.","oss-aion-plain-card.374c644917":"Nu trebuie să ai niciodată doar încredere în mașină. Chitanța face dovada.","oss-aion-plain-refusal.7d7fc8edd4":"aceeași explicație este valabilă pentru tine și pentru oricine o revizuiește, pentru că este o singură explicație","oss-aion-plain-refusal.40c2416b25":"un caz pe care îl poți citi, nu o cruce pe care nu o poți","oss-aion-plain-refusal.f795b42ea6":"Spațiul de pe acest card revine la suma completă pe 1 august, peste două zile.","oss-aion-plain-refusal.3ae2a82129":"când se întâmplă asta","oss-aion-plain-refusal.a6012020ae":"Fie cu 150 de euro mai mult spațiu pe card, fie o plată de 90 de euro sau mai puțin.","oss-aion-plain-refusal.74b2c9301b":"ce ar schimba asta","oss-aion-plain-refusal.e88b1876e6":"90 de euro nu acoperă 240 de euro, deci plata și spațiul rămas nu pot exista ambele.","oss-aion-plain-refusal.d649363397":"ce parte o strică","oss-aion-plain-refusal.ec7a8f0a8d":"Plata a fost de 240 de euro. Spațiul rămas pe card astăzi era de 90 de euro.","oss-aion-plain-refusal.fcd45ae097":"situația ta","oss-aion-plain-refusal.e51b51ac5a":"O plată se procesează doar dacă spațiul rămas pe card astăzi o acoperă.","oss-aion-plain-refusal.93823841cb":"ce spune regula","oss-aion-plain-refusal.9bc7984374":"De ce nu a fost procesată","oss-aion-plain-refusal.549840f998":"Când o regulă este încălcată, AION scrie situația care a încălcat-o, în propoziții obișnuite cu numerele incluse. Plata a fost pentru atât, spațiul rămas pe card astăzi a fost mai puțin decât atât, și împreună aceste două fapte încalcă regula. Poți să o citești, să o contestezi precis, sau să schimbi singurul lucru care trebuie schimbat. O cruce într-o căsuță nu îți oferă nimic din toate astea, și nu este mai scurtă, doar mai goală.","oss-aion-plain-refusal.3b50831d8a":"O decizie automată care te refuză este mai rea decât una luată de o persoană, pentru că de obicei nu ai ce întreba. Refuzul ajunge finalizat. Ceea ce primești este rezultatul și, dacă ai noroc, un număr de referință, iar drumul către o explicație reală este o plângere care durează săptămâni și ajunge la cineva care nu a fost implicat nici el.","oss-aion-plain-refusal.ada63e5c2f":"Un caz lucrat este.","oss-aion-plain-refusal.462f7e9213":"„Nepermis” nu este o motivare.","oss-aion-plain-refusal.5abdfa9cd6":"Diferența","oss-aion-plain-refusal.68c46e84d7":"clar","oss-aion-reasoning-cert.0f1fb3d007":"și fiecare element este verificat","oss-aion-reasoning-cert.98ec75a261":"limitele și revendicarea finală completează cele șapte","oss-aion-reasoning-cert.433b925481":"Ce a fost exclus și premisele care au exclus.","oss-aion-reasoning-cert.13382efd7c":"Contradicții","oss-aion-reasoning-cert.e856a27527":"Subproblema eliminată și dovada care a revenit.","oss-aion-reasoning-cert.92324f5363":"Certificate de rezolvare","oss-aion-reasoning-cert.fe451714e4":"Fiecare numit, în ordinea în care a fost aplicat.","oss-aion-reasoning-cert.e0d40a5309":"Aplicări de reguli","oss-aion-reasoning-cert.e0753c6513":"Ce era în vigoare, la ce versiune, când a rulat lucrarea.","oss-aion-reasoning-cert.b9366c0dbf":"Constrângeri active","oss-aion-reasoning-cert.a04ed61a81":"rezolvatorul","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"șapte elemente","oss-aion-reasoning-cert.eb64d71581":"Ce conține un certificat de raționament","oss-aion-reasoning-chain.126806353c":"declarat, apoi verificat","oss-aion-reasoning-chain.751e90e830":"Fiecare dintre ele este un artefact lăsat în urmă de raționament, și fiecare este citit.","oss-aion-reasoning-chain.bc96941170":"Patru constrângeri, două aplicări de reguli, o rulare a solverului și o contradicție.","oss-aion-reasoning-chain.57fa7b904f":"Ceea ce se verifică aici este derivarea pe care sistemul a declarat-o, element cu element.","oss-aion-reasoning-chain.e0aa3695ac":"core 01 02 04, iar 03 nu este în el","oss-aion-reasoning-chain.e3338dab26":"dubla încărcare exclusă","oss-aion-reasoning-chain.a43e177c4c":"rambursarea 04 inversează","oss-aion-reasoning-chain.becc703d80":"încărcare combinată","oss-aion-reasoning-chain.398df239b3":"din 01 și 02","oss-aion-reasoning-chain.373c5eb4cc":"citit pas cu pas, se închide","oss-aion-reasoning-chain.45f358826b":"returnat de prover, în Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvector și egalitate, nimic altceva nu traversează","oss-aion-reasoning-chain.34fcd5c8c7":"subproblemă, sigilată","oss-aion-reasoning-chain.8c7f764922":"la numărul de reîncercări, din 02 și 03","oss-aion-reasoning-chain.7c960fefa4":"trei ridicate în core, unul lăsat unde era","oss-aion-reasoning-chain.eeacd6e80f":"constrângeri active, în cuvintele scrise de persoana responsabilă","oss-aion-reasoning-chain.0ee0bb12eb":"Această configurație nu poate produce o dublă încărcare într-o singură perioadă de facturare.","oss-aion-reasoning-chain.c0644670d0":"afirmația pe care o susține Loom","oss-aion-reasoning-chain.9616861141":"afirmație ilustrativă și versiuni","oss-aion-reasoning-chain.e4f7c8c782":"core numește trei, elimină unul","oss-aion-reasoning-chain.43c7dffedb":"O concluzie, deschisă","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"din 8 și 9","oss-aion-reasoning-chain.3d26486c4c":"din 8","oss-aion-reasoning-chain.5a6d9bdd37":"din 3 și 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Un ramburs inversează încărcarea pe care o numește.","oss-aion-reasoning-chain.4c449f834c":"O perioadă de facturare se închide la miezul nopții în ultima zi.","oss-aion-reasoning-chain.a663638447":"O reîncercare nu ridică niciodată o a doua încărcare.","oss-aion-reasoning-chain.0d43228516":"O încărcare este ridicată o dată per livrare finalizată.","oss-aion-reassure.38a3bd59d5":"Ideea e simplă: nu te lua niciodată după cuvântul unei mașini. Păstrează o dovadă pe care un al doilea verificator o poate testa.","oss-aion-reassure.0ccc7397a4":"Nu. Dovada poate fi verificată chiar acolo unde ești, fără să trimiți nimic pe internet.","oss-aion-reassure.5bea629f3e":"Este răspunsul meu trimis undeva?","oss-aion-reassure.af397dc934":"Este construit în Europa. Un verificator separat, nu mașina care a produs răspunsul, verifică fiecare dovadă.","oss-aion-reassure.7de6360d68":"De unde provine?","oss-aion-reassure.a93d9edbec":"Nu. Nu trebuie să construiești nimic din toate astea. Magazinul, spitalul sau biroul îl folosește pentru tine. Tu doar primești un răspuns mai clar.","oss-aion-reassure.39af3a44b7":"Trebuie să fiu priceput cu calculatoarele?","oss-aion-reassure.bdbcd6057e":"Da. Dovada poate fi verificată din nou fără modelul original, sesiunea, contul sau conexiunea la internet.","oss-aion-reassure.aa1b0d7005":"Poate fi verificată mai târziu?","oss-aion-receipt.36889df54f":"Nu o atingi niciodată tu. Când un magazin sau un birou o folosește pentru tine, acesta este bonul\n          pe care îl pot înmâna.","oss-aion-receipt.46fbbfb5be":"Oricine o poate citi și verifica dacă se potrivește.","oss-aion-receipt.9c258dd430":"și trebuie să o crezi. Cu AION,\n            mașina îți dă și ție bonul mic din stânga. Acesta arată întrebarea, pașii și\n            răspunsul.","oss-aion-receipt.013700f8eb":"O mașină normală doar spune","oss-aion-receipt.12df5bb228":"Al tău de păstrat","oss-aion-receipt.7b8544fad0":"Se verifică","oss-aion-receipt.def2581739":"Bon de răspuns","oss-aion-receipt.6e17da21e4":"Un exemplu de bon de răspuns","oss-aion-receipt.f2688d32ea":"Întreabă din nou și primești același răspuns și același bon, pe orice computer.","oss-aion-receipt.2379231efe":"La fel de fiecare dată","oss-aion-receipt.a4b884c0e4":"Propriul tău asistent verifică bonul chiar acolo unde ești, fără să trimită nimic.","oss-aion-receipt.930888ee28":"Fără internet","oss-aion-receipt.7a019cc1d2":"Motivul este pe bon, nu ascuns într-o mașină. Îl poți păstra sau arăta.","oss-aion-receipt.47b716baec":"În scris","oss-aion-receipt.92ed516e5b":"Da, și iată de ce.","oss-aion-receipt.7011b1a621":"Răspunsul","oss-aion-receipt.8ab9465666":"Cazul tău a fost potrivit cu el.","oss-aion-receipt.16bb8dfc44":"Pasul doi","oss-aion-receipt.d3ca88b9f3":"Regula a fost citită integral.","oss-aion-receipt.e97cc54395":"Pasul unu","oss-aion-receipt.afd2793ce0":"Mi se cuvine această rambursare?","oss-aion-receipt.d79cce547d":"Întrebarea","oss-aion-recheck-list.09d5defeae":"două rânduri, două nume","oss-aion-recheck-list.fd3e1afd0e":"sau, mult mai des, despre nimic.","oss-aion-recheck-list.459f160ffa":"Fără versiunea din spatele fiecărui rând, aceeași notificare determină o reexaminare a\n          tot,","oss-aion-recheck-list.cade8a80df":"lista și cine o deține","oss-aion-recheck-list.6f13975269":"încă compatibil","oss-aion-recheck-list.48f8969999":"necesită recitire","oss-aion-recheck-list.af0f44d357":", modificat în","oss-aion-recheck-list.4202e0844e":"Regula limitei de optimalitate este interpretată mai strict. O limită declarată exact la prag nu mai\n              este acceptată ca fiind sub acesta.","oss-aion-recheck-list.1c26bb5963":"lansat 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Verificator v7.0","oss-aion-recheck-list.9ffcf8f72b":"intrări ilustrative","oss-aion-recheck-list.dc490c03ae":"două din cinci semnalate","oss-aion-recheck-list.7316018edf":"Înregistrările afectate","oss-aion-recheck-list.2237af7cd3":"regula limitei de optimalitate","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Rută optimă, depozit nord","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Build firmware, gateway 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Evaluarea consimțământului, campania 44","oss-aion-recheck-list.3c54a1df45":"intern","oss-aion-recheck-list.b8d251e8cd":"Rulare prețuri în lot","oss-aion-recheck-list.dce56394a1":"Plan de rotație, săptămâna 12","oss-aion-recheck-list.48a3661d84":"stare","oss-aion-recheck-list.29e5b9a8e6":"verificator","oss-aion-recheck-list.51c817ab85":"acceptat","oss-aion-recheck-list.e2979e7595":"furnizor","oss-aion-recheck-list.335ce16b3f":"subiect","oss-aion-recheck-list.796a88413e":"J. Okonkwo, operațiuni","oss-aion-recheck-list.90916dd844":"Re-verifică, apoi confirmă limita declarată cu furnizorul.","oss-aion-recheck-list.00e67572db":"M. de Vries, protecția datelor","oss-aion-recheck-list.e4faeae968":"Re-verifică certificatul stocat împotriva v7.0.","oss-aion-record-fields.8580937ae7":"fiecare produce propriul set afectat","oss-aion-record-fields.632f62dd8b":"o schemă de certificat completează cele șapte","oss-aion-record-fields.7039b2f0bd":"unde este acum","oss-aion-record-fields.74b489c3d1":"unde era","oss-aion-record-fields.5d5dc3b7c3":"DURABIL","oss-aion-record-fields.c2a1a83804":"și nu sunt doar reguli de probă","oss-aion-record-fields.12b83ffb63":"Ce se poate schimba dedesubt","oss-aion-record-fields.91b3cb991a":"o versiune mai nouă de model","oss-aion-record-fields.e1ab670f61":"Un contract de model sau simulare","oss-aion-record-fields.da15b4cbb5":"afirmația în sine s-a mutat","oss-aion-record-fields.26e4976c38":"Un contract de compilator sau runtime","oss-aion-record-fields.cb2c2e30b7":"eliberat sub altul","oss-aion-record-fields.43e275dea3":"O politică","oss-aion-record-fields.521a7a8570":"citit diferit acum","oss-aion-record-fields.58fd9f572c":"O regulă de verificare","oss-aion-refusal-fields.432aa8565f":"o referință pe care cineva o poate urmări","oss-aion-refusal-fields.36a85f9074":"nu o cruce roșie","oss-aion-refusal-fields.fe71871083":"NOTĂ","oss-aion-refusal-fields.4f84be92c8":"ca cineva să poată acționa pe baza ei","oss-aion-refusal-fields.fa31a3ca39":"Ce conține o refuzare","oss-aion-refusal-fields.5647a1c020":"decide a cui constatare este","oss-aion-refusal-fields.11c0add347":"Un defect în dovadă, sau o regulă pe care nu o aplicăm. Nu sunt același lucru.","oss-aion-refusal-fields.a74aa40f65":"Tipul","oss-aion-refusal-fields.d3144a7994":"vezi ce nu era acolo","oss-aion-refusal-fields.060958d8fd":"Ce a lipsit sau a fost greșit când a fost recalculat.","oss-aion-refusal-fields.a7dc07c061":"Motivul","oss-aion-refusal-fields.3b21710b2e":"verifică ce ar fi trebuit să facă","oss-aion-refusal-fields.f80b017fdb":"Ce pretindea pasul că face.","oss-aion-refusal-fields.0056e788fc":"Regula","oss-aion-refusal-fields.89abf35df5":"deschide-l la acea linie","oss-aion-refusal-fields.3dac51b71a":"Care pas, după număr, în care fișier.","oss-aion-refusal-fields.2fb8438f32":"Locația","oss-aion-reviewable.e0cb1b89aa":"nu doar autorul","oss-aion-reviewable.f29c4ff9dd":"proprietarul îl revizuiește","oss-aion-reviewable.c6465865b0":"propoziția ta","oss-aion-reviewable.ed6912ad70":"REVIZUIRE","oss-aion-reviewable.5867cc6bd5":"fără învățarea notației","oss-aion-reviewable.8f8dec6da0":"Ce vede un revizor","oss-aion-reviewable.da8643122f":"Un nume, o dată și versiunea propoziției confirmate.","oss-aion-reviewable.7c92afb7f9":"O confirmare semnată","oss-aion-reviewable.340e6b4675":"O revizuire repetată citește la fel, pentru că nimic nu a eșantionat un model.","oss-aion-reviewable.b08be2b959":"La fel de fiecare dată","oss-aion-reviewable.d3a2628a1c":"Fiecare cantitate numită, cu tipul de valoare pe care îl deține.","oss-aion-reviewable.2587914ff8":"Peste ce lucrează","oss-aion-reviewable.f0a2aa51a4":"O propoziție care spune ce codifică întreaga condiție.","oss-aion-reviewable.5a47a1dcaf":"O lectură simplă","oss-aion-reviewable.aee2d461c7":"Neschimbată, în partea de sus, așa cum au scris-o.","oss-aion-reviewable.7488358db7":"Propoziția lor","oss-aion-risk-ledger.1a0f2538e1":"Cinci expuneri operaționale înlocuite de un singur certificat pe care un alt verificator îl poate verifica.","oss-aion-risk-ledger.4b32d8f574":"Cu AION","oss-aion-risk-ledger.2e34d48ba3":"Modul obișnuit","oss-aion-risk-ledger.d1d7499182":"PUSE FACE ÎN FACE","oss-aion-risk-ledger.02c7234156":"Redați raționamentul offline și confirmați-l singur.","oss-aion-risk-ledger.b5058e1c76":"Luați de bun furnizorul că răspunsul a fost corect.","oss-aion-risk-ledger.d2e183faa1":"Cât de mult să aveți încredere","oss-aion-risk-ledger.96f0603563":"Certificatul verifică fără niciuna dintre ele.","oss-aion-risk-ledger.04312971f3":"Modelul original, sesiunea de rezolvare și serviciul trebuie să fie în continuare disponibile.","oss-aion-risk-ledger.2df1215b19":"De ce depinde verificarea","oss-aion-risk-ledger.8ddd34c358":"Rulează pe propriul hardware, într-o jurisdicție pe care o aprobați.","oss-aion-risk-ledger.c3fe4a906f":"Deciziile sunt explicate pe servere pe care nu le controlați.","oss-aion-risk-ledger.242ebe0c39":"Unde stau datele","oss-aion-risk-ledger.75eb05728b":"Formatele standard de dovezi rămân verificabile independent.","oss-aion-risk-ledger.46d3f9eccd":"Explicația dispare odată cu serviciul original.","oss-aion-risk-ledger.8ea6189e84":"Când se schimbă runtime-ul","oss-aion-risk-ledger.21ff58d6a7":"Predați un certificat pe care auditorul îl poate verifica singur.","oss-aion-risk-ledger.934929b924":"Trimiteți fișiere de jurnal și sperați că sunt citite ca dovezi.","oss-aion-risk-ledger.8632e0b3b5":"Când întreabă auditorul","oss-aion-rule-refusal.c354dff2de":"fără verdict după 15","oss-aion-rule-refusal.0fc2b67ff7":"la primul, un pas eșuează","oss-aion-rule-refusal.d7cb461a4b":"Patru teste într-o ordine fixă, iar citirea se oprește","oss-aion-rule-refusal.ad9deadf27":"un identificator de clauză folosit pentru două clauze","oss-aion-rule-refusal.ffc05ba511":"un pivot declarat pe un literal pe care clauza nu îl conține","oss-aion-rule-refusal.5af32fb7c4":"un indiciu care citează pasul pe care ar trebui să îl justifice","oss-aion-rule-refusal.fbf5522f0e":"fixat din suita ostilă","oss-aion-rule-refusal.d3b27b8f89":"nu s-a închis","oss-aion-rule-refusal.0f04e9ee60":"literali încă în picioare pe ultima clauză","oss-aion-rule-refusal.90f9cbf1cb":"sfârșit de fișier","oss-aion-rule-refusal.196a925493":"indexul premisei, de la 1 la 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, regulă cu regulă","oss-aion-rule-refusal.b14e7fc954":"oprit la 15","oss-aion-rule-refusal.ce0ed8058b":"O demonstrație, citită de sus","oss-aion-rule-refusal.af0cbd46a2":"citat în afara ordinii","oss-aion-rule-refusal.165a394589":"din 61 și 20","oss-aion-rule-refusal.dd39474e4f":"premisă absentă","oss-aion-rule-refusal.6edfd31763":"din 88","oss-aion-rule-refusal.d18b697772":"se citează pe sine","oss-aion-rule-refusal.5c7bf112ac":"din 31 și 18","oss-aion-rule-refusal.64b0295aa0":"regulă nesprijinită","oss-aion-rule-refusal.5e2428fc82":"din 14","oss-aion-rule-refusal.a7e8697338":"din 12 și 13","oss-aion-rule-refusal.ba08b53848":"din 4","oss-aion-rule-refusal.2a1be725ca":"rezoluție 12","oss-aion-rule-refusal.54a0121f57":"din 4 și 9","oss-aion-rule-refusal.8ffe1b4177":"regulă cunoscută","oss-aion-rule-refusal.ebed34abd2":"sub propria sa","oss-aion-rule-refusal.d182b65e15":"premisă prezentă","oss-aion-rule-refusal.a503bc1da2":"refuzat","oss-aion-rule-refusal.3a21295d81":"stoc","oss-aion-same-except-one.279e6c9e96":"unul este lucrat mai jos","oss-aion-same-except-one.87ca0e7356":"limitele, derivările și proveniența modelului completează cele șapte","oss-aion-same-except-one.72b459f8cc":"PROPRIETĂȚI","oss-aion-same-except-one.25119f6e70":"și familia care le poartă pe fiecare","oss-aion-same-except-one.ed6552be04":"Afirmații pe care le poți face","oss-aion-same-except-one.633255fe41":"Această traiectorie a respectat aceste invarianți.","oss-aion-same-except-one.6b403d2a35":"Această acțiune a avut aprobarea necesară.","oss-aion-same-except-one.ac5d8ada02":"Această sarcină de lucru a rulat sub aceste capacități.","oss-aion-same-except-one.5e8efc64f2":"Acest binar corespunde acestui graf sursă.","oss-aion-same-except-one.81c0e8e986":"simulare","oss-aion-same-except-one.92fe1455a7":"organizațional","oss-aion-same-except-one.1e21474598":"execuție","oss-aion-same-except-one.023646ce84":"compilare","oss-aion-same-rule-parts.3326352b94":"aceste trei o depășesc","oss-aion-same-rule-parts.b33174d833":"răspunsul este pe un rând","oss-aion-same-rule-parts.490fbefa4b":"dacă predai aceeași lucrare de două ori, verificarea iese la fel","oss-aion-same-rule-parts.ce173fc797":"Reținut pentru o a doua verificare.","oss-aion-same-rule-parts.60c6fa6f09":"răspunsul","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"după ce ajunge răspunsul","oss-aion-same-rule-parts.3fea5c7183":"Trei lucruri pe care le păstrezi","oss-aion-same-rule-parts.f460809c86":"Când a fost verificată lucrarea și ce a verificat-o.","oss-aion-same-rule-parts.1f26226511":"înregistrarea","oss-aion-same-rule-parts.f3488c72aa":"Data","oss-aion-same-rule-parts.7e9a6ac9d7":"Regula citată înapoi, cu propria ta situație înăuntru.","oss-aion-same-rule-parts.fa1f96a2cc":"tipărit cu răspunsul","oss-aion-same-rule-parts.a7dc07c061":"Motivul","oss-aion-same-rule-parts.51240e4e03":"Cuvinte obișnuite, păstrate, ca să i-o poți citi oricui.","oss-aion-same-rule-parts.f901c543a0":"așa cum a scris-o cineva","oss-aion-same-rule-parts.0056e788fc":"Regula","oss-aion-same-rule-thrice.8716c9d2d1":"citat de toți trei","oss-aion-same-rule-thrice.56daaad027":"Nimeni nu a interpretat cazul nimănui pe loc.","oss-aion-same-rule-thrice.fe8d9a24bc":"Trei nume, trei date, un singur motiv, cuvânt cu cuvânt.","oss-aion-same-rule-thrice.2d4e5d243a":"aceleași cuvinte în toate cele trei scrisori","oss-aion-same-rule-thrice.36c5f05f0e":"Cererea mea a fost reținută pentru că orice cerere de la un cont care a fost vreodată descoperit\n              este reținută pentru o a doua verificare. Asta ai vrut să facă?","oss-aion-same-rule-thrice.47b69ccfd4":"ce poate scrie oricare dintre cei trei","oss-aion-same-rule-thrice.5441126254":"motivul, cu cifrele tale","oss-aion-same-rule-thrice.e026ce35f8":"regula, în cuvinte","oss-aion-same-rule-thrice.c6b6fdf0c8":"Cererea ta este reținută","oss-aion-same-rule-thrice.4af8028f5b":"Asta îi afectează pe toți cei care au fost descoperiți o săptămână.","oss-aion-same-rule-thrice.43d7f6edd9":"Orice cerere de la un cont care a fost vreodată descoperit este reținută pentru o a doua verificare.","oss-aion-same-rule-thrice.d5dff79fd0":"regula, așa cum a scris-o persoana responsabilă","oss-aion-same-rule-thrice.660cf69152":"același motiv, de trei ori","oss-aion-same-rule-thrice.2aa5baf4fa":"o regulă, trei persoane","oss-aion-same-rule-thrice.2969c22def":"descoperit o zi în august 2024","oss-aion-same-rule-thrice.db55a373e5":"2 iulie","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"descoperit două zile în noiembrie 2021","oss-aion-same-rule-thrice.8a343dea89":"19 iunie","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"descoperit șase zile în martie 2023","oss-aion-same-rule-thrice.e46936527e":"4 iunie","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Contul tău a fost descoperit la un moment dat, așa că această cerere este reținută pentru o a doua verificare.","oss-aion-same-rule-thrice.69449f994d":"ref","oss-aion-same-rule-thrice.910e029098":"ilustrativ","oss-aion-second-reader.e2a4a212d5":"a indica linia este partea utilă","oss-aion-second-reader.b31aece7ea":"acordul este ușor","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"ce face a doua citire","oss-aion-second-reader.d160172930":"Adunând din nou","oss-aion-second-reader.0bd3d42b28":"Un program diferit, fără niciun motiv să prefere răspunsul.","oss-aion-second-reader.2c814bb70c":"Nu este prima mașină","oss-aion-second-reader.b792afd627":"Și spune care pas, deci există ceva la care să se indice.","oss-aion-second-reader.4a195096b0":"Se oprește la prima eroare","oss-aion-second-reader.58f56fa2c3":"Recalculează în loc să aibă încredere că a fost făcut.","oss-aion-second-reader.5abf0b9df4":"Face fiecare pas","oss-aion-second-reader.de8f44bd3b":"Nu răspunsul. Pașii care trebuiau să ducă la el.","oss-aion-second-reader.0a461499ae":"Citește calculul","oss-aion-second-sum.2517e33359":"o locație, nu o sentință","oss-aion-second-sum.1f31706279":"Ceea ce aveai nevoie era linia, și iată-o.","oss-aion-second-sum.1b06fb1625":"Ambele coloane ajung la un total, și una dintre ele este greșită.","oss-aion-second-sum.715f45331b":"Citirea se oprește la cinci, în loc să continue până la șase, pentru că o verificare care sare peste un pas pe care nu îl poate face să iasă nu este o verificare.","oss-aion-second-sum.be51277bfd":"nu s-a ajuns","oss-aion-second-sum.a90d766915":"acest pas nu iese","oss-aion-second-sum.b214ae4ce2":"aceeași mișcare, pe o mașină care a scris","oss-aion-second-sum.e4cddfd229":"Oricine poate aduna coloana pentru sine și poate ajunge la aceeași linie. Asta este toată ideea, transferată la o lucrare pe care nimeni nu o poate vedea.","oss-aion-second-sum.a72b4463ba":"Cele două coloane sunt de acord pentru trei rânduri. Inelul se învârte în jurul liniei unde se despart, nu în jurul totalului, pentru că totalul nu a fost niciodată lucrul util de discutat.","oss-aion-second-sum.136fc39d05":"Zece cenți, și este la mere.","oss-aion-second-sum.1104f28cf8":"de plătit","oss-aion-second-sum.51111a2b99":"magazinul, marți","oss-aion-second-sum.e9594ccf76":"se despart la mere","oss-aion-second-sum.bb470fd83f":"aceeași coloană, adăugată de două ori","oss-aion-second-sum.0220a293b9":"cererea este plătită","oss-aion-second-sum.f7e5a74a1f":"ceea ce rămâne de plătit se adună","oss-aion-second-sum.597b954c29":"excesul a fost scos","oss-aion-second-sum.edccd745a8":"suma este sub limita pentru acea reparație","oss-aion-second-sum.709d0bb348":"reparația este pe lista acoperită","oss-aion-second-sum.1396b1459a":"contul era deschis în ziua cererii","oss-aion-second-sum.d2fc512490":"creion","oss-aion-second-sum.1c8f15dab7":"tipărit","oss-aion-second-sum.910e029098":"ilustrativ","oss-aion-second-sum.f6c1ab8181":"săpun","oss-aion-second-sum.bcef7a0462":"brânză","oss-aion-second-sum.76c2436b59":"mere","oss-aion-second-sum.44213f9f4d":"cafea","oss-aion-second-sum.6ff291d817":"pâine","oss-aion-second-sum.cf5dbf0ec5":"lapte","oss-aion-sentence-returns.e9a72f31df":"cuvintele tale, la ambele capete","oss-aion-sentence-returns.254545287c":"Opt luni mai târziu, un străin o citește, nu un rezumat al ei.","oss-aion-sentence-returns.f0e71316de":"O persoană a scris o propoziție și a pus-o deoparte.","oss-aion-sentence-returns.4c51f16cb4":"Nimic între aceste două lecturi nu a învățat ceva, nu și-a schimbat părerea sau nu a avut o idee mai bună.","oss-aion-sentence-returns.06152533dc":"o a doua taxare pentru aceeași comandă într-o lună de facturare nu este permisă","oss-aion-sentence-returns.fb3e6817f1":"din lectura de un an mai târziu","oss-aion-sentence-returns.32af205ca5":"din lectura din martie","oss-aion-sentence-returns.0b1eb314b5":"aceeași propoziție, citită din nou un an mai târziu","oss-aion-sentence-returns.547a49e160":"comanda 44-8127 a fost taxată pe trei noiembrie și din nou pe nouăsprezece","oss-aion-sentence-returns.d3141af6d8":"ceea ce a intrat în ea","oss-aion-sentence-returns.a2d40412ef":"o a doua taxare pentru aceeași comandă într-o lună de facturare","oss-aion-sentence-returns.0ee2593cc5":"partea care nu a fost îndeplinită","oss-aion-sentence-returns.43015fadc4":"Nimeni nu ar trebui să fie taxat de două ori pentru aceeași comandă în aceeași lună.","oss-aion-sentence-returns.2ce9eb0823":"regula, în cuvintele în care a fost scrisă","oss-aion-sentence-returns.5c4173fbcf":"9 noiembrie, trimisă clientului","oss-aion-sentence-returns.96ec36f99b":"O taxare a fost oprită","oss-aion-sentence-returns.14da1cff14":"opt luni","oss-aion-sentence-returns.b59f623fe2":"citit ca","oss-aion-sentence-returns.6a250da793":"14 martie, de către persoana care deține facturarea","oss-aion-sentence-returns.8766d15f20":"aceleași cuvinte la ambele capete","oss-aion-sentence-returns.33e656aa3a":"o propoziție, la opt luni distanță","oss-aion-sentence-returns.6180960e2c":"scris","oss-aion-sentence-returns.910e029098":"ilustrativ","oss-aion-side-by-side-rule.1462946510":"ierarhie inversată","oss-aion-side-by-side-rule.dc685ee970":"este setul cel mai mic, în partea de jos.","oss-aion-side-by-side-rule.37ba9a07a7":"Singura linie de aici pe care nimeni nu trebuie să o poată citi","oss-aion-side-by-side-rule.24205c8d5e":"Corpul acestei foi este ceea ce s-a cerut.","oss-aion-side-by-side-rule.136ec48046":"versiunea propoziției 3","oss-aion-side-by-side-rule.5714c84617":"9 aprilie 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, operațiuni de facturare","oss-aion-side-by-side-rule.4c1493cdf2":"condiția așa cum este stocată","oss-aion-side-by-side-rule.5050bceb24":"peste ce funcționează","oss-aion-side-by-side-rule.70a7ded724":"O a doua taxare împotriva unei referințe deja taxate în perioada de facturare este\n          refuzată.","oss-aion-side-by-side-rule.decbbbcbea":"Niciun client nu poate fi taxat de două ori pentru aceeași referință într-o perioadă de facturare.","oss-aion-side-by-side-rule.41f5b5d765":"fără notare necesară","oss-aion-side-by-side-rule.fd9d8f9d79":"confirmat de proprietar","oss-aion-side-by-side-rule.dbd8504696":"foaie de revizuire","oss-aion-side-by-side-rule.b714510ded":"de câte ori a fost deja taxată această referință","oss-aion-side-by-side-rule.71aa03cd23":"numărul de taxări","oss-aion-side-by-side-rule.8f404d9e59":"luna în care se încadrează taxa","oss-aion-side-by-side-rule.28db3c4a10":"perioada de facturare","oss-aion-side-by-side-rule.7bbf8d007a":"identificatorul împotriva căruia se face o taxare","oss-aion-side-by-side-rule.333190a7a5":"referința","oss-aion-silent-wrong.e516f1474a":"pasul 40, regulă necunoscută","oss-aion-silent-wrong.52c4b2ffb7":"unde s-a oprit","oss-aion-silent-wrong.bdc9060b3b":"Opt rulări au returnat opt cuvinte. Doar cea care și-a scris lucrarea\n          poate spune","oss-aion-silent-wrong.dc3fb44cee":"o refuzare numește o linie","oss-aion-silent-wrong.d55eb7e866":"Acest cititor nu are nicio regulă cu acest nume la pasul 40, așa că s-a oprit acolo. Ștampila nu a fost aplicată și nu a fost emis niciun verdict.","oss-aion-silent-wrong.d04a61e19e":"ce a produs citirea","oss-aion-silent-wrong.b31f1a6015":"alethe, pașii 38 înainte","oss-aion-silent-wrong.74cb6750e3":"unul dintre ele, scris","oss-aion-silent-wrong.c9266795e0":"opt sisteme, opt rezultate","oss-aion-silent-wrong.d7d4ae123f":"ilustrativ, o rulare din opt","oss-aion-silent-wrong.3c05b129e2":"niciun verdict emis","oss-aion-silent-wrong.c6dc61d79f":"Opt cuvinte, unul dintre ele deschis","oss-aion-silent-wrong.64494819a0":"premisa 40, clauza goală","oss-aion-silent-wrong.9dae957efd":"premisa 39","oss-aion-silent-wrong.52e787751c":"premisele 31 și 38","oss-aion-silent-wrong.36901d48ad":"premisele 12 și 31","oss-aion-silent-wrong.e00bcd7ac6":"flux de lucru aprobat","oss-aion-silent-wrong.fd40251b0b":"simulare convergentă","oss-aion-silent-wrong.9204d100a8":"politică adoptată","oss-aion-silent-wrong.51c817ab85":"acceptat","oss-aion-silent-wrong.4d64c22879":"refă","oss-aion-silent-wrong.94ec44c4f4":"crede","oss-aion-silent-wrong.4848901b39":"optim","oss-aion-silent-wrong.bf31c52c32":"sigur","oss-aion-silent-wrong.231e564db4":"finalizat","oss-aion-silent-wrong.bac2ad9d5d":"compilat","oss-aion-silent-wrong.d203c40ac4":"unsat","oss-aion-sim-cert.d836eab67a":"validitatea fizică nu este","oss-aion-sim-cert.8f9800edbe":"conformitatea și proprietățile sunt verificate aici","oss-aion-sim-cert.d982b6fdda":"dacă modelul reprezintă lumea rămâne la proprietarul modelului","oss-aion-sim-cert.c27ccdf78d":"validitate fizică","oss-aion-sim-cert.99c6aa48cb":"nu este răspuns nicăieri","oss-aion-sim-cert.e4125aa830":"proprietățile declarate se mențin pe parcursul rulării, sau trace-ul revine","oss-aion-sim-cert.24fa71fdd6":"verificări de invarianță","oss-aion-sim-cert.82ffe3f79b":"modelul declarat, parametrii și configurația au produs această traiectorie","oss-aion-sim-cert.8c30aa1c6e":"conformitate de execuție","oss-aion-sim-cert.790f468e4d":"răspuns aici","oss-aion-sim-cert.f6bceb137b":"TWIN ȘI FMI","oss-aion-sim-cert.cf2b82cb4f":"model la traiectorie","oss-aion-sim-cert.a7b63abc02":"Ce conține certificatul","oss-aion-sim-cert.07ecfba93e":"traiectorie și stare","oss-aion-sim-cert.6874c92610":"secvență de evenimente","oss-aion-sim-cert.e77c056cdc":"parametri și stare inițială","oss-aion-sim-cert.720a1e14e6":"identitatea modelului și a FMU","oss-aion-source-to-artefact.ce10986f79":"De la sursă la certificat","oss-aion-source-to-artefact.c1ce053887":"nominal, nu global","oss-aion-source-to-artefact.75a0766041":"O afirmație globală nu ar fi putut eșua nicăieri.","oss-aion-source-to-artefact.b5e1e87d48":"Trei afirmații nominale, iar cea care eșuează numește pasul la care eșuează.","oss-aion-source-to-artefact.8732c432be":"Că fiecare pas din secvență este corect în general. Niciun certificat de aici nu spune că un\n                compilator este bun și niciunul nu trebuie să o facă.","oss-aion-source-to-artefact.64d8424b5b":"ceea ce nu afirmă","oss-aion-source-to-artefact.302df26f74":"graficul sursă","oss-aion-source-to-artefact.e95689d184":"la implementarea de referință, pe domeniul de intrare declarat","oss-aion-source-to-artefact.0ca9407ef6":"echivalent nucleu","oss-aion-source-to-artefact.5e68638068":"conservarea formei declarată nu se menține la acest pas pentru domeniul de intrare\n                    dat","oss-aion-source-to-artefact.ab2050f59e":"forme de tensor conservate","oss-aion-source-to-artefact.213addbd25":"pe parcursul canonicalizării și fuziunii, pentru fiecare tip declarat","oss-aion-source-to-artefact.9deae195e3":"tipuri conservate","oss-aion-source-to-artefact.2297843111":"nivel de optimizare 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"afirmație de formă refuzată","oss-aion-source-to-artefact.2fa9505626":"artefact","oss-aion-source-to-artefact.910e029098":"ilustrativ","oss-aion-source-to-artefact.9f939ff8a4":"selectare nucleu","oss-aion-sovereignty.0fe4587501":"Verificarea rămâne acolo unde este stocată dovada: lângă sistemul producător, în interiorul unui serviciu de revizuire sau într-o arhivă izolată.","oss-aion-sovereignty.2d7bdcb19f":"Deciziile tale rămân sub controlul tău.","oss-aion-sovereignty.9426b99215":"Suveranitate digitală","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe și forma unificată mențin certificatele verificabile independent dincolo de runtime-ul original.","oss-aion-sovereignty.25c4717a63":"Formate portabile de dovezi","oss-aion-sovereignty.d99f32de40":"Verificarea unei dovezi funcționează complet offline. Nu te bazezi pe un serviciu de la distanță care și-ar putea schimba termenii sau ar putea dispărea.","oss-aion-sovereignty.34ebf0117d":"Fără dependențe externe","oss-aion-sovereignty.44a8a39a30":"În propriul centru de date sau într-o regiune aleasă de tine. Raționamentul din spatele unei decizii nu trebuie să traverseze niciodată o graniță pe care nu ai aprobat-o.","oss-aion-sovereignty.331242fd64":"Rulează unde alegi","oss-aion-sovereignty.599b928605":"AION este construit în Europa, iar verificatorul său poate rămâne în aceeași graniță europeană ca deciziile pe care le verifică.","oss-aion-sovereignty.45f9bdf22b":"European prin origine","oss-aion-split-parts.cc0d7be136":"și un enclav nu schimbă nimic","oss-aion-split-parts.a2fb24de32":"build-ul implicit nu are client de ieșire","oss-aion-split-parts.ffd75a18c4":"DEPLOY","oss-aion-split-parts.91f8c088aa":"și de ce are nevoie fiecare","oss-aion-split-parts.758bd7cc2a":"Patru moduri de a-l rula","oss-aion-split-parts.400bd9a040":"Împărțit pe mai multe mașini și compus doar după o verificare a acoperirii.","oss-aion-split-parts.bb3d98dfee":"Distribuit","oss-aion-split-parts.74da65bc96":"În interiorul graniței tale, pe adrese pe care le stabilești singur.","oss-aion-split-parts.664046e78a":"Un serviciu","oss-aion-split-parts.ce2ab3edc4":"Îndreaptă-l către un certificat. Nu trebuie să ruleze nimic altceva.","oss-aion-split-parts.a7218c8eca":"O comandă","oss-aion-split-parts.eefb3bac5d":"Legat în propriul proces. Întreabă și răspunde, fără a scrie vreun fișier.","oss-aion-split-parts.fa66edb7bd":"O bibliotecă","oss-aion-stays-here.e3e08ad140":"nimic nu a părăsit camera","oss-aion-stays-here.18ab547f60":"Acea hârtie goală este întreaga afirmație.","oss-aion-stays-here.907d22f7f0":"Nu este desenat nimic între cutie și cele trei lucruri de lângă ea.","oss-aion-stays-here.001b06036c":"nu în această imagine","oss-aion-stays-here.8c84675037":"un link către altă mașină din aceeași organizație, oprit până când cineva îl configurează\n              intenționat","oss-aion-stays-here.e3527ba222":"Răspunsul ajunge cu linia căzută, pentru că linia nu a fost niciodată parte din el.","oss-aion-stays-here.caf3a041c8":"Întârzierea a fost de șaptezeci și cinci de minute, ceea ce este mai mult de o oră, deci rezervarea este\n                anulată și tariful se întoarce pe cardul de pe care a venit.","oss-aion-stays-here.7296ef48e5":"ce a revenit","oss-aion-stays-here.395ee2333f":"anularea încheie rezervarea și returnează tariful","oss-aion-stays-here.46d2008236":"o oră înseamnă șaizeci de minute, fără rotunjire","oss-aion-stays-here.2fd4fcb567":"o întârziere se numără de la ora tipărită pe bilet","oss-aion-stays-here.f5b422b60e":"regulile scrise față de care este citit","oss-aion-stays-here.ee04bc3b23":"Anulează-mi rezervarea doar dacă întârzierea este mai mare de o oră.","oss-aion-stays-here.af5509db2b":"ce ai tastat","oss-aion-stays-here.3cbd68d678":"mașina din fața ta","oss-aion-stays-here.531aa138ac":"răspuns fără a pleca","oss-aion-stays-here.fb23ddcc1c":"o întrebare, un loc","oss-aion-stays-here.96ccbc62ab":"cuvintele tale nu sunt un lucru pe care îl primește altcineva","oss-aion-stays-here.1b215d440d":"o mașină de altundeva care îți citește propoziția","oss-aion-stays-here.b5a5c63d23":"niciun lucru exterior nu trebuie să funcționeze pentru ca răspunsul să ajungă","oss-aion-stays-here.b5c483d9d9":"un serviciu care trebuie să fie activ","oss-aion-stays-here.fa287ade3d":"nimic nu întreabă cine ești, pentru că nimic nu trebuie să știe","oss-aion-stays-here.d5a3ef8b78":"un cont în care să te autentifici","oss-aion-stays-here.910e029098":"ilustrativ","oss-aion-stays-here-list.56a6e8f9a7":"și nimic de predat","oss-aion-stays-here-list.57eef35c96":"fără așteptare","oss-aion-stays-here-list.a64eab5744":"la ce așteaptă","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"și la ce nu așteaptă niciodată","oss-aion-stays-here-list.13591491d9":"Pe ce rulează","oss-aion-stays-here-list.1458464f09":"Nimic de semnat, deci nimic pentru care să fii client.","oss-aion-stays-here-list.257fa99e08":"Fără cont","oss-aion-stays-here-list.b165f2d684":"Frază ta este verificată după reguli, în aceeași cameră cu tine.","oss-aion-stays-here-list.37a25e4e99":"Reguli scrise","oss-aion-stays-here-list.7ee33f1c7a":"Munca se întâmplă acolo unde ești tu, și nimeni altcineva nu trebuie să ruleze.","oss-aion-stays-here-list.d3612f57d8":"Mașina la care ești","oss-aion-supplier-answer.6d6ddcd4c1":"o declarație, patru rânduri goale","oss-aion-supplier-answer.a5d36ba87c":"Niciuna dintre cele patru întrebări nu este răspunsă undeva pe foaie.","oss-aion-supplier-answer.d09481b0a5":"Fiecare cuvânt de pe ea este adevărat și cineva a semnat-o.","oss-aion-supplier-answer.cec9b36162":"14 martie 2026","oss-aion-supplier-answer.22715d5cb9":"Configurația trimisă pe 12 martie 2026 a fost verificată ca fiind fără conflicte.","oss-aion-supplier-answer.1e0a1891e8":"ref SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"certificat de conformitate","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"patru fără răspuns","oss-aion-supplier-answer.910e029098":"ilustrativ","oss-aion-supplier-answer.f86e5cfb14":"Ar mai fi valabil după schimbarea de marți?","oss-aion-supplier-answer.bbe7a72e5a":"Pe baza datelor cui și cât de multe?","oss-aion-supplier-answer.c25776701b":"Împotriva cărei versiuni a setului nostru de reguli?","oss-aion-supplier-answer.84d9ed92b5":"Ce condiții au fost efectiv verificate?","oss-aion-theory-matrix.ac8d77d669":"Propozițională","oss-aion-theory-matrix.3d52a6d8fe":"Logică","oss-aion-theory-matrix.42f3aff840":"Satisfiabilitate booleană cu învățare de clauze bazată pe conflicte. Punctul de plecare pentru orice altă teorie.","oss-aion-theory-matrix.6078532ab2":"Cuantificatori","oss-aion-theory-matrix.02f664dd36":"Logică de ordinul întâi cu instanțiere bazată pe modele. Raționează despre forall și exists peste sorturile suportate.","oss-aion-theory-matrix.49167dbc57":"Aritmetică liniară","oss-aion-theory-matrix.45f053dc73":"Aritmetică","oss-aion-theory-matrix.876aafb6c1":"Aritmetică liniară întreagă și intrare cu valori reale la o scară declarată. Intern, verificatorul folosește valori întregi sau în virgulă fixă adaptivă.","oss-aion-theory-matrix.b618fadea3":"Neliniară","oss-aion-theory-matrix.fd99188844":"Aritmetică neliniară întreagă și intrare cu valori reale la o scară declarată. Verificatorul folosește valori întregi sau în virgulă fixă adaptivă, niciodată valori în virgulă mobilă.","oss-aion-theory-matrix.d11f66aff2":"Intrare în virgulă mobilă","oss-aion-theory-matrix.19080aec82":"Intrarea IEEE 754 este acceptată doar la graniță, apoi decodificată în câmpuri binare înainte de verificare. Nicio valoare în virgulă mobilă nu este stocată, acumulată sau calculată intern.","oss-aion-theory-matrix.914807cdef":"Vectori de biți","oss-aion-theory-matrix.e5e429bcc9":"Date","oss-aion-theory-matrix.23c278d5ca":"Cuvinte binare de lățime fixă cu semantică de depășire. Pentru verificarea hardware și verificarea protocoalelor binare.","oss-aion-theory-matrix.b90cc9bfd2":"Tabla","oss-aion-theory-matrix.eac25fcfc6":"Teoria tablourilor cu axiomele select și store. Fragmentele decidabile sunt urmărite explicit.","oss-aion-theory-matrix.3816c4beac":"Șiruri","oss-aion-theory-matrix.8e5a47db7d":"Ecuații de cuvinte, constrângeri de lungime și apartenență la expresii regulate peste șiruri.","oss-aion-theory-matrix.0efe5fd2a3":"Temporală","oss-aion-theory-matrix.ab14d0a7db":"Programe","oss-aion-theory-matrix.12dfdaf96a":"crate însoțitor","oss-aion-theory-matrix.dd600bd946":"Fragmente de logică temporală liniară și cu ramificare pentru raționamentul despre comportament în timp.","oss-aion-theory-matrix.bb8c6ec608":"Probabilistică","oss-aion-theory-matrix.042a4dc40b":"Raționament probabilistic pentru programe, inclusiv inferență de tip Datalog probabilistic.","oss-aion-theory-matrix.1e1837d4e8":"Concurentă","oss-aion-theory-matrix.60e30b1d8e":"Raționament despre programe concurente și intercalările pe care le pot produce firele lor.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"acoperire teoretică","oss-aion-theory-matrix.4329e5da7b":"11 domenii logice","oss-aion-theory-matrix.dc1baa8539":"kernel + însoțitori","oss-aion-theory-matrix.5b1e898fc0":"Teorie","oss-aion-theory-matrix.cd89376f98":"Trăiește în","oss-aion-theory-matrix.df1e1e1732":"Unsprezece teorii, fiecare raționator producând pași pe care emitătorul de dovezi îi poate înregistra și un verificator îi poate reda.","oss-aion-theory-matrix.36ce8cbd4c":"PROP la CONCUR","oss-aion-three-questions.381a478392":"Două răspunsuri, o graniță","oss-aion-three-questions.b695e87b19":"două răspunsuri, unul deținut","oss-aion-three-questions.9f5234300d":"A treia întrebare nu este a noastră, iar a spune acest lucru este ceea ce face ca primele două să merite\n          ceva.","oss-aion-three-questions.8149763299":"Conformitatea se menține, un invariant eșuează cu urma sa.","oss-aion-three-questions.5974dafe20":"ușa este desenată la fel de solid ca peretele","oss-aion-three-questions.392d2df212":"Deținătorul modelului deține acea întrebare, și o deține permanent. Niciun certificat de aici\n                nu o atinge, și niciunul nu o implică în tăcere.","oss-aion-three-questions.c27ccdf78d":"validitate fizică","oss-aion-three-questions.dbbe530d6c":"reprezintă acest model lumea reală","oss-aion-three-questions.44b8fe96f9":"pasul 1 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"contraexemplu, ridicat și mărit","oss-aion-three-questions.ed4bde3030":"presiunea buclei rămâne sub 8 bar","oss-aion-three-questions.4676659f50":"supapa de bypass nu se deschide niciodată de două ori într-un singur pas","oss-aion-three-questions.045757b8af":"temperatura de retur rămâne sub 95 C","oss-aion-three-questions.24fa71fdd6":"verificări de invarianți","oss-aion-three-questions.846ee97ae5":"invarianții declarați se mențin pe parcursul întregii rulări","oss-aion-three-questions.17f80cae31":"Rularea se reproduce din ceea ce declară certificatul.","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":"toleranță 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"pas 0,01 s","oss-aion-three-questions.8c30aa1c6e":"conformitatea execuției","oss-aion-three-questions.b3c58a82bd":"modelul și configurația declarate au produs această traiectorie","oss-aion-three-questions.5d3f336ca9":"hash blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"chiller-loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"model și FMU","oss-aion-three-questions.b697dd615a":"două din trei","oss-aion-three-questions.f14f15b304":"traiectorie","oss-aion-three-questions.f1f1425b65":"parametri","oss-aion-three-questions.910e029098":"ilustrativ","oss-aion-three-readings.41d8442e84":"citirile și nivelurile lor de încredere aparțin AION, alegerea îți aparține, iar aceasta este înregistrată","oss-aion-three-readings.42e8a93311":"trei citiri, o decizie, iar aceasta are un autor","oss-aion-three-readings.62b4619c99":"un număr care nu poate scădea sub zero","oss-aion-three-readings.48a15f3a18":"un număr întreg sub cinci","oss-aion-three-readings.ae3925651e":"este retries un număr întreg, un număr sau orice valoare?","oss-aion-three-readings.dffe60eb6a":"întrebare pusă","oss-aion-three-readings.fb76182a92":"întrebat, nu presupus","oss-aion-three-readings.8c3f96fa33":"Retries trebuie să fie sub cinci","oss-aion-three-readings.e9be13f9ec":"AION ridică ambiguitatea în loc să o rezolve. Numește tipul de ambiguitate,\n          listează citirile cu nivelul de încredere al fiecăreia și condiția pe care fiecare ar\n          impune-o, și pune o întrebare care numește variabila în discuție. Decizia aparține în continuare\n          unei persoane. Ceea ce se schimbă este că este luată o singură dată, în mod oficial, de către\n          cine este responsabil pentru cerință, nu de către cine se întâmpla să facă\n          conversia.","oss-aion-three-readings.f26c9b4ff8":"Sub cinci încercări, numărate întreg. Sau sub cinci\n          unde patru și jumătate este o valoare legitimă. Sau un număr care nu poate scădea sub\n          zero. Acestea sunt trei reguli diferite, iar diferența iese la suprafață ca un incident\n          în cele din urmă. În modul obișnuit de lucru, una dintre ele era aleasă de cine făcea\n          traducerea, într-o joi, fără să spună nimănui.","oss-aion-three-readings.7b5121a8f0":"„Retries trebuie să fie sub cinci.”","oss-aion-three-readings.ffe5d68fe6":"Cineva a ales una.","oss-aion-three-readings.55b8b0b398":"Propoziția ta avea două citiri.","oss-aion-three-readings.2d1501c7e4":"Decizia tăcută pe care nimeni nu a luat-o","oss-aion-three-readings.bec998cdfe":"orice număr, inclusiv patru și jumătate","oss-aion-time-left.88430838dd":"nimic neanunțat pentru nimeni","oss-aion-time-left.227b19b5aa":"A devenit doar mai mic, în fața cuiva care încă putea acționa asupra lui.","oss-aion-time-left.ac61a8b97d":"Numărul era acolo în ziua a opta și nu a devenit niciodată mai puternic.","oss-aion-time-left.0703308f0f":"Nu există nicio alarmă pe această foaie și nimic nu s-a înroșit. Fiecare dintre acestea este\n          aceeași propoziție citită într-o zi diferită.","oss-aion-time-left.6222c927fd":"Merge la persoana care semnează răspunsurile întârziate, cu data pe el, și îți\n            scrie înapoi.","oss-aion-time-left.4dfda36be9":"14 zile trecute","oss-aion-time-left.d5f128da73":"răspunsul era datorat pe data de șaisprezece","oss-aion-time-left.58cdff89f9":"o cerere diferită, citită după dată","oss-aion-time-left.6a7651b700":"treizeci de zile după ce ai cerut","oss-aion-time-left.813d27411f":"răspunsul este datorat","oss-aion-time-left.d8b0301347":"ai cerut o copie a ceea ce dețin despre tine","oss-aion-time-left.4c3d95bf6a":"cererea","oss-aion-time-left.795bcac29d":"patru zile rămase astăzi","oss-aion-time-left.56ff55acfb":"un termen, citit de patru ori","oss-aion-time-left.acafbd7541":"sună-i astăzi","oss-aion-time-left.148b21034f":"4 zile rămase","oss-aion-time-left.f165b88925":"urmărește-o în această săptămână","oss-aion-time-left.b85bbd50bd":"8 zile rămase","oss-aion-time-left.4a8b5bac9b":"încă în regulă","oss-aion-time-left.67f9059ac5":"14 zile rămase","oss-aion-time-left.ca372a8fb7":"pune-l în agendă","oss-aion-time-left.16f29c69b8":"22 de zile rămase","oss-aion-time-left.910e029098":"ilustrativ","oss-aion-two-routes.89c24f999c":"celălalt examinează dovezile","oss-aion-two-routes.3a5d844ae5":"o rută le reproduce","oss-aion-two-routes.028a6cf2d7":"certificatul lor","oss-aion-two-routes.5c837ce426":"sistemul lor","oss-aion-two-routes.27f65e5e47":"ce are nevoie","oss-aion-two-routes.d0765bbac1":"COMPARĂ","oss-aion-two-routes.91f8c088aa":"și de ce are nevoie fiecare","oss-aion-two-routes.8930c1c9b8":"Două moduri de a fi sigur","oss-aion-two-routes.d56d985300":"verifică","oss-aion-two-routes.e1fc5057de":"reproduce","oss-aion-two-routes.b028b89ea7":"asistența lor","oss-aion-two-routes.999464a52f":"nu a fost produs","oss-aion-two-routes.9b9252883d":"certificatul în sine","oss-aion-two-routes.4dc537c80f":"afirmația, intrările și contractul","oss-aion-two-routes.ad95c10298":"versiunea și mașina lor exacte","oss-aion-two-routes.cfd05bd2f2":"licența lor","oss-aion-value-grid.6cc3364a24":"Dovada atașată","oss-aion-value-grid.4910ee0aea":"Dovezi pentru fiecare rezultat","oss-aion-value-grid.411bf64817":"Rezultatul și certificatul său compact călătoresc împreună, astfel încât dovezile sunt create atunci când se ia decizia, nu reconstruite în timpul verificării.","oss-aion-value-grid.05f9c0dc34":"Verificat de un alt motor","oss-aion-value-grid.eea79d1484":"Un verificator separat parcurge certificatul pe baza premiselor originale. Modelul nu își poate nota propria răspuns.","oss-aion-value-grid.cbd17d59ba":"Formate portabile","oss-aion-value-grid.5e6cba1721":"Dovezile supraviețuiesc mediului de rulare","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe și forma unificată de probă mențin certificatul lizibil după ce un model, un solver sau un serviciu s-a schimbat.","oss-aion-value-grid.a60bdd7985":"Verificare offline","oss-aion-value-grid.ebfb47f4ba":"Fără dependență live","oss-aion-value-grid.6144cbfcab":"Verificarea unei dovezi nu necesită rețea, cont sau conexiune live la noi. Lucrul de care depindeți la momentul auditului nu are o dependență recurentă de un furnizor.","oss-aion-value-grid.26ef011865":"Sovranitate UE","oss-aion-value-grid.23672ea195":"European și al tău de rulat","oss-aion-value-grid.26e89e1455":"Construit în Europa și rulabil integral pe hardware pe care îl controlezi. Dovezile și deciziile tale nu trebuie să părăsească niciodată o jurisdicție pe care o aprobi.","oss-aion-value-grid.66ac329042":"Audituri cu risc redus","oss-aion-value-grid.9c8c22f54d":"Dovezi pe care o altă parte le poate testa","oss-aion-value-grid.6572cc2be6":"Când un regulator sau un auditor întreabă cum a fost luată o decizie, predai un certificat pe care oricine îl poate verifica, în loc să te bazezi pe o promisiune a furnizorului pe care nu o poți testa.","oss-aion-value-grid.6b5eb5323e":"Dovezi de decizie","oss-aion-value-grid.870c4d024a":"Verificare independentă","oss-aion-value-grid.93e2c4e5c4":"Începe cu o singură cale de decizie și păstrează certificatul său pe parcursul verificării.","oss-aion-value-grid.217fc9a42f":"certificat · verificator · arhivă","oss-aion-what-you-got.2b69c8154b":"și fiecare întrebare ridică una","oss-aion-what-you-got.7f629c0e9f":"patru lucruri pe care le primești","oss-aion-what-you-got.7a9727c9f8":"verificabile de tine","oss-aion-what-you-got.bc1c663195":"ce primești","oss-aion-what-you-got.0da9f51943":"OBSERVAT","oss-aion-what-you-got.8becd8f7be":"și ce stabilește","oss-aion-what-you-got.7d3574bfa5":"Ce predă un furnizor","oss-aion-what-you-got.0306f977ae":"Ce versiune a spus-o. Nu ce a verificat, sau cum.","oss-aion-what-you-got.fd12863535":"nu","oss-aion-what-you-got.7b0c210f52":"Un număr de versiune","oss-aion-what-you-got.f78a920a78":"Descrierea propriului proces, scrisă de ei.","oss-aion-what-you-got.301941b624":"relatarea lor","oss-aion-what-you-got.7591a35462":"O notă metodologică","oss-aion-what-you-got.5eec058df8":"Cineva răspunde pentru cuvânt, nu pentru raționament.","oss-aion-what-you-got.28fde2f659":"doar numele","oss-aion-what-you-got.7573daa505":"O semnătură","oss-aion-what-you-got.94ebda1bd3":"Sigur, fezabil, consecvent. Un cuvânt, fără explicații.","oss-aion-what-you-got.c99c8e4a9b":"O concluzie","oss-aion-where-it-runs.1ba0334f9f":"nu există un al treilea","oss-aion-where-it-runs.03e2311510":"tu configurezi cele două","oss-aion-where-it-runs.076d156600":"nimic în interior de configurat","oss-aion-where-it-runs.f16ac53550":"al tău de configurat","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"și nimic altceva nu pleacă","oss-aion-where-it-runs.6cdd4e486a":"Două limite configurabile","oss-aion-where-it-runs.39616fc267":"Un program pe care îl instalezi, rulând ca proces local.","oss-aion-where-it-runs.00bfadf39c":"Un prover extern","oss-aion-where-it-runs.801db3efcd":"Doar adresele pe care le setezi, și doar după ce le setezi.","oss-aion-where-it-runs.d296df3171":"Un cluster","oss-aion-where-it-runs.67204bf5d4":"fără rută","oss-aion-where-it-runs.91984fcc1b":"Un model găzduit","oss-aion-where-it-runs.b8b252650e":"fără client deloc","oss-aion-where-it-runs.ee39579eba":"Build-ul implicit","oss-aion-where-it-runs.d49fe2c403":"neinstalat","oss-aion-where-you-meet-it.2a85ffb07a":"Locul se schimbă, promisiunea nu: un motiv pe care îl poți citi și o verificare pe care oricine o poate face.","oss-aion-where-you-meet-it.9a8413cd88":"Nu vei rula niciodată AION singur. Acestea sunt genurile de locuri în care poate lucra liniștit pentru\n            tine.","oss-aion-where-you-meet-it.33fb502270":"Trei momente de zi cu zi","oss-aion-where-you-meet-it.40e32f89eb":"Oricine în care ai încredere poate verifica chitanța și o poate confirma.","oss-aion-where-you-meet-it.03ef5e1328":"Când un birou folosește o mașină pentru a-ți verifica cazul, ți se datorează un motiv pe care îl poți citi și pune la îndoială.","oss-aion-where-you-meet-it.2390278256":"Un beneficiu sau un formular este verificat","oss-aion-where-you-meet-it.2e92ab22dd":"La un birou public","oss-aion-where-you-meet-it.0bd84e3a14":"Motivul este scris, nu blocat într-un sistem.","oss-aion-where-you-meet-it.c4a1d64452":"Deciziile financiare luate de o mașină pot părea o ușă închisă. Chitanța o deschide, în pași simpli.","oss-aion-where-you-meet-it.e17885868a":"Un împrumut sau o rambursare este calculată","oss-aion-where-you-meet-it.5e45cf57a0":"La bancă","oss-aion-where-you-meet-it.e2c536b2b3":"Poți cere chitanța și să o arăți propriului tău medic.","oss-aion-where-you-meet-it.0b56f170bf":"Când o mașină are un cuvânt de spus în tratamentul tău, ar trebui să poți vedea motivul din spatele lui, nu doar rezultatul.","oss-aion-where-you-meet-it.0332b7d1b7":"Un computer ajută să decidă îngrijirea ta","oss-aion-where-you-meet-it.4046c6355b":"La spital","oss-aion-which-did-you-mean.1ff884a89e":"întrebat, nu ghicit","oss-aion-which-did-you-mean.2eb1c230f2":"Alegerea îi aparține celui care a scris propoziția.","oss-aion-which-did-you-mean.d94da790d1":"Două lecturi obișnuite, un caz între ele.","oss-aion-which-did-you-mean.3b4d06d361":"Nu s-a pus nicio întrebare și nimeni nu a fost informat pe care dintre cele două a căzut.","oss-aion-which-did-you-mean.93a161cede":"Orele se numără întregi. Aleasă într-o după-amiază de joi de cineva care trebuia să\n                livreze.","oss-aion-which-did-you-mean.4b73aced85":"în vigoare","oss-aion-which-did-you-mean.17e120a269":"Anulează dacă întârzierea este mai mare de o oră.","oss-aion-which-did-you-mean.ddf20b2d3c":"modul obișnuit în care se rezolvă acest lucru","oss-aion-which-did-you-mean.3f42a39277":"așa cum rulează efectiv","oss-aion-which-did-you-mean.1e9a34969e":"ore întregi","oss-aion-which-did-you-mean.9c2a4532bb":"Când ai scris mai mult de o oră, te-ai referit la ore întregi sau la întârzierea așa cum\n                rulează efectiv?","oss-aion-which-did-you-mean.280b34e1e5":"Trenul tău întârzie șaptezeci și cinci de minute și rezervarea se anulează, înainte să te\n                    hotărăști dacă mai vrei să călătorești.","oss-aion-which-did-you-mean.97e4112012":"O întârziere este oricât de lungă este efectiv. O oră și un sfert este mai mult de o\n                    oră.","oss-aion-which-did-you-mean.c5d620cfa2":"lectura a doua","oss-aion-which-did-you-mean.466780685c":"Trenul tău întârzie șaptezeci și cinci de minute și nu se anulează nimic. Aștepți pe\n                    peron un tren care încă vine.","oss-aion-which-did-you-mean.6b67a39030":"Orele se numără întregi. O întârziere de o oră și un sfert se numără ca o oră,\n                    iar o oră nu este mai mult de o oră.","oss-aion-which-did-you-mean.9cf85c69a8":"lectura întâi","oss-aion-which-did-you-mean.ef52f97a5b":"mai mult de o oră","oss-aion-which-did-you-mean.371c6d7efd":"Anulează dacă întârzierea este","oss-aion-which-did-you-mean.887640fa01":"ai scris","oss-aion-which-did-you-mean.3650db40be":"așteptând răspunsul tău","oss-aion-which-did-you-mean.ff312b91d2":"la care te-ai referit","oss-aion-which-did-you-mean.6f8f8e9f76":"atunci","oss-aion-which-did-you-mean.910e029098":"ilustrativ","oss-aion-your-corpus.a54df5506a":"două săptămâni, cu un rezultat scris","oss-aion-your-corpus.ee646eb7cc":"Rulează același corpus cu ceea ce folosești acum și pune cele două rapoarte unul lângă\n            altul.","oss-aion-your-corpus.f2d4df122d":"Șaizeci și două din șaizeci și patru, pe mașina ta, sub limita ta.","oss-aion-your-corpus.8ff7db55b1":"această limită","oss-aion-your-corpus.8ada74cbb4":"această mașină","oss-aion-your-corpus.b2ed177f82":"acest corpus","oss-aion-your-corpus.71e1422875":"o funcție de","oss-aion-your-corpus.94ef1b7ae8":"din 64 corecte","oss-aion-your-corpus.2ce97993d5":"fără verdict încă","oss-aion-your-corpus.90326d4307":"au trecut 41 s","oss-aion-your-corpus.69bb8da1c5":"încă rulează","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"niciun răspuns înregistrat","oss-aion-your-corpus.72330c3954":"16 GB spațiu de adrese","oss-aion-your-corpus.b4f0923eae":"16 GB per rulare","oss-aion-your-corpus.ff367b6b79":"limită spațiu de adrese","oss-aion-your-corpus.d1ea89e714":"32 de nuclee, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"rulare ilustrativă","oss-aion-your-corpus.e380724f89":"una limitată, una încă rulează","oss-aion-your-corpus.f6f66c95d6":"Corpusul tău, la locul lui","oss-aion-your-corpus.8d95729188":"limitat","oss-aion-your-corpus.7817c52b25":"mașină","oss-aion-your-corpus.d95f464bc9":"instanțe","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"corpus","oss-aion-your-sentence-parts.8e7ed848f6":"îl poți citi în continuare","oss-aion-your-sentence-parts.78c48f428a":"l-ai scris tu","oss-aion-your-sentence-parts.c569c19f0b":"Citește din nou, dă aceeași regulă. Nimic nu s-a schimbat între timp.","oss-aion-your-sentence-parts.43015fadc4":"Nimeni nu ar trebui să fie taxat de două ori pentru aceeași comandă în aceeași lună.","oss-aion-your-sentence-parts.a14707f800":"Propoziția ta, neschimbată","oss-aion-your-sentence-parts.2ccea15065":"un an mai târziu","oss-aion-your-sentence-parts.a80d4309ae":"În partea de sus a mesajului, deasupra părții care nu a fost respectată.","oss-aion-your-sentence-parts.f33c43e8f9":"Propoziția ta, citată","oss-aion-your-sentence-parts.f0f795235c":"ziua în care se aplică","oss-aion-your-sentence-parts.fe74b20e8f":"Așa cum ai scris-o, cu o linie simplă care spune cum a fost citită.","oss-aion-your-sentence-parts.358b1cbc5d":"Propoziția ta, păstrată","oss-aion-your-sentence-parts.13211e2743":"ziua în care o scrii","oss-aion-your-sentence-parts.27a0362e59":"CUVINTELE TALE","oss-aion-your-sentence-parts.d37598cc12":"în trei zile diferite","oss-aion-your-sentence-parts.32a5ee7a1f":"Aceeași propoziție","page-breadcrumb.c766e66518":"Breadcrumb","page-toc.7e439c353e":"Pe această pagină","section_st_a1_display-split.7c9a7c0610":"Detalii","section_st_f1_cta-dark.90e40d5043":"Începeți","spindle-extras.127edee78d":"SEMNAT","toc-rail.f5cbdf6bfb":"Cuprins"}