{"block_close_oss.c33fd1fe9c":"Comunidade e ecossistema","core-extras.96d330537a":"IR base","core-extras.bee831a169":"Substrato","core-extras.61a0822826":"Aplicações no Core","core-extras.15438cc098":"não suportado","core-extras.ad565d9d01":"Funcionalidade","core-extras.0155bf03e5":"Legenda do segmento","core-extras.8b7110078e":"Grupos de algoritmos por tipo de dados","core-extras.25ab4276a6":"Matriz de capacidades com deslocamento","open-source-aion.81f3904118":"Governança do conhecimento assente em proveniência ao estilo AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Produtos","open-source-aion.de5ec3713e":"Analisador certificável por Merkle usado pela AION no tratamento de entradas.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Runtime verificado que associa certificados AION a transcrições de execução.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Proveniência de eventos para sistemas: registos encadeados por hash do que aconteceu, não passos de raciocínio dentro de uma decisão.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Continuar a explorar","open-source-aion.75e393a1ac":"Explorar projetos relacionados","open-source-aion.f9743247fa":"Ler a documentação","open-source-aion.ef0fd4ccef":"Inspecionar o caminho da prova","open-source-aion.77453cde44":"Execute um certificado de exemplo e verifique-o com aion check, cvc5 ou qualquer verificador compatível com LRAT assim que o repositório for publicado. A publicação está prevista para 1 de setembro de 2026, e as instruções de instalação chegam com ela.","open-source-aion.dd58b70279":"A prova acompanha a resposta","open-source-aion.90e40d5043":"Começar","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Open Source","open-source-aion.close.accent":"para que qualquer pessoa possa verificá-lo sem si","open-source-aion.close.panel.title":"O que um certificado transporta","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Uma forma, oito campos","open-source-aion.close.panel.row.1.label":"Famílias","open-source-aion.close.panel.row.1.value":"Nove registadas e extensíveis","open-source-aion.close.panel.row.2.label":"Verificação","open-source-aion.close.panel.row.2.value":"Limitada, sem licença, sem repetição","open-source-aion.close.panel.row.3.label":"Onde é executado","open-source-aion.close.panel.row.3.value":"No seu site, nada de saída","open-source-aion.close.panel.foot":"Um certificado permanece pequeno e continua verificável anos depois.","open-source-aion.ea722c81af":"Europeu","open-source-aion.26803e587f":"No momento da auditoria","open-source-aion.15edfb4da4":"Feito em","open-source-aion.75f527181b":"Offline","open-source-aion.f8c94a3b4b":"O que é","open-source-aion.6b5eb5323e":"Offline, tempo linear","open-source-aion.a49b62e167":"Racionais exatos","open-source-aion.45f053dc73":"Aritmética","open-source-aion.4329e5da7b":"11 domínios lógicos","open-source-aion.9a948dc88c":"DERIVAÇÃO","open-source-aion.e6c67de15e":"Formatos de prova","open-source-aion.87415af880":"Certificados de prova","open-source-aion.9c8c22f54d":"Evidências, não garantias","open-source-aion.44ab85a252":"Origem","open-source-aion.3271776def":"Offline, sem serviço","open-source-aion.03128bed90":"Verificação","open-source-aion.4f1428fca3":"Hardware que controla","open-source-aion.5703321d0e":"Executa em","open-source-aion.978e9ec250":"Padrão, portátil","open-source-aion.3229609e15":"Verificação","open-source-aion.cba0624eb5":"Registo de verificação","open-source-aion.26ef011865":"Veja onde é executado","open-source-aion.6f696724c6":"Veja o caminho de verificação","open-source-aion.a3f1131acb":"AION é infraestrutura de prova para decisões de IA, pública a partir de 1 de setembro de 2026. Emite uma prova compacta ao lado de um resultado de IA, e um verificador separado percorre essa prova contra as premissas originais e aceita-a ou rejeita-a sem o modelo, a sessão do solver ou a rede.","open-source-aion.a2831cb958":"para decisões de IA verificadas de forma independente","open-source-aion.78db6d1920":"Infraestrutura de prova","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Nunca confie apenas nisso","open-source-aion.4c1c703b94":"O ponto","open-source-aion.2518be9b9c":"Não é necessário","open-source-aion.4ab2910209":"A sua conta","open-source-aion.3477f4d91d":"Mesma resposta","open-source-aion.d7e70b6e08":"Mesma pergunta","open-source-aion.930888ee28":"Sem internet","open-source-aion.d072f5db48":"A verificar necessidades","open-source-aion.576347ec82":"Europa","open-source-aion.eeffc514bd":"Não, outros usam-no por si","open-source-aion.cef1deea41":"Você constrói","open-source-aion.64ae43e8fe":"Verificação de prova","open-source-aion.fdd1e56642":"Um recibo para respostas","open-source-aion.704869f20f":"Em palavras simples","open-source-aion.658a8547d7":"É seguro?","open-source-aion.06c805023d":"Uma razão que pode levar consigo","open-source-aion.e92ed103c2":"AION adiciona um recibo verificável a uma resposta de IA. O seu assistente pode dizer-lhe se o raciocínio se sustenta sem exigir que compreenda o mecanismo, e o recibo pode ser verificado novamente sem ligação à internet. AION é público a partir de 1 de setembro de 2026, o dia em que a sua documentação também é publicada.","open-source-aion.336366183a":"para decisões de IA","open-source-aion.41cbc965ef":"Um recibo verificável","open-source-aion.4eabc3bc63":"CDCL com plugins de teoria","open-source-aion.68836c550e":"Núcleo","open-source-aion.0cdb7c9a36":"Tempo linear, offline","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teorias","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Linguagem","open-source-aion.942587e61e":"Ficha do projeto","open-source-aion.d4a74b503a":"Ler a documentação","open-source-aion.b683cc6ce4":"AION abre o programa a 1 de setembro de 2026: infraestrutura de prova para decisões de IA, com o repositório e a sua documentação publicados em conjunto. Explicações post hoc apenas pedem que confie noutro relato do mesmo sistema. AION emite, em vez disso, um certificado de prova que qualquer verificador pode verificar offline, em tempo linear, sem o solver.","open-source-aion.8f2ee5be83":"Resultados de IA","open-source-aion.376868cca2":"para verificação independente","open-source-aion.hero.source":"Pergunte sobre o lançamento","open-source-aion.45471af790":"Proveniência de eventos","open-source-aion.ac9835d4bd":"Transcrições de execução","open-source-aion.24f43d4446":"Árvores de sintaxe","open-source-aion.f6b229e148":"Os seus ficheiros, o seu hardware, os seus números e um verificador que lê a prova de um estranho","open-source-aion.144fbc96c6":"CONTADOS","open-source-aion.719075bb86":"ANALISAR E RESOLVER","open-source-aion.8f84ba12df":"OS SEUS PRÓPRIOS FICHEIROS","open-source-aion.8f088dbc07":"Isso é uma avaliação de duas semanas com um resultado escrito, em vez de uma demonstração. O corpus é seu, o hardware é seu, os números são seus para publicar internamente, e nada no exercício exige uma conversa connosco. O harness acompanha o repositório, pelo que a execução pode começar no dia em que o acesso chegar.","open-source-aion.36ef075645":"Correto não é a opinião da AION sobre si mesma. Cada ficheiro num corpus padrão carrega o estado que se sabe ter, e o harness compara a resposta da AION com essa anotação instância a instância, pelo que a contagem no final é uma pontuação contra uma verdade fundamental declarada. O espaço de endereços por execução pode ser limitado, o que impede que um ficheiro patológico leve uma máquina consigo.","open-source-aion.e5bce47d50":"O que um piloto produz","open-source-aion.680f97998b":"AION inclui um harness de benchmark, pelo que os números que cita num caso de negócio são os que os seus próprios ficheiros produziram no seu próprio hardware. Aponte-o para um corpus, e ele regista o tempo de análise, o tempo de resolução e a memória residente de pico para cada instância, e depois imprime uma contagem de quantas respostas estavam corretas. A execução repete-se no mesmo corpus, pelo que uma segunda avaliação pode ser colocada ao lado da primeira, linha por linha.","open-source-aion.2d5f8acea9":"e leia os números de volta","open-source-aion.5586707b63":"Execute primeiro os seus próprios ficheiros","open-source-aion.67ec8d614c":"Antes de se comprometer","open-source-aion.55744ee096":"Mesmo com tudo isso, alguém contestará um resultado. Isso precisa de um caminho, não de uma reunião","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"VISTO AO VIVO","open-source-aion.24538c3986":"MARGEM, NÃO ALARME","open-source-aion.368f25d10d":"Em algum lugar antes desse último, houve um dia em que o trabalho ainda era de uma tarde, e é esse dia que um gestor quer marcado, porque cada opção depois dele custa mais. Ler a margem diariamente é como esse dia é encontrado.","open-source-aion.c5701049a8":"O relatório tem um dono em vez de uma fila, e cada linha implica um trabalho diferente com uma urgência diferente. Um está completo e não requer ação de ninguém. Um tem quatro dias restantes, o que o torna o plano desta semana em vez do de hoje. Um tem um único dia restante, o que o torna o trabalho desta manhã. Um está atrasado há duas semanas, o que requer um nome associado e uma frase a explicar a lacuna.","open-source-aion.26435b9406":"Qualquer coisa com um prazo pode ser observada enquanto decorre, e a AION reporta o espaço restante como um número com sinal, em vez de um passe. Uma janela de resposta com quatro dias restantes. Um período de retenção duas semanas após a data em que deveria ter fechado. Isso é uma leitura operacional sobre a qual alguém pode agir esta manhã. O número move-se todos os dias, pelo que o relatório é lido como uma margem, em vez de um alarme.","open-source-aion.f49579b8d6":"antes de se tornar uma violação","open-source-aion.0e185152c8":"Lê a margem diariamente","open-source-aion.bc09e774e9":"Obrigações em direto","open-source-aion.cff8079f65":"Os registos respondem a perguntas depois do facto. Algumas obrigações precisam de ser observadas enquanto decorrem","open-source-aion.127edee78d":"ASSINADO","open-source-aion.b1c1ba1af8":"UMA LISTA","open-source-aion.8d27ef68f5":"SETE PODEM MOVER-SE","open-source-aion.c84f34cb7c":"A atribuição é um segundo mecanismo, em vez de outra coluna do mesmo registo. Uma assinatura é aplicada sobre a ordem de derivação, pelo que quem produziu um resultado sobrevive a uma mudança de contratante, e duas respostas idênticas de dois fornecedores permanecem distinguíveis. Isso mantém-se mesmo quando ambas foram produzidas a partir das mesmas entradas declaradas.","open-source-aion.a76201631f":"Cada entrada nessa lista nomeia o componente que mudou, e o certificado armazenado por trás dele é completo, pelo que a reverificação é uma execução, em vez de uma reconstrução. A alternativa, que é o que a maioria das organizações tem, é uma escolha entre reexaminar tudo e reexaminar nada, e na prática essa escolha é sempre feita da mesma maneira.","open-source-aion.5c82441a97":"O registo","open-source-aion.10d9103c24":"Um resultado aceite no ano passado foi aceite sob o contrato do ano passado. Sete coisas diferentes podem mover-se por baixo dele: uma regra de verificador, um esquema de certificado, uma política, uma regra de compilador, um contrato de runtime, uma versão de modelo ou um contrato de simulação. Quando uma delas se move, a questão de quais conclusões passadas se basearam na parte que mudou tem uma resposta, e a resposta é uma lista.","open-source-aion.1829734913":"recebe uma lista para refazer","open-source-aion.6d49555943":"Quando uma regra muda mais tarde","open-source-aion.7f325552d8":"O seu trilho de auditoria, com versões","open-source-aion.d272027f73":"Um registo local é fácil de manter. Mantê-lo com significado quando as regras mudam é mais difícil","open-source-aion.05a898ec87":"SEM HOST DE MODELO","open-source-aion.c530254e40":"O SEU SITE","open-source-aion.66b3dbbe8f":"SEM CHAMADA DE SAÍDA","open-source-aion.8ae7a1670e":"Para um responsável pela proteção de dados que responde a uma pequena lista de perguntas sobre este caminho, e apenas sobre este caminho: nenhum processador para adicionar a um registo, nenhuma transferência para justificar, nenhum fornecedor de modelo na cadeia, e nada nosso que possa estar indisponível durante o seu incidente ou mudar por baixo de si no calendário de lançamento de outra pessoa. A versão que tem é a versão que corre no próximo ano. Essa resposta é a mesma quer o site esteja ligado ou isolado.","open-source-aion.60ad7ae15b":"Dois caminhos podem cruzar uma fronteira e ambos são seus para configurar. Um cluster corre sobre endereços que define você mesmo. Um provador externo, se o quiser no circuito, é um programa que instala e que corre como um processo local na sua própria máquina.","open-source-aion.2f6a307ba7":"Para operadores","open-source-aion.dbc08c41b9":"A versão padrão do AION não inclui nenhum cliente de saída. Verificar uma prova, traduzir um requisito, monitorizar um sinal e executar a pesquisa acontecem todos na máquina onde os iniciou, dentro da sua própria fronteira, em hardware que controla. Não há nenhum modelo alojado na cadeia e nenhuma rota para um. A mesma versão corre numa sala isolada como numa ligada, porque nada no caminho padrão precisa de uma rede para terminar.","open-source-aion.90c790a231":"e nada chama para fora","open-source-aion.4b9230d5db":"Tudo corre no local","open-source-aion.fe7f7fc61a":"Onde o trabalho acontece","open-source-aion.ed461cacdf":"Uma prova sobre as regras é uma coisa. Onde o trabalho corre é a próxima pergunta que as pessoas fazem","open-source-aion.640d41197b":"UM TRABALHADO","open-source-aion.29ff0fb82f":"SETE DECLARAÇÕES","open-source-aion.431d64456a":"Isso é uma declaração sobre o conjunto de regras, não uma amostra de casos passados. Testar mil aplicações mostra mil aplicações; uma verificação de não interferência cobre todos os pares que as regras permitem, usando autocomposição, alcançabilidade orientada por propriedades e indução k, com a abstração apertada sempre que um par mostra que estava demasiado solta. Quando não se verifica, o que volta não é uma estatística. São duas aplicações idênticas em todos os campos públicos, diferindo naquele sobre o qual perguntou, com dois resultados diferentes impressos lado a lado. Isso é uma conclusão sobre a qual um responsável pela conformidade pode agir na mesma manhã.","open-source-aion.e5e1cd5506":"Pegue naquela que os reguladores e os queixosos perguntam mais vezes, em palavras diferentes: este campo mudou o resultado? É respondida como uma propriedade sobre duas execuções. Ligue todas as entradas públicas, deixe o campo em questão livre em cada lado, e exija que o resultado visível concorde. Se concorda sempre, o resultado não dependeu desse campo.","open-source-aion.227872d789":"Um deles, trabalhado","open-source-aion.5f92fd5ed1":"Um certificado só é interessante pela frase que lhe permite dizer. Este binário corresponde a este grafo de origem. Esta carga de trabalho correu sob estas capacidades. Esta ação teve a aprovação exigida. Este ótimo satisfaz este limite. Esta trajetória respeitou estes invariantes. Esta conclusão segue destas restrições. Esta saída veio deste modelo e conjunto de parâmetros exatos.","open-source-aion.418a3bc2fc":"colocadas diante de um regulador","open-source-aion.7a7af31402":"Sete declarações que pode","open-source-aion.a13c1cf72d":"O que pode realmente provar","open-source-aion.20467ce964":"Um caso é sobre uma aplicação. Algumas perguntas são sobre duas ao mesmo tempo","open-source-aion.dde18d1e41":"QUEM O POSSUI","open-source-aion.f3b603a5b2":"EM VALORES","open-source-aion.53d2799375":"O CASO","open-source-aion.f18bb15530":"Ambas são conclusões, e ambas têm um dono. Nenhuma está disponível a partir de um passar ou falhar. O contraexemplo é o que lhe diz qual das duas está a segurar.","open-source-aion.d83e9c1af9":"O contraexemplo também termina argumentos que de outra forma duram semanas, porque não é a opinião de ninguém sobre se a regra é demasiado estrita. É um caso, desenhado nos valores reais sobre os quais a regra trabalha. Ou o caso é possível em algum lugar do seu negócio, caso em que a regra está certa e o sistema está errado, ou o caso não pode ocorrer, caso em que a especificação está a faltar uma restrição que todos assumiram e ninguém escreveu.","open-source-aion.7455444aea":"Quando uma regra não se verifica, o AION devolve a situação específica que a quebra, escrita como prosa: quais valores, de que tipo, e quais condições violam. Um engenheiro pode reproduzir isso e um gestor pode avaliar o custo, e pela primeira vez os dois estão a discutir o mesmo caso.","open-source-aion.7d4873637b":"como o caso que a quebrou","open-source-aion.aeb268fac7":"Uma regra quebrada volta","open-source-aion.b5951203ea":"O que uma falha lhe entrega","open-source-aion.8a9a27b8f7":"O que deixa as frases que podem significar duas coisas, e essas são perguntadas","open-source-aion.e1814a04c0":"REVISÁVEL","open-source-aion.20e7dea6cd":"LEITURA SIMPLES","open-source-aion.295ea7bb80":"INGLÊS MANTIDO","open-source-aion.a4abbaea33":"A tradução é uma biblioteca de padrões em vez de um modelo, por isso a mesma frase produz sempre a mesma leitura, e uma revisão não tem de ser repetida porque a ferramenta mudou de ideias entre um trimestre e o seguinte. Um segundo revisor a ler a mesma frase chega à mesma condição, que é o que torna uma revisão transferível.","open-source-aion.f3689055f1":"Cada condição chega com uma frase de inglês simples a dizer o que codifica, e com as quantidades sobre as quais trabalha, cada uma nomeada com o tipo de valor que contém e a sua própria linha de descrição. Assim, a revisão pode ser feita pela pessoa que é dona do requisito, em vez de apenas pela pessoa que é dona da notação.","open-source-aion.cac3da045e":"Como se verifica","open-source-aion.c6b765e4cc":"Os requisitos são escritos por pessoas que percebem do negócio e transformados em condições por pessoas que percebem da notação, e as duas versões acabam por divergir durante anos. A AION mantém-nas ligadas: escreve o requisito como uma frase em inglês, e a condição que daí resulta transporta a tua frase consigo. O revisor lê as duas em conjunto, por isso a divergência aparece na página em vez de num incidente.","open-source-aion.589a38f560":"para a pessoa que perguntou","open-source-aion.5d212c3d75":"A regra continua legível","open-source-aion.5373332e20":"Quem pode ler o que foi verificado","open-source-aion.5f882ec681":"Uma referência só é útil se a regra para que aponta for uma que as tuas próprias pessoas consigam ler","open-source-aion.bca8d6442c":"ACIONÁVEL","open-source-aion.705bc98c49":"NOMEIA A REGRA","open-source-aion.ab9f5d57e4":"NOMEIA O PASSO","open-source-aion.b4ba975800":"Manter essas coisas separadas é o que permite que uma recusa seja enviada a um fornecedor, porque uma acusação é a única coisa que não se pode retirar em silêncio de uma relação com um fornecedor.","open-source-aion.7a47f854de":"Essa forma é aquilo em que um auditor ou um gestor de fornecedores consegue agir, porque transforma um desacordo numa referência. A AION também separa duas falhas que chegam sob uma única palavra. Ou o passo não se reconstrói, o que é um defeito na prova e uma constatação contra quem a produziu, ou o passo usa uma regra que este verificador não contém, o que é uma questão de âmbito para ti e não uma constatação contra ninguém.","open-source-aion.d9469b7dda":"Uma falha que diz verificação falhada não pode ser atribuída, discutida ou corrigida, e chega como uma disputa em vez de uma constatação. A AION devolve uma localização e um motivo: qual o passo, em que ficheiro, que regra afirmava estar a aplicar, e o que faltava quando o passo foi recalculado. A recusa pode voltar para a equipa produtora com um endereço reproduzível. Se a prova não puder ser reconstruída, a responsabilidade é do produtor; se o verificador não tiver a regra nomeada, é uma decisão de âmbito. São filas diferentes e remediações diferentes.","open-source-aion.ccc6a09991":"com o passo e o motivo","open-source-aion.3619f211ef":"Uma verificação falhada volta","open-source-aion.29801085dc":"O resultado que tem de ser utilizável","open-source-aion.57c6ba11fc":"Sete produtores mantêm o seu próprio resultado. A AION padroniza o envelope e o encaminhamento das suas evidências.","open-source-aion.f37804f36b":"UM ENVELOPE","open-source-aion.8a3b4bf313":"SETE PRODUTORES","open-source-aion.479f1de8ea":"O envelope partilhado dá à organização um registo único, um modelo de compatibilidade único e um conjunto afetado único quando uma regra muda. Cada família de certificados mantém o seu próprio verificador e as suas regras de recusa. Uma nova família adere ao registar essas regras e o seu verificador; a AION não se torna o produtor. O registo é a parte que cresce.","open-source-aion.5b958e86c7":"Um resolvedor pode emitir certificados lógicos, de otimização ou temporais. O Twin e o FMI produzem resultados diferentes, mas partilham a família de simulação e FMI. O produtor diz o que foi feito; a família de certificados diz como a sua afirmação é verificada. Os dois são registados em separado, por isso nenhum pode ser deduzido do outro.","open-source-aion.57e1cc2701":"O que um envelope muda","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin e FMI são sete produtores de resultados diferentes, não sete famílias de certificados. A AION dá às suas evidências um envelope único e encaminha cada certificado para o verificador específico da família. O envelope transporta o produtor, a família, o esquema e as entradas declaradas, enquanto o verificador da família mantém o significado técnico. Um fornecedor pode mudar a sua implementação sem mudar o limite de evidências da organização; só uma mudança de família ou de esquema expande a revisão de compatibilidade.","open-source-aion.65a41e884e":"um envelope para as evidências","open-source-aion.837663a52a":"Sete produtores, e","open-source-aion.647e0f46ec":"Sete produtores","open-source-aion.af6010147d":"Um fornecedor é uma relação. A questão interessante é até onde isto chega","open-source-aion.35ecafecfb":"A TUA MÁQUINA","open-source-aion.0676f9f8de":"TRÊS COISAS","open-source-aion.dfc87eabb4":"Isso move a conversa para fora do terreno onde os fornecedores se sentem confortáveis. Já não lhes pedes que te convençam, e já não pagas para reproduzir o ambiente deles. Assim que tens as três coisas, a verificação é tua para repetires quando quiseres, no hardware que quiseres, incluindo na semana a seguir ao fim do contrato.","open-source-aion.7677ed77e3":"Vale a pena ser preciso sobre o artefacto, porque nem sempre é um ficheiro. Dependendo da família, pode ser um ficheiro, um arquivo, um fluxo, um pacote assinado, um par de rastreios, uma testemunha, um recibo de execução ou uma derivação estruturada. O que é sempre, seja qual for a sua forma, é algo que um verificador consegue ler sem a presença do produtor.","open-source-aion.a29def781f":"O que um certificado é realmente","open-source-aion.fdca1fef67":"Um certificado não é um registo nem um resumo. É a evidência que o trabalho deixou para trás, e o que um fornecedor entrega são três coisas: a afirmação, as entradas declaradas e o contrato contra o qual foi feito, e o certificado que o sistema produziu. Não a licença deles, não a versão deles, não a máquina deles. Essas três viajam juntas, e verificá-las não precisa de mais nada do fornecedor.","open-source-aion.b054d236cd":"em vez do software deles","open-source-aion.53e1575f60":"Verificas o certificado","open-source-aion.5e40f4ba8a":"A mudança de posição","open-source-aion.b9e2767b28":"Há um caminho que não é nem acreditar neles nem voltar a executar o software deles","open-source-aion.7d87348ad6":"O TEU NOME","open-source-aion.48a5aca907":"O SISTEMA DELES","open-source-aion.32c3cafa08":"Essa é a posição que um auditor está a analisar quando pergunta como te certificaste, incluindo ao abrigo de regras de evidência como as do Regulamento da UE sobre IA. A AION muda isso ao dar a cada um desses resultados um certificado que podes verificar, sem reproduzir o fornecedor e sem acesso a nada que eles considerem seu. A verificação corre na tua própria máquina, apenas contra o certificado.","open-source-aion.ac90e72b2c":"As rotas habituais acabam ambas no mesmo sítio. Pode pedir-lhes as provas, que são um documento que escreveram sobre o próprio software. Ou pode pedir para reproduzir o sistema você mesmo, o que exige a licença deles, a versão deles e o ambiente deles, e ainda assim fica a depender daquilo que produziu a resposta.","open-source-aion.fc63c534d2":"Um solver diz que o calendário é viável. Um sistema de IA chega a uma conclusão regulada. Um sistema de agentes executa uma operação em seu nome. Um compilador produz um artefacto crítico para a segurança. Um runtime executa uma carga de trabalho controlada. Uma simulação valida uma decisão de projeto. Um gémeo digital reporta que um estado operacional é seguro. Em todos esses casos, o trabalho aconteceu noutro lugar e a consequência recai sobre si.","open-source-aion.c9672e2ac8":"o seu nome está na resposta","open-source-aion.925d7b4a2d":"O sistema deles produziu-a","open-source-aion.47b025f850":"Onde está a responsabilidade","open-source-aion.905aee629b":"O processo, uma razão que pode ler, e a mesma regra para todos os que afeta","open-source-aion.4d0ee37058":"UMA DATA","open-source-aion.6ccb4a6f6a":"MESMA RAZÃO","open-source-aion.84adcc762b":"MESMA VERIFICAÇÃO","open-source-aion.56c6f422d8":"Isso é uma carta que alguém pode escrever. Em vez de dizer que o sistema decidiu, pode citar a regra, indicar a data, indicar a versão e perguntar a quem a escreveu se era isso que queria dizer.","open-source-aion.073cdea47b":"Isso só vale se puder vê-lo, por isso o que fica a segurar são três coisas que pode usar. A regra, em palavras simples que pode ler em voz alta. A razão pela qual se aplicou a si, citando essa regra com a sua própria situação. E a data em que o processo foi verificado. Esse registo indica o que o verificou e contra que versão das regras foi verificado.","open-source-aion.a50f912efb":"O que pode fazer com isso","open-source-aion.1d94c73b03":"Entregue o mesmo processo à AION duas vezes e a verificação sai da mesma forma, à segunda e à sexta, para si e para a pessoa atrás de si na fila. Não é que todos recebam a mesma resposta, porque as pessoas trazem situações diferentes. É que a verificação em si não varia, e ninguém está a interpretar o seu caso na hora. Um ano depois, o mesmo processo é verificado pelas mesmas regras escritas, por isso uma resposta que lhe deram ainda pode ser explicada.","open-source-aion.fba7a52bf4":"à segunda e à sexta","open-source-aion.77a3327a99":"Verificado da mesma forma","open-source-aion.cebde51ae2":"O que fica a segurar","open-source-aion.a566f0cb1b":"O tempo é um tipo de regra. A maioria são do tipo simples, aplicadas a todos","open-source-aion.29231cd04d":"A TEMPO","open-source-aion.d89f7642e7":"VIGIADO","open-source-aion.5d491ce50f":"DIAS RESTANTES","open-source-aion.c50722f442":"A mesma leitura funciona depois da data tanto quanto antes. Catorze dias passados é um facto sobre o qual alguém pode ser questionado, com uma data associada, em vez de uma marca vermelha que chegou sem aviso.","open-source-aion.0b1cbd5f8a":"Uma aprovação não lhe diz nada até deixar de ser aprovação, e nessa altura as opções baratas já se foram. Um número diz-lhe onde está: vinte e dois dias restantes é uma nota na agenda, quatro dias restantes é esta semana, um dia restante é esta manhã.","open-source-aion.af41b675b0":"O que isso lhe dá","open-source-aion.2ff91b62ec":"As regras com um relógio dentro são as que apanham as pessoas. Uma resposta devida em trinta dias, uma janela de reembolso, um período após o qual algo tem de ser eliminado. A AION vigia essas regras enquanto decorrem e reporta quanto espaço resta hoje, em número de dias.","open-source-aion.94dc6c2b80":"muito antes do último","open-source-aion.6bdbc0422a":"Pode ver os dias restantes","open-source-aion.37f768721f":"Prazos que o envolvem","open-source-aion.e3c2d4b24a":"Trabalhar no local também significa que pode manter um olho no relógio por si","open-source-aion.4ace2cc9bc":"SEM CONTA","open-source-aion.c5c3055a7b":"NADA ENVIADO","open-source-aion.a5b9137c2b":"FICA AQUI","open-source-aion.874bab5372":"Se houver alguma ligação, é uma que alguém configurou deliberadamente entre as próprias máquinas, e está desligada até o fazerem. A sua frase é lida por regras escritas, na mesma sala que você, e a resposta chega com a linha desligada. Nada saiu da máquina para a produzir, e nada foi enviado.","open-source-aion.4a03f17947":"Sem conta, sem registo e sem serviço externo que tenha de estar a funcionar, ou ser fiável, ou ainda existir no próximo ano, para você obter uma resposta.","open-source-aion.f10eb79b5b":"O que isso significa para si","open-source-aion.c17d4e01b4":"Muitas ferramentas respondem a uma pergunta sobre si enviando os seus dados e esperando por uma resposta. A sua informação viajou, para uma empresa que não escolheu, possivelmente para um país cujo nome nunca ouvirá. A AION faz o trabalho onde já está. Nada é enviado, porque não há nada com que enviar.","open-source-aion.9e50609149":"na máquina onde está","open-source-aion.ca67037369":"A resposta é calculada","open-source-aion.7df600af96":"Para onde vão os seus dados","open-source-aion.399483042a":"Ser perguntado é metade. A outra metade é o que lhe dizem quando a resposta é não","open-source-aion.0b5b7048ea":"VOCÊ ESCOLHE","open-source-aion.f12c755afa":"PERGUNTA-LHE","open-source-aion.300453f44e":"DOIS SIGNIFICADOS","open-source-aion.6debd2c487":"O que parece uma pequena cortesia. É a diferença entre uma regra que aceitou e uma regra que alguém adivinhou em seu nome, com pressa, num dia em que não estava lá. A adivinhação é a forma habitual de fazer isto, e ninguém é alguma vez informado de que aconteceu. Perguntar custa um momento e tira a adivinhação do registo.","open-source-aion.6f02dd9d43":"A AION para e pergunta. Cita as palavras sobre as quais não tem a certeza, apresenta ambas as leituras em linguagem simples, coloca uma pergunta com a sua própria frase dentro, e espera. Você escolhe. Nada é decidido enquanto a pergunta estiver aberta.","open-source-aion.0ccfcd0de4":"O que muda","open-source-aion.b3124516ab":"\"Cancele se o atraso for superior a uma hora.\" Um atraso de setenta e cinco minutos é superior a uma hora, ou as horas são contadas inteiras, de modo que setenta e cinco minutos é uma hora e uma hora não é superior a uma? Ambas as leituras são inglês corrente. Discordam em exatamente um caso, e esse caso vai aparecer.","open-source-aion.4449c95cf9":"significam duas coisas, pergunta","open-source-aion.75ca04ac1b":"Se a sua frase puder","open-source-aion.2297deb89a":"Quando a sua frase não é clara","open-source-aion.32cf0852b8":"Uma frase também pode querer dizer duas coisas ao mesmo tempo, e vale a pena parar para pensar nisso","open-source-aion.b5d2541ad8":"SEM JARGÃO","open-source-aion.3b7c198e57":"VOLTA A APARECER","open-source-aion.c4cc4b9845":"AS SUAS PRÓPRIAS PALAVRAS","open-source-aion.5c9a5c3396":"E quando a mesma frase é lida novamente, produz exatamente a mesma regra, porque nada no AION aprende, deriva ou tem uma ideia melhor entretanto. Uma regra a que aceitou uma vez continua a ser a regra a que aceitou, e quem a recebe está a ler a sua frase, e não um resumo feito por outra pessoa. Nada pelo caminho a transforma nas palavras de outros.","open-source-aion.ba41f25c15":"Duas coisas resultam de manter a frase. Pode saber se ela foi compreendida no dia em que a escreveu, lendo-a, em vez de descobrir isso através de um incidente um ano mais tarde.","open-source-aion.c19473d784":"Escreva a regra em palavras comuns e o AION mantém essas palavras. O que parece uma pequena cortesia até ao dia em que faz diferença: meses depois, quando algo é bloqueado por causa dessa regra, a frase que escreveu volta ao topo da explicação, nas palavras que escolheu.","open-source-aion.4c0e51d183":"diria em voz alta","open-source-aion.dcf65c0f8a":"Escreva a regra como","open-source-aion.e1a651b90e":"Dizer o que quer","open-source-aion.beda6f7681":"Refazer uma soma exige a soma escrita. O mesmo acontece com uma regra, e a sua pode ser uma frase","open-source-aion.ef6371cd2e":"BLOQUEIA","open-source-aion.47ce22a1f7":"PASSO A PASSO","open-source-aion.9195df51f1":"UMA SEGUNDA LEITURA","open-source-aion.b66352de76":"O bloqueio é a parte importante. Qualquer coisa pode concordar consigo. Algo que bloqueie e aponte para a linha vale a pena, e há muito pouco disso por aí.","open-source-aion.e04fafc8fc":"O AION volta a somar a coluna. Não para faturas, mas para o tipo mais difícil de trabalho que as máquinas fazem quando decidem que algo é permitido, seguro ou impossível, quando constroem algo, quando executam algo em seu nome, ou quando calculam o que aconteceria antes de alguém tentar. Ele lê o cálculo que a primeira máquina escreveu, refaz cada passo por si, e bloqueia no primeiro que não consegue fazer bater certo.","open-source-aion.b55b759c73":"Quando uma fatura parece errada, não se discute se o total está certo. Soma-se a coluna novamente. Se obtiver o mesmo número, o total mantém-se. Se bloquear na quarta linha porque não bate certo, pode dizer exatamente qual é a linha, e a discussão termina numa frase.","open-source-aion.59141b0dfa":"em vez de aceitar a sua palavra","open-source-aion.fa22d5033b":"Alguém refaz a soma","open-source-aion.333a6c87f2":"uma alteração produz um conjunto afetado e uma fila, não uma reinterpretação silenciosa do passado","open-source-aion.0eecb96558":"são cinco factos","open-source-aion.59e22ed738":"produzido, assinado, verificado, aceite e ainda compatível","open-source-aion.d78c662e5b":"verificado, não assumido","open-source-aion.5b44284acd":"ainda compatível com","open-source-aion.cc4bc74f90":"com uma versão do contrato","open-source-aion.3bb51eeea5":"aceite ao abrigo de","open-source-aion.72954f75cf":"com uma versão do verificador","open-source-aion.3741770a87":"verificado por","open-source-aion.7fc7c8aef9":"sobre um hash da ordem de derivação","open-source-aion.d2a7817a72":"assinado por","open-source-aion.9d7c5e8097":"com uma versão","open-source-aion.8fffa5fcb8":"produzido por","open-source-aion.756e62f03a":"Um resultado, cinco factos","open-source-aion.2b8be4ecd3":"A atribuição funciona com o seu próprio mecanismo: uma assinatura Ed25519 sobre um hash BLAKE3 da ordem de derivação, com um nonce monotónico e um carimbo de tempo, verificável com a chave pública do produtor. A aceitação funciona com outro, que transporta a identidade e a versão do verificador e a versão do contrato que concedeu. Quando algo subjacente muda, uma regra de verificação, um esquema de certificado, uma política, uma regra de compilador, um contrato de execução ou uma versão de modelo, os certificados que declararam dependência disso formam um conjunto afetado e são colocados em fila para serem verificados novamente, com o componente alterado identificado.","open-source-aion.6b8169d142":"Um veredito por si só é uma palavra sem autor. Cinco factos que normalmente se fundem num só são aqui mantidos separados: quem produziu um resultado, quem o assinou, o que o verificou, ao abrigo de que contrato foi aceite e se ainda é compatível com as regras tal como estão hoje. São cinco perguntas diferentes e quatro delas sobrevivem a uma mudança de fornecedor.","open-source-aion.2cd4b335f4":"Um verificador verifica-o.","open-source-aion.d15fbc9566":"Nada é verificado.","open-source-aion.481d0fc02c":"Todo o argumento","open-source-aion.ca75c84634":"Cada certificado aqui acaba como um registo, e o registo mantém os factos separados","open-source-aion.3ecc9abb23":"EXTENSÍVEL","open-source-aion.8112bd91bc":"ISOLADO DA REDE","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Quando uma única verificação é genuinamente demasiado grande para uma máquina, o trabalho divide-se em cubos entre máquinas, com partilha de cláusulas entre eles, e um resultado composto só é aceite após uma verificação de cobertura: dois cubos não podem corrigir o mesmo conjunto de literais, e o que cobrem tem de somar o espaço inteiro, e não quase todo. Uma junção a que falta um é uma recusa, que é a mesma disciplina que em todo o resto do produto. Para além disso, um registo de verificadores e uma API de extensão são a forma de uma família de certificados que ninguém aqui escreveu ser verificada aqui.","open-source-aion.04cd68c7fb":"Apenas duas coisas podem atravessar uma fronteira, e ambas são configuradas por si. Um cluster funciona sobre endereços que define. Um produtor externo é um programa que instala e executa como processo local. Não há nenhum modelo alojado em nenhum ponto da cadeia, e nenhum serviço nosso que possa estar indisponível durante o seu incidente ou mudar por causa do calendário de lançamento de outra pessoa. Um ambiente isolado da rede verifica exatamente como um ligado, porque a verificação nunca precisou do produtor em primeiro lugar.","open-source-aion.ac1913e46c":"Dois caminhos para fora, e ambos são seus","open-source-aion.c2193fefe2":"A verificação é um cálculo como qualquer outro, e onde é executada é a sua decisão. O AION publica a 1 de setembro de 2026: assim que o repositório for público, ligue a biblioteca, execute o comando ou monte o serviço dentro da sua própria fronteira. A construção predefinida não inclui cliente de saída, por isso verificar um certificado não precisa de conta, fornecedor ou rota para fora da máquina onde começou.","open-source-aion.72d09c5994":"um serviço, ou um enclave","open-source-aion.f8ac38e647":"Uma biblioteca, um comando","open-source-aion.604918db00":"Onde a verificação é executada","open-source-aion.c07ebfbab5":"Um arquivo permanece imóvel. A última questão é onde tudo isto realmente é executado","open-source-aion.d34941b7ce":"INDEXADO","open-source-aion.79ae623ce9":"ENDEREÇADO POR CONTEÚDO","open-source-aion.0f7d1ea9ca":"A parte que tem de ser construída em vez de assumida é o índice. Quando uma regra de verificador, um esquema de certificado, uma política, uma regra de compilador, um contrato de tempo de execução ou uma versão de modelo muda, os certificados cuja validade dependia do componente alterado são encontrados por consulta, não por varrer tudo e esperar. As dependências são declaradas no envelope, pelo que o conjunto afetado é uma consulta e a fila de reverificação é o seu resultado, com o componente alterado nomeado contra cada entrada. A alternativa que a maioria das organizações realmente tem é uma escolha entre reexaminar tudo e reexaminar nada.","open-source-aion.144711734a":"O armazenamento só é útil se um leitor que avançou ainda o puder abrir, pelo que cada registo transporta a assinatura do produtor, a identidade e versão do verificador que o aceitou, a versão do contrato sob a qual foi aceite e as dependências em que se apoia. Um teste de compatibilidade é executado no caminho de volta.","open-source-aion.22f96be502":"O conjunto afetado é um índice real","open-source-aion.a1b04ec691":"Os certificados que valem a pena guardar são aqueles sobre os quais lhe perguntarão anos mais tarde. A AION armazena um certificado aceite de forma compacta e por endereço de conteúdo: identificadores mantidos como diferenças, padrões repetidos codificados por comprimento de execução, subprovas idênticas com hash e armazenadas uma vez, e tudo endereçado pelo seu conteúdo em vez de onde alguém o arquivou. Um endereço de conteúdo é o que permite a um leitor que avançou encontrar o mesmo certificado novamente e verificá-lo uma segunda vez, anos após a execução que o produziu.","open-source-aion.c017c017d7":"e permanece re-verificável","open-source-aion.2e10b84b57":"Um certificado permanece pequeno","open-source-aion.9263a81467":"Armazenar o que foi verificado","open-source-aion.1f029bacad":"Seis famílias, e todas acabam no mesmo registo","open-source-aion.1deb4d4a29":"TRAJETÓRIA","open-source-aion.f8d5b44c34":"INVARIANTES","open-source-aion.52dd7acef9":"CONFORMIDADE","open-source-aion.24d7374cb9":"Manter essas coisas separadas é o que torna as duas primeiras válidas. Uma garantia que implica silenciosamente a terceira é a que falha diante de um regulador, e um certificado que nomeia o seu próprio limite é o que sobrevive à reunião.","open-source-aion.0e4ffe42fa":"Três perguntas diferentes são feitas a uma simulação, e ser honesto sobre quais duas são respondíveis aqui é todo o conteúdo profissional da secção. A conformidade de execução pergunta se o modelo, parâmetros e configuração declarados produziram realmente esta trajetória, e isso é verificável. A verificação de propriedades matemáticas pergunta se os invariantes declarados se mantêm ao longo da execução, e isso também é verificável, com uma falha a devolver o rasto em vez de um veredito. A validade física pergunta se o modelo representa o mundo real, e nenhum certificado estabelece isso. Pertence ao proprietário do modelo, e pertence-lhe permanentemente.","open-source-aion.bb70d13ca4":"A linha sobre a qual esta secção é cuidadosa","open-source-aion.ac558913f9":"Um resultado de simulação é usado para tomar decisões muito depois de a execução ter desaparecido. O certificado transporta a identidade do modelo e do FMU, o conjunto de parâmetros, o estado inicial, a configuração do solver, a sequência de passos de tempo ou eventos, as transições de estado, as verificações de invariantes realizadas, o estado de convergência ou terminação, o hash da trajetória resultante e um rasto de contraexemplo onde uma propriedade falha.","open-source-aion.1c9f5f0f21":"responde exatamente a duas delas","open-source-aion.242c47d00a":"Três perguntas, e isto","open-source-aion.a635f9edf3":"Twin e FMI, certificados","open-source-aion.43f8bc442f":"A execução é uma execução de uma coisa. Uma simulação faz milhões delas ao mesmo tempo","open-source-aion.d3a968f797":"ID DE SAÍDA","open-source-aion.d79014995c":"ATESTADO","open-source-aion.2fbbf64505":"CAPACIDADES","open-source-aion.51fd9d7843":"O determinismo é o que torna o resto verificável. Como as transições são determinísticas dado o módulo, as entradas e as concessões, um verificador pode segui-las sem reexecutar a carga de trabalho no seu ambiente original, e duas execuções que reivindicam a mesma identidade de saída a partir das mesmas entradas ou concordam ou apontam para a transição onde deixaram de concordar. Isso é uma atestação de tempo de execução na prática: o que foi executado, sob que autoridade, verificável sem o executar novamente.","open-source-aion.0d0fd79859":"A maioria das perguntas feitas sobre uma carga de trabalho depois do facto são realmente perguntas sobre a sua autoridade. O que podia esta coisa alcançar enquanto estava a ser executada, e alcançou mais alguma coisa. Um certificado que transporta as concessões de capacidades juntamente com as transições responde a isso sem que ninguém leia um registo, e responde a alguém que não opera o tempo de execução.","open-source-aion.890c61e134":"Porque é que o conjunto de capacidades é o campo interessante","open-source-aion.1331fa2052":"Um estado de saída diz que uma carga de trabalho terminou. O certificado de execução diz o que terminou: a identidade da carga de trabalho e do módulo, a versão do tempo de execução, as concessões de capacidades que detinha, as entradas que recebeu, as transições de estado determinísticas pelas quais passou, os limites de recursos dentro dos quais foi executada, a identidade da saída que produziu e se completou ou ficou presa. Cada um desses é um campo a partir do qual uma pergunta posterior pode ser respondida, sem voltar à máquina que a executou.","open-source-aion.65576ef482":"sob quais capacidades","open-source-aion.74a9894f4f":"O que foi executado, em quê, e","open-source-aion.eabc461dcf":"Selvedge, certificado","open-source-aion.b4792818f1":"Um artefacto compilado ainda tem de ser executado em algum lugar, e essa execução também é uma reivindicação","open-source-aion.414cbcc9ec":"PROVENIÊNCIA","open-source-aion.24466ece94":"FONTE PARA ARTEFACTO","open-source-aion.c81d361198":"Essa precisão é o que torna o artefacto útil a jusante. Numa compilação regulada, a questão raramente é se um compilador é bom. É se este binário corresponde a este grafo de origem sob esta configuração de otimização, que é uma questão com resposta, e a resposta viaja com o artefacto em vez de viver no sistema de compilação que o produziu. É isso que proveniência de compilação significa na prática: uma afirmação sobre este artefacto, verificável sem o sistema de compilação que o criou.","open-source-aion.6c1fd4df2b":"A declaração é a disciplina. Um certificado não afirma que todas as otimizações estavam corretas como uma afirmação indiferenciada, porque essa afirmação não é verificável nem verdadeira para qualquer compilador real. Ele nomeia exatamente quais propriedades de preservação ou equivalência estabelece em quais transformações, e o verificador verifica essas e não reporta mais nada.","open-source-aion.fd5ed4a1d8":"Afirmações nomeadas, não uma afirmação genérica","open-source-aion.82a76c947a":"Um compilador entrega um artefacto e um estado de saída. O certificado de compilação carrega o que esse artefacto afirma ser: a identidade da origem ou grafo de onde veio, a versão do compilador e da otimização, a sequência de transformações aplicada, a preservação de tipo e forma nessas transformações, os kernels selecionados, a identidade do artefacto produzido e as verificações de equivalência ou invariante que o certificado declara.","open-source-aion.06efebf0f5":"sobre a origem de onde veio","open-source-aion.3f208ecc5e":"O binário também é uma afirmação","open-source-aion.716710e273":"Kera, certificado","open-source-aion.89572e64cc":"Uma organização pode ser certificada. Também o compilador que construiu aquilo em que ela corre","open-source-aion.502114d554":"RECIBOS","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORIDADE","open-source-aion.965738574a":"O valor aparece quando a operação é disputada. Um rasto de fluxo de trabalho é o relato da organização sobre si mesma. Um certificado que um verificador independente aceitou, sob uma versão de contrato nomeada, é uma classe diferente de evidência, e a diferença é exatamente aquela que a AION existe para criar.","open-source-aion.f4652935ed":"Este é um certificado sobre uma operação governada, não sobre o que um agente estava a pensar. Ele resolve as questões que alguém vai realmente fazer: se a autoridade existia no momento em que a ação disparou, se o portão que devia ter segurado segurou, se a aprovação estava ligada à ação em vez de a uma mensagem próxima dela, e se as transições de estado que o registo afirma são as que o contrato permite. Todas são verificáveis por máquina, e nenhuma requer acesso a um modelo.","open-source-aion.be15814346":"O que estabelece, e o que não estabelece","open-source-aion.38d3c11f27":"Um fluxo de trabalho concluído é uma afirmação como qualquer outra. O certificado organizacional estabelece a operação governada que realmente ocorreu: o objetivo e a versão da política sob a qual correu, a organização formada, os papéis e a autoridade resolvidos, as tarefas executadas e as suas transições, os portões de política ultrapassados, as aprovações anexadas, as ações realizadas e os recibos registados.","open-source-aion.65a8805f19":"ter seguido o seu contrato","open-source-aion.f827cfbcbf":"Uma operação pode ser provada","open-source-aion.07fba05892":"Nexus, certificado","open-source-aion.c6fd961235":"O raciocínio é um produtor. Uma organização de agentes é algo mais difícil de certificar","open-source-aion.2764d46fd5":"SEM CHAMADA DE MODELO","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"O front end de requisitos em inglês também pertence aqui, porque um certificado de raciocínio é tão auditável quanto a restrição no seu topo. Uma biblioteca de padrões determinística devolve condições formais ordenadas por quantas frases-gatilho corresponderam, cada uma com a sua leitura simples e as quantidades sobre as quais opera, e onde uma frase genuinamente carrega mais do que uma leitura, levanta a ambiguidade com a questão nomeada em vez de a resolver silenciosamente.","open-source-aion.c4d7d27503":"Por baixo estão produtores de ambos os tipos, e são aceites através da mesma fronteira. A AION decide estrutura booleana, aritmética de lógica de diferenças, palavras bitvector e igualdade com funções não interpretadas por si própria, sobre uma pesquisa completa orientada por conflitos com duas literais observadas, uma heurística de atividade ordenada por heap, reinícios geométricos e eliminação de cláusulas baseada em atividade. Numa resposta insatisfazível, devolve um núcleo, que nomeia quais das suas próprias restrições estavam em conflito em vez de descrever a pesquisa que as encontrou. Um solver externo corre como o seu próprio processo e devolve uma prova, e nada além desse ficheiro cruza entre os dois. Qualquer ferramenta que emita uma prova num formato para o qual a AION carrega um verificador qualifica-se, entre elas a cvc5, e a fronteira é o formato em vez do fornecedor.","open-source-aion.5264c1875d":"Produtores, nativos e externos","open-source-aion.09b6611fc2":"A Loom raciocina. O que a AION verifica é o artefacto que o raciocínio deixa para trás: as restrições que estavam ativas, as regras que foram aplicadas, os subproblemas que foram para um solver, os certificados que esses solvers devolveram, as contradições encontradas, os limites que fecharam uma decisão e a afirmação finalmente asseverada. Artefactos computacionais explícitos e derivações declaradas, verificados como tal.","open-source-aion.2224f4889f":"a derivação em que se apoia","open-source-aion.1aceefa727":"Uma conclusão chega com","open-source-aion.40e8df9cbd":"Loom, e os solvers por baixo dela","open-source-aion.cbac360b09":"Passos booleanos e aritméticos são uma família. O raciocínio é onde a pilha começa","open-source-aion.9786d05f5a":"FUZZED","open-source-aion.a9bb80378b":"RE DERIVED","open-source-aion.0204e8b30c":"REGRA A REGRA","open-source-aion.a43c278b96":"Ao nível da cláusula, cada adição é rederivada a partir dos primeiros princípios: assumir a nova cláusula como falsa, propagar as cláusulas que as suas dicas citam e exigir a contradição que essas dicas prometem. Quando a propagação por si só não a força, a adição passa para a condição mais difícil sobre o literal pivô nomeado contra cada cláusula com a qual esse pivô poderia resolver, de modo que um passo não pode ser aceite simplesmente por nomear um pivô que a cláusula não contém. A fórmula e a prova são ambas lidas linha a linha, pelo que uma prova maior do que a memória da máquina ainda é verificada de ponta a ponta. O próprio conjunto da AION é hostil à AION: uma dica que cita o passo que se destina a justificar, dois passos que se apoiam um no outro, um pivô reivindicado mas ausente, duas cláusulas sob um identificador, o marcador final usado como identificador, uma eliminação de uma cláusula nunca adicionada e a mesma cláusula eliminada duas vezes. Cada leitor que toca num ficheiro escrito por outra pessoa é submetido a fuzzing contra um corpus com semente.","open-source-aion.13a29c20f0":"Três condições precedem a verificação da regra em cada passo, numa ordem fixa: se o passo cita a si próprio, se cada número que cita está presente e se algum deles está numerado acima do passo que o cita. Antes de todas as quatro, o ficheiro é verificado uma vez para detetar um número de passo repetido. Apenas uma prova cujos passos passem tudo isso chega à última condição, que é se o ficheiro termina numa contradição. Uma derivação que termina com literais ainda em pé passou em tudo o resto e ainda assim é recusada.","open-source-aion.f626b7a7da":"Por baixo da superfície","open-source-aion.1a95f2e67d":"As provas de cláusulas na família LRAT, que é SAT, e as provas de regras no formato Alethe, que é SMT, são a família com a história mais longa de pessoas a tentarem derrotá-la, o que a torna a mais adequada para mostrar. A AION envia cada passo para a rotina que implementa a sua regra, e um nome de regra sem nada por trás termina a leitura em vez de passar silenciosamente, com o número do passo e a regra impressos.","open-source-aion.8294eed416":"e uma regra desconhecida interrompe-a","open-source-aion.9959b32cda":"Cada passo cumpre quatro testes","open-source-aion.3821e115bc":"A família com adversários","open-source-aion.c415bc49f1":"A família mais antiga é a que tem mais adversários, por isso é a primeira a analisar","open-source-aion.06d55361b1":"VERSIONADO","open-source-aion.bca8de5f5a":"NOVE FAMÍLIAS","open-source-aion.187b58774c":"As famílias são versionadas separadamente pela mesma razão. Um conjunto de regras pode apertar na família lógica sem perturbar a família de simulação, e o conjunto de certificados afetados para essa alteração é exatamente os registos que declararam a versão que está a ser alterada. As nove de hoje são lógica e satisfabilidade, otimização, propriedades temporais e de hiperpropriedade, raciocínio, organizacional, compilação, execução em tempo de execução, simulação e FMI, e integridade de armazenamento.","open-source-aion.ca4a7a3c63":"Registar uma família é como um sistema que não existia quando a AION foi escrita se torna verificável por ela. O envelope já é o mesmo, a camada de armazenamento e a fila de re-verificação já funcionam, e o que uma nova família tem de fornecer é um verificador e um conjunto de regras declarado. Software de terceiros que implementa um contrato de certificado entra pela mesma porta que qualquer coisa nossa.","open-source-aion.6581749da9":"Porque é um registo em vez de uma lista","open-source-aion.c453f0b87d":"Uma família de certificados é um contrato nomeado e versionado, em vez de um formato de ficheiro. Cada uma declara a sua identidade e versão, o tipo de alegação que estabelece, as entradas que requer, como a prova ou testemunha é representada, o algoritmo de verificação, o conjunto de regras que o verificador aceita, os seus metadados de dependência e compatibilidade, a sua representação legível por humanos onde existir, e a sua própria taxonomia de recusa.","open-source-aion.29a8090d97":"e o conjunto é extensível","open-source-aion.7dd9783a82":"Nove famílias, um registo","open-source-aion.f4c0c73854":"O registo","open-source-aion.2b6d7305db":"Uma verificação independente precisa de saber que tipo de certificado está a segurar","open-source-aion.b4dee9d399":"SEM REPETIÇÃO","open-source-aion.1ae37e9b3a":"SEM LICENÇA","open-source-aion.082414b331":"VERIFICAÇÃO LIMITADA","open-source-aion.85bcd01276":"Em nenhum desses casos o verificador precisa da pesquisa, heurísticas, estado oculto, chamadas de modelo ou ambiente de execução do produtor. É isso que torna a verificação independente acessível em vez de aspiracional.","open-source-aion.73dc1e45ec":"A assimetria tem a mesma forma em todos os domínios, e vale a pena vê-la quatro vezes. Uma pesquisa orientada por conflitos pode correr durante horas num espaço que ninguém consegue enumerar; a prova de cláusulas que emite é seguida linha a linha. Um compilador pode realizar centenas de passos de otimização com heurísticas que ninguém fora da equipa compreende; o certificado regista as alegações de preservação que têm de se manter através deles. Uma simulação pode correr ao longo de milhões de passos; o certificado fornece os pontos de verificação, transições, invariantes e o rastreio que tornam o resultado verificável. Uma operação Nexus pode coordenar muitos agentes; o certificado estabelece autoridade, transições de estado, aprovações e recibos de ação.","open-source-aion.3bcb80f6d9":"O que cada produtor guarda para si","open-source-aion.ceb0061493":"O sistema que produziu o resultado não tem a palavra final sobre se o seu certificado é válido. A AION verifica um artefacto limitado em vez de repetir o cálculo dispendioso, razão pela qual a verificação pode correr num portátil contra um trabalho que levou um fim de semana a um cluster, e porque não precisa nem da licença do produtor nem da sua máquina. O certificado fornece os pontos de verificação que o verificador percorre, pelo que o custo da verificação segue o tamanho do artefacto em vez do tamanho da pesquisa por trás dele.","open-source-aion.69524cecfe":"e esse é todo o truque","open-source-aion.ee21bac231":"Verificar não é refazer","open-source-aion.396e9b624d":"A divisão arquitetónica","open-source-aion.504a1b0a8d":"Um envelope diz o que chegou. A pergunta seguinte é quem tem autorização para o abrir","open-source-aion.a9ea7a518b":"UM ENVELOPE","open-source-aion.d7e877b15b":"OITO CAMPOS","open-source-aion.34c043fc06":"O campo de dependências é aquele que as pessoas subestimam. Um certificado que assenta noutro certificado nomeia-o, pelo que uma recusa ou uma alteração de esquema propaga-se pelo conjunto que nele se apoia, em vez de parar no primeiro registo que alguém calha de ver. É isto que transforma uma pilha de resultados aceites em algo a que se pode fazer uma pergunta.","open-source-aion.7dc6226fd7":"Colocar a informação de encaminhamento dentro do payload faz com que cada nova família de certificados se torne uma nova integração para todos os que estão a jusante. Mantê-la fora faz com que a camada de armazenamento, o rastreador de compatibilidade, a fila de reverificação e o registo de auditoria sejam escritos uma vez e funcionem para famílias que não existiam quando foram construídos.","open-source-aion.48eb1ab2b4":"Porque é que a divisão compensa","open-source-aion.419ad6edc1":"Um certificado de compilação e uma prova de cláusula não têm nada em comum no interior, e chegam no mesmo envelope. Oito campos: a alegação, as entradas contra as quais foi feita, o produtor, a versão do contrato, o tipo de certificado, o payload do certificado, as dependências e a assinatura. Tudo o que é específico da família fica dentro do payload, e tudo o que um verificador precisa para encaminhar, versionar e registar a coisa fica fora dele.","open-source-aion.03a195fded":"e oito campos no seu interior","open-source-aion.9895a4db76":"Cada família, um envelope","open-source-aion.33164fb254":"O envelope comum","open-source-aion.315fae6edd":"Oito tipos de sistema, oito tipos de alegação e um envelope no qual todos viajam","open-source-aion.661f13bc63":"VERIFICADO","open-source-aion.ea0dae37f4":"UM CERTIFICADO","open-source-aion.f07b84d4d2":"UMA ALEGAÇÃO","open-source-aion.1edfca7587":"AION é esse segundo programa. Recebe um certificado produzido por um estranho, reconstrói o que ele alega e, quando uma alegação não se reconstrói, nomeia o item, nomeia a regra e para aí. Uma recusa que aponta para a linha 40 é algo que uma única palavra nunca pode ser.","open-source-aion.4428102723":"Os métodos formais estabeleceram este arranjo há décadas por uma razão. O produtor escreve o seu trabalho, e um segundo programa, muito mais pequeno, lê esse trabalho de volta. O segundo programa é aquele que vale a pena construir com cuidado, porque é pequeno o suficiente para ser compreendido de ponta a ponta. O que a AION faz é tirar esse arranjo do mundo dos solvers e torná-lo o contrato para tudo o resto: raciocínio, operações de agentes, compilação, execução, simulação.","open-source-aion.51edeceac1":"unsat. compilado. concluído. seguro. ótimo. política aprovada. simulação convergida. fluxo de trabalho aprovado. Oito sistemas, oito palavras, e nenhuma delas carrega a razão pela qual é verdadeira. A computação com prova é a alternativa: o produtor mantém o trabalho caro e emite um certificado juntamente com o resultado, e algo que não tem interesse na resposta verifica esse certificado.","open-source-aion.d3571e9e01":"até que alguém o refaça","open-source-aion.03d9c22d95":"Um resultado é apenas uma alegação","open-source-aion.dfc28595b4":"Porque é que existe uma segunda leitura","open-source-aion.3c6178c9cd":"A quem pertence o relatório","open-source-aion.42c21bbe27":"O que um caso resolve","open-source-aion.4d05bcfcbf":"O que uma recusa lhe permite fazer","open-source-aion.4c0a0d8ef3":"As duas saídas habituais","open-source-aion.e097afe170":"O que resulta de o manter","open-source-aion.c9681d6875":"O que faz realmente","open-source-aion.1ee58a7b8d":"De onde vem o arranjo","open-source-aion.eec3b038bd":"atribuição","open-source-aion.65279e1ecf":"verificação","oss-aion-adoption-paths.733a87e5fb":"Teste um caminho de decisão","oss-aion-adoption-paths.34dfd13db9":"Execute um certificado de exemplo antes de integrar a AION num caminho de decisão em produção.","oss-aion-adoption-paths.3f1d1c0d24":"Inspecione o certificado de exemplo incluído.","oss-aion-adoption-paths.a5339faf54":"Execute as provas de exemplo incluídas como verificação.","oss-aion-adoption-paths.b38db2875a":"Verifique o mesmo certificado com aion check e com um verificador compatível independente.","oss-aion-adoption-paths.0e42c62826":"A sua equipa de avaliação","oss-aion-adoption-paths.ca15f8db66":"Integre-o num sistema","oss-aion-adoption-paths.e8219f1ea8":"A sua equipa de software existente liga a biblioteca para que os sistemas que já opera possam entregar um certificado com cada decisão.","oss-aion-adoption-paths.91e2e7e34b":"Os seus engenheiros adicionam a AION a um sistema que já opera.","oss-aion-adoption-paths.96e8012ed9":"Cada decisão passa a incluir um certificado verificável.","oss-aion-adoption-paths.6e56d00bc7":"Nenhum novo fornecedor se interpõe no caminho dessa decisão.","oss-aion-adoption-paths.b0e0c85d36":"A sua equipa de engenharia","oss-aion-adoption-paths.4637a51566":"Utilize-o em auditorias","oss-aion-adoption-paths.03b3d20015":"Um certificado produzido anteriormente pode ser reverificado a qualquer momento com a ferramenta de linha de comandos, no seu próprio hardware, offline.","oss-aion-adoption-paths.8b6e7ae424":"Guarde o certificado produzido quando a decisão foi tomada.","oss-aion-adoption-paths.ab48bfd890":"Reverifique-o mais tarde com a ferramenta de linha de comandos, offline.","oss-aion-adoption-paths.6fe516ffcf":"Entregue o mesmo registo a um regulador ou a um auditor.","oss-aion-adoption-paths.4e64c95d9e":"A sua equipa de conformidade","oss-aion-adoption-paths.6b5eb5323e":"Comece com um caminho de decisão","oss-aion-adoption-paths.1635f113ec":"Três formas de adoção","oss-aion-adoption-paths.5eef32f959":"Quem o utiliza","oss-aion-adoption-paths.29a9e7fa74":"O certificado é idêntico, independentemente da via que escolher.","oss-aion-adoption-paths.3e4f1a5e1b":"Uma biblioteca, uma ferramenta de linha de comandos","oss-aion-adoption-paths.tag.d59fec26d9":"Antes da integração","oss-aion-adoption-paths.tag.391b31405f":"Para os seus engenheiros","oss-aion-adoption-paths.tag.6fd7b4f249":"Para conformidade","oss-aion-archive-parts.cea57012da":"não comprimido após leitura","oss-aion-archive-parts.10f2f8d11a":"comprimido para a prateleira","oss-aion-archive-parts.0468a5b797":"ARQUIVO","oss-aion-archive-parts.bce5035461":"e um campo que lhes sobrevive","oss-aion-archive-parts.bd678f55fe":"Quatro movimentos num certificado","oss-aion-archive-parts.44e396b17f":"Qual verificador o aceitou, sob qual versão do contrato.","oss-aion-archive-parts.5348eece0f":"Verificador e contrato mantidos","oss-aion-archive-parts.53229277ab":"Subprovas idênticas armazenadas uma vez e citadas depois por hash.","oss-aion-archive-parts.0f6513214f":"Subprovas com hash","oss-aion-archive-parts.76a7786a63":"Um padrão repetido armazenado uma vez, com o comprimento pelo qual se repete.","oss-aion-archive-parts.9e1a0f7aac":"Execuções colapsadas","oss-aion-archive-parts.d6f5880b44":"Cada identificador armazenado como a sua distância do último.","oss-aion-archive-parts.6b78716e70":"Identificadores como lacunas","oss-aion-archived-proof.5808299e06":"consultado, não varrido","oss-aion-archived-proof.39241dfc0d":"O resto permaneceu fechado, porque o índice já sabia que não eram afetados.","oss-aion-archived-proof.d84b2eb85d":"Nove dependências declaradas, duas abas puxadas, cinco certificados nomeados.","oss-aion-archived-proof.c9269e3e61":"sete abas permaneceram fechadas","oss-aion-archived-proof.6f13975269":"ainda compatível","oss-aion-archived-proof.8ec798a819":"regra r7","oss-aion-archived-proof.4b50837e2e":"na fila para ser lido novamente","oss-aion-archived-proof.2a858a12ec":"regra r7 substituída no verificador 2.5.0","oss-aion-archived-proof.0b58a007b4":"aviso de alteração","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"mesmo certificado","oss-aion-archived-proof.4b37dd07e6":"como arquivado","oss-aion-archived-proof.39c9f8bf3a":"duas subprovas, uma forma","oss-aion-archived-proof.8c28e2d0a9":"um bloco, mantido uma vez","oss-aion-archived-proof.e75bd8054c":"identificadores como lacunas","oss-aion-archived-proof.9bfe0da4af":"um ficheiro longo","oss-aion-archived-proof.46dc2748fa":"como produzido","oss-aion-archived-proof.b6a0714797":"identificadores ilustrativos","oss-aion-archived-proof.16bb6017da":"dois de cinco na fila","oss-aion-archived-proof.884fa4a4de":"Um certificado, duas vezes","oss-aion-archived-proof.11ed0e1dd4":"política p9","oss-aion-archived-proof.1f776189b1":"esquema 2","oss-aion-archived-proof.ec690c70cd":"certificado d20c9b","oss-aion-archived-proof.a96a7e2f89":"certificado 1a55f0","oss-aion-archived-proof.b504f66e53":"modelo m1","oss-aion-archived-proof.fd6c33ce54":"contrato de execução 3.1","oss-aion-archived-proof.ff651ff51f":"regra do compilador c1","oss-aion-archived-proof.d00ec63b0b":"certificado b4e187","oss-aion-archived-proof.e20acd4672":"certificado 3c90de","oss-aion-archived-proof.6d50cc6c2e":"certificado 7f21ab","oss-aion-archived-proof.5dd9b11122":"política p2","oss-aion-archived-proof.70d70366cf":"esquema 4","oss-aion-archived-proof.d61ceadbdb":"contrato","oss-aion-archived-proof.e15436a2bb":"verificador","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Porque é que o meu pedido foi recusado por uma máquina?","oss-aion-asked-questions.answer.refused":"AION mostra o ponto exato onde a verificação parou e porquê, em vez de uma palavra inexplicada.","oss-aion-asked-questions.question.check":"Posso verificar eu próprio uma decisão automatizada?","oss-aion-asked-questions.answer.check":"Sim. AION recalcula cada passo, na máquina onde está, sem conta e sem enviar nada.","oss-aion-asked-questions.question.sent":"As minhas informações são enviadas para algum lado?","oss-aion-asked-questions.answer.sent":"Não. A configuração padrão não tem nada com que as enviar. O trabalho acontece onde já está.","oss-aion-asked-questions.chrome.path":"Perguntas que uma recusa realmente levanta","oss-aion-asked-questions.chrome.status":"respondidas abertamente","oss-aion-asked-questions.readout":"Estas são as três perguntas que esta página foi criada para responder, abertamente, sem conta e sem enviar nada.","oss-aion-asked-questions.band":"Perguntado uma vez, respondido abertamente","oss-aion-asked-you.ef80b73d6b":"em vez de uma surpresa mais tarde","oss-aion-asked-you.7e066a9db0":"uma pergunta agora","oss-aion-asked-you.fb041ecc2d":"Espera","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"e o que acontece a seguir","oss-aion-asked-you.fb5efec5ec":"O que pergunta","oss-aion-asked-you.ed223cb507":"Com a sua própria frase lá dentro, em vez de um formulário para preencher.","oss-aion-asked-you.47ba586268":"Faz uma pergunta","oss-aion-asked-you.16bb2c320d":"Em palavras simples, não como uma escolha entre símbolos.","oss-aion-asked-you.590f0368a8":"Apresenta ambas as leituras","oss-aion-asked-you.c0fedb51ee":"A parte da sua frase sobre a qual não tem a certeza, nas suas palavras.","oss-aion-asked-you.945cd96360":"Cita as palavras de volta","oss-aion-asymmetry.109e612009":"as provas viajam","oss-aion-asymmetry.54086b1730":"o trabalho fica com o produtor","oss-aion-asymmetry.77e82797f7":"ASSIMETRIA","oss-aion-asymmetry.7f5d144dcb":"por produtor","oss-aion-asymmetry.d1abed327f":"O que não é reproduzido","oss-aion-asymmetry.816e835f60":"Autoridade, transições, aprovações, recibos.","oss-aion-asymmetry.4f83e60cbc":"Muitos agentes, a coordenar.","oss-aion-asymmetry.d946c1fc52":"Sistema de agentes","oss-aion-asymmetry.d978ba491a":"Pontos de verificação, transições e invariantes.","oss-aion-asymmetry.b081bda78f":"Milhões de passos de integração.","oss-aion-asymmetry.8e34943c35":"Simulação","oss-aion-asymmetry.db98a95880":"As alegações de preservação entre eles.","oss-aion-asymmetry.ce4dee4e4f":"Centenas de passagens e as suas heurísticas.","oss-aion-asymmetry.341a20e237":"Compilador","oss-aion-asymmetry.d50aca2923":"Uma derivação seguida linha a linha.","oss-aion-asymmetry.c0644e2b00":"Uma pesquisa sobre um espaço que ninguém enumera.","oss-aion-asymmetry.2212b12df6":"Resolvedor","oss-aion-audit-flow.0d368d5958":"É tomada uma decisão","oss-aion-audit-flow.723d4b8215":"Uma IA chega a uma resposta no seu sistema.","oss-aion-audit-flow.60616f24a0":"É guardado um certificado","oss-aion-audit-flow.319012d052":"O raciocínio é registado como um registo portátil.","oss-aion-audit-flow.b6e0507002":"É verificado novamente","oss-aion-audit-flow.060bdf8393":"Qualquer pessoa volta a executar a verificação offline, na sua própria máquina.","oss-aion-audit-flow.549ee9a7f2":"O auditor aceita-o","oss-aion-audit-flow.45d8142b03":"Evidências que verificam, não uma promessa que têm de aceitar.","oss-aion-audit-flow.29a5795456":"Encaminha registos e espera que sejam aceites.","oss-aion-audit-flow.691576c10d":"Entrega um certificado que o auditor verifica ele próprio.","oss-aion-audit-flow.4f25ce109b":"A explicação está bloqueada a um único fornecedor.","oss-aion-audit-flow.17092b76ad":"Os formatos de prova padrão mantêm o certificado verificável para além do fornecedor e do runtime originais.","oss-aion-audit-flow.4cb1b63499":"O registo é verificado novamente em infraestrutura que não controla.","oss-aion-audit-flow.c0baf00a21":"O registo é verificado novamente offline, em hardware que controla.","oss-aion-audit-flow.1574ac4dc4":"Da decisão à evidência aceite","oss-aion-audit-flow.0fc25779d4":"Sem prova verificável","oss-aion-audit-flow.4b32d8f574":"Com AION","oss-aion-audit-flow.effbb773a5":"No momento da auditoria, produz evidências, não garantias.","oss-aion-audit-flow.630840198f":"Verificação independente","oss-aion-broken-case.b2d44d537d":"duas peças de trabalho","oss-aion-broken-case.21a5e37384":"Diz mesmo que agora alguém tem de escolher uma.","oss-aion-broken-case.446dd52366":"O caso não diz em qual destas duas situações te encontras.","oss-aion-broken-case.1592f95dfc":"quem quer que seja o dono da especificação","oss-aion-broken-case.5350b811e8":"Toda a gente sabia isso e ninguém o escreveu, razão pela qual o caso\n              pôde ser encontrado de todo. Portanto, o trabalho é escrever a restrição em falta.","oss-aion-broken-case.7e1ad0c117":"uma repetição não pode acontecer com saldo zero aqui","oss-aion-broken-case.e2acc6be4b":"isto pode acontecer aqui?","oss-aion-broken-case.70cf0e9d6e":"a equipa que o opera","oss-aion-broken-case.f4418abec4":"Portanto, a regra está certa e o sistema está errado. O trabalho é uma alteração ao sistema.","oss-aion-broken-case.7ebf5ee2c1":"repetições às três com saldo zero é uma segunda-feira normal","oss-aion-broken-case.818db6fde5":"o modo de lote permite no máximo duas repetições","oss-aion-broken-case.9ad82bcd1a":"sem repetição enquanto o saldo for zero","oss-aion-broken-case.db09c40b94":"condições que viola","oss-aion-broken-case.1a01155586":"A especificação não se verifica. Aqui está uma situação em que não se verifica, escrita\n            por extenso.","oss-aion-broken-case.bb5f480b82":"o caso, tal como regressa","oss-aion-broken-case.8ba48b3c8c":"caso ilustrativo","oss-aion-broken-case.2a0ea29615":"um caso, dois donos","oss-aion-broken-case.0efd66fc70":"O caso que o partiu","oss-aion-broken-case.fd12863535":"não","oss-aion-broken-case.fb360f9c09":"sim","oss-aion-broken-case.e7aef2e893":"modo é lote (tipo: texto)","oss-aion-broken-case.dcfad8c5bf":"saldo é 0 (tipo: inteiro)","oss-aion-broken-case.bbf98b54e9":"repetições é 3 (tipo: inteiro)","oss-aion-business-glyph.9c8c22f54d":"Auditável por conceção","oss-aion-business-glyph.afd7103781":"A sua infraestrutura","oss-aion-business-glyph.ea722c81af":"Europeu","oss-aion-business-glyph.870c4d024a":"Formatos portáteis","oss-aion-business-glyph.81c093497b":"Fechado pelo certificado","oss-aion-business-glyph.862ee3b17a":"Exposição","oss-aion-business-glyph.6b5eb5323e":"Prova anexada","oss-aion-business-glyph.b7a3f27883":"Risco eliminado","oss-aion-business-glyph.7ba75e0ac6":"Verificação do certificado anos depois","oss-aion-business-glyph.9f89ecaff5":"A sessão original desapareceu","oss-aion-business-glyph.33620369b5":"O arquivo","oss-aion-business-glyph.7a71b6b89e":"Em hardware que controla","oss-aion-business-glyph.e94a6d4bba":"Explicado em hardware de terceiros","oss-aion-business-glyph.3eaad00bc0":"Os dados","oss-aion-business-glyph.e20fee7c23":"Verificador separado","oss-aion-business-glyph.9e3ee5bddf":"Modelo original ainda necessário","oss-aion-business-glyph.5cb182685f":"O verificador","oss-aion-business-glyph.c5d37b3ae0":"Um certificado que o auditor verifica","oss-aion-business-glyph.6c4186cc8c":"Registos que espera que sejam aceites","oss-aion-business-glyph.d51b35c242":"A auditoria","oss-aion-cadence-banners.independent.eyebrow":"AION / verificação independente","oss-aion-cadence-banners.independent.lead":"Confie no envelope","oss-aion-cadence-banners.independent.accent":"depois de outro verificador o aceitar","oss-aion-cadence-banners.independent.body.one":"Um certificado é útil porque o verificador não precisa do runtime do produtor. Recebe a regra declarada, os dados de entrada, o resultado e as provas como um único envelope delimitado.","oss-aion-cadence-banners.independent.body.two":"A segunda implementação verifica essas provas contra o mesmo contrato. O acordo é então prova sobre o resultado, não uma nova execução do mesmo caminho de código.","oss-aion-cadence-banners.independent.panel":"Registo de aceitação independente","oss-aion-cadence-banners.independent.tag":"VERIFICADO À PARTE","oss-aion-cadence-banners.independent.item.rule.label":"Regra declarada","oss-aion-cadence-banners.independent.item.rule.detail":"O requisito e a família de certificados são nomeados.","oss-aion-cadence-banners.independent.item.rule.status":"PRESENTE","oss-aion-cadence-banners.independent.item.input.label":"Dados de entrada delimitados","oss-aion-cadence-banners.independent.item.input.detail":"Os valores usados pela decisão acompanham-na.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Resultado reivindicado","oss-aion-cadence-banners.independent.item.result.detail":"O resultado é declarado antes de a verificação começar.","oss-aion-cadence-banners.independent.item.result.status":"DECLARADO","oss-aion-cadence-banners.independent.item.verifier.label":"Verificador separado","oss-aion-cadence-banners.independent.item.verifier.detail":"Uma implementação diferente verifica o mesmo envelope.","oss-aion-cadence-banners.independent.item.verifier.status":"ACEITE","oss-aion-cadence-banners.independent.verdict":"as provas sobrevivem fora do sistema que as produziu","oss-aion-cadence-banners.independent.footer":"a verificação cruza uma fronteira de implementação sem perder o contrato","oss-aion-cadence-banners.refusal.eyebrow":"AION / contrato de falha","oss-aion-cadence-banners.refusal.lead":"Uma prova falhada","oss-aion-cadence-banners.refusal.accent":"deve nomear a regra que não conseguiu satisfazer","oss-aion-cadence-banners.refusal.body.one":"A verificação exata não é um invólucro vago de passa ou falha. O verificador segue as conversões, operações aritméticas e portas lógicas declaradas por ordem e para na primeira condição inválida.","oss-aion-cadence-banners.refusal.body.two":"Essa recusa pertence às provas. Diz ao chamador qual suposição, escala, termo ou proteção falhou antes de qualquer passo posterior poder esconder a causa.","oss-aion-cadence-banners.refusal.panel":"Primeira porta com falha","oss-aion-cadence-banners.refusal.tag":"RECUSADO","oss-aion-cadence-banners.refusal.item.read.label":"Ler os valores declarados","oss-aion-cadence-banners.refusal.item.read.detail":"Os dados de entrada e a identidade da regra são fixados antes da verificação.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Aplicar a conversão declarada","oss-aion-cadence-banners.refusal.item.scale.detail":"Nenhuma alternativa silenciosa altera o contrato aritmético.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Avaliar cada porta por ordem","oss-aion-cadence-banners.refusal.item.check.detail":"A primeira condição inválida permanece atribuível.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Devolver a recusa nomeada","oss-aion-cadence-banners.refusal.item.refuse.detail":"O chamador recebe a regra falhada e as suas provas.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"uma recusa é prova revistável, não um erro vazio","oss-aion-cadence-banners.refusal.footer":"a primeira condição falhada permanece visível para o próximo revisor","oss-aion-cadence-banners.certificates.eyebrow":"AION / cadeia de certificados","oss-aion-cadence-banners.certificates.lead":"Uma decisão","oss-aion-cadence-banners.certificates.accent":"pode transportar vários tipos de prova","oss-aion-cadence-banners.certificates.body.one":"Raciocínio, autoridade organizacional, compilação e execução respondem a perguntas diferentes. Tratá-los como uma garantia genérica esconderia onde uma afirmação é forte e onde ainda é necessária outra verificação.","oss-aion-cadence-banners.certificates.body.two":"AION mantém os certificados distintos e liga-os ao mesmo registo de decisão. Um revisor pode seguir a cadeia sem confundir autoridade com aritmética ou uma execução bem-sucedida com uma regra aprovada.","oss-aion-cadence-banners.certificates.panel":"Rota de provas da decisão","oss-aion-cadence-banners.certificates.tag":"LIGADO","oss-aion-cadence-banners.certificates.item.reasoning.label":"Certificado de raciocínio","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Mostra por que a conclusão declarada se segue.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Certificado de autoridade","oss-aion-cadence-banners.certificates.item.organisation.detail":"Nomeia quem pode aprovar ou executar a ação.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORIDADE","oss-aion-cadence-banners.certificates.item.compile.label":"Certificado de compilação","oss-aion-cadence-banners.certificates.item.compile.detail":"Liga a fonte, a transformação e o artefacto produzido.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Certificado de execução","oss-aion-cadence-banners.certificates.item.execution.detail":"Regista o que correu, onde e com que dados de entrada.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"cada afirmação mantém a família de certificados que a pode realmente suportar","oss-aion-cadence-banners.certificates.footer":"as provas ligadas permanecem específicas o suficiente para serem contestadas","oss-aion-cadence-banners.recheck.eyebrow":"AION / um resultado que pode revisitar","oss-aion-cadence-banners.recheck.lead":"A mesma regra","oss-aion-cadence-banners.recheck.accent":"pode ser verificada novamente mais tarde","oss-aion-cadence-banners.recheck.body.one":"A frase, o significado escolhido e o limite de tempo permanecem ligados ao resultado. Pode ver o que foi decidido e durante quanto tempo a decisão permanece válida sem enviar o material.","oss-aion-cadence-banners.recheck.body.two":"Quando a regra ou a data muda, o registo identifica o que precisa de outra verificação. A resposta anterior permanece visível em vez de ser substituída silenciosamente.","oss-aion-cadence-banners.recheck.panel":"O que a reavaliação segue","oss-aion-cadence-banners.recheck.tag":"REPETÍVEL","oss-aion-cadence-banners.recheck.item.sentence.label":"A sua frase original","oss-aion-cadence-banners.recheck.item.sentence.detail":"A redação permanece ao lado da interpretação.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"O significado que foi escolhido","oss-aion-cadence-banners.recheck.item.rule.detail":"A regra aplicada é escrita de forma clara.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"A data de validade","oss-aion-cadence-banners.recheck.item.deadline.detail":"O tempo restante é visível antes de o resultado expirar.","oss-aion-cadence-banners.recheck.item.deadline.status":"VISÍVEL","oss-aion-cadence-banners.recheck.item.result.label":"Uma nova verificação","oss-aion-cadence-banners.recheck.item.result.detail":"A mesma evidência pode ser avaliada novamente.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"pode rever a resposta sem perder o motivo por trás dela","oss-aion-cadence-banners.recheck.footer":"o registo mantém as palavras, a regra e a data juntas","oss-aion-cadence-banners.supplier.eyebrow":"AION / evidência do fornecedor","oss-aion-cadence-banners.supplier.lead":"Uma resposta do fornecedor","oss-aion-cadence-banners.supplier.accent":"deve chegar com algo que possa verificar","oss-aion-cadence-banners.supplier.body.one":"Um certificado separa o resultado da ferramenta do fornecedor. Declara o que foi verificado, qual família de prova se aplica e quais entradas e artefactos pertencem à alegação.","oss-aion-cadence-banners.supplier.body.two":"A sua equipa pode reter essa evidência e usar outro verificador. A revisão já não depende do acesso ao serviço original nem de pedir ao fornecedor para recriar a execução.","oss-aion-cadence-banners.supplier.panel":"Evidência recebida com o resultado","oss-aion-cadence-banners.supplier.tag":"PORTÁTIL","oss-aion-cadence-banners.supplier.item.claim.label":"Alegação do fornecedor","oss-aion-cadence-banners.supplier.item.claim.detail":"O resultado e o seu âmbito são declarados explicitamente.","oss-aion-cadence-banners.supplier.item.claim.status":"RECEBIDO","oss-aion-cadence-banners.supplier.item.certificate.label":"Envelope do certificado","oss-aion-cadence-banners.supplier.item.certificate.detail":"Evidência e identificadores acompanham a alegação.","oss-aion-cadence-banners.supplier.item.certificate.status":"ANEXADO","oss-aion-cadence-banners.supplier.item.coverage.label":"Declaração de cobertura","oss-aion-cadence-banners.supplier.item.coverage.detail":"A família do certificado diz o que pode estabelecer.","oss-aion-cadence-banners.supplier.item.coverage.status":"DELIMITADO","oss-aion-cadence-banners.supplier.item.checker.label":"Verificador independente","oss-aion-cadence-banners.supplier.item.checker.detail":"O seu lado verifica a evidência sem o produtor.","oss-aion-cadence-banners.supplier.item.checker.status":"DISPONÍVEL","oss-aion-cadence-banners.supplier.verdict":"a evidência permanece útil depois de a execução do fornecedor terminar","oss-aion-cadence-banners.supplier.footer":"um resultado verificável é mais fácil de reter, comparar e contestar","oss-aion-cadence-banners.boundary.eyebrow":"AION / revisão controlada","oss-aion-cadence-banners.boundary.lead":"A revisão permanece dentro","oss-aion-cadence-banners.boundary.accent":"do limite que a sua organização define","oss-aion-cadence-banners.boundary.body.one":"O caso, a regra e o certificado podem ser verificados onde já existem. A verificação local evita transformar uma revisão noutra via de divulgação do material em análise.","oss-aion-cadence-banners.boundary.body.two":"O registo continua a nomear a propriedade estabelecida e a evidência usada. Manter os dados no local não significa abrir mão de uma trilha de auditoria atribuível.","oss-aion-cadence-banners.boundary.panel":"Via de revisão no local","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Abra o caso retido","oss-aion-cadence-banners.boundary.item.case.detail":"O material de origem permanece no seu ambiente existente.","oss-aion-cadence-banners.boundary.item.case.status":"NO LOCAL","oss-aion-cadence-banners.boundary.item.property.label":"Selecione a alegação a verificar","oss-aion-cadence-banners.boundary.item.property.detail":"O âmbito do certificado permanece explícito.","oss-aion-cadence-banners.boundary.item.property.status":"DELIMITADO","oss-aion-cadence-banners.boundary.item.perimeter.label":"Execute dentro do perímetro","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Nenhum serviço externo é necessário para a verificação.","oss-aion-cadence-banners.boundary.item.perimeter.status":"CONTIDO","oss-aion-cadence-banners.boundary.item.record.label":"Mantenha o registo da revisão","oss-aion-cadence-banners.boundary.item.record.detail":"Entradas, verificador e resultado permanecem atribuíveis.","oss-aion-cadence-banners.boundary.item.record.status":"REGISTADO","oss-aion-cadence-banners.boundary.verdict":"a evidência pode ser verificada sem criar uma nova transferência de dados","oss-aion-cadence-banners.boundary.footer":"a execução local e a evidência auditável pertencem ao mesmo controlo","oss-aion-case-fields.ce69e76708":"um caso inicia uma decisão","oss-aion-case-fields.9a83c048c3":"um veredito termina uma verificação","oss-aion-case-fields.afc58d4c40":"o primeiro a falhar, pelo nome","oss-aion-case-fields.3bc6a69e80":"o saldo deve ser superior a zero antes de uma nova tentativa","oss-aion-case-fields.4e0285b28b":"condição quebrada","oss-aion-case-fields.4e0af55321":"CONTRAPROVA","oss-aion-case-fields.344daefb37":"Um caso, na íntegra","oss-aion-case-fields.62e0ec394a":"os valores e o tipo de cada um","oss-aion-case-fields.7f01fe787c":"lote","oss-aion-checked-not-rerun.dd5b6cbe2b":"uma fusão, uma ausência","oss-aion-checked-not-rerun.846a719bdc":"A última linha não tem contraparte a nenhum preço.","oss-aion-checked-not-rerun.6c26a05ac4":"Cinco dos sete vão e dois deles fundem-se.","oss-aion-checked-not-rerun.4f01efffc8":"lido por alguém que nunca teve o seu software","oss-aion-checked-not-rerun.a70205a694":"comparado com o do próximo trimestre","oss-aion-checked-not-rerun.0d85e26645":"arquivado com a decisão que suportava","oss-aion-checked-not-rerun.ffc7dbc2ad":"o que se detém depois","oss-aion-checked-not-rerun.d6124c1aee":"nada à esquerda produz isto","oss-aion-checked-not-rerun.9b9252883d":"o próprio certificado","oss-aion-checked-not-rerun.0bfa7a3bd8":"as entradas declaradas e o contrato","oss-aion-checked-not-rerun.d7f7f555ad":"a alegação","oss-aion-checked-not-rerun.527c7f544a":"três coisas","oss-aion-checked-not-rerun.f8a34d2942":"para verificar o seu certificado","oss-aion-checked-not-rerun.2a20acacc2":"sete coisas","oss-aion-checked-not-rerun.a94f90b8e9":"para reproduzir o seu sistema","oss-aion-checked-not-rerun.d2eae1af1f":"mesma garantia, duas rotas","oss-aion-checked-not-rerun.87f754c087":"cinco atingidos, um ausente","oss-aion-checked-not-rerun.2a62bb8028":"o que cada rota exige","oss-aion-checked-not-rerun.35d7d25591":"se ainda se mantém após a alteração","oss-aion-checked-not-rerun.6cd8ba818d":"sobre os dados de quem","oss-aion-checked-not-rerun.96f39a5e7d":"contra que versão do conjunto de regras","oss-aion-checked-not-rerun.c8d59ae061":"quais condições foram verificadas","oss-aion-checked-not-rerun.b028b89ea7":"a sua assistência","oss-aion-checked-not-rerun.c03c2fce6e":"uma máquina de tamanho adequado","oss-aion-checked-not-rerun.867d12b7ad":"os dados de entrada","oss-aion-checked-not-rerun.717e42eb01":"o seu ficheiro de configuração","oss-aion-checked-not-rerun.935b145c44":"um sistema operativo compatível","oss-aion-checked-not-rerun.fa15ad3da2":"a versão exata que utilizaram","oss-aion-checked-not-rerun.5990a1ec89":"uma licença para o seu software","oss-aion-compile-cert.b1991b0d44":"portanto, uma recusa aponta para um","oss-aion-compile-cert.85edd85611":"as alegações são nomeadas individualmente","oss-aion-compile-cert.6e8814b9a0":"O que saiu, por endereço de conteúdo, vinculado a tudo o que foi referido acima.","oss-aion-compile-cert.a41732e051":"Identidade do artefacto","oss-aion-compile-cert.6d4151d7a5":"O que entrou, por endereço de conteúdo e não por nome de ficheiro.","oss-aion-compile-cert.7204133281":"Identidade da fonte ou do grafo","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"e o que alega sobre cada um","oss-aion-compile-cert.0bcab6c465":"O que o certificado nomeia","oss-aion-compile-cert.027f7ee7d1":"Quais propriedades este certificado estabelece entre eles.","oss-aion-compile-cert.8906f98ae0":"Preservação declarada","oss-aion-compile-cert.d186ea41e2":"As passagens aplicadas, na ordem em que foram aplicadas.","oss-aion-compile-cert.66ad6a206e":"Sequência de transformação","oss-aion-compile-cert.ebb0c953d1":"Qual compilação, com que configuração de otimização.","oss-aion-compile-cert.691f87f640":"Compilador e otimização","oss-aion-console.5d71265e50":"Verifique um certificado de prova. Sem solver, sem rede.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"A verificar a prova: proof.alethe","oss-aion-console.1016f1bcf3":"Formato: Alethe","oss-aion-console.70142f344c":"Análise: OK","oss-aion-console.8455c5ceeb":"A prova tem N passos","oss-aion-console.fc539fcf62":"Verificação da prova: APROVADA","oss-aion-console.88f6db402f":"Tempo de verificação: Nms","oss-aion-console.4f437cea65":"O seu verificador confirmou. Saída 0. Nada foi enviado.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Leia o certificado","oss-aion-console.0cef7497bf":"O verificador abre o ficheiro de prova que lhe foi entregue. Não precisa de mais nada: sem pesos de modelo, sem início de sessão de fornecedor, sem internet.","oss-aion-console.830903eaf6":"Percorra cada passo","oss-aion-console.6ce1fb843f":"Cada dedução é reproduzida contra as premissas que cita. O LRAT inclui pistas de propagação de unidades, pelo que a verificação é linear no comprimento da prova.","oss-aion-console.1044fbcb06":"Aceite ou rejeite","oss-aion-console.cb4e501f7a":"Se todos os passos forem válidos, o verificador imprime APROVADA e termina com 0. Se algum passo não for, indica a falha e termina com código diferente de zero. Não há meio-termo.","oss-aion-console.b568d47f2e":"Entrada","oss-aion-console.df73f614f5":"Um ficheiro de prova","oss-aion-console.0562f32dc5":"Dependências","oss-aion-console.7334b0e2cf":"Nenhuma no momento da verificação","oss-aion-console.64ae43e8fe":"Custo","oss-aion-console.660020f41a":"Linear no comprimento da prova","oss-aion-console.5faa59d4bc":"Resultado","oss-aion-console.de76d16078":"APROVADA ou falha identificada","oss-aion-console.76d6562c0a":"A verificação","oss-aion-console.edabf74eb3":"Um comando lê a prova e","oss-aion-console.d161c0634a":"aceita-a ou rejeita-a","oss-aion-console.a997e63df7":"O verificador é independente do solver. Entregue-lhe um certificado e o seu próprio verificador\n          confirma-o ou rejeita-o, offline, sem acesso ao motor que o produziu.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"verificador offline","oss-aion-console.6b5eb5323e":"Verificador independente","oss-aion-console.165cb4a2fd":"N passos e Nms são espaços reservados: os valores reais vêm da prova que verifica, não\n              de nós. A superfície de comando é real, aion check analisa, percorre e reporta APROVADA.","oss-aion-console.b8fae1a1a1":"AION / verificação de prova","oss-aion-consumer-glyph.dccc2b6aff":"Sem necessidade de internet","oss-aion-consumer-glyph.22c2234e11":"Feito na Europa","oss-aion-consumer-glyph.75f527181b":"Verificável mais tarde","oss-aion-consumer-glyph.94651c6eb5":"Um segundo assistente verifica","oss-aion-consumer-glyph.b9fefb3f5b":"Parece correto","oss-aion-consumer-glyph.fb447dd18d":"O seu recibo","oss-aion-consumer-glyph.49a8e53c77":"A máquina responde","oss-aion-consumer-glyph.f5ad0f0059":"Sim, e aqui está o porquê","oss-aion-consumer-glyph.7011b1a621":"A resposta","oss-aion-consumer-glyph.07d0cfac8b":"Passo a passo, por escrito","oss-aion-consumer-glyph.5bcd26af49":"Como foi alcançado","oss-aion-consumer-glyph.8afc953f7f":"Isto é adequado para mim?","oss-aion-consumer-glyph.d79cce547d":"A pergunta","oss-aion-coverage-join.fa5284c04d":"curto é curto","oss-aion-coverage-join.d04fa188df":"Catorze não é quase tudo, por isso a junção é recusada em vez de arredondada.","oss-aion-coverage-join.0b67159da5":"Dezasseis células contabilizadas, e o resultado composto é aceite.","oss-aion-coverage-join.7142d70e45":"composição recusada, cobertura curta","oss-aion-coverage-join.245fbeffee":"não é um erro de arredondamento. Uma região que ninguém olhou.","oss-aion-coverage-join.1df8f3c0e7":"14 de 16","oss-aion-coverage-join.1c1d6ac8f1":"duas células que ninguém olhou","oss-aion-coverage-join.f0833f7fc6":"a mesma junção, um cubo em falta","oss-aion-coverage-join.db8d5bf534":"composição aceite","oss-aion-coverage-join.558480e414":"16 de 16","oss-aion-coverage-join.26f1b36edc":"todas as células contabilizadas","oss-aion-coverage-join.39cd7fa9c4":"quatro cubos","oss-aion-coverage-join.bb2dba7602":"cubos ilustrativos","oss-aion-coverage-join.a4d76ddfc7":"cobertura curta por duas células","oss-aion-coverage-join.e4445ac125":"Uma verificação de divisão","oss-aion-coverage-join.186c8cd284":"A compilação que tens não muda sob ti.","oss-aion-coverage-join.9daf9699cc":"a compilação","oss-aion-coverage-join.66506ab77b":"Nenhum modelo é chamado.","oss-aion-coverage-join.f2250926d2":"Nada sai do limite.","oss-aion-coverage-join.3110d06249":"o que sai","oss-aion-coverage-join.0bd87fb406":"Nenhum processador neste caminho.","oss-aion-coverage-join.1fa5b0500c":"não a, não b, não c","oss-aion-coverage-join.898fae3bdc":"não a, não b, c","oss-aion-coverage-join.a8f663af2d":"não a, b","oss-aion-coverage-join.bee9689def":"quatro máquinas, uma resposta","oss-aion-coverage-join.3ea0cf3ca7":"endereços que defines","oss-aion-coverage-join.7b9e33922c":"um serviço","oss-aion-coverage-join.17819009bd":"uma invocação","oss-aion-coverage-join.2c4d8b9dd8":"um comando","oss-aion-coverage-join.5a78e04d95":"ligado em","oss-aion-coverage-join.985e108737":"uma biblioteca","oss-aion-coverage-join.1d06a0d76f":"modelo","oss-aion-coverage-join.8eab5a6dbb":"processador","oss-aion-coverage-table.356f85e809":"um envelope AION e contrato de encaminhamento","oss-aion-coverage-table.4f52f572dd":"sete saídas de produtor","oss-aion-coverage-table.2a268cd632":"SETE PRODUTORES","oss-aion-coverage-table.8351372237":"saída primeiro, verificador escolhido pela família de certificados","oss-aion-coverage-table.b7d5fe11a0":"O que os sete produtores deixam para trás","oss-aion-coverage-table.f31a7c9011":"Solver","oss-aion-coverage-table.a194f815cb":"Viável, inviável ou ótimo","oss-aion-coverage-table.7ec93e2d31":"Prova, modelo, núcleo, testemunha ou limite","oss-aion-coverage-table.651e0f73b2":"Verificador de solver específico da família","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Uma conclusão a partir de restrições declaradas","oss-aion-coverage-table.9ac60dc1a8":"Derivação de restrições e provas de solver devolvidas","oss-aion-coverage-table.d5ef792d46":"Verificador de raciocínio Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Uma operação governada concluída","oss-aion-coverage-table.70d43be1ea":"Autoridade, política, aprovações, transições e recibos","oss-aion-coverage-table.5372a8e90f":"Verificador organizacional Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Um artefacto compilado","oss-aion-coverage-table.1f3e5d7c89":"Grafo de origem, transformações, invariantes e identidade do artefacto","oss-aion-coverage-table.86ca1bd031":"Verificador de compilação Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Uma carga de trabalho executada","oss-aion-coverage-table.24f1ac9e33":"Módulo, entradas, concessões de capacidade, transições, limites e saída","oss-aion-coverage-table.0f9ea21c74":"Verificador de execução Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Uma trajetória simulada","oss-aion-coverage-table.ef85239d10":"Identidade do modelo, parâmetros, estado, pontos de verificação, invariantes e hash da trajetória","oss-aion-coverage-table.c5b7fe3198":"Verificador de simulação e FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Uma execução de FMU concluída","oss-aion-coverage-table.8f5753fba0":"Identidade do FMU, configuração, passos, eventos, convergência e rastreio","oss-aion-coverage-table.4d64b5bbaf":"Verificador de simulação e FMI","oss-aion-coverage-table.7d1ab3c6e0":"Evidência:","oss-aion-coverage-table.4e5bc7d129":"Verificador:","oss-aion-days-left.545fa01eea":"e assim o diz antes do último dia","oss-aion-days-left.eaa861cef8":"a mesma regra, lida quatro vezes","oss-aion-days-left.2017bddab0":"Pergunte em qualquer dia e a mesma regra faz a aritmética. Nada na quarta leitura\n          é mais alto do que a primeira, apenas menor.","oss-aion-days-left.81b20537a7":"espaço restante, em dias","oss-aion-days-left.0526dbf682":"O RELÓGIO","oss-aion-days-left.2f29339cb6":"o mesmo relógio, com quatro dias de diferença","oss-aion-days-left.47a76d1261":"Um pedido, quatro leituras","oss-aion-days-left.9dd1fe0fd2":"26 de 30","oss-aion-days-left.f4c6daac2a":"dia 26","oss-aion-days-left.62f21454ca":"22 de 30","oss-aion-days-left.4ad399ed8a":"dia 22","oss-aion-days-left.ae5a29afae":"16 de 30","oss-aion-days-left.195b05cbbd":"dia 16","oss-aion-days-left.d31b7d0f91":"8 de 30","oss-aion-days-left.185b76515a":"dia 8","oss-aion-days-left.2dd2bed725":"hoje","oss-aion-dispute-parts.65edc28a9d":"o painel e a decisão pertencem ao seu próprio processo, e o artefacto não se move","oss-aion-dispute-parts.e56cf65ada":"e não é o tribunal","oss-aion-dispute-parts.37f322f735":"fornece as provas,","oss-aion-dispute-parts.7b7570d892":"a decisão","oss-aion-dispute-parts.52e3685580":"a janela","oss-aion-dispute-parts.7de929b394":"o painel","oss-aion-dispute-parts.2eba0fb6ad":"o que o seu próprio processo possui","oss-aion-dispute-parts.ea4031d789":"qual verificador, qual versão","oss-aion-dispute-parts.93be71a61d":"o contrato","oss-aion-dispute-parts.48b63234e3":"nomeado em vez de resumido","oss-aion-dispute-parts.cced6746e2":"o ponto de falha","oss-aion-dispute-parts.2c9e8d06dd":"reproduzível por qualquer pessoa","oss-aion-dispute-parts.2e02032e1d":"a verificação","oss-aion-dispute-parts.804e9af218":"produtor e assinatura intactos","oss-aion-dispute-parts.69506051d5":"preservado como aceite","oss-aion-dispute-parts.6b578cc32e":"o certificado","oss-aion-dispute-parts.21df0b2530":"O que a AION contribui","oss-aion-dispute-parts.4029dc5f44":"Preserva o\n            certificado tal como foi aceite. Preserva a atribuição, para que quem produziu o resultado\n            sobreviva a uma mudança de contratante. Reproduz a verificação a pedido, por qualquer pessoa,\n            sem o produtor. Identifica o ponto exato de falha em vez de devolver um\n            veredito. E mostra qual verificador aceitou o resultado e sob qual versão do\n            contrato. O painel, a janela e a decisão pertencem ao processo que a sua\n            organização já executa. A AION fornece o artefacto sobre o qual esse processo discute.","oss-aion-dispute-parts.434ae4f1d6":"O papel da AION nessa situação é estreito e é a parte útil.","oss-aion-dispute-parts.3eb5567b60":"O trabalho produzido por uma parte e utilizado por outra acaba por gerar um desacordo\n            sobre se era bom. O que o decide quase nunca é a força da\n            discussão. É se existe um artefacto que ambas as partes possam examinar e que nenhuma\n            delas possa alterar, e na maioria dos litígios os registos que resolveriam a questão estão na posse de\n            uma das duas partes.","oss-aion-dispute-parts.2ccc6715e9":"Não um argumento melhor.","oss-aion-dispute-parts.aa0d5ae0e6":"Um litígio precisa de provas.","oss-aion-dispute-parts.b4b6237893":"Quando alguém discorda","oss-aion-dispute-parts.eec3b038bd":"atribuição","oss-aion-dispute-parts.100ec4462d":"provas","oss-aion-envelope-fields.cfc233d284":"o envelope nunca é","oss-aion-envelope-fields.1c80a87a33":"o payload é específico da família","oss-aion-envelope-fields.d85cb39036":"a família, que decide o verificador","oss-aion-envelope-fields.a975c5af10":"Tipo de certificado","oss-aion-envelope-fields.4282e3d696":"nomeado, nunca implícito","oss-aion-envelope-fields.0562f32dc5":"Dependências","oss-aion-envelope-fields.ca2dc8737d":"qual sistema, qual versão","oss-aion-envelope-fields.7b7194967f":"Produtor","oss-aion-envelope-fields.f33f785291":"contra o que foi feito, e qual versão","oss-aion-envelope-fields.404e7d3e00":"Entradas e contrato","oss-aion-envelope-fields.93a29173f5":"identificador, e um payload ou o seu hash","oss-aion-envelope-fields.dc4e08a408":"Declaração","oss-aion-envelope-fields.78e789d605":"CONTRATO","oss-aion-envelope-fields.d12a9ca770":"fora do payload, cada família","oss-aion-envelope-fields.f18dee6041":"O envelope","oss-aion-envelope-fields.f07e5a8156":"payload","oss-aion-evidence.cbf668da60":"Registos","oss-aion-evidence.28e06c789a":"Um registo mostra que o sistema estava em execução. Não mostra por que razão foi alcançada a resposta, e um registo pode ser editado silenciosamente.","oss-aion-evidence.c637aebe3a":"Opaco","oss-aion-evidence.5c3fc92e3f":"Uma pontuação de confiança","oss-aion-evidence.fd3c76543b":"Um número que resume um estado interno. Dois sistemas podem apresentar a mesma pontuação e chegar a conclusões opostas sobre a mesma entrada.","oss-aion-evidence.16f3dacf52":"Sem derivação","oss-aion-evidence.7f34e37f1b":"Uma explicação autogerada","oss-aion-evidence.361b70a63e":"Escrita pelo mesmo modelo que tomou a decisão. Avalia o próprio trabalho, pelo que não pode servir como prova independente.","oss-aion-evidence.782acc59ce":"Circular","oss-aion-evidence.477416bf24":"Confiar no fornecedor","oss-aion-evidence.1e84c62138":"Quando um regulador, um paciente ou um tribunal pergunta «mostre o seu trabalho», uma promessa ao nível do serviço não é uma resposta que possam verificar.","oss-aion-evidence.76afe0e09f":"Não verificável","oss-aion-evidence.06f2d5f1a8":"Um certificado, não uma afirmação","oss-aion-evidence.cdcc6f712c":"A AION emite um certificado de prova juntamente com a resposta. O certificado lista cada passo do raciocínio pela ordem em que foi dado.","oss-aion-evidence.6d1c5f470b":"Verificado por outra pessoa","oss-aion-evidence.cc65178dc5":"Um verificador separado percorre os passos e aceita ou rejeita. A parte que faz a pergunta executa-o ela própria.","oss-aion-evidence.412a3b1e5e":"Reexecutável mais tarde","oss-aion-evidence.9082c552d2":"O mesmo certificado verifica da mesma forma no próximo mês, numa máquina diferente, sem acesso ao sistema original.","oss-aion-evidence.1206578b48":"mostre o seu trabalho","oss-aion-evidence.494beafd71":"a questão da auditoria","oss-aion-evidence.bba8b0753d":"evidência vs. afirmação","oss-aion-evidence.00e2ca4c85":"Quando uma decisão de IA chega a um regulador, a um paciente ou a um caso de segurança, alguém pergunta","oss-aion-evidence.1defdb9d85":"como chegou a esta resposta.","oss-aion-evidence.290a698043":"A maioria das organizações não consegue dar uma resposta\n          que a pessoa que pergunta possa verificar por si própria.","oss-aion-evidence.56f6624482":"Não é evidência","oss-aion-evidence.a295517f40":"O que é oferecido hoje","oss-aion-evidence.7ea014de7b":"Evidência","oss-aion-evidence.4cb1cd3e53":"O que a AION entrega","oss-aion-evidence.2a36a263da":"A evidência não é afirmada. A evidência é verificada.","oss-aion-evidence.e0a4c0a385":"A verificação independente é a única resposta que um auditor pode aceitar.","oss-aion-exact-sum.21aaad8129":"um multiplicador negativo é recusado antes de se efetuar a soma, na primeira verificação","oss-aion-exact-sum.3b267c2a81":"sem vírgula flutuante interna nessa cadeia","oss-aion-exact-sum.1a43ebe28c":"portanto o sistema é refutado","oss-aion-exact-sum.452308dbcd":"constante restante","oss-aion-exact-sum.35add33a7a":"o que sobra","oss-aion-exact-sum.df326a819b":"os termos em y anulam-se","oss-aion-exact-sum.dae482d4b2":"os termos em x anulam-se","oss-aion-exact-sum.c36d183406":"some as desigualdades escaladas","oss-aion-exact-sum.79e4c9d3fa":"escala-a","oss-aion-exact-sum.c3c4b24b20":"as duas desigualdades, tudo de um lado","oss-aion-exact-sum.b6b4c73115":"A soma, por extenso","oss-aion-exact-sum.c1c66bf52c":"As condições são verificadas por ordem e cada uma é uma recusa por si só. Um multiplicador\n            negativo é recusado antes de se efetuar qualquer soma, porque escalar por um número\n            negativo inverte a desigualdade. Uma soma em que sobrevive um termo variável é recusada\n            com o termo sobrevivente nomeado. Uma soma cuja constante restante não é positiva é\n            recusada, porque não prova nada. Um coeficiente acima do limite de magnitude levanta um\n            overflow em vez de fazer wrap. Nada nessa cadeia é uma tolerância.","oss-aion-exact-sum.6efbacfc5b":"Uma refutação aritmética é um conjunto de multiplicadores. Escreve cada desigualdade com\n            tudo de um lado do sinal, escala-a, soma as desigualdades escaladas, e se todos os\n            termos variáveis se anulam e o que sobra é um número positivo que se diz ser no máximo\n            zero, isso não pode ser, portanto o sistema de onde veio também não pode ser. AION aceita\n            esses multiplicadores na fronteira e converte-os para uma representação adaptativa\n            declarada de inteiro/ponto fixo antes de verificar. Armazena, acumula e calcula sem\n            valores de vírgula flutuante internamente, e não tem fallback de vírgula flutuante.\n            A fração permanece impressa aqui porque torna a contradição legível; a verificação é\n            regida pela sua conversão e escala declaradas.","oss-aion-exact-sum.31934abfaa":"A sua conversão declara a escala.","oss-aion-exact-sum.a3caf489e5":"Um terço não é 0,333.","oss-aion-exact-sum.15e6a906dd":"Aritmética adaptativa declarada de ponto fixo","oss-aion-exact-sum.108a35964a":"a soma diz 11/6 <= 0, o que é 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":"sim","oss-aion-exact-sum.c4c6c57253":"positivo","oss-aion-exact-sum.b55e22fe78":"exato","oss-aion-exec-cert.6a230011ab":"outra coisa verifica-o","oss-aion-exec-cert.2c14724b1b":"o runtime produziu-o","oss-aion-exec-cert.b07722ef0c":"o limite","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"módulo para saída","oss-aion-exec-cert.a7b63abc02":"O que o certificado contém","oss-aion-exec-cert.e1bbfaa783":"A identidade do que saiu e se ficou preso.","oss-aion-exec-cert.59871c9494":"Saída e estado","oss-aion-exec-cert.ffb779a5c3":"Os limites dentro dos quais correu, como limites e não como observações.","oss-aion-exec-cert.ffbc724f07":"Envelope de recursos","oss-aion-exec-cert.273c1da325":"Determinístico, dado o módulo, as entradas e as permissões.","oss-aion-exec-cert.acee491c99":"Transições de estado","oss-aion-exec-cert.eab885bbb2":"O que lhe foi permitido alcançar, declarado antes de correr.","oss-aion-exec-cert.dc009dc166":"Concessões de capacidades","oss-aion-exec-cert.6f3eb29822":"Qual módulo, por endereço de conteúdo, em que versão do runtime.","oss-aion-exec-cert.c201b4ae89":"Identidade do módulo","oss-aion-executed-under.6b6dab207c":"O que o certificado permite","oss-aion-executed-under.1fcfedc78a":"o que poderia alcançar","oss-aion-executed-under.0338c5441d":"A questão após o facto é a autoridade, e o certificado carrega-a.","oss-aion-executed-under.bc70ed4db9":"Quatro concessões detidas e três recusadas.","oss-aion-executed-under.6f9d76b8c0":"As transições são determinísticas dado o módulo, as entradas e as concessões, pelo que tudo\n            isto foi seguido sem nunca executar a carga de trabalho.","oss-aion-executed-under.e044b5f419":"A identidade que o certificado declara não é a identidade que as transições produzem, pelo que a\n            execução é recusada na saída. Tudo antes disso foi reconstruído exatamente.","oss-aion-executed-under.7f0cc64ae8":"transições determinísticas","oss-aion-executed-under.5fa4050afc":"conjunto de capacidades, declarado antes da execução","oss-aion-executed-under.844e9ed357":"relógio, observar não definido","oss-aion-executed-under.b3ccbb4041":"limite de memória 512 MiB","oss-aion-executed-under.1fe892a96f":"um socket, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"ler /var/lib/claims","oss-aion-executed-under.7a02a68db0":"não detido","oss-aion-executed-under.685706abcf":"identidade de saída difere","oss-aion-executed-under.6287ff317a":"produzido","oss-aion-executed-under.0baff051a0":"declarado","oss-aion-executed-under.1029d67644":"saída","oss-aion-executed-under.fbd34a2b6e":"módulo","oss-aion-executed-under.910e029098":"ilustrativo","oss-aion-executed-under.df6fe4f714":"a capacidade de persistir para além da execução","oss-aion-executed-under.b51590997b":"todos os outros endereços","oss-aion-executed-under.e4e545e3b7":"tudo o resto no sistema de ficheiros","oss-aion-fact-strip.0dc9622797":"Todas as figuras têm origem no repositório AION.","oss-aion-fact-strip.b7feece146":"AION em números","oss-aion-fact-strip.fedec331ff":"Biblioteca, CLI e benchmark num único espaço de trabalho","oss-aion-fact-strip.13a24daf03":"Implementação","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Ponto fixo binário, inteiro e adaptativo; sem ponto flutuante interno","oss-aion-fact-strip.5688a0448c":"Núcleo aritmético","oss-aion-fact-strip.0cae74747c":"Exato","oss-aion-fact-strip.379c055f01":"Linear no comprimento da prova, offline, sem resolvedor","oss-aion-fact-strip.04ce84fb6e":"Custo de verificação","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe e um formato intermédio unificado","oss-aion-fact-strip.e6c67de15e":"Formatos de prova","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Teorias lógicas","oss-aion-failure-notice.d8164c5dd8":"uma constatação, não uma disputa","oss-aion-failure-notice.159098bbba":"A outra começa uma discussão que ninguém consegue encerrar.","oss-aion-failure-notice.814fc5cd4f":"Uma destas pode ser enviada a um fornecedor numa terça-feira à tarde.","oss-aion-failure-notice.2e6ea3eaa5":"não pode ser atribuída, não pode ser precificada, não pode ser contestada com precisão","oss-aion-failure-notice.e896d6344f":"verificação falhou","oss-aion-failure-notice.587270a2e4":"onde cada campo vai","oss-aion-failure-notice.ba0f0eb3fe":"premissa não presente","oss-aion-failure-notice.0c2a7f4aef":"passo 415","oss-aion-failure-notice.55daa4a2ea":"os últimos quatro passos lidos","oss-aion-failure-notice.ca548ed152":"17 de março de 2026","oss-aion-failure-notice.3c05b129e2":"nenhum veredito emitido","oss-aion-failure-notice.aa943932a5":"aviso de recusa","oss-aion-failure-notice.28fb3d519e":"reconstruído","oss-aion-failure-notice.bd370d1b6f":"passo","oss-aion-failure-notice.910e029098":"ilustrativo","oss-aion-failure-notice.e6b658331e":"e ninguém é acusado","oss-aion-failure-notice.94002635cd":"você, se for uma pergunta de escopo","oss-aion-failure-notice.7ab178c9a0":"o tipo","oss-aion-failure-notice.0d967ff8f3":"fornece a premissa em falta","oss-aion-failure-notice.b54c9b7359":"quem produziu o passo","oss-aion-failure-notice.94a94ba774":"a razão","oss-aion-failure-notice.ba3167e426":"confirma o que esse passo deve fazer","oss-aion-failure-notice.32ec97b69b":"o proprietário do seu conjunto de regras","oss-aion-failure-notice.b543dc38fd":"a regra","oss-aion-failure-notice.ad866c4aef":"abre o ficheiro no passo 415","oss-aion-failure-notice.06fddd86f6":"a equipa de prova do fornecedor","oss-aion-failure-notice.aecf66bfac":"a localização","oss-aion-failure-notice.1d7794c5e2":"nenhum veredito emitido para esta prova","oss-aion-failure-notice.f4475dac73":"consequência","oss-aion-failure-notice.566c7d73a0":"o passo cita uma premissa que não está presente no ficheiro","oss-aion-failure-notice.7947e92e3c":"razão","oss-aion-failure-notice.5dfa011717":"regra, resolução","oss-aion-failure-notice.64463af8a3":"414 aceites","oss-aion-failure-notice.c21ce4fb88":"passos lidos","oss-aion-failure-notice.2bf60a2164":"a análise de conflito do fornecedor para o conjunto de regras de março","oss-aion-failure-notice.335ce16b3f":"assunto","oss-aion-family-board.ca8f6715c8":"versionado separadamente","oss-aion-family-board.e794ff76c1":"um esboço à espera de um verificador","oss-aion-family-board.0f2e82af82":"Nove famílias partilham um envelope e nada mais. A décima é","oss-aion-family-board.ca6c6dda8e":"um verificador e um conjunto de regras declarado","oss-aion-family-board.c53186083e":"a décima","oss-aion-family-board.0020359543":"transição inválida, concessão excedida, saída incompatível,\n              rastreio incompleto","oss-aion-family-board.187225126d":"taxonomia de recusa","oss-aion-family-board.fac6c7230f":"reproduzir as transições contra os limites\n              e o conjunto de regras declarados","oss-aion-family-board.155e6164fc":"algoritmo de verificação","oss-aion-family-board.924f583920":"uma sequência de transições determinística com identidades de entrada e\n              saída","oss-aion-family-board.c0e6022509":"representação de prova","oss-aion-family-board.927f6ddf1e":"esta carga de trabalho foi executada sob estas concessões e atingiu esta saída","oss-aion-family-board.79bf5b0ee6":"tipo de alegação","oss-aion-family-board.131097a25c":"Execução em tempo real, v2","oss-aion-family-board.50b24e4d4c":"uma placa, aberta","oss-aion-family-board.803aa98470":"que o registo armazenado é o que foi aceite","oss-aion-family-board.3e71ceb1ca":"Integridade do armazenamento","oss-aion-family-board.f8603f4710":"que o modelo declarado produziu esta execução","oss-aion-family-board.ccc3c9b41d":"Simulação e FMI","oss-aion-family-board.d0c6b470a4":"que foi executado dentro das concessões que lhe foram dadas","oss-aion-family-board.dc37599f99":"Execução em tempo real","oss-aion-family-board.4f059da0be":"que o artefacto preserva a fonte","oss-aion-family-board.aad755de42":"Compilação","oss-aion-family-board.69ce9b9c4f":"que a operação governada ocorreu","oss-aion-family-board.ed87ca5ca0":"Organizacional","oss-aion-family-board.0dbf90d179":"que a derivação declarada reconstrói","oss-aion-family-board.e272c597fd":"Raciocínio","oss-aion-family-board.e79949ba43":"que uma propriedade se mantém entre execuções, não apenas uma","oss-aion-family-board.bdb5a28846":"Temporal e hiperpropriedade","oss-aion-family-board.b83c805a0a":"que nada melhor existe dentro dos limites","oss-aion-family-board.c794704381":"Otimização","oss-aion-family-board.ede1ae7e54":"que nenhuma atribuição satisfaz o conjunto","oss-aion-family-board.a04ce90d06":"Lógica e satisfatibilidade","oss-aion-family-board.b98b54298f":"nove registadas, um esboço","oss-aion-family-board.6253e9d668":"O painel da família","oss-aion-family-board.910e029098":"ilustrativo","oss-aion-family-registry.6e32650bab":"e uma versão em todas elas","oss-aion-family-registry.dcd1f1fdc9":"quatro declarações por família","oss-aion-family-registry.3bc3fe987d":"As falhas que esta família pode devolver, cada uma com uma localização.","oss-aion-family-registry.d129426d71":"Taxonomia de recusa","oss-aion-family-registry.d4504f5b41":"O que o verificador executa e o conjunto de regras que aceita.","oss-aion-family-registry.52ab770040":"Algoritmo de verificação","oss-aion-family-registry.4c9dd89c88":"Como a testemunha, derivação ou rasto é transportado.","oss-aion-family-registry.016fecd943":"Representação da prova","oss-aion-family-registry.ab1e33179a":"O que esta família estabelece e o que deliberadamente não estabelece.","oss-aion-family-registry.8a547220fc":"Tipo de declaração","oss-aion-family-registry.37094b3cc5":"antes de poder ser verificada","oss-aion-family-registry.b14e18379b":"REGISTO","oss-aion-family-registry.b3e4281358":"O que uma família declara","oss-aion-family-registry.7efea8ff96":"incompleto","oss-aion-family-registry.995fee1f1a":"não suportado","oss-aion-family-registry.81f344a768":"inválido","oss-aion-foreign-proof.4c43cb0de1":"sem licença, sem ambiente","oss-aion-foreign-proof.9406c96fa7":"quatro linhas finas entre eles","oss-aion-foreign-proof.9fefe2d67f":"Quatro tipos de trabalho de um lado, quatro objetos legíveis do outro, e","oss-aion-foreign-proof.57802c0b4e":"O verificador nunca executou o lado esquerdo, e não tem de o fazer.","oss-aion-foreign-proof.1dfc94b110":"um recibo","oss-aion-foreign-proof.cff5f15fed":"duas transições","oss-aion-foreign-proof.d58f13fb52":"verificação de autoridade","oss-aion-foreign-proof.24ef006723":"autoridade e recibos","oss-aion-foreign-proof.933912faec":"agentes, coordenando","oss-aion-foreign-proof.2ae1de46da":"o estado permanece dentro do envelope declarado","oss-aion-foreign-proof.ed96565674":"pontos de verificação e um invariante","oss-aion-foreign-proof.0ae689c7bd":"passos de integração","oss-aion-foreign-proof.f9020659b6":"escolha do kernel","oss-aion-foreign-proof.3e77a07952":"afirmações de preservação","oss-aion-foreign-proof.2bb64b9b5b":"passes de otimização","oss-aion-foreign-proof.c8b39aa910":"derivação de cláusulas","oss-aion-foreign-proof.4da89bbc52":"pesquisa do solver","oss-aion-foreign-proof.51339ff0ea":"a evidência, na sua máquina","oss-aion-foreign-proof.4f45bf808d":"o trabalho, no produtor","oss-aion-foreign-proof.c369931988":"quatro linhas, nada mais","oss-aion-foreign-proof.ec0b7e2c43":"O que atravessa a fronteira","oss-aion-foreign-proof.44d74dd33f":"formas","oss-aion-foreign-proof.e7b1fff700":"tipos","oss-aion-foreign-proof.910e029098":"ilustrativo","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT e Alethe verificam em tempo linear offline. O DRAT é verificado e depois reduzido a LRAT.\n            O Unified converte sem perdas entre eles.","oss-aion-formats.14a628e6d3":"Verificado por","oss-aion-formats.dda6ac27b9":"Verificar","oss-aion-formats.34556fa12c":"Cartão de formato","oss-aion-formats.e6c67de15e":"Formatos de prova","oss-aion-formats.8a5e29e5bb":"conversão sem perdas","oss-aion-formats.ddb7c01560":"uma fonte, quatro formas","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# prova intermédia unificada","oss-aion-formats.0d3311a5dc":"conversor aion-proofs","oss-aion-formats.1f5124d90b":"Convertido na exportação","oss-aion-formats.8c21b7e1f1":"A representação interna que converte sem perdas entre os outros.","oss-aion-formats.ebb8e8cf49":"Forma intermédia","oss-aion-formats.287fda8114":"Unified","oss-aion-formats.6d56822b09":"(h1 h2))","oss-aion-formats.87d27a2d97":"t3 (cl Q) ","oss-aion-formats.6d3a4ab6e5":"(=> P Q))","oss-aion-formats.ec18650019":"cvc5, Carcara","oss-aion-formats.0cdb7c9a36":"Tempo linear, offline","oss-aion-formats.f6f7b642b0":"O formato da comunidade SMT-LIB da linhagem cvc5 e veriT.","oss-aion-formats.4aa5db37af":"Prova SMT","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" linhas de adição e eliminação drat","oss-aion-formats.f3ba7f38e9":"drat-trim em LRAT","oss-aion-formats.36f33c83a6":"Verificado e depois reduzido","oss-aion-formats.4745aebc97":"Adição e eliminação clausal. Os verificadores de formato reduzem para LRAT.","oss-aion-formats.154df3dc2f":"Certificado SAT","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" cláusula vazia derivada","oss-aion-formats.6fd630d612":" lrat com dicas de propagação unitária","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Provas de resolução padrão da indústria para o núcleo proposicional.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"um ficheiro que nunca fecha","oss-aion-four-gates.0ff8f0eb5a":"e mais um no fim","oss-aion-four-gates.a1ebd8379f":"antes do passo 1","oss-aion-four-gates.b161dbb47d":"O ficheiro é verificado primeiro quanto a um número de passo repetido.","oss-aion-four-gates.21e412d2d0":"Dois passos, um número","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"e um antes de qualquer um deles","oss-aion-four-gates.e74bdcd46a":"Quatro testes, nesta ordem","oss-aion-four-gates.fef891bb33":"passo 15","oss-aion-four-gates.cc90eb3e73":"Sem regra para o nome. A leitura para em vez de saltar.","oss-aion-four-gates.787e8a8577":"Regra desconhecida","oss-aion-four-gates.e70c55582f":"passo 52","oss-aion-four-gates.59446cbcf9":"Uma premissa que está presente, mas numerada acima do passo que a cita.","oss-aion-four-gates.f1604fe1aa":"Citado fora de ordem","oss-aion-four-gates.a42f56e597":"passo 44","oss-aion-four-gates.371b9613cc":"Um número citado que não está em nenhum lugar do ficheiro.","oss-aion-four-gates.1d1369a316":"Premissa ausente","oss-aion-four-gates.e1391a7c80":"passo 31","oss-aion-four-gates.9a7512e955":"Um passo que se apoia na sua própria conclusão. Perguntado primeiro, a cada passo.","oss-aion-four-gates.7f30dfcc04":"Cita-se a si próprio","oss-aion-governed-operation.b0582e8559":"Uma operação, verificada","oss-aion-governed-operation.8af7f1d469":"governada, depois verificada","oss-aion-governed-operation.ada470c3d7":"Uma cadeia e a sua verificação são duas autoridades diferentes.","oss-aion-governed-operation.90fba649e4":"Quatro itens reconstruídos, e o quinto interrompe a leitura.","oss-aion-governed-operation.ea8356461f":"não neste certificado: o que qualquer agente estava a pensar","oss-aion-governed-operation.2f68c232b4":"A versão da política declarada no certificado não contém a condição que esta porta\n                afirma ter aplicado. A operação é recusada nesse item, e não é emitido\n                nenhum veredito para o conjunto.","oss-aion-governed-operation.be51277bfd":"não alcançado","oss-aion-governed-operation.57b160e317":"a passagem do verificador, por autoridade própria","oss-aion-governed-operation.26f017e3e6":"aceite, ref 4471-b","oss-aion-governed-operation.34c3c00446":"recibo registado","oss-aion-governed-operation.159338740e":"instrução de pagamento, sistema de razão","oss-aion-governed-operation.80f6148b56":"ação executada","oss-aion-governed-operation.458c8c203d":"à ação, não a uma mensagem próxima dela","oss-aion-governed-operation.1b4dcda6ba":"aprovação anexada","oss-aion-governed-operation.303418bf06":"mais de 50 000 necessita de um segundo aprovador","oss-aion-governed-operation.faf1f5eb4b":"porta de política","oss-aion-governed-operation.557df801be":"transições de tarefas","oss-aion-governed-operation.b1c842256e":"oficial de reclamações","oss-aion-governed-operation.59bef6c3e5":"autoridade resolvida","oss-aion-governed-operation.0639a9efd0":"quatro agentes, âmbito desigual","oss-aion-governed-operation.8e44be8724":"organização formada","oss-aion-governed-operation.139146ad26":"política v4.2","oss-aion-governed-operation.8524f08438":"liquidar as reclamações dos fornecedores do trimestre","oss-aion-governed-operation.cab7375bdf":"a operação, tal como a Nexus a executou","oss-aion-governed-operation.82c8154dca":"recusada na porta","oss-aion-governed-operation.a503bc1da2":"recusada","oss-aion-governed-operation.28fb3d519e":"reconstruída","oss-aion-governed-operation.45807bf2ec":"liquidada","oss-aion-governed-operation.fb92f3f834":"avaliada","oss-aion-governed-operation.590abaace4":"aberta","oss-aion-governed-operation.d2dc873868":"objetivo","oss-aion-governed-operation.910e029098":"ilustrativo","oss-aion-harness-fields.d5ad303466":"e um número que pode citar","oss-aion-harness-fields.5a31ca3c0f":"o seu corpus, o seu hardware","oss-aion-harness-fields.58664673b0":"Impresso sobre todo o corpus no final da execução.","oss-aion-harness-fields.6197b910db":"Uma contagem correta","oss-aion-harness-fields.175226a475":"Comparado com o estado registado no próprio ficheiro.","oss-aion-harness-fields.d787e678da":"Responder com base no estado","oss-aion-harness-fields.b5ec587356":"A própria pesquisa, por instância, sem ser diluída pela média.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Tempo de resolução","oss-aion-harness-fields.bec737ff93":"Quanto tempo o ficheiro demorou a ler, mantido separado da resolução.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Tempo de análise","oss-aion-harness-fields.20e5752f58":"O máximo atingido, para que um plano de capacidade tenha um número concreto.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Pico de memória residente","oss-aion-harness-fields.b660370132":"um ficheiro do seu corpus","oss-aion-harness-fields.ec845d015d":"por instância, e depois somado","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"O que uma execução regista","oss-aion-harness-fields.b3cbdd75cb":"refutado","oss-aion-harness-fields.48a3661d84":"estado","oss-aion-harness-fields.25dc282b5a":"resposta","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"A resolver...","oss-aion-hero-glyph.3d08723a54":"Resultado: SAT","oss-aion-hero-glyph.9e1279af1f":"Modelo:","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":"Resultado: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Prova: 128 passos","oss-aion-hero-glyph.41294a8dc8":"Prova escrita em: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"A verificar prova: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Análise: OK","oss-aion-hero-glyph.27d28e3ca9":"A prova tem 128 passos","oss-aion-hero-glyph.1ba94dea63":"Estatísticas da prova:","oss-aion-hero-glyph.e1b3c4d7c5":"  Total de passos: 128","oss-aion-hero-glyph.e30b86fef9":"  Passos de resolução: 71","oss-aion-hero-glyph.8215376faf":"  Passos aritméticos: 24","oss-aion-hero-glyph.552f29f0b5":"Tamanho máximo de cláusula: 6","oss-aion-hero-glyph.fc539fcf62":"Verificação da prova: APROVADA","oss-aion-hero-glyph.1e4bdfb80c":"Tempo de verificação: 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":"ponto fixo adaptativo","oss-aion-hero-glyph.a9f24b1b66":"verificação em tempo linear","oss-aion-hero-glyph.6b5eb5323e":"Certificado anexado","oss-aion-how-to-check.c799cc998b":"Resultado: isto está correto.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"A primeira máquina entrega o seu recibo a um assistente separado, que o verifica","oss-aion-how-to-check.d026bcfccb":"O resultado é claro: o recibo soma, ou não soma. Não há talvez.","oss-aion-how-to-check.d0c84a5a37":"A verificação acontece exatamente onde você está. Nada é enviado e nenhum site é necessário.","oss-aion-how-to-check.623151a710":"O assistente que verifica não é a máquina que respondeu. Ele não pode simplesmente concordar consigo mesmo.","oss-aion-how-to-check.87e974a415":"lê e verifica","oss-aion-how-to-check.3c487e646c":"Um segundo assistente","oss-aion-how-to-check.78829f8a37":"os passos, escritos","oss-aion-how-to-check.9b7b265fbb":"O recibo","oss-aion-how-to-check.f58fd2cb80":"dá uma resposta e um recibo","oss-aion-how-to-check.50e90303d4":"A primeira máquina","oss-aion-integration.b1873dbd42":"Um motor, sem serviço externo. Vincule a crate, fixe uma versão e verifique certificados no mesmo ambiente.","oss-aion-integration.5f2e7d7c25":"O mesmo certificado de prova em todas as superfícies. Uma consulta entra, um certificado verificável sai.","oss-aion-integration.a4db3ae8b6":"Como o chama","oss-aion-integration.4ec6d609ab":"Comece com um caminho de decisão","oss-aion-integration.559461e293":"biblioteca, CLI, benchmark","oss-aion-integration.0228a4c724":"Qualquer pessoa pode verificar um certificado com aion check, ou com um verificador LRAT ou Alethe independente, na sua própria máquina.","oss-aion-integration.dda6ac27b9":"Verificar","oss-aion-integration.4d2c6036eb":"Coloque aion-cli atrás de um serviço seu. O certificado de prova é o contrato que o serviço devolve.","oss-aion-integration.c3447e7954":"Envolver","oss-aion-integration.f9109d0f04":"Adicione a crate a uma aplicação Rust existente e emita certificados inline com as respostas que já produz.","oss-aion-integration.ad02e14e28":"Incorporar","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Um binário de benchmark dedicado vem no workspace. Meça solve e check no seu próprio hardware, em vez de confiar num valor do fornecedor.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Conduza AION a partir de uma shell ou de um trabalho de CI. solve executa uma consulta, check verifica um certificado de prova offline, e prove emite um. A mesma saída de prova que a biblioteca.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Vincule AION como crate e chame o solver e o emissor de prova diretamente. O kernel, as teorias e os formatos de prova estão todos em processo, sem serviço para configurar.","oss-aion-integration.8319d9b3b9":"Biblioteca Rust","oss-aion-live-margins.df15dfd304":"uma delas é uma ação","oss-aion-live-margins.96576608a5":"três destas são leituras","oss-aion-live-margins.5711ac01c1":"RASTREADO","oss-aion-live-margins.f719aa9511":"decorrido face ao permitido","oss-aion-live-margins.a344938438":"Quatro obrigações","oss-aion-live-margins.19e5ecc09e":"no próprio dia, no evento","oss-aion-live-margins.828697f103":"Registo de transferência","oss-aion-live-margins.222af170d9":"44 dias de 30, ainda em aberto","oss-aion-live-margins.a441e09d1a":"Janela de retenção","oss-aion-live-margins.30e04c8f23":"2 dias de 3","oss-aion-live-margins.20d6944505":"Notificação de violação","oss-aion-live-margins.9b9419d2e2":"26 dias de 30","oss-aion-live-margins.6e7d6c760b":"Resposta ao titular","oss-aion-nothing-outbound.45b9d8acdc":"sem cliente de saída","oss-aion-nothing-outbound.5b16b5db9a":"Cada caminho começa e termina dentro de uma linha que desenhou.","oss-aion-nothing-outbound.59a0768496":"Nada nesta folha ultrapassa o contorno.","oss-aion-nothing-outbound.71c31d8219":"um processo local nesta máquina","oss-aion-nothing-outbound.605f85e28f":"um provador externo","oss-aion-nothing-outbound.150bc2359d":"uma sub-rede, definida por si","oss-aion-nothing-outbound.5193678a39":"endereços de cluster","oss-aion-nothing-outbound.49c4e670b3":"a sua rede","oss-aion-nothing-outbound.273ca4c134":"o que configura","oss-aion-nothing-outbound.7f8d7aeedb":"cinco linhas","oss-aion-nothing-outbound.bcec1ac359":"o que este caminho adiciona ao seu registo","oss-aion-nothing-outbound.4553aa0c94":"a loja local","oss-aion-nothing-outbound.93d65d8ef8":"o arquivo","oss-aion-nothing-outbound.760cfc52ce":"o verificador","oss-aion-nothing-outbound.6621d172f5":"o conjunto de regras a ser lido","oss-aion-nothing-outbound.565f3cfc6a":"o certificado a ser verificado","oss-aion-nothing-outbound.284f61c8db":"o seu site, o seu hardware","oss-aion-nothing-outbound.f368a04bb8":"um limite, e é seu","oss-aion-nothing-outbound.5c795b7e7d":"nenhum caminho sai","oss-aion-nothing-outbound.4f98b1412d":"Nada sai do perímetro","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"A compilação que possui não muda por baixo de si.","oss-aion-nothing-outbound.07b9a651d1":"Um calendário de lançamentos do fornecedor para acompanhar","oss-aion-nothing-outbound.8fa0bea3f8":"Nenhum serviço nosso está no caminho.","oss-aion-nothing-outbound.11449c8bd3":"Uma dependência de disponibilidade para registar","oss-aion-nothing-outbound.66506ab77b":"Nenhum modelo é chamado.","oss-aion-nothing-outbound.af474ee96b":"Um fornecedor de modelos para avaliar","oss-aion-nothing-outbound.f2250926d2":"Nada sai do limite.","oss-aion-nothing-outbound.e80e5b3403":"Uma transferência transfronteiriça para justificar","oss-aion-nothing-outbound.0bd87fb406":"Nenhum processador neste caminho.","oss-aion-nothing-outbound.9494490634":"Um processador para adicionar","oss-aion-obligation-calendar.366609b500":"margem, não alarme","oss-aion-obligation-calendar.3c8532b3c7":"A regra do meio é onde a correção barata deixou de estar disponível.","oss-aion-obligation-calendar.949b1361f5":"Ambos os valores são leituras que qualquer pessoa pode fazer esta manhã.","oss-aion-obligation-calendar.7758d9c282":"ação necessária","oss-aion-obligation-calendar.4ebebe0b7c":"-14 dias","oss-aion-obligation-calendar.6937bf485d":"iniciado antes deste mês","oss-aion-obligation-calendar.37ed878825":"janela de retenção","oss-aion-obligation-calendar.3974c3ac47":"+4 dias","oss-aion-obligation-calendar.aa69fdaab6":"aberto, 30 dias permitidos","oss-aion-obligation-calendar.c6727ea40c":"resposta do assunto","oss-aion-obligation-calendar.51269d14af":"último dia em que isto ainda era trabalho de uma tarde","oss-aion-obligation-calendar.96a8ebf797":"datas ilustrativas","oss-aion-obligation-calendar.fdcce3f37e":"um está além da data","oss-aion-obligation-calendar.11ddafb2cc":"Um mês de obrigações","oss-aion-obligation-calendar.a2620cbc10":"dia","oss-aion-one-contract-six.d3926ca64d":"um registo, um conjunto afetado","oss-aion-one-contract-six.c4d72c2328":"As suas provas seguem um envelope AION.","oss-aion-one-contract-six.a7e545052a":"As saídas do produtor permanecem distintas.","oss-aion-one-contract-six.5cbf78425a":"uma regra muda, reverifique os registos afetados","oss-aion-one-contract-six.f5c6772ad7":"uma fila de reverificação","oss-aion-one-contract-six.d3516bd6ea":"um registo e um registo de armazenamento","oss-aion-one-contract-six.2ec012da6f":"um envelope AION","oss-aion-one-contract-six.2c653cc8fa":"os mesmos sete produtores, através de um envelope AION","oss-aion-one-contract-six.725c682066":"saídas diferentes, verificadores específicos da família","oss-aion-one-contract-six.cddf74f2cf":"sete saídas de produtores","oss-aion-one-contract-six.f063fe5bcd":"sete saídas acima, um envelope abaixo","oss-aion-one-contract-six.c34e6d1a39":"sete produtores, um envelope de provas","oss-aion-one-contract-six.910e029098":"ilustrativo","oss-aion-one-contract-six.67bb73569c":"um certificado de simulação","oss-aion-one-contract-six.7966a9fa49":"um certificado de compilação","oss-aion-one-contract-six.1111f590cc":"um certificado organizacional","oss-aion-one-contract-six.293194c28e":"um certificado de raciocínio","oss-aion-one-contract-six.8aa194122c":"um registo de prova lógica","oss-aion-one-contract-six.30870de828":"identidade do modelo, parâmetros, estado, pontos de verificação, invariantes e hash da trajetória","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"módulo, entradas, concessões de capacidades, transições, limites e saída","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"grafo de origem, transformações, invariantes e identidade do artefacto","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"autoridade, política, aprovações, transições e recibos","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"derivação de restrições e provas de solver devolvidas","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"prova, modelo, núcleo, testemunha ou limite","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Viável, inviável ou ótimo","oss-aion-one-contract-six.8f7924f6f5":"Verificador de solver específico da família","oss-aion-one-contract-six.2e9d2d4990":"Uma conclusão a partir de restrições declaradas","oss-aion-one-contract-six.0e7a123b77":"Verificador de raciocínio Loom","oss-aion-one-contract-six.3c1a0d119e":"Uma operação governada concluída","oss-aion-one-contract-six.6c2ed5435d":"Verificador organizacional Nexus","oss-aion-one-contract-six.07b127b70d":"Um artefacto compilado","oss-aion-one-contract-six.4f9018da9e":"Verificador de compilação Kera","oss-aion-one-contract-six.1f42a0b0ce":"Uma carga de trabalho executada","oss-aion-one-contract-six.5a3c8f1f84":"Verificador de execução Selvedge","oss-aion-one-contract-six.8879cc2e8a":"Uma trajetória simulada","oss-aion-one-contract-six.0d72478caf":"Verificador de simulação e FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Uma execução FMU concluída","oss-aion-one-contract-six.8f5753fba0":"Identidade FMU, configuração, passos, eventos, convergência e rastreio","oss-aion-one-contract-six.4d64b5bbaf":"Verificador de simulação e FMI","oss-aion-one-contract-six.6f99b37c1c":"Afirmação","oss-aion-one-contract-six.4cb3ee8fa2":"Provas","oss-aion-one-contract-six.0f3253d8d8":"Verificador","oss-aion-one-envelope.3b24a9a880":"oito campos, com versão","oss-aion-one-envelope.a348113c09":"qual\n          verificador o lê.","oss-aion-one-envelope.08ace6c26e":"um campo decide","oss-aion-one-envelope.396e2145f9":"Quatro tipos de prova, uma abertura e","oss-aion-one-envelope.dc1a7be459":"assente no segundo","oss-aion-one-envelope.ddc01a5859":"afirmação de trajetória","oss-aion-one-envelope.7f211a50e2":"conjunto de parâmetros","oss-aion-one-envelope.8f2aa45103":"identidade do modelo","oss-aion-one-envelope.23e75e07fb":"escolhido pelo campo de tipo de certificado, não por quem o enviou","oss-aion-one-envelope.4e4dc30b71":"qual verificador o lê","oss-aion-one-envelope.c8c687f0ff":"a mesma abertura, sempre","oss-aion-one-envelope.b5a871e570":"uma pilha de recibos","oss-aion-one-envelope.f90f47de4d":"uma sequência de transições","oss-aion-one-envelope.3116f117c0":"uma tabela de passagens","oss-aion-one-envelope.134483f4a2":"uma prova por cláusulas","oss-aion-one-envelope.93a8ee0c5f":"o que entra","oss-aion-one-envelope.582a139a7d":"encaminhado por tipo","oss-aion-one-envelope.6b9805fe87":"Um envelope, quatro cargas","oss-aion-one-envelope.3dde401523":"execução em tempo real","oss-aion-one-envelope.708563c595":"ed25519, verificado","oss-aion-one-envelope.f2e0576c5b":"dois, nomeados abaixo","oss-aion-one-envelope.f7b7603261":"selado, 41 kB","oss-aion-one-envelope.15aae6195c":"carga do certificado","oss-aion-one-envelope.6732222b05":"tipo de certificado","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"versão do contrato","oss-aion-one-envelope.b578b9727d":"sem cobrança dupla no período 2026-06","oss-aion-one-envelope.a503bc1da2":"recusado","oss-aion-one-envelope.51c817ab85":"aceite","oss-aion-one-envelope.495117c360":"dependências","oss-aion-one-envelope.910e029098":"ilustrativo","oss-aion-one-field-apart.e704601d64":"o eixo, não uma amostra","oss-aion-one-field-apart.5c256bca81":"O resultado moveu-se com ele, e isso é uma conclusão, não uma estatística.","oss-aion-one-field-apart.7a1e726c2f":"Duas candidaturas idênticas em todos os campos públicos, com um número de diferença.","oss-aion-one-field-apart.084f6c9ebe":"todos os pares que as regras permitem","oss-aion-one-field-apart.ddaee9368d":"mil casos testados","oss-aion-one-field-apart.4c4ccacd1b":"um par que pode colocar num ficheiro","oss-aion-one-field-apart.6fddc6a6d1":"faixa B,","oss-aion-one-field-apart.dbf68713b1":"a mesma linha, em degraus","oss-aion-one-field-apart.8c6c701170":"o caso que falha","oss-aion-one-field-apart.0f9dcd24f1":"o resultado não dependeu deste campo","oss-aion-one-field-apart.154b3f8e44":"faixa B, 3 ofertas","oss-aion-one-field-apart.4392f1d89c":"uma linha, sem degrau","oss-aion-one-field-apart.02de2da27e":"o caso que se mantém","oss-aion-one-field-apart.b7de103af7":"salário bruto, livre de cada lado","oss-aion-one-field-apart.c86b5b3346":"empatado em ambos os lados","oss-aion-one-field-apart.54bb687f85":"candidaturas ilustrativas","oss-aion-one-field-apart.b69108366c":"o resultado muda no par","oss-aion-one-field-apart.e79b0df746":"com um campo de diferença","oss-aion-one-field-apart.e1fef06921":"ofertas","oss-aion-one-field-apart.8699f2b04f":"permanente","oss-aion-one-field-apart.06e3125012":"emprego","oss-aion-one-field-apart.305fa62f02":"30 a 39","oss-aion-one-field-apart.c6a0c81b25":"faixa etária","oss-aion-one-field-apart.61a7508ed1":"básico","oss-aion-one-field-apart.38a007151a":"produto","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"região","oss-aion-one-word.95fa084cc9":"um deles verifica AION","oss-aion-one-word.ce157273ec":"três destes em que acreditas","oss-aion-one-word.a04376ab99":"e o que podes fazer com ele","oss-aion-one-word.1a5b0d2471":"A LACUNA","oss-aion-one-word.69dc71b6f9":"Com o que chega um resultado","oss-aion-one-word.8d40d2bfcc":"Afirmações tipadas, cada uma a nomear uma regra, uma transição ou uma premissa.","oss-aion-one-word.2f8acfe792":"Um certificado","oss-aion-one-word.b04dce1dd0":"Quanto tempo demorou a ter a certeza. A certeza não é a questão.","oss-aion-one-word.7eb987f893":"Uma duração","oss-aion-one-word.8388e9c8ba":"O que o sistema fez. Não por que razão a conclusão se segue.","oss-aion-one-word.40d0f0d4b5":"Um registo","oss-aion-one-word.e7597ba59a":"insatisfazível, compilado, seguro, aprovado. Nada nele com que discordar.","oss-aion-one-word.ae976ad8e9":"Uma palavra","oss-aion-org-cert.dd25bad09c":"e cada um é verificado","oss-aion-org-cert.e8add8f2b8":"organização, funções, tarefas e aprovações preenchem as lacunas","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"do objetivo ao recibo","oss-aion-org-cert.0a629276bf":"Oito itens na cadeia","oss-aion-org-cert.51e6694762":"O que foi realmente feito lá fora, e o que voltou.","oss-aion-org-cert.4f0a23ec14":"Ações e recibos","oss-aion-org-cert.b249df120c":"Cada fronteira que o trabalho atravessou, e o que a aprovou.","oss-aion-org-cert.5eaad4eb5f":"Portões aprovados","oss-aion-org-cert.aba30ac5b8":"Qual função detinha o quê, no momento em que a ação foi tentada.","oss-aion-org-cert.145ae750ce":"Autoridade resolvida","oss-aion-org-cert.f8a4dc9c6b":"O que estava a ser tentado, sob qual versão da política.","oss-aion-org-cert.63fbd2b7ee":"Objetivo e política","oss-aion-pipeline.b07bbe8800":"Núcleo proposicional","oss-aion-pipeline.81f811c968":"Uma pesquisa de aprendizagem de cláusulas orientada por conflitos sobre o esqueleto booleano. Decide, propaga, encontra um conflito, aprende uma cláusula e retrocede. Valores binários, inteiros e de ponto fixo adaptativo fundamentam o procedimento de decisão; nenhum valor de vírgula flutuante é armazenado, acumulado ou usado como recurso no núcleo aritmético.","oss-aion-pipeline.dc0dd5bc07":"decisões e cláusulas aprendidas","oss-aion-pipeline.0c5ad3c30f":"Plugins de teoria","oss-aion-pipeline.f3a7990ab0":"O núcleo entrega uma atribuição parcial à camada de teoria. Aritmética, vetores de bits, arrays e strings raciocinam nos seus próprios domínios e devolvem propagações e conflitos. A entrada externa de vírgula flutuante é descodificada na fronteira em campos binários ou numa escala de ponto fixo declarada antes de entrar na verificação. O kernel aloja estes raciocinadores; as teorias temporal e de programas vivem em crates companheiros.","oss-aion-pipeline.9d1b00d225":"lemas de teoria e conflitos","oss-aion-pipeline.fa6a461dcc":"Emissor de provas","oss-aion-pipeline.b3ca95c05c":"Cada passo que o motor dá, cada resolução e cada lema de teoria, é registado pelo emissor de provas à medida que acontece. O resultado é uma derivação ordenada que um verificador separado pode reproduzir a partir das suas premissas.","oss-aion-pipeline.17ac98f8af":"uma derivação ordenada","oss-aion-pipeline.26d98dc390":"Exportação de formato","oss-aion-pipeline.a79251f54d":"A derivação é escrita como LRAT, DRAT ou Alethe, ou mantida na forma intermédia unificada. O LRAT inclui dicas de propagação unitária, o que torna a verificação offline linear no comprimento da prova.","oss-aion-pipeline.8c3cee1cd3":"um certificado portátil","oss-aion-pipeline.77ec79ed26":"da decisão ao certificado","oss-aion-pipeline.c320454a47":"CDCL + teoria + emissor","oss-aion-pipeline.a618b4be8d":"Consulta","oss-aion-pipeline.10de46b3b3":"Certificado","oss-aion-pipeline.62923220ae":"Inteiro / ponto fixo.","oss-aion-pipeline.4961117925":"Nenhum valor de vírgula flutuante dentro do núcleo.","oss-aion-pipeline.591118af56":"Cadeia de resolução.","oss-aion-pipeline.39dfacd414":"Cada passo cita as premissas de que depende, por ordem.","oss-aion-pipeline.7fc7b98317":"Verificador independente.","oss-aion-pipeline.f0bef425b5":"O certificado é reproduzido sem o solucionador.","oss-aion-pipeline.a73bc5ed23":"Arquitetura, núcleo CDCL, plugins de teoria, emissor de provas","oss-aion-plain-card.7e190a46ae":"Uma máquina dá uma resposta","oss-aion-plain-card.b8941c136d":"Um computador resolve algo por si. Sozinho, só temos de aceitar a palavra dele.","oss-aion-plain-card.1232ecf314":"Também escreve um recibo","oss-aion-plain-card.af7230bfb9":"A AION faz a máquina imprimir um pequeno recibo ao lado da resposta. O recibo mostra cada passo que deu para lá chegar.","oss-aion-plain-card.262d1681dd":"Qualquer pessoa pode verificar o recibo","oss-aion-plain-card.7d35d2e097":"O seu próprio assistente lê o recibo e diz sim, isto bate certo, ou não, isto está errado. Não tem de confiar na primeira máquina de todo.","oss-aion-plain-card.e8146bafb5":"A AION, em palavras simples","oss-aion-plain-card.0b081a8ef4":"Recibo incluído","oss-aion-plain-card.a32564404b":"Pense num recibo de pagamento. Quando compra algo, recebe um papel que prova que a\n          loja lhe cobrou o valor certo. Pode mostrar esse recibo a qualquer pessoa, e essa pessoa pode\n          somá-lo sozinha.","oss-aion-plain-card.d5d9b99b9c":"A AION faz o mesmo por um computador.","oss-aion-plain-card.2cc68d964c":"Quando uma máquina dá\n          uma resposta, a AION entrega-lhe um recibo que mostra que a resposta está correta, e qualquer pessoa pode verificá-lo.","oss-aion-plain-card.374c644917":"Nunca tem de simplesmente confiar na máquina. O recibo faz a prova.","oss-aion-plain-refusal.7d7fc8edd4":"a mesma explicação vale para ti e para quem a estiver a rever, porque é uma\n            explicação só","oss-aion-plain-refusal.40c2416b25":"um caso que podes ler, não uma cruz que não podes","oss-aion-plain-refusal.f795b42ea6":"O saldo deste cartão volta ao valor total no dia 1 de agosto, daqui a dois dias.","oss-aion-plain-refusal.3ae2a82129":"quando isso acontece","oss-aion-plain-refusal.a6012020ae":"Ou mais 150 euros de saldo no cartão, ou um pagamento de 90 euros ou menos.","oss-aion-plain-refusal.74b2c9301b":"o que o mudaria","oss-aion-plain-refusal.e88b1876e6":"90 euros não cobrem 240 euros, por isso o pagamento e o saldo restante não podem ambos manter-se.","oss-aion-plain-refusal.d649363397":"qual é a parte que o quebra","oss-aion-plain-refusal.ec7a8f0a8d":"O pagamento foi de 240 euros. O saldo do cartão hoje era de 90 euros.","oss-aion-plain-refusal.fcd45ae097":"a tua situação","oss-aion-plain-refusal.e51b51ac5a":"Um pagamento só é processado se o saldo do cartão hoje o cobrir.","oss-aion-plain-refusal.93823841cb":"o que diz a regra","oss-aion-plain-refusal.9bc7984374":"Porque não foi processado","oss-aion-plain-refusal.549840f998":"Quando uma regra é quebrada, a AION descreve a situação que a quebrou, em frases\n            normais com os números incluídos. O pagamento foi de tanto, o saldo do cartão hoje\n            era menos do que isso, e juntos esses dois factos quebram a regra. Podes lê-lo,\n            discordar dele com precisão, ou mudar a única coisa que precisa de mudar.\n            Uma cruz numa caixa não te dá nada disso, e não é mais curto, apenas mais vazio.","oss-aion-plain-refusal.3b50831d8a":"Uma decisão automática que te recusa é pior do que uma tomada por uma pessoa, porque\n            normalmente não há nada a perguntar. A recusa chega acabada. O que recebes é o\n            resultado e, se tiveres sorte, um número de referência, e o caminho para uma\n            explicação real é uma reclamação que demora semanas e chega a alguém que também\n            não esteve envolvido.","oss-aion-plain-refusal.ada63e5c2f":"Um caso trabalhado é.","oss-aion-plain-refusal.462f7e9213":"\"Não permitido\" não é uma razão.","oss-aion-plain-refusal.5abdfa9cd6":"A diferença","oss-aion-plain-refusal.68c46e84d7":"simples","oss-aion-reasoning-cert.0f1fb3d007":"e cada item é verificado","oss-aion-reasoning-cert.98ec75a261":"limites e a alegação final completam os sete","oss-aion-reasoning-cert.433b925481":"O que foi excluído e as premissas que o excluíram.","oss-aion-reasoning-cert.13382efd7c":"Contradições","oss-aion-reasoning-cert.e856a27527":"O subproblema que saiu e a prova que voltou.","oss-aion-reasoning-cert.92324f5363":"Certificados do solver","oss-aion-reasoning-cert.fe451714e4":"Cada um nomeado, pela ordem em que foi aplicado.","oss-aion-reasoning-cert.e0d40a5309":"Aplicações de regras","oss-aion-reasoning-cert.e0753c6513":"O que estava em vigor, em que versão, quando o trabalho foi executado.","oss-aion-reasoning-cert.b9366c0dbf":"Restrições ativas","oss-aion-reasoning-cert.a04ed61a81":"o solver","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"sete itens","oss-aion-reasoning-cert.eb64d71581":"O que um certificado de raciocínio contém","oss-aion-reasoning-chain.126806353c":"declarado, depois verificado","oss-aion-reasoning-chain.751e90e830":"Cada um deles é um artefacto que o raciocínio deixou para trás, e cada um é lido.","oss-aion-reasoning-chain.bc96941170":"Quatro restrições, duas aplicações de regras, uma viagem do solver e uma contradição.","oss-aion-reasoning-chain.57fa7b904f":"O que é verificado aqui é a derivação que o sistema declarou, item por item.","oss-aion-reasoning-chain.e0aa3695ac":"core 01 02 04, e 03 não está nele","oss-aion-reasoning-chain.e3338dab26":"cobrança dupla excluída","oss-aion-reasoning-chain.a43e177c4c":"reembolso 04 reverte","oss-aion-reasoning-chain.becc703d80":"cobrança fundida","oss-aion-reasoning-chain.398df239b3":"de 01 e 02","oss-aion-reasoning-chain.373c5eb4cc":"lido passo a passo, fecha","oss-aion-reasoning-chain.45f358826b":"devolvido pelo provador, em Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvector e igualdade, nada mais cruza","oss-aion-reasoning-chain.34fcd5c8c7":"subproblema, selado","oss-aion-reasoning-chain.8c7f764922":"na contagem de tentativas, de 02 e 03","oss-aion-reasoning-chain.7c960fefa4":"três elevados para o core, um deixado onde estava","oss-aion-reasoning-chain.eeacd6e80f":"restrições ativas, nas palavras que a pessoa responsável escreveu","oss-aion-reasoning-chain.0ee0bb12eb":"Esta configuração não pode produzir uma cobrança dupla dentro de um período de faturação.","oss-aion-reasoning-chain.c0644670d0":"a afirmação que Loom faz","oss-aion-reasoning-chain.9616861141":"afirmação ilustrativa e versões","oss-aion-reasoning-chain.e4f7c8c782":"core nomeia três, limpa um","oss-aion-reasoning-chain.43c7dffedb":"Uma conclusão, aberta","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"de 8 e 9","oss-aion-reasoning-chain.3d26486c4c":"de 8","oss-aion-reasoning-chain.5a6d9bdd37":"de 3 e 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Um reembolso reverte a cobrança que nomeia.","oss-aion-reasoning-chain.4c449f834c":"Um período de faturação fecha à meia-noite do último dia.","oss-aion-reasoning-chain.a663638447":"Uma tentativa nunca gera uma segunda cobrança.","oss-aion-reasoning-chain.0d43228516":"Uma cobrança é gerada uma vez por entrega concluída.","oss-aion-reassure.38a3bd59d5":"A questão é simples: nunca aceitar a palavra de uma máquina sem verificação. Mantenha uma razão que um segundo verificador possa testar.","oss-aion-reassure.0ccc7397a4":"Não. O recibo pode ser verificado no próprio local, sem enviar nada pela internet.","oss-aion-reassure.5bea629f3e":"A minha resposta é enviada para algum lugar?","oss-aion-reassure.af397dc934":"É construído na Europa. Um verificador separado, não a máquina que produziu a resposta, verifica cada recibo.","oss-aion-reassure.7de6360d68":"De onde vem?","oss-aion-reassure.a93d9edbec":"Não. Não precisa de construir nada disto. A loja, o hospital ou o escritório utiliza-o por si. Apenas recebe uma resposta mais clara.","oss-aion-reassure.39af3a44b7":"Tenho de ser entendido em computadores?","oss-aion-reassure.bdbcd6057e":"Sim. O recibo pode ser verificado novamente sem o modelo original, sessão, conta ou ligação à internet.","oss-aion-reassure.aa1b0d7005":"Pode ser verificado mais tarde?","oss-aion-receipt.36889df54f":"Nunca mexe nisto você mesmo. Quando uma loja ou um escritório o usa por si, este é o talão\n          que podem entregar.","oss-aion-receipt.46fbbfb5be":"Qualquer pessoa pode lê-lo e verificar se as contas batem certo.","oss-aion-receipt.9c258dd430":"e tem de acreditar. Com a AION, a\n            máquina também lhe entrega o talão pequeno à esquerda. Mostra a pergunta, os passos e\n            a resposta.","oss-aion-receipt.013700f8eb":"Uma máquina normal apenas diz","oss-aion-receipt.12df5bb228":"Para guardar","oss-aion-receipt.7b8544fad0":"Confere","oss-aion-receipt.def2581739":"Recibo da resposta","oss-aion-receipt.6e17da21e4":"Um exemplo de recibo da resposta","oss-aion-receipt.f2688d32ea":"Pergunte novamente e obtém a mesma resposta e o mesmo talão, em qualquer computador.","oss-aion-receipt.2379231efe":"Sempre igual","oss-aion-receipt.a4b884c0e4":"O seu próprio assistente verifica o talão ali mesmo, sem enviar nada para fora.","oss-aion-receipt.930888ee28":"Sem internet","oss-aion-receipt.7a019cc1d2":"A razão está no talão, não escondida numa máquina. Pode guardá-la ou mostrá-la.","oss-aion-receipt.47b716baec":"Por escrito","oss-aion-receipt.92ed516e5b":"Sim, e aqui está o porquê.","oss-aion-receipt.7011b1a621":"A resposta","oss-aion-receipt.8ab9465666":"O seu caso foi associado a ela.","oss-aion-receipt.16bb8dfc44":"Passo dois","oss-aion-receipt.d3ca88b9f3":"A regra foi lida na íntegra.","oss-aion-receipt.e97cc54395":"Passo um","oss-aion-receipt.afd2793ce0":"Tenho direito a este reembolso?","oss-aion-receipt.d79cce547d":"A pergunta","oss-aion-recheck-list.09d5defeae":"duas linhas, dois nomes","oss-aion-recheck-list.fd3e1afd0e":"ou, muito mais frequentemente, de nada.","oss-aion-recheck-list.459f160ffa":"Sem a versão por trás de cada linha, o mesmo aviso produz um reexame de\n          tudo,","oss-aion-recheck-list.cade8a80df":"a lista, e quem a detém","oss-aion-recheck-list.6f13975269":"ainda compatível","oss-aion-recheck-list.48f8969999":"releitura necessária","oss-aion-recheck-list.af0f44d357":", alterado em","oss-aion-recheck-list.4202e0844e":"A regra do limite de otimalidade é lida de forma mais estrita. Um limite declarado exatamente no limite\n              deixa de ser aceite como estando abaixo dele.","oss-aion-recheck-list.1c26bb5963":"publicado em 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Verificador v7.0","oss-aion-recheck-list.9ffcf8f72b":"entradas ilustrativas","oss-aion-recheck-list.dc490c03ae":"dois de cinco sinalizados","oss-aion-recheck-list.7316018edf":"Os registos afetados","oss-aion-recheck-list.2237af7cd3":"a regra do limite de otimalidade","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Rota ótima, depósito norte","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Compilação de firmware, gateway 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Avaliação de consentimento, campanha 44","oss-aion-recheck-list.3c54a1df45":"internamente","oss-aion-recheck-list.b8d251e8cd":"Execução de preços em lote","oss-aion-recheck-list.dce56394a1":"Plano de turnos, semana 12","oss-aion-recheck-list.48a3661d84":"estado","oss-aion-recheck-list.29e5b9a8e6":"verificador","oss-aion-recheck-list.51c817ab85":"aceite","oss-aion-recheck-list.e2979e7595":"fornecedor","oss-aion-recheck-list.335ce16b3f":"assunto","oss-aion-recheck-list.796a88413e":"J. Okonkwo, operações","oss-aion-recheck-list.90916dd844":"Reveja e confirme o limite declarado com o fornecedor.","oss-aion-recheck-list.00e67572db":"M. de Vries, proteção de dados","oss-aion-recheck-list.e4faeae968":"Reveja o certificado armazenado contra a v7.0.","oss-aion-record-fields.8580937ae7":"cada um produz o seu próprio conjunto afetado","oss-aion-record-fields.632f62dd8b":"um esquema de certificado completa os sete","oss-aion-record-fields.7039b2f0bd":"onde está agora","oss-aion-record-fields.74b489c3d1":"onde estava","oss-aion-record-fields.5d5dc3b7c3":"DURÁVEL","oss-aion-record-fields.c2a1a83804":"e não são apenas regras de prova","oss-aion-record-fields.12b83ffb63":"O que pode mudar por baixo","oss-aion-record-fields.91b3cb991a":"uma versão mais recente do modelo","oss-aion-record-fields.e1ab670f61":"Um contrato de modelo ou simulação","oss-aion-record-fields.da15b4cbb5":"a própria alegação mudou","oss-aion-record-fields.26e4976c38":"Um contrato de compilador ou runtime","oss-aion-record-fields.cb2c2e30b7":"limpo sob outro","oss-aion-record-fields.43e275dea3":"Uma política","oss-aion-record-fields.521a7a8570":"lido de forma diferente agora","oss-aion-record-fields.58fd9f572c":"Uma regra de verificador","oss-aion-refusal-fields.432aa8565f":"uma referência que alguém possa seguir","oss-aion-refusal-fields.36a85f9074":"não uma cruz vermelha","oss-aion-refusal-fields.fe71871083":"AVISO","oss-aion-refusal-fields.4f84be92c8":"para que alguém possa agir","oss-aion-refusal-fields.fa31a3ca39":"O que contém uma recusa","oss-aion-refusal-fields.5647a1c020":"decidir de quem é a conclusão","oss-aion-refusal-fields.11c0add347":"Um defeito na prova, ou uma regra que não seguimos. Não é o mesmo.","oss-aion-refusal-fields.a74aa40f65":"O tipo","oss-aion-refusal-fields.d3144a7994":"ver o que não estava lá","oss-aion-refusal-fields.060958d8fd":"O que faltava ou estava errado quando foi recalculado.","oss-aion-refusal-fields.a7dc07c061":"A razão","oss-aion-refusal-fields.3b21710b2e":"verificar o que deveria ter feito","oss-aion-refusal-fields.f80b017fdb":"O que o passo afirmava fazer.","oss-aion-refusal-fields.0056e788fc":"A regra","oss-aion-refusal-fields.89abf35df5":"abrir nessa linha","oss-aion-refusal-fields.3dac51b71a":"Qual passo, por número, em que ficheiro.","oss-aion-refusal-fields.2fb8438f32":"A localização","oss-aion-reviewable.e0cb1b89aa":"não apenas o autor","oss-aion-reviewable.f29c4ff9dd":"o proprietário revê-o","oss-aion-reviewable.c6465865b0":"a sua frase","oss-aion-reviewable.ed6912ad70":"REVISÃO","oss-aion-reviewable.5867cc6bd5":"sem aprender notação","oss-aion-reviewable.8f8dec6da0":"O que um revisor vê","oss-aion-reviewable.da8643122f":"Um nome, uma data e a versão da frase confirmada.","oss-aion-reviewable.7c92afb7f9":"Uma confirmação assinada","oss-aion-reviewable.340e6b4675":"Uma revisão repetida lê o mesmo, porque nada amostrou um modelo.","oss-aion-reviewable.b08be2b959":"O mesmo sempre","oss-aion-reviewable.d3a2628a1c":"Cada quantidade nomeada, com o tipo de valor que contém.","oss-aion-reviewable.2587914ff8":"Sobre o que opera","oss-aion-reviewable.f0a2aa51a4":"Uma frase que diz o que toda a condição codifica.","oss-aion-reviewable.5a47a1dcaf":"Uma leitura simples","oss-aion-reviewable.aee2d461c7":"Inalterada, no topo, como a escreveram.","oss-aion-reviewable.7488358db7":"A sua própria frase","oss-aion-risk-ledger.1a0f2538e1":"Cinco exposições operacionais substituídas por um certificado que outro verificador pode confirmar.","oss-aion-risk-ledger.4b32d8f574":"Com AION","oss-aion-risk-ledger.2e34d48ba3":"A forma habitual","oss-aion-risk-ledger.d1d7499182":"PESADOS LADO A LADO","oss-aion-risk-ledger.02c7234156":"Reveja o raciocínio offline e confirme-o por si.","oss-aion-risk-ledger.b5058e1c76":"Acredite na palavra do fornecedor de que a resposta era sólida.","oss-aion-risk-ledger.d2e183faa1":"Quanto confiar nisso","oss-aion-risk-ledger.96f0603563":"O certificado verifica sem nenhum deles.","oss-aion-risk-ledger.04312971f3":"O modelo original, a sessão do solver e o serviço têm de continuar disponíveis.","oss-aion-risk-ledger.2df1215b19":"Do que depende a verificação","oss-aion-risk-ledger.8ddd34c358":"Funciona no seu próprio hardware, dentro de uma jurisdição que aprova.","oss-aion-risk-ledger.c3fe4a906f":"As decisões são explicadas em servidores que não controla.","oss-aion-risk-ledger.242ebe0c39":"Onde ficam os dados","oss-aion-risk-ledger.75eb05728b":"Os formatos de prova padrão continuam verificáveis de forma independente.","oss-aion-risk-ledger.46d3f9eccd":"A explicação desaparece com o serviço original.","oss-aion-risk-ledger.8ea6189e84":"Quando o runtime muda","oss-aion-risk-ledger.21ff58d6a7":"Entrega um certificado que o auditor pode verificar por si.","oss-aion-risk-ledger.934929b924":"Encaminha ficheiros de registo e espera que sejam lidos como evidência.","oss-aion-risk-ledger.8632e0b3b5":"Quando o auditor pergunta","oss-aion-rule-refusal.c354dff2de":"sem veredicto após 15","oss-aion-rule-refusal.0fc2b67ff7":"no primeiro, um passo falha","oss-aion-rule-refusal.d7cb461a4b":"Quatro testes numa ordem fixa, e a leitura para","oss-aion-rule-refusal.ad9deadf27":"um identificador de cláusula usado para duas cláusulas","oss-aion-rule-refusal.ffc05ba511":"um pivô declarado num literal que a cláusula não contém","oss-aion-rule-refusal.5af32fb7c4":"uma dica que cita o passo que deveria justificar","oss-aion-rule-refusal.fbf5522f0e":"fixado a partir da suíte hostil","oss-aion-rule-refusal.d3b27b8f89":"não fechou","oss-aion-rule-refusal.0f04e9ee60":"literais ainda de pé na última cláusula","oss-aion-rule-refusal.90f9cbf1cb":"fim do ficheiro","oss-aion-rule-refusal.196a925493":"índice da premissa, de 1 a 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, regra por regra","oss-aion-rule-refusal.b14e7fc954":"parado em 15","oss-aion-rule-refusal.ce0ed8058b":"Uma prova, lida do topo","oss-aion-rule-refusal.af0cbd46a2":"citado fora de ordem","oss-aion-rule-refusal.165a394589":"de 61 e 20","oss-aion-rule-refusal.dd39474e4f":"premissa ausente","oss-aion-rule-refusal.6edfd31763":"de 88","oss-aion-rule-refusal.d18b697772":"cita-se a si mesmo","oss-aion-rule-refusal.5c7bf112ac":"de 31 e 18","oss-aion-rule-refusal.64b0295aa0":"regra não suportada","oss-aion-rule-refusal.5e2428fc82":"de 14","oss-aion-rule-refusal.a7e8697338":"de 12 e 13","oss-aion-rule-refusal.ba08b53848":"de 4","oss-aion-rule-refusal.2a1be725ca":"resolução 12","oss-aion-rule-refusal.54a0121f57":"de 4 e 9","oss-aion-rule-refusal.8ffe1b4177":"regra conhecida","oss-aion-rule-refusal.ebed34abd2":"abaixo da sua própria","oss-aion-rule-refusal.d182b65e15":"premissa presente","oss-aion-rule-refusal.a503bc1da2":"recusado","oss-aion-rule-refusal.3a21295d81":"armazenar","oss-aion-same-except-one.279e6c9e96":"um é trabalhado abaixo","oss-aion-same-except-one.87ca0e7356":"limites, derivações e proveniência do modelo completam os sete","oss-aion-same-except-one.72b459f8cc":"PROPRIEDADES","oss-aion-same-except-one.25119f6e70":"e a família que carrega cada um","oss-aion-same-except-one.ed6552be04":"Declarações que pode fazer","oss-aion-same-except-one.633255fe41":"Esta trajetória respeitou estes invariantes.","oss-aion-same-except-one.6b403d2a35":"Esta ação teve a aprovação necessária.","oss-aion-same-except-one.ac5d8ada02":"Esta carga de trabalho foi executada sob estas capacidades.","oss-aion-same-except-one.5e8efc64f2":"Este binário corresponde a este grafo de origem.","oss-aion-same-except-one.81c0e8e986":"simulação","oss-aion-same-except-one.92fe1455a7":"organizacional","oss-aion-same-except-one.1e21474598":"execução","oss-aion-same-except-one.023646ce84":"compilação","oss-aion-same-rule-parts.3326352b94":"estes três duram mais do que isso","oss-aion-same-rule-parts.b33174d833":"a resposta é uma linha","oss-aion-same-rule-parts.490fbefa4b":"entregar o mesmo trabalho duas vezes e a verificação dá o mesmo","oss-aion-same-rule-parts.ce173fc797":"Guardado para uma segunda verificação.","oss-aion-same-rule-parts.60c6fa6f09":"a resposta","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"depois de a resposta chegar","oss-aion-same-rule-parts.3fea5c7183":"Três coisas que guarda","oss-aion-same-rule-parts.f460809c86":"Quando o trabalho foi verificado e o que o verificou.","oss-aion-same-rule-parts.1f26226511":"o registo","oss-aion-same-rule-parts.f3488c72aa":"A data","oss-aion-same-rule-parts.7e9a6ac9d7":"A regra citada, com a sua própria situação lá dentro.","oss-aion-same-rule-parts.fa1f96a2cc":"impresso com a resposta","oss-aion-same-rule-parts.a7dc07c061":"A razão","oss-aion-same-rule-parts.51240e4e03":"Palavras comuns, mantidas, para poder ler em voz alta a qualquer pessoa.","oss-aion-same-rule-parts.f901c543a0":"como alguém o escreveu","oss-aion-same-rule-parts.0056e788fc":"A regra","oss-aion-same-rule-thrice.8716c9d2d1":"citável por todos os três","oss-aion-same-rule-thrice.56daaad027":"Ninguém interpretou o caso de ninguém no momento.","oss-aion-same-rule-thrice.fe8d9a24bc":"Três nomes, três datas, uma razão palavra por palavra.","oss-aion-same-rule-thrice.2d4e5d243a":"as mesmas palavras nas três cartas","oss-aion-same-rule-thrice.36c5f05f0e":"O meu pedido foi retido porque qualquer pedido de uma conta que já tenha estado a descoberto\n              é retido para uma segunda verificação. Era isso que pretendia que fizesse?","oss-aion-same-rule-thrice.47b69ccfd4":"o que qualquer um dos três pode escrever","oss-aion-same-rule-thrice.5441126254":"a razão, com os seus números","oss-aion-same-rule-thrice.e026ce35f8":"a regra, por palavras","oss-aion-same-rule-thrice.c6b6fdf0c8":"O seu pedido é retido","oss-aion-same-rule-thrice.4af8028f5b":"Isso afeta todos os que estiveram a descoberto durante uma semana.","oss-aion-same-rule-thrice.43d7f6edd9":"Qualquer pedido de uma conta que já tenha estado a descoberto é retido para uma segunda verificação.","oss-aion-same-rule-thrice.d5dff79fd0":"a regra, como a pessoa responsável a escreveu","oss-aion-same-rule-thrice.660cf69152":"mesma razão, três vezes","oss-aion-same-rule-thrice.2aa5baf4fa":"uma regra, três pessoas","oss-aion-same-rule-thrice.2969c22def":"a descoberto durante um dia em agosto de 2024","oss-aion-same-rule-thrice.db55a373e5":"2 de julho","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"a descoberto durante dois dias em novembro de 2021","oss-aion-same-rule-thrice.8a343dea89":"19 de junho","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"a descoberto durante seis dias em março de 2023","oss-aion-same-rule-thrice.e46936527e":"4 de junho","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"A sua conta esteve a descoberto em algum momento, por isso este pedido é retido para uma segunda verificação.","oss-aion-same-rule-thrice.69449f994d":"ref","oss-aion-same-rule-thrice.910e029098":"ilustrativo","oss-aion-second-reader.e2a4a212d5":"apontar para a linha é a parte útil","oss-aion-second-reader.b31aece7ea":"o acordo é fácil","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"o que a segunda leitura faz","oss-aion-second-reader.d160172930":"Somando novamente","oss-aion-second-reader.0bd3d42b28":"Um programa diferente, sem razão para preferir a resposta.","oss-aion-second-reader.2c814bb70c":"Não é a primeira máquina","oss-aion-second-reader.b792afd627":"E diz qual o passo, para haver algo para apontar.","oss-aion-second-reader.4a195096b0":"Para no primeiro erro","oss-aion-second-reader.58f56fa2c3":"Volta a calcular em vez de confiar que foi feito.","oss-aion-second-reader.5abf0b9df4":"Faz cada passo","oss-aion-second-reader.de8f44bd3b":"Não é a resposta. São os passos que deveriam levar a ela.","oss-aion-second-reader.0a461499ae":"Lê o raciocínio","oss-aion-second-sum.2517e33359":"um lugar, não um veredito","oss-aion-second-sum.1f31706279":"O que precisavas era da linha, e ali está ela.","oss-aion-second-sum.1b06fb1625":"Ambas as colunas chegam a um total, e uma delas está errada.","oss-aion-second-sum.715f45331b":"A leitura para em cinco em vez de continuar até seis, porque uma verificação que salta um passo que não consegue fazer bater não é uma verificação.","oss-aion-second-sum.be51277bfd":"não alcançado","oss-aion-second-sum.a90d766915":"este passo não bate","oss-aion-second-sum.b214ae4ce2":"a mesma jogada, numa máquina que escreveu","oss-aion-second-sum.e4cddfd229":"Qualquer pessoa pode somar a coluna por si e chegar à mesma linha. Essa é a ideia toda, transportada para um trabalho que ninguém consegue ver.","oss-aion-second-sum.a72b4463ba":"As duas colunas concordam durante três linhas. O anel rodeia a linha onde se separam, não o total, porque o total nunca foi a coisa útil para discutir.","oss-aion-second-sum.136fc39d05":"Dez cêntimos, e está nas maçãs.","oss-aion-second-sum.1104f28cf8":"a pagar","oss-aion-second-sum.51111a2b99":"a loja, terça-feira","oss-aion-second-sum.e9594ccf76":"separam-se nas maçãs","oss-aion-second-sum.bb470fd83f":"a mesma coluna, somada duas vezes","oss-aion-second-sum.0220a293b9":"o pedido é pago","oss-aion-second-sum.f7e5a74a1f":"o que falta pagar soma","oss-aion-second-sum.597b954c29":"o excesso foi retirado","oss-aion-second-sum.edccd745a8":"o montante está abaixo do limite para essa reparação","oss-aion-second-sum.709d0bb348":"a reparação está na lista coberta","oss-aion-second-sum.1396b1459a":"a conta estava aberta no dia do pedido","oss-aion-second-sum.d2fc512490":"lápis","oss-aion-second-sum.1c8f15dab7":"impresso","oss-aion-second-sum.910e029098":"ilustrativo","oss-aion-second-sum.f6c1ab8181":"sabão","oss-aion-second-sum.bcef7a0462":"queijo","oss-aion-second-sum.76c2436b59":"maçãs","oss-aion-second-sum.44213f9f4d":"café","oss-aion-second-sum.6ff291d817":"pão","oss-aion-second-sum.cf5dbf0ec5":"leite","oss-aion-sentence-returns.e9a72f31df":"as tuas palavras, em ambas as extremidades","oss-aion-sentence-returns.254545287c":"Oito meses depois, um estranho está a lê-la, não um resumo dela.","oss-aion-sentence-returns.f0e71316de":"Uma pessoa escreveu uma frase e guardou-a.","oss-aion-sentence-returns.4c51f16cb4":"Nada entre estas duas leituras aprendeu algo, mudou de ideias ou teve uma\n            ideia melhor.","oss-aion-sentence-returns.06152533dc":"não é permitida uma segunda cobrança contra uma encomenda dentro de um mês de faturação","oss-aion-sentence-returns.fb3e6817f1":"da leitura um ano depois","oss-aion-sentence-returns.32af205ca5":"da leitura em março","oss-aion-sentence-returns.0b1eb314b5":"a mesma frase, lida novamente um ano depois","oss-aion-sentence-returns.547a49e160":"a encomenda 44-8127 foi cobrada a três de novembro e novamente a dezanove","oss-aion-sentence-returns.d3141af6d8":"o que colidiu com ela","oss-aion-sentence-returns.a2d40412ef":"uma segunda cobrança contra uma encomenda dentro de um mês de faturação","oss-aion-sentence-returns.0ee2593cc5":"a parte que não foi cumprida","oss-aion-sentence-returns.43015fadc4":"Ninguém deve ser cobrado duas vezes pela mesma encomenda no mesmo mês.","oss-aion-sentence-returns.2ce9eb0823":"a regra, nas palavras em que foi escrita","oss-aion-sentence-returns.5c4173fbcf":"9 de novembro, enviada ao cliente","oss-aion-sentence-returns.96ec36f99b":"Uma cobrança foi interrompida","oss-aion-sentence-returns.14da1cff14":"oito meses","oss-aion-sentence-returns.b59f623fe2":"lida como","oss-aion-sentence-returns.6a250da793":"14 de março, pela pessoa responsável pela faturação","oss-aion-sentence-returns.8766d15f20":"as mesmas palavras em ambas as extremidades","oss-aion-sentence-returns.33e656aa3a":"uma frase, com oito meses de intervalo","oss-aion-sentence-returns.6180960e2c":"escrita","oss-aion-sentence-returns.910e029098":"ilustrativo","oss-aion-side-by-side-rule.1462946510":"hierarquia invertida","oss-aion-side-by-side-rule.dc685ee970":"é o conjunto mais pequeno, na base.","oss-aion-side-by-side-rule.37ba9a07a7":"A única linha aqui que ninguém precisa de conseguir ler","oss-aion-side-by-side-rule.24205c8d5e":"O corpo desta folha é o que foi pedido.","oss-aion-side-by-side-rule.136ec48046":"versão 3 da frase","oss-aion-side-by-side-rule.5714c84617":"9 de abril de 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, operações de faturação","oss-aion-side-by-side-rule.4c1493cdf2":"a condição tal como está armazenada","oss-aion-side-by-side-rule.5050bceb24":"aquilo sobre o que opera","oss-aion-side-by-side-rule.70a7ded724":"É recusada uma segunda cobrança contra uma referência já cobrada dentro do período de faturação.","oss-aion-side-by-side-rule.decbbbcbea":"Nenhum cliente pode ser cobrado duas vezes pela mesma referência num período de faturação.","oss-aion-side-by-side-rule.41f5b5d765":"sem notação necessária","oss-aion-side-by-side-rule.fd9d8f9d79":"confirmado pelo proprietário","oss-aion-side-by-side-rule.dbd8504696":"folha de revisão","oss-aion-side-by-side-rule.b714510ded":"quantas vezes esta referência já foi cobrada","oss-aion-side-by-side-rule.71aa03cd23":"a contagem de cobranças","oss-aion-side-by-side-rule.8f404d9e59":"o mês em que a cobrança ocorre","oss-aion-side-by-side-rule.28db3c4a10":"o período de faturação","oss-aion-side-by-side-rule.7bbf8d007a":"o identificador contra o qual uma cobrança é feita","oss-aion-side-by-side-rule.333190a7a5":"a referência","oss-aion-silent-wrong.e516f1474a":"passo 40, regra desconhecida","oss-aion-silent-wrong.52c4b2ffb7":"onde parou","oss-aion-silent-wrong.bdc9060b3b":"Oito execuções devolveram oito palavras. Só a que registou o seu trabalho\n          pode dizer","oss-aion-silent-wrong.dc3fb44cee":"uma recusa nomeia uma linha","oss-aion-silent-wrong.d55eb7e866":"Este leitor não tem nenhuma regra com esse nome no passo 40, por isso parou aí. O\n            carimbo nunca foi aplicado e nenhum veredito foi emitido.","oss-aion-silent-wrong.d04a61e19e":"o que a leitura produziu","oss-aion-silent-wrong.b31f1a6015":"alethe, passos 38 em diante","oss-aion-silent-wrong.74cb6750e3":"uma delas, escrita por extenso","oss-aion-silent-wrong.c9266795e0":"oito sistemas, oito resultados","oss-aion-silent-wrong.d7d4ae123f":"ilustrativo, uma execução de oito","oss-aion-silent-wrong.3c05b129e2":"nenhum veredito emitido","oss-aion-silent-wrong.c6dc61d79f":"Oito palavras, uma delas aberta","oss-aion-silent-wrong.64494819a0":"premissa 40, a cláusula vazia","oss-aion-silent-wrong.9dae957efd":"premissa 39","oss-aion-silent-wrong.52e787751c":"premissas 31 e 38","oss-aion-silent-wrong.36901d48ad":"premissas 12 e 31","oss-aion-silent-wrong.e00bcd7ac6":"fluxo de trabalho aprovado","oss-aion-silent-wrong.fd40251b0b":"simulação convergiu","oss-aion-silent-wrong.9204d100a8":"política aprovada","oss-aion-silent-wrong.51c817ab85":"aceite","oss-aion-silent-wrong.4d64c22879":"refazer","oss-aion-silent-wrong.94ec44c4f4":"acreditar","oss-aion-silent-wrong.4848901b39":"ótimo","oss-aion-silent-wrong.bf31c52c32":"seguro","oss-aion-silent-wrong.231e564db4":"concluído","oss-aion-silent-wrong.bac2ad9d5d":"compilado","oss-aion-silent-wrong.d203c40ac4":"insatisfazível","oss-aion-sim-cert.d836eab67a":"validade física não é","oss-aion-sim-cert.8f9800edbe":"a conformidade e as propriedades são verificadas aqui","oss-aion-sim-cert.d982b6fdda":"se o modelo representa o mundo fica com o proprietário do modelo","oss-aion-sim-cert.c27ccdf78d":"validade física","oss-aion-sim-cert.99c6aa48cb":"não respondido em lado nenhum","oss-aion-sim-cert.e4125aa830":"as propriedades declaradas mantêm-se ao longo da execução, ou o rastreio volta","oss-aion-sim-cert.24fa71fdd6":"verificações de invariantes","oss-aion-sim-cert.82ffe3f79b":"o modelo, os parâmetros e a configuração declarados produziram esta trajetória","oss-aion-sim-cert.8c30aa1c6e":"conformidade de execução","oss-aion-sim-cert.790f468e4d":"respondido aqui","oss-aion-sim-cert.f6bceb137b":"TWIN E FMI","oss-aion-sim-cert.cf2b82cb4f":"modelo para trajetória","oss-aion-sim-cert.a7b63abc02":"O que o certificado contém","oss-aion-sim-cert.07ecfba93e":"trajetória e estado","oss-aion-sim-cert.6874c92610":"sequência de eventos","oss-aion-sim-cert.e77c056cdc":"parâmetros e estado inicial","oss-aion-sim-cert.720a1e14e6":"identidade do modelo e do FMU","oss-aion-source-to-artefact.ce10986f79":"Da origem ao certificado","oss-aion-source-to-artefact.c1ce053887":"nomeado, não genérico","oss-aion-source-to-artefact.75a0766041":"Uma alegação genérica não poderia ter falhado em lado nenhum.","oss-aion-source-to-artefact.b5e1e87d48":"Três alegações nomeadas, e a que falha nomeia a passagem em que falha.","oss-aion-source-to-artefact.8732c432be":"Que cada passagem na sequência está correta em geral. Nenhum certificado aqui diz que um\n                compilador é bom, e nenhum deles tem de o dizer.","oss-aion-source-to-artefact.64d8424b5b":"o que não afirma","oss-aion-source-to-artefact.302df26f74":"grafo de origem","oss-aion-source-to-artefact.e95689d184":"à implementação de referência, no domínio de entrada declarado","oss-aion-source-to-artefact.0ca9407ef6":"equivalente ao núcleo","oss-aion-source-to-artefact.5e68638068":"a preservação de forma declarada não se verifica nesta passagem para o domínio de entrada\n                    dado","oss-aion-source-to-artefact.ab2050f59e":"formas de tensor preservadas","oss-aion-source-to-artefact.213addbd25":"através de canonicalização e fusão, para cada tipo declarado","oss-aion-source-to-artefact.9deae195e3":"tipos preservados","oss-aion-source-to-artefact.2297843111":"nível de otimização 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"alegação de forma recusada","oss-aion-source-to-artefact.2fa9505626":"artefacto","oss-aion-source-to-artefact.910e029098":"ilustrativo","oss-aion-source-to-artefact.9f939ff8a4":"seleção de núcleo","oss-aion-sovereignty.0fe4587501":"A verificação permanece onde a evidência é armazenada: junto ao sistema produtor, dentro de um serviço de revisão ou num arquivo isolado.","oss-aion-sovereignty.2d7bdcb19f":"As suas decisões permanecem sob o seu controlo.","oss-aion-sovereignty.9426b99215":"Soberania digital","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe e o formato unificado mantêm os certificados verificáveis de forma independente para além do runtime original.","oss-aion-sovereignty.25c4717a63":"Formatos de prova portáteis","oss-aion-sovereignty.d99f32de40":"Verificar uma prova funciona totalmente offline. Não depende de um serviço remoto que possa alterar os seus termos ou desaparecer.","oss-aion-sovereignty.34ebf0117d":"Sem dependência externa","oss-aion-sovereignty.44a8a39a30":"Dentro do seu próprio centro de dados ou numa região à sua escolha. O raciocínio por detrás de uma decisão nunca tem de cruzar uma fronteira que não aprovou.","oss-aion-sovereignty.331242fd64":"Funciona onde escolher","oss-aion-sovereignty.599b928605":"A AION é construída na Europa, e o seu verificador pode permanecer dentro da mesma fronteira europeia que as decisões que verifica.","oss-aion-sovereignty.45f9bdf22b":"Europeia por origem","oss-aion-split-parts.cc0d7be136":"e um enclave não muda nada","oss-aion-split-parts.a2fb24de32":"a compilação predefinida não tem cliente de saída","oss-aion-split-parts.ffd75a18c4":"IMPLEMENTAR","oss-aion-split-parts.91f8c088aa":"e o que cada um precisa","oss-aion-split-parts.758bd7cc2a":"Quatro formas de o executar","oss-aion-split-parts.400bd9a040":"Dividido entre máquinas e composto apenas após uma verificação de cobertura.","oss-aion-split-parts.bb3d98dfee":"Distribuído","oss-aion-split-parts.74da65bc96":"Dentro do seu limite, em endereços que define você mesmo.","oss-aion-split-parts.664046e78a":"Um serviço","oss-aion-split-parts.ce2ab3edc4":"Aponte-o para um certificado. Nada mais precisa de estar em execução.","oss-aion-split-parts.a7218c8eca":"Um comando","oss-aion-split-parts.eefb3bac5d":"Ligado ao seu próprio processo. Pergunte e responda, sem escrever ficheiros.","oss-aion-split-parts.fa66edb7bd":"Uma biblioteca","oss-aion-stays-here.e3e08ad140":"nada saiu da sala","oss-aion-stays-here.18ab547f60":"Essa folha em branco é toda a alegação.","oss-aion-stays-here.907d22f7f0":"Nada é desenhado entre a caixa e as três coisas ao lado dela.","oss-aion-stays-here.001b06036c":"não nesta imagem","oss-aion-stays-here.8c84675037":"uma ligação a outra máquina na mesma organização, desligada até que alguém a configure de\n              propósito","oss-aion-stays-here.e3527ba222":"A resposta chega com a linha em baixo, porque a linha nunca fez parte dela.","oss-aion-stays-here.caf3a041c8":"O atraso foi de setenta e cinco minutos, que é mais de uma hora, por isso a reserva é\n                cancelada e o valor da tarifa volta para o cartão de onde veio.","oss-aion-stays-here.7296ef48e5":"o que voltou","oss-aion-stays-here.395ee2333f":"cancelar termina a reserva e devolve a tarifa","oss-aion-stays-here.46d2008236":"uma hora significa sessenta minutos, sem arredondamentos","oss-aion-stays-here.2fd4fcb567":"um atraso é contado a partir da hora impressa no bilhete","oss-aion-stays-here.f5b422b60e":"as regras escritas contra as quais é lido","oss-aion-stays-here.ee04bc3b23":"Só cancela a minha reserva se o atraso for superior a uma hora.","oss-aion-stays-here.af5509db2b":"o que escreveste","oss-aion-stays-here.3cbd68d678":"a máquina à tua frente","oss-aion-stays-here.531aa138ac":"respondido sem sair","oss-aion-stays-here.fb23ddcc1c":"uma pergunta, um lugar","oss-aion-stays-here.96ccbc62ab":"as tuas palavras não são algo que outra pessoa recebe","oss-aion-stays-here.1b215d440d":"uma máquina noutro lugar a ler a tua frase","oss-aion-stays-here.b5a5c63d23":"nenhuma coisa externa tem de estar a funcionar para a resposta chegar","oss-aion-stays-here.b5c483d9d9":"um serviço que tem de estar disponível","oss-aion-stays-here.fa287ade3d":"nada pergunta quem és, porque nada precisa de saber","oss-aion-stays-here.d5a3ef8b78":"uma conta para iniciar sessão","oss-aion-stays-here.910e029098":"ilustrativo","oss-aion-stays-here-list.56a6e8f9a7":"e nada para entregar","oss-aion-stays-here-list.57eef35c96":"sem espera","oss-aion-stays-here-list.a64eab5744":"aquilo por que espera","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"e aquilo por que nunca espera","oss-aion-stays-here-list.13591491d9":"Em que corre","oss-aion-stays-here-list.1458464f09":"Nada a que aderir, portanto nada de que ser cliente.","oss-aion-stays-here-list.257fa99e08":"Sem conta","oss-aion-stays-here-list.b165f2d684":"A sua frase é lida contra regras, na mesma sala que você.","oss-aion-stays-here-list.37a25e4e99":"Regras escritas","oss-aion-stays-here-list.7ee33f1c7a":"O trabalho acontece onde você está, e ninguém mais tem de estar a correr.","oss-aion-stays-here-list.d3612f57d8":"A máquina em que está","oss-aion-supplier-answer.6d6ddcd4c1":"uma declaração, quatro linhas em branco","oss-aion-supplier-answer.a5d36ba87c":"Nenhuma das quatro perguntas é respondida em qualquer parte do documento.","oss-aion-supplier-answer.d09481b0a5":"Cada palavra nele é verdadeira e alguém o assinou.","oss-aion-supplier-answer.cec9b36162":"14 de março de 2026","oss-aion-supplier-answer.22715d5cb9":"A configuração submetida em 12 de março de 2026 foi verificada como livre de conflitos.","oss-aion-supplier-answer.1e0a1891e8":"ref SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"certificado de conformidade","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"quatro sem resposta","oss-aion-supplier-answer.910e029098":"ilustrativo","oss-aion-supplier-answer.f86e5cfb14":"Continuaria válido após a alteração de terça-feira?","oss-aion-supplier-answer.bbe7a72e5a":"Com base em que dados, e em que quantidade?","oss-aion-supplier-answer.c25776701b":"Contra que versão do nosso conjunto de regras?","oss-aion-supplier-answer.84d9ed92b5":"Que condições foram efetivamente verificadas?","oss-aion-theory-matrix.ac8d77d669":"Proposicional","oss-aion-theory-matrix.3d52a6d8fe":"Lógica","oss-aion-theory-matrix.42f3aff840":"Satisfatibilidade booleana com aprendizagem de cláusulas orientada por conflitos. O ponto de partida para todas as outras teorias.","oss-aion-theory-matrix.6078532ab2":"Quantificadores","oss-aion-theory-matrix.02f664dd36":"Lógica de primeira ordem com instanciação baseada em modelos. Raciocina sobre forall e exists sobre os tipos suportados.","oss-aion-theory-matrix.49167dbc57":"Aritmética linear","oss-aion-theory-matrix.45f053dc73":"Aritmética","oss-aion-theory-matrix.876aafb6c1":"Aritmética linear inteira e entrada de valores reais numa escala declarada. Internamente, o verificador utiliza valores inteiros ou de ponto fixo adaptativos.","oss-aion-theory-matrix.b618fadea3":"Não linear","oss-aion-theory-matrix.fd99188844":"Aritmética inteira não linear e entrada de valores reais numa escala declarada. O verificador utiliza valores inteiros ou de ponto fixo adaptativos, nunca valores de vírgula flutuante.","oss-aion-theory-matrix.d11f66aff2":"Entrada de vírgula flutuante","oss-aion-theory-matrix.19080aec82":"A entrada IEEE 754 é aceite apenas na fronteira e depois descodificada em campos binários antes da verificação. Nenhum valor de vírgula flutuante é armazenado, acumulado ou calculado internamente.","oss-aion-theory-matrix.914807cdef":"Bitvectors","oss-aion-theory-matrix.e5e429bcc9":"Dados","oss-aion-theory-matrix.23c278d5ca":"Palavras binárias de largura fixa com semântica de overflow. Para verificação de hardware e verificação de protocolos binários.","oss-aion-theory-matrix.b90cc9bfd2":"Arrays","oss-aion-theory-matrix.eac25fcfc6":"Teoria de arrays com axiomas de select e store. Os fragmentos decidíveis são monitorizados explicitamente.","oss-aion-theory-matrix.3816c4beac":"Strings","oss-aion-theory-matrix.8e5a47db7d":"Equações de palavras, restrições de comprimento e pertença a expressões regulares sobre strings.","oss-aion-theory-matrix.0efe5fd2a3":"Temporal","oss-aion-theory-matrix.ab14d0a7db":"Programas","oss-aion-theory-matrix.12dfdaf96a":"crate companheiro","oss-aion-theory-matrix.dd600bd946":"Fragmentos de lógica temporal linear e ramificada para raciocinar sobre comportamento ao longo do tempo.","oss-aion-theory-matrix.bb8c6ec608":"Probabilístico","oss-aion-theory-matrix.042a4dc40b":"Raciocínio probabilístico sobre programas, incluindo inferência de estilo Datalog probabilístico.","oss-aion-theory-matrix.1e1837d4e8":"Concorrente","oss-aion-theory-matrix.60e30b1d8e":"Raciocínio sobre programas concorrentes e os interleavings que os seus threads podem produzir.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"cobertura de teorias","oss-aion-theory-matrix.4329e5da7b":"11 domínios lógicos","oss-aion-theory-matrix.dc1baa8539":"kernel + companheiros","oss-aion-theory-matrix.5b1e898fc0":"Teoria","oss-aion-theory-matrix.cd89376f98":"Vive em","oss-aion-theory-matrix.df1e1e1732":"Onze teorias, cada raciocinador produzindo passos que o emissor de provas pode registar e um verificador pode reproduzir.","oss-aion-theory-matrix.36ce8cbd4c":"PROP a CONCUR","oss-aion-three-questions.381a478392":"Duas respostas, um limite","oss-aion-three-questions.b695e87b19":"duas respondidas, uma possuída","oss-aion-three-questions.9f5234300d":"A terceira pergunta não é nossa, e dizê-lo é o que torna as duas primeiras válidas.","oss-aion-three-questions.8149763299":"A conformidade mantém-se, um invariante falha com o seu rasto.","oss-aion-three-questions.5974dafe20":"a porta está desenhada tão solidamente como a parede","oss-aion-three-questions.392d2df212":"O proprietário do modelo detém essa pergunta, e detém-na permanentemente. Nenhum certificado aqui a toca, e nenhum deles a implica silenciosamente.","oss-aion-three-questions.c27ccdf78d":"validade física","oss-aion-three-questions.dbbe530d6c":"este modelo representa o mundo real","oss-aion-three-questions.44b8fe96f9":"passo 1 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"contraexemplo, ampliado e aumentado","oss-aion-three-questions.ed4bde3030":"a pressão do circuito permanece abaixo de 8 bar","oss-aion-three-questions.4676659f50":"a válvula de bypass nunca abre duas vezes no mesmo passo","oss-aion-three-questions.045757b8af":"a temperatura de retorno permanece abaixo de 95 °C","oss-aion-three-questions.24fa71fdd6":"verificações de invariantes","oss-aion-three-questions.846ee97ae5":"os invariantes declarados mantêm-se ao longo de toda a execução","oss-aion-three-questions.17f80cae31":"A execução reproduz-se a partir do que o certificado declara.","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":"tolerância 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"passo 0,01 s","oss-aion-three-questions.8c30aa1c6e":"conformidade de execução","oss-aion-three-questions.b3c58a82bd":"o modelo e a configuração declarados produziram esta trajetória","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":"modelo e FMU","oss-aion-three-questions.b697dd615a":"dois de três","oss-aion-three-questions.f14f15b304":"trajetória","oss-aion-three-questions.f1f1425b65":"parâmetros","oss-aion-three-questions.910e029098":"ilustrativo","oss-aion-three-readings.41d8442e84":"as leituras e as suas confianças são da AION, a escolha é sua, e fica registada","oss-aion-three-readings.42e8a93311":"três leituras, uma decisão, e tem um autor","oss-aion-three-readings.62b4619c99":"uma contagem que não pode ficar abaixo de zero","oss-aion-three-readings.48a15f3a18":"um número inteiro abaixo de cinco","oss-aion-three-readings.ae3925651e":"retries é um número inteiro, uma contagem, ou qualquer valor?","oss-aion-three-readings.dffe60eb6a":"pergunta colocada","oss-aion-three-readings.fb76182a92":"perguntado, não assumido","oss-aion-three-readings.8c3f96fa33":"Retries tem de ser abaixo de cinco","oss-aion-three-readings.e9be13f9ec":"A AION levanta a ambiguidade em vez de a resolver. Nomeia o tipo de ambiguidade,\n          lista as leituras com a confiança que cada uma carrega e a condição que cada uma\n          imporia, e coloca uma pergunta que nomeia a variável em questão. A decisão continua\n          a pertencer a uma pessoa. O que muda é que é tomada uma vez, para registo, por quem\n          é responsável pelo requisito, em vez de por quem estava a fazer a conversão.","oss-aion-three-readings.f26c9b4ff8":"Abaixo de cinco tentativas, contadas como inteiras. Ou abaixo de cinco\n          onde quatro e meio é um valor legítimo. Ou uma contagem que também não pode ficar\n          abaixo de zero. São três regras diferentes e a diferença acaba por aparecer como\n          incidente. Na forma habitual de trabalhar, uma delas foi escolhida por quem fez a\n          tradução, numa quinta-feira, sem dizer a ninguém.","oss-aion-three-readings.7b5121a8f0":"\"Retries tem de ser abaixo de cinco.\"","oss-aion-three-readings.ffe5d68fe6":"Alguém escolheu uma.","oss-aion-three-readings.55b8b0b398":"A sua frase tinha duas leituras.","oss-aion-three-readings.2d1501c7e4":"A decisão silenciosa que ninguém tomou","oss-aion-three-readings.bec998cdfe":"qualquer número, incluindo quatro e meio","oss-aion-time-left.88430838dd":"nada que apanhe alguém de surpresa","oss-aion-time-left.227b19b5aa":"Só ficou mais pequeno, diante de alguém que ainda podia agir sobre isso.","oss-aion-time-left.ac61a8b97d":"O número estava lá no oitavo dia e nunca ficou mais alto.","oss-aion-time-left.0703308f0f":"Não há alarme nesta folha e nada ficou vermelho. Cada uma destas é a\n          mesma frase a ser lida em dias diferentes.","oss-aion-time-left.6222c927fd":"Vai para a pessoa que aprova respostas tardias, com a data, e ela responde-te.","oss-aion-time-left.4dfda36be9":"14 dias passados","oss-aion-time-left.d5f128da73":"a resposta era devida no dia dezasseis","oss-aion-time-left.58cdff89f9":"um pedido diferente, lido depois da data","oss-aion-time-left.6a7651b700":"trinta dias depois de pedires","oss-aion-time-left.813d27411f":"a resposta é devida","oss-aion-time-left.d8b0301347":"pediste uma cópia do que têm sobre ti","oss-aion-time-left.4c3d95bf6a":"o pedido","oss-aion-time-left.795bcac29d":"faltam quatro dias hoje","oss-aion-time-left.56ff55acfb":"um prazo, lido quatro vezes","oss-aion-time-left.acafbd7541":"liga-lhes hoje","oss-aion-time-left.148b21034f":"faltam 4 dias","oss-aion-time-left.f165b88925":"insiste esta semana","oss-aion-time-left.b85bbd50bd":"faltam 8 dias","oss-aion-time-left.4a8b5bac9b":"ainda está bem","oss-aion-time-left.67f9059ac5":"faltam 14 dias","oss-aion-time-left.ca372a8fb7":"põe na agenda","oss-aion-time-left.16f29c69b8":"faltam 22 dias","oss-aion-time-left.910e029098":"ilustrativo","oss-aion-two-routes.89c24f999c":"o outro examina as provas","oss-aion-two-routes.3a5d844ae5":"uma via reproduz-las","oss-aion-two-routes.028a6cf2d7":"o certificado deles","oss-aion-two-routes.5c837ce426":"o sistema deles","oss-aion-two-routes.27f65e5e47":"o que precisa","oss-aion-two-routes.d0765bbac1":"COMPARAR","oss-aion-two-routes.91f8c088aa":"e o que cada um precisa","oss-aion-two-routes.8930c1c9b8":"Duas formas de ter a certeza","oss-aion-two-routes.d56d985300":"verificar","oss-aion-two-routes.e1fc5057de":"reproduzir","oss-aion-two-routes.b028b89ea7":"a assistência deles","oss-aion-two-routes.999464a52f":"não produzido","oss-aion-two-routes.9b9252883d":"o próprio certificado","oss-aion-two-routes.4dc537c80f":"a alegação, os dados de entrada e o contrato","oss-aion-two-routes.ad95c10298":"a versão exata e a máquina deles","oss-aion-two-routes.cfd05bd2f2":"a licença deles","oss-aion-value-grid.6cc3364a24":"Prova anexada","oss-aion-value-grid.4910ee0aea":"Evidência em cada resultado","oss-aion-value-grid.411bf64817":"O resultado e o seu certificado compacto viajam juntos, pelo que a evidência é criada quando a decisão é tomada, em vez de ser reconstruída durante a revisão.","oss-aion-value-grid.05f9c0dc34":"Verificado por outro motor","oss-aion-value-grid.eea79d1484":"Um verificador separado percorre o certificado contra as premissas originais. O modelo não pode avaliar a sua própria resposta.","oss-aion-value-grid.cbd17d59ba":"Formatos portáteis","oss-aion-value-grid.5e6cba1721":"A evidência sobrevive ao tempo de execução","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe e o formulário de prova unificado mantêm o certificado legível depois de um modelo, solver ou serviço ter mudado.","oss-aion-value-grid.a60bdd7985":"Verifica offline","oss-aion-value-grid.ebfb47f4ba":"Sem dependência em direto","oss-aion-value-grid.6144cbfcab":"Verificar uma prova não requer rede, conta ou ligação em direto a nós. Aquilo de que depende no momento da auditoria não tem dependência recorrente de um fornecedor.","oss-aion-value-grid.26ef011865":"Soberania da UE","oss-aion-value-grid.23672ea195":"Europeu, e seu para executar","oss-aion-value-grid.26e89e1455":"Construído na Europa e executável inteiramente em hardware que controla. As suas evidências e decisões nunca têm de sair de uma jurisdição que aprova.","oss-aion-value-grid.66ac329042":"Auditorias com risco reduzido","oss-aion-value-grid.9c8c22f54d":"Evidência que outra parte pode testar","oss-aion-value-grid.6572cc2be6":"Quando um regulador ou auditor pergunta como uma decisão foi alcançada, entrega um certificado que qualquer pessoa pode verificar, em vez de depender de uma promessa de fornecedor que não pode testar.","oss-aion-value-grid.6b5eb5323e":"Evidência de decisão","oss-aion-value-grid.870c4d024a":"Verificação independente","oss-aion-value-grid.93e2c4e5c4":"Comece com um caminho de decisão e mantenha o seu certificado durante a revisão.","oss-aion-value-grid.217fc9a42f":"certificado · verificador · arquivo","oss-aion-what-you-got.2b69c8154b":"e cada pergunta levanta uma","oss-aion-what-you-got.7f629c0e9f":"quatro coisas que recebe","oss-aion-what-you-got.7a9727c9f8":"verificável por si","oss-aion-what-you-got.bc1c663195":"o que recebe","oss-aion-what-you-got.0da9f51943":"OBSERVADO","oss-aion-what-you-got.8becd8f7be":"e o que resolve","oss-aion-what-you-got.7d3574bfa5":"O que um fornecedor entrega","oss-aion-what-you-got.0306f977ae":"Qual build o disse. Não o que verificou, nem como.","oss-aion-what-you-got.fd12863535":"não","oss-aion-what-you-got.7b0c210f52":"Um número de versão","oss-aion-what-you-got.f78a920a78":"A descrição do próprio processo, escrita por eles.","oss-aion-what-you-got.301941b624":"o relato deles","oss-aion-what-you-got.7591a35462":"Uma nota de método","oss-aion-what-you-got.5eec058df8":"Alguém responsabiliza-se pela palavra, não pelo raciocínio.","oss-aion-what-you-got.28fde2f659":"apenas o nome","oss-aion-what-you-got.7573daa505":"Uma assinatura","oss-aion-what-you-got.94ebda1bd3":"Seguro, viável, consistente. Uma palavra, sem funcionamento.","oss-aion-what-you-got.c99c8e4a9b":"Uma conclusão","oss-aion-where-it-runs.1ba0334f9f":"não há terceiro","oss-aion-where-it-runs.03e2311510":"configuras os dois","oss-aion-where-it-runs.076d156600":"nada dentro para configurar","oss-aion-where-it-runs.f16ac53550":"teu para configurar","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"e nada mais sai","oss-aion-where-it-runs.6cdd4e486a":"Dois limites configuráveis","oss-aion-where-it-runs.39616fc267":"Um programa que instalas, a correr como processo local.","oss-aion-where-it-runs.00bfadf39c":"Um provador externo","oss-aion-where-it-runs.801db3efcd":"Apenas os endereços que defines, e só depois de os definires.","oss-aion-where-it-runs.d296df3171":"Um cluster","oss-aion-where-it-runs.67204bf5d4":"sem rota","oss-aion-where-it-runs.91984fcc1b":"Um modelo alojado","oss-aion-where-it-runs.b8b252650e":"sem cliente nenhum","oss-aion-where-it-runs.ee39579eba":"A compilação predefinida","oss-aion-where-it-runs.d49fe2c403":"não instalado","oss-aion-where-you-meet-it.2a85ffb07a":"O lugar muda, a promessa não: uma razão que pode ler e uma verificação que qualquer pessoa pode fazer.","oss-aion-where-you-meet-it.9a8413cd88":"Nunca executará AION você mesmo. Estes são os tipos de lugares onde ele pode trabalhar silenciosamente para si.","oss-aion-where-you-meet-it.33fb502270":"Três momentos do dia a dia","oss-aion-where-you-meet-it.40e32f89eb":"Qualquer pessoa em quem confie pode verificar o comprovativo e confirmá-lo.","oss-aion-where-you-meet-it.03ef5e1328":"Quando um serviço público utiliza uma máquina para analisar o seu caso, tem direito a uma razão que possa ler e questionar.","oss-aion-where-you-meet-it.2390278256":"Um benefício ou formulário é verificado","oss-aion-where-you-meet-it.2e92ab22dd":"Num serviço público","oss-aion-where-you-meet-it.0bd84e3a14":"A razão fica registada por escrito, não presa dentro de um sistema.","oss-aion-where-you-meet-it.c4a1d64452":"Decisões financeiras tomadas por uma máquina podem parecer uma porta fechada. O comprovativo abre-a, em passos simples.","oss-aion-where-you-meet-it.e17885868a":"Um empréstimo ou reembolso é calculado","oss-aion-where-you-meet-it.5e45cf57a0":"No banco","oss-aion-where-you-meet-it.e2c536b2b3":"Pode pedir o comprovativo e mostrá-lo ao seu próprio médico.","oss-aion-where-you-meet-it.0b56f170bf":"Quando uma máquina tem influência no seu tratamento, deve poder ver a razão por detrás dela, não apenas o resultado.","oss-aion-where-you-meet-it.0332b7d1b7":"Um computador ajuda a decidir o seu tratamento","oss-aion-where-you-meet-it.4046c6355b":"No hospital","oss-aion-which-did-you-mean.1ff884a89e":"perguntado, não adivinhado","oss-aion-which-did-you-mean.2eb1c230f2":"A escolha pertence a quem escreveu a frase.","oss-aion-which-did-you-mean.d94da790d1":"Duas leituras comuns, um caso entre elas.","oss-aion-which-did-you-mean.3b4d06d361":"Nenhuma pergunta foi feita, e ninguém foi informado em qual das duas recaiu.","oss-aion-which-did-you-mean.93a161cede":"As horas são contadas por inteiro. Escolhido numa tarde de quinta-feira por alguém que precisava de\n                enviar.","oss-aion-which-did-you-mean.4b73aced85":"em vigor","oss-aion-which-did-you-mean.17e120a269":"Cancelar se o atraso for superior a uma hora.","oss-aion-which-did-you-mean.ddf20b2d3c":"a forma habitual de resolver isto","oss-aion-which-did-you-mean.3f42a39277":"como realmente decorre","oss-aion-which-did-you-mean.1e9a34969e":"horas inteiras","oss-aion-which-did-you-mean.9c2a4532bb":"Quando escreveu mais de uma hora, quis dizer horas inteiras, ou o atraso como\n                realmente decorre?","oss-aion-which-did-you-mean.280b34e1e5":"O seu comboio está atrasado setenta e cinco minutos e a reserva é cancelada, antes de\n                    decidir se ainda quer viajar.","oss-aion-which-did-you-mean.97e4112012":"Um atraso é o tempo que realmente dura. Uma hora e um quarto é mais do que uma\n                    hora.","oss-aion-which-did-you-mean.c5d620cfa2":"leitura dois","oss-aion-which-did-you-mean.466780685c":"O seu comboio está atrasado setenta e cinco minutos e nada é cancelado. Espera na\n                    plataforma por um comboio que ainda está a chegar.","oss-aion-which-did-you-mean.6b67a39030":"As horas são contadas por inteiro. Um atraso de uma hora e um quarto conta como uma hora,\n                    e uma hora não é mais do que uma hora.","oss-aion-which-did-you-mean.9cf85c69a8":"leitura um","oss-aion-which-did-you-mean.ef52f97a5b":"mais de uma hora","oss-aion-which-did-you-mean.371c6d7efd":"Cancelar se o atraso for","oss-aion-which-did-you-mean.887640fa01":"escreveu","oss-aion-which-did-you-mean.3650db40be":"a aguardar a sua resposta","oss-aion-which-did-you-mean.ff312b91d2":"qual quis dizer","oss-aion-which-did-you-mean.6f8f8e9f76":"então","oss-aion-which-did-you-mean.910e029098":"ilustrativo","oss-aion-your-corpus.a54df5506a":"duas semanas, com um resultado escrito","oss-aion-your-corpus.ee646eb7cc":"Execute o mesmo corpus com o que usa hoje e coloque os dois relatórios lado a lado.","oss-aion-your-corpus.f2d4df122d":"Sessenta e dois de sessenta e quatro, na sua máquina, sob o seu limite.","oss-aion-your-corpus.8ff7db55b1":"este limite","oss-aion-your-corpus.8ada74cbb4":"esta máquina","oss-aion-your-corpus.b2ed177f82":"este corpus","oss-aion-your-corpus.71e1422875":"uma função de","oss-aion-your-corpus.94ef1b7ae8":"de 64 corretos","oss-aion-your-corpus.2ce97993d5":"sem veredito ainda","oss-aion-your-corpus.90326d4307":"decorridos 41 s","oss-aion-your-corpus.69bb8da1c5":"ainda em execução","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"nenhuma resposta registada","oss-aion-your-corpus.72330c3954":"16 GB de espaço de endereçamento","oss-aion-your-corpus.b4f0923eae":"16 GB por execução","oss-aion-your-corpus.ff367b6b79":"limite de espaço de endereçamento","oss-aion-your-corpus.d1ea89e714":"32 núcleos, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"execução ilustrativa","oss-aion-your-corpus.e380724f89":"um limitado, outro ainda em execução","oss-aion-your-corpus.f6f66c95d6":"O seu corpus, no lugar","oss-aion-your-corpus.8d95729188":"limitado","oss-aion-your-corpus.7817c52b25":"máquina","oss-aion-your-corpus.d95f464bc9":"instâncias","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"corpus","oss-aion-your-sentence-parts.8e7ed848f6":"ainda pode lê-lo","oss-aion-your-sentence-parts.78c48f428a":"você escreveu-o","oss-aion-your-sentence-parts.c569c19f0b":"Leia novamente, dá a mesma regra. Nada mudou entretanto.","oss-aion-your-sentence-parts.43015fadc4":"Ninguém deve ser cobrado duas vezes pela mesma encomenda no mesmo mês.","oss-aion-your-sentence-parts.a14707f800":"A sua frase, inalterada","oss-aion-your-sentence-parts.2ccea15065":"um ano depois","oss-aion-your-sentence-parts.a80d4309ae":"No topo da mensagem, acima da parte que não foi cumprida.","oss-aion-your-sentence-parts.f33c43e8f9":"A sua frase, citada","oss-aion-your-sentence-parts.f0f795235c":"o dia em que se aplica","oss-aion-your-sentence-parts.fe74b20e8f":"Tal como a escreveu, com uma linha simples a indicar como foi lida.","oss-aion-your-sentence-parts.358b1cbc5d":"A sua frase, mantida","oss-aion-your-sentence-parts.13211e2743":"o dia em que a escreve","oss-aion-your-sentence-parts.27a0362e59":"AS SUAS PALAVRAS","oss-aion-your-sentence-parts.d37598cc12":"em três dias diferentes","oss-aion-your-sentence-parts.32a5ee7a1f":"A mesma frase","page-breadcrumb.c766e66518":"Trilho de navegação","page-toc.7e439c353e":"Nesta página","section_st_a1_display-split.7c9a7c0610":"Detalhe","section_st_f1_cta-dark.90e40d5043":"Começar","spindle-extras.127edee78d":"ASSINADO","toc-rail.f5cbdf6bfb":"Conteúdo"}