{"block_close_oss.c33fd1fe9c":"Community ed ecosistema","core-extras.96d330537a":"Base IR","core-extras.bee831a169":"Substrato","core-extras.61a0822826":"App su Core","core-extras.15438cc098":"non supportato","core-extras.ad565d9d01":"Funzionalità","core-extras.0155bf03e5":"Legenda dei segmenti","core-extras.8b7110078e":"Gruppi di algoritmi per tipo di dati","core-extras.25ab4276a6":"Matrice delle capacità scorrevole","open-source-aion.81f3904118":"Knowledge governance basata sulla provenienza in stile AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Prodotti","open-source-aion.de5ec3713e":"Parser certificabile Merkle utilizzato da AION per la gestione degli input.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Runtime verificato che abbina i certificati AION ai trascritti di esecuzione.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Provenienza degli eventi per i sistemi: record concatenati tramite hash di ciò che è accaduto, non passaggi di ragionamento all'interno di una decisione.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Continua a esplorare","open-source-aion.75e393a1ac":"Esplora progetti correlati","open-source-aion.f9743247fa":"Leggi la documentazione","open-source-aion.ef0fd4ccef":"Ispeziona il percorso di prova","open-source-aion.77453cde44":"Esegui un certificato di esempio e verificalo con aion check, cvc5 o qualsiasi verificatore compatibile con LRAT una volta che il repository sarà pubblicato. La pubblicazione è prevista per il 1 settembre 2026 e le istruzioni di installazione arriveranno con essa.","open-source-aion.dd58b70279":"La prova accompagna la risposta","open-source-aion.90e40d5043":"Inizia","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Open Source","open-source-aion.close.accent":"così chiunque può verificarlo senza di te","open-source-aion.close.panel.title":"Cosa contiene un certificato","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Una forma, otto campi","open-source-aion.close.panel.row.1.label":"Famiglie","open-source-aion.close.panel.row.1.value":"Nove registrate ed estensibili","open-source-aion.close.panel.row.2.label":"Verifica","open-source-aion.close.panel.row.2.value":"Limitata, senza licenza, senza replay","open-source-aion.close.panel.row.3.label":"Dove viene eseguito","open-source-aion.close.panel.row.3.value":"Sul tuo sito, nessuna trasmissione in uscita","open-source-aion.close.panel.foot":"Un certificato rimane piccolo e riverificabile anni dopo.","open-source-aion.ea722c81af":"Europeo","open-source-aion.26803e587f":"Al momento dell'audit","open-source-aion.15edfb4da4":"Prodotto in","open-source-aion.75f527181b":"Offline","open-source-aion.f8c94a3b4b":"Cos'è","open-source-aion.6b5eb5323e":"Offline, tempo lineare","open-source-aion.a49b62e167":"Razionali esatti","open-source-aion.45f053dc73":"Aritmetica","open-source-aion.4329e5da7b":"11 domini logici","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Formati di prova","open-source-aion.87415af880":"Certificati di prova","open-source-aion.9c8c22f54d":"Evidenze, non garanzie","open-source-aion.44ab85a252":"Origine","open-source-aion.3271776def":"Offline, nessun servizio","open-source-aion.03128bed90":"Verifica","open-source-aion.4f1428fca3":"Hardware che controlli","open-source-aion.5703321d0e":"Eseguito su","open-source-aion.978e9ec250":"Standard, portabile","open-source-aion.3229609e15":"Verifica","open-source-aion.cba0624eb5":"Registro di verifica","open-source-aion.26ef011865":"Scopri dove viene eseguito","open-source-aion.6f696724c6":"Scopri il percorso di verifica","open-source-aion.a3f1131acb":"AION è un'infrastruttura di prova per le decisioni AI, pubblica dal 1 settembre 2026. Emette una prova compatta accanto a un risultato AI e un verificatore separato esamina quella prova rispetto alle premesse originali, accettandola o rifiutandola senza il modello, la sessione del solver o la rete.","open-source-aion.a2831cb958":"per decisioni AI verificate in modo indipendente","open-source-aion.78db6d1920":"Infrastruttura di prova","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Non fidarti mai e basta","open-source-aion.4c1c703b94":"Il punto","open-source-aion.2518be9b9c":"Non necessario","open-source-aion.4ab2910209":"Il tuo account","open-source-aion.3477f4d91d":"Stessa risposta","open-source-aion.d7e70b6e08":"Stessa domanda","open-source-aion.930888ee28":"Nessuna connessione","open-source-aion.d072f5db48":"Verifica delle esigenze","open-source-aion.576347ec82":"Europa","open-source-aion.eeffc514bd":"No, altri lo usano per te","open-source-aion.cef1deea41":"Lo costruisci tu","open-source-aion.64ae43e8fe":"Controllo della prova","open-source-aion.fdd1e56642":"Una ricevuta per le risposte","open-source-aion.704869f20f":"In parole semplici","open-source-aion.658a8547d7":"È sicuro?","open-source-aion.06c805023d":"Un motivo che puoi portare con te","open-source-aion.e92ed103c2":"AION aggiunge una ricevuta verificabile a una risposta dell'IA. Il tuo assistente può dirti se il ragionamento regge senza chiederti di capire il meccanismo, e la ricevuta può essere ricontrollata senza connessione internet. AION è pubblico dal 1° settembre 2026, il giorno in cui anche la sua documentazione diventa disponibile.","open-source-aion.336366183a":"per le decisioni dell'IA","open-source-aion.41cbc965ef":"Una ricevuta verificabile","open-source-aion.4eabc3bc63":"CDCL con plugin per le teorie","open-source-aion.68836c550e":"Core","open-source-aion.0cdb7c9a36":"Tempo lineare, offline","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teorie","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Linguaggio","open-source-aion.942587e61e":"Scheda del progetto","open-source-aion.d4a74b503a":"Leggi la documentazione","open-source-aion.b683cc6ce4":"AION apre il programma il 1° settembre 2026: infrastruttura di prova per le decisioni dell'IA, con il repository e la sua documentazione pubblicati insieme. Le spiegazioni post hoc ti chiedono solo di fidarti di un altro resoconto dello stesso sistema. AION invece emette un certificato di prova che qualsiasi verificatore può controllare offline, in tempo lineare, senza il solver.","open-source-aion.8f2ee5be83":"Risultati dell'IA","open-source-aion.376868cca2":"per verificati in modo indipendente","open-source-aion.hero.source":"Chiedi informazioni sul rilascio","open-source-aion.45471af790":"Provenienza degli eventi","open-source-aion.ac9835d4bd":"Trascrizioni di esecuzione","open-source-aion.24f43d4446":"Alberi sintattici","open-source-aion.f6b229e148":"I tuoi file, il tuo hardware, i tuoi numeri e un verificatore che legge la prova di un estraneo","open-source-aion.144fbc96c6":"CONTATI","open-source-aion.719075bb86":"ANALIZZA E RISOLVI","open-source-aion.8f84ba12df":"I TUOI FILE","open-source-aion.8f088dbc07":"Si tratta di una valutazione di due settimane con un output scritto piuttosto che una dimostrazione. Il corpus è tuo, l'hardware è tuo, i numeri sono tuoi da pubblicare internamente, e nulla nell'esercizio richiede una conversazione con noi. L'harness è incluso nel repository, quindi l'esecuzione può iniziare il giorno in cui arriva l'accesso.","open-source-aion.36ef075645":"Corretto non è l'opinione di AION su se stesso. Ogni file in un corpus standard porta lo stato che si sa avere, e l'harness confronta la risposta di AION con quell'annotazione istanza per istanza, quindi il conteggio finale è un punteggio rispetto a una verità di base dichiarata. Lo spazio degli indirizzi per esecuzione può essere limitato, il che impedisce a un file patologico di portare con sé una macchina.","open-source-aion.e5bce47d50":"Cosa produce un pilota","open-source-aion.680f97998b":"AION include un harness di benchmark, quindi i numeri che citi in un business case sono quelli che i tuoi file hanno prodotto sul tuo hardware. Puntalo a un corpus e registra il tempo di parsing, il tempo di risoluzione e la memoria residente di picco per ogni istanza, poi stampa un conteggio di quante risposte erano corrette. L'esecuzione si ripete sullo stesso corpus, quindi una seconda valutazione può essere affiancata alla prima riga per riga.","open-source-aion.2d5f8acea9":"e leggi i numeri","open-source-aion.5586707b63":"Esegui prima i tuoi file","open-source-aion.67ec8d614c":"Prima di impegnarti","open-source-aion.55744ee096":"Anche con tutto questo, qualcuno contesterà un risultato. Serve una via, non una riunione","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"GUARDATO DAL VIVO","open-source-aion.24538c3986":"MARGINE, NON ALLARME","open-source-aion.368f25d10d":"Prima di quell'ultimo, c'è stato un giorno in cui il lavoro era ancora di un pomeriggio, ed è quel giorno che un manager vuole segnato, perché ogni opzione successiva costa di più. Leggere il margine ogni giorno è il modo per trovare quel giorno.","open-source-aion.c5701049a8":"Il report ha un proprietario piuttosto che una coda, e ogni riga implica un diverso pezzo di lavoro con una diversa urgenza. Uno è completo e non richiede azione da nessuno. Uno ha quattro giorni rimasti, il che lo rende il piano di questa settimana piuttosto che di oggi. Uno ha un solo giorno rimasto, il che lo rende il lavoro di questa mattina. Uno è passato dalla sua data da due settimane, il che richiede un nome accanto e una frase che spieghi il divario.","open-source-aion.26435b9406":"Qualsiasi cosa con una scadenza può essere monitorata mentre è in esecuzione, e AION riporta il margine rimanente come numero con segno piuttosto che come superato. Una finestra di risposta con quattro giorni rimasti. Un periodo di conservazione due settimane oltre la data in cui avrebbe dovuto chiudersi. Questa è una lettura operativa su cui qualcuno può agire questa mattina. Il numero cambia ogni giorno, quindi il report viene letto come un margine piuttosto che come un allarme.","open-source-aion.f49579b8d6":"prima che diventi una violazione","open-source-aion.0e185152c8":"Leggi il margine ogni giorno","open-source-aion.bc09e774e9":"Obblighi in corso","open-source-aion.cff8079f65":"I record rispondono alle domande dopo il fatto. Alcuni obblighi richiedono monitoraggio mentre sono in esecuzione","open-source-aion.127edee78d":"CON SEGNO","open-source-aion.b1c1ba1af8":"UNA LISTA","open-source-aion.8d27ef68f5":"SETTE POSSONO MUOVERSI","open-source-aion.c84f34cb7c":"L'attribuzione è un secondo meccanismo piuttosto che un'altra colonna dello stesso record. Una firma viene applicata sull'ordine di derivazione, quindi chi ha prodotto un risultato sopravvive a un cambio di appaltatore, e due risposte identiche da due fornitori restano distinguibili. Questo vale anche quando entrambe sono state prodotte dagli stessi input dichiarati.","open-source-aion.a76201631f":"Ogni voce di quella lista nomina il componente che è cambiato, e il certificato memorizzato dietro è completo, quindi il ricontrollo è un'esecuzione piuttosto che una ricostruzione. L'alternativa, che è ciò che la maggior parte delle organizzazioni ha, è una scelta tra riesaminare tutto e riesaminare nulla, e in pratica quella scelta viene sempre fatta allo stesso modo.","open-source-aion.5c82441a97":"Il record","open-source-aion.10d9103c24":"Un risultato accettato l'anno scorso è stato accettato con il contratto dell'anno scorso. Sette cose diverse possono muoversi sotto di esso: una regola del verificatore, uno schema di certificato, una policy, una regola del compilatore, un contratto di runtime, una versione del modello o un contratto di simulazione. Quando una di esse si muove, la domanda su quali conclusioni passate si basavano sulla parte cambiata ha una risposta, e la risposta è una lista.","open-source-aion.1829734913":"ottieni una lista da rifare","open-source-aion.6d49555943":"Quando una regola cambia in seguito","open-source-aion.7f325552d8":"Il tuo audit trail, versionato","open-source-aion.d272027f73":"Tenere un registro locale è facile. Renderlo significativo quando le regole cambiano è più difficile","open-source-aion.05a898ec87":"NESSUN HOST DI MODELLI","open-source-aion.c530254e40":"IL TUO SITO","open-source-aion.66b3dbbe8f":"NESSUNA CHIAMATA IN USCITA","open-source-aion.8ae7a1670e":"Per un responsabile della protezione dei dati che risponde a una breve lista di domande su questo percorso, e solo su questo percorso: nessun processore da aggiungere a un registro, nessun trasferimento da giustificare, nessun fornitore di modelli nella catena, e nulla di nostro che possa essere non disponibile durante il tuo incidente o cambiare sotto di te secondo il programma di rilascio di qualcun altro. La build che hai è quella che gira l'anno prossimo. Questa risposta è la stessa sia che il sito sia connesso o isolato.","open-source-aion.60ad7ae15b":"Due percorsi possono attraversare un confine ed entrambi sono configurabili da te. Un cluster gira su indirizzi che imposti tu stesso. Un prover esterno, se lo vuoi nel loop, è un programma che installi e che gira come processo locale sulla tua macchina.","open-source-aion.2f6a307ba7":"Per gli operatori","open-source-aion.dbc08c41b9":"La build predefinita di AION non include alcun client in uscita. Verificare una prova, tradurre un requisito, monitorare un segnale ed eseguire la ricerca avvengono tutti sulla macchina su cui li hai avviati, all'interno del tuo confine, su hardware che controlli. Non c'è alcun modello ospitato nella catena e nessuna via per raggiungerlo. La stessa build gira in una stanza isolata come in una connessa, perché nulla sul percorso predefinito ha bisogno di una rete per completarsi.","open-source-aion.90c790a231":"e nulla chiama verso l'esterno","open-source-aion.4b9230d5db":"Tutto gira in loco","open-source-aion.fe7f7fc61a":"Dove avviene il lavoro","open-source-aion.ed461cacdf":"Una prova sulle regole è una cosa. Dove gira il lavoro è la domanda successiva che la gente fa","open-source-aion.640d41197b":"UNA ESEGUITA","open-source-aion.29ff0fb82f":"SETTE DICHIARAZIONI","open-source-aion.431d64456a":"Questa è una dichiarazione sull'insieme di regole piuttosto che un campione di casi passati. Testare mille applicazioni mostra mille applicazioni; un controllo di non interferenza copre ogni coppia che le regole consentono, usando auto-composizione, raggiungibilità guidata dalle proprietà e k-induzione, con l'astrazione stretta ogni volta che una coppia mostra che era troppo larga. Quando non regge, ciò che torna non è una statistica. Sono due applicazioni identiche in ogni campo pubblico, che differiscono in quello su cui hai chiesto, con due esiti diversi stampati fianco a fianco. Questo è un risultato su cui un responsabile della conformità può agire la stessa mattina.","open-source-aion.e5e1cd5506":"Prendi quella che regolatori e reclamanti chiedono più spesso, con parole diverse: questo campo ha cambiato l'esito? È risolta come una proprietà su due esecuzioni. Lega insieme ogni input pubblico, lascia libero il campo in questione su ciascun lato, e richiedi che l'esito visibile concordi. Se concorda sempre, l'esito non dipendeva da quel campo.","open-source-aion.227872d789":"Una di esse, eseguita fino in fondo","open-source-aion.5f92fd5ed1":"Un certificato è interessante solo per la frase che ti permette di dire. Questo binario corrisponde a questo grafo sorgente. Questo carico di lavoro è girato sotto queste capacità. Questa azione aveva l'approvazione richiesta. Questo ottimo soddisfa questo limite. Questa traiettoria ha rispettato questi invarianti. Questa conclusione segue da questi vincoli. Questo output proviene da questo esatto modello e set di parametri.","open-source-aion.418a3bc2fc":"messe davanti a un regolatore","open-source-aion.7a7af31402":"Sette dichiarazioni che puoi","open-source-aion.a13c1cf72d":"Cosa puoi davvero provare","open-source-aion.20467ce964":"Un caso riguarda una singola applicazione. Alcune domande riguardano due di esse contemporaneamente","open-source-aion.dde18d1e41":"CHI LO POSSIEDE","open-source-aion.f3b603a5b2":"IN VALORI","open-source-aion.53d2799375":"IL CASO","open-source-aion.f18bb15530":"Entrambi sono risultati, ed entrambi hanno un proprietario. Nessuno dei due è disponibile da un superato o un fallito. Il controesempio è ciò che ti dice quale dei due stai tenendo.","open-source-aion.d83e9c1af9":"Il controesempio pone fine anche a discussioni che altrimenti durano settimane, perché non è l'opinione di nessuno sul fatto che la regola sia troppo severa. È un caso, disegnato nei valori reali su cui la regola opera. O il caso è possibile da qualche parte nella tua azienda, nel qual caso la regola è giusta e il sistema è sbagliato, oppure il caso non può verificarsi, nel qual caso la specifica manca di un vincolo che tutti assumevano e nessuno ha scritto.","open-source-aion.7455444aea":"Quando una regola non regge, AION restituisce la situazione specifica che la rompe, scritta in prosa: quali valori, di che tipo, e quali condizioni violano. Un ingegnere può riprodurla e un manager può valutarne il costo, e per una volta i due discutono dello stesso caso.","open-source-aion.7d4873637b":"come il caso che l'ha rotta","open-source-aion.aeb268fac7":"Una regola rotta torna indietro","open-source-aion.b5951203ea":"Cosa ti consegna un fallimento","open-source-aion.8a9a27b8f7":"Il che lascia le frasi che possono significare due cose, e quelle vengono chieste","open-source-aion.e1814a04c0":"REVISIONABILE","open-source-aion.20e7dea6cd":"LETTURA CHIARA","open-source-aion.295ea7bb80":"INGLESE MANTENUTO","open-source-aion.a4abbaea33":"La traduzione è una libreria di pattern piuttosto che un modello, quindi la stessa frase produce sempre la stessa lettura, e una revisione non deve essere ripetuta perché lo strumento ha cambiato idea tra un trimestre e l'altro. Un secondo revisore che legge la stessa frase arriva alla stessa condizione, il che rende una revisione trasferibile.","open-source-aion.f3689055f1":"Ogni condizione arriva con una frase di inglese semplice che dice cosa codifica, e con le quantità su cui opera, ciascuna nominata con il tipo di valore che contiene e la propria riga di descrizione. Così la revisione può essere fatta dalla persona che possiede il requisito piuttosto che solo da quella che possiede la notazione.","open-source-aion.cac3da045e":"Come regge","open-source-aion.c6b765e4cc":"I requisiti sono scritti da persone che comprendono il business e trasformati in condizioni da persone che comprendono la notazione, e le due versioni poi divergono per anni. AION le mantiene collegate: scrivi il requisito come frase in inglese, e la condizione che ne deriva porta con sé la tua frase. Il revisore legge entrambe insieme, così la divergenza appare sulla pagina piuttosto che in un incidente.","open-source-aion.589a38f560":"alla persona che ha chiesto","open-source-aion.5d212c3d75":"La regola resta leggibile","open-source-aion.5373332e20":"Chi può leggere cosa è stato verificato","open-source-aion.5f882ec681":"Un riferimento è utile solo se la regola a cui punta è leggibile dalle tue persone","open-source-aion.bca8d6442c":"AZIONABILE","open-source-aion.705bc98c49":"NOMINA LA REGOLA","open-source-aion.ab9f5d57e4":"NOMINA IL PASSAGGIO","open-source-aion.b4ba975800":"Tenere separate queste cose è ciò che permette di inviare un rifiuto a un fornitore, perché un'accusa è l'unica cosa che non puoi ritirare silenziosamente da un rapporto con un fornitore.","open-source-aion.7a47f854de":"Questa forma è ciò su cui un revisore o un responsabile dei fornitori può agire, perché trasforma un disaccordo in un riferimento. AION separa anche due fallimenti che arrivano sotto una sola parola. O il passaggio non si ricostruisce, il che è un difetto nella prova e una constatazione a carico di chi l'ha prodotta, oppure il passaggio usa una regola che questo verificatore non possiede, il che è una questione di ambito per te e non una constatazione a carico di nessuno.","open-source-aion.d9469b7dda":"Un fallimento che dice verifica non riuscita non può essere assegnato, discusso o corretto, e arriva come una disputa piuttosto che come una constatazione. AION restituisce una posizione e un motivo: quale passaggio, in quale file, quale regola dichiarava di applicare, e cosa mancava quando il passaggio è stato rieseguito. Il rifiuto può tornare al team produttore con un indirizzo riproducibile. Se la prova non può essere ricostruita, la responsabilità è del produttore; se al verificatore manca la regola nominata, è una decisione di ambito. Sono code diverse e rimedi diversi.","open-source-aion.ccc6a09991":"con il passaggio e il motivo","open-source-aion.3619f211ef":"Un controllo fallito torna indietro","open-source-aion.29801085dc":"L'output che deve essere utilizzabile","open-source-aion.57c6ba11fc":"Sette produttori mantengono il proprio output. AION standardizza la busta e il routing per le sue evidenze.","open-source-aion.f37804f36b":"UNA BUSTA","open-source-aion.8a3b4bf313":"SETTE PRODUTTORI","open-source-aion.479f1de8ea":"La busta condivisa dà all'organizzazione un unico registro, un unico modello di compatibilità e un unico insieme di impatti quando una regola cambia. Ogni famiglia di certificati mantiene il proprio verificatore e le proprie regole di rifiuto. Una nuova famiglia si unisce registrando quelle regole e il proprio verificatore; AION non diventa il produttore. Il registro è la parte che cresce.","open-source-aion.5b958e86c7":"Un solver può emettere certificati logici, di ottimizzazione o temporali. Twin e FMI producono output diversi ma condividono la famiglia di simulazione e FMI. Il produttore dice cosa è stato fatto; la famiglia di certificati dice come viene verificata la sua affermazione. I due sono registrati separatamente, così nessuno può essere dedotto dall'altro.","open-source-aion.57e1cc2701":"Cosa cambia una busta","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin e FMI sono sette produttori di output diversi, non sette famiglie di certificati. AION dà alle loro evidenze una busta e instrada ogni certificato al suo verificatore specifico per famiglia. La busta porta produttore, famiglia, schema e input dichiarati, mentre il verificatore di famiglia mantiene il significato tecnico. Un fornitore può cambiare la propria implementazione senza cambiare il confine di evidenza dell'organizzazione; solo un cambiamento di famiglia o schema espande la revisione di compatibilità.","open-source-aion.65a41e884e":"una busta per le evidenze","open-source-aion.837663a52a":"Sette produttori, e","open-source-aion.647e0f46ec":"Sette produttori","open-source-aion.af6010147d":"Un fornitore è una relazione. La domanda interessante è quanto lontano arriva questo","open-source-aion.35ecafecfb":"LA TUA MACCHINA","open-source-aion.0676f9f8de":"TRE COSE","open-source-aion.dfc87eabb4":"Questo sposta la conversazione dal terreno dove i fornitori sono a loro agio. Non stai più chiedendo loro di convincerti, e non stai più pagando per riprodurre il loro ambiente. Una volta che hai le tre cose, il controllo è tuo da ripetere quando vuoi, su qualsiasi hardware vuoi, inclusa la settimana dopo la fine del contratto.","open-source-aion.7677ed77e3":"Vale la pena essere precisi sull'artefatto, perché non è sempre un file. A seconda della famiglia può essere un file, un archivio, uno stream, un bundle firmato, una coppia di tracce, un testimone, una ricevuta di esecuzione o una derivazione strutturata. Ciò che è sempre, qualunque sia la sua forma, è qualcosa che un verificatore può leggere senza che il produttore sia presente.","open-source-aion.a29def781f":"Cos'è realmente un certificato","open-source-aion.fdca1fef67":"Un certificato non è un log e non è un riepilogo. È l'evidenza che il lavoro ha lasciato dietro di sé, e ciò che un fornitore consegna sono tre cose: l'affermazione, gli input dichiarati e il contratto con cui è stata fatta, e il certificato che il sistema ha prodotto. Non la loro licenza, non la loro versione, non la loro macchina. Queste tre viaggiano insieme, e verificarle non richiede altro dal fornitore.","open-source-aion.b054d236cd":"piuttosto che il loro software","open-source-aion.53e1575f60":"Verifichi il certificato","open-source-aion.5e40f4ba8a":"Il cambiamento di posizione","open-source-aion.b9e2767b28":"C'è una via che non è né credere loro né rieseguire il loro software","open-source-aion.7d87348ad6":"IL TUO NOME SOPRA","open-source-aion.48a5aca907":"IL LORO SISTEMA","open-source-aion.32c3cafa08":"Questa è la posizione che un revisore guarda quando chiede come ti sei accertato, anche sotto regole di evidenza come quelle dell'EU AI Act. AION la cambia dando a ciascuno di quei risultati un certificato che puoi verificare, senza riprodurre il fornitore e senza accesso a nulla che considerino loro. Il controllo gira sulla tua macchina, contro il solo certificato.","open-source-aion.ac90e72b2c":"I percorsi abituali finiscono entrambi nello stesso punto. Puoi chiedere le loro prove, che sono un documento che hanno scritto sul loro stesso software. Oppure puoi chiedere di riprodurre il loro sistema da solo, il che richiede la loro licenza, la loro versione e il loro ambiente, e ti lascia comunque a fare affidamento sulla cosa che ha prodotto la risposta.","open-source-aion.fc63c534d2":"Un risolutore dice che il programma è fattibile. Un sistema di intelligenza artificiale raggiunge una conclusione regolamentata. Un sistema agente esegue un'operazione per tuo conto. Un compilatore produce un artefatto critico per la sicurezza. Un runtime esegue un carico di lavoro controllato. Una simulazione valida una decisione progettuale. Un gemello digitale segnala che uno stato operativo è sicuro. In ognuno di questi casi il lavoro è avvenuto altrove e le conseguenze ricadono su di te.","open-source-aion.c9672e2ac8":"il tuo nome è sulla risposta","open-source-aion.925d7b4a2d":"Il loro sistema l'ha prodotta","open-source-aion.47b025f850":"Dove sta la responsabilità","open-source-aion.905aee629b":"Il procedimento, una ragione che puoi leggere, e la stessa regola per tutti coloro che tocca","open-source-aion.4d0ee37058":"UNA DATA","open-source-aion.6ccb4a6f6a":"STESSA RAGIONE","open-source-aion.84adcc762b":"STESSO CONTROLLO","open-source-aion.56c6f422d8":"Questa è una lettera che qualcuno può scrivere. Invece di dire che il sistema ha deciso, puoi citare la regola, indicare la data, indicare la versione e chiedere alla persona che l'ha scritta se è quello che intendeva.","open-source-aion.073cdea47b":"Questo ha valore solo se puoi vederlo, quindi ciò che ti resta in mano sono tre cose che puoi usare. La regola, in parole semplici che puoi leggere ad alta voce. La ragione per cui si applicava a te, citando quella regola con la tua situazione specifica. E la data in cui il procedimento è stato verificato. Quel registro indica cosa lo ha verificato e contro quale versione delle regole è stato verificato.","open-source-aion.a50f912efb":"Cosa puoi farci","open-source-aion.1d94c73b03":"Affida lo stesso procedimento ad AION due volte e il controllo esce allo stesso modo, di lunedì e di venerdì, per te e per la persona dietro di te in coda. Non è che tutti ricevono la stessa risposta, perché le persone portano situazioni diverse. È che il controllo stesso non vaga, e nessuno interpreta il tuo caso sul momento. Un anno dopo lo stesso procedimento viene controllato dalle stesse regole scritte, quindi una risposta che ti è stata data può ancora essere spiegata.","open-source-aion.fba7a52bf4":"di lunedì e di venerdì","open-source-aion.77a3327a99":"Controllato allo stesso modo","open-source-aion.cebde51ae2":"Ciò che ti resta in mano","open-source-aion.a566f0cb1b":"Il tempo è un tipo di regola. La maggior parte sono del tipo semplice, applicate a tutti","open-source-aion.29231cd04d":"IN TEMPO UTILE","open-source-aion.d89f7642e7":"CONTROLLATO","open-source-aion.5d491ce50f":"GIORNI RIMASTI","open-source-aion.c50722f442":"La stessa lettura funziona dopo la data così come prima. Quattordici giorni passati sono un fatto di cui qualcuno può essere interrogato, con una data allegata, piuttosto che un segno rosso arrivato senza preavviso.","open-source-aion.0b1cbd5f8a":"Un superamento non ti dice nulla finché non smette di essere un superamento, e a quel punto le opzioni economiche sono finite. Un numero ti dice dove sei: ventidue giorni rimasti sono una nota in agenda, quattro giorni rimasti sono questa settimana, un giorno rimasto è questa mattina.","open-source-aion.af41b675b0":"Cosa ti dà questo","open-source-aion.2ff91b62ec":"Le regole con un orologio dentro sono quelle che colgono di sorpresa. Una risposta dovuta entro trenta giorni, una finestra di rimborso, un periodo dopo il quale qualcosa deve essere cancellato. AION le controlla mentre scorrono e segnala quanto spazio rimane oggi, come numero di giorni.","open-source-aion.94dc6c2b80":"molto prima dell'ultimo","open-source-aion.6bdbc0422a":"Puoi vedere i giorni rimasti","open-source-aion.37f768721f":"Scadenze che ti riguardano","open-source-aion.e3c2d4b24a":"Lavorare sul momento significa anche che può tenere d'occhio l'orologio per te","open-source-aion.4ace2cc9bc":"NESSUN ACCOUNT","open-source-aion.c5c3055a7b":"NULLA INVIATO","open-source-aion.a5b9137c2b":"RESTA QUI","open-source-aion.874bab5372":"Se c'è una connessione, è una che qualcuno ha impostato deliberatamente tra le proprie macchine, ed è spenta finché non lo fa. La tua frase viene letta da regole scritte, nella stessa stanza di te, e la risposta arriva con la linea giù. Nulla è uscito dalla macchina per produrla, e nulla è stato inviato altrove.","open-source-aion.4a03f17947":"Nessun account, nessuna registrazione e nessun servizio esterno che debba funzionare, o essere affidabile, o essere ancora in attività l'anno prossimo, perché tu ottenga una risposta.","open-source-aion.f10eb79b5b":"Cosa significa per te","open-source-aion.c17d4e01b4":"Molti strumenti rispondono a una domanda su di te inviando i tuoi dati altrove e aspettando una risposta. Le tue informazioni hanno viaggiato, verso un'azienda che non hai scelto, forse verso un paese di cui non sentirai mai il nome. AION fa il lavoro dove già si trova. Nulla viene inviato, perché non c'è nulla con cui inviarlo.","open-source-aion.9e50609149":"sulla macchina su cui sei","open-source-aion.ca67037369":"La risposta è elaborata","open-source-aion.7df600af96":"Dove vanno i tuoi dati","open-source-aion.399483042a":"Essere interrogati è una metà. L'altra metà è ciò che ti viene detto quando la risposta è no","open-source-aion.0b5b7048ea":"TU SCEGLI","open-source-aion.f12c755afa":"TI CHIEDE","open-source-aion.300453f44e":"DUE SIGNIFICATI","open-source-aion.6debd2c487":"Che sembra una piccola cortesia. È la differenza tra una regola a cui hai acconsentito e una regola che qualcuno ha indovinato per te, in fretta, in un giorno in cui non c'eri. L'indovinello è il modo ordinario in cui si fa, e a nessuno viene mai detto che è successo. Chiedere costa un momento e toglie l'indovinello dal registro.","open-source-aion.6f02dd9d43":"AION si ferma e chiede. Ti cita le parole di cui non è sicuro, espone entrambe le letture in linguaggio semplice, mette una domanda con la tua stessa frase dentro e aspetta. Scegli tu. Nulla viene deciso mentre la domanda è aperta.","open-source-aion.0ccfcd0de4":"Cosa cambia","open-source-aion.b3124516ab":"\"Annulla se il ritardo è superiore a un'ora.\" Un ritardo di settantacinque minuti è più di un'ora, o le ore sono contate intere, quindi settantacinque minuti sono un'ora e un'ora non è più di una? Entrambe le letture sono inglese ordinario. Non sono d'accordo su esattamente un caso, e quel caso si presenterà.","open-source-aion.4449c95cf9":"significano due cose, chiede","open-source-aion.75ca04ac1b":"Se la tua frase potesse","open-source-aion.2297deb89a":"Quando la tua frase non è chiara","open-source-aion.32cf0852b8":"Una frase può anche significare due cose contemporaneamente, e vale la pena fermarsi a pensarci","open-source-aion.b5d2541ad8":"SENZA GERGO","open-source-aion.3b7c198e57":"TORNA","open-source-aion.c4cc4b9845":"LE TUE PAROLE","open-source-aion.5c9a5c3396":"E quando la stessa frase viene riletta, produce esattamente la stessa regola, perché nulla in AION impara, deriva o ha un'idea migliore nel frattempo. Una regola a cui hai acconsentito una volta resta la regola a cui hai acconsentito, e chi la riceve sta leggendo la tua frase, non il riassunto di qualcun altro. Nulla lungo il percorso la trasforma nelle parole di altri.","open-source-aion.ba41f25c15":"Dal mantenere la frase derivano due cose. Puoi capire se è stata compresa il giorno in cui l'hai scritta, leggendola, invece di scoprirlo da un incidente un anno dopo.","open-source-aion.c19473d784":"Scrivi la regola con parole semplici e AION conserva quelle parole. Sembra una piccola cortesia, finché non arriva il giorno in cui conta: mesi dopo, quando qualcosa viene fermato a causa di quella regola, la frase che hai scritto torna in cima alla spiegazione, nelle parole che hai scelto.","open-source-aion.4c0e51d183":"la diresti ad alta voce","open-source-aion.dcf65c0f8a":"Scrivi la regola come","open-source-aion.e1a651b90e":"Dire ciò che vuoi","open-source-aion.beda6f7681":"Rifare una somma richiede che la somma sia scritta. Lo stesso vale per una regola, e la tua può essere una frase","open-source-aion.ef6371cd2e":"FERMA","open-source-aion.47ce22a1f7":"PASSO DOPO PASSO","open-source-aion.9195df51f1":"UNA SECONDA LETTURA","open-source-aion.b66352de76":"Il fermarsi è la metà importante. Chiunque può essere d'accordo con te. Qualcosa che si ferma e indica la riga vale la pena averlo, e ce n'è molto poco in giro.","open-source-aion.e04fafc8fc":"AION rifà la somma della colonna. Non per le bollette, ma per il tipo di lavoro più difficile che le macchine fanno quando decidono che qualcosa è consentito, sicuro o impossibile, quando costruiscono qualcosa, quando lo eseguono per tuo conto, o quando calcolano cosa succederebbe prima che qualcuno lo provi. Legge il procedimento scritto dalla prima macchina, rifà ogni passaggio per conto proprio e si ferma al primo che non riesce a far tornare.","open-source-aion.b55b759c73":"Quando una bolletta sembra sbagliata, non discuti se il totale sia giusto. Rifai la somma della colonna da solo. Se ottieni lo stesso numero, il totale regge. Se ti fermi alla quarta riga perché non torna, puoi dire esattamente quale riga, e la discussione finisce in una frase.","open-source-aion.59141b0dfa":"invece di fidarti della parola","open-source-aion.fa22d5033b":"Qualcuno rifà la somma","open-source-aion.333a6c87f2":"una modifica produce un insieme interessato e una coda, non una silenziosa reinterpretazione del passato","open-source-aion.0eecb96558":"sono cinque fatti","open-source-aion.59e22ed738":"prodotto, firmato, verificato, accettato e ancora compatibile","open-source-aion.d78c662e5b":"verificato, non presunto","open-source-aion.5b44284acd":"ancora compatibile con","open-source-aion.cc4bc74f90":"con una versione del contratto","open-source-aion.3bb51eeea5":"accettato sotto","open-source-aion.72954f75cf":"con una versione del verificatore","open-source-aion.3741770a87":"verificato da","open-source-aion.7fc7c8aef9":"su un hash dell'ordine di derivazione","open-source-aion.d2a7817a72":"firmato da","open-source-aion.9d7c5e8097":"con una versione","open-source-aion.8fffa5fcb8":"prodotto da","open-source-aion.756e62f03a":"Un risultato, cinque fatti","open-source-aion.2b8be4ecd3":"L'attribuzione funziona con un meccanismo proprio: una firma Ed25519 su un hash BLAKE3 dell'ordine di derivazione, con un nonce monotono e un timestamp, verificabile con la chiave pubblica del produttore. L'accettazione funziona con un altro, che porta l'identità e la versione del verificatore e la versione del contratto che ha concesso. Quando qualcosa sottostante si muove, una regola del checker, uno schema di certificato, una policy, una regola del compilatore, un contratto di runtime o una versione del modello, i certificati che hanno dichiarato una dipendenza da esso formano un insieme interessato e vengono messi in coda per essere ricontrollati, con il componente modificato indicato.","open-source-aion.6b8169d142":"Un verdetto da solo è una parola senza autore. Cinque fatti che di solito si riducono a uno sono qui tenuti separati: chi ha prodotto un risultato, chi lo ha firmato, cosa lo ha verificato, sotto quale contratto è stato accettato e se è ancora compatibile con le regole attuali. Sono cinque domande diverse e quattro di esse sopravvivono a un cambio di fornitore.","open-source-aion.2cd4b335f4":"Un checker lo verifica.","open-source-aion.d15fbc9566":"Niente è verificato.","open-source-aion.481d0fc02c":"L'intero argomento","open-source-aion.ca75c84634":"Ogni certificato qui finisce come un unico record, e il record tiene separati i suoi fatti","open-source-aion.3ecc9abb23":"ESTENSIBILE","open-source-aion.8112bd91bc":"AIR GAPPED","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Quando una singola verifica è davvero troppo grande per una macchina, il lavoro si divide in cubi tra macchine con condivisione di clausole tra loro, e un risultato composto viene accettato solo dopo un controllo di copertura: nessun due cubi possono correggere lo stesso insieme di letterali, e ciò di cui rendono conto deve sommare all'intero spazio, non quasi tutto. Un join mancante di uno è un rifiuto, che è la stessa disciplina di ovunque altro nel prodotto. Oltre a ciò, un registro dei verificatori e un'API di estensione sono il modo in cui una famiglia di certificati che nessuno qui ha scritto viene controllata qui.","open-source-aion.04cd68c7fb":"Solo due cose possono attraversare un confine ed entrambe sono configurate da te. Un cluster funziona su indirizzi che imposti tu. Un produttore esterno è un programma che installi ed esegui come processo locale. Non c'è alcun modello ospitato nella catena, e nessun nostro servizio che possa essere non disponibile durante il tuo incidente o cambiare sotto di te secondo il programma di rilascio di qualcun altro. Un ambiente air gapped verifica esattamente come uno connesso, perché la verifica non ha mai avuto bisogno del produttore in primo luogo.","open-source-aion.ac1913e46c":"Due vie d'uscita, ed entrambe sono tue","open-source-aion.c2193fefe2":"La verifica è un calcolo come qualsiasi altro, e dove viene eseguita è una tua decisione. AION pubblica il 1 settembre 2026: una volta che il repository è pubblico, collega la libreria, esegui il comando o avvia il servizio all'interno del tuo confine. La build predefinita non include un client in uscita, quindi controllare un certificato non richiede account, provider o una via di uscita dalla macchina su cui è iniziato.","open-source-aion.72d09c5994":"un servizio o un enclave","open-source-aion.f8ac38e647":"Una libreria, un comando","open-source-aion.604918db00":"Dove viene eseguita la verifica","open-source-aion.c07ebfbab5":"Un archivio resta fermo. L'ultima domanda è dove tutto questo viene effettivamente eseguito","open-source-aion.d34941b7ce":"INDICIZZATO","open-source-aion.79ae623ce9":"INDIRIZZATO AL CONTENUTO","open-source-aion.0f7d1ea9ca":"La parte che deve essere costruita piuttosto che assunta è l'indice. Quando una regola di controllo, uno schema di certificato, una policy, una regola del compilatore, un contratto di runtime o una versione del modello cambia, i certificati la cui validità dipendeva dal componente modificato vengono trovati tramite ricerca, non scansionando tutto e sperando. Le dipendenze sono dichiarate nell'involucro, quindi l'insieme interessato è una query e la coda di riverifica è il suo risultato, con il componente modificato indicato per ogni voce. L'alternativa che la maggior parte delle organizzazioni ha in realtà è una scelta tra riesaminare tutto e non riesaminare nulla.","open-source-aion.144711734a":"Lo storage è utile solo se un lettore che è andato avanti può ancora aprirlo, quindi ogni record porta la firma del produttore, l'identità e la versione del verificatore che lo ha accettato, la versione del contratto sotto cui è stato accettato e le dipendenze su cui si basa. Un test di compatibilità viene eseguito al ritorno.","open-source-aion.22f96be502":"L'insieme interessato è un vero indice","open-source-aion.a1b04ec691":"I certificati che vale la pena conservare sono quelli su cui ti verrà chiesto anni dopo. AION memorizza un certificato accettato in modo compatto e per indirizzo di contenuto: identificatori tenuti come differenze, pattern ripetuti codificati con run-length, sottoprove identiche hashate e memorizzate una volta, e il tutto indirizzato dal suo contenuto piuttosto che da dove qualcuno lo ha archiviato. Un indirizzo di contenuto è ciò che permette a un lettore che è andato avanti di trovare di nuovo lo stesso certificato e controllarlo una seconda volta, anni dopo l'esecuzione che lo ha prodotto.","open-source-aion.c017c017d7":"e rimane ricontrollabile","open-source-aion.2e10b84b57":"Un certificato rimane piccolo","open-source-aion.9263a81467":"Memorizzare ciò che è stato controllato","open-source-aion.1f029bacad":"Sei famiglie, e ognuna di esse finisce nello stesso record","open-source-aion.1deb4d4a29":"TRAIETTORIA","open-source-aion.f8d5b44c34":"INVARIANZE","open-source-aion.52dd7acef9":"CONFORMITÀ","open-source-aion.24d7374cb9":"Tenere separate queste cose è ciò che rende le prime due degne di qualcosa. Una garanzia che implica silenziosamente la terza è quella che fallisce davanti a un regolatore, e un certificato che nomina il proprio confine è quello che sopravvive alla riunione.","open-source-aion.0e4ffe42fa":"Tre domande diverse vengono poste a una simulazione, ed essere onesti su quali due sono rispondibili qui è l'intero contenuto professionale della sezione. La conformità di esecuzione chiede se il modello, i parametri e la configurazione dichiarati hanno effettivamente prodotto questa traiettoria, e questo è verificabile. Il controllo delle proprietà matematiche chiede se le invarianti dichiarate valgono durante l'esecuzione, e anche questo è verificabile, con un fallimento che restituisce la traccia piuttosto che un verdetto. La validità fisica chiede se il modello rappresenta il mondo reale, e nessun certificato lo stabilisce. Appartiene al proprietario del modello, e gli appartiene permanentemente.","open-source-aion.bb70d13ca4":"La linea di cui questa sezione è attenta","open-source-aion.ac558913f9":"Un risultato di simulazione viene usato per prendere decisioni molto tempo dopo che l'esecuzione è sparita. Il certificato porta l'identità del modello e dell'FMU, il set di parametri, lo stato iniziale, la configurazione del solutore, la sequenza di passi temporali o eventi, le transizioni di stato, i controlli di invariante eseguiti, lo stato di convergenza o terminazione, l'hash della traiettoria risultante e una traccia di controesempio dove una proprietà fallisce.","open-source-aion.1c9f5f0f21":"risponde esattamente a due di esse","open-source-aion.242c47d00a":"Tre domande, e questo","open-source-aion.a635f9edf3":"Twin e FMI, certificati","open-source-aion.43f8bc442f":"L'esecuzione è una singola esecuzione di una singola cosa. Una simulazione ne fa milioni in una volta","open-source-aion.d3a968f797":"ID OUTPUT","open-source-aion.d79014995c":"ATTESTATO","open-source-aion.2fbbf64505":"CAPACITÀ","open-source-aion.51fd9d7843":"Il determinismo è ciò che rende verificabile il resto. Poiché le transizioni sono deterministiche dato il modulo, gli input e le concessioni, un verificatore può seguirle senza rieseguire il carico di lavoro nel suo ambiente originale, e due esecuzioni che affermano la stessa identità di output dagli stessi input o concordano o indicano la transizione in cui hanno smesso di concordare. Questa è un'attestazione di runtime in pratica: cosa è stato eseguito, sotto quale autorità, verificabile senza eseguirlo di nuovo.","open-source-aion.0d0fd79859":"La maggior parte delle domande poste su un carico di lavoro dopo il fatto sono in realtà domande sulla sua autorità. Cosa poteva raggiungere questa cosa mentre era in esecuzione, e ha raggiunto qualcos'altro. Un certificato che porta le concessioni di capacità insieme alle transizioni risponde a questo senza che nessuno legga un log, e risponde a qualcuno che non gestisce il runtime.","open-source-aion.890c61e134":"Perché il set di capacità è il campo interessante","open-source-aion.1331fa2052":"Uno stato di uscita dice che un carico di lavoro è finito. Il certificato di esecuzione dice cosa è finito: l'identità del carico di lavoro e del modulo, la versione del runtime, le concessioni di capacità che deteneva, gli input che ha ricevuto, le transizioni di stato deterministiche che ha attraversato, i limiti di risorse entro cui è stato eseguito, l'identità dell'output che ha prodotto e se è stato completato o intrappolato. Ognuno di questi è un campo da cui una domanda successiva può essere risposta, senza tornare alla macchina che lo ha eseguito.","open-source-aion.65576ef482":"sotto quali capacità","open-source-aion.74a9894f4f":"Cosa è stato eseguito, su cosa, e","open-source-aion.eabc461dcf":"Selvedge, certificato","open-source-aion.b4792818f1":"Un artefatto compilato deve ancora essere eseguito da qualche parte, e quella esecuzione è anche una rivendicazione","open-source-aion.414cbcc9ec":"PROVENIENZA","open-source-aion.24466ece94":"SORGENTE AD ARTEFATTO","open-source-aion.c81d361198":"È questa precisione che rende l'artefatto utile a valle. In una build regolamentata la domanda è raramente se un compilatore sia buono. È se questo binario corrisponda a questo grafo sorgente sotto questa configurazione di ottimizzazione, una domanda che ha una risposta, e la risposta viaggia con l'artefatto invece di vivere nel sistema di build che lo ha prodotto. Questo significa in pratica provenienza della build: un'affermazione su questo artefatto, verificabile senza il sistema di build che lo ha creato.","open-source-aion.6c1fd4df2b":"La dichiarazione è la disciplina. Un certificato non afferma che ogni ottimizzazione sia stata corretta come un'unica affermazione indifferenziata, perché tale affermazione non è né verificabile né vera per alcun compilatore reale. Nomina esattamente quali proprietà di preservazione o equivalenza stabilisce attraverso quali trasformazioni, e il verificatore controlla quelle e non riferisce su nient'altro.","open-source-aion.fd5ed4a1d8":"Affermazioni nominate, non una generica","open-source-aion.82a76c947a":"Un compilatore ti consegna un artefatto e uno stato di uscita. Il certificato di compilazione trasporta ciò che si afferma che quell'artefatto sia: l'identità della sorgente o del grafo da cui proviene, la versione del compilatore e dell'ottimizzazione, la sequenza di trasformazioni applicata, la preservazione di tipo e forma attraverso quelle trasformazioni, i kernel selezionati, l'identità dell'artefatto prodotto e i controlli di equivalenza o invarianza che il certificato dichiara.","open-source-aion.06efebf0f5":"sulla sorgente da cui proviene","open-source-aion.3f208ecc5e":"Anche il binario è un'affermazione","open-source-aion.716710e273":"Kera, certificato","open-source-aion.89572e64cc":"Un'organizzazione può essere certificata. Anche il compilatore che ha costruito ciò su cui essa gira","open-source-aion.502114d554":"RICEVUTE","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORITÀ","open-source-aion.965738574a":"Il valore emerge quando l'operazione è contestata. Una traccia del flusso di lavoro è il resoconto che l'organizzazione dà di sé. Un certificato che un verificatore indipendente ha accettato, sotto una versione contrattuale nominata, è una classe diversa di prova, e la differenza è esattamente quella che AION esiste per creare.","open-source-aion.f4652935ed":"Questo è un certificato su un'operazione governata, non su ciò che un agente stava pensando. Risolve le domande che a qualcuno verranno effettivamente poste: se l'autorità esistesse nel momento in cui l'azione è stata attivata, se il gate che avrebbe dovuto reggere abbia retto, se l'approvazione fosse legata all'azione piuttosto che a un messaggio vicino ad essa, e se le transizioni di stato che il record afferma siano quelle che il contratto consente. Tutte queste sono verificabili meccanicamente e nessuna richiede accesso a un modello.","open-source-aion.be15814346":"Cosa stabilisce e cosa non stabilisce","open-source-aion.38d3c11f27":"Un flusso di lavoro completato è un'affermazione come qualsiasi altra. Il certificato organizzativo stabilisce l'operazione governata che si è effettivamente verificata: l'obiettivo e la versione della policy sotto cui è stata eseguita, l'organizzazione formata, i ruoli e l'autorità risolti, le attività eseguite e le loro transizioni, i gate di policy superati, le approvazioni allegate, le azioni eseguite e le ricevute registrate.","open-source-aion.65a8805f19":"di aver seguito il suo contratto","open-source-aion.f827cfbcbf":"Un'operazione può essere provata","open-source-aion.07fba05892":"Nexus, certificato","open-source-aion.c6fd961235":"Il ragionamento è un produttore. Un'organizzazione di agenti è una cosa più difficile da certificare","open-source-aion.2764d46fd5":"NESSUNA CHIAMATA AL MODELLO","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Anche il front end del requisito in inglese appartiene qui, perché un certificato di ragionamento è verificabile tanto quanto il vincolo in cima ad esso. Una libreria di pattern deterministica restituisce condizioni formali classificate in base a quante frasi trigger corrispondono, ciascuna con la sua lettura semplice e le quantità su cui opera, e dove una frase porta genuinamente più di una lettura, solleva l'ambiguità con la domanda nominata piuttosto che risolverla silenziosamente.","open-source-aion.c4d7d27503":"Sotto ci sono produttori di entrambi i tipi, e sono accettati attraverso lo stesso confine. AION decide la struttura booleana, l'aritmetica della logica differenziale, le parole bitvector e l'uguaglianza con funzioni non interpretate di propria iniziativa, su una ricerca completa guidata da conflitti con due letterali osservati, un'euristica di attività basata su heap, riavvii geometrici e cancellazione di clausole basata sull'attività. Su una risposta insoddisfacibile restituisce un core, che nomina quali dei tuoi vincoli erano in conflitto piuttosto che descrivere la ricerca che li ha trovati. Un solver esterno gira come processo proprio e restituisce una prova, e nient'altro che quel file attraversa il confine tra i due. Qualsiasi strumento che emette una prova in un formato per cui AION ha un checker è qualificato, tra cui cvc5, e il confine è il formato piuttosto che il fornitore.","open-source-aion.5264c1875d":"Produttori, nativi ed esterni","open-source-aion.09b6611fc2":"Loom ragiona. Ciò che AION controlla è l'artefatto che il ragionamento lascia dietro di sé: i vincoli che erano attivi, le regole applicate, i sottoproblemi andati a un solver, i certificati che quei solver hanno restituito, le contraddizioni trovate, i limiti che hanno chiuso una decisione e l'affermazione finalmente asserita. Artefatti computazionali espliciti e derivazioni dichiarate, controllati come tali.","open-source-aion.2224f4889f":"la derivazione su cui si basa","open-source-aion.1aceefa727":"Una conclusione arriva con","open-source-aion.40e8df9cbd":"Loom, e i solver sotto di esso","open-source-aion.cbac360b09":"I passi booleani e aritmetici sono una famiglia. Il ragionamento è dove inizia lo stack","open-source-aion.9786d05f5a":"FUZZATO","open-source-aion.a9bb80378b":"RI DERIVATO","open-source-aion.0204e8b30c":"REGOLA PER REGOLA","open-source-aion.a43c278b96":"A livello di clausola ogni aggiunta viene derivata nuovamente dai primi principi: si assume falsa la nuova clausola, si propagano le clausole citate dai suoi suggerimenti e si richiede il conflitto che quei suggerimenti promettevano. Quando la sola propagazione non la impone, l'aggiunta passa alla condizione più difficile sul pivot letterale nominato rispetto a ogni clausola con cui quel pivot potrebbe risolvere, così un passo non può essere fatto passare nominando un pivot che la clausola non contiene. Formula e dimostrazione vengono lette una riga alla volta, quindi una dimostrazione più grande della memoria della macchina viene comunque verificata fino in fondo. La suite di AION è ostile ad AION: un suggerimento che cita il passo che dovrebbe giustificare, due passi che si appoggiano l'uno all'altro, un pivot dichiarato ma assente, due clausole sotto un unico identificatore, il marcatore di fine usato come identificatore, l'eliminazione di una clausola mai aggiunta e la stessa clausola eliminata due volte. Ogni lettore che tocca un file scritto da qualcun altro viene sottoposto a fuzzing contro un corpus con seed.","open-source-aion.13a29c20f0":"Tre condizioni precedono il controllo della regola su ogni passo, in un ordine fisso: se il passo cita se stesso, se ogni numero che cita è presente e se uno di essi è numerato sopra il passo che lo cita. Prima di tutte e quattro, il file viene scansionato una volta per un numero di passo ripetuto. Solo una dimostrazione in cui ogni passo supera tutto questo arriva all'ultima condizione, cioè se il file si chiude in una contraddizione. Una derivazione che termina con letterali ancora in piedi ha superato tutto il resto e viene comunque rifiutata.","open-source-aion.f626b7a7da":"Sotto la superficie","open-source-aion.1a95f2e67d":"Le dimostrazioni per clausole nella famiglia LRAT, che è SAT, e le dimostrazioni per regole nel formato Alethe, che è SMT, sono la famiglia con la storia più lunga di tentativi di sconfiggerla, il che la rende quella giusta da mostrare. AION smista ogni passo alla routine che implementa la sua regola, e un nome di regola senza nulla dietro termina la lettura anziché passare in silenzio, con il numero del passo e la regola stampati.","open-source-aion.8294eed416":"e una regola sconosciuta la ferma","open-source-aion.9959b32cda":"Ogni passo supera quattro test","open-source-aion.3821e115bc":"La famiglia con gli avversari","open-source-aion.c415bc49f1":"La famiglia più antica è quella con più avversari, quindi è quella da guardare per prima","open-source-aion.06d55361b1":"VERSIONATO","open-source-aion.bca8de5f5a":"NOVE FAMIGLIE","open-source-aion.187b58774c":"Le famiglie sono versionate separatamente per lo stesso motivo. Un insieme di regole può irrigidirsi nella famiglia logica senza disturbare la famiglia di simulazione, e l'insieme dei certificati interessati per quel cambiamento è esattamente i record che dichiaravano la versione in fase di modifica. Le nove di oggi sono logica e soddisfacibilità, ottimizzazione, temporale e iperproprietà, ragionamento, organizzativa, compilazione, esecuzione runtime, simulazione e FMI e integrità dell'archiviazione.","open-source-aion.ca4a7a3c63":"Registrare una famiglia è il modo in cui un sistema che non esisteva quando AION è stato scritto diventa verificabile da esso. L'involucro è già lo stesso, il livello di archiviazione e la coda di riverifica funzionano già, e ciò che una nuova famiglia deve fornire è un verificatore e un insieme di regole dichiarato. Il software di terze parti che implementa un contratto di certificato arriva attraverso la stessa porta di qualsiasi nostro prodotto.","open-source-aion.6581749da9":"Perché è un registro anziché un elenco","open-source-aion.c453f0b87d":"Una famiglia di certificati è un contratto nominato e versionato anziché un formato di file. Ciascuna dichiara la propria identità e versione, il tipo di affermazione che stabilisce, gli input che richiede, come sono rappresentati la prova o il testimone, l'algoritmo di verifica, l'insieme di regole che il verificatore accetta, i suoi metadati di dipendenza e compatibilità, la sua resa leggibile dall'uomo dove ne ha una e la propria tassonomia di rifiuto.","open-source-aion.29a8090d97":"e l'insieme è estensibile","open-source-aion.7dd9783a82":"Nove famiglie, un registro","open-source-aion.f4c0c73854":"Il registro","open-source-aion.2b6d7305db":"Una verifica indipendente deve sapere quale tipo di certificato sta tenendo","open-source-aion.b4dee9d399":"NESSUN REPLAY","open-source-aion.1ae37e9b3a":"NESSUNA LICENZA","open-source-aion.082414b331":"VERIFICA LIMITATA","open-source-aion.85bcd01276":"In nessuno di questi casi il verificatore ha bisogno della ricerca, delle euristiche, dello stato nascosto, delle chiamate al modello o dell'ambiente runtime del produttore. Questo è ciò che rende la verifica indipendente accessibile anziché aspirazionale.","open-source-aion.73dc1e45ec":"L'asimmetria ha la stessa forma in ogni dominio, e vale la pena vederla quattro volte. Una ricerca guidata dal conflitto può durare ore attraverso uno spazio che nessuno può enumerare; la prova per clausole che emette viene seguita riga per riga. Un compilatore può eseguire centinaia di passi di ottimizzazione con euristiche che nessuno fuori dal team comprende; il certificato registra le affermazioni di preservazione che devono valere attraverso di essi. Una simulazione può durare milioni di passi; il certificato fornisce i checkpoint, le transizioni, gli invarianti e la traccia che rendono verificabile l'esito. Un'operazione Nexus può coordinare moltissimi agenti; il certificato stabilisce autorità, transizioni di stato, approvazioni e ricevute di azione.","open-source-aion.3bcb80f6d9":"Ciò che ogni produttore tiene per sé","open-source-aion.ceb0061493":"Il sistema che ha prodotto il risultato non ha l'ultima parola sul fatto che il suo certificato regga. AION verifica un artefatto limitato anziché ripetere il calcolo costoso, motivo per cui la verifica può girare su un laptop contro un lavoro che ha richiesto un cluster per un fine settimana, e perché non ha bisogno né della licenza del produttore né della sua macchina. Il certificato fornisce i checkpoint che il verificatore percorre, quindi il costo della verifica segue la dimensione dell'artefatto anziché la dimensione della ricerca dietro di esso.","open-source-aion.69524cecfe":"e questo è tutto il trucco","open-source-aion.ee21bac231":"Verificare non è rifare","open-source-aion.396e9b624d":"La separazione architetturale","open-source-aion.504a1b0a8d":"Una busta dice cosa è arrivato. La domanda successiva è chi è autorizzato ad aprirla","open-source-aion.a9ea7a518b":"UNA BUSTA","open-source-aion.d7e877b15b":"OTTO CAMPI","open-source-aion.34c043fc06":"Il campo delle dipendenze è quello che la gente sottovaluta. Un certificato che si appoggia a un altro certificato lo nomina, così un rifiuto o un cambiamento di schema si propaga attraverso l'insieme che vi faceva affidamento, invece di fermarsi al primo record che capita di guardare. È questo che trasforma un mucchio di risultati accettati in qualcosa a cui puoi fare una domanda.","open-source-aion.7dc6226fd7":"Metti le informazioni di instradamento dentro il payload e ogni nuova famiglia di certificati diventa una nuova integrazione per tutti a valle. Tienile fuori e il livello di archiviazione, il tracker di compatibilità, la coda di riverifica e il registro di audit vengono scritti una volta sola e funzionano per famiglie che non esistevano quando sono stati costruiti.","open-source-aion.48eb1ab2b4":"Perché la separazione ripaga","open-source-aion.419ad6edc1":"Un certificato di compilazione e una prova di clausola non hanno nulla in comune all'interno, e arrivano nella stessa busta. Otto campi: l'affermazione, gli input su cui è stata fatta, il produttore, la versione del contratto, il tipo di certificato, il payload del certificato, le dipendenze e la firma. Tutto ciò che è specifico della famiglia sta dentro il payload, e tutto ciò che un verificatore deve instradare, versionare e registrare sta fuori.","open-source-aion.03a195fded":"e otto campi dentro","open-source-aion.9895a4db76":"Ogni famiglia, una busta","open-source-aion.33164fb254":"La busta comune","open-source-aion.315fae6edd":"Otto tipi di sistema, otto tipi di affermazione e una busta in cui viaggiano tutti","open-source-aion.661f13bc63":"CONTROLLATO","open-source-aion.ea0dae37f4":"UN CERTIFICATO","open-source-aion.f07b84d4d2":"UN'AFFERMAZIONE","open-source-aion.1edfca7587":"AION è quel secondo programma. Prende un certificato prodotto da un estraneo, ricostruisce ciò che afferma e, dove un'affermazione non si ricostruisce, nomina l'elemento, nomina la regola e si ferma lì. Un rifiuto che indica la riga 40 è una cosa che una singola parola non potrà mai essere.","open-source-aion.4428102723":"I metodi formali hanno scelto questa disposizione decenni fa per un motivo. Il produttore scrive il proprio lavoro, e un secondo programma, molto più piccolo, rilegge quel lavoro. Il secondo programma è quello che vale la pena costruire con cura, perché è abbastanza piccolo da essere compreso dall'inizio alla fine. Ciò che AION fa è portare questa disposizione fuori dal mondo dei solver e renderla il contratto per tutto il resto: ragionamento, operazioni degli agenti, compilazione, esecuzione, simulazione.","open-source-aion.51edeceac1":"unsat. compilato. completato. sicuro. ottimale. policy superata. simulazione convergente. flusso di lavoro approvato. Otto sistemi, otto parole, e nessuna di esse porta con sé il motivo per cui è vera. Il calcolo con prova è l'alternativa: il produttore mantiene il lavoro costoso ed emette un certificato accanto al risultato, e qualcosa che non ha interesse nella risposta controlla quel certificato.","open-source-aion.d3571e9e01":"finché qualcuno non lo rifà","open-source-aion.03d9c22d95":"Un risultato è solo un'affermazione","open-source-aion.dfc28595b4":"Perché esiste una seconda lettura","open-source-aion.3c6178c9cd":"A chi appartiene il report","open-source-aion.42c21bbe27":"Cosa stabilisce un caso","open-source-aion.4d05bcfcbf":"Cosa ti permette di fare un rifiuto","open-source-aion.4c0a0d8ef3":"Le due vie d'uscita solite","open-source-aion.e097afe170":"Cosa segue dal mantenerlo","open-source-aion.c9681d6875":"Cosa fa realmente","open-source-aion.1ee58a7b8d":"Da dove viene la disposizione","open-source-aion.eec3b038bd":"attribuzione","open-source-aion.65279e1ecf":"verifica","oss-aion-adoption-paths.733a87e5fb":"Testa un percorso decisionale","oss-aion-adoption-paths.34dfd13db9":"Esegui un certificato di esempio prima di integrare AION in un percorso decisionale reale.","oss-aion-adoption-paths.3f1d1c0d24":"Ispeziona il certificato di esempio incluso.","oss-aion-adoption-paths.a5339faf54":"Esegui le prove di esempio incluse come controllo.","oss-aion-adoption-paths.b38db2875a":"Controlla lo stesso certificato con aion check e un verificatore compatibile indipendente.","oss-aion-adoption-paths.0e42c62826":"Il tuo team di valutazione","oss-aion-adoption-paths.ca15f8db66":"Integralo in un sistema","oss-aion-adoption-paths.e8219f1ea8":"Il tuo team software esistente collega la libreria in modo che i sistemi che già utilizzi possano consegnare un certificato con ogni decisione.","oss-aion-adoption-paths.91e2e7e34b":"I tuoi ingegneri aggiungono AION a un sistema che già gestisci.","oss-aion-adoption-paths.96e8012ed9":"Ogni decisione porta quindi con sé un certificato verificabile.","oss-aion-adoption-paths.6e56d00bc7":"Nessun nuovo fornitore si inserisce nel percorso di quella decisione.","oss-aion-adoption-paths.b0e0c85d36":"Il tuo team di ingegneria","oss-aion-adoption-paths.4637a51566":"Usalo in fase di audit","oss-aion-adoption-paths.03b3d20015":"Un certificato prodotto in precedenza può essere ricontrollato in qualsiasi momento con lo strumento da riga di comando, sul tuo hardware, offline.","oss-aion-adoption-paths.8b6e7ae424":"Conserva il certificato prodotto quando è stata presa la decisione.","oss-aion-adoption-paths.ab48bfd890":"Ricontrollalo in seguito con lo strumento da riga di comando, offline.","oss-aion-adoption-paths.6fe516ffcf":"Consegna lo stesso record a un regolatore o a un revisore.","oss-aion-adoption-paths.4e64c95d9e":"Il tuo team di conformità","oss-aion-adoption-paths.6b5eb5323e":"Inizia con un percorso decisionale","oss-aion-adoption-paths.1635f113ec":"Tre modi per adottarlo","oss-aion-adoption-paths.5eef32f959":"Chi lo esegue","oss-aion-adoption-paths.29a9e7fa74":"Il certificato è identico qualunque percorso tu scelga.","oss-aion-adoption-paths.3e4f1a5e1b":"Una libreria, uno strumento da riga di comando","oss-aion-adoption-paths.tag.d59fec26d9":"Prima dell'integrazione","oss-aion-adoption-paths.tag.391b31405f":"Per i tuoi ingegneri","oss-aion-adoption-paths.tag.6fd7b4f249":"Per la conformità","oss-aion-archive-parts.cea57012da":"non compresso oltre la lettura","oss-aion-archive-parts.10f2f8d11a":"compresso per lo scaffale","oss-aion-archive-parts.0468a5b797":"ARCHIVIO","oss-aion-archive-parts.bce5035461":"e un campo che li sopravvive","oss-aion-archive-parts.bd678f55fe":"Quattro mosse su un certificato","oss-aion-archive-parts.44e396b17f":"Quale verificatore lo ha accettato, con quale versione del contratto.","oss-aion-archive-parts.5348eece0f":"Verificatore e contratto conservati","oss-aion-archive-parts.53229277ab":"Sottoprove identiche memorizzate una volta e citate in seguito tramite hash.","oss-aion-archive-parts.0f6513214f":"Sottoprove sottoposte a hash","oss-aion-archive-parts.76a7786a63":"Un motivo ripetuto memorizzato una volta, con la lunghezza per cui si ripete.","oss-aion-archive-parts.9e1a0f7aac":"Ripetizioni compresse","oss-aion-archive-parts.d6f5880b44":"Ogni identificatore memorizzato come distanza dall'ultimo.","oss-aion-archive-parts.6b78716e70":"Identificatori come intervalli","oss-aion-archived-proof.5808299e06":"guardato in alto, non spazzato via","oss-aion-archived-proof.39241dfc0d":"Il resto è rimasto chiuso, perché l'indice sapeva già che non erano interessati.","oss-aion-archived-proof.d84b2eb85d":"Nove dipendenze dichiarate, due schede estratte, cinque certificati nominati.","oss-aion-archived-proof.c9269e3e61":"sette schede sono rimaste chiuse","oss-aion-archived-proof.6f13975269":"ancora compatibile","oss-aion-archived-proof.8ec798a819":"regola r7","oss-aion-archived-proof.4b50837e2e":"in coda per essere riletto","oss-aion-archived-proof.2a858a12ec":"regola r7 sostituita nel verificatore 2.5.0","oss-aion-archived-proof.0b58a007b4":"avviso di modifica","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"stesso certificato","oss-aion-archived-proof.4b37dd07e6":"come archiviato","oss-aion-archived-proof.39c9f8bf3a":"due sotto-prove, una forma","oss-aion-archived-proof.8c28e2d0a9":"un blocco, conservato una volta","oss-aion-archived-proof.e75bd8054c":"identificatori come lacune","oss-aion-archived-proof.9bfe0da4af":"un file lungo","oss-aion-archived-proof.46dc2748fa":"come prodotto","oss-aion-archived-proof.b6a0714797":"identificatori illustrativi","oss-aion-archived-proof.16bb6017da":"due su cinque in coda","oss-aion-archived-proof.884fa4a4de":"Un certificato, due volte","oss-aion-archived-proof.11ed0e1dd4":"politica p9","oss-aion-archived-proof.1f776189b1":"schema 2","oss-aion-archived-proof.ec690c70cd":"certificato d20c9b","oss-aion-archived-proof.a96a7e2f89":"certificato 1a55f0","oss-aion-archived-proof.b504f66e53":"modello m1","oss-aion-archived-proof.fd6c33ce54":"contratto di runtime 3.1","oss-aion-archived-proof.ff651ff51f":"regola del compilatore c1","oss-aion-archived-proof.d00ec63b0b":"certificato b4e187","oss-aion-archived-proof.e20acd4672":"certificato 3c90de","oss-aion-archived-proof.6d50cc6c2e":"certificato 7f21ab","oss-aion-archived-proof.5dd9b11122":"politica p2","oss-aion-archived-proof.70d70366cf":"schema 4","oss-aion-archived-proof.d61ceadbdb":"contratto","oss-aion-archived-proof.e15436a2bb":"verificatore","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Perché la mia richiesta è stata rifiutata da una macchina?","oss-aion-asked-questions.answer.refused":"AION mostra il punto esatto in cui il controllo si è fermato e il motivo, invece di una parola inspiegabile.","oss-aion-asked-questions.question.check":"Posso verificare io stesso una decisione automatizzata?","oss-aion-asked-questions.answer.check":"Sì. AION ripete ogni passaggio, sulla macchina su cui ti trovi, senza account e senza inviare nulla.","oss-aion-asked-questions.question.sent":"Le mie informazioni vengono inviate da qualche parte?","oss-aion-asked-questions.answer.sent":"No. La build predefinita non ha nulla con cui inviarle. Il lavoro avviene dove ti trovi già.","oss-aion-asked-questions.chrome.path":"Domande che un rifiuto solleva davvero","oss-aion-asked-questions.chrome.status":"risposte apertamente","oss-aion-asked-questions.readout":"Queste sono le tre domande a cui questa pagina è pensata per rispondere, apertamente, senza account e senza inviare nulla.","oss-aion-asked-questions.band":"Chiesto una volta, risposto apertamente","oss-aion-asked-you.ef80b73d6b":"invece di una sorpresa più avanti","oss-aion-asked-you.7e066a9db0":"una domanda ora","oss-aion-asked-you.fb041ecc2d":"Attende","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"e cosa succede dopo","oss-aion-asked-you.fb5efec5ec":"Cosa chiede","oss-aion-asked-you.ed223cb507":"Con la tua frase dentro, invece di un modulo da compilare.","oss-aion-asked-you.47ba586268":"Pone una domanda","oss-aion-asked-you.16bb2c320d":"In parole semplici, non come una scelta tra simboli.","oss-aion-asked-you.590f0368a8":"Espone entrambe le letture","oss-aion-asked-you.c0fedb51ee":"La parte della tua frase di cui non è sicuro, con le tue parole.","oss-aion-asked-you.945cd96360":"Riporta le parole","oss-aion-asymmetry.109e612009":"le prove viaggiano","oss-aion-asymmetry.54086b1730":"il lavoro resta al produttore","oss-aion-asymmetry.77e82797f7":"ASIMMETRIA","oss-aion-asymmetry.7f5d144dcb":"per produttore","oss-aion-asymmetry.d1abed327f":"Cosa non viene riprodotto","oss-aion-asymmetry.816e835f60":"Autorità, transizioni, approvazioni, ricevute.","oss-aion-asymmetry.4f83e60cbc":"Molti agenti, che coordinano.","oss-aion-asymmetry.d946c1fc52":"Sistema di agenti","oss-aion-asymmetry.d978ba491a":"Checkpoint, transizioni e invarianti.","oss-aion-asymmetry.b081bda78f":"Milioni di passaggi di integrazione.","oss-aion-asymmetry.8e34943c35":"Simulazione","oss-aion-asymmetry.db98a95880":"Le rivendicazioni di conservazione attraverso di essi.","oss-aion-asymmetry.ce4dee4e4f":"Centinaia di passaggi e le loro euristiche.","oss-aion-asymmetry.341a20e237":"Compilatore","oss-aion-asymmetry.d50aca2923":"Una derivazione seguita riga per riga.","oss-aion-asymmetry.c0644e2b00":"Una ricerca su uno spazio che nessuno enumera.","oss-aion-asymmetry.2212b12df6":"Risolutore","oss-aion-audit-flow.0d368d5958":"Una decisione viene presa","oss-aion-audit-flow.723d4b8215":"Un'IA arriva a una risposta nel tuo sistema.","oss-aion-audit-flow.60616f24a0":"Un certificato viene conservato","oss-aion-audit-flow.319012d052":"Il ragionamento viene registrato come documento portabile.","oss-aion-audit-flow.b6e0507002":"Viene ricontrollato","oss-aion-audit-flow.060bdf8393":"Chiunque riesegue il controllo offline, sulla propria macchina.","oss-aion-audit-flow.549ee9a7f2":"Il revisore lo accetta","oss-aion-audit-flow.45d8142b03":"Prove che verificano, non promesse da prendere per buone.","oss-aion-audit-flow.29a5795456":"Inoltri i log e speri che vengano accettati.","oss-aion-audit-flow.691576c10d":"Consegni un certificato che il revisore controlla da sé.","oss-aion-audit-flow.4f25ce109b":"La spiegazione è vincolata a un unico fornitore.","oss-aion-audit-flow.17092b76ad":"I formati di prova standard mantengono il certificato verificabile oltre il fornitore e l'ambiente di esecuzione originali.","oss-aion-audit-flow.4cb1b63499":"Il documento viene ricontrollato su infrastrutture che non controlli.","oss-aion-audit-flow.c0baf00a21":"Il documento viene ricontrollato offline, su hardware che controlli.","oss-aion-audit-flow.1574ac4dc4":"Dalla decisione alla prova accettata","oss-aion-audit-flow.0fc25779d4":"Senza prova verificabile","oss-aion-audit-flow.4b32d8f574":"Con AION","oss-aion-audit-flow.effbb773a5":"Al momento della verifica produci prove, non assicurazioni.","oss-aion-audit-flow.630840198f":"Verifica indipendente","oss-aion-broken-case.b2d44d537d":"due lavori","oss-aion-broken-case.21a5e37384":"Dice davvero che ora qualcuno deve sceglierne uno.","oss-aion-broken-case.446dd52366":"Il caso non dice in quale di questi due ti trovi.","oss-aion-broken-case.1592f95dfc":"chi possiede la specifica","oss-aion-broken-case.5350b811e8":"Tutti lo sapevano e nessuno lo ha mai scritto, ed è per questo che il caso era\n              disponibile per essere trovato. Quindi il lavoro è scrivere il vincolo mancante.","oss-aion-broken-case.7e1ad0c117":"un nuovo tentativo non può avvenire con saldo zero qui","oss-aion-broken-case.e2acc6be4b":"può succedere qui?","oss-aion-broken-case.70cf0e9d6e":"il team che lo gestisce","oss-aion-broken-case.f4418abec4":"Quindi la regola è giusta e il sistema è sbagliato. Il lavoro è una modifica al sistema.","oss-aion-broken-case.7ebf5ee2c1":"nuovi tentativi a tre con saldo zero è un lunedì ordinario","oss-aion-broken-case.818db6fde5":"la modalità batch consente al massimo due nuovi tentativi","oss-aion-broken-case.9ad82bcd1a":"nessun nuovo tentativo mentre il saldo è zero","oss-aion-broken-case.db09c40b94":"condizioni che viola","oss-aion-broken-case.1a01155586":"La specifica non regge. Ecco una situazione in cui non regge, scritta\n            per esteso.","oss-aion-broken-case.bb5f480b82":"il caso, così come torna indietro","oss-aion-broken-case.8ba48b3c8c":"caso illustrativo","oss-aion-broken-case.2a0ea29615":"un caso, due proprietari","oss-aion-broken-case.0efd66fc70":"Il caso che l'ha rotto","oss-aion-broken-case.fd12863535":"no","oss-aion-broken-case.fb360f9c09":"sì","oss-aion-broken-case.e7aef2e893":"la modalità è batch (tipo: testo)","oss-aion-broken-case.dcfad8c5bf":"il saldo è 0 (tipo: intero)","oss-aion-broken-case.bbf98b54e9":"i nuovi tentativi sono 3 (tipo: intero)","oss-aion-business-glyph.9c8c22f54d":"Progettato per essere verificabile","oss-aion-business-glyph.afd7103781":"La tua infrastruttura","oss-aion-business-glyph.ea722c81af":"Europeo","oss-aion-business-glyph.870c4d024a":"Formati portabili","oss-aion-business-glyph.81c093497b":"Chiuso dal certificato","oss-aion-business-glyph.862ee3b17a":"Esposizione","oss-aion-business-glyph.6b5eb5323e":"Prova allegata","oss-aion-business-glyph.b7a3f27883":"Rischio eliminato","oss-aion-business-glyph.7ba75e0ac6":"Controllo del certificato anni dopo","oss-aion-business-glyph.9f89ecaff5":"La sessione originale non c'è più","oss-aion-business-glyph.33620369b5":"L'archivio","oss-aion-business-glyph.7a71b6b89e":"Su hardware che controlli tu","oss-aion-business-glyph.e94a6d4bba":"Spiegato su hardware di altri","oss-aion-business-glyph.3eaad00bc0":"I dati","oss-aion-business-glyph.e20fee7c23":"Verificatore separato","oss-aion-business-glyph.9e3ee5bddf":"Modello originale ancora richiesto","oss-aion-business-glyph.5cb182685f":"Il verificatore","oss-aion-business-glyph.c5d37b3ae0":"Un certificato che il revisore controlla","oss-aion-business-glyph.6c4186cc8c":"Log che speri vengano accettati","oss-aion-business-glyph.d51b35c242":"La revisione","oss-aion-cadence-banners.independent.eyebrow":"AION / verifica indipendente","oss-aion-cadence-banners.independent.lead":"Fidati della busta","oss-aion-cadence-banners.independent.accent":"dopo che un altro verificatore la accetta","oss-aion-cadence-banners.independent.body.one":"Un certificato è utile perché il verificatore non ha bisogno dell'ambiente di esecuzione del produttore. Riceve la regola dichiarata, gli input, il risultato e le prove come un'unica busta delimitata.","oss-aion-cadence-banners.independent.body.two":"La seconda implementazione controlla quelle prove rispetto allo stesso contratto. L'accordo è quindi una prova sul risultato, non una riesecuzione dello stesso percorso di codice.","oss-aion-cadence-banners.independent.panel":"Registro di accettazione indipendente","oss-aion-cadence-banners.independent.tag":"CONTROLLATO SEPARATAMENTE","oss-aion-cadence-banners.independent.item.rule.label":"Regola dichiarata","oss-aion-cadence-banners.independent.item.rule.detail":"Il requisito e la famiglia di certificati sono nominati.","oss-aion-cadence-banners.independent.item.rule.status":"PRESENTE","oss-aion-cadence-banners.independent.item.input.label":"Input vincolati","oss-aion-cadence-banners.independent.item.input.detail":"I valori usati dalla decisione viaggiano con essa.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Risultato dichiarato","oss-aion-cadence-banners.independent.item.result.detail":"L'esito è dichiarato prima che inizi la verifica.","oss-aion-cadence-banners.independent.item.result.status":"DICHIARATO","oss-aion-cadence-banners.independent.item.verifier.label":"Verificatore separato","oss-aion-cadence-banners.independent.item.verifier.detail":"Un'implementazione diversa controlla la stessa busta.","oss-aion-cadence-banners.independent.item.verifier.status":"ACCETTATO","oss-aion-cadence-banners.independent.verdict":"le prove sopravvivono al di fuori del sistema che le ha prodotte","oss-aion-cadence-banners.independent.footer":"la verifica attraversa un confine di implementazione senza perdere il contratto","oss-aion-cadence-banners.refusal.eyebrow":"AION / contratto di fallimento","oss-aion-cadence-banners.refusal.lead":"Una prova fallita","oss-aion-cadence-banners.refusal.accent":"deve nominare la regola che non ha potuto soddisfare","oss-aion-cadence-banners.refusal.body.one":"Il controllo esatto non è un involucro vago di superato/non superato. Il verificatore segue la conversione dichiarata, l'aritmetica e i gate logici in ordine, poi si ferma alla prima condizione non valida.","oss-aion-cadence-banners.refusal.body.two":"Questo rifiuto appartiene alle prove. Dice al chiamante quale presupposto, scala, termine o guardia è fallito prima che qualsiasi passaggio successivo potesse nascondere la causa.","oss-aion-cadence-banners.refusal.panel":"Primo gate fallito","oss-aion-cadence-banners.refusal.tag":"RIFIUTATO","oss-aion-cadence-banners.refusal.item.read.label":"Leggi i valori dichiarati","oss-aion-cadence-banners.refusal.item.read.detail":"Gli input e l'identità della regola sono fissati prima del controllo.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Applica la conversione dichiarata","oss-aion-cadence-banners.refusal.item.scale.detail":"Nessun fallback silenzioso cambia il contratto aritmetico.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Valuta ogni gate in ordine","oss-aion-cadence-banners.refusal.item.check.detail":"La prima condizione non valida rimane attribuibile.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Restituisci il rifiuto nominato","oss-aion-cadence-banners.refusal.item.refuse.detail":"Il chiamante riceve la regola fallita e le sue prove.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"un rifiuto è una prova revisionabile, non un errore vuoto","oss-aion-cadence-banners.refusal.footer":"la prima condizione fallita rimane visibile al revisore successivo","oss-aion-cadence-banners.certificates.eyebrow":"AION / catena di certificati","oss-aion-cadence-banners.certificates.lead":"Una decisione","oss-aion-cadence-banners.certificates.accent":"può portare diversi tipi di prova","oss-aion-cadence-banners.certificates.body.one":"Il ragionamento, l'autorità organizzativa, la compilazione e l'esecuzione rispondono a domande diverse. Trattarli come un'unica garanzia generica nasconderebbe dove un'affermazione è forte e dove è ancora necessario un altro controllo.","oss-aion-cadence-banners.certificates.body.two":"AION mantiene i certificati distinti e li collega allo stesso registro di decisione. Un revisore può seguire la catena senza confondere l'autorità con l'aritmetica o un'esecuzione riuscita con una regola approvata.","oss-aion-cadence-banners.certificates.panel":"Percorso delle prove della decisione","oss-aion-cadence-banners.certificates.tag":"COLLEGATO","oss-aion-cadence-banners.certificates.item.reasoning.label":"Certificato di ragionamento","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Mostra perché la conclusione dichiarata segue.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Certificato di autorità","oss-aion-cadence-banners.certificates.item.organisation.detail":"Nomina chi può approvare o eseguire l'azione.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORITÀ","oss-aion-cadence-banners.certificates.item.compile.label":"Certificato di compilazione","oss-aion-cadence-banners.certificates.item.compile.detail":"Vincola sorgente, trasformazione e artefatto prodotto.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Certificato di esecuzione","oss-aion-cadence-banners.certificates.item.execution.detail":"Registra cosa è stato eseguito, dove e con quali input.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"ogni affermazione mantiene la famiglia di certificati che può effettivamente supportarla","oss-aion-cadence-banners.certificates.footer":"le prove collegate rimangono abbastanza specifiche da poter essere contestate","oss-aion-cadence-banners.recheck.eyebrow":"AION / un risultato che puoi rivedere","oss-aion-cadence-banners.recheck.lead":"La stessa regola","oss-aion-cadence-banners.recheck.accent":"può essere controllata di nuovo in seguito","oss-aion-cadence-banners.recheck.body.one":"La frase, il significato scelto e il limite di tempo rimangono collegati al risultato. Puoi vedere cosa è stato deciso e per quanto tempo la decisione rimane valida senza inviare il materiale altrove.","oss-aion-cadence-banners.recheck.body.two":"Quando la regola o la data cambiano, il registro identifica cosa richiede un altro controllo. La risposta precedente rimane visibile invece di essere sostituita silenziosamente.","oss-aion-cadence-banners.recheck.panel":"Cosa segue alla verifica","oss-aion-cadence-banners.recheck.tag":"RIPETIBILE","oss-aion-cadence-banners.recheck.item.sentence.label":"La tua frase originale","oss-aion-cadence-banners.recheck.item.sentence.detail":"La formulazione resta accanto all'interpretazione.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Il significato scelto","oss-aion-cadence-banners.recheck.item.rule.detail":"La regola applicata è scritta in modo chiaro.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"La data di validità","oss-aion-cadence-banners.recheck.item.deadline.detail":"Il tempo rimanente è visibile prima della scadenza del risultato.","oss-aion-cadence-banners.recheck.item.deadline.status":"VISIBILE","oss-aion-cadence-banners.recheck.item.result.label":"Un nuovo controllo","oss-aion-cadence-banners.recheck.item.result.detail":"Le stesse prove possono essere valutate di nuovo.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"puoi rivedere la risposta senza perdere il motivo che c'è dietro","oss-aion-cadence-banners.recheck.footer":"il record mantiene insieme parole, regola e data","oss-aion-cadence-banners.supplier.eyebrow":"AION / prove del fornitore","oss-aion-cadence-banners.supplier.lead":"Una risposta del fornitore","oss-aion-cadence-banners.supplier.accent":"dovrebbe arrivare con qualcosa che puoi verificare","oss-aion-cadence-banners.supplier.body.one":"Un certificato separa il risultato dallo strumento del fornitore. Indica cosa è stato controllato, quale famiglia di prove si applica e quali input e artefatti appartengono alla dichiarazione.","oss-aion-cadence-banners.supplier.body.two":"Il tuo team può conservare quelle prove e usare un altro verificatore. La revisione non dipende più dall'accesso al servizio originale o dal chiedere al fornitore di ricreare l'esecuzione.","oss-aion-cadence-banners.supplier.panel":"Prove ricevute con il risultato","oss-aion-cadence-banners.supplier.tag":"PORTABILE","oss-aion-cadence-banners.supplier.item.claim.label":"Dichiarazione del fornitore","oss-aion-cadence-banners.supplier.item.claim.detail":"Il risultato e il suo ambito sono dichiarati esplicitamente.","oss-aion-cadence-banners.supplier.item.claim.status":"RICEVUTO","oss-aion-cadence-banners.supplier.item.certificate.label":"Busta del certificato","oss-aion-cadence-banners.supplier.item.certificate.detail":"Prove e identificatori viaggiano con la dichiarazione.","oss-aion-cadence-banners.supplier.item.certificate.status":"ALLEGATO","oss-aion-cadence-banners.supplier.item.coverage.label":"Dichiarazione di copertura","oss-aion-cadence-banners.supplier.item.coverage.detail":"La famiglia di certificati indica cosa può stabilire.","oss-aion-cadence-banners.supplier.item.coverage.status":"CON AMBITO","oss-aion-cadence-banners.supplier.item.checker.label":"Verificatore indipendente","oss-aion-cadence-banners.supplier.item.checker.detail":"La tua parte verifica le prove senza il produttore.","oss-aion-cadence-banners.supplier.item.checker.status":"DISPONIBILE","oss-aion-cadence-banners.supplier.verdict":"le prove restano utili dopo la fine dell'esecuzione del fornitore","oss-aion-cadence-banners.supplier.footer":"un risultato verificabile è più facile da conservare, confrontare e contestare","oss-aion-cadence-banners.boundary.eyebrow":"AION / revisione controllata","oss-aion-cadence-banners.boundary.lead":"La revisione resta all'interno","oss-aion-cadence-banners.boundary.accent":"del confine stabilito dalla tua organizzazione","oss-aion-cadence-banners.boundary.body.one":"Il caso, la regola e il certificato possono essere controllati dove già si trovano. La verifica locale evita di trasformare una revisione in un'altra via di divulgazione per il materiale in esame.","oss-aion-cadence-banners.boundary.body.two":"Il record nomina comunque la proprietà stabilita e le prove usate. Mantenere i dati in sede non significa rinunciare a una traccia di audit attribuibile.","oss-aion-cadence-banners.boundary.panel":"Percorso di revisione in sede","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Apri il caso conservato","oss-aion-cadence-banners.boundary.item.case.detail":"Il materiale sorgente resta nel suo ambiente esistente.","oss-aion-cadence-banners.boundary.item.case.status":"IN SEDE","oss-aion-cadence-banners.boundary.item.property.label":"Seleziona la dichiarazione da controllare","oss-aion-cadence-banners.boundary.item.property.detail":"L'ambito del certificato resta esplicito.","oss-aion-cadence-banners.boundary.item.property.status":"CON AMBITO","oss-aion-cadence-banners.boundary.item.perimeter.label":"Esegui all'interno del perimetro","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Nessun servizio in uscita è richiesto per la verifica.","oss-aion-cadence-banners.boundary.item.perimeter.status":"CONTENUTO","oss-aion-cadence-banners.boundary.item.record.label":"Conserva il record di revisione","oss-aion-cadence-banners.boundary.item.record.detail":"Input, verificatore ed esito restano attribuibili.","oss-aion-cadence-banners.boundary.item.record.status":"REGISTRATO","oss-aion-cadence-banners.boundary.verdict":"le prove possono essere controllate senza creare un nuovo trasferimento di dati","oss-aion-cadence-banners.boundary.footer":"l'esecuzione locale e le prove revisionabili appartengono allo stesso controllo","oss-aion-case-fields.ce69e76708":"un caso avvia una decisione","oss-aion-case-fields.9a83c048c3":"un verdetto conclude un controllo","oss-aion-case-fields.afc58d4c40":"il primo a fallire, per nome","oss-aion-case-fields.3bc6a69e80":"il saldo deve superare zero prima di un nuovo tentativo","oss-aion-case-fields.4e0285b28b":"condizione non rispettata","oss-aion-case-fields.4e0af55321":"CONTROESEMPIO","oss-aion-case-fields.344daefb37":"Un caso, per intero","oss-aion-case-fields.62e0ec394a":"i valori e il tipo di ciascuno","oss-aion-case-fields.7f01fe787c":"lotto","oss-aion-checked-not-rerun.dd5b6cbe2b":"un merge, un'assenza","oss-aion-checked-not-rerun.846a719bdc":"L'ultima riga non ha controparte a nessun prezzo.","oss-aion-checked-not-rerun.6c26a05ac4":"Cinque dei sette vanno e due di loro si fondono.","oss-aion-checked-not-rerun.4f01efffc8":"letto da qualcuno che non ha mai tenuto il loro software","oss-aion-checked-not-rerun.a70205a694":"confrontato con quello del prossimo trimestre","oss-aion-checked-not-rerun.0d85e26645":"archiviato con la decisione che supportava","oss-aion-checked-not-rerun.ffc7dbc2ad":"ciò che tieni dopo","oss-aion-checked-not-rerun.d6124c1aee":"niente a sinistra produce questo","oss-aion-checked-not-rerun.9b9252883d":"il certificato stesso","oss-aion-checked-not-rerun.0bfa7a3bd8":"gli input dichiarati e il contratto","oss-aion-checked-not-rerun.d7f7f555ad":"l'affermazione","oss-aion-checked-not-rerun.527c7f544a":"tre cose","oss-aion-checked-not-rerun.f8a34d2942":"per verificare il loro certificato","oss-aion-checked-not-rerun.2a20acacc2":"sette cose","oss-aion-checked-not-rerun.a94f90b8e9":"per riprodurre il loro sistema","oss-aion-checked-not-rerun.d2eae1af1f":"stessa garanzia, due percorsi","oss-aion-checked-not-rerun.87f754c087":"cinque colpiti, uno assente","oss-aion-checked-not-rerun.2a62bb8028":"ciò che ogni percorso richiede","oss-aion-checked-not-rerun.35d7d25591":"se regge ancora dopo il cambiamento","oss-aion-checked-not-rerun.6cd8ba818d":"su quali dati","oss-aion-checked-not-rerun.96f39a5e7d":"contro quale versione del set di regole","oss-aion-checked-not-rerun.c8d59ae061":"quali condizioni sono state verificate","oss-aion-checked-not-rerun.b028b89ea7":"il loro supporto","oss-aion-checked-not-rerun.c03c2fce6e":"una macchina di dimensioni adeguate","oss-aion-checked-not-rerun.867d12b7ad":"i dati di input","oss-aion-checked-not-rerun.717e42eb01":"il loro file di configurazione","oss-aion-checked-not-rerun.935b145c44":"un sistema operativo compatibile","oss-aion-checked-not-rerun.fa15ad3da2":"la versione esatta che hanno usato","oss-aion-checked-not-rerun.5990a1ec89":"una licenza per il loro software","oss-aion-compile-cert.b1991b0d44":"quindi un rifiuto indica uno","oss-aion-compile-cert.85edd85611":"le rivendicazioni sono nominate singolarmente","oss-aion-compile-cert.6e8814b9a0":"Ciò che è uscito, per indirizzo di contenuto, legato a tutto quanto sopra.","oss-aion-compile-cert.a41732e051":"Identità dell'artefatto","oss-aion-compile-cert.6d4151d7a5":"Ciò che è entrato, per indirizzo di contenuto piuttosto che per nome file.","oss-aion-compile-cert.7204133281":"Identità della fonte o del grafo","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"e ciò che rivendica su ciascuno","oss-aion-compile-cert.0bcab6c465":"Ciò che il certificato nomina","oss-aion-compile-cert.027f7ee7d1":"Quali proprietà questo certificato stabilisce su di essi.","oss-aion-compile-cert.8906f98ae0":"Conservazione dichiarata","oss-aion-compile-cert.d186ea41e2":"Le passate applicate, nell'ordine in cui sono state applicate.","oss-aion-compile-cert.66ad6a206e":"Sequenza di trasformazione","oss-aion-compile-cert.ebb0c953d1":"Quale build, con quale configurazione di ottimizzazione.","oss-aion-compile-cert.691f87f640":"Compilatore e ottimizzazione","oss-aion-console.5d71265e50":"Controlla un certificato di prova. Nessun solver, nessuna rete.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Verifica della prova: proof.alethe","oss-aion-console.1016f1bcf3":"Formato: Alethe","oss-aion-console.70142f344c":"Analisi: OK","oss-aion-console.8455c5ceeb":"La prova ha N passaggi","oss-aion-console.fc539fcf62":"Verifica della prova: SUPERATA","oss-aion-console.88f6db402f":"Tempo di verifica: Nms","oss-aion-console.4f437cea65":"Il tuo checker l'ha confermato. Uscita 0. Nulla è stato inviato all'esterno.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Leggi il certificato","oss-aion-console.0cef7497bf":"Il checker apre il file di prova che ti è stato consegnato. Non serve altro: niente pesi del modello, niente login del fornitore, niente internet.","oss-aion-console.830903eaf6":"Esamina ogni passaggio","oss-aion-console.6ce1fb843f":"Ogni deduzione viene riprodotta rispetto alle premesse che cita. LRAT include suggerimenti di propagazione unitaria, quindi l'esame è lineare rispetto alla lunghezza della prova.","oss-aion-console.1044fbcb06":"Accetta o rifiuta","oss-aion-console.cb4e501f7a":"Se ogni passaggio è valido, il checker stampa SUPERATA ed esce con 0. Se un passaggio non lo è, indica il guasto ed esce con un codice diverso da zero. Non c'è via di mezzo.","oss-aion-console.b568d47f2e":"Input","oss-aion-console.df73f614f5":"Un file di prova","oss-aion-console.0562f32dc5":"Dipendenze","oss-aion-console.7334b0e2cf":"Nessuna al momento della verifica","oss-aion-console.64ae43e8fe":"Costo","oss-aion-console.660020f41a":"Lineare rispetto alla lunghezza della prova","oss-aion-console.5faa59d4bc":"Risultato","oss-aion-console.de76d16078":"SUPERATA o guasto indicato","oss-aion-console.76d6562c0a":"La verifica","oss-aion-console.edabf74eb3":"Un comando legge la prova e la","oss-aion-console.d161c0634a":"accetta o rifiuta","oss-aion-console.a997e63df7":"Il verificatore è indipendente dal solver. Consegna un certificato e il tuo checker\n          lo conferma o lo rifiuta, offline, senza accesso al motore che lo ha prodotto.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"checker offline","oss-aion-console.6b5eb5323e":"Checker indipendente","oss-aion-console.165cb4a2fd":"N passaggi e Nms sono segnaposto: i valori reali provengono dalla prova che verifichi, non\n              da noi. La superficie dei comandi è reale, aion check analizza, esamina e riporta SUPERATA.","oss-aion-console.b8fae1a1a1":"AION / verifica della prova","oss-aion-consumer-glyph.dccc2b6aff":"Nessuna connessione Internet necessaria","oss-aion-consumer-glyph.22c2234e11":"Prodotto in Europa","oss-aion-consumer-glyph.75f527181b":"Verificabile in seguito","oss-aion-consumer-glyph.94651c6eb5":"Un secondo assistente lo verifica","oss-aion-consumer-glyph.b9fefb3f5b":"Sembra corretto","oss-aion-consumer-glyph.fb447dd18d":"La tua ricevuta","oss-aion-consumer-glyph.49a8e53c77":"La macchina risponde","oss-aion-consumer-glyph.f5ad0f0059":"Sì, ed ecco perché","oss-aion-consumer-glyph.7011b1a621":"La risposta","oss-aion-consumer-glyph.07d0cfac8b":"Passo dopo passo, per iscritto","oss-aion-consumer-glyph.5bcd26af49":"Come è stato raggiunto","oss-aion-consumer-glyph.8afc953f7f":"È adatto a me?","oss-aion-consumer-glyph.d79cce547d":"La domanda","oss-aion-coverage-join.fa5284c04d":"breve è breve","oss-aion-coverage-join.d04fa188df":"Quattordici non è nemmeno lontanamente tutto, quindi l'unione viene rifiutata anziché arrotondata per eccesso.","oss-aion-coverage-join.0b67159da5":"Sedici celle contabilizzate e il risultato composto viene accettato.","oss-aion-coverage-join.7142d70e45":"composizione rifiutata, copertura insufficiente","oss-aion-coverage-join.245fbeffee":"non un errore di arrotondamento. Una regione che nessuno ha guardato.","oss-aion-coverage-join.1df8f3c0e7":"14 su 16","oss-aion-coverage-join.1c1d6ac8f1":"due celle che nessuno ha guardato","oss-aion-coverage-join.f0833f7fc6":"la stessa unione, un cubo mancante","oss-aion-coverage-join.db8d5bf534":"composizione accettata","oss-aion-coverage-join.558480e414":"16 su 16","oss-aion-coverage-join.26f1b36edc":"ogni cella contabilizzata","oss-aion-coverage-join.39cd7fa9c4":"quattro cubi","oss-aion-coverage-join.bb2dba7602":"cubi illustrativi","oss-aion-coverage-join.a4d76ddfc7":"copertura insufficiente di due celle","oss-aion-coverage-join.e4445ac125":"Una verifica di suddivisione","oss-aion-coverage-join.186c8cd284":"La build che hai non cambia sotto di te.","oss-aion-coverage-join.9daf9699cc":"la build","oss-aion-coverage-join.66506ab77b":"Nessun modello viene chiamato.","oss-aion-coverage-join.f2250926d2":"Nulla esce dal confine.","oss-aion-coverage-join.3110d06249":"ciò che esce","oss-aion-coverage-join.0bd87fb406":"Nessun processore su questo percorso.","oss-aion-coverage-join.1fa5b0500c":"non a, non b, non c","oss-aion-coverage-join.898fae3bdc":"non a, non b, c","oss-aion-coverage-join.a8f663af2d":"non a, b","oss-aion-coverage-join.bee9689def":"quattro macchine, una risposta","oss-aion-coverage-join.3ea0cf3ca7":"indirizzi che imposti","oss-aion-coverage-join.7b9e33922c":"un servizio","oss-aion-coverage-join.17819009bd":"una invocazione","oss-aion-coverage-join.2c4d8b9dd8":"un comando","oss-aion-coverage-join.5a78e04d95":"collegato in","oss-aion-coverage-join.985e108737":"una libreria","oss-aion-coverage-join.1d06a0d76f":"modello","oss-aion-coverage-join.8eab5a6dbb":"processore","oss-aion-coverage-table.356f85e809":"un contratto di envelope e routing AION","oss-aion-coverage-table.4f52f572dd":"sette output dei produttori","oss-aion-coverage-table.2a268cd632":"SETTE PRODUTTORI","oss-aion-coverage-table.8351372237":"output per primo, verificatore scelto in base alla famiglia di certificati","oss-aion-coverage-table.b7d5fe11a0":"Ciò che i sette produttori lasciano dietro di sé","oss-aion-coverage-table.f31a7c9011":"Solver","oss-aion-coverage-table.a194f815cb":"Ammissibile, non ammissibile o ottimale","oss-aion-coverage-table.7ec93e2d31":"Prova, modello, core, testimone o bound","oss-aion-coverage-table.651e0f73b2":"Verificatore del solver specifico per famiglia","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Una conclusione derivata dai vincoli dichiarati","oss-aion-coverage-table.9ac60dc1a8":"Derivazione dei vincoli e prove del solver restituite","oss-aion-coverage-table.d5ef792d46":"Verificatore del ragionamento di Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Un'operazione governata completata","oss-aion-coverage-table.70d43be1ea":"Autorità, policy, approvazioni, transizioni e ricevute","oss-aion-coverage-table.5372a8e90f":"Verificatore organizzativo di Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Un artefatto compilato","oss-aion-coverage-table.1f3e5d7c89":"Grafo sorgente, trasformazioni, invarianti e identità dell'artefatto","oss-aion-coverage-table.86ca1bd031":"Verificatore di compilazione di Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Un workload eseguito","oss-aion-coverage-table.24f1ac9e33":"Modulo, input, concessioni di capacità, transizioni, limiti e output","oss-aion-coverage-table.0f9ea21c74":"Verificatore di esecuzione di Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Una traiettoria simulata","oss-aion-coverage-table.ef85239d10":"Identità del modello, parametri, stato, checkpoint, invarianti e hash della traiettoria","oss-aion-coverage-table.c5b7fe3198":"Verificatore di simulazione e FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Un'esecuzione FMU completata","oss-aion-coverage-table.8f5753fba0":"Identità FMU, configurazione, passi, eventi, convergenza e traccia","oss-aion-coverage-table.4d64b5bbaf":"Verificatore di simulazione e FMI","oss-aion-coverage-table.7d1ab3c6e0":"Evidenza:","oss-aion-coverage-table.4e5bc7d129":"Verificatore:","oss-aion-days-left.545fa01eea":"e lo dice prima dell'ultimo giorno","oss-aion-days-left.eaa861cef8":"la stessa regola, letta quattro volte","oss-aion-days-left.2017bddab0":"Chiedi in qualsiasi giorno e la stessa regola fa i calcoli. Nulla della quarta lettura\n          è più forte della prima, solo più piccolo.","oss-aion-days-left.81b20537a7":"spazio rimasto, in giorni","oss-aion-days-left.0526dbf682":"L'OROLOGIO","oss-aion-days-left.2f29339cb6":"lo stesso orologio, a quattro giorni di distanza","oss-aion-days-left.47a76d1261":"Una richiesta, quattro letture","oss-aion-days-left.9dd1fe0fd2":"26 su 30","oss-aion-days-left.f4c6daac2a":"giorno 26","oss-aion-days-left.62f21454ca":"22 su 30","oss-aion-days-left.4ad399ed8a":"giorno 22","oss-aion-days-left.ae5a29afae":"16 su 30","oss-aion-days-left.195b05cbbd":"giorno 16","oss-aion-days-left.d31b7d0f91":"8 su 30","oss-aion-days-left.185b76515a":"giorno 8","oss-aion-days-left.2dd2bed725":"oggi","oss-aion-dispute-parts.65edc28a9d":"il pannello e la decisione appartengono al tuo processo, e l'artefatto non si sposta","oss-aion-dispute-parts.e56cf65ada":"e non è il tribunale","oss-aion-dispute-parts.37f322f735":"fornisce le prove,","oss-aion-dispute-parts.7b7570d892":"la decisione","oss-aion-dispute-parts.52e3685580":"la finestra","oss-aion-dispute-parts.7de929b394":"il pannello","oss-aion-dispute-parts.2eba0fb6ad":"ciò che il tuo processo possiede","oss-aion-dispute-parts.ea4031d789":"quale verificatore, quale versione","oss-aion-dispute-parts.93be71a61d":"il contratto","oss-aion-dispute-parts.48b63234e3":"nominato piuttosto che riassunto","oss-aion-dispute-parts.cced6746e2":"il punto di errore","oss-aion-dispute-parts.2c9e8d06dd":"riproducibile da chiunque","oss-aion-dispute-parts.2e02032e1d":"la verifica","oss-aion-dispute-parts.804e9af218":"produttore e firma intatti","oss-aion-dispute-parts.69506051d5":"conservato come accettato","oss-aion-dispute-parts.6b578cc32e":"il certificato","oss-aion-dispute-parts.21df0b2530":"Ciò che AION contribuisce","oss-aion-dispute-parts.4029dc5f44":"Conserva il\n            certificato come è stato accettato. Conserva l'attribuzione, quindi chi ha prodotto il risultato\n            sopravvive a un cambio di contraente. Riproduce la verifica su richiesta, da chiunque,\n            senza il produttore. Identifica il punto preciso di errore invece di restituire un\n            verdetto. E mostra quale verificatore ha accettato il risultato e sotto quale versione\n            del contratto. Il pannello, la finestra e la decisione appartengono a qualunque processo la tua\n            organizzazione già esegue. AION fornisce l'artefatto su cui quel processo discute.","oss-aion-dispute-parts.434ae4f1d6":"Il compito di AION in quella situazione è ristretto ed è la parte utile.","oss-aion-dispute-parts.3eb5567b60":"Il lavoro prodotto da una parte e su cui un'altra fa affidamento porta prima o poi a un disaccordo\n            sulla sua qualità. A deciderlo non è quasi mai la forza della\n            discussione. È se esiste un artefatto che entrambe le parti possono esaminare e che nessuna delle due\n            può modificare, e nella maggior parte delle controversie i documenti che risolverebbero la questione sono detenuti da\n            una delle due parti.","oss-aion-dispute-parts.2ccc6715e9":"Non un argomento migliore.","oss-aion-dispute-parts.aa0d5ae0e6":"Una controversia ha bisogno di prove.","oss-aion-dispute-parts.b4b6237893":"Quando qualcuno non è d'accordo","oss-aion-dispute-parts.eec3b038bd":"attribuzione","oss-aion-dispute-parts.100ec4462d":"prove","oss-aion-envelope-fields.cfc233d284":"la busta non è mai","oss-aion-envelope-fields.1c80a87a33":"il payload è specifico della famiglia","oss-aion-envelope-fields.d85cb39036":"la famiglia, che decide il verificatore","oss-aion-envelope-fields.a975c5af10":"Tipo di certificato","oss-aion-envelope-fields.4282e3d696":"nominato, mai implicito","oss-aion-envelope-fields.0562f32dc5":"Dipendenze","oss-aion-envelope-fields.ca2dc8737d":"quale sistema, quale versione","oss-aion-envelope-fields.7b7194967f":"Produttore","oss-aion-envelope-fields.f33f785291":"contro cosa è stato realizzato e quale versione","oss-aion-envelope-fields.404e7d3e00":"Input e contratto","oss-aion-envelope-fields.93a29173f5":"identificatore e un payload o il suo hash","oss-aion-envelope-fields.dc4e08a408":"Richiesta","oss-aion-envelope-fields.78e789d605":"CONTRATTO","oss-aion-envelope-fields.d12a9ca770":"fuori dal payload, ogni famiglia","oss-aion-envelope-fields.f18dee6041":"La busta","oss-aion-envelope-fields.f07e5a8156":"payload","oss-aion-evidence.cbf668da60":"File di log","oss-aion-evidence.28e06c789a":"Un log mostra che il sistema era in esecuzione. Non mostra perché è stata raggiunta la risposta e un log può essere modificato silenziosamente.","oss-aion-evidence.c637aebe3a":"Opaco","oss-aion-evidence.5c3fc92e3f":"Un punteggio di confidenza","oss-aion-evidence.fd3c76543b":"Un numero che riassume uno stato interno. Due sistemi possono mostrare lo stesso punteggio e giungere a conclusioni opposte sullo stesso input.","oss-aion-evidence.16f3dacf52":"Nessuna derivazione","oss-aion-evidence.7f34e37f1b":"Una spiegazione auto-generata","oss-aion-evidence.361b70a63e":"Scritta dallo stesso modello che ha preso la decisione. Corregge i propri compiti, quindi non può costituire una prova indipendente.","oss-aion-evidence.782acc59ce":"Circolare","oss-aion-evidence.477416bf24":"Fidarsi del fornitore","oss-aion-evidence.1e84c62138":"Quando un regolatore, un paziente o un tribunale chiede \"mostra il tuo lavoro\", una promessa a livello di servizio non è una risposta che possono verificare.","oss-aion-evidence.76afe0e09f":"Non verificabile","oss-aion-evidence.06f2d5f1a8":"Un certificato, non un'affermazione","oss-aion-evidence.cdcc6f712c":"AION emette un certificato di prova insieme alla risposta. Il certificato elenca ogni passaggio di ragionamento nell'ordine in cui è stato eseguito.","oss-aion-evidence.6d1c5f470b":"Controllato da qualcun altro","oss-aion-evidence.cc65178dc5":"Un verificatore separato esamina i passaggi e li accetta o li rifiuta. La parte che pone la domanda lo esegue da sé.","oss-aion-evidence.412a3b1e5e":"Rieseguibile in seguito","oss-aion-evidence.9082c552d2":"Lo stesso certificato viene verificato allo stesso modo il mese prossimo, su una macchina diversa, senza accesso al sistema originale.","oss-aion-evidence.1206578b48":"mostra il tuo lavoro","oss-aion-evidence.494beafd71":"la domanda di audit","oss-aion-evidence.bba8b0753d":"prova vs affermazione","oss-aion-evidence.00e2ca4c85":"Quando una decisione AI raggiunge un regolatore, un paziente o un caso di sicurezza, qualcuno chiede","oss-aion-evidence.1defdb9d85":"come ha raggiunto questa risposta.","oss-aion-evidence.290a698043":"La maggior parte delle organizzazioni non può fornire una risposta\n          che la persona che chiede possa verificare da sé.","oss-aion-evidence.56f6624482":"Non è una prova","oss-aion-evidence.a295517f40":"Cosa viene offerto oggi","oss-aion-evidence.7ea014de7b":"Prova","oss-aion-evidence.4cb1cd3e53":"Cosa fornisce AION","oss-aion-evidence.2a36a263da":"La prova non è affermata. La prova è verificata.","oss-aion-evidence.e0a4c0a385":"La verifica indipendente è l'unica risposta che un revisore può accettare.","oss-aion-exact-sum.21aaad8129":"un moltiplicatore negativo viene rifiutato prima che venga calcolata la somma, al primo controllo","oss-aion-exact-sum.3b267c2a81":"nessun floating-point interno in quella catena","oss-aion-exact-sum.1a43ebe28c":"quindi il sistema è confutato","oss-aion-exact-sum.452308dbcd":"costante rimanente","oss-aion-exact-sum.35add33a7a":"ciò che resta","oss-aion-exact-sum.df326a819b":"i termini in y si annullano","oss-aion-exact-sum.dae482d4b2":"i termini in x si annullano","oss-aion-exact-sum.c36d183406":"sommare le disuguaglianze scalate","oss-aion-exact-sum.79e4c9d3fa":"scalarlo","oss-aion-exact-sum.c3c4b24b20":"le due disuguaglianze, tutto da un lato","oss-aion-exact-sum.b6b4c73115":"La somma, per intero","oss-aion-exact-sum.c1c66bf52c":"Le condizioni vengono controllate in ordine e ciascuna è un rifiuto a sé. Un moltiplicatore\n            negativo viene rifiutato prima che venga calcolata qualsiasi somma, perché scalare per un numero negativo\n            inverte la disuguaglianza. Una somma in cui sopravvive un termine variabile viene rifiutata con il\n            termine sopravvissuto indicato. Una somma la cui costante rimanente non è positiva viene rifiutata,\n            perché non prova nulla. Un coefficiente oltre la soglia di grandezza genera un\n            overflow invece di avvolgere. Nulla in quella catena è una tolleranza.","oss-aion-exact-sum.6efbacfc5b":"Una confutazione aritmetica è un insieme di moltiplicatori. Scrivi ogni disuguaglianza con\n            tutto da un lato del segno, scalala, somma le disuguaglianze scalate,\n            e se ogni termine variabile si annulla e ciò che resta è un numero positivo detto essere\n            al massimo zero, ciò non può valere, quindi nemmeno il sistema da cui proviene. AION accetta\n            quei moltiplicatori al confine e li converte in una rappresentazione dichiarata adattiva\n            intera/a virgola fissa prima di controllare. Memorizza, accumula e calcola\n            internamente nessun valore in virgola mobile, e non ha fallback in virgola mobile.\n            La frazione rimane stampata qui perché rende leggibile la contraddizione; il\n            controllo è governato dalla sua conversione e scala dichiarate.","oss-aion-exact-sum.31934abfaa":"La sua conversione dichiara la scala.","oss-aion-exact-sum.a3caf489e5":"Un terzo non è 0.333.","oss-aion-exact-sum.15e6a906dd":"Aritmetica dichiarata adattiva a virgola fissa","oss-aion-exact-sum.108a35964a":"la somma dice 11/6 <= 0, che è falso,","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":"sì","oss-aion-exact-sum.c4c6c57253":"positivo","oss-aion-exact-sum.b55e22fe78":"esatto","oss-aion-exec-cert.6a230011ab":"lo controlla qualcos'altro","oss-aion-exec-cert.2c14724b1b":"lo ha prodotto il runtime","oss-aion-exec-cert.b07722ef0c":"il limite","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"modulo da cui produrre l'output","oss-aion-exec-cert.a7b63abc02":"Cosa contiene il certificato","oss-aion-exec-cert.e1bbfaa783":"L'identità di ciò che è stato prodotto e se è rimasto intrappolato.","oss-aion-exec-cert.59871c9494":"Output e stato","oss-aion-exec-cert.ffb779a5c3":"I limiti entro cui è stato eseguito, come vincoli piuttosto che come osservazioni.","oss-aion-exec-cert.ffbc724f07":"Contesto delle risorse","oss-aion-exec-cert.273c1da325":"Deterministico, dato il modulo, gli input e le autorizzazioni.","oss-aion-exec-cert.acee491c99":"Transizioni di stato","oss-aion-exec-cert.eab885bbb2":"Ciò che gli era consentito raggiungere, dichiarato prima dell'esecuzione.","oss-aion-exec-cert.dc009dc166":"Concessioni di capacità","oss-aion-exec-cert.6f3eb29822":"Quale modulo, tramite indirizzo di contenuto, a quale versione del runtime.","oss-aion-exec-cert.c201b4ae89":"Identità del modulo","oss-aion-executed-under.6b6dab207c":"Ciò che il certificato consente","oss-aion-executed-under.1fcfedc78a":"ciò che potrebbe raggiungere","oss-aion-executed-under.0338c5441d":"La questione dopo il fatto è l'autorità, e il certificato la porta con sé.","oss-aion-executed-under.bc70ed4db9":"Quattro concessioni detenute e tre negate.","oss-aion-executed-under.6f9d76b8c0":"Le transizioni sono deterministiche dato il modulo, gli input e le concessioni, quindi tutto\n            questo è stato seguito senza mai eseguire il carico di lavoro.","oss-aion-executed-under.e044b5f419":"L'identità dichiarata dal certificato non è l'identità prodotta dalle transizioni, quindi\n            l'esecuzione viene rifiutata all'output. Tutto ciò che precede è stato ricostruito esattamente.","oss-aion-executed-under.7f0cc64ae8":"transizioni deterministiche","oss-aion-executed-under.5fa4050afc":"insieme di capacità, dichiarato prima dell'esecuzione","oss-aion-executed-under.844e9ed357":"clock, osservare non impostato","oss-aion-executed-under.b3ccbb4041":"limite di memoria 512 MiB","oss-aion-executed-under.1fe892a96f":"un socket, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"leggi /var/lib/claims","oss-aion-executed-under.7a02a68db0":"non detenuto","oss-aion-executed-under.685706abcf":"identità di output diversa","oss-aion-executed-under.6287ff317a":"prodotto","oss-aion-executed-under.0baff051a0":"dichiarato","oss-aion-executed-under.1029d67644":"output","oss-aion-executed-under.fbd34a2b6e":"modulo","oss-aion-executed-under.910e029098":"illustrativo","oss-aion-executed-under.df6fe4f714":"la capacità di persistere oltre l'esecuzione","oss-aion-executed-under.b51590997b":"ogni altro indirizzo","oss-aion-executed-under.e4e545e3b7":"tutto il resto sul filesystem","oss-aion-fact-strip.0dc9622797":"Ogni figura riconduce al repository AION.","oss-aion-fact-strip.b7feece146":"AION in cifre","oss-aion-fact-strip.fedec331ff":"Libreria, CLI e benchmark in un unico workspace","oss-aion-fact-strip.13a24daf03":"Implementazione","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Virgola fissa binaria, intera e adattiva; nessuna virgola mobile interna","oss-aion-fact-strip.5688a0448c":"Nucleo aritmetico","oss-aion-fact-strip.0cae74747c":"Esatto","oss-aion-fact-strip.379c055f01":"Lineare nella lunghezza della prova, offline, senza solver","oss-aion-fact-strip.04ce84fb6e":"Costo di verifica","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe e una forma intermedia unificata","oss-aion-fact-strip.e6c67de15e":"Formati di prova","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Teorie logiche","oss-aion-failure-notice.d8164c5dd8":"una constatazione, non una disputa","oss-aion-failure-notice.159098bbba":"L'altra avvia una discussione che nessuno può chiudere.","oss-aion-failure-notice.814fc5cd4f":"Una di queste può essere inviata a un fornitore un martedì pomeriggio.","oss-aion-failure-notice.2e6ea3eaa5":"non può essere assegnata, non può essere prezzata, non può essere contestata con precisione","oss-aion-failure-notice.e896d6344f":"verifica non riuscita","oss-aion-failure-notice.587270a2e4":"dove va ogni campo","oss-aion-failure-notice.ba0f0eb3fe":"premessa non presente","oss-aion-failure-notice.0c2a7f4aef":"passaggio 415","oss-aion-failure-notice.55daa4a2ea":"gli ultimi quattro passaggi letti","oss-aion-failure-notice.ca548ed152":"17 marzo 2026","oss-aion-failure-notice.3c05b129e2":"nessun verdetto emesso","oss-aion-failure-notice.aa943932a5":"avviso di rifiuto","oss-aion-failure-notice.28fb3d519e":"ricostruito","oss-aion-failure-notice.bd370d1b6f":"passaggio","oss-aion-failure-notice.910e029098":"illustrativo","oss-aion-failure-notice.e6b658331e":"e nessuno viene accusato","oss-aion-failure-notice.94002635cd":"tu, se è una domanda di ambito","oss-aion-failure-notice.7ab178c9a0":"il tipo","oss-aion-failure-notice.0d967ff8f3":"fornisce la premessa mancante","oss-aion-failure-notice.b54c9b7359":"chi ha prodotto il passaggio","oss-aion-failure-notice.94a94ba774":"il motivo","oss-aion-failure-notice.ba3167e426":"conferma cosa dovrebbe fare quel passaggio","oss-aion-failure-notice.32ec97b69b":"il proprietario del tuo set di regole","oss-aion-failure-notice.b543dc38fd":"la regola","oss-aion-failure-notice.ad866c4aef":"apre il file al passaggio 415","oss-aion-failure-notice.06fddd86f6":"il team di verifica del fornitore","oss-aion-failure-notice.aecf66bfac":"la posizione","oss-aion-failure-notice.1d7794c5e2":"nessun verdetto emesso per questa prova","oss-aion-failure-notice.f4475dac73":"conseguenza","oss-aion-failure-notice.566c7d73a0":"il passaggio cita una premessa che non è presente nel file","oss-aion-failure-notice.7947e92e3c":"motivo","oss-aion-failure-notice.5dfa011717":"regola, risoluzione","oss-aion-failure-notice.64463af8a3":"414 accettati","oss-aion-failure-notice.c21ce4fb88":"passaggi letti","oss-aion-failure-notice.2bf60a2164":"l'analisi dei conflitti del fornitore per il set di regole di marzo","oss-aion-failure-notice.335ce16b3f":"oggetto","oss-aion-family-board.ca8f6715c8":"versionati separatamente","oss-aion-family-board.e794ff76c1":"uno schema in attesa di un verificatore","oss-aion-family-board.0f2e82af82":"Nove famiglie condividono una busta e nient'altro. La decima è","oss-aion-family-board.ca6c6dda8e":"un verificatore e un insieme di regole dichiarato","oss-aion-family-board.c53186083e":"la decima","oss-aion-family-board.0020359543":"transizione non valida, concessione superata, discrepanza di output,\n              traccia incompleta","oss-aion-family-board.187225126d":"tassonomia dei rifiuti","oss-aion-family-board.fac6c7230f":"riprodurre le transizioni rispetto ai\n              limiti dichiarati e all'insieme di regole","oss-aion-family-board.155e6164fc":"algoritmo di verifica","oss-aion-family-board.924f583920":"una sequenza di transizioni deterministica con identità di input e\n              output","oss-aion-family-board.c0e6022509":"rappresentazione della prova","oss-aion-family-board.927f6ddf1e":"questo carico di lavoro è stato eseguito con queste concessioni e ha raggiunto questo output","oss-aion-family-board.79bf5b0ee6":"tipo di affermazione","oss-aion-family-board.131097a25c":"Esecuzione runtime, v2","oss-aion-family-board.50b24e4d4c":"una piastra, aperta","oss-aion-family-board.803aa98470":"che il record memorizzato è quello accettato","oss-aion-family-board.3e71ceb1ca":"Integrità dello storage","oss-aion-family-board.f8603f4710":"che il modello dichiarato ha prodotto questa esecuzione","oss-aion-family-board.ccc3c9b41d":"Simulazione e FMI","oss-aion-family-board.d0c6b470a4":"che è stata eseguita all'interno delle concessioni assegnate","oss-aion-family-board.dc37599f99":"Esecuzione runtime","oss-aion-family-board.4f059da0be":"che l'artefatto preserva la fonte","oss-aion-family-board.aad755de42":"Compilazione","oss-aion-family-board.69ce9b9c4f":"che l'operazione governata è avvenuta","oss-aion-family-board.ed87ca5ca0":"Organizzativo","oss-aion-family-board.0dbf90d179":"che la derivazione dichiarata ricostruisce","oss-aion-family-board.e272c597fd":"Ragionamento","oss-aion-family-board.e79949ba43":"che una proprietà vale tra le esecuzioni, non una","oss-aion-family-board.bdb5a28846":"Temporale e iperproprietà","oss-aion-family-board.b83c805a0a":"che non esiste nulla di meglio all'interno dei limiti","oss-aion-family-board.c794704381":"Ottimizzazione","oss-aion-family-board.ede1ae7e54":"che nessuna assegnazione soddisfa l'insieme","oss-aion-family-board.a04ce90d06":"Logica e soddisfacibilità","oss-aion-family-board.b98b54298f":"nove registrate, uno schema","oss-aion-family-board.6253e9d668":"Il consiglio di famiglia","oss-aion-family-board.910e029098":"illustrativo","oss-aion-family-registry.6e32650bab":"e una versione su tutte","oss-aion-family-registry.dcd1f1fdc9":"quattro dichiarazioni per famiglia","oss-aion-family-registry.3bc3fe987d":"I fallimenti che questa famiglia può restituire, ciascuno con una posizione.","oss-aion-family-registry.d129426d71":"Tassonomia dei rifiuti","oss-aion-family-registry.d4504f5b41":"Ciò che il verificatore esegue e il set di regole che accetta.","oss-aion-family-registry.52ab770040":"Algoritmo di verifica","oss-aion-family-registry.4c9dd89c88":"Come viene trasportata la prova, la derivazione o la traccia.","oss-aion-family-registry.016fecd943":"Rappresentazione della prova","oss-aion-family-registry.ab1e33179a":"Ciò che questa famiglia stabilisce e ciò che deliberatamente non stabilisce.","oss-aion-family-registry.8a547220fc":"Tipo di affermazione","oss-aion-family-registry.37094b3cc5":"prima che possa essere controllato","oss-aion-family-registry.b14e18379b":"REGISTRO","oss-aion-family-registry.b3e4281358":"Ciò che una famiglia dichiara","oss-aion-family-registry.7efea8ff96":"incompleto","oss-aion-family-registry.995fee1f1a":"non supportato","oss-aion-family-registry.81f344a768":"non valido","oss-aion-foreign-proof.4c43cb0de1":"nessuna licenza, nessun ambiente","oss-aion-foreign-proof.9406c96fa7":"quattro linee sottili tra loro","oss-aion-foreign-proof.9fefe2d67f":"Quattro tipi di lavoro da un lato, quattro oggetti leggibili dall'altro, e","oss-aion-foreign-proof.57802c0b4e":"Il verificatore non ha mai eseguito il lato sinistro, e non deve farlo.","oss-aion-foreign-proof.1dfc94b110":"una ricevuta","oss-aion-foreign-proof.cff5f15fed":"due transizioni","oss-aion-foreign-proof.d58f13fb52":"controllo di autorità","oss-aion-foreign-proof.24ef006723":"autorità e ricevute","oss-aion-foreign-proof.933912faec":"agenti, coordinamento","oss-aion-foreign-proof.2ae1de46da":"lo stato rimane all'interno dell'inviluppo dichiarato","oss-aion-foreign-proof.ed96565674":"checkpoint e un invariante","oss-aion-foreign-proof.0ae689c7bd":"passaggi di integrazione","oss-aion-foreign-proof.f9020659b6":"scelta del kernel","oss-aion-foreign-proof.3e77a07952":"affermazioni di preservazione","oss-aion-foreign-proof.2bb64b9b5b":"passaggi di ottimizzazione","oss-aion-foreign-proof.c8b39aa910":"derivazione delle clausole","oss-aion-foreign-proof.4da89bbc52":"ricerca del solver","oss-aion-foreign-proof.51339ff0ea":"le prove, sulla tua macchina","oss-aion-foreign-proof.4f45bf808d":"il lavoro, sul produttore","oss-aion-foreign-proof.c369931988":"quattro righe, nient'altro","oss-aion-foreign-proof.ec0b7e2c43":"Cosa attraversa il confine","oss-aion-foreign-proof.44d74dd33f":"forme","oss-aion-foreign-proof.e7b1fff700":"tipi","oss-aion-foreign-proof.910e029098":"illustrativo","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT e Alethe verificano in tempo lineare offline. DRAT viene controllato e poi ridotto a LRAT.\n            Unified converte senza perdite tra di loro.","oss-aion-formats.14a628e6d3":"Controllato da","oss-aion-formats.dda6ac27b9":"Verifica","oss-aion-formats.34556fa12c":"Scheda formato","oss-aion-formats.e6c67de15e":"Formati di prova","oss-aion-formats.8a5e29e5bb":"conversione senza perdite","oss-aion-formats.ddb7c01560":"una sorgente, quattro forme","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# prova intermedia unificata","oss-aion-formats.0d3311a5dc":"convertitore aion-proofs","oss-aion-formats.1f5124d90b":"Convertito all'esportazione","oss-aion-formats.8c21b7e1f1":"La rappresentazione interna che converte senza perdite tra gli altri.","oss-aion-formats.ebb8e8cf49":"Forma intermedia","oss-aion-formats.287fda8114":"Unificato","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":"Tempo lineare, offline","oss-aion-formats.f6f7b642b0":"Il formato della comunità SMT-LIB della linea cvc5 e veriT.","oss-aion-formats.4aa5db37af":"Prova SMT","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" righe di aggiunta e cancellazione drat","oss-aion-formats.f3ba7f38e9":"drat-trim in LRAT","oss-aion-formats.36f33c83a6":"Controllato, poi ridotto","oss-aion-formats.4745aebc97":"Aggiunta e cancellazione clausale. I controllori di formato riducono a LRAT.","oss-aion-formats.154df3dc2f":"Certificato SAT","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" clausola vuota derivata","oss-aion-formats.6fd630d612":" lrat con suggerimenti di unit-propagation","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Prove di risoluzione standard di settore per il nucleo proposizionale.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"un file che non si chiude mai","oss-aion-four-gates.0ff8f0eb5a":"e un altro alla fine","oss-aion-four-gates.a1ebd8379f":"prima del passo 1","oss-aion-four-gates.b161dbb47d":"Il file viene prima di tutto scansionato per un numero di passo ripetuto.","oss-aion-four-gates.21e412d2d0":"Due passi, un numero","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"e uno prima di tutti loro","oss-aion-four-gates.e74bdcd46a":"Quattro test, in questo ordine","oss-aion-four-gates.fef891bb33":"passo 15","oss-aion-four-gates.cc90eb3e73":"Nessuna routine per il nome. La lettura si ferma piuttosto che saltare.","oss-aion-four-gates.787e8a8577":"Regola sconosciuta","oss-aion-four-gates.e70c55582f":"passo 52","oss-aion-four-gates.59446cbcf9":"Una premessa presente, ma numerata sopra il passo che la cita.","oss-aion-four-gates.f1604fe1aa":"Citato fuori ordine","oss-aion-four-gates.a42f56e597":"passo 44","oss-aion-four-gates.371b9613cc":"Un numero citato che non è da nessuna parte nel file.","oss-aion-four-gates.1d1369a316":"Premessa assente","oss-aion-four-gates.e1391a7c80":"passo 31","oss-aion-four-gates.9a7512e955":"Un passo che si regge sulla propria conclusione. Chiesto per primo, per ogni passo.","oss-aion-four-gates.7f30dfcc04":"Cita se stesso","oss-aion-governed-operation.b0582e8559":"Un'operazione, verificata","oss-aion-governed-operation.8af7f1d469":"governata, poi verificata","oss-aion-governed-operation.ada470c3d7":"Una catena e la sua verifica sono due autorità diverse.","oss-aion-governed-operation.90fba649e4":"Quattro elementi ricostruiti, e il quinto interrompe la lettura.","oss-aion-governed-operation.ea8356461f":"non in questo certificato: ciò che un agente stava pensando","oss-aion-governed-operation.2f68c232b4":"La versione della policy dichiarata dal certificato non contiene la condizione che questo gate\n                sostiene di aver applicato. L'operazione viene rifiutata a quell'elemento e non viene\n                emesso alcun verdetto per l'intero processo.","oss-aion-governed-operation.be51277bfd":"non raggiunto","oss-aion-governed-operation.57b160e317":"il passaggio del verificatore, di propria autorità","oss-aion-governed-operation.26f017e3e6":"accettato, rif. 4471-b","oss-aion-governed-operation.34c3c00446":"ricevuta registrata","oss-aion-governed-operation.159338740e":"istruzione di pagamento, sistema di registro","oss-aion-governed-operation.80f6148b56":"azione eseguita","oss-aion-governed-operation.458c8c203d":"all'azione, non a un messaggio vicino","oss-aion-governed-operation.1b4dcda6ba":"approvazione allegata","oss-aion-governed-operation.303418bf06":"oltre 50 000 richiede un secondo approvatore","oss-aion-governed-operation.faf1f5eb4b":"gate della policy","oss-aion-governed-operation.557df801be":"transizioni di attività","oss-aion-governed-operation.b1c842256e":"funzionario dei reclami","oss-aion-governed-operation.59bef6c3e5":"autorità risolta","oss-aion-governed-operation.0639a9efd0":"quattro agenti, ambito diseguale","oss-aion-governed-operation.8e44be8724":"organizzazione formata","oss-aion-governed-operation.139146ad26":"policy v4.2","oss-aion-governed-operation.8524f08438":"chiudere i reclami dei fornitori del trimestre","oss-aion-governed-operation.cab7375bdf":"l'operazione, come eseguita da Nexus","oss-aion-governed-operation.82c8154dca":"rifiutato al gate","oss-aion-governed-operation.a503bc1da2":"rifiutato","oss-aion-governed-operation.28fb3d519e":"ricostruito","oss-aion-governed-operation.45807bf2ec":"chiuso","oss-aion-governed-operation.fb92f3f834":"valutato","oss-aion-governed-operation.590abaace4":"aperto","oss-aion-governed-operation.d2dc873868":"obiettivo","oss-aion-governed-operation.910e029098":"illustrativo","oss-aion-harness-fields.d5ad303466":"e un numero che puoi citare","oss-aion-harness-fields.5a31ca3c0f":"il tuo corpus, il tuo hardware","oss-aion-harness-fields.58664673b0":"Stampato sull'intero corpus alla fine dell'esecuzione.","oss-aion-harness-fields.6197b910db":"Un conteggio corretto","oss-aion-harness-fields.175226a475":"Rispetto allo stato registrato nel file stesso.","oss-aion-harness-fields.d787e678da":"Rispondi in base allo stato","oss-aion-harness-fields.b5ec587356":"La ricerca stessa, per istanza, non diluita nella media.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Tempo di risoluzione","oss-aion-harness-fields.bec737ff93":"Quanto tempo ha richiesto la lettura del file, tenuto separato dalla risoluzione.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Tempo di parsing","oss-aion-harness-fields.20e5752f58":"Il picco massimo, così un piano di capacità ha un numero concreto.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Memoria residente di picco","oss-aion-harness-fields.b660370132":"un file del tuo corpus","oss-aion-harness-fields.ec845d015d":"per istanza, poi totalizzato","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Cosa registra una singola esecuzione","oss-aion-harness-fields.b3cbdd75cb":"confutato","oss-aion-harness-fields.48a3661d84":"stato","oss-aion-harness-fields.25dc282b5a":"risposta","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Risoluzione...","oss-aion-hero-glyph.3d08723a54":"Risultato: SAT","oss-aion-hero-glyph.9e1279af1f":"Modello:","oss-aion-hero-glyph.45dcf6e46f":"  x = 1","oss-aion-hero-glyph.81ef4e711c":"  y = 3","oss-aion-hero-glyph.70f4daaa7f":"Tempo: 4ms","oss-aion-hero-glyph.138243f0f4":"Risultato: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Dimostrazione: 128 passi","oss-aion-hero-glyph.41294a8dc8":"Dimostrazione scritta in: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Verifica della dimostrazione: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Analisi: OK","oss-aion-hero-glyph.27d28e3ca9":"La dimostrazione ha 128 passi","oss-aion-hero-glyph.1ba94dea63":"Statistiche della dimostrazione:","oss-aion-hero-glyph.e1b3c4d7c5":"  Passi totali: 128","oss-aion-hero-glyph.e30b86fef9":"  Passi di risoluzione: 71","oss-aion-hero-glyph.8215376faf":"  Passi aritmetici: 24","oss-aion-hero-glyph.552f29f0b5":"  Dimensione massima della clausola: 6","oss-aion-hero-glyph.fc539fcf62":"Verifica della dimostrazione: SUPERATA","oss-aion-hero-glyph.1e4bdfb80c":"Tempo di verifica: 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 + teoria","oss-aion-hero-glyph.6ba46a924e":"punto fisso adattivo","oss-aion-hero-glyph.a9f24b1b66":"verifica in tempo lineare","oss-aion-hero-glyph.6b5eb5323e":"Certificato allegato","oss-aion-how-to-check.c799cc998b":"Risultato: questo è corretto.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"La prima macchina consegna la sua ricevuta a un assistente separato, che la controlla","oss-aion-how-to-check.d026bcfccb":"Il risultato è semplice: la ricevuta torna, oppure no. Non c'è un forse.","oss-aion-how-to-check.d0c84a5a37":"Il controllo avviene proprio dove sei. Non viene inviato nulla e non serve alcun sito web.","oss-aion-how-to-check.623151a710":"L'assistente che controlla non è la macchina che ha risposto. Non può semplicemente essere d'accordo con sé stesso.","oss-aion-how-to-check.87e974a415":"la legge e la controlla","oss-aion-how-to-check.3c487e646c":"Un secondo assistente","oss-aion-how-to-check.78829f8a37":"i passaggi, scritti","oss-aion-how-to-check.9b7b265fbb":"La ricevuta","oss-aion-how-to-check.f58fd2cb80":"dà una risposta e una ricevuta","oss-aion-how-to-check.50e90303d4":"La prima macchina","oss-aion-integration.b1873dbd42":"Un solo motore, nessun servizio esterno. Collega la crate, fissa una versione e verifica i certificati nello stesso ambiente.","oss-aion-integration.5f2e7d7c25":"Lo stesso certificato di prova da ogni superficie. Una query in ingresso, un certificato verificabile in uscita.","oss-aion-integration.a4db3ae8b6":"Come lo chiami","oss-aion-integration.4ec6d609ab":"Inizia con un percorso decisionale","oss-aion-integration.559461e293":"libreria, CLI, bench","oss-aion-integration.0228a4c724":"Chiunque può verificare un certificato con aion check, o con un verificatore LRAT o Alethe indipendente, sulla propria macchina.","oss-aion-integration.dda6ac27b9":"Verifica","oss-aion-integration.4d2c6036eb":"Metti aion-cli dietro un tuo servizio. Il certificato di prova è il contratto che il servizio restituisce.","oss-aion-integration.c3447e7954":"Integra","oss-aion-integration.f9109d0f04":"Aggiungi la crate a un'applicazione Rust esistente ed emetti certificati in linea con le risposte che già produce.","oss-aion-integration.ad02e14e28":"Incorpora","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Un binario di benchmark dedicato è incluso nel workspace. Misura solve e check sul tuo hardware invece di fidarti di un dato del fornitore.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Guida AION da una shell o da un job CI. solve esegue una query, check verifica un certificato di prova offline e prove ne emette uno. Lo stesso output di prova della libreria.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Collega AION come crate e chiama direttamente il solver e l'emettitore di prove. Il kernel, le teorie e i formati di prova sono tutti in-process, senza alcun servizio da avviare.","oss-aion-integration.8319d9b3b9":"Libreria Rust","oss-aion-live-margins.df15dfd304":"una di queste è un'azione","oss-aion-live-margins.96576608a5":"tre di queste sono letture","oss-aion-live-margins.5711ac01c1":"TRACCIATO","oss-aion-live-margins.f719aa9511":"trascorso rispetto al consentito","oss-aion-live-margins.a344938438":"Quattro obblighi","oss-aion-live-margins.19e5ecc09e":"stesso giorno, all'evento","oss-aion-live-margins.828697f103":"Registro di trasferimento","oss-aion-live-margins.222af170d9":"44 giorni su 30, ancora aperto","oss-aion-live-margins.a441e09d1a":"Finestra di conservazione","oss-aion-live-margins.30e04c8f23":"2 giorni su 3","oss-aion-live-margins.20d6944505":"Notifica di violazione","oss-aion-live-margins.9b9419d2e2":"26 giorni su 30","oss-aion-live-margins.6e7d6c760b":"Risposta al soggetto","oss-aion-nothing-outbound.45b9d8acdc":"nessun client in uscita","oss-aion-nothing-outbound.5b16b5db9a":"Ogni percorso inizia e termina all'interno di una linea che hai tracciato tu.","oss-aion-nothing-outbound.59a0768496":"Niente su questo foglio va oltre il contorno.","oss-aion-nothing-outbound.71c31d8219":"un processo locale su questa macchina","oss-aion-nothing-outbound.605f85e28f":"un prover esterno","oss-aion-nothing-outbound.150bc2359d":"una sottorete, impostata da te","oss-aion-nothing-outbound.5193678a39":"indirizzi del cluster","oss-aion-nothing-outbound.49c4e670b3":"la tua rete","oss-aion-nothing-outbound.273ca4c134":"ciò che configuri","oss-aion-nothing-outbound.7f8d7aeedb":"cinque righe","oss-aion-nothing-outbound.bcec1ac359":"ciò che questo percorso aggiunge al tuo registro","oss-aion-nothing-outbound.4553aa0c94":"l'archivio locale","oss-aion-nothing-outbound.93d65d8ef8":"l'archivio","oss-aion-nothing-outbound.760cfc52ce":"il checker","oss-aion-nothing-outbound.6621d172f5":"il set di regole in lettura","oss-aion-nothing-outbound.565f3cfc6a":"il certificato in verifica","oss-aion-nothing-outbound.284f61c8db":"il tuo sito, il tuo hardware","oss-aion-nothing-outbound.f368a04bb8":"un confine, ed è tuo","oss-aion-nothing-outbound.5c795b7e7d":"nessun percorso esce","oss-aion-nothing-outbound.4f98b1412d":"Niente esce dal perimetro","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"La build che possiedi non cambia sotto di te.","oss-aion-nothing-outbound.07b9a651d1":"Un programma di rilascio del fornitore da monitorare","oss-aion-nothing-outbound.8fa0bea3f8":"Nessun nostro servizio è sul percorso.","oss-aion-nothing-outbound.11449c8bd3":"Una dipendenza di disponibilità da registrare","oss-aion-nothing-outbound.66506ab77b":"Nessun modello viene chiamato.","oss-aion-nothing-outbound.af474ee96b":"Un fornitore di modelli da valutare","oss-aion-nothing-outbound.f2250926d2":"Niente esce dal confine.","oss-aion-nothing-outbound.e80e5b3403":"Un trasferimento transfrontaliero da giustificare","oss-aion-nothing-outbound.0bd87fb406":"Nessun processore su questo percorso.","oss-aion-nothing-outbound.9494490634":"Un processore da aggiungere","oss-aion-obligation-calendar.366609b500":"margine, non allarme","oss-aion-obligation-calendar.3c8532b3c7":"La regola di mezzo è il punto in cui la soluzione economica non era più disponibile.","oss-aion-obligation-calendar.949b1361f5":"Entrambe le cifre sono letture che chiunque può prendere questa mattina.","oss-aion-obligation-calendar.7758d9c282":"azione richiesta","oss-aion-obligation-calendar.4ebebe0b7c":"-14 giorni","oss-aion-obligation-calendar.6937bf485d":"iniziato prima di questo mese","oss-aion-obligation-calendar.37ed878825":"finestra di conservazione","oss-aion-obligation-calendar.3974c3ac47":"+4 giorni","oss-aion-obligation-calendar.aa69fdaab6":"aperto, 30 giorni consentiti","oss-aion-obligation-calendar.c6727ea40c":"risposta del soggetto","oss-aion-obligation-calendar.51269d14af":"ultimo giorno in cui questo era ancora un lavoro da un pomeriggio","oss-aion-obligation-calendar.96a8ebf797":"date illustrative","oss-aion-obligation-calendar.fdcce3f37e":"uno è oltre la sua data","oss-aion-obligation-calendar.11ddafb2cc":"Un mese di obblighi","oss-aion-obligation-calendar.a2620cbc10":"giorno","oss-aion-one-contract-six.d3926ca64d":"un registro, un insieme interessato","oss-aion-one-contract-six.c4d72c2328":"Le loro prove seguono un unico involucro AION.","oss-aion-one-contract-six.a7e545052a":"Gli output dei produttori restano distinti.","oss-aion-one-contract-six.5cbf78425a":"una regola cambia, ricontrolla i record interessati","oss-aion-one-contract-six.f5c6772ad7":"una coda di riverifica","oss-aion-one-contract-six.d3516bd6ea":"un registro e un record di archiviazione","oss-aion-one-contract-six.2ec012da6f":"un involucro AION","oss-aion-one-contract-six.2c653cc8fa":"gli stessi sette produttori, attraverso un unico involucro AION","oss-aion-one-contract-six.725c682066":"output diversi, verificatori specifici per famiglia","oss-aion-one-contract-six.cddf74f2cf":"sette output di produttori","oss-aion-one-contract-six.f063fe5bcd":"sette output sopra, un involucro sotto","oss-aion-one-contract-six.c34e6d1a39":"sette produttori, un involucro di prove","oss-aion-one-contract-six.910e029098":"illustrativo","oss-aion-one-contract-six.67bb73569c":"un certificato di simulazione","oss-aion-one-contract-six.7966a9fa49":"un certificato di compilazione","oss-aion-one-contract-six.1111f590cc":"un certificato organizzativo","oss-aion-one-contract-six.293194c28e":"un certificato di ragionamento","oss-aion-one-contract-six.8aa194122c":"un record di prova logica","oss-aion-one-contract-six.30870de828":"identità del modello, parametri, stato, checkpoint, invarianti e hash della traiettoria","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"modulo, input, concessioni di capacità, transizioni, limiti e output","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"grafo sorgente, trasformazioni, invarianti e identità dell'artefatto","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"autorità, policy, approvazioni, transizioni e ricevute","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"derivazione dei vincoli e prove del solver restituite","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"prova, modello, core, testimone o limite","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Ammissibile, non ammissibile o ottimale","oss-aion-one-contract-six.8f7924f6f5":"Verificatore del solver specifico per famiglia","oss-aion-one-contract-six.2e9d2d4990":"Una conclusione dai vincoli dichiarati","oss-aion-one-contract-six.0e7a123b77":"Verificatore di ragionamento Loom","oss-aion-one-contract-six.3c1a0d119e":"Un'operazione governata completata","oss-aion-one-contract-six.6c2ed5435d":"Verificatore organizzativo Nexus","oss-aion-one-contract-six.07b127b70d":"Un artefatto compilato","oss-aion-one-contract-six.4f9018da9e":"Verificatore di compilazione Kera","oss-aion-one-contract-six.1f42a0b0ce":"Un workload eseguito","oss-aion-one-contract-six.5a3c8f1f84":"Verificatore di esecuzione Selvedge","oss-aion-one-contract-six.8879cc2e8a":"Una traiettoria simulata","oss-aion-one-contract-six.0d72478caf":"Verificatore di simulazione e FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Un'esecuzione FMU completata","oss-aion-one-contract-six.8f5753fba0":"Identità FMU, configurazione, passi, eventi, convergenza e traccia","oss-aion-one-contract-six.4d64b5bbaf":"Verificatore di simulazione e FMI","oss-aion-one-contract-six.6f99b37c1c":"Affermazione","oss-aion-one-contract-six.4cb3ee8fa2":"Prova","oss-aion-one-contract-six.0f3253d8d8":"Verificatore","oss-aion-one-envelope.3b24a9a880":"otto campi, versionati","oss-aion-one-envelope.a348113c09":"quale\n          verificatore lo legge.","oss-aion-one-envelope.08ace6c26e":"un campo decide","oss-aion-one-envelope.396e2145f9":"Quattro tipi di prove, un'apertura e","oss-aion-one-envelope.dc1a7be459":"poggiava sul secondo","oss-aion-one-envelope.ddc01a5859":"affermazione di traiettoria","oss-aion-one-envelope.7f211a50e2":"set di parametri","oss-aion-one-envelope.8f2aa45103":"identità del modello","oss-aion-one-envelope.23e75e07fb":"scelto dal campo tipo di certificato, non da chi lo ha inviato","oss-aion-one-envelope.4e4dc30b71":"quale verificatore lo legge","oss-aion-one-envelope.c8c687f0ff":"la stessa apertura, ogni volta","oss-aion-one-envelope.b5a871e570":"una pila di ricevute","oss-aion-one-envelope.f90f47de4d":"una sequenza di transizioni","oss-aion-one-envelope.3116f117c0":"una tabella di passaggi","oss-aion-one-envelope.134483f4a2":"una prova per clausole","oss-aion-one-envelope.93a8ee0c5f":"cosa contiene","oss-aion-one-envelope.582a139a7d":"instradato per tipo","oss-aion-one-envelope.6b9805fe87":"Una busta, quattro payload","oss-aion-one-envelope.3dde401523":"esecuzione runtime","oss-aion-one-envelope.708563c595":"ed25519, verificato","oss-aion-one-envelope.f2e0576c5b":"due, nominati sotto","oss-aion-one-envelope.f7b7603261":"sigillato, 41 kB","oss-aion-one-envelope.15aae6195c":"payload del certificato","oss-aion-one-envelope.6732222b05":"tipo di certificato","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"versione del contratto","oss-aion-one-envelope.b578b9727d":"nessun addebito doppio nel periodo 2026-06","oss-aion-one-envelope.a503bc1da2":"rifiutato","oss-aion-one-envelope.51c817ab85":"accettato","oss-aion-one-envelope.495117c360":"dipendenze","oss-aion-one-envelope.910e029098":"illustrativo","oss-aion-one-field-apart.e704601d64":"l'asse, non un campione","oss-aion-one-field-apart.5c256bca81":"L'esito si è spostato con esso, e questo è un risultato piuttosto che una statistica.","oss-aion-one-field-apart.7a1e726c2f":"Due applicazioni identiche in ogni campo pubblico, a un numero di distanza.","oss-aion-one-field-apart.084f6c9ebe":"ogni coppia consentita dalle regole","oss-aion-one-field-apart.ddaee9368d":"mille casi testati","oss-aion-one-field-apart.4c4ccacd1b":"una coppia che puoi inserire in un file","oss-aion-one-field-apart.6fddc6a6d1":"fascia B,","oss-aion-one-field-apart.dbf68713b1":"la stessa linea, a gradini","oss-aion-one-field-apart.8c6c701170":"il caso che fallisce","oss-aion-one-field-apart.0f9dcd24f1":"l'esito non dipendeva da questo campo","oss-aion-one-field-apart.154b3f8e44":"fascia B, 3 offerte","oss-aion-one-field-apart.4392f1d89c":"una linea, senza gradini","oss-aion-one-field-apart.02de2da27e":"il caso che regge","oss-aion-one-field-apart.b7de103af7":"stipendio lordo, libero su entrambi i lati","oss-aion-one-field-apart.c86b5b3346":"in parità su entrambi i lati","oss-aion-one-field-apart.54bb687f85":"applicazioni illustrative","oss-aion-one-field-apart.b69108366c":"l'esito fa un gradino in corrispondenza della coppia","oss-aion-one-field-apart.e79b0df746":"A un campo di distanza","oss-aion-one-field-apart.e1fef06921":"offerte","oss-aion-one-field-apart.8699f2b04f":"permanente","oss-aion-one-field-apart.06e3125012":"impiego","oss-aion-one-field-apart.305fa62f02":"30-39","oss-aion-one-field-apart.c6a0c81b25":"fascia d'età","oss-aion-one-field-apart.61a7508ed1":"base","oss-aion-one-field-apart.38a007151a":"prodotto","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"regione","oss-aion-one-word.95fa084cc9":"uno di questi controlli AION","oss-aion-one-word.ce157273ec":"tre di questi che credi","oss-aion-one-word.a04376ab99":"e cosa puoi farci","oss-aion-one-word.1a5b0d2471":"IL DIVARIO","oss-aion-one-word.69dc71b6f9":"Con cosa arriva un risultato","oss-aion-one-word.8d40d2bfcc":"Affermazioni tipizzate, ciascuna che nomina una regola, una transizione o una premessa.","oss-aion-one-word.2f8acfe792":"Un certificato","oss-aion-one-word.b04dce1dd0":"Quanto tempo ci è voluto per essere sicuri. La certezza non è la questione.","oss-aion-one-word.7eb987f893":"Una durata","oss-aion-one-word.8388e9c8ba":"Cosa ha fatto il sistema. Non perché la conclusione segue.","oss-aion-one-word.40d0f0d4b5":"Un registro","oss-aion-one-word.e7597ba59a":"unsat, compilato, sicuro, approvato. Niente da contestare.","oss-aion-one-word.ae976ad8e9":"Una parola","oss-aion-org-cert.dd25bad09c":"e ciascuno è verificato","oss-aion-org-cert.e8add8f2b8":"organizzazione, ruoli, attività e approvazioni colmano le lacune","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"dall'obiettivo alla ricevuta","oss-aion-org-cert.0a629276bf":"Otto elementi nella catena","oss-aion-org-cert.51e6694762":"Cosa è stato effettivamente fatto all'esterno e cosa è tornato.","oss-aion-org-cert.4f0a23ec14":"Azioni e ricevute","oss-aion-org-cert.b249df120c":"Ogni confine attraversato dal lavoro e ciò che lo ha superato.","oss-aion-org-cert.5eaad4eb5f":"Barriere superate","oss-aion-org-cert.aba30ac5b8":"Quale ruolo deteneva cosa, nel momento in cui l'azione è stata tentata.","oss-aion-org-cert.145ae750ce":"Autorità risolta","oss-aion-org-cert.f8a4dc9c6b":"Cosa si stava tentando, con quale versione della policy.","oss-aion-org-cert.63fbd2b7ee":"Obiettivo e policy","oss-aion-pipeline.b07bbe8800":"Nucleo proposizionale","oss-aion-pipeline.81f811c968":"Una ricerca con apprendimento di clausole guidata dai conflitti sullo scheletro booleano. Decide, propaga, incontra un conflitto, apprende una clausola e fa backtracking. I valori binari, interi e a punto fisso adattivo sono alla base della procedura di decisione; nessun valore a virgola mobile viene memorizzato, accumulato o usato come ripiego nel nucleo aritmetico.","oss-aion-pipeline.dc0dd5bc07":"decisioni e clausole apprese","oss-aion-pipeline.0c5ad3c30f":"Plugin di teoria","oss-aion-pipeline.f3a7990ab0":"Il nucleo affida un'assegnazione parziale al livello di teoria. Aritmetica, bitvector, array e stringhe ragionano nei propri domini e restituiscono propagazioni e conflitti. L'input esterno a virgola mobile viene decodificato al confine in campi binari o in una scala a punto fisso dichiarata prima di entrare nella verifica. Il kernel ospita questi ragionatori; le teorie temporali e di programma vivono in crate companion.","oss-aion-pipeline.9d1b00d225":"lemmi di teoria e conflitti","oss-aion-pipeline.fa6a461dcc":"Emettitore di prove","oss-aion-pipeline.b3ca95c05c":"Ogni passo compiuto dal motore, ogni risoluzione e ogni lemma di teoria, viene registrato dall'emettitore di prove mentre accade. Il risultato è una derivazione ordinata che un checker separato può riprodurre a partire dalle sue premesse.","oss-aion-pipeline.17ac98f8af":"una derivazione ordinata","oss-aion-pipeline.26d98dc390":"Esportazione di formato","oss-aion-pipeline.a79251f54d":"La derivazione viene scritta come LRAT, DRAT o Alethe, oppure mantenuta nella forma intermedia unificata. LRAT contiene suggerimenti di propagazione unitaria, ed è ciò che rende la verifica offline lineare rispetto alla lunghezza della prova.","oss-aion-pipeline.8c3cee1cd3":"un certificato portabile","oss-aion-pipeline.77ec79ed26":"dalla decisione al certificato","oss-aion-pipeline.c320454a47":"CDCL + teoria + emettitore","oss-aion-pipeline.a618b4be8d":"Query","oss-aion-pipeline.10de46b3b3":"Certificato","oss-aion-pipeline.62923220ae":"Intero / punto fisso.","oss-aion-pipeline.4961117925":"Nessun valore a virgola mobile all'interno del nucleo.","oss-aion-pipeline.591118af56":"Catena di risoluzioni.","oss-aion-pipeline.39dfacd414":"Ogni passo cita le premesse da cui dipende, in ordine.","oss-aion-pipeline.7fc7b98317":"Checker indipendente.","oss-aion-pipeline.f0bef425b5":"Il certificato viene riprodotto senza il solver.","oss-aion-pipeline.a73bc5ed23":"Architettura, nucleo CDCL, plugin di teoria, emettitore di prove","oss-aion-plain-card.7e190a46ae":"Una macchina dà una risposta","oss-aion-plain-card.b8941c136d":"Un computer elabora qualcosa per te. Da solo, devi solo fidarti della sua parola.","oss-aion-plain-card.1232ecf314":"Scrive anche una ricevuta","oss-aion-plain-card.af7230bfb9":"AION fa sì che la macchina stampi una piccola ricevuta accanto alla risposta. La ricevuta mostra ogni passaggio che ha compiuto per arrivarci.","oss-aion-plain-card.262d1681dd":"Chiunque può controllare la ricevuta","oss-aion-plain-card.7d35d2e097":"Il tuo assistente personale legge la ricevuta e dice sì, torna, oppure no, è sbagliato. Non deve fidarsi affatto della prima macchina.","oss-aion-plain-card.e8146bafb5":"AION, in parole semplici","oss-aion-plain-card.0b081a8ef4":"Ricevuta inclusa","oss-aion-plain-card.a32564404b":"Pensa a una ricevuta di pagamento. Quando compri qualcosa, ricevi uno scontrino che dimostra che il negozio ti ha addebitato l'importo corretto. Puoi mostrare quella ricevuta a chiunque, e possono verificarla da soli.","oss-aion-plain-card.d5d9b99b9c":"AION fa la stessa cosa per un computer.","oss-aion-plain-card.2cc68d964c":"Quando una macchina dà una risposta, AION ti consegna una ricevuta che dimostra che la risposta è corretta, e chiunque può controllarla.","oss-aion-plain-card.374c644917":"Non devi mai semplicemente fidarti della macchina. La ricevuta fa la prova.","oss-aion-plain-refusal.7d7fc8edd4":"la stessa spiegazione vale per te e per chiunque la esamini, perché è una\n            spiegazione","oss-aion-plain-refusal.40c2416b25":"un caso che puoi leggere, non una croce che non puoi","oss-aion-plain-refusal.f795b42ea6":"Lo spazio su questa carta torna all'importo pieno il 1° agosto, tra due giorni.","oss-aion-plain-refusal.3ae2a82129":"quando succede","oss-aion-plain-refusal.a6012020ae":"O 150 euro in più di spazio sulla carta, oppure un pagamento di 90 euro o meno.","oss-aion-plain-refusal.74b2c9301b":"cosa lo cambierebbe","oss-aion-plain-refusal.e88b1876e6":"90 euro non coprono 240 euro, quindi il pagamento e lo spazio rimasto non possono entrambi reggere.","oss-aion-plain-refusal.d649363397":"quale parte lo rompe","oss-aion-plain-refusal.ec7a8f0a8d":"Il pagamento era di 240 euro. Lo spazio rimasto sulla carta oggi era di 90 euro.","oss-aion-plain-refusal.fcd45ae097":"la tua situazione","oss-aion-plain-refusal.e51b51ac5a":"Un pagamento va a buon fine solo se lo spazio rimasto sulla carta oggi lo copre.","oss-aion-plain-refusal.93823841cb":"cosa dice la regola","oss-aion-plain-refusal.9bc7984374":"Perché non è andato a buon fine","oss-aion-plain-refusal.549840f998":"Quando una regola viene violata, AION scrive la situazione che l'ha violata, in frasi\n            ordinarie con i numeri dentro. Il pagamento era di questo importo, lo spazio rimasto\n            sulla carta oggi era inferiore a quello, e insieme questi due fatti violano la regola.\n            Puoi leggerlo, dissentire con precisione, o cambiare l'unica cosa che deve cambiare.\n            Una croce in una casella non ti dà nulla di tutto ciò, e non è più corta, solo più vuota.","oss-aion-plain-refusal.3b50831d8a":"Una decisione automatizzata che ti rifiuta è peggiore di una presa da una persona, perché di\n            solito non c'è nulla da chiedere. Il rifiuto arriva già completo. Quello che ottieni è l'esito\n            e, se sei fortunato, un numero di riferimento, e la strada verso una spiegazione vera è un\n            reclamo che richiede settimane e arriva a qualcuno che non era coinvolto nemmeno lui.","oss-aion-plain-refusal.ada63e5c2f":"Un caso elaborato lo è.","oss-aion-plain-refusal.462f7e9213":"\"Non consentito\" non è una ragione.","oss-aion-plain-refusal.5abdfa9cd6":"La differenza","oss-aion-plain-refusal.68c46e84d7":"chiaro","oss-aion-reasoning-cert.0f1fb3d007":"e ogni elemento viene verificato","oss-aion-reasoning-cert.98ec75a261":"i limiti e la conclusione finale completano i sette","oss-aion-reasoning-cert.433b925481":"Ciò che è stato escluso e le premesse che lo hanno escluso.","oss-aion-reasoning-cert.13382efd7c":"Contraddizioni","oss-aion-reasoning-cert.e856a27527":"Il sottoproblema escluso e la dimostrazione che ne è derivata.","oss-aion-reasoning-cert.92324f5363":"Certificati del solver","oss-aion-reasoning-cert.fe451714e4":"Ciascuno nominato, nell'ordine in cui è stato applicato.","oss-aion-reasoning-cert.e0d40a5309":"Applicazioni delle regole","oss-aion-reasoning-cert.e0753c6513":"Ciò che era in vigore, a quale versione, quando è stato eseguito il lavoro.","oss-aion-reasoning-cert.b9366c0dbf":"Vincoli attivi","oss-aion-reasoning-cert.a04ed61a81":"il solver","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"sette elementi","oss-aion-reasoning-cert.eb64d71581":"Cosa contiene un certificato di ragionamento","oss-aion-reasoning-chain.126806353c":"dichiarato, poi verificato","oss-aion-reasoning-chain.751e90e830":"Ognuno di essi è un artefatto lasciato dal ragionamento, e ognuno viene letto.","oss-aion-reasoning-chain.bc96941170":"Quattro vincoli, due applicazioni di regole, un passaggio del solver e una contraddizione.","oss-aion-reasoning-chain.57fa7b904f":"Ciò che viene verificato qui è la derivazione dichiarata dal sistema, elemento per elemento.","oss-aion-reasoning-chain.e0aa3695ac":"core 01 02 04, e 03 non è incluso","oss-aion-reasoning-chain.e3338dab26":"doppio addebito escluso","oss-aion-reasoning-chain.a43e177c4c":"il rimborso 04 inverte","oss-aion-reasoning-chain.becc703d80":"addebito unificato","oss-aion-reasoning-chain.398df239b3":"da 01 e 02","oss-aion-reasoning-chain.373c5eb4cc":"letto passo dopo passo, si chiude","oss-aion-reasoning-chain.45f358826b":"restituito dal prover, in Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvector e uguaglianza, nient'altro attraversa","oss-aion-reasoning-chain.34fcd5c8c7":"sottoproblema, sigillato","oss-aion-reasoning-chain.8c7f764922":"al conteggio dei tentativi, da 02 e 03","oss-aion-reasoning-chain.7c960fefa4":"tre sollevati nel core, uno lasciato dov'era","oss-aion-reasoning-chain.eeacd6e80f":"vincoli attivi, nelle parole scritte dal responsabile","oss-aion-reasoning-chain.0ee0bb12eb":"Questa configurazione non può produrre un doppio addebito all'interno di un periodo di fatturazione.","oss-aion-reasoning-chain.c0644670d0":"l'affermazione che Loom sostiene","oss-aion-reasoning-chain.9616861141":"affermazione illustrativa e versioni","oss-aion-reasoning-chain.e4f7c8c782":"il core ne nomina tre, ne chiarisce uno","oss-aion-reasoning-chain.43c7dffedb":"Una conclusione, aperta","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"da 8 e 9","oss-aion-reasoning-chain.3d26486c4c":"da 8","oss-aion-reasoning-chain.5a6d9bdd37":"da 3 e 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Un rimborso inverte l'addebito che nomina.","oss-aion-reasoning-chain.4c449f834c":"Un periodo di fatturazione si chiude a mezzanotte dell'ultimo giorno.","oss-aion-reasoning-chain.a663638447":"Un tentativo non genera mai un secondo addebito.","oss-aion-reasoning-chain.0d43228516":"Un addebito viene generato una volta per ogni consegna completata.","oss-aion-reassure.38a3bd59d5":"Il punto è semplice: non fidarti mai della parola di una macchina. Conserva una motivazione che un secondo verificatore possa testare.","oss-aion-reassure.0ccc7397a4":"No. La ricevuta può essere controllata proprio dove ti trovi, senza inviare nulla su internet.","oss-aion-reassure.5bea629f3e":"La mia risposta viene inviata da qualche parte?","oss-aion-reassure.af397dc934":"È costruito in Europa. Un verificatore separato, non la macchina che ha prodotto la risposta, controlla ogni ricevuta.","oss-aion-reassure.7de6360d68":"Da dove viene?","oss-aion-reassure.a93d9edbec":"No. Non devi costruire nulla di tutto questo da solo. Il negozio, l'ospedale o l'ufficio lo usa per te. Tu ricevi solo una risposta più chiara.","oss-aion-reassure.39af3a44b7":"Devo essere esperto di computer?","oss-aion-reassure.bdbcd6057e":"Sì. La ricevuta può essere controllata di nuovo senza il modello originale, la sessione, l'account o la connessione internet.","oss-aion-reassure.aa1b0d7005":"Può essere controllata in seguito?","oss-aion-receipt.36889df54f":"Non lo tocchi mai tu. Quando un negozio o un ufficio lo usa per te, questo è lo scontrino\n          che può consegnarti.","oss-aion-receipt.46fbbfb5be":"Chiunque può leggerlo e verificare che torni.","oss-aion-receipt.9c258dd430":"e devi crederci. Con AION la\n            macchina ti consegna anche il piccolo scontrino a sinistra. Mostra la domanda, i passaggi e\n            la risposta.","oss-aion-receipt.013700f8eb":"Una macchina normale dice solo","oss-aion-receipt.12df5bb228":"Da conservare","oss-aion-receipt.7b8544fad0":"Torna","oss-aion-receipt.def2581739":"Ricevuta della risposta","oss-aion-receipt.6e17da21e4":"Un esempio di ricevuta della risposta","oss-aion-receipt.f2688d32ea":"Chiedi di nuovo e ottieni la stessa risposta e lo stesso scontrino, su qualsiasi computer.","oss-aion-receipt.2379231efe":"Sempre uguale","oss-aion-receipt.a4b884c0e4":"Il tuo assistente personale controlla lo scontrino proprio dove sei, senza inviare nulla.","oss-aion-receipt.930888ee28":"Niente internet","oss-aion-receipt.7a019cc1d2":"Il motivo è sullo scontrino, non nascosto nella macchina. Puoi conservarlo o mostrarlo.","oss-aion-receipt.47b716baec":"Per iscritto","oss-aion-receipt.92ed516e5b":"Sì, ed ecco perché.","oss-aion-receipt.7011b1a621":"La risposta","oss-aion-receipt.8ab9465666":"Il tuo caso è stato abbinato a essa.","oss-aion-receipt.16bb8dfc44":"Passaggio due","oss-aion-receipt.d3ca88b9f3":"La regola è stata letta per intero.","oss-aion-receipt.e97cc54395":"Passaggio uno","oss-aion-receipt.afd2793ce0":"Ho diritto a questo rimborso?","oss-aion-receipt.d79cce547d":"La domanda","oss-aion-recheck-list.09d5defeae":"due righe, due nomi","oss-aion-recheck-list.fd3e1afd0e":"o, molto più spesso, di niente affatto.","oss-aion-recheck-list.459f160ffa":"Senza la versione dietro ogni riga, la stessa notifica produce un riesame di\n          tutto,","oss-aion-recheck-list.cade8a80df":"l'elenco, e chi lo detiene","oss-aion-recheck-list.6f13975269":"ancora compatibile","oss-aion-recheck-list.48f8969999":"rilettura richiesta","oss-aion-recheck-list.af0f44d357":", modificato in","oss-aion-recheck-list.4202e0844e":"La regola del limite di ottimalità è letta in modo più rigoroso. Un limite dichiarato esattamente al limite non è\n              più accettato come inferiore ad esso.","oss-aion-recheck-list.1c26bb5963":"rilasciato il 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Checker v7.0","oss-aion-recheck-list.9ffcf8f72b":"voci illustrative","oss-aion-recheck-list.dc490c03ae":"due su cinque segnalati","oss-aion-recheck-list.7316018edf":"I record interessati","oss-aion-recheck-list.2237af7cd3":"la regola del limite di ottimalità","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Percorso ottimale, deposito nord","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Build del firmware, gateway 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Valutazione del consenso, campagna 44","oss-aion-recheck-list.3c54a1df45":"in house","oss-aion-recheck-list.b8d251e8cd":"Esecuzione prezzi in batch","oss-aion-recheck-list.dce56394a1":"Piano turni, settimana 12","oss-aion-recheck-list.48a3661d84":"stato","oss-aion-recheck-list.29e5b9a8e6":"checker","oss-aion-recheck-list.51c817ab85":"accettato","oss-aion-recheck-list.e2979e7595":"fornitore","oss-aion-recheck-list.335ce16b3f":"oggetto","oss-aion-recheck-list.796a88413e":"J. Okonkwo, operazioni","oss-aion-recheck-list.90916dd844":"Ricontrolla, poi conferma il limite dichiarato con il fornitore.","oss-aion-recheck-list.00e67572db":"M. de Vries, protezione dati","oss-aion-recheck-list.e4faeae968":"Ricontrolla il certificato memorizzato rispetto alla v7.0.","oss-aion-record-fields.8580937ae7":"ciascuno produce il proprio insieme di elementi interessati","oss-aion-record-fields.632f62dd8b":"uno schema di certificato completa i sette","oss-aion-record-fields.7039b2f0bd":"dove si trova ora","oss-aion-record-fields.74b489c3d1":"dove si trovava","oss-aion-record-fields.5d5dc3b7c3":"DURABILE","oss-aion-record-fields.c2a1a83804":"e non sono solo regole di prova","oss-aion-record-fields.12b83ffb63":"Cosa può cambiare alla base","oss-aion-record-fields.91b3cb991a":"una versione più recente del modello","oss-aion-record-fields.e1ab670f61":"Un contratto di modello o simulazione","oss-aion-record-fields.da15b4cbb5":"la rivendicazione stessa si è spostata","oss-aion-record-fields.26e4976c38":"Un contratto di compilatore o runtime","oss-aion-record-fields.cb2c2e30b7":"autorizzato sotto un altro","oss-aion-record-fields.43e275dea3":"Una policy","oss-aion-record-fields.521a7a8570":"letto diversamente ora","oss-aion-record-fields.58fd9f572c":"Una regola di controllo","oss-aion-refusal-fields.432aa8565f":"un riferimento che qualcuno può inseguire","oss-aion-refusal-fields.36a85f9074":"non una croce rossa","oss-aion-refusal-fields.fe71871083":"AVVISO","oss-aion-refusal-fields.4f84be92c8":"così qualcuno può agire di conseguenza","oss-aion-refusal-fields.fa31a3ca39":"Cosa contiene un rifiuto","oss-aion-refusal-fields.5647a1c020":"decidere di chi è il risultato","oss-aion-refusal-fields.11c0add347":"Un difetto nella prova, o una regola che non seguiamo. Non è la stessa cosa.","oss-aion-refusal-fields.a74aa40f65":"Il tipo","oss-aion-refusal-fields.d3144a7994":"vedere ciò che non c'era","oss-aion-refusal-fields.060958d8fd":"Cosa mancava o era sbagliato quando è stato ricontrollato.","oss-aion-refusal-fields.a7dc07c061":"Il motivo","oss-aion-refusal-fields.3b21710b2e":"controllare cosa avrebbe dovuto fare","oss-aion-refusal-fields.f80b017fdb":"Cosa dichiarava di fare il passaggio.","oss-aion-refusal-fields.0056e788fc":"La regola","oss-aion-refusal-fields.89abf35df5":"aprilo a quella riga","oss-aion-refusal-fields.3dac51b71a":"Quale passaggio, per numero, in quale file.","oss-aion-refusal-fields.2fb8438f32":"La posizione","oss-aion-reviewable.e0cb1b89aa":"non solo l'autore","oss-aion-reviewable.f29c4ff9dd":"il proprietario lo esamina","oss-aion-reviewable.c6465865b0":"la tua frase","oss-aion-reviewable.ed6912ad70":"REVISIONE","oss-aion-reviewable.5867cc6bd5":"senza imparare la notazione","oss-aion-reviewable.8f8dec6da0":"Cosa vede un revisore","oss-aion-reviewable.da8643122f":"Un nome, una data e la versione della frase confermata.","oss-aion-reviewable.7c92afb7f9":"Una conferma firmata","oss-aion-reviewable.340e6b4675":"Una revisione ripetuta legge lo stesso, perché nulla ha campionato un modello.","oss-aion-reviewable.b08be2b959":"Lo stesso ogni volta","oss-aion-reviewable.d3a2628a1c":"Ogni quantità nominata, con il tipo di valore che contiene.","oss-aion-reviewable.2587914ff8":"Su cosa opera","oss-aion-reviewable.f0a2aa51a4":"Una frase che dice cosa codifica l'intera condizione.","oss-aion-reviewable.5a47a1dcaf":"Una lettura chiara","oss-aion-reviewable.aee2d461c7":"Invariata, in cima, come l'hanno scritta.","oss-aion-reviewable.7488358db7":"La loro stessa frase","oss-aion-risk-ledger.1a0f2538e1":"Cinque esposizioni operative sostituite da un unico certificato che un altro verificatore può controllare.","oss-aion-risk-ledger.4b32d8f574":"Con AION","oss-aion-risk-ledger.2e34d48ba3":"Il modo consueto","oss-aion-risk-ledger.d1d7499182":"CONFRONTO AFFIANCATO","oss-aion-risk-ledger.02c7234156":"Riproduci il ragionamento offline e verificalo di persona.","oss-aion-risk-ledger.b5058e1c76":"Fidati della parola del fornitore che la risposta sia corretta.","oss-aion-risk-ledger.d2e183faa1":"Quanto fidarsene","oss-aion-risk-ledger.96f0603563":"Il certificato controlla senza nessuno di essi.","oss-aion-risk-ledger.04312971f3":"Il modello originale, la sessione del solver e il servizio devono essere ancora disponibili.","oss-aion-risk-ledger.2df1215b19":"Da cosa dipende la verifica","oss-aion-risk-ledger.8ddd34c358":"Viene eseguito sul tuo hardware, in una giurisdizione che approvi.","oss-aion-risk-ledger.c3fe4a906f":"Le decisioni sono spiegate su server che non controlli.","oss-aion-risk-ledger.242ebe0c39":"Dove risiedono i dati","oss-aion-risk-ledger.75eb05728b":"I formati di prova standard rimangono verificabili in modo indipendente.","oss-aion-risk-ledger.46d3f9eccd":"La spiegazione scompare con il servizio originale.","oss-aion-risk-ledger.8ea6189e84":"Quando cambia il runtime","oss-aion-risk-ledger.21ff58d6a7":"Consegni un certificato che il revisore può controllare da sé.","oss-aion-risk-ledger.934929b924":"Inoltri i file di log e speri che vengano letti come prova.","oss-aion-risk-ledger.8632e0b3b5":"Quando il revisore chiede","oss-aion-rule-refusal.c354dff2de":"nessun verdetto dopo 15","oss-aion-rule-refusal.0fc2b67ff7":"al primo passo fallisce","oss-aion-rule-refusal.d7cb461a4b":"Quattro test in ordine fisso, e la lettura si ferma","oss-aion-rule-refusal.ad9deadf27":"un identificatore di clausola usato per due clausole","oss-aion-rule-refusal.ffc05ba511":"un pivot dichiarato su un letterale che la clausola non contiene","oss-aion-rule-refusal.5af32fb7c4":"un suggerimento che cita il passo che dovrebbe giustificare","oss-aion-rule-refusal.fbf5522f0e":"bloccato dalla suite ostile","oss-aion-rule-refusal.d3b27b8f89":"non ha chiuso","oss-aion-rule-refusal.0f04e9ee60":"letterali ancora presenti sull'ultima clausola","oss-aion-rule-refusal.90f9cbf1cb":"fine del file","oss-aion-rule-refusal.196a925493":"indice della premessa, da 1 a 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, regola per regola","oss-aion-rule-refusal.b14e7fc954":"fermatosi a 15","oss-aion-rule-refusal.ce0ed8058b":"Una prova, letta dall'inizio","oss-aion-rule-refusal.af0cbd46a2":"citato fuori ordine","oss-aion-rule-refusal.165a394589":"da 61 e 20","oss-aion-rule-refusal.dd39474e4f":"premessa assente","oss-aion-rule-refusal.6edfd31763":"da 88","oss-aion-rule-refusal.d18b697772":"cita se stesso","oss-aion-rule-refusal.5c7bf112ac":"da 31 e 18","oss-aion-rule-refusal.64b0295aa0":"regola non supportata","oss-aion-rule-refusal.5e2428fc82":"da 14","oss-aion-rule-refusal.a7e8697338":"da 12 e 13","oss-aion-rule-refusal.ba08b53848":"da 4","oss-aion-rule-refusal.2a1be725ca":"risoluzione 12","oss-aion-rule-refusal.54a0121f57":"da 4 e 9","oss-aion-rule-refusal.8ffe1b4177":"regola nota","oss-aion-rule-refusal.ebed34abd2":"sotto il proprio","oss-aion-rule-refusal.d182b65e15":"premessa presente","oss-aion-rule-refusal.a503bc1da2":"rifiutato","oss-aion-rule-refusal.3a21295d81":"archivio","oss-aion-same-except-one.279e6c9e96":"una è lavorata sotto","oss-aion-same-except-one.87ca0e7356":"limiti, derivazioni e provenienza del modello completano i sette","oss-aion-same-except-one.72b459f8cc":"PROPRIETÀ","oss-aion-same-except-one.25119f6e70":"e la famiglia che porta ciascuno","oss-aion-same-except-one.ed6552be04":"Affermazioni che puoi fare","oss-aion-same-except-one.633255fe41":"Questa traiettoria ha rispettato questi invarianti.","oss-aion-same-except-one.6b403d2a35":"Questa azione aveva l'approvazione richiesta.","oss-aion-same-except-one.ac5d8ada02":"Questo carico di lavoro è stato eseguito con queste capacità.","oss-aion-same-except-one.5e8efc64f2":"Questo binario corrisponde a questo grafo sorgente.","oss-aion-same-except-one.81c0e8e986":"simulazione","oss-aion-same-except-one.92fe1455a7":"organizzativo","oss-aion-same-except-one.1e21474598":"esecuzione","oss-aion-same-except-one.023646ce84":"compilazione","oss-aion-same-rule-parts.3326352b94":"questi tre la superano","oss-aion-same-rule-parts.b33174d833":"la risposta è una riga","oss-aion-same-rule-parts.490fbefa4b":"fare lo stesso lavoro due volte e il controllo esce uguale","oss-aion-same-rule-parts.ce173fc797":"Trattenuto per un secondo controllo.","oss-aion-same-rule-parts.60c6fa6f09":"la risposta","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"dopo che arriva la risposta","oss-aion-same-rule-parts.3fea5c7183":"Tre cose che tieni","oss-aion-same-rule-parts.f460809c86":"Quando il lavoro è stato controllato, e da cosa.","oss-aion-same-rule-parts.1f26226511":"il registro","oss-aion-same-rule-parts.f3488c72aa":"La data","oss-aion-same-rule-parts.7e9a6ac9d7":"La regola citata, con la tua situazione dentro.","oss-aion-same-rule-parts.fa1f96a2cc":"stampato con la risposta","oss-aion-same-rule-parts.a7dc07c061":"Il motivo","oss-aion-same-rule-parts.51240e4e03":"Parole semplici, conservate, così puoi leggerle a chiunque.","oss-aion-same-rule-parts.f901c543a0":"come l'ha scritto qualcuno","oss-aion-same-rule-parts.0056e788fc":"La regola","oss-aion-same-rule-thrice.8716c9d2d1":"citabile da tutti e tre","oss-aion-same-rule-thrice.56daaad027":"Nessuno ha interpretato il caso di qualcun altro sul momento.","oss-aion-same-rule-thrice.fe8d9a24bc":"Tre nomi, tre date, una sola ragione parola per parola.","oss-aion-same-rule-thrice.2d4e5d243a":"le stesse parole in tutte e tre le lettere","oss-aion-same-rule-thrice.36c5f05f0e":"La mia richiesta è stata trattenuta perché qualsiasi richiesta da un account che è mai stato in rosso\n              viene trattenuta per un secondo controllo. È questo che intendevi fare?","oss-aion-same-rule-thrice.47b69ccfd4":"ciò che ciascuno dei tre può scrivere","oss-aion-same-rule-thrice.5441126254":"la ragione, con i tuoi numeri","oss-aion-same-rule-thrice.e026ce35f8":"la regola, a parole","oss-aion-same-rule-thrice.c6b6fdf0c8":"La tua richiesta è trattenuta","oss-aion-same-rule-thrice.4af8028f5b":"Questo colpisce tutti coloro che sono stati in rosso per una settimana.","oss-aion-same-rule-thrice.43d7f6edd9":"Qualsiasi richiesta da un account che è mai stato in rosso viene trattenuta per un secondo controllo.","oss-aion-same-rule-thrice.d5dff79fd0":"la regola, come l'ha scritta la persona responsabile","oss-aion-same-rule-thrice.660cf69152":"stessa ragione, tre volte","oss-aion-same-rule-thrice.2aa5baf4fa":"una regola, tre persone","oss-aion-same-rule-thrice.2969c22def":"in rosso per un giorno nell'agosto 2024","oss-aion-same-rule-thrice.db55a373e5":"2 luglio","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"in rosso per due giorni nel novembre 2021","oss-aion-same-rule-thrice.8a343dea89":"19 giugno","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"in rosso per sei giorni nel marzo 2023","oss-aion-same-rule-thrice.e46936527e":"4 giugno","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Il tuo account è stato in rosso in qualche momento, quindi questa richiesta è trattenuta per un secondo controllo.","oss-aion-same-rule-thrice.69449f994d":"rif.","oss-aion-same-rule-thrice.910e029098":"illustrativo","oss-aion-second-reader.e2a4a212d5":"indicare la riga è la parte utile","oss-aion-second-reader.b31aece7ea":"l'accordo è facile","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"cosa fa la seconda lettura","oss-aion-second-reader.d160172930":"Rifare la somma","oss-aion-second-reader.0bd3d42b28":"Un programma diverso, senza motivo per preferire la risposta.","oss-aion-second-reader.2c814bb70c":"Non è la prima macchina","oss-aion-second-reader.b792afd627":"E dice quale passaggio, quindi c'è qualcosa da indicare.","oss-aion-second-reader.4a195096b0":"Si ferma al primo errore","oss-aion-second-reader.58f56fa2c3":"Lo ricalcola invece di fidarsi che sia stato fatto.","oss-aion-second-reader.5abf0b9df4":"Fa ogni passaggio","oss-aion-second-reader.de8f44bd3b":"Non la risposta. I passaggi che dovevano portarci.","oss-aion-second-reader.0a461499ae":"Legge lo svolgimento","oss-aion-second-sum.2517e33359":"un luogo, non un verdetto","oss-aion-second-sum.1f31706279":"Quello che ti serviva era la riga, ed eccola lì.","oss-aion-second-sum.1b06fb1625":"Entrambe le colonne arrivano a un totale, e una delle due è sbagliata.","oss-aion-second-sum.715f45331b":"La lettura si ferma a cinque invece di proseguire fino a sei, perché un controllo che salta un\n          passaggio che non può far tornare non è un controllo.","oss-aion-second-sum.be51277bfd":"non raggiunto","oss-aion-second-sum.a90d766915":"questo passaggio non torna","oss-aion-second-sum.b214ae4ce2":"la stessa mossa, su una macchina funzionante, annotata","oss-aion-second-sum.e4cddfd229":"Chiunque può sommare la colonna da sé e arrivare alla stessa riga. Questa è\n              l'idea centrale, applicata a un lavoro che nessuno può vedere.","oss-aion-second-sum.a72b4463ba":"Le due colonne concordano per tre righe. L'anello gira intorno alla riga in cui\n              divergono, non intorno al totale, perché il totale non è mai stato la cosa utile da\n              discutere.","oss-aion-second-sum.136fc39d05":"Dieci centesimi, ed è alle mele.","oss-aion-second-sum.1104f28cf8":"da pagare","oss-aion-second-sum.51111a2b99":"il negozio, martedì","oss-aion-second-sum.e9594ccf76":"divergono alle mele","oss-aion-second-sum.bb470fd83f":"la stessa colonna, sommata due volte","oss-aion-second-sum.0220a293b9":"il reclamo è pagato","oss-aion-second-sum.f7e5a74a1f":"ciò che resta da pagare torna","oss-aion-second-sum.597b954c29":"l'eccedenza è stata tolta","oss-aion-second-sum.edccd745a8":"l'importo è sotto il limite per quella riparazione","oss-aion-second-sum.709d0bb348":"la riparazione è nella lista coperta","oss-aion-second-sum.1396b1459a":"il conto era aperto il giorno del reclamo","oss-aion-second-sum.d2fc512490":"matita","oss-aion-second-sum.1c8f15dab7":"stampato","oss-aion-second-sum.910e029098":"illustrativo","oss-aion-second-sum.f6c1ab8181":"sapone","oss-aion-second-sum.bcef7a0462":"formaggio","oss-aion-second-sum.76c2436b59":"mele","oss-aion-second-sum.44213f9f4d":"caffè","oss-aion-second-sum.6ff291d817":"pane","oss-aion-second-sum.cf5dbf0ec5":"latte","oss-aion-sentence-returns.e9a72f31df":"le tue parole, entrambe le estremità","oss-aion-sentence-returns.254545287c":"Otto mesi dopo un estraneo la legge, non un riassunto di essa.","oss-aion-sentence-returns.f0e71316de":"Una persona ha scritto una frase e l'ha messa da parte.","oss-aion-sentence-returns.4c51f16cb4":"Niente tra queste due letture ha imparato qualcosa, ha cambiato idea o ha avuto\n            un'idea migliore.","oss-aion-sentence-returns.06152533dc":"non è consentita una seconda addebito per un ordine nello stesso mese di fatturazione","oss-aion-sentence-returns.fb3e6817f1":"dalla lettura di un anno dopo","oss-aion-sentence-returns.32af205ca5":"dalla lettura di marzo","oss-aion-sentence-returns.0b1eb314b5":"la stessa frase, letta di nuovo un anno dopo","oss-aion-sentence-returns.547a49e160":"l'ordine 44-8127 è stato addebitato il tre novembre e di nuovo il diciannove","oss-aion-sentence-returns.d3141af6d8":"ciò che vi è confluito","oss-aion-sentence-returns.a2d40412ef":"un secondo addebito per un ordine nello stesso mese di fatturazione","oss-aion-sentence-returns.0ee2593cc5":"la parte che non è stata soddisfatta","oss-aion-sentence-returns.43015fadc4":"Nessuno dovrebbe essere addebitato due volte per lo stesso ordine nello stesso mese.","oss-aion-sentence-returns.2ce9eb0823":"la regola, nelle parole in cui è stata scritta","oss-aion-sentence-returns.5c4173fbcf":"9 novembre, inviato al cliente","oss-aion-sentence-returns.96ec36f99b":"Un addebito è stato interrotto","oss-aion-sentence-returns.14da1cff14":"otto mesi","oss-aion-sentence-returns.b59f623fe2":"letto come","oss-aion-sentence-returns.6a250da793":"14 marzo, dalla persona che gestisce la fatturazione","oss-aion-sentence-returns.8766d15f20":"stesse parole a entrambe le estremità","oss-aion-sentence-returns.33e656aa3a":"una frase, a otto mesi di distanza","oss-aion-sentence-returns.6180960e2c":"scritto","oss-aion-sentence-returns.910e029098":"illustrativo","oss-aion-side-by-side-rule.1462946510":"gerarchia invertita","oss-aion-side-by-side-rule.dc685ee970":"è quello impostato più piccolo, in fondo.","oss-aion-side-by-side-rule.37ba9a07a7":"L'unica riga qui che nessuno ha bisogno di saper leggere","oss-aion-side-by-side-rule.24205c8d5e":"Il corpo di questo foglio è ciò che è stato richiesto.","oss-aion-side-by-side-rule.136ec48046":"versione della frase 3","oss-aion-side-by-side-rule.5714c84617":"9 aprile 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, operazioni di fatturazione","oss-aion-side-by-side-rule.4c1493cdf2":"la condizione così come è memorizzata","oss-aion-side-by-side-rule.5050bceb24":"ciò su cui opera","oss-aion-side-by-side-rule.70a7ded724":"Un secondo addebito su un riferimento già addebitato all'interno del periodo di fatturazione viene\n          rifiutato.","oss-aion-side-by-side-rule.decbbbcbea":"Nessun cliente può essere addebitato due volte per lo stesso riferimento in un periodo di fatturazione.","oss-aion-side-by-side-rule.41f5b5d765":"nessuna notazione richiesta","oss-aion-side-by-side-rule.fd9d8f9d79":"confermato dal proprietario","oss-aion-side-by-side-rule.dbd8504696":"foglio di revisione","oss-aion-side-by-side-rule.b714510ded":"quante volte questo riferimento è già stato addebitato","oss-aion-side-by-side-rule.71aa03cd23":"il conteggio degli addebiti","oss-aion-side-by-side-rule.8f404d9e59":"il mese in cui cade l'addebito","oss-aion-side-by-side-rule.28db3c4a10":"il periodo di fatturazione","oss-aion-side-by-side-rule.7bbf8d007a":"l'identificatore su cui viene effettuato un addebito","oss-aion-side-by-side-rule.333190a7a5":"il riferimento","oss-aion-silent-wrong.e516f1474a":"passaggio 40, regola sconosciuta","oss-aion-silent-wrong.52c4b2ffb7":"dove si è fermato","oss-aion-silent-wrong.bdc9060b3b":"Otto esecuzioni hanno restituito otto parole. Solo quella che ha scritto il proprio lavoro\n          può dirlo","oss-aion-silent-wrong.dc3fb44cee":"un rifiuto nomina una linea","oss-aion-silent-wrong.d55eb7e866":"Questo lettore non ha alcuna regola con quel nome al passaggio 40, quindi si è fermato lì. Il\n            timbro non è mai stato apposto e non è stato emesso alcun verdetto.","oss-aion-silent-wrong.d04a61e19e":"ciò che la lettura ha prodotto","oss-aion-silent-wrong.b31f1a6015":"alethe, passaggi dal 38 in poi","oss-aion-silent-wrong.74cb6750e3":"una di esse, scritta per esteso","oss-aion-silent-wrong.c9266795e0":"otto sistemi, otto risultati","oss-aion-silent-wrong.d7d4ae123f":"illustrativo, una esecuzione su otto","oss-aion-silent-wrong.3c05b129e2":"nessun verdetto emesso","oss-aion-silent-wrong.c6dc61d79f":"Otto parole, una delle quali aperta","oss-aion-silent-wrong.64494819a0":"premessa 40, la clausola vuota","oss-aion-silent-wrong.9dae957efd":"premessa 39","oss-aion-silent-wrong.52e787751c":"premesse 31 e 38","oss-aion-silent-wrong.36901d48ad":"premesse 12 e 31","oss-aion-silent-wrong.e00bcd7ac6":"flusso di lavoro approvato","oss-aion-silent-wrong.fd40251b0b":"simulazione convergente","oss-aion-silent-wrong.9204d100a8":"politica approvata","oss-aion-silent-wrong.51c817ab85":"accettato","oss-aion-silent-wrong.4d64c22879":"rifai","oss-aion-silent-wrong.94ec44c4f4":"credere","oss-aion-silent-wrong.4848901b39":"ottimale","oss-aion-silent-wrong.bf31c52c32":"sicuro","oss-aion-silent-wrong.231e564db4":"completato","oss-aion-silent-wrong.bac2ad9d5d":"compilato","oss-aion-silent-wrong.d203c40ac4":"insoddisfacibile","oss-aion-sim-cert.d836eab67a":"la validità fisica non è","oss-aion-sim-cert.8f9800edbe":"la conformità e le proprietà vengono verificate qui","oss-aion-sim-cert.d982b6fdda":"se il modello rappresenta il mondo resta al proprietario del modello","oss-aion-sim-cert.c27ccdf78d":"validità fisica","oss-aion-sim-cert.99c6aa48cb":"non risposta da nessuna parte","oss-aion-sim-cert.e4125aa830":"le proprietà dichiarate valgono per l'intera esecuzione, oppure la traccia viene restituita","oss-aion-sim-cert.24fa71fdd6":"controlli di invarianza","oss-aion-sim-cert.82ffe3f79b":"il modello dichiarato, i parametri e la configurazione hanno prodotto questa traiettoria","oss-aion-sim-cert.8c30aa1c6e":"conformità di esecuzione","oss-aion-sim-cert.790f468e4d":"risposta qui","oss-aion-sim-cert.f6bceb137b":"GEMELLO E FMI","oss-aion-sim-cert.cf2b82cb4f":"dal modello alla traiettoria","oss-aion-sim-cert.a7b63abc02":"Cosa contiene il certificato","oss-aion-sim-cert.07ecfba93e":"traiettoria e stato","oss-aion-sim-cert.6874c92610":"sequenza di eventi","oss-aion-sim-cert.e77c056cdc":"parametri e stato iniziale","oss-aion-sim-cert.720a1e14e6":"identità del modello e dell'FMU","oss-aion-source-to-artefact.ce10986f79":"Dalla sorgente al certificato","oss-aion-source-to-artefact.c1ce053887":"nominato, non generico","oss-aion-source-to-artefact.75a0766041":"Un'affermazione generica non avrebbe potuto fallire da nessuna parte.","oss-aion-source-to-artefact.b5e1e87d48":"Tre affermazioni nominate, e quella che fallisce nomina il passaggio in cui fallisce.","oss-aion-source-to-artefact.8732c432be":"Che ogni passaggio nella sequenza sia corretto in generale. Nessun certificato qui dice che un\n                compilatore è buono, e nessuno deve dirlo.","oss-aion-source-to-artefact.64d8424b5b":"ciò che non asserisce","oss-aion-source-to-artefact.302df26f74":"grafo sorgente","oss-aion-source-to-artefact.e95689d184":"all'implementazione di riferimento, sul dominio di input dichiarato","oss-aion-source-to-artefact.0ca9407ef6":"equivalente al kernel","oss-aion-source-to-artefact.5e68638068":"la conservazione della forma dichiarata non vale in questo passaggio per il dominio di input\n                    dato","oss-aion-source-to-artefact.ab2050f59e":"forme dei tensori preservate","oss-aion-source-to-artefact.213addbd25":"attraverso canonicalizzazione e fusione, per ogni tipo dichiarato","oss-aion-source-to-artefact.9deae195e3":"tipi preservati","oss-aion-source-to-artefact.2297843111":"livello di ottimizzazione 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"richiesta di forma rifiutata","oss-aion-source-to-artefact.2fa9505626":"artefatto","oss-aion-source-to-artefact.910e029098":"illustrativo","oss-aion-source-to-artefact.9f939ff8a4":"selezione del kernel","oss-aion-sovereignty.0fe4587501":"La verifica resta dove sono conservate le prove: accanto al sistema che le produce, all'interno di un servizio di revisione o in un archivio isolato.","oss-aion-sovereignty.2d7bdcb19f":"Le tue decisioni restano sotto il tuo controllo.","oss-aion-sovereignty.9426b99215":"Sovranità digitale","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe e il formato unificato mantengono i certificati verificabili in modo indipendente oltre il runtime originale.","oss-aion-sovereignty.25c4717a63":"Formati di prova portabili","oss-aion-sovereignty.d99f32de40":"La verifica di una prova funziona completamente offline. Non dipendi da un servizio remoto che potrebbe cambiare i suoi termini o scomparire.","oss-aion-sovereignty.34ebf0117d":"Nessuna dipendenza esterna","oss-aion-sovereignty.44a8a39a30":"All'interno del tuo data center o in una regione che scegli tu. Il ragionamento dietro una decisione non deve mai attraversare un confine che non hai approvato.","oss-aion-sovereignty.331242fd64":"Funziona dove scegli","oss-aion-sovereignty.599b928605":"AION è costruito in Europa e il suo verificatore può rimanere all'interno dello stesso confine europeo delle decisioni che verifica.","oss-aion-sovereignty.45f9bdf22b":"Europeo per origine","oss-aion-split-parts.cc0d7be136":"e un'enclave non cambia nulla","oss-aion-split-parts.a2fb24de32":"la build predefinita non ha client in uscita","oss-aion-split-parts.ffd75a18c4":"DISTRIBUZIONE","oss-aion-split-parts.91f8c088aa":"e ciò di cui ciascuno ha bisogno","oss-aion-split-parts.758bd7cc2a":"Quattro modi per eseguirlo","oss-aion-split-parts.400bd9a040":"Distribuito su più macchine e composto solo dopo un controllo di copertura.","oss-aion-split-parts.bb3d98dfee":"Distribuito","oss-aion-split-parts.74da65bc96":"Dentro il tuo confine, su indirizzi che imposti tu.","oss-aion-split-parts.664046e78a":"Un servizio","oss-aion-split-parts.ce2ab3edc4":"Puntalo a un certificato. Non deve essere in esecuzione nient'altro.","oss-aion-split-parts.a7218c8eca":"Un comando","oss-aion-split-parts.eefb3bac5d":"Collegato al tuo processo. Chiedi e rispondi, senza scrivere file.","oss-aion-split-parts.fa66edb7bd":"Una libreria","oss-aion-stays-here.e3e08ad140":"nulla è rimasto nella stanza","oss-aion-stays-here.18ab547f60":"Quel foglio vuoto è l'intera rivendicazione.","oss-aion-stays-here.907d22f7f0":"Non è disegnato nulla tra la scatola e le tre cose accanto ad essa.","oss-aion-stays-here.001b06036c":"non in questa immagine","oss-aion-stays-here.8c84675037":"un collegamento a un'altra macchina nella stessa organizzazione, spento finché qualcuno non lo configura\n              apposta","oss-aion-stays-here.e3527ba222":"La risposta arriva con la linea giù, perché la linea non ne ha mai fatto parte.","oss-aion-stays-here.caf3a041c8":"Il ritardo è stato di settantacinque minuti, che è più di un'ora, quindi la prenotazione viene\n                annullata e la tariffa torna sulla carta da cui proveniva.","oss-aion-stays-here.7296ef48e5":"ciò che è tornato","oss-aion-stays-here.395ee2333f":"l'annullamento termina la prenotazione e restituisce la tariffa","oss-aion-stays-here.46d2008236":"un'ora significa sessanta minuti, senza arrotondamenti","oss-aion-stays-here.2fd4fcb567":"un ritardo è calcolato dall'ora stampata sul biglietto","oss-aion-stays-here.f5b422b60e":"le regole scritte con cui viene letto","oss-aion-stays-here.ee04bc3b23":"Annulla la mia prenotazione solo se il ritardo è superiore a un'ora.","oss-aion-stays-here.af5509db2b":"ciò che hai digitato","oss-aion-stays-here.3cbd68d678":"la macchina di fronte a te","oss-aion-stays-here.531aa138ac":"risposto senza uscire","oss-aion-stays-here.fb23ddcc1c":"una domanda, un posto","oss-aion-stays-here.96ccbc62ab":"le tue parole non sono una cosa che qualcun altro riceve","oss-aion-stays-here.1b215d440d":"una macchina altrove che legge la tua frase","oss-aion-stays-here.b5a5c63d23":"nessuna cosa esterna deve essere in funzione perché arrivi la risposta","oss-aion-stays-here.b5c483d9d9":"un servizio che deve essere attivo","oss-aion-stays-here.fa287ade3d":"nessuno chiede chi sei, perché nessuno ha bisogno di saperlo","oss-aion-stays-here.d5a3ef8b78":"un account a cui accedere","oss-aion-stays-here.910e029098":"illustrativo","oss-aion-stays-here-list.56a6e8f9a7":"e niente da consegnare","oss-aion-stays-here-list.57eef35c96":"nessuna attesa","oss-aion-stays-here-list.a64eab5744":"ciò che attende","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"e ciò che non attende mai","oss-aion-stays-here-list.13591491d9":"Su cosa gira","oss-aion-stays-here-list.1458464f09":"Niente a cui iscriversi, quindi niente di cui essere clienti.","oss-aion-stays-here-list.257fa99e08":"Nessun account","oss-aion-stays-here-list.b165f2d684":"La tua frase viene letta secondo regole, nella stessa stanza in cui ti trovi.","oss-aion-stays-here-list.37a25e4e99":"Regole scritte","oss-aion-stays-here-list.7ee33f1c7a":"Il lavoro avviene dove sei tu, e nessun altro deve essere in esecuzione.","oss-aion-stays-here-list.d3612f57d8":"La macchina su cui sei","oss-aion-supplier-answer.6d6ddcd4c1":"una dichiarazione, quattro righe vuote","oss-aion-supplier-answer.a5d36ba87c":"Nessuna delle quattro domande trova risposta da nessuna parte nel foglio.","oss-aion-supplier-answer.d09481b0a5":"Ogni parola in esso contenuta è vera e qualcuno l'ha firmato.","oss-aion-supplier-answer.cec9b36162":"14 marzo 2026","oss-aion-supplier-answer.22715d5cb9":"La configurazione inviata il 12 marzo 2026 è stata verificata come priva di conflitti.","oss-aion-supplier-answer.1e0a1891e8":"rif. SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"certificato di conformità","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"quattro senza risposta","oss-aion-supplier-answer.910e029098":"illustrativo","oss-aion-supplier-answer.f86e5cfb14":"Vale ancora dopo la modifica di martedì?","oss-aion-supplier-answer.bbe7a72e5a":"Su quali dati, e quanti?","oss-aion-supplier-answer.c25776701b":"Rispetto a quale versione del nostro set di regole?","oss-aion-supplier-answer.84d9ed92b5":"Quali condizioni sono state effettivamente verificate?","oss-aion-theory-matrix.ac8d77d669":"Proposizionale","oss-aion-theory-matrix.3d52a6d8fe":"Logica","oss-aion-theory-matrix.42f3aff840":"Soddisfacibilità booleana con apprendimento di clausole guidato dai conflitti. Il punto di partenza per ogni altra teoria.","oss-aion-theory-matrix.6078532ab2":"Quantificatori","oss-aion-theory-matrix.02f664dd36":"Logica del primo ordine con istanziazione basata su modelli. Ragiona su forall ed exists sui sort supportati.","oss-aion-theory-matrix.49167dbc57":"Aritmetica lineare","oss-aion-theory-matrix.45f053dc73":"Aritmetica","oss-aion-theory-matrix.876aafb6c1":"Aritmetica intera lineare e input a valori reali a una scala dichiarata. Internamente, il checker usa valori interi o a virgola fissa adattivi.","oss-aion-theory-matrix.b618fadea3":"Non lineare","oss-aion-theory-matrix.fd99188844":"Aritmetica intera non lineare e input a valori reali a una scala dichiarata. Il checker usa valori interi o a virgola fissa adattivi, mai valori a virgola mobile.","oss-aion-theory-matrix.d11f66aff2":"Input a virgola mobile","oss-aion-theory-matrix.19080aec82":"L'input IEEE 754 è accettato solo al confine, poi decodificato in campi binari prima del controllo. Nessun valore a virgola mobile viene memorizzato, accumulato o calcolato internamente.","oss-aion-theory-matrix.914807cdef":"Bitvector","oss-aion-theory-matrix.e5e429bcc9":"Dati","oss-aion-theory-matrix.23c278d5ca":"Parole binarie a larghezza fissa con semantica di overflow. Per la verifica hardware e il controllo di protocolli binari.","oss-aion-theory-matrix.b90cc9bfd2":"Array","oss-aion-theory-matrix.eac25fcfc6":"Teoria degli array con assiomi select e store. I frammenti decidibili sono tracciati esplicitamente.","oss-aion-theory-matrix.3816c4beac":"Stringhe","oss-aion-theory-matrix.8e5a47db7d":"Equazioni di parole, vincoli di lunghezza e appartenenza a espressioni regolari sulle stringhe.","oss-aion-theory-matrix.0efe5fd2a3":"Temporale","oss-aion-theory-matrix.ab14d0a7db":"Programmi","oss-aion-theory-matrix.12dfdaf96a":"crate companion","oss-aion-theory-matrix.dd600bd946":"Frammenti di logica temporale lineare e ramificata per ragionare sul comportamento nel tempo.","oss-aion-theory-matrix.bb8c6ec608":"Probabilistico","oss-aion-theory-matrix.042a4dc40b":"Ragionamento su programmi probabilistici, inclusa l'inferenza in stile Datalog probabilistico.","oss-aion-theory-matrix.1e1837d4e8":"Concorrente","oss-aion-theory-matrix.60e30b1d8e":"Ragionamento su programmi concorrenti e sulle interleaving che i loro thread possono produrre.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"copertura delle teorie","oss-aion-theory-matrix.4329e5da7b":"11 domini logici","oss-aion-theory-matrix.dc1baa8539":"kernel + companion","oss-aion-theory-matrix.5b1e898fc0":"Teoria","oss-aion-theory-matrix.cd89376f98":"Risiede in","oss-aion-theory-matrix.df1e1e1732":"Undici teorie, ogni reasoner produce passi che l'emettitore di prove può registrare e un\n            checker può riprodurre.","oss-aion-theory-matrix.36ce8cbd4c":"PROP a CONCUR","oss-aion-three-questions.381a478392":"Due risposte, un confine","oss-aion-three-questions.b695e87b19":"due risposte, una posseduta","oss-aion-three-questions.9f5234300d":"La terza domanda non è nostra, e dirlo è ciò che rende le prime due degne di\n          qualcosa.","oss-aion-three-questions.8149763299":"La conformità regge, un invariante fallisce con la sua traccia.","oss-aion-three-questions.5974dafe20":"la porta è disegnata solida quanto il muro","oss-aion-three-questions.392d2df212":"Il proprietario del modello detiene quella domanda, e la detiene in modo permanente. Nessun certificato qui\n                la tocca, e nessuno di essi la implica nemmeno in silenzio.","oss-aion-three-questions.c27ccdf78d":"validità fisica","oss-aion-three-questions.dbbe530d6c":"questo modello rappresenta il mondo reale","oss-aion-three-questions.44b8fe96f9":"passo 1 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"controesempio, sollevato e ingrandito","oss-aion-three-questions.ed4bde3030":"la pressione del circuito rimane sotto 8 bar","oss-aion-three-questions.4676659f50":"la valvola di bypass non si apre mai due volte in un passo","oss-aion-three-questions.045757b8af":"la temperatura di ritorno rimane sotto 95 C","oss-aion-three-questions.24fa71fdd6":"controlli degli invarianti","oss-aion-three-questions.846ee97ae5":"gli invarianti dichiarati valgono per l'intera esecuzione","oss-aion-three-questions.17f80cae31":"L'esecuzione si riproduce da ciò che il certificato dichiara.","oss-aion-three-questions.ba01008496":"t = 4,20","oss-aion-three-questions.ff4e31b5a8":"x0 = 2,5","oss-aion-three-questions.a74e1bd7e0":"t = 1,75","oss-aion-three-questions.63df9305f6":"tolleranza 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"passo 0,01 s","oss-aion-three-questions.8c30aa1c6e":"conformità di esecuzione","oss-aion-three-questions.b3c58a82bd":"il modello e la configurazione dichiarati hanno prodotto questa traiettoria","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":"modello e FMU","oss-aion-three-questions.b697dd615a":"due su tre","oss-aion-three-questions.f14f15b304":"traiettoria","oss-aion-three-questions.f1f1425b65":"parametri","oss-aion-three-questions.910e029098":"illustrativo","oss-aion-three-readings.41d8442e84":"le letture e le loro confidenze sono di AION, la scelta è tua, ed è registrata","oss-aion-three-readings.42e8a93311":"tre letture, una decisione, e ha un autore","oss-aion-three-readings.62b4619c99":"un conteggio che non può scendere sotto zero","oss-aion-three-readings.48a15f3a18":"un numero intero inferiore a cinque","oss-aion-three-readings.ae3925651e":"i retry sono un numero intero, un conteggio o qualsiasi valore?","oss-aion-three-readings.dffe60eb6a":"domanda posta","oss-aion-three-readings.fb76182a92":"chiesto, non assunto","oss-aion-three-readings.8c3f96fa33":"I retry devono essere inferiori a cinque","oss-aion-three-readings.e9be13f9ec":"AION solleva l'ambiguità invece di risolverla. Nomina il tipo di ambiguità,\n          elenca le letture con la confidenza che ciascuna porta e la condizione che ciascuna\n          imporrebbe, e pone una domanda che nomina la variabile in questione. La decisione\n          appartiene ancora a una persona. Ciò che cambia è che viene presa una volta, in modo\n          registrato, da chi è responsabile del requisito piuttosto che da chi si trovava a fare\n          la conversione.","oss-aion-three-readings.f26c9b4ff8":"Sotto cinque tentativi, contati interi. O sotto cinque\n          dove quattro e mezzo è un valore legittimo. O un conteggio che inoltre non può scendere\n          sotto zero. Sono tre regole diverse e la differenza emerge come un incidente\n          alla fine. Nel modo di lavorare ordinario, una di esse veniva scelta da chi faceva la\n          traduzione, di giovedì, senza dirlo a nessuno.","oss-aion-three-readings.7b5121a8f0":"\"I retry devono essere inferiori a cinque.\"","oss-aion-three-readings.ffe5d68fe6":"Qualcuno ha scelto una.","oss-aion-three-readings.55b8b0b398":"La tua frase aveva due letture.","oss-aion-three-readings.2d1501c7e4":"La decisione silenziosa che nessuno ha preso","oss-aion-three-readings.bec998cdfe":"qualsiasi numero, incluso quattro e mezzo","oss-aion-time-left.88430838dd":"nessuno è stato colto di sorpresa","oss-aion-time-left.227b19b5aa":"È solo diventato più piccolo, davanti a qualcuno che poteva ancora agire su di esso.","oss-aion-time-left.ac61a8b97d":"Il numero c'era l'ottavo giorno e non è mai diventato più forte.","oss-aion-time-left.0703308f0f":"Non c'è alcun allarme su questo foglio e nulla è diventato rosso. Ognuna di queste è la\n          stessa frase letta in un giorno diverso.","oss-aion-time-left.6222c927fd":"Va alla persona che firma le risposte in ritardo, con la data sopra, e ti\n            risponde.","oss-aion-time-left.4dfda36be9":"14 giorni fa","oss-aion-time-left.d5f128da73":"la risposta era dovuta il sedicesimo","oss-aion-time-left.58cdff89f9":"una richiesta diversa, letta dopo la data","oss-aion-time-left.6a7651b700":"trenta giorni dopo la tua richiesta","oss-aion-time-left.813d27411f":"la risposta è dovuta","oss-aion-time-left.d8b0301347":"hai chiesto una copia di ciò che hanno su di te","oss-aion-time-left.4c3d95bf6a":"la richiesta","oss-aion-time-left.795bcac29d":"quattro giorni rimasti oggi","oss-aion-time-left.56ff55acfb":"una scadenza, letta quattro volte","oss-aion-time-left.acafbd7541":"chiamali oggi","oss-aion-time-left.148b21034f":"4 giorni rimasti","oss-aion-time-left.f165b88925":"sollecialo questa settimana","oss-aion-time-left.b85bbd50bd":"8 giorni rimasti","oss-aion-time-left.4a8b5bac9b":"ancora a posto","oss-aion-time-left.67f9059ac5":"14 giorni rimasti","oss-aion-time-left.ca372a8fb7":"mettilo in agenda","oss-aion-time-left.16f29c69b8":"22 giorni rimasti","oss-aion-time-left.910e029098":"illustrativo","oss-aion-two-routes.89c24f999c":"l'altro esamina le prove","oss-aion-two-routes.3a5d844ae5":"una via li riproduce","oss-aion-two-routes.028a6cf2d7":"il loro certificato","oss-aion-two-routes.5c837ce426":"il loro sistema","oss-aion-two-routes.27f65e5e47":"ciò di cui ha bisogno","oss-aion-two-routes.d0765bbac1":"CONFRONTA","oss-aion-two-routes.91f8c088aa":"e ciò di cui ciascuno ha bisogno","oss-aion-two-routes.8930c1c9b8":"Due modi per essere certi","oss-aion-two-routes.d56d985300":"verifica","oss-aion-two-routes.e1fc5057de":"riproduci","oss-aion-two-routes.b028b89ea7":"il loro supporto","oss-aion-two-routes.999464a52f":"non riprodotto","oss-aion-two-routes.9b9252883d":"il certificato stesso","oss-aion-two-routes.4dc537c80f":"la rivendicazione, gli input e il contratto","oss-aion-two-routes.ad95c10298":"la loro versione esatta e la loro macchina","oss-aion-two-routes.cfd05bd2f2":"la loro licenza","oss-aion-value-grid.6cc3364a24":"Prova allegata","oss-aion-value-grid.4910ee0aea":"Prove con ogni risultato","oss-aion-value-grid.411bf64817":"Il risultato e il suo certificato compatto viaggiano insieme, quindi la prova viene creata quando viene presa la decisione, non ricostruita durante la revisione.","oss-aion-value-grid.05f9c0dc34":"Controllato da un altro motore","oss-aion-value-grid.eea79d1484":"Un verificatore separato confronta il certificato con le premesse originali. Il modello non può valutare la propria risposta.","oss-aion-value-grid.cbd17d59ba":"Formati portabili","oss-aion-value-grid.5e6cba1721":"Le prove sopravvivono al runtime","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe e il formato di prova unificato mantengono il certificato leggibile anche dopo che un modello, un solver o un servizio è cambiato.","oss-aion-value-grid.a60bdd7985":"Verifica offline","oss-aion-value-grid.ebfb47f4ba":"Nessuna dipendenza live","oss-aion-value-grid.6144cbfcab":"Controllare una prova non richiede rete, account o connessione live con noi. Ciò di cui dipendi in fase di audit non ha dipendenze ricorrenti da un fornitore.","oss-aion-value-grid.26ef011865":"Sovranità UE","oss-aion-value-grid.23672ea195":"Europeo e tuo da eseguire","oss-aion-value-grid.26e89e1455":"Costruito in Europa ed eseguibile interamente su hardware che controlli. Le tue prove e le tue decisioni non devono mai lasciare una giurisdizione che approvi.","oss-aion-value-grid.66ac329042":"Audit de-risked","oss-aion-value-grid.9c8c22f54d":"Prove che un'altra parte può testare","oss-aion-value-grid.6572cc2be6":"Quando un regolatore o un revisore chiede come è stata presa una decisione, consegni un certificato che chiunque può controllare, invece di affidarti a una promessa del fornitore che non puoi testare.","oss-aion-value-grid.6b5eb5323e":"Prove delle decisioni","oss-aion-value-grid.870c4d024a":"Verifica indipendente","oss-aion-value-grid.93e2c4e5c4":"Inizia con un percorso decisionale e conserva il suo certificato durante la revisione.","oss-aion-value-grid.217fc9a42f":"certificato · verificatore · archivio","oss-aion-what-you-got.2b69c8154b":"e ogni domanda ne solleva una","oss-aion-what-you-got.7f629c0e9f":"quattro cose che ricevi","oss-aion-what-you-got.7a9727c9f8":"verificabile da te","oss-aion-what-you-got.bc1c663195":"cosa ricevi","oss-aion-what-you-got.0da9f51943":"OSSERVATO","oss-aion-what-you-got.8becd8f7be":"e cosa stabilisce","oss-aion-what-you-got.7d3574bfa5":"Cosa consegna un fornitore","oss-aion-what-you-got.0306f977ae":"Quale build lo ha detto. Non cosa ha controllato, o come.","oss-aion-what-you-got.fd12863535":"no","oss-aion-what-you-got.7b0c210f52":"Un numero di versione","oss-aion-what-you-got.f78a920a78":"La loro descrizione del proprio processo, scritta da loro.","oss-aion-what-you-got.301941b624":"il loro resoconto","oss-aion-what-you-got.7591a35462":"Una nota metodologica","oss-aion-what-you-got.5eec058df8":"Qualcuno garantisce la parola, non il ragionamento.","oss-aion-what-you-got.28fde2f659":"solo il nome","oss-aion-what-you-got.7573daa505":"Una firma","oss-aion-what-you-got.94ebda1bd3":"Sicuro, fattibile, coerente. Una parola, nessun lavoro.","oss-aion-what-you-got.c99c8e4a9b":"Una conclusione","oss-aion-where-it-runs.1ba0334f9f":"non esiste un terzo","oss-aion-where-it-runs.03e2311510":"configuri i due","oss-aion-where-it-runs.076d156600":"nulla da configurare all'interno","oss-aion-where-it-runs.f16ac53550":"tua da configurare","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"e nient'altro esce","oss-aion-where-it-runs.6cdd4e486a":"Due confini configurabili","oss-aion-where-it-runs.39616fc267":"Un programma che installi, eseguito come processo locale.","oss-aion-where-it-runs.00bfadf39c":"Un prover esterno","oss-aion-where-it-runs.801db3efcd":"Solo gli indirizzi che imposti, e solo una volta che li imposti.","oss-aion-where-it-runs.d296df3171":"Un cluster","oss-aion-where-it-runs.67204bf5d4":"nessuna rotta","oss-aion-where-it-runs.91984fcc1b":"Un modello ospitato","oss-aion-where-it-runs.b8b252650e":"nessun client","oss-aion-where-it-runs.ee39579eba":"La build predefinita","oss-aion-where-it-runs.d49fe2c403":"non installato","oss-aion-where-you-meet-it.2a85ffb07a":"Il luogo cambia, la promessa no: un motivo che puoi leggere e un controllo che chiunque può eseguire.","oss-aion-where-you-meet-it.9a8413cd88":"Non eseguirai mai AION da solo. Questi sono i tipi di luoghi in cui può lavorare in silenzio per\n            te.","oss-aion-where-you-meet-it.33fb502270":"Tre momenti quotidiani","oss-aion-where-you-meet-it.40e32f89eb":"Chiunque tu ritenga affidabile può controllare lo scontrino e confermarlo.","oss-aion-where-you-meet-it.03ef5e1328":"Quando un ufficio usa una macchina per controllare il tuo caso, ti spetta un motivo che puoi leggere e mettere in discussione.","oss-aion-where-you-meet-it.2390278256":"Un beneficio o un modulo viene controllato","oss-aion-where-you-meet-it.2e92ab22dd":"In un ufficio pubblico","oss-aion-where-you-meet-it.0bd84e3a14":"Il motivo è scritto, non bloccato dentro un sistema.","oss-aion-where-you-meet-it.c4a1d64452":"Le decisioni sul denaro prese da una macchina possono sembrare una porta chiusa. Lo scontrino la apre, con passaggi chiari.","oss-aion-where-you-meet-it.e17885868a":"Un prestito o un rimborso viene calcolato","oss-aion-where-you-meet-it.5e45cf57a0":"In banca","oss-aion-where-you-meet-it.e2c536b2b3":"Puoi chiedere lo scontrino e mostrarlo al tuo medico.","oss-aion-where-you-meet-it.0b56f170bf":"Quando una macchina ha voce in capitolo nel tuo trattamento, dovresti poter vedere il motivo dietro, non solo il risultato.","oss-aion-where-you-meet-it.0332b7d1b7":"Un computer aiuta a decidere la tua cura","oss-aion-where-you-meet-it.4046c6355b":"In ospedale","oss-aion-which-did-you-mean.1ff884a89e":"chiedere, non indovinare","oss-aion-which-did-you-mean.2eb1c230f2":"La scelta appartiene a chi ha scritto la frase.","oss-aion-which-did-you-mean.d94da790d1":"Due letture ordinarie, un caso tra di esse.","oss-aion-which-did-you-mean.3b4d06d361":"Non è stata fatta alcuna domanda e a nessuno è stato detto su quale delle due sia caduta.","oss-aion-which-did-you-mean.93a161cede":"Le ore sono contate intere. Scelto un giovedì pomeriggio da qualcuno che aveva bisogno di\n                spedire.","oss-aion-which-did-you-mean.4b73aced85":"in vigore","oss-aion-which-did-you-mean.17e120a269":"Annulla se il ritardo è superiore a un'ora.","oss-aion-which-did-you-mean.ddf20b2d3c":"il modo ordinario in cui si risolve","oss-aion-which-did-you-mean.3f42a39277":"come si svolge realmente","oss-aion-which-did-you-mean.1e9a34969e":"ore intere","oss-aion-which-did-you-mean.9c2a4532bb":"Quando hai scritto più di un'ora, intendevi ore intere, o il ritardo come si\n                svolge realmente?","oss-aion-which-did-you-mean.280b34e1e5":"Il tuo treno è in ritardo di settantacinque minuti e la prenotazione salta, prima che tu\n                    abbia deciso se vuoi ancora viaggiare.","oss-aion-which-did-you-mean.97e4112012":"Un ritardo è lungo quanto è realmente. Un'ora e un quarto è più di\n                    un'ora.","oss-aion-which-did-you-mean.c5d620cfa2":"seconda lettura","oss-aion-which-did-you-mean.466780685c":"Il tuo treno è in ritardo di settantacinque minuti e nulla viene annullato. Aspetti sul\n                    binario un treno che sta ancora arrivando.","oss-aion-which-did-you-mean.6b67a39030":"Le ore sono contate intere. Un ritardo di un'ora e un quarto conta come un'ora,\n                    e un'ora non è più di un'ora.","oss-aion-which-did-you-mean.9cf85c69a8":"prima lettura","oss-aion-which-did-you-mean.ef52f97a5b":"più di un'ora","oss-aion-which-did-you-mean.371c6d7efd":"Annulla se il ritardo è","oss-aion-which-did-you-mean.887640fa01":"hai scritto","oss-aion-which-did-you-mean.3650db40be":"in attesa della tua risposta","oss-aion-which-did-you-mean.ff312b91d2":"cosa intendevi","oss-aion-which-did-you-mean.6f8f8e9f76":"allora","oss-aion-which-did-you-mean.910e029098":"illustrativo","oss-aion-your-corpus.a54df5506a":"due settimane, con un output scritto","oss-aion-your-corpus.ee646eb7cc":"Esegui lo stesso corpus su quello che usi oggi e metti i due rapporti uno accanto\n            all'altro.","oss-aion-your-corpus.f2d4df122d":"Sessantadue su sessantaquattro, sulla tua macchina, sotto il tuo limite.","oss-aion-your-corpus.8ff7db55b1":"questo limite","oss-aion-your-corpus.8ada74cbb4":"questa macchina","oss-aion-your-corpus.b2ed177f82":"questo corpus","oss-aion-your-corpus.71e1422875":"una funzione di","oss-aion-your-corpus.94ef1b7ae8":"di 64 corretti","oss-aion-your-corpus.2ce97993d5":"nessun verdetto ancora","oss-aion-your-corpus.90326d4307":"trascorsi 41 s","oss-aion-your-corpus.69bb8da1c5":"ancora in esecuzione","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"nessuna risposta registrata","oss-aion-your-corpus.72330c3954":"16 GB di spazio di indirizzamento","oss-aion-your-corpus.b4f0923eae":"16 GB per esecuzione","oss-aion-your-corpus.ff367b6b79":"limite dello spazio di indirizzamento","oss-aion-your-corpus.d1ea89e714":"32 core, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"esecuzione illustrativa","oss-aion-your-corpus.e380724f89":"uno limitato, uno ancora in esecuzione","oss-aion-your-corpus.f6f66c95d6":"Il tuo corpus, al suo posto","oss-aion-your-corpus.8d95729188":"limitato","oss-aion-your-corpus.7817c52b25":"macchina","oss-aion-your-corpus.d95f464bc9":"istanze","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"corpus","oss-aion-your-sentence-parts.8e7ed848f6":"puoi ancora leggerlo","oss-aion-your-sentence-parts.78c48f428a":"l'hai scritto tu","oss-aion-your-sentence-parts.c569c19f0b":"Leggilo di nuovo, dà la stessa regola. Nulla è cambiato nel mezzo.","oss-aion-your-sentence-parts.43015fadc4":"Nessuno dovrebbe essere addebitato due volte per lo stesso ordine nello stesso mese.","oss-aion-your-sentence-parts.a14707f800":"La tua frase, invariata","oss-aion-your-sentence-parts.2ccea15065":"un anno dopo","oss-aion-your-sentence-parts.a80d4309ae":"In cima al messaggio, sopra la parte che non è stata soddisfatta.","oss-aion-your-sentence-parts.f33c43e8f9":"La tua frase, citata","oss-aion-your-sentence-parts.f0f795235c":"il giorno in cui si applica","oss-aion-your-sentence-parts.fe74b20e8f":"Come l'hai scritta, con una riga semplice che dice come è stata letta.","oss-aion-your-sentence-parts.358b1cbc5d":"La tua frase, conservata","oss-aion-your-sentence-parts.13211e2743":"il giorno in cui la scrivi","oss-aion-your-sentence-parts.27a0362e59":"LE TUE PAROLE","oss-aion-your-sentence-parts.d37598cc12":"in tre giorni diversi","oss-aion-your-sentence-parts.32a5ee7a1f":"La stessa frase","page-breadcrumb.c766e66518":"Percorso di navigazione","page-toc.7e439c353e":"In questa pagina","section_st_a1_display-split.7c9a7c0610":"Dettagli","section_st_f1_cta-dark.90e40d5043":"Inizia","spindle-extras.127edee78d":"FIRMATO","toc-rail.f5cbdf6bfb":"Contenuti"}