{"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","framework.4971dcd4e9":"O caso de utilização em infraestruturas críticas e no setor público.","framework.ea5745d55a":"Serviços públicos","framework.39fd2070d4":"Setor","framework.8da3c06fa2":"Como as camadas se encaixam, da base à superfície.","framework.864abb8613":"A pilha","framework.123a7f2fcc":"Plataforma","framework.8cbb65f029":"A máquina de prova e os formatos de replay por trás dos certificados.","framework.df84637182":"AION","framework.5f174de1cc":"Prova","framework.eb4d3e9794":"Aprofundar","framework.9753f5654b":"Continuar a ler","framework.fb001b2c29":"Estrutura","framework.be601df25e":"Investigação","framework.90214883b6":"Fale connosco","framework.2c11034cad":"Ler a pilha","framework.77bb3358bb":"A estrutura funciona sobre Core, Loom e Kera, com um certificado de prova ao estilo AION em cada decisão. Leia o substrato, a máquina de prova e os formatos de replay, ou fale connosco sobre um serviço específico.","framework.29613ed6de":"Leia a camada de prova de ponta a ponta.","framework.11fc14203d":"Próximos passos","framework.cb014151f7":"Ver a funcionar","framework.02e1f8e699":"Se um organismo público usar um computador para ajudar a decidir o seu caso, pode pedir o motivo em linguagem simples, e uma pessoa tem de o assumir. Isso não é um favor, é assim que tem de funcionar.","framework.61bb32f305":"Tem direito a um motivo. Sempre.","framework.fd64398fa6":"A estrutura inclui um roteiro faseado, um modelo de governação e esquemas de referência. Fale connosco sobre a aplicação a um serviço específico, ou leia como funciona a plataforma subjacente.","framework.ce2105b02c":"Torne a IA do setor público defensável.","framework.5c44a1f244":"Estrutura, engenharia","framework.db9b7efc2e":"Replay bit-idêntico","framework.8bf34da1c7":"Uma plataforma","framework.66762f4fb3":"CPU em primeiro lugar contra uma pilha generativa de GPU.","framework.aa50825f45":"Menos energia","framework.e89de1f522":"Pesquisa de hipervetores no caminho crítico em substituição de uma ida e volta de recuperação.","framework.a1b724d4a3":"Pesquisa em reticulado","framework.33a00b17c6":"1,36 ns","framework.461487b672":"Mais de 2.900 operações, 76 categorias, 25 formatos numéricos, 12 backends.","framework.49807fcffb":"Implementações principais","framework.404325de99":"4 a 8 ativos por consulta, a jusante da prova.","framework.911958ea9d":"Especialistas de domínio Loom","framework.20eedecbd2":"Apenas âncoras verificadas","framework.f8174c8f95":"FIGURAS DO SUBSTRATO","framework.b3eb6065b2":"ENERGIA","framework.e46008c8ce":"BITWEAVE","framework.540a7b6bed":"LATTICE","framework.1560acd6a4":"CORE 408K","framework.695ef72314":"LOOM 528","framework.7dd8e453c1":"A estrutura funciona na mesma plataforma que o resto da Dweve. A Loom contribui com 528 especialistas de domínio, com 4 a 8 ativos por consulta, a Core abrange cerca de 408 mil implementações em 12 backends, a Lattice serve pesquisas de 1,36 ns no caminho crítico, a BitWeave mantém 1.000 de recall a cerca de 35 mil QPS em 10 mil documentos, e toda a pilha funciona com CPU em primeiro lugar, com menos 96% de energia do que uma pilha generativa.","framework.5738538fb8":"não projeções.","framework.d3ef049367":"Âncoras medidas,","framework.7b3cbf6411":"Os números","framework.facf1cedba":"Cada uma um artefacto","framework.bbbaac2577":"Sete âncoras","framework.75ba3520b7":"Transparência proativa ao abrigo da Wet open overheid e a proporcionalidade exigida pelo acórdão SyRI de 2020, impostas pela arquitetura.","framework.9dff3371c9":"WOO e SyRI","framework.043b8e34d4":"Obrigações de explicabilidade e supervisão de alto risco, além de uma barreira humana ao abrigo do artigo 22.º do RGPD antes de qualquer decisão com efeitos legais.","framework.8b5de812a1":"Lei da IA da UE e RGPD","framework.c2f263e511":"RDF e OWL modelam o domínio, PROV-O regista a linhagem por campo, SHACL codifica as regras. Tudo publicado, nada proprietário.","framework.3f61827e7f":"Normas abertas do substrato","framework.f412885d6b":"Cada uma corresponde a um artefacto","framework.0f40920fe4":"ÂNCORAS, NÃO LISTAS DE VERIFICAÇÃO","framework.f2632d0fb3":"WOO","framework.a5b7d57a85":"GDPR","framework.7b46d2f3cc":"LEI DA IA","framework.0cd2fb8509":"SHACL","framework.bd1feb6f19":"Nada aqui é um formato privado. O substrato assenta em normas abertas do W3C, RDF e OWL para a ontologia, PROV-O para a proveniência, SHACL para as restrições, e a superfície regulamentar assenta em legislação nomeada, a Lei da IA da UE, o artigo 22.º do RGPD, a Wet open overheid e o acórdão SyRI de 2020 do Tribunal Distrital de Haia. Cada âncora corresponde a um artefacto concreto que o certificado transporta.","framework.8a5af3965a":"legislação nomeada acima.","framework.332bbf6f53":"Normas abertas abaixo,","framework.2f3d239f9a":"Em que assenta","framework.2a1c7139bd":"Em cada decisão","framework.b8d836693c":"Cinco campos","framework.e176e17669":"Um segmento de cadeia SHA3-256, assinado Ed25519, reproduzido bit a bit idêntico.","framework.ff8fc1c58a":"Selo","framework.f5d0cf25b9":"Artigo 22.º do RGPD aplicado como portão antes de qualquer decisão com efeito legal.","framework.a0a474d0bc":"Portão humano","framework.5eecf40d93":"Um certificado verificado offline em tempo linear, sem necessidade de solver.","framework.a931f9e6e7":"As restrições que dispararam, por ordem, registadas à medida que a resposta é construída.","framework.ec8c6779f3":"Derivação","framework.99bef7629e":"Emitido, não acoplado","framework.a903467163":"O QUE O CERTIFICADO TRANSPORTA","framework.888bf5eced":"SEAL","framework.3fd30984fa":"PORTÃO HUMANO","framework.eb44b37443":"RESTRIÇÃO","framework.e713d42aa6":"SUJEITO","framework.bf776410c8":"O raciocínio decorre por satisfação de restrições e emite um certificado de prova que qualquer verificador confere offline, em tempo linear, sem consultar o solver. O certificado nomeia o sujeito da ontologia, a linhagem PROV-O, a forma SHACL que disparou, o portão humano exigido antes do efeito legal e o selo de reprodução. Uma resposta fluente mas errada falha a verificação.","framework.c480750ccf":"um certificado que pode verificar.","framework.1607ae19e7":"Cada decisão emite","framework.542d52d163":"O formato da prova","framework.be9d51ddc6":"Um caminho reproduzível","framework.1286402508":"Cinco saltos","framework.754c29faa8":"A conclusão provada, com o seu rasto, é entregue ao Loom para a traduzir em palavras simples.","framework.bfb5e2091c":"Derivar para expressar","framework.0d4c574d84":"As formas correspondentes alimentam a satisfação de restrições no Core, que emite um certificado verificável.","framework.c9cde06da8":"Validar para derivar","framework.69925e326e":"As entidades do grafo são comparadas com a forma SHACL em vigor na data.","framework.ef08c63dfd":"Resolver para validar","framework.235020c7e4":"Campos tipados com linhagem PROV-O tornam-se entidades e relações no grafo de conhecimento.","framework.58102c6782":"Ingerir para resolver","framework.ddcc4f3c1c":"A entrada torna-se a próxima entrada","framework.93b99ea882":"O QUE CADA SALTO TRANSMITE","framework.9095b5d6b2":"EXPRESSAR","framework.71be85d15b":"DERIVAR","framework.3a2d36aad9":"VALIDAR","framework.5c1a381340":"RESOLVER","framework.7f123bd718":"INGERIR","framework.09149e46d3":"Siga uma única consulta de serviço público enquanto é reduzida através das cinco camadas. Entra como campos tipados com proveniência anexada, liga-se à ontologia RDF e OWL, dispara a forma SHACL em vigor na data, deriva um resultado por satisfação de restrições com um certificado de prova, e só então é expressa pelo Loom, a jusante da prova. Cada salto é registado, pelo que todo o caminho se reproduz bit a bit idêntico.","framework.3e6a6c251c":"cinco saltos registados.","framework.02a96ad446":"Uma consulta,","framework.c38fe6f00e":"A redução","framework.f0717171e2":"Uma superfície de prova","framework.db2de9c649":"Cinco camadas","framework.e5a0b37c78":"O Core deriva por satisfação de restrições em 12 backends e emite um certificado verificável por máquina, reproduzido bit a bit idêntico.","framework.44fe02301b":"Prova, não plausibilidade","framework.bd54facce5":"As formas SHACL codificam políticas e regras legais e validam continuamente. Um valor torna-se uma restrição executável, não um comentário.","framework.2a90c6dc4a":"Restrições executáveis","framework.e3582eface":"RDF e OWL modelam o domínio como um grafo de conhecimento consultável e reversível. O Lattice serve consultas de caminho rápido a 1,36 ns.","framework.4cd7c0404b":"Ontologia explícita","framework.4984308714":"Onde cada camada se fundamenta","framework.ddad93112f":"PADRÕES, NÃO PESOS","framework.e1111021ff":"LOOM","framework.3395f87c48":"PROOF","framework.270d891e81":"Uma consulta é reduzida através de cinco camadas, cada uma substituível, cada uma registada. O domínio é uma ontologia explícita RDF e OWL em vez de pesos aprendidos, a proveniência é PROV-O anexada por campo, as regras são formas SHACL validadas continuamente, a derivação decorre por satisfação de restrições no Core, e o Loom traduz a conclusão provada em palavras a jusante da prova.","framework.f54cbc3da5":"num motor binário.","framework.893f0b446e":"Cinco camadas substituíveis","framework.72b1b3c52c":"O substrato","framework.e2c420d86d":"Estrutura, para os cidadãos","framework.704869f20f":"Em palavras simples","framework.e71102d544":"Os seus direitos","framework.9a57e6345c":"Pergunte duas vezes e a mesma razão volta.","framework.748288fd12":"Sempre","framework.b76aee974c":"Igual","framework.d79cb7f9da":"Os seus dados ficam no serviço, dentro da Europa.","framework.3968db989e":"Fica por perto","framework.c82d1b09cf":"EU","framework.d8e4cf07c7":"Uma forma clara de uma pessoa voltar a olhar para o assunto.","framework.3f094ed67a":"Perguntar novamente","framework.027ee09683":"Uma razão que pode ler, indicando a regra e a sua situação.","framework.93f9d3816a":"Não é uma pontuação","framework.d26d55c7f8":"Palavras","framework.efffac7f8e":"Do seu lado","framework.f31727ff20":"O QUE RECEBE","framework.44e3184314":"OS SEUS DADOS","framework.a49fe4cc91":"PERGUNTAR NOVAMENTE","framework.277c60cba8":"UMA PESSOA","framework.0cdc89ba6c":"UMA RAZÃO","framework.ee8e861e77":"Quando um organismo público utiliza um computador para ajudar a decidir o seu caso, a lei europeia está do seu lado. Tem direito a uma razão que possa ler, a uma pessoa que responda pela decisão, a uma forma de voltar a perguntar se algo parecer errado, e à garantia de que os seus dados ficam perto de casa. Nada disto custa mais. É simplesmente assim que tem de funcionar.","framework.cee259f6a3":"não favores.","framework.25ecb0b2cf":"Estes são os seus direitos,","framework.9f89196941":"O que lhe é devido","framework.75e8ceee98":"É seu direito","framework.cf3cf30ec5":"Sem formulários","framework.9de772f791":"Se parecer errado, peça a uma pessoa que volte a olhar. A razão foi guardada para si.","framework.71678d3cd7":"Pergunte novamente se precisar","framework.f69b9cbf52":"A razão inclui o nome do técnico que concordou com ela. Não é apenas uma máquina.","framework.67c33a5dc4":"Veja quem assinou","framework.ba8c5cf97a":"Recebe de volta a regra que foi utilizada e como a sua situação foi verificada em relação a ela.","framework.f7dd3f26a9":"Receba por palavras","framework.51250b00f6":"Telefone, escreva ou vá ao balcão. Diga claramente: por favor, diga-me a razão desta decisão.","framework.0f2f874d16":"Pergunte ao serviço","framework.9c2970f3c3":"Nada complicado","framework.47ce22a1f7":"PASSO A PASSO","framework.bce373429f":"GUARDADO NO PROCESSO","framework.c9ee80e798":"UMA PESSOA IDENTIFICADA","framework.b8f926fd1c":"POR PALAVRAS","framework.202be8b22d":"BASTA PERGUNTAR","framework.d8d722f0c2":"Não precisa de formulário, advogado ou de uma única palavra técnica. Telefona ou escreve ao serviço e pergunta, em palavras simples, a razão da decisão. Têm de a dar, indicando a regra e a pessoa que assinou. Eis exatamente como funciona e o que lhe é devido.","framework.f384419b4c":"é mais simples do que pensa.","framework.be99f051f5":"Pedir a sua razão","framework.fe3174dc56":"Como pedir","framework.b6981c712f":"Uma resposta simples","framework.ca3aea108b":"Uma preocupação normal","framework.7bb551ca46":"Ficam no serviço, aqui na Europa. Não são enviados para treinar o sistema de outra pessoa.","framework.5693114313":"Os seus dados a andarem à deriva","framework.102a1a69ca":"Há sempre. Pode pedir a uma pessoa que volte a olhar, e a razão completa fica guardada no processo.","framework.c37850bce1":"Sem forma de contestar","framework.4e1433c3f9":"Recebe palavras em vez disso. A regra que foi utilizada e como o seu caso foi verificado em relação a ela.","framework.ea9e88e551":"Uma pontuação que não pode ler","framework.f70141221a":"Nunca acontece. Uma pessoa identificada tem a palavra final em tudo o que afeta a sua vida.","framework.6331d489d4":"Uma máquina a decidir sozinha","framework.7a567ebc21":"Ao lado da resposta simples","framework.a650f00db2":"PREOCUPAÇÕES COMUNS","framework.4c53d8cf4a":"SEM SEGREDOS","framework.3e32967f35":"UMA PESSOA DECIDE","framework.803bbc74f4":"É natural sentir-se inquieto quando um computador está envolvido numa decisão sobre o seu subsídio, a sua licença ou o seu caso. Por isso, aqui está cada preocupação comum ao lado do que realmente acontece. Uma pessoa decide sempre. Recebe sempre uma razão em palavras simples. E se parecer errado, pode sempre perguntar novamente.","framework.f35c4cbfff":"e as respostas também","framework.dee1164beb":"As preocupações são normais","framework.94c09a7afc":"É justo perguntar","framework.a3470cf106":"Fácil de questionar","framework.b2d66787a4":"Discreto e justo","framework.f8512b0350":"Guardado em palavras simples. Pergunte novamente mais tarde e a mesma resposta volta.","framework.5aeb69c4e9":"A razão é guardada","framework.f7281f17b0":"Um técnico identificado concorda com o resultado. O computador ajuda, a pessoa decide.","framework.8cc5854d72":"Uma pessoa assina","framework.e7f8495017":"A sua situação real é comparada com essa regra, ponto por ponto, e não é pontuada com um número.","framework.02b8ba2cea":"O seu caso é verificado","framework.ba3fe3007a":"Como a lista de preços na parede. Igual para todos, escrita antes de entrar.","framework.deeb3568f5":"A regra é definida","framework.827fc897f9":"Nada decidido por palpite","framework.d510ec82bc":"A VERSÃO DO DIA A DIA","framework.15668ca4dd":"GUARDADO PARA SI","framework.a647a012b9":"O SEU CASO","framework.7f5464a063":"A REGRA","framework.9a158e956a":"Não precisa de perceber de computadores para ver que isto é justo. O serviço escreve a regra primeiro, verifica a sua situação real contra ela, uma pessoa assina, e guarda o motivo para que possa pedi-lo mais tarde. O mesmo caso entra, a mesma resposta sai.","framework.ece5bc634d":"em quatro passos simples.","framework.7bc2c9fb1c":"Uma decisão justa","framework.1dd6a17cb4":"Como funciona","framework.c8d17dc7f6":"Investigação, Estrutura","framework.a5e4c59744":"Quatro componentes","framework.a344938438":"Quatro obrigações","framework.1395086935":"Transparência total e proporcionalidade impostas pela arquitetura.","framework.434ec72a01":"Norma SyRI","framework.14e82cc4ea":"Registos legíveis por máquina e exportação do registo nacional de algoritmos.","framework.e9f843b20b":"Portão humano no circuito antes de qualquer decisão com efeito legal.","framework.5370b57f15":"RGPD Art. 22","framework.d27cf6f9d6":"Certificado de prova de raciocínio, rastreio linguístico, esquema de metadados SHACL.","framework.d75a4de2ef":"Lei da IA da UE","framework.8cb5373ae9":"Obrigação para componente","framework.36134f3ee0":"MAPEAMENTO LEGAL","framework.890e85612f":"JURISPRUDÊNCIA","framework.beff1b446a":"A estrutura não trata a conformidade como uma lista de verificação acrescentada no fim. Cada dever legal corresponde a um componente técnico específico e a um artefacto de auditoria específico, avaliados continuamente.","framework.61afdfba87":"corresponde a um componente.","framework.7663591175":"Cada obrigação","framework.ded3fbcb09":"Onde encontra a lei","framework.5424b1b5d8":"Um pipeline","framework.c34451e8c3":"Três garantias","framework.90c2d8a867":"O Core executa o pipeline num motor binário multi-backend com reprodução bit a bit idêntica. O Kera reduz um grafo para cada destino.","framework.bee831a169":"Substrato","framework.a185eddbcf":"O Loom, com 528 especialistas de domínio e 4 a 8 ativos por consulta, fica a jusante. Coloca uma conclusão comprovada em palavras, com o rastreio anexado.","framework.89b86ab0e6":"Linguagem","framework.307ca243b6":"Deriva por satisfação de restrições e emite um certificado de prova verificável por máquina. Uma resposta fluente mas errada falha a prova.","framework.e272c597fd":"Raciocínio","framework.0fbd8c0e5c":"Onde vivem as garantias","framework.088ce23492":"PROVA, NÃO PLAUSIBILIDADE","framework.efe5b59595":"TRADUZIR","framework.784e03aaaa":"RACIOCINAR","framework.5a2db03813":"RESTRINGIR","framework.e7bd56e1ec":"GRAPH","framework.dc4df24555":"Uma consulta torna-se uma resposta ao passar por cinco camadas. Cada camada pode ser substituída de forma independente, cada transição de estado é registada e consultável, e qualquer decisão pode ser desfeita e rederivada a partir dos primeiros princípios.","framework.00990b5f65":"modular, auditável, reversível.","framework.2c9adaf675":"Cinco camadas,","framework.3bf48d39aa":"A arquitetura","framework.34e2ae0e28":"Um sistema integrado funciona","framework.50b4cfb7ed":"Sistemas separados falham","framework.97dd8beef4":"Um sistema integrado que é fiável, legal e fundamentado.","framework.eeb7ca9616":"Todos os três juntos","framework.40310a0635":"Sem metadados, não tem assunto. O que está sequer a avaliar?","framework.f3be9011cf":"Apenas conformidade","framework.0b9a45a663":"Sem conformidade, é legalmente inerte. Satisfaz as regras?","framework.0e5ddd6cfe":"Apenas proveniência","framework.6c67eb74c2":"Sem proveniência, não pode ser confiável. De onde veio?","framework.03d2be939f":"Apenas metadados","framework.ba9f862745":"Cada um precisa dos outros","framework.43f936c0b8":"PORQUE OS TRÊS","framework.c4d9bc6083":"CONFORMIDADE","framework.414cbcc9ec":"PROVENIÊNCIA","framework.9075e6912d":"METADADOS","framework.e2884756ed":"O framework trata estes três elementos não como sistemas separados, mas como três faces da mesma coisa. Metadados sem proveniência não podem ser confiáveis. Proveniência sem conformidade é legalmente inerte. Conformidade sem metadados não tem sujeito. Um sistema integrado único tem de suportar os três ao mesmo tempo.","framework.d17f9fe312":"e nenhum deles se sustenta","framework.933e474768":"Separar os três registos","framework.e5da7c6379":"A ideia central","framework.4c0c9e6c1c":"Torna-se tecnologia","framework.496e9438ab":"Filosofia","framework.b89fa36e61":"Ontologia, epistemologia e axiologia, todas fundamentadas","framework.05d76d3322":"Pilares clássicos","framework.5d043cbb99":"Formas executáveis por máquina para validação contínua","framework.1317da9ea2":"Padrão de restrições","framework.5a01be7213":"Codificação de linhagem W3C para cada transformação de dados","framework.9e2b1ec5f0":"Padrão de proveniência","framework.b436f7866c":"OWL para modelação de domínio, expresso como grafo de conhecimento","framework.0d03ca4ed4":"Padrão de ontologia","framework.6501e0b981":"RDF","framework.ae231e1155":"Filosofia mapeada em tecnologia","framework.49f19daec2":"OS TRÊS PILARES","framework.fd6a003359":"AXIOLOGIA","framework.15f0182b54":"EPISTEMOLOGIA","framework.e18d485d3a":"ONTOLOGIA","framework.a5d7b871f5":"As correções técnicas à responsabilização falham quando ignoram as questões subjacentes: o que existe, como o sabemos e os valores que o sistema serve. O framework fundamenta cada uma delas num pilar clássico que mapeia diretamente para uma camada técnica e um dever de governação.","framework.afc2c71166":"antes de qualquer tecnologia.","framework.497a23ad00":"Três pilares","framework.7de26ad85d":"A fundação","framework.b7d40cd613":"Uma resposta","framework.567b27918d":"Três forças","framework.f24b8d45d4":"Após o escândalo dos benefícios, a pontuação de risco opaca acarreta sérios riscos institucionais e legais.","framework.80e7ca034d":"Responsabilização","framework.0c4ae0e09e":"A Wet open overheid impõe transparência proativa; o artigo 22.º do RGPD limita decisões totalmente automatizadas. Juntos, implicam um direito à explicação.","framework.e572760e22":"Transparência e direitos","framework.65e952e9a9":"Em vigor desde agosto de 2024, com obrigações de alto risco aplicáveis a partir de agosto de 2026. Os sistemas de benefícios e elegibilidade são de alto risco e devem ser explicáveis e supervisionados.","framework.628933fda7":"Porque o status quo falha","framework.8be673b5e2":"FORÇAS CONVERGENTES","framework.ff29a3a0f3":"RESPONSABILIZAÇÃO","framework.fd5271805e":"RGPD E WOO","framework.380f063397":"REGULAMENTO IA DA UE","framework.634876b943":"A IA no setor público está a ser pressionada por três forças em simultâneo. Cada uma, por si só, é difícil de satisfazer para um sistema de caixa negra. Juntas, tornam a IA determinística e explicável não uma preferência, mas um requisito.","framework.37ac1c4349":"tornam a opacidade insustentável.","framework.065d86530f":"O imperativo","framework.b3f56605d8":"Loom, 528 especialistas de domínio","framework.8b87285c53":"Bit-idêntico, SHA3-256","framework.c0f85d6679":"Repetição","framework.7a54a2349c":"Verificável offline","framework.46ee0ba970":"Satisfação de restrições","framework.39e6078545":"Formas SHACL","framework.52e68a873a":"Restrições","framework.8a56e867ec":"PROV-O, por campo","framework.dd35a81646":"Proveniência","framework.0b9301da26":"RDF, OWL","framework.ef9e84a6f4":"Ontologia","framework.4143d04801":"Engenharia","framework.794338d72d":"Folha de substrato","framework.35bbe337f1":"Ler o formato de prova","framework.35c6fcf66b":"Ver o substrato","framework.dd821e5403":"O framework desce uma decisão do setor público através de cinco camadas substituíveis num substrato binário de CPU em primeiro lugar. O domínio é uma ontologia explícita em RDF e OWL, não pesos aprendidos, e o raciocínio no Core emite um certificado de prova verificável por máquina. Repetição bit-idêntica em todo o processo.","framework.5de2879b8b":"uma prova em cada decisão.","framework.b963bb3de7":"Ontologia explícita, restrições executáveis,","framework.fcc4db8f51":"A mesma resposta de volta","framework.907b147a74":"Perguntar duas vezes","framework.9674d4000b":"Dentro da Europa","framework.525f61b672":"Onde","framework.25c020b432":"Fique no escritório","framework.a6252b6690":"Os seus dados","framework.3f8fc423a8":"Peça a uma pessoa que reveja","framework.09d68c4b4c":"Se parecer errado","framework.d6ac4c0b1d":"Uma pessoa identificada","framework.adc5999ef1":"Quem decide","framework.364216af68":"Uma razão, não uma pontuação","framework.8ac7aa173f":"O que recebe","framework.160ecb36eb":"Para cidadãos","framework.14e1bec0a5":"A sua decisão, explicada","framework.bcfdeb6210":"Quando um serviço público usa um computador para ajudar a decidir sobre o seu subsídio, a sua autorização ou o seu processo, tem o direito de saber porquê. Não uma pontuação, não uma suposição que não pode ver. Uma razão, em palavras simples, que uma pessoa real assume.","framework.98defe6b37":"continua a receber uma razão.","framework.f82d65f5be":"Quando o serviço usa um computador,","framework.39e75dc1ee":"Bit-identical","framework.4bcdc8e1cd":"Regulamento da UE sobre IA, RGPD, LAI","framework.38e8828462":"Alinhado com","framework.6d4f5ec0dc":"Prova em cada decisão","framework.4bed336194":"Resultado","framework.cf9f55c5ff":"Metadados, proveniência, conformidade","framework.9c68ea57cb":"Ideia central","framework.b040b4179b":"Arquitetura","framework.35e5387172":"Três pilares filosóficos","framework.fdde6afa94":"Fundação","framework.4200e72275":"Setor público","framework.c2f50d7f94":"O enquadramento","framework.f0b60326e8":"Ver as cinco camadas","framework.abcf41a024":"As âncoras regulamentares","framework.178c408c8b":"Um enquadramento para implementar IA no governo que pode ser explicado, auditado e defendido em tribunal. O conhecimento está ancorado numa ontologia explícita, cada passo é comprovável e cada valor é codificado como uma restrição executável.","framework.a92576b784":"para serviços públicos.","framework.53ea08c4a8":"IA determinística","framework.b7896e7fe4":"Regulamento da UE sobre IA","framework.474ef8cc1b":"LAI/RGPD","framework.2d75b76b2d":"CONTA","framework.1dabba21cd":"✓","framework.d76354d845":"L2","framework.842983de8f":"L3","framework.4a5a97c643":"L4","framework.777ae8e1fd":"W3C","framework.9170a8b2fb":"EU","framework.4334ffcf78":"NL","framework.a8bf80b5eb":"CONTEXTO","framework.6cb94d7232":"FUNDAÇÃO","framework.e06bc83a00":"INTEGRAÇÃO","framework.98b0a4fca3":"GARANTIAS","framework.6399394ad0":"CONFORMIDADE","framework.00db09ab06":"PLAIN","framework.0aa52d6e61":"GARANTIA","framework.7d0f1a99f7":"COMO PEDIR","framework.ab2d889213":"SUBSTRATO","framework.fd10edb500":"FLUXO DE DADOS","framework.238ee60d26":"TESTEMUNHA","framework.12cf4bfd19":"NORMAS","framework.662eb493ee":"SPEC","framework.e5ea88a219":"UMA PESSOA DECIDE","framework.c3de5c67d5":"SEM SEGREDOS","framework.8c5ef8dc31":"Tornar a IA do setor público","framework.17a5d6bf5c":"defensável","framework.b8628897e5":"Tem direito a uma razão","framework.6656018ac9":"sempre","framework.e97237ea00":"Ler a camada de prova","framework.f591672335":"de ponta a ponta","framework.824ba3df49":"O que o enquadramento transporta","framework.251edc0eb5":"Metadados","framework.2b916fec95":"Cada decisão identifica o seu objeto, a sua regra e os seus dados de entrada.","framework.724bfe272b":"De onde veio cada dado de entrada e quem o alterou.","framework.68f0ae4911":"Conformidade","framework.c1f36f6d09":"A obrigação a que cada registo responde, identificada no próprio registo.","framework.bf96972a6e":"três faces de um mesmo sistema","framework.3db6d284ef":"Regulamentação, direito à explicação e responsabilização institucional chegam em conjunto, e um sistema que não consegue mostrar o seu raciocínio falha os três ao mesmo tempo.","framework.850159295a":"Cada pilar tem uma camada técnica e um dever com nome próprio, para que uma alegação de responsabilização possa ser rastreada até à parte do sistema que tem de a sustentar.","framework.ca72ab6aa8":"Como as camadas são independentes, uma substituição altera um contrato em vez de todo o percurso, e o registo mantém a mesma forma em qualquer dos casos.","framework.074ce8ebbc":"O Regulamento IA, o RGPD, a Wet open overheid e a jurisprudência consolidada recaem cada um sobre um componente que um revisor pode apontar, em vez de recaírem sobre um documento de política. Como a avaliação decorre continuamente, o artefacto de auditoria existe antes de alguém o pedir, e não depois.","framework.f937550509":"Nada nessa ordem é invulgar. É assim que um gabinete cuidadoso já trabalha, e escrever a regra primeiro é o que garante que o mesmo caso recebe a mesma resposta.","framework.336c10758c":"E se a resposta continuar a não fazer sentido para si, tem o direito de o dizer e de voltar a perguntar.","framework.837b6c094d":"O selo é o que torna uma repetição comparável, pelo que uma execução posterior ou reproduz a decisão ou não a reproduz.","fw-ask-walkthrough.fe3174dc56":"Como perguntar","fw-ask-walkthrough.8d042f7abc":"Não precisa de conhecimentos de informática. Basta perguntar, e uma pessoa tem de responder.","fw-ask-walkthrough.4b57aa1682":"Não paga nada por isto. É o seu direito.","fw-ask-walkthrough.1b56d97bb8":"O que lhe é devido","fw-ask-walkthrough.1cac33efc9":"Olá. Houve uma decisão sobre o meu subsídio de habitação. Pode dizer-me o motivo,\n              em palavras simples, e o nome da pessoa que decidiu?","fw-ask-walkthrough.1d725cb8a9":"Quando perguntar, pode dizer","fw-ask-walkthrough.ee31636b75":"Uma cópia guardada no processo, para poder voltar a perguntar mais tarde.","fw-ask-walkthrough.3a30bae380":"A regra exata que foi aplicada ao seu caso.","fw-ask-walkthrough.b0acef5b51":"O nome da pessoa que decidiu.","fw-ask-walkthrough.de7e0dbefa":"Um motivo que possa ler, em palavras simples.","fw-ask-walkthrough.538fab8fab":"Pode pedir a uma pessoa que volte a analisar o caso. O motivo completo ficou guardado no processo, por isso há sempre algo concreto para verificar.","fw-ask-walkthrough.706d60c911":"Se parecer errado, pergunte novamente","fw-ask-walkthrough.cb77e56857":"O motivo vem com o nome do técnico que o assinou. Uma máquina nunca tem a última palavra sozinha.","fw-ask-walkthrough.d68022f3ea":"Uma pessoa identificada responsabiliza-se por ele","fw-ask-walkthrough.9d3837c2f4":"Recebe a regra que foi aplicada e como a sua situação foi verificada em relação a ela. Em linguagem simples, não uma pontuação que não consegue ler.","fw-ask-walkthrough.8a9341376c":"Dão-lhe o motivo por palavras","fw-ask-walkthrough.aa01e5de91":"Telefone, escreva ou passe por lá. Pode dizê-lo com clareza: diga-me o motivo desta decisão. Não precisa de formulário nem de palavras especiais.","fw-ask-walkthrough.554e029974":"Peça o motivo ao serviço","fw-bench-board.dd38f04730":"Mistura de Loom","fw-bench-board.547836c906":"4 a 8 ativos por consulta. A camada de linguagem fica a jusante da prova.","fw-bench-board.5c48deaa2d":"Âncora verificada","fw-bench-board.8aed6fe5e3":"Cobertura principal","fw-bench-board.eb48ff8e3f":"Mais de 2.900 operações, 76 categorias, 25 formatos numéricos em 12 backends.","fw-bench-board.a1b724d4a3":"Consulta de Lattice","fw-bench-board.96cb9ff83a":"Consulta de hipervetor em caminho crítico. Substitui uma ida e volta de recuperação.","fw-bench-board.ca99d6e3a7":"QPS","fw-bench-board.18f72bcf0b":"Recuperação BitWeave","fw-bench-board.cb5012b7d9":"Recuperação de 1.000 a cerca de 35 mil consultas por segundo em 10 mil documentos.","fw-bench-board.437bcb1511":"Energia","fw-bench-board.f7b508789e":"Menos energia do que uma pilha de GPU generativa. Primeiro CPU, multi-backend.","fw-bench-board.e8835c7124":"Bit","fw-bench-board.1109d62f23":"Classe de reprodução","fw-bench-board.57bef2236b":"Qualquer decisão é rederivada da mesma forma duas vezes, verificável offline.","fw-bench-board.b7a8672bbe":"Propriedade de design","fw-bench-board.d6d550de50":"medido, não projetado","fw-bench-board.b682d821d4":"Um único grafo reduzido a cada destino pela Kera, o IR de fusão comercial. A camada de prova é a mesma em cada um.","fw-bench-board.a577c797ff":"Especificação do substrato","fw-citizen-letter.b1224e7423":"A regra que utilizámos","fw-citizen-letter.63775ce8e7":"A regra do subsídio de habitação que estava em vigor no dia em que apresentou o pedido.","fw-citizen-letter.cdd13b1f42":"A sua situação","fw-citizen-letter.23bc0cc1ae":"O tamanho do seu agregado familiar e o seu rendimento foram verificados em relação a essa regra, ponto por ponto.","fw-citizen-letter.17d38b1f20":"Quem decidiu","fw-citizen-letter.4d4b567c9e":"Um gestor de processo identificado analisou o resultado e assinou-o. Não foi uma máquina sozinha.","fw-citizen-letter.f08df3c4f3":"Se não concordar","fw-citizen-letter.e85fa69c92":"Pode pedir a uma pessoa que reveja o caso. O motivo completo fica guardado no seu processo.","fw-citizen-letter.5a0c04c6eb":"linguagem simples","fw-citizen-letter.8a72097ed3":"guardado para si","fw-citizen-letter.a2bb6af7cc":"A sua decisão","fw-citizen-letter.3a559e0643":"O seu subsídio de habitação foi aprovado.","fw-citizen-letter.58bb796913":"Eis o motivo, em palavras simples. Não tem de aceitar por fé, e não tem de perceber de\n            computadores. Se algo parecer errado, há uma pessoa a quem pode perguntar.","fw-citizen-letter.286ae60ab8":"O que isto significa para si","fw-citizen-letter.b45cecd3a8":"Pode sempre perguntar porquê e obter uma resposta que consiga ler.","fw-citizen-letter.106d1f5a13":"Uma máquina nunca tem a última palavra sozinha.","fw-citizen-letter.770ebc6b3f":"Os seus dados ficam no serviço, aqui na Europa.","fw-citizen-letter.e975e8ae70":"Pergunte duas vezes e o motivo volta a ser o mesmo.","fw-citizen-letter.01b5bf7c84":"Nada disto é um extra pelo qual paga. É assim que tem de funcionar.","fw-citizen-letter.a1d61f1e57":"Não tem a certeza de algo? Pergunte ao serviço o motivo. Eles têm de lho dar.","fw-citizen-letter.364216af68":"Um motivo, não uma pontuação","fw-citizen-safeguards.ef6967785c":"As suas preocupações, respondidas","fw-citizen-safeguards.c6b750e396":"Nenhum destes pontos é um favor. É simplesmente assim que um serviço público tem de funcionar.","fw-citizen-safeguards.c6acb74427":"Preocupar-se com um computador a decidir o seu caso é normal. Para cada preocupação comum, aqui está o que realmente acontece, em palavras simples.","fw-citizen-safeguards.d18decc51c":"É justo perguntar. Aqui estão as respostas.","fw-citizen-safeguards.55b56fa345":"Não. Não existe nenhuma pontuação de risco oculta. Existe uma regra, escrita, e a sua situação real é verificada contra ela, de forma transparente.","fw-citizen-safeguards.919f815bbc":"Existe alguma pontuação secreta sobre mim?","fw-citizen-safeguards.fbb1e446eb":"Não. O mesmo caso dá a mesma resposta todas as vezes. Não é um palpite que muda com o vento.","fw-citizen-safeguards.71a700ab3d":"Poderei obter uma resposta diferente se perguntar noutro dia?","fw-citizen-safeguards.72429fd7b3":"Ficam com o serviço, aqui na Europa. Não são enviados para treinar um sistema construído para outra pessoa.","fw-citizen-safeguards.40b457f77c":"Onde vão parar os meus dados privados?","fw-citizen-safeguards.66d3613c61":"Pode pedir a uma pessoa que reveja o caso. O motivo completo fica registado, para que nada fique oculto e a porta esteja sempre aberta.","fw-citizen-safeguards.782151c3b8":"E se o computador se enganar?","fw-citizen-safeguards.4ed57b2f44":"Não. Recebe um motivo em palavras simples, indicando a regra utilizada e como a sua situação foi verificada contra ela.","fw-citizen-safeguards.244cb6b09d":"Vou receber apenas um número que não consigo entender?","fw-citizen-safeguards.51f41c481f":"Não. Uma pessoa identificada tem sempre a palavra final numa decisão que afeta a sua vida. O computador apenas a ajuda a verificar a regra.","fw-citizen-safeguards.98f9dbbe49":"Será que uma máquina vai decidir o meu caso sozinha?","fw-compliance-matrix.eaa5da10c1":"A conformidade não é uma lista de verificação aposta no final. Cada obrigação corresponde a um componente e a um artefacto, avaliados de forma contínua.","fw-compliance-matrix.77680c1eb4":"Artefacto de auditoria","fw-compliance-matrix.c92c529e07":"Componente","fw-compliance-matrix.63c2178c36":"Requer","fw-compliance-matrix.17a86caa5b":"Obrigação","fw-compliance-matrix.58171dc64a":"4 obrigações, 4 componentes","fw-compliance-matrix.32ee4b9fe9":"avaliados de forma contínua","fw-compliance-matrix.5bf575cf5d":"O acórdão SyRI do Tribunal Distrital de Haia, de 2020, estabeleceu que a definição de perfis de risco sem transparência total e proporcionalidade é ilegal. A arquitetura foi concebida para passar nesse tipo de revisão judicial.","fw-compliance-matrix.b2431ada21":"Registo de proporcionalidade","fw-compliance-matrix.2ed935b851":"Registo completo da decisão","fw-compliance-matrix.22eccd5003":"A definição de perfis de risco sem transparência total e proporcionalidade é ilegal.","fw-compliance-matrix.a1e6eee265":"Acórdão SyRI, 2020","fw-compliance-matrix.890e85612f":"JURISPRUDÊNCIA","fw-compliance-matrix.feeab2f7e1":"A transparência proativa é assegurada por registos de decisão legíveis por máquina e pelo registo no registo nacional de algoritmos, exportáveis a pedido.","fw-compliance-matrix.4750ef3673":"Exportação do registo de algoritmos","fw-compliance-matrix.a404651677":"Registos legíveis por máquina","fw-compliance-matrix.77b5e5ca47":"A Wet open overheid impõe a abertura proativa das decisões públicas.","fw-compliance-matrix.d85ec3652d":"Transparência proativa","fw-compliance-matrix.f2632d0fb3":"WOO","fw-compliance-matrix.098a4c2559":"Uma barreira obrigatória de intervenção humana é colocada antes de qualquer decisão com efeitos jurídicos ser executada, pelo que nenhum resultado consequente é totalmente automatizado.","fw-compliance-matrix.1099ca35b6":"Confirmação assinada","fw-compliance-matrix.9b313ec839":"Barreira de intervenção humana","fw-compliance-matrix.abc0a165cc":"O direito de não ser sujeito a uma decisão totalmente automatizada com efeitos jurídicos.","fw-compliance-matrix.51d23cd0ff":"Decisões automatizadas","fw-compliance-matrix.34a3d18d88":"ARTIGO 22.º DO RGPD","fw-compliance-matrix.fee01c9471":"Em vigor desde agosto de 2024, com obrigações de alto risco aplicáveis a partir de agosto de 2026. O certificado de prova de raciocínio, o registo da camada linguística e o esquema de metadados imposto por SHACL suportam em conjunto esta obrigação.","fw-compliance-matrix.2fcd407519":"Esquema de metadados SHACL","fw-compliance-matrix.f3bf54f8ea":"Motor de raciocínio","fw-compliance-matrix.55d2fd128c":"Explicabilidade, supervisão humana, exatidão e um registo de auditoria para sistemas de benefícios e de elegibilidade.","fw-compliance-matrix.876a33bc45":"Obrigações de alto risco","fw-compliance-matrix.380f063397":"REGULAMENTO IA DA UE","fw-decision-record.e9ae0ed784":"SOURCE","fw-decision-record.00235a807b":"Declaração de rendimentos e regulamento de prestações aplicável obtidos, cada um citado por documento.","fw-decision-record.aaa398a28b":"RULE","fw-decision-record.c05b8dca70":"A versão do regulamento em vigor na data da decisão é selecionada e fixada.","fw-decision-record.02977df2c2":"DECIDIR","fw-decision-record.1b05fe2d2c":"O rendimento declarado ultrapassa o limite do escalão, a taxa é recalculada para o período seguinte.","fw-decision-record.4f7eee9059":"EXPLICAR","fw-decision-record.ed34c8ca7e":"Uma razão em linguagem simples e a via de recurso são geradas para o requerente.","fw-decision-record.501e489055":"OWNER","fw-decision-record.1df6d80b7f":"Um técnico nomeado confirma e assina a decisão antes de esta produzir efeitos.","fw-decision-record.888bf5eced":"SEAL","fw-decision-record.2e9c5c54f9":"O registo é selado e um registo de reprodução bit a bit idêntico é armazenado para supervisão.","fw-decision-record.3560d90b70":"Cada","fw-decision-record.85bc66fc27":"decisão inclui a sua razão","fw-decision-record.d8cb03e330":"Recurso","fw-decision-record.70d80e15a9":"em todos os resultados","fw-decision-record.c0f85d6679":"Reprodução","fw-decision-record.095c0673de":"Para supervisão, bit a bit idêntico","fw-decision-record.90799d78d6":"Uma decisão que um cidadão pode contestar e que você pode defender.","fw-decision-record.084e6f932d":"É assim que se apresenta a IA determinística e auditável no ponto de uma decisão pública. A recomendação chega com a fonte, a regra em vigor no dia, o funcionário que assinou e um caminho de reprodução. O exemplo é ilustrativo até os seus próprios dados de caso serem ligados.","fw-decision-record.45fd5e71f0":"Um requerente pergunta","fw-decision-record.6aff5f3b8b":"Por que motivo o meu subsídio de habitação foi recalculado este mês?","fw-decision-record.48b9b13d51":"O registo da decisão mostra","fw-decision-record.d5d07c5e2a":"O seu rendimento declarado mudou, ultrapassando o limite do escalão no regulamento de prestações em vigor na data da decisão. A nova taxa aplica-se a partir do período seguinte, e a decisão lista a via de recurso que lhe está disponível.","fw-decision-record.2e2d3e35ab":"Fontes citadas","fw-decision-record.391c6bd2ec":"declaração de rendimentos","fw-decision-record.ea9a85a7d6":"regulamento de prestações, artigo em vigor","fw-decision-record.9bc87bd407":"O rasto da decisão","fw-decision-record.d3d1c0094e":"6 passos, reproduzível","fw-forces-console.378d7b44a5":"Obrigação regulamentar","fw-forces-console.65e952e9a9":"Em vigor desde agosto de 2024, com obrigações de alto risco aplicáveis a partir de agosto de 2026. Os sistemas de benefícios e elegibilidade são de alto risco e devem ser explicáveis e supervisionados.","fw-forces-console.db3f1e1583":"Deveres de alto risco aplicam-se a partir de agosto de 2026","fw-forces-console.7d5dea3517":"Classe de alto risco","fw-forces-console.fc9319be13":"Supervisão","fw-forces-console.33de865a8d":"Trilha de auditoria","fw-forces-console.e572760e22":"Transparência e direitos","fw-forces-console.a66553defc":"A Wet open overheid exige transparência proativa. O Artigo 22 do GDPR limita decisões totalmente automatizadas. Juntos, implicam um direito à explicação que sistemas opacos não conseguem satisfazer.","fw-forces-console.92bdd065dc":"Um direito à explicação que uma caixa negra não pode cumprir","fw-forces-console.00f1a22430":"Direito de acesso","fw-forces-console.effe35cbfe":"Artigo 22","fw-forces-console.5780095c9a":"Sem opacidade","fw-forces-console.cc332864e5":"Risco institucional","fw-forces-console.4db9162a62":"Após o escândalo dos benefícios, a pontuação de risco opaca acarreta sério risco institucional e legal. A opacidade deixou de ser apenas um problema técnico; é uma exposição que a instituição carrega.","fw-forces-console.ff51896270":"A opacidade é agora uma exposição institucional","fw-forces-console.85694cda0d":"Jurisprudência","fw-forces-console.226a63e7da":"Pontuação de risco","fw-forces-console.645882c054":"Defensável","fw-forces-console.5359e40750":"três forças convergentes","fw-forces-console.ed020125c3":"uma resposta exigida","fw-forces-console.d1222178ef":"Pressão","fw-forces-console.5740db1403":"Cada força isoladamente é difícil para uma caixa negra. Juntas, tornam a IA determinística e explicável um requisito.","fw-forces-console.tag.23e1906abb":"RESPONSABILIDADE","fw-layer-pipeline.322d6f6a52":"Ingestão de metadados","fw-layer-pipeline.d6cab7f8e1":"Recolher e validar","fw-layer-pipeline.b79f5221e1":"Recolha, enriquecimento e validação de múltiplas fontes contra DCAT-AP, PROV-O e SHACL antes de qualquer coisa entrar no grafo.","fw-layer-pipeline.0cd2fb8509":"SHACL","fw-layer-pipeline.39ef854b2a":"Grafo de conhecimento","fw-layer-pipeline.12dc7c0f1c":"Associar e relacionar","fw-layer-pipeline.02782ea03d":"Associação semântica e raciocínio temporal sobre RDF e OWL, consultados com SPARQL. Este é o modelo do que existe.","fw-layer-pipeline.0b9301da26":"RDF, OWL","fw-layer-pipeline.22fa7067e0":"SPARQL","fw-layer-pipeline.d6bf07364a":"Otimização de restrições","fw-layer-pipeline.c358b2194a":"Selecionar e verificar","fw-layer-pipeline.42971c641f":"Seleção de fontes autoritativas e verificação de conformidade com um solver SMT, para que apenas inferências sólidas e permitidas sobrevivam.","fw-layer-pipeline.fa698ec19c":"Solver SMT","fw-layer-pipeline.68f0ae4911":"Conformidade","fw-layer-pipeline.8a356002cd":"Raciocínio e validação","fw-layer-pipeline.87f38468ee":"Derivar e provar","fw-layer-pipeline.ed95c1209a":"Derivação determinística através de satisfação de restrições. Cada conclusão traz um certificado de prova verificável por máquina. Uma resposta fluente que falha a prova não passa.","fw-layer-pipeline.54f333cc3d":"Certificado de prova","fw-layer-pipeline.f6798670ec":"Determinístico","fw-layer-pipeline.b0e9d1d8ea":"Tradução de linguagem","fw-layer-pipeline.1dedb4816c":"Apresentar em palavras","fw-layer-pipeline.3413f1549a":"Loom, com 528 especialistas de domínio e 4 a 8 ativos por consulta, fica estritamente a jusante. Apresenta a conclusão provada em linguagem simples para um cidadão ou técnico de caso, com o rasto completo anexado. Traduz a resposta, não a inventa.","fw-layer-pipeline.6a7b34bf54":"528 especialistas de domínio","fw-layer-pipeline.9ba3341afa":"Linguagem simples","fw-layer-pipeline.27f2979a5a":"resolução de consultas, 5 camadas","fw-layer-pipeline.864da142f6":"modular, reversível","fw-layer-pipeline.a618b4be8d":"Consulta","fw-layer-pipeline.a16a4eda7c":"Resposta","fw-layer-pipeline.1547106828":"Cada camada pode ser substituída de forma independente. Cada transição de estado é registada, e qualquer decisão pode ser re-derivada a partir dos primeiros princípios.","fw-pillar-triptych.13219b919f":"Unidades","fw-pillar-triptych.11009b8fdd":"Codificado em","fw-pillar-triptych.d018b082e8":"Tecnologia","fw-pillar-triptych.496e9438ab":"Filosofia","fw-pillar-triptych.f3bf54f8ea":"Motor de raciocínio","fw-pillar-triptych.6cdff89468":"Restrições SMT","fw-pillar-triptych.2b32d64169":"Ética, restrições legais e prioridades políticas, codificadas como restrições executáveis para um resolvedor SMT. Isto conduz o motor de raciocínio.","fw-pillar-triptych.750c2096f3":"Porque é importante","fw-pillar-triptych.de807e4187":"Porque é que é importante?","fw-pillar-triptych.fd6a003359":"AXIOLOGIA","fw-pillar-triptych.322d6f6a52":"Ingestão de metadados","fw-pillar-triptych.67a712862d":"PROV-O, SHACL","fw-pillar-triptych.db95cffad5":"Cadeias de proveniência, métricas de qualidade de dados e limites de incerteza, expressos em W3C PROV-O e SHACL. Isto conduz a ingestão de metadados.","fw-pillar-triptych.1a1c3a4fe1":"Como sabemos","fw-pillar-triptych.33892ffe32":"Como é que sabemos?","fw-pillar-triptych.15f0182b54":"EPISTEMOLOGIA","fw-pillar-triptych.39ef854b2a":"Grafo de conhecimento","fw-pillar-triptych.0b9301da26":"RDF, OWL","fw-pillar-triptych.d1917ccaf1":"Entidades, relações e modelos de domínio, expressos em RDF e OWL. Isto torna-se o grafo de conhecimento sobre o qual todo o sistema raciocina.","fw-pillar-triptych.84117de424":"O que existe","fw-pillar-triptych.e3b348e1ac":"O que é que existe realmente?","fw-pillar-triptych.e18d485d3a":"ONTOLOGIA","fw-pipeline-trace.e4724823ce":"Ingestão","fw-pipeline-trace.9535eaeea3":"analisar e carimbar","fw-pipeline-trace.e29c490194":"Registo de aplicação, documentos de origem","fw-pipeline-trace.a399c410a6":"Campos tipados, cada um com linhagem PROV-O","fw-pipeline-trace.deba93baae":"O registo bruto entra como entradas tipadas. A proveniência é anexada na fronteira, pelo que cada campo já sabe de onde veio antes de qualquer raciocínio começar.","fw-pipeline-trace.ac7f958cc0":"Resolver","fw-pipeline-trace.65f78df6f1":"ligar à ontologia","fw-pipeline-trace.b8d6c3782a":"Campos tipados","fw-pipeline-trace.3aa6d68e91":"Entidades e relações no grafo de conhecimento","fw-pipeline-trace.39f58b8447":"Os campos são ligados a uma ontologia RDF e OWL explícita, em vez de pesos aprendidos. A consulta torna-se um conjunto de nós de grafo que são consultáveis e reversíveis.","fw-pipeline-trace.0b9301da26":"RDF, OWL","fw-pipeline-trace.6752f198b5":"Validar","fw-pipeline-trace.9af59324c1":"disparar formas SHACL","fw-pipeline-trace.c8c53cc553":"Entidades do grafo","fw-pipeline-trace.204bf210d5":"As formas que correspondem, em vigor na data","fw-pipeline-trace.9e0c96e87c":"Regras políticas e legais, codificadas como formas SHACL, validam o grafo continuamente. A forma que dispara é a regra que estava em vigor, capturada como parte do rastreio.","fw-pipeline-trace.0cd2fb8509":"SHACL","fw-pipeline-trace.66ff36dea5":"Derivar","fw-pipeline-trace.6b13bb979b":"satisfação de restrições","fw-pipeline-trace.e5e41906cf":"Formas e entidades correspondentes","fw-pipeline-trace.e7f71c6a79":"Uma conclusão mais um certificado de prova verificável","fw-pipeline-trace.6b1f910d69":"A Core deriva o resultado por satisfação de restrições nos seus backends e emite um certificado verificável por máquina. Uma resposta fluente mas errada falha a prova aqui.","fw-pipeline-trace.54f333cc3d":"Certificado de prova","fw-pipeline-trace.25eaeaa8ff":"Frase","fw-pipeline-trace.28b7a79ab5":"palavras sobre uma prova","fw-pipeline-trace.62df428aa2":"Conclusão comprovada e rastreio","fw-pipeline-trace.441458444b":"Uma razão em linguagem simples com o rastreio anexado","fw-pipeline-trace.c3456accb3":"A Loom coloca a conclusão comprovada em palavras, a jusante da prova. A prosa nunca pode ultrapassar o que foi estabelecido, porque o certificado já existe.","fw-pipeline-trace.f68cece41b":"Rastreio anexado","fw-pipeline-trace.00c5cb6b35":"registo de rastreio","fw-pipeline-trace.bc239e408c":"cinco saltos, uma consulta","fw-pipeline-trace.1157410058":"Cada salto é registado, pelo que todo o rebaixamento é reproduzido bit a bit a partir das mesmas entradas.","fw-plain-steps.671a63dea7":"Quatro passos simples","fw-plain-steps.71103eabcb":"O mesmo caso entra, a mesma resposta sai. Sempre, para toda a gente.","fw-plain-steps.d5014d3ea1":"Como guardar o recibo, para poder mostrar sempre o que foi decidido e porquê.","fw-plain-steps.9a88d85c89":"Toda a razão fica guardada em palavras simples. Se perguntar mais tarde, a mesma resposta volta a aparecer.","fw-plain-steps.bba6e331eb":"A razão fica guardada para si","fw-plain-steps.54c25ae937":"Como um farmacêutico a verificar a receita antes de a entregar.","fw-plain-steps.d1926087ff":"Um gestor de processo nomeado analisa o resultado e concorda com ele. A máquina ajuda, a pessoa decide.","fw-plain-steps.8d0ae2672f":"Uma pessoa assina e aprova","fw-plain-steps.5e4212aa85":"Como uma receita seguida passo a passo, para obter sempre o mesmo pão.","fw-plain-steps.dab3a8db50":"A sua situação real é comparada com essa regra, ponto por ponto. Sem adivinhações, sem o avaliar como um número.","fw-plain-steps.940c1094d1":"O seu caso é verificado contra ela","fw-plain-steps.308f517901":"Como a lista de preços afixada nos correios. Igual para todos, antes de entrar.","fw-plain-steps.272f1e02c3":"O serviço começa com uma regra publicada que todos podem ler. Nada é decidido por palpite.","fw-plain-steps.bafc472c0f":"A regra é escrita primeiro","fw-proof-manifest.f5cffbecef":"A prova acompanha a resposta. Qualquer verificador confere-a sem perguntar ao solucionador.","fw-proof-manifest.e17d0a2260":"Verificado offline. Uma resposta fluente mas errada falha nesta verificação.","fw-proof-manifest.05b6c9b8c4":"verificação aion","fw-proof-manifest.0ca12cac8e":"# emitido em cada decisão, não acrescentado depois","fw-proof-manifest.28a40085e6":"segmento de cadeia SHA3-256, assinado com Ed25519","fw-proof-manifest.ff8fc1c58a":"Selo","fw-proof-manifest.5cc480d0fb":"Re-derivado bit a bit idêntico a partir das entradas","fw-proof-manifest.c0f85d6679":"Repetição","fw-proof-manifest.41338e8755":"O certificado verifica offline, em tempo linear","fw-proof-manifest.5f174de1cc":"Prova","fw-proof-manifest.acf4a4598e":"Restrições acionadas registadas, ordem preservada","fw-proof-manifest.ec8c6779f3":"Derivação","fw-proof-manifest.0d8520012d":"RGPD Art. 22, antes do efeito jurídico","fw-proof-manifest.d50fd92593":"certificado verificável por máquina","fw-proof-manifest.5073952e81":"regra em vigor na data","fw-proof-manifest.dde9dc7b12":"linhagem por campo","fw-proof-manifest.e94c35bba3":"modelo de domínio explícito","fw-proof-manifest.971b66096b":"a decisão sob prova","fw-standards-registry.464325d940":"RDF e OWL","fw-standards-registry.ef9e84a6f4":"Ontologia","fw-standards-registry.1152de3cb1":"O domínio é um grafo de conhecimento explícito e consultável, não pesos aprendidos. Entidades e relações são reversíveis.","fw-standards-registry.dd35a81646":"Proveniência","fw-standards-registry.e85377fd1e":"Cada campo transporta a sua origem, anexada na fronteira, para que qualquer valor possa ser rastreado até à sua fonte.","fw-standards-registry.0cd2fb8509":"SHACL","fw-standards-registry.52e68a873a":"Restrições","fw-standards-registry.5e0827594c":"As regras políticas e legais são formas executáveis por máquina que validam continuamente. Um valor torna-se uma restrição, não um comentário.","fw-standards-registry.d75a4de2ef":"Lei da IA da UE","fw-standards-registry.1e9cb061f2":"União Europeia","fw-standards-registry.876a33bc45":"Obrigações de alto risco","fw-standards-registry.ff205010f2":"Em vigor desde agosto de 2024, obrigações de alto risco a partir de agosto de 2026. Os sistemas de benefícios e elegibilidade devem ser explicáveis e supervisionados.","fw-standards-registry.5370b57f15":"RGPD Art. 22","fw-standards-registry.51d23cd0ff":"Decisões automatizadas","fw-standards-registry.959940d2bf":"Limita decisões totalmente automatizadas com efeito legal. A estrutura impõe uma intervenção humana antes de qualquer decisão desse tipo.","fw-standards-registry.31a268972d":"Wet open overheid","fw-standards-registry.fb61c8a8eb":"Países Baixos","fw-standards-registry.7cb338a916":"Transparência","fw-standards-registry.fac954a9b7":"Exige transparência proativa. A estrutura exporta registos legíveis por máquina e uma entrada no registo de algoritmos.","fw-standards-registry.712d23b76b":"Acórdão SyRI","fw-standards-registry.20dacc8679":"Tribunal Distrital de Haia, 2020","fw-standards-registry.85694cda0d":"Jurisprudência","fw-standards-registry.424a2a2ae3":"Anulou a pontuação de risco opaca. A transparência total e a proporcionalidade são impostas pela arquitetura, não apenas pela política.","fw-standards-registry.570464d942":"7 âncoras resolvidas","fw-standards-registry.7a86894eb2":"normas abertas, lei nomeada","fw-standards-registry.49f1ee455f":"Normas abertas do W3C","fw-standards-registry.bee831a169":"Substrato","fw-standards-registry.49c13680b9":"Lei nomeada e jurisprudência","fw-standards-registry.254e25a8ba":"Regulamentar","fw-standards-registry.f6ab75d87c":"Cada âncora mapeia para um artefacto concreto que o certificado de prova transporta, não uma lista de verificação anexada no final.","fw-substrate-inspector.e4724823ce":"Ingestão","fw-substrate-inspector.9625ac8e73":"Os documentos e registos de origem entram como entradas tipadas com proveniência anexada na fronteira. Cada campo transporta a sua origem.","fw-substrate-inspector.198a8e5416":"Linhagem PROV-O","fw-substrate-inspector.a97d2007fc":"Análise Reed","fw-substrate-inspector.da8abc8ba4":"Por campo","fw-substrate-inspector.dd35a81646":"Proveniência","fw-substrate-inspector.1b4306be38":"TYPED","fw-substrate-inspector.594e65dbff":"COM ORIGEM","fw-substrate-inspector.8e436c247e":"LIMITADO","fw-substrate-inspector.39ef854b2a":"Grafo de conhecimento","fw-substrate-inspector.eb8fe50b21":"O domínio é modelado como uma ontologia explícita, não como pesos aprendidos. Entidades e relações são de primeira classe, consultáveis e reversíveis.","fw-substrate-inspector.464325d940":"RDF e OWL","fw-substrate-inspector.5bce87dfce":"Armazenamento em grelha","fw-substrate-inspector.33a00b17c6":"1,36 ns","fw-substrate-inspector.2546591779":"Pesquisa rápida","fw-substrate-inspector.e18d485d3a":"ONTOLOGIA","fw-substrate-inspector.472e10fc5a":"CONSULTÁVEL","fw-substrate-inspector.9ffbbcc019":"REVERSÍVEL","fw-substrate-inspector.52e68a873a":"Restrições","fw-substrate-inspector.5714958246":"As regras políticas e legais são codificadas como formas executáveis por máquina que validam continuamente. Um valor torna-se uma restrição executável, não um comentário.","fw-substrate-inspector.39e6078545":"Formas SHACL","fw-substrate-inspector.7a3b6ad56d":"Governação Spindle","fw-substrate-inspector.04f2ccda19":"Contínua","fw-substrate-inspector.dd74d182c6":"Validação","fw-substrate-inspector.fbbcc2e674":"FORMAS","fw-substrate-inspector.31be469709":"POLÍTICA","fw-substrate-inspector.1fb5bdaaac":"APLICADA","fw-substrate-inspector.e272c597fd":"Raciocínio","fw-substrate-inspector.f4bd43eb48":"A derivação é executada por satisfação de restrições num motor binário multi-backend e emite uma prova verificável por máquina. Uma resposta fluente mas errada falha a prova.","fw-substrate-inspector.54f333cc3d":"Certificado de prova","fw-substrate-inspector.8700248a50":"Core, 12 backends","fw-substrate-inspector.39e75dc1ee":"Bit idêntico","fw-substrate-inspector.c0f85d6679":"Repetição","fw-substrate-inspector.402da56543":"DERIVADO","fw-substrate-inspector.3a3102136d":"COMPROVADO","fw-substrate-inspector.3c9e174d9c":"REPETÍVEL","fw-substrate-inspector.89b86ab0e6":"Linguagem","fw-substrate-inspector.be9adb65b1":"Loom coloca uma conclusão provada em palavras com o rasto anexado. Fica a jusante da prova, pelo que a prosa nunca pode ultrapassar o que foi estabelecido.","fw-substrate-inspector.f68cece41b":"Rasto anexado","fw-substrate-inspector.b3f56605d8":"Loom, 528 especialistas de domínio","fw-substrate-inspector.9f7b0a2185":"4 a 8","fw-substrate-inspector.400f7f6f51":"Ativos por consulta","fw-substrate-inspector.2ef4964d6e":"A JUSANTE","fw-substrate-inspector.1f21f6b37b":"FUNDAMENTADO","fw-substrate-inspector.fdf7016fa1":"CITED","fw-substrate-inspector.40ae9a357a":"cinco camadas resolvidas","fw-substrate-inspector.5ae3a9aac4":"repetição bit idêntico","fw-substrate-inspector.618b3abff3":"CPU-first, multi-backend, 96% menos energia do que uma pilha generativa. Cada camada substituível, cada transição registada.","fw-trinity-wheel.9998662e64":"Sozinho, falha","fw-trinity-wheel.29d43743c4":"SISTEMA","fw-trinity-wheel.10c471aa2a":"ONE","fw-trinity-wheel.c8110a477b":"Metadados, proveniência e conformidade formam um todo indivisível","fw-trinity-wheel.40310a0635":"Sem metadados, não tem assunto. O que está sequer a avaliar?","fw-trinity-wheel.7a9c3332ac":"Restrições vinculativas expressas como formas SHACL executáveis por máquina, avaliadas continuamente em vez de auditadas periodicamente. As regras são executadas, não ficam num PDF.","fw-trinity-wheel.0cd2fb8509":"SHACL","fw-trinity-wheel.68f0ae4911":"Conformidade","fw-trinity-wheel.0b9a45a663":"Sem conformidade, é legalmente inerte. Satisfaz as regras?","fw-trinity-wheel.0187e34d3d":"A linhagem completa de cada item, codificada em W3C PROV-O: de onde veio, cada transformação e o agente responsável em cada passo.","fw-trinity-wheel.50332bee09":"W3C PROV-O","fw-trinity-wheel.dd35a81646":"Proveniência","fw-trinity-wheel.6c67eb74c2":"Sem proveniência, não pode ser confiável. De onde veio?","fw-trinity-wheel.be481e534d":"Descrições estruturadas de cada ativo de dados, regidas por DCAT-AP 3.0, a norma europeia para catálogos de dados do setor público. Propriedade, direitos, ciclo de vida e estrutura.","fw-trinity-wheel.be02fd5aa1":"DCAT-AP 3.0","fw-trinity-wheel.251edc0eb5":"Metadados","fw-your-rights.dd5affb47f":"Construído para que o escritório cumpra a sua palavra","fw-your-rights.57afba73ec":"Estes não são favores. A lei europeia exige que um organismo público consiga explicar uma decisão que o afeta, e que uma pessoa se responsabilize por ela. O enquadramento é apenas o escritório a cumprir essa promessa.","fw-your-rights.5873334530":"Não precisa de ser uma pessoa de informática.","fw-your-rights.e0b0f57010":"As suas informações ficam no escritório, dentro da Europa. Não são enviadas para treinar um sistema construído para outra pessoa.","fw-your-rights.cad4a7d276":"Os seus dados ficam por perto","fw-your-rights.c2ad76115a":"Se parecer errado, pode pedir a uma pessoa que o analise novamente. Essa porta está sempre aberta.","fw-your-rights.abed035f54":"Uma forma de voltar a perguntar","fw-your-rights.68d5626596":"Uma máquina não pode ter a palavra final numa decisão que afeta a sua vida. Uma pessoa identificada tem.","fw-your-rights.e0cb62ceed":"Uma pessoa que decide","fw-your-rights.24091b0fa1":"Não é uma pontuação de cem. É uma razão em palavras, que indica a regra e a sua situação.","fw-your-rights.9d687f1d13":"Uma razão que pode ler","page-breadcrumb.c766e66518":"Trilho de navegação"}