{"block_close_oss.c33fd1fe9c":"Comunidad y ecosistema","core-extras.96d330537a":"Base IR","core-extras.bee831a169":"Sustrato","core-extras.61a0822826":"Aplicaciones en Core","core-extras.15438cc098":"no compatible","core-extras.ad565d9d01":"Función","core-extras.0155bf03e5":"Leyenda de segmentos","core-extras.8b7110078e":"Grupos de algoritmos por tipo de datos","core-extras.25ab4276a6":"Matriz de capacidades desplazable","open-source-aion.81f3904118":"Gobernanza del conocimiento basada en la procedencia de estilo AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Productos","open-source-aion.de5ec3713e":"Analizador certificable por Merkle que AION usa para el manejo de entradas.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Runtime verificado que empareja certificados AION con transcripciones de ejecución.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Procedencia de eventos para sistemas: registros encadenados por hash de lo que ocurrió, no de los pasos de razonamiento dentro de una decisión.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Seguir explorando","open-source-aion.75e393a1ac":"Explorar proyectos relacionados","open-source-aion.f9743247fa":"Leer la documentación","open-source-aion.ef0fd4ccef":"Inspeccionar la ruta de prueba","open-source-aion.77453cde44":"Ejecuta un certificado de ejemplo y compruébalo con aion check, cvc5 o cualquier verificador compatible con LRAT cuando el repositorio se publique. La publicación está prevista para el 1 de septiembre de 2026, y las instrucciones de instalación llegarán con ella.","open-source-aion.dd58b70279":"La prueba viaja con la respuesta","open-source-aion.90e40d5043":"Empezar","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Código abierto","open-source-aion.close.accent":"para que cualquiera pueda comprobarlo sin ti","open-source-aion.close.panel.title":"Lo que lleva un certificado","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Una forma, ocho campos","open-source-aion.close.panel.row.1.label":"Familias","open-source-aion.close.panel.row.1.value":"Nueve registradas y extensibles","open-source-aion.close.panel.row.2.label":"Comprobación","open-source-aion.close.panel.row.2.value":"Acotada, sin licencia, sin repetición","open-source-aion.close.panel.row.3.label":"Dónde se ejecuta","open-source-aion.close.panel.row.3.value":"En tu sitio, sin tráfico saliente","open-source-aion.close.panel.foot":"Un certificado sigue siendo pequeño y se puede volver a comprobar años después.","open-source-aion.ea722c81af":"Europeo","open-source-aion.26803e587f":"En el momento de la auditoría","open-source-aion.15edfb4da4":"Hecho en","open-source-aion.75f527181b":"Sin conexión","open-source-aion.f8c94a3b4b":"Qué es","open-source-aion.6b5eb5323e":"Sin conexión, tiempo lineal","open-source-aion.a49b62e167":"Racionales exactos","open-source-aion.45f053dc73":"Aritmética","open-source-aion.4329e5da7b":"11 dominios lógicos","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Formatos de prueba","open-source-aion.87415af880":"Certificados de prueba","open-source-aion.9c8c22f54d":"Evidencia, no garantías","open-source-aion.44ab85a252":"Origen","open-source-aion.3271776def":"Sin conexión, sin servicio","open-source-aion.03128bed90":"Verificación","open-source-aion.4f1428fca3":"Hardware que controlas","open-source-aion.5703321d0e":"Se ejecuta en","open-source-aion.978e9ec250":"Estándar, portátil","open-source-aion.3229609e15":"Verificación","open-source-aion.cba0624eb5":"Registro de verificación","open-source-aion.26ef011865":"Ver dónde se ejecuta","open-source-aion.6f696724c6":"Ver la ruta de verificación","open-source-aion.a3f1131acb":"AION es infraestructura de prueba para decisiones de IA, pública desde el 1 de septiembre de 2026. Emite una prueba compacta junto al resultado de IA, y un verificador independiente recorre esa prueba contra las premisas originales y la acepta o rechaza sin el modelo, la sesión del solver ni la red.","open-source-aion.a2831cb958":"para decisiones de IA comprobadas de forma independiente","open-source-aion.78db6d1920":"Infraestructura de prueba","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Nunca te limites a confiar","open-source-aion.4c1c703b94":"La idea","open-source-aion.2518be9b9c":"No es necesario","open-source-aion.4ab2910209":"Tu cuenta","open-source-aion.3477f4d91d":"La misma respuesta","open-source-aion.d7e70b6e08":"Misma pregunta","open-source-aion.930888ee28":"Sin internet","open-source-aion.d072f5db48":"Comprobando necesidades","open-source-aion.576347ec82":"Europa","open-source-aion.eeffc514bd":"No, otros lo usan por ti","open-source-aion.cef1deea41":"Tú lo construyes","open-source-aion.64ae43e8fe":"Verificación de pruebas","open-source-aion.fdd1e56642":"Un recibo para respuestas","open-source-aion.704869f20f":"En palabras sencillas","open-source-aion.658a8547d7":"¿Es seguro?","open-source-aion.06c805023d":"Una razón que puedes llevar contigo","open-source-aion.e92ed103c2":"AION añade un recibo comprobable a una respuesta de IA. Tu asistente puede decirte si el razonamiento se sostiene sin pedirte que entiendas la maquinaria, y el recibo se puede volver a comprobar sin conexión a internet. AION es público desde el 1 de septiembre de 2026, el día en que también se publica su documentación.","open-source-aion.336366183a":"para decisiones de IA","open-source-aion.41cbc965ef":"Un recibo comprobable","open-source-aion.4eabc3bc63":"CDCL con plugins de teoría","open-source-aion.68836c550e":"Núcleo","open-source-aion.0cdb7c9a36":"Tiempo lineal, sin conexión","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teorías","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Idioma","open-source-aion.942587e61e":"Ficha del proyecto","open-source-aion.d4a74b503a":"Leer la documentación","open-source-aion.b683cc6ce4":"AION abre el programa el 1 de septiembre de 2026: infraestructura de pruebas para decisiones de IA, con el repositorio y su documentación publicados juntos. Las explicaciones a posteriori solo te piden que confíes en otro relato del mismo sistema. AION, en cambio, emite un certificado de prueba que cualquier verificador puede comprobar sin conexión, en tiempo lineal, sin el solucionador.","open-source-aion.8f2ee5be83":"Resultados de IA","open-source-aion.376868cca2":"para verificados de forma independiente","open-source-aion.hero.source":"Pregunta por el lanzamiento","open-source-aion.45471af790":"Procedencia de eventos","open-source-aion.ac9835d4bd":"Transcripciones de ejecución","open-source-aion.24f43d4446":"Árboles de sintaxis","open-source-aion.f6b229e148":"Tus archivos, tu hardware, tus números y un verificador que lee la prueba de un desconocido","open-source-aion.144fbc96c6":"CONTADO","open-source-aion.719075bb86":"ANALIZAR Y RESOLVER","open-source-aion.8f84ba12df":"TUS PROPIOS ARCHIVOS","open-source-aion.8f088dbc07":"Eso es una evaluación de dos semanas con un resultado por escrito en lugar de una demostración. El corpus es tuyo, el hardware es tuyo, los números son tuyos para publicar internamente, y nada del ejercicio requiere una conversación con nosotros. El kit se incluye con el repositorio, así que la ejecución puede comenzar el día en que llegue el acceso.","open-source-aion.36ef075645":"Correcto no es la opinión de AION sobre sí mismo. Cada archivo en un corpus estándar lleva el estado que se sabe que tiene, y el kit compara la respuesta de AION con esa anotación caso por caso, de modo que el recuento final es una puntuación frente a una verdad de referencia declarada. El espacio de direcciones por ejecución se puede limitar, lo que evita que un archivo patológico arrastre consigo una máquina.","open-source-aion.e5bce47d50":"Lo que produce un piloto","open-source-aion.680f97998b":"AION incluye un kit de evaluación comparativa, así que los números que citas en un caso de negocio son los que tus propios archivos produjeron en tu propio hardware. Apúntalo a un corpus y registra el tiempo de análisis, el tiempo de resolución y la memoria máxima residente para cada instancia, y luego imprime un recuento de cuántas respuestas fueron correctas. La ejecución se repite sobre el mismo corpus, de modo que una segunda evaluación se puede comparar con la primera línea por línea.","open-source-aion.2d5f8acea9":"y lee los números","open-source-aion.5586707b63":"Ejecuta tus propios archivos primero","open-source-aion.67ec8d614c":"Antes de comprometerte","open-source-aion.55744ee096":"Incluso con todo eso, alguien cuestionará un resultado. Eso necesita una vía, no una reunión","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"VISTO EN DIRECTO","open-source-aion.24538c3986":"MARGEN, NO ALARMA","open-source-aion.368f25d10d":"En algún momento antes de esa última fecha hubo un día en que el trabajo aún era de una tarde, y ese es el día que un gestor quiere marcado, porque cada opción posterior cuesta más. Leer el margen a diario es cómo se encuentra ese día.","open-source-aion.c5701049a8":"El informe tiene un responsable en lugar de una cola, y cada línea implica una pieza de trabajo diferente con una urgencia diferente. Una está completa y no requiere acción de nadie. Una tiene cuatro días restantes, lo que la convierte en el plan de esta semana en lugar del de hoy. Una tiene un solo día restante, lo que la convierte en el trabajo de esta mañana. Una lleva dos semanas pasada su fecha, lo que necesita un nombre asociado y una frase que explique la brecha.","open-source-aion.26435b9406":"Cualquier cosa con una fecha límite se puede vigilar mientras se ejecuta, y AION informa el margen restante como un número con signo en lugar de un aprobado. Una ventana de respuesta con cuatro días restantes. Un período de retención dos semanas después de la fecha en que debería haber cerrado. Esa es una lectura operativa sobre la que alguien puede actuar esta mañana. El número se mueve cada día, así que el informe se lee como un margen en lugar de como una alarma.","open-source-aion.f49579b8d6":"antes de que se convierta en una infracción","open-source-aion.0e185152c8":"Lees el margen a diario","open-source-aion.bc09e774e9":"Obligaciones en vivo","open-source-aion.cff8079f65":"Los registros responden preguntas después del hecho. Algunas obligaciones necesitan vigilancia mientras se ejecutan","open-source-aion.127edee78d":"FIRMADO","open-source-aion.b1c1ba1af8":"UNA LISTA","open-source-aion.8d27ef68f5":"SIETE PUEDEN MOVERSE","open-source-aion.c84f34cb7c":"La atribución es un segundo mecanismo en lugar de otra columna del mismo registro. Se aplica una firma sobre el orden de derivación, de modo que quién produjo un resultado sobrevive a un cambio de contratista, y dos respuestas idénticas de dos proveedores siguen siendo distinguibles. Eso se mantiene incluso cuando ambas se produjeron a partir de las mismas entradas declaradas.","open-source-aion.a76201631f":"Cada entrada de esa lista nombra el componente que cambió, y el certificado almacenado detrás es completo, así que volver a comprobar es una ejecución en lugar de una reconstrucción. La alternativa, que es lo que tienen la mayoría de las organizaciones, es una elección entre reexaminarlo todo y no reexaminar nada, y en la práctica esa elección siempre se hace de la misma manera.","open-source-aion.5c82441a97":"El registro","open-source-aion.10d9103c24":"Un resultado aceptado el año pasado se aceptó bajo el contrato del año pasado. Siete cosas diferentes pueden moverse debajo: una regla de verificador, un esquema de certificado, una política, una regla de compilador, un contrato de tiempo de ejecución, una versión de modelo o un contrato de simulación. Cuando una de ellas se mueve, la pregunta de qué conclusiones pasadas se basaban en la parte que cambió tiene una respuesta, y la respuesta es una lista.","open-source-aion.1829734913":"obtienes una lista para rehacer","open-source-aion.6d49555943":"Cuando una regla cambia más tarde","open-source-aion.7f325552d8":"Su pista de auditoría, con versiones","open-source-aion.d272027f73":"Un registro local es fácil de mantener. Mantenerlo significativo cuando cambian las reglas es más difícil","open-source-aion.05a898ec87":"SIN HOST DE MODELO","open-source-aion.c530254e40":"SU SITIO","open-source-aion.66b3dbbe8f":"SIN LLAMADA SALIENTE","open-source-aion.8ae7a1670e":"Para un delegado de protección de datos que responde a una breve lista de preguntas sobre esta ruta, y solo esta ruta: ningún procesador que añadir a un registro, ninguna transferencia que justificar, ningún proveedor de modelos en la cadena, y nada nuestro que pueda no estar disponible durante su incidente o cambiar bajo sus pies según el calendario de lanzamiento de otra persona. La compilación que tiene es la que se ejecuta el año que viene. Esa respuesta es la misma tanto si el sitio está conectado como aislado.","open-source-aion.60ad7ae15b":"Dos rutas pueden cruzar un límite y ambas son configurables por usted. Un clúster se ejecuta sobre direcciones que usted mismo establece. Un verificador externo, si quiere uno en el circuito, es un programa que instala y que se ejecuta como un proceso local en su propia máquina.","open-source-aion.2f6a307ba7":"Para operadores","open-source-aion.dbc08c41b9":"La compilación predeterminada de AION no incluye ningún cliente saliente. Comprobar una prueba, traducir un requisito, supervisar una señal y ejecutar la búsqueda ocurren en la máquina donde los inició, dentro de su propio límite, en hardware que usted controla. No hay ningún modelo alojado en la cadena ni ninguna ruta hacia uno. La misma compilación se ejecuta en una sala aislada que en una conectada, porque nada en la ruta predeterminada necesita una red para terminar.","open-source-aion.90c790a231":"y nada llama hacia afuera","open-source-aion.4b9230d5db":"Todo se ejecuta en el sitio","open-source-aion.fe7f7fc61a":"Dónde ocurre el trabajo","open-source-aion.ed461cacdf":"Una prueba sobre las reglas es una cosa. Dónde se ejecuta el trabajo es la siguiente pregunta que la gente hace","open-source-aion.640d41197b":"UNO TRABAJADO","open-source-aion.29ff0fb82f":"SIETE DECLARACIONES","open-source-aion.431d64456a":"Esa es una declaración sobre el conjunto de reglas, no una muestra de casos pasados. Probar mil aplicaciones muestra mil aplicaciones; una comprobación de no interferencia cubre cada par que las reglas permiten, usando autocomposición, alcanzabilidad dirigida por propiedades e inducción k, con la abstracción ajustada donde un par mostró que era demasiado laxa. Cuando no se cumple, lo que se devuelve no es una estadística. Son dos aplicaciones idénticas en todos los campos públicos, que difieren en el que usted preguntó, con dos resultados diferentes impresos lado a lado. Eso es un hallazgo en el que un oficial de cumplimiento puede actuar esa misma mañana.","open-source-aion.e5e1cd5506":"Tome la que los reguladores y los denunciantes preguntan con más frecuencia, en diferentes palabras: ¿este campo cambió el resultado? Se responde como una propiedad sobre dos ejecuciones. Ate todas las entradas públicas, deje el campo en cuestión libre en cada lado y exija que el resultado visible coincida. Si siempre coincide, el resultado no dependía de ese campo.","open-source-aion.227872d789":"Uno de ellos, trabajado","open-source-aion.5f92fd5ed1":"Un certificado solo es interesante por la frase que le permite decir. Este binario corresponde a este gráfico fuente. Esta carga de trabajo se ejecutó bajo estas capacidades. Esta acción tuvo la aprobación requerida. Este óptimo cumple este límite. Esta trayectoria respetó estos invariantes. Esta conclusión se sigue de estas restricciones. Esta salida provino de este modelo y conjunto de parámetros exactos.","open-source-aion.418a3bc2fc":"puestas ante un regulador","open-source-aion.7a7af31402":"Siete declaraciones que puede","open-source-aion.a13c1cf72d":"Lo que realmente puede probar","open-source-aion.20467ce964":"Un caso trata sobre una aplicación. Algunas preguntas tratan sobre dos a la vez","open-source-aion.dde18d1e41":"QUIÉN LO POSEE","open-source-aion.f3b603a5b2":"EN VALORES","open-source-aion.53d2799375":"EL CASO","open-source-aion.f18bb15530":"Ambos son hallazgos, y ambos tienen un propietario. Ninguno está disponible a partir de un aprobado o un suspenso. El contraejemplo es lo que le dice cuál de los dos está sosteniendo.","open-source-aion.d83e9c1af9":"El contraejemplo también termina discusiones que de otro modo durarían semanas, porque no es la opinión de nadie sobre si la regla es demasiado estricta. Es un caso, dibujado con los valores reales sobre los que la regla trabaja. O el caso es posible en algún lugar de su negocio, en cuyo caso la regla es correcta y el sistema está mal, o el caso no puede ocurrir, en cuyo caso la especificación carece de una restricción que todos asumieron y nadie escribió.","open-source-aion.7455444aea":"Cuando una regla no se cumple, AION devuelve la situación específica que la rompe, escrita como prosa: qué valores, de qué tipo, y qué condiciones violan. Un ingeniero puede reproducirla y un gerente puede valorarla, y por una vez los dos discuten sobre el mismo caso.","open-source-aion.7d4873637b":"como el caso que la rompió","open-source-aion.aeb268fac7":"Una regla rota vuelve","open-source-aion.b5951203ea":"Lo que un fallo le entrega","open-source-aion.8a9a27b8f7":"Lo que deja son las frases que pueden significar dos cosas, y esas se preguntan","open-source-aion.e1814a04c0":"REVISABLE","open-source-aion.20e7dea6cd":"LECTURA SENCILLA","open-source-aion.295ea7bb80":"INGLÉS CONSERVADO","open-source-aion.a4abbaea33":"La traducción es una biblioteca de patrones en lugar de un modelo, por lo que la misma frase siempre produce la misma lectura, y una revisión no tiene que repetirse porque la herramienta cambió de opinión entre un trimestre y el siguiente. Un segundo revisor que lea la misma frase llega a la misma condición, que es lo que hace que una revisión sea transferible.","open-source-aion.f3689055f1":"Cada condición llega con una frase de inglés sencillo que dice lo que codifica, y con las cantidades sobre las que trabaja, cada una nombrada con el tipo de valor que contiene y su propia línea de descripción. Así, la revisión puede hacerla la persona que posee el requisito, no solo la que posee la notación.","open-source-aion.cac3da045e":"Cómo se cumple","open-source-aion.c6b765e4cc":"Los requisitos los escriben personas que entienden el negocio y se convierten en condiciones por personas que entienden la notación, y las dos versiones acaban divergiendo durante años. AION las mantiene unidas: escribes el requisito como una frase en inglés, y la condición generada a partir de él lleva tu frase consigo. El revisor lee ambas juntas, así que la divergencia aparece en la página y no en un incidente.","open-source-aion.589a38f560":"a la persona que lo preguntó","open-source-aion.5d212c3d75":"La regla sigue siendo legible","open-source-aion.5373332e20":"Quién puede leer lo que se comprobó","open-source-aion.5f882ec681":"Una referencia solo es útil si la regla a la que apunta es legible para tu propia gente","open-source-aion.bca8d6442c":"ACCIONABLE","open-source-aion.705bc98c49":"NOMBRA LA REGLA","open-source-aion.ab9f5d57e4":"NOMBRA EL PASO","open-source-aion.b4ba975800":"Mantenerlos separados es lo que permite enviar una negativa a un proveedor, porque una acusación es lo único que no puedes retirar en silencio de una relación con un proveedor.","open-source-aion.7a47f854de":"Esa forma es la que un auditor o un gestor de proveedores puede usar, porque convierte un desacuerdo en una referencia. AION también separa dos fallos que llegan bajo una misma palabra. O el paso no se reconstruye, lo que es un defecto en la prueba y una observación contra quien la produjo, o el paso usa una regla que este verificador no incluye, lo que es una cuestión de alcance para ti y no una observación contra nadie.","open-source-aion.d9469b7dda":"Un fallo que dice verificación fallida no se puede asignar, discutir ni corregir, y llega como una disputa en lugar de una observación. AION devuelve una ubicación y un motivo: qué paso, en qué archivo, qué regla decía aplicar y qué faltaba al reconstruir el paso. La negativa puede volver al equipo productor con una dirección reproducible. Si la prueba no se puede reconstruir, la responsabilidad es del productor; si al verificador le falta la regla nombrada, es una decisión de alcance. Son colas distintas y correcciones distintas.","open-source-aion.ccc6a09991":"con el paso y el motivo","open-source-aion.3619f211ef":"Una comprobación fallida vuelve","open-source-aion.29801085dc":"La salida que tiene que ser utilizable","open-source-aion.57c6ba11fc":"Siete productores mantienen su propia salida. AION estandariza el sobre y el enrutado de sus evidencias.","open-source-aion.f37804f36b":"UN SOBRE","open-source-aion.8a3b4bf313":"SIETE PRODUCTORES","open-source-aion.479f1de8ea":"El sobre compartido le da a la organización un registro único, un modelo de compatibilidad único y un conjunto afectado único cuando cambia una regla. Cada familia de certificados mantiene su propio verificador y sus reglas de rechazo. Una familia nueva se une registrando esas reglas y su verificador; AION no se convierte en el productor. El registro es la parte que crece.","open-source-aion.5b958e86c7":"Un solucionador puede emitir certificados lógicos, de optimización o temporales. Twin y FMI producen salidas distintas pero comparten la familia de simulación y FMI. El productor dice qué se hizo; la familia de certificados dice cómo se comprueba su afirmación. Ambos se registran por separado, así que ninguno se puede deducir del otro.","open-source-aion.57e1cc2701":"Lo que cambia un sobre","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin y FMI son siete productores de salidas distintas, no siete familias de certificados. AION da a sus evidencias un sobre único y enruta cada certificado a su verificador específico de familia. El sobre lleva el productor, la familia, el esquema y las entradas declaradas, mientras que el verificador de familia mantiene el significado técnico. Un proveedor puede cambiar su implementación sin cambiar el límite de evidencia de la organización; solo un cambio de familia o de esquema amplía la revisión de compatibilidad.","open-source-aion.65a41e884e":"un sobre para la evidencia","open-source-aion.837663a52a":"Siete productores, y","open-source-aion.647e0f46ec":"Siete productores","open-source-aion.af6010147d":"Un proveedor es una relación. La pregunta interesante es hasta dónde llega esto","open-source-aion.35ecafecfb":"TU MÁQUINA","open-source-aion.0676f9f8de":"TRES COSAS","open-source-aion.dfc87eabb4":"Eso mueve la conversación fuera del terreno donde los proveedores se sienten cómodos. Ya no les pides que te convenzan, ni pagas por reproducir su entorno. Una vez que tienes las tres cosas, la comprobación es tuya para repetirla cuando quieras, en el hardware que quieras, incluso la semana después de que termine el contrato.","open-source-aion.7677ed77e3":"Vale la pena ser preciso sobre el artefacto, porque no siempre es un archivo. Según la familia, puede ser un archivo, un archivo comprimido, un flujo, un paquete firmado, un par de trazas, un testigo, un recibo de ejecución o una derivación estructurada. Lo que siempre es, sea cual sea su forma, es algo que un verificador puede leer sin que el productor esté presente.","open-source-aion.a29def781f":"Qué es realmente un certificado","open-source-aion.fdca1fef67":"Un certificado no es un registro ni un resumen. Es la evidencia que dejó el trabajo, y lo que un proveedor entrega son tres cosas: la afirmación, las entradas declaradas y el contrato contra el que se hizo, y el certificado que produjo el sistema. No su licencia, no su versión, no su máquina. Esas tres viajan juntas, y comprobarlas no requiere nada más del proveedor.","open-source-aion.b054d236cd":"en lugar de su software","open-source-aion.53e1575f60":"Compruebas el certificado","open-source-aion.5e40f4ba8a":"El cambio de posición","open-source-aion.b9e2767b28":"Hay una vía que no es ni creerles ni volver a ejecutar su software","open-source-aion.7d87348ad6":"TU NOMBRE EN ELLO","open-source-aion.48a5aca907":"SU SISTEMA","open-source-aion.32c3cafa08":"Esa es la posición que un auditor observa cuando pregunta cómo te has asegurado, incluso bajo reglas de evidencia como las de la Ley de IA de la UE. AION la cambia dando a cada uno de esos resultados un certificado que puedes comprobar, sin reproducir al proveedor y sin acceso a nada que consideren suyo. La comprobación se ejecuta en tu propia máquina, solo contra el certificado.","open-source-aion.ac90e72b2c":"Las rutas habituales para salir terminan en el mismo sitio. Puedes pedir su evidencia, que es un documento que escribieron sobre su propio software. O puedes pedir reproducir su sistema tú mismo, lo que requiere su licencia, su versión y su entorno, y aun así sigues dependiendo de lo que produjo la respuesta.","open-source-aion.fc63c534d2":"Un solucionador dice que el calendario es viable. Un sistema de IA llega a una conclusión regulada. Un sistema agente realiza una operación en tu nombre. Un compilador produce un artefacto crítico para la seguridad. Un runtime ejecuta una carga de trabajo controlada. Una simulación valida una decisión de diseño. Un gemelo digital informa de que un estado operativo es seguro. En todos esos casos, el trabajo ocurrió en otro lugar y la consecuencia recae sobre ti.","open-source-aion.c9672e2ac8":"tu nombre está en la respuesta","open-source-aion.925d7b4a2d":"Su sistema lo produjo","open-source-aion.47b025f850":"Dónde recae la responsabilidad","open-source-aion.905aee629b":"El procedimiento, una razón que puedes leer y la misma regla para todos los que afecta","open-source-aion.4d0ee37058":"UNA FECHA","open-source-aion.6ccb4a6f6a":"MISMA RAZÓN","open-source-aion.84adcc762b":"MISMA COMPROBACIÓN","open-source-aion.56c6f422d8":"Eso es una carta que alguien puede escribir. En lugar de decir que el sistema decidió, puedes citar la regla, nombrar la fecha, nombrar la versión y preguntar a quien la escribió si eso es lo que quería decir.","open-source-aion.073cdea47b":"Eso solo vale si puedes verlo, así que lo que te queda son tres cosas que puedes usar. La regla, en palabras corrientes que puedas leer en voz alta. La razón por la que se aplicó a ti, citando esa regla con tu propia situación. Y la fecha en que se comprobó el procedimiento. Ese registro nombra qué lo comprobó y contra qué versión de las reglas se comprobó.","open-source-aion.a50f912efb":"Qué puedes hacer con ello","open-source-aion.1d94c73b03":"Entrega el mismo procedimiento a AION dos veces y la comprobación sale igual, el lunes y el viernes, para ti y para la persona que está detrás de ti en la cola. No es que todos reciban la misma respuesta, porque la gente trae situaciones distintas. Es que la comprobación en sí no varía, y nadie interpreta tu caso sobre la marcha. Un año después, el mismo procedimiento se comprueba con las mismas reglas escritas, así que una respuesta que te dieron todavía se puede explicar.","open-source-aion.fba7a52bf4":"el lunes y el viernes","open-source-aion.77a3327a99":"Comprobado de la misma manera","open-source-aion.cebde51ae2":"Lo que te queda","open-source-aion.a566f0cb1b":"El tiempo es un tipo de regla. La mayoría son del tipo corriente, aplicadas a todos","open-source-aion.29231cd04d":"A TIEMPO","open-source-aion.d89f7642e7":"VIGILADO","open-source-aion.5d491ce50f":"DÍAS RESTANTES","open-source-aion.c50722f442":"La misma lectura funciona después de la fecha tanto como antes. Catorce días pasados es un hecho del que se puede preguntar a alguien, con una fecha adjunta, en lugar de una marca roja que llegó sin aviso.","open-source-aion.0b1cbd5f8a":"Un aprobado no te dice nada hasta el momento en que deja de ser un aprobado, y para entonces las opciones baratas ya no están. Un número te dice dónde estás: veintidós días restantes es una nota en la agenda, cuatro días restantes es esta semana, un día restante es esta mañana.","open-source-aion.af41b675b0":"Qué te aporta eso","open-source-aion.2ff91b62ec":"Las reglas con un reloj dentro son las que pillan a la gente. Una respuesta debida en treinta días, una ventana de reembolso, un periodo tras el cual algo tiene que borrarse. AION las vigila mientras se ejecutan e informa de cuánto margen queda hoy, como un número de días.","open-source-aion.94dc6c2b80":"mucho antes del último","open-source-aion.6bdbc0422a":"Puedes ver los días restantes","open-source-aion.37f768721f":"Plazos que te afectan","open-source-aion.e3c2d4b24a":"Trabajar sobre la marcha también significa que puede vigilar el reloj por ti","open-source-aion.4ace2cc9bc":"SIN CUENTA","open-source-aion.c5c3055a7b":"NADA ENVIADO","open-source-aion.a5b9137c2b":"SE QUEDA AQUÍ","open-source-aion.874bab5372":"Si hay alguna conexión, es una que alguien configuró deliberadamente entre sus propias máquinas, y está apagada hasta que ellos la activan. Tu frase se lee con reglas escritas, en la misma sala que tú, y la respuesta llega con la línea caída. Nada salió de la máquina para producirla, y no se envió nada.","open-source-aion.4a03f17947":"Sin cuenta, sin registro y sin servicio externo que tenga que estar funcionando, o ser de fiar, o seguir en el negocio el año que viene, para que obtengas una respuesta.","open-source-aion.f10eb79b5b":"Qué significa eso para ti","open-source-aion.c17d4e01b4":"Muchas herramientas responden a una pregunta sobre ti enviando tus datos y esperando una respuesta. Tu información viajó, a una empresa que no elegiste, posiblemente a un país cuyo nombre nunca oirás. AION hace el trabajo donde ya está. No se envía nada, porque no hay nada con qué enviarlo.","open-source-aion.9e50609149":"en la máquina en la que estás","open-source-aion.ca67037369":"La respuesta se calcula","open-source-aion.7df600af96":"A dónde van tus datos","open-source-aion.399483042a":"Que te pregunten es una mitad. La otra mitad es lo que te dicen cuando la respuesta es no","open-source-aion.0b5b7048ea":"TÚ ELIGES","open-source-aion.f12c755afa":"TE PREGUNTA","open-source-aion.300453f44e":"DOS SIGNIFICADOS","open-source-aion.6debd2c487":"Lo cual suena a una pequeña cortesía. Es la diferencia entre una regla que aceptaste y una regla que alguien adivinó en tu nombre, con prisa, en un día en que no estabas. La suposición es la forma habitual de hacer esto, y a nadie se le dice nunca que ocurrió. Preguntar cuesta un momento y elimina la suposición del registro.","open-source-aion.6f02dd9d43":"AION se detiene y pregunta. Te cita las palabras sobre las que no está seguro, expone ambas lecturas en lenguaje sencillo, plantea una pregunta con tu propia frase dentro y espera. Tú eliges. Nada se decide mientras la pregunta está abierta.","open-source-aion.0ccfcd0de4":"Qué cambia","open-source-aion.b3124516ab":"«Cancela si el retraso es de más de una hora». ¿Un retraso de setenta y cinco minutos es más de una hora, o las horas se cuentan enteras, de modo que setenta y cinco minutos es una hora y una hora no es más de una? Ambas lecturas son inglés corriente. Discrepan en exactamente un caso, y ese caso va a aparecer.","open-source-aion.4449c95cf9":"significa dos cosas, pregunta","open-source-aion.75ca04ac1b":"Si tu frase puede","open-source-aion.2297deb89a":"Cuando tu frase no está clara","open-source-aion.32cf0852b8":"Una frase también puede significar dos cosas a la vez, y eso merece que te detengas","open-source-aion.b5d2541ad8":"SIN JERGAS","open-source-aion.3b7c198e57":"VUELVE","open-source-aion.c4cc4b9845":"TUS PROPIAS PALABRAS","open-source-aion.5c9a5c3396":"Y cuando la misma frase se lee de nuevo, produce exactamente la misma regla, porque nada en AION aprende, se desvía o tiene una idea mejor mientras tanto. Una regla que aceptaste una vez sigue siendo la regla que aceptaste, y la persona que la recibe lee tu frase, no el resumen de alguien. Nada en el camino la convierte en palabras de otros.","open-source-aion.ba41f25c15":"De conservar la frase se derivan dos cosas. Puedes saber si se entendió el día que la escribiste, leyéndola, en lugar de enterarte por un incidente un año después.","open-source-aion.c19473d784":"Escribe la regla con palabras normales y AION conserva esas palabras. Lo cual parece un pequeño detalle hasta el día en que importa: meses después, cuando algo se detiene por esa regla, la frase que escribiste vuelve al principio de la explicación, con las palabras que elegiste.","open-source-aion.4c0e51d183":"lo dirías en voz alta","open-source-aion.dcf65c0f8a":"Escribe la regla como","open-source-aion.e1a651b90e":"Decir lo que quieres","open-source-aion.beda6f7681":"Rehacer una suma requiere que la suma esté escrita. Lo mismo ocurre con una regla, y la tuya puede ser una frase","open-source-aion.ef6371cd2e":"SE DETIENE","open-source-aion.47ce22a1f7":"PASO A PASO","open-source-aion.9195df51f1":"UNA SEGUNDA LECTURA","open-source-aion.b66352de76":"La detención es la mitad importante. Cualquiera puede estar de acuerdo contigo. Algo que se detenga y señale la línea vale la pena tenerlo, y hay muy poco de eso.","open-source-aion.e04fafc8fc":"AION vuelve a sumar la columna. No para facturas, sino para el tipo de trabajo más difícil que hacen las máquinas cuando deciden que algo está permitido, es seguro o imposible, cuando construyen algo, cuando ejecutan algo en tu nombre o cuando calculan qué pasaría antes de que nadie lo intente. Lee el trabajo que escribió la primera máquina, repite cada paso por sí mismo y se detiene en el primero que no puede hacer cuadrar.","open-source-aion.b55b759c73":"Cuando una factura parece incorrecta, no discutes si el total es correcto. Vuelves a sumar la columna tú mismo. Si obtienes el mismo número, el total se mantiene. Si te detienes en la cuarta línea porque no cuadra, puedes decir exactamente qué línea, y la discusión termina en una frase.","open-source-aion.59141b0dfa":"en lugar de fiarte de tu palabra","open-source-aion.fa22d5033b":"Alguien rehace la suma","open-source-aion.333a6c87f2":"un cambio produce un conjunto afectado y una cola, no una reinterpretación silenciosa del pasado","open-source-aion.0eecb96558":"son cinco hechos","open-source-aion.59e22ed738":"producido, firmado, verificado, aceptado y aún compatible","open-source-aion.d78c662e5b":"comprobado, no asumido","open-source-aion.5b44284acd":"aún compatible con","open-source-aion.cc4bc74f90":"con una versión de contrato","open-source-aion.3bb51eeea5":"aceptado bajo","open-source-aion.72954f75cf":"con una versión de verificador","open-source-aion.3741770a87":"verificado por","open-source-aion.7fc7c8aef9":"sobre un hash del orden de derivación","open-source-aion.d2a7817a72":"firmado por","open-source-aion.9d7c5e8097":"con una versión","open-source-aion.8fffa5fcb8":"producido por","open-source-aion.756e62f03a":"Un resultado, cinco hechos","open-source-aion.2b8be4ecd3":"La atribución funciona con su propio mecanismo: una firma Ed25519 sobre un hash BLAKE3 del orden de derivación, con un nonce monótono y una marca de tiempo, comprobable con la clave pública del productor. La aceptación funciona con otro, que lleva la identidad y la versión del verificador y la versión de contrato que concedió. Cuando algo subyacente se mueve, una regla de verificador, un esquema de certificado, una política, una regla de compilador, un contrato de tiempo de ejecución o una versión de modelo, los certificados que declararon una dependencia de ello forman un conjunto afectado y se ponen en cola para volver a comprobarse, con el componente cambiado nombrado.","open-source-aion.6b8169d142":"Un veredicto por sí solo es una palabra sin autor. Cinco hechos que normalmente se funden en uno se mantienen separados aquí: quién produjo un resultado, quién lo firmó, qué lo verificó, bajo qué contrato se aceptó y si sigue siendo compatible con las reglas tal como están hoy. Esas son cinco preguntas diferentes y cuatro de ellas sobreviven a un cambio de proveedor.","open-source-aion.2cd4b335f4":"Un verificador lo verifica.","open-source-aion.d15fbc9566":"Nada está verificado.","open-source-aion.481d0fc02c":"Todo el argumento","open-source-aion.ca75c84634":"Cada certificado aquí termina como un registro, y el registro mantiene sus hechos separados","open-source-aion.3ecc9abb23":"EXTENSIBLE","open-source-aion.8112bd91bc":"AISLADO","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Cuando una verificación única es realmente demasiado grande para una máquina, el trabajo se divide en cubos entre máquinas con uso compartido de cláusulas entre ellos, y un resultado compuesto se acepta solo después de una comprobación de cobertura: no hay dos cubos que puedan arreglar el mismo conjunto de literales, y lo que cubren debe sumar todo el espacio, no casi todo. Una unión que se queda corta por uno es un rechazo, que es la misma disciplina que en el resto del producto. Más allá de eso, un registro de verificadores y una API de extensión son cómo se verifica aquí una familia de certificados que nadie de aquí escribió.","open-source-aion.04cd68c7fb":"Solo dos cosas pueden cruzar un límite y ambas las configuras tú. Un clúster se ejecuta sobre direcciones que tú estableces. Un productor externo es un programa que instalas y ejecutas como proceso local. No hay ningún modelo alojado en toda la cadena, ni ningún servicio nuestro que pueda no estar disponible durante tu incidente o cambiar bajo tus pies según el calendario de lanzamiento de otro. Un entorno aislado verifica exactamente igual que uno conectado, porque la verificación nunca necesitó al productor en primer lugar.","open-source-aion.ac1913e46c":"Dos vías de salida, y ambas son tuyas","open-source-aion.c2193fefe2":"La verificación es un cálculo como cualquier otro, y dónde se ejecuta es tu decisión. AION se publica el 1 de septiembre de 2026: una vez que el repositorio sea público, enlaza la biblioteca, ejecuta el comando o levanta el servicio dentro de tu propio límite. La compilación predeterminada no incluye ningún cliente de salida, por lo que verificar un certificado no requiere cuenta, proveedor ni ruta de salida de la máquina en la que se inició.","open-source-aion.72d09c5994":"un servicio o un enclave","open-source-aion.f8ac38e647":"Una biblioteca, un comando","open-source-aion.604918db00":"Donde se ejecuta la verificación","open-source-aion.c07ebfbab5":"Un archivo permanece inmóvil. La última pregunta es dónde se ejecuta realmente todo esto","open-source-aion.d34941b7ce":"INDEXADO","open-source-aion.79ae623ce9":"DIRECCIONADO POR CONTENIDO","open-source-aion.0f7d1ea9ca":"La parte que hay que construir en lugar de asumir es el índice. Cuando cambia una regla de verificación, un esquema de certificado, una política, una regla de compilación, un contrato de ejecución o una versión de modelo, los certificados cuya validez dependía del componente modificado se encuentran consultándolos, no escaneándolo todo y esperando. Las dependencias se declaran en el sobre, por lo que el conjunto afectado es una consulta y la cola de reverificación es su resultado, con el componente modificado nombrado junto a cada entrada. La alternativa que la mayoría de las organizaciones tienen en realidad es una elección entre reexaminarlo todo y no reexaminar nada.","open-source-aion.144711734a":"El almacenamiento solo es útil si un lector que ha avanzado aún puede abrirlo, por lo que cada registro lleva la firma del productor, la identidad y la versión del verificador que lo aceptó, la versión del contrato bajo la que se aceptó y las dependencias sobre las que se sustenta. Una prueba de compatibilidad se ejecuta en el camino de vuelta.","open-source-aion.22f96be502":"El conjunto afectado es un índice real","open-source-aion.a1b04ec691":"Los certificados que merece la pena conservar son aquellos sobre los que te preguntarán años después. AION almacena un certificado aceptado de forma compacta y por dirección de contenido: identificadores mantenidos como diferencias, patrones repetidos codificados por longitud de ejecución, subpruebas idénticas con hash y almacenadas una vez, y todo el conjunto direccionado por su contenido en lugar de por dónde lo archivó alguien. Una dirección de contenido es lo que permite que un lector que ha avanzado encuentre el mismo certificado de nuevo y lo compruebe una segunda vez, años después de la ejecución que lo produjo.","open-source-aion.c017c017d7":"y sigue siendo re-comprobable","open-source-aion.2e10b84b57":"Un certificado se mantiene pequeño","open-source-aion.9263a81467":"Almacenar lo que se comprobó","open-source-aion.1f029bacad":"Seis familias, y todas terminan en el mismo registro","open-source-aion.1deb4d4a29":"TRAYECTORIA","open-source-aion.f8d5b44c34":"INVARIANTES","open-source-aion.52dd7acef9":"CONFORMIDAD","open-source-aion.24d7374cb9":"Mantenerlos separados es lo que hace que los dos primeros valgan algo. Una garantía que implique silenciosamente el tercero es la que falla ante un regulador, y un certificado que nombra su propio límite es el que sobrevive a la reunión.","open-source-aion.0e4ffe42fa":"A una simulación se le plantean tres preguntas diferentes, y ser honesto sobre cuáles de ellas se pueden responder aquí es todo el contenido profesional de la sección. La conformidad de ejecución pregunta si el modelo, los parámetros y la configuración declarados produjeron realmente esta trayectoria, y eso es comprobable. La comprobación de propiedades matemáticas pregunta si los invariantes declarados se mantienen a lo largo de la ejecución, y eso también es comprobable, con un fallo que devuelve el rastro en lugar de un veredicto. La validez física pregunta si el modelo representa el mundo real, y ningún certificado lo establece. Pertenece al propietario del modelo, y le pertenece permanentemente.","open-source-aion.bb70d13ca4":"La línea con la que esta sección tiene cuidado","open-source-aion.ac558913f9":"Un resultado de simulación se utiliza para tomar decisiones mucho después de que la ejecución haya desaparecido. El certificado lleva la identidad del modelo y del FMU, el conjunto de parámetros, el estado inicial, la configuración del solucionador, la secuencia de pasos de tiempo o eventos, las transiciones de estado, las comprobaciones de invariantes realizadas, el estado de convergencia o terminación, el hash de la trayectoria resultante y un rastro de contraejemplo cuando una propiedad falla.","open-source-aion.1c9f5f0f21":"responde exactamente a dos de ellas","open-source-aion.242c47d00a":"Tres preguntas, y esto","open-source-aion.a635f9edf3":"Twin y FMI, certificados","open-source-aion.43f8bc442f":"La ejecución es una ejecución de una cosa. Una simulación hace millones de ellas a la vez","open-source-aion.d3a968f797":"IDENTIFICADOR DE SALIDA","open-source-aion.d79014995c":"ATESTIGUADO","open-source-aion.2fbbf64505":"CAPACIDADES","open-source-aion.51fd9d7843":"El determinismo es lo que hace comprobable el resto. Debido a que las transiciones son deterministas dado el módulo, las entradas y las concesiones, un verificador puede seguirlas sin re-ejecutar la carga de trabajo en su entorno original, y dos ejecuciones que reclaman la misma identidad de salida a partir de las mismas entradas o bien coinciden o bien señalan la transición en la que dejaron de coincidir. Eso es una atestación de ejecución en la práctica: qué se ejecutó, bajo qué autoridad, comprobable sin volver a ejecutarlo.","open-source-aion.0d0fd79859":"La mayoría de las preguntas que se hacen sobre una carga de trabajo después del hecho son en realidad preguntas sobre su autoridad. Qué podía alcanzar esta cosa mientras se ejecutaba, y si alcanzó algo más. Un certificado que lleva las concesiones de capacidades junto con las transiciones responde a eso sin que nadie lea un registro, y se lo responde a alguien que no opera el tiempo de ejecución.","open-source-aion.890c61e134":"Por qué el conjunto de capacidades es el campo interesante","open-source-aion.1331fa2052":"Un estado de salida dice que una carga de trabajo terminó. El certificado de ejecución dice qué terminó: la identidad de la carga de trabajo y del módulo, la versión del tiempo de ejecución, las concesiones de capacidades que tenía, las entradas que recibió, las transiciones de estado deterministas por las que pasó, los límites de recursos dentro de los que se ejecutó, la identidad de la salida que produjo y si se completó o se atrapó. Cada uno de esos es un campo del que se puede responder a una pregunta posterior, sin volver a la máquina que lo ejecutó.","open-source-aion.65576ef482":"bajo qué capacidades","open-source-aion.74a9894f4f":"Qué se ejecutó, sobre qué, y","open-source-aion.eabc461dcf":"Selvedge, certificado","open-source-aion.b4792818f1":"Un artefacto compilado todavía tiene que ejecutarse en algún lugar, y esa ejecución también es una afirmación","open-source-aion.414cbcc9ec":"PROCEDENCIA","open-source-aion.24466ece94":"FUENTE A ARtefacto","open-source-aion.c81d361198":"Esa precisión es lo que hace que el artefacto sea útil en etapas posteriores. En una compilación regulada, la pregunta rara vez es si un compilador es bueno. Es si este binario corresponde a este grafo fuente bajo esta configuración de optimización, que es una pregunta con respuesta, y la respuesta viaja con el artefacto en lugar de residir en el sistema de compilación que lo produjo. Eso es lo que significa la procedencia de compilación en la práctica: una afirmación sobre este artefacto, verificable sin el sistema de compilación que lo creó.","open-source-aion.6c1fd4df2b":"La declaración es la disciplina. Un certificado no afirma que cada optimización fuera correcta como una afirmación indiferenciada, porque esa afirmación no es ni verificable ni cierta de ningún compilador real. Nombra exactamente qué propiedades de preservación o equivalencia establece a través de qué transformaciones, y el verificador comprueba esas y no informa de nada más.","open-source-aion.fd5ed4a1d8":"Afirmaciones nombradas, no una genérica","open-source-aion.82a76c947a":"Un compilador te entrega un artefacto y un estado de salida. El certificado de compilación lleva lo que se afirma que es ese artefacto: la identidad de la fuente o del grafo del que proviene, la versión del compilador y de la optimización, la secuencia de transformaciones aplicada, la preservación de tipos y formas a través de esas transformaciones, los núcleos seleccionados, la identidad del artefacto producido y las comprobaciones de equivalencia o invariantes que declara el certificado.","open-source-aion.06efebf0f5":"sobre la fuente de la que proviene","open-source-aion.3f208ecc5e":"El binario también es una afirmación","open-source-aion.716710e273":"Kera, certificado","open-source-aion.89572e64cc":"Una organización puede estar certificada. También el compilador que construyó lo que ejecuta","open-source-aion.502114d554":"RECIBOS","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORIDAD","open-source-aion.965738574a":"El valor aparece cuando se disputa la operación. Un rastro de flujo de trabajo es el relato que la organización hace de sí misma. Un certificado que un verificador independiente aceptó, bajo una versión de contrato nombrada, es una clase de evidencia diferente, y la diferencia es exactamente la que AION existe para crear.","open-source-aion.f4652935ed":"Este es un certificado sobre una operación gobernada, no sobre lo que un agente estaba pensando. Resuelve las preguntas que realmente le harán a alguien: si la autoridad existía en el momento en que se disparó la acción, si la puerta que debería haber contenido contuvo, si la aprobación se adjuntó a la acción en lugar de a un mensaje cercano, y si las transiciones de estado que afirma el registro son las que permite el contrato. Todas son comprobables por máquina y ninguna requiere acceso a un modelo.","open-source-aion.be15814346":"Lo que establece y lo que no","open-source-aion.38d3c11f27":"Un flujo de trabajo completado es una afirmación como cualquier otra. El certificado organizativo establece la operación gobernada que realmente ocurrió: el objetivo y la versión de política bajo la que se ejecutó, la organización formada, los roles y la autoridad resueltos, las tareas ejecutadas y sus transiciones, las puertas de política superadas, las aprobaciones adjuntas, las acciones realizadas y los recibos registrados.","open-source-aion.65a8805f19":"haber seguido su contrato","open-source-aion.f827cfbcbf":"Una operación puede demostrarse","open-source-aion.07fba05892":"Nexus, certificado","open-source-aion.c6fd961235":"El razonamiento es un productor. Una organización de agentes es algo más difícil de certificar","open-source-aion.2764d46fd5":"SIN LLAMADA AL MODELO","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"El front-end de requisitos en inglés también pertenece aquí, porque un certificado de razonamiento es tan revisable como la restricción en su parte superior. Una biblioteca de patrones determinista devuelve condiciones formales clasificadas por cuántas frases desencadenantes coincidieron, cada una con su lectura simple y las cantidades sobre las que opera, y cuando una oración realmente tiene más de una lectura, plantea la ambigüedad con la pregunta nombrada en lugar de resolverla en silencio.","open-source-aion.c4d7d27503":"Debajo se encuentran productores de ambos tipos, y se aceptan a través del mismo límite. AION decide la estructura booleana, la aritmética de lógica de diferencias, las palabras de bitvector y la igualdad con funciones no interpretadas por sí mismo, sobre una búsqueda completa dirigida por conflictos con dos literales vigilados, una heurística de actividad ordenada por montón, reinicios geométricos y eliminación de cláusulas basada en actividad. Ante una respuesta insatisfacible, devuelve un núcleo, que nombra cuáles de tus propias restricciones estaban en conflicto en lugar de describir la búsqueda que las encontró. Un solucionador externo se ejecuta como su propio proceso y devuelve una prueba, y nada más que ese archivo cruza entre los dos. Cualquier herramienta que emita una prueba en un formato para el que AION tenga un verificador califica, entre ellas cvc5, y el límite es el formato en lugar del proveedor.","open-source-aion.5264c1875d":"Productores, nativos y externos","open-source-aion.09b6611fc2":"Loom razona. Lo que AION comprueba es el artefacto que el razonamiento deja atrás: las restricciones que estaban activas, las reglas que se aplicaron, los subproblemas que fueron a un solucionador, los certificados que esos solucionadores devolvieron, las contradicciones encontradas, los límites que cerraron una decisión y la afirmación finalmente aseverada. Artefactos computacionales explícitos y derivaciones declaradas, comprobados como tales.","open-source-aion.2224f4889f":"la derivación en la que se apoya","open-source-aion.1aceefa727":"Una conclusión llega con","open-source-aion.40e8df9cbd":"Loom y los solucionadores que tiene debajo","open-source-aion.cbac360b09":"Los pasos booleanos y aritméticos son una familia. El razonamiento es donde comienza la pila","open-source-aion.9786d05f5a":"PROBADO CON FUZZING","open-source-aion.a9bb80378b":"RE DERIVADO","open-source-aion.0204e8b30c":"REGLA POR REGLA","open-source-aion.a43c278b96":"A nivel de cláusula, cada adición se vuelve a derivar desde primeros principios: se asume que la nueva cláusula es falsa, se propagan las cláusulas que citan sus pistas y se exige el conflicto que esas pistas prometían. Cuando la propagación por sí sola no lo fuerza, la adición pasa a la condición más estricta sobre el literal pivote nombrado contra cada cláusula con la que ese pivote podría resolver, de modo que un paso no puede aprobarse nombrando un pivote que la cláusula no contiene. La fórmula y la prueba se leen línea a línea, por lo que una prueba mayor que la memoria de la máquina se sigue verificando de principio a fin. La propia suite de AION es hostil a AION: una pista que cita el paso que pretende justificar, dos pasos que se apoyan mutuamente, un pivote afirmado pero ausente, dos cláusulas bajo un mismo identificador, el marcador de fin usado como identificador, la eliminación de una cláusula nunca añadida y la misma cláusula eliminada dos veces. Cada lector que toca un archivo escrito por otra persona se somete a fuzzing contra un corpus sembrado.","open-source-aion.13a29c20f0":"Tres condiciones preceden a la comprobación de la regla en cada paso, en un orden fijo: si el paso se cita a sí mismo, si cada número que cita está presente y si alguno de ellos está numerado por encima del paso que lo cita. Antes de las cuatro, el archivo se escanea una vez en busca de un número de paso repetido. Solo una prueba en la que cada paso supera todo eso llega a la última condición, que es si el archivo termina en una contradicción. Una derivación que se agota con literales aún en pie ha pasado todo lo demás y aun así se rechaza.","open-source-aion.f626b7a7da":"Bajo la superficie","open-source-aion.1a95f2e67d":"Las pruebas de cláusulas en la familia LRAT, que es SAT, y las pruebas de reglas en el formato Alethe, que es SMT, son la familia con la historia más larga de intentos de derrotarla, lo que la convierte en la adecuada para mostrar. AION envía cada paso a la rutina que implementa su regla, y un nombre de regla sin nada detrás termina la lectura en lugar de pasar en silencio, imprimiendo el número de paso y la regla.","open-source-aion.8294eed416":"y una regla desconocida la detiene","open-source-aion.9959b32cda":"Cada paso supera cuatro pruebas","open-source-aion.3821e115bc":"La familia con adversarios","open-source-aion.c415bc49f1":"La familia más antigua es la que tiene más adversarios, así que es la primera que hay que examinar","open-source-aion.06d55361b1":"VERSIONADO","open-source-aion.bca8de5f5a":"NUEVE FAMILIAS","open-source-aion.187b58774c":"Las familias se versionan por separado por la misma razón. Un conjunto de reglas puede endurecerse en la familia de lógica sin perturbar la familia de simulación, y el conjunto de certificados afectados por ese cambio es exactamente los registros que declararon la versión que se está cambiando. Las nueve de hoy son lógica y satisfacibilidad, optimización, temporal y hiperpropiedad, razonamiento, organizativa, compilación, ejecución en tiempo de ejecución, simulación y FMI, e integridad de almacenamiento.","open-source-aion.ca4a7a3c63":"Registrar una familia es cómo un sistema que no existía cuando se escribió AION se vuelve verificable por él. El sobre ya es el mismo, la capa de almacenamiento y la cola de reverificación ya funcionan, y lo que una nueva familia debe aportar es un verificador y un conjunto de reglas declarado. El software de terceros que implementa un contrato de certificado llega por la misma puerta que cualquier cosa nuestra.","open-source-aion.6581749da9":"Por qué es un registro en lugar de una lista","open-source-aion.c453f0b87d":"Una familia de certificados es un contrato con nombre y versión, no un formato de archivo. Cada una declara su identidad y versión, el tipo de afirmación que establece, las entradas que requiere, cómo se representa la prueba o el testigo, el algoritmo de verificación, el conjunto de reglas que acepta ese verificador, sus metadatos de dependencia y compatibilidad, su representación legible para humanos cuando la tiene y su propia taxonomía de rechazo.","open-source-aion.29a8090d97":"y el conjunto es extensible","open-source-aion.7dd9783a82":"Nueve familias, un registro","open-source-aion.f4c0c73854":"El registro","open-source-aion.2b6d7305db":"Una verificación independiente necesita saber qué tipo de certificado está sosteniendo","open-source-aion.b4dee9d399":"SIN REPETICIÓN","open-source-aion.1ae37e9b3a":"SIN LICENCIA","open-source-aion.082414b331":"VERIFICACIÓN ACOTADA","open-source-aion.85bcd01276":"En ninguno de esos casos el verificador necesita la búsqueda, las heurísticas, el estado oculto, las llamadas al modelo o el entorno de ejecución del productor. Eso es lo que hace que la verificación independiente sea asequible en lugar de aspiracional.","open-source-aion.73dc1e45ec":"La asimetría tiene la misma forma en todos los dominios, y vale la pena verla cuatro veces. Una búsqueda guiada por conflictos puede ejecutarse durante horas en un espacio que nadie puede enumerar; la prueba de cláusulas que emite se sigue línea por línea. Un compilador puede realizar cientos de pasadas de optimización con heurísticas que nadie fuera del equipo entiende; el certificado registra las afirmaciones de preservación que deben cumplirse a lo largo de ellas. Una simulación puede ejecutarse durante millones de pasos; el certificado proporciona los puntos de control, las transiciones, los invariantes y el rastro que hacen verificable el resultado. Una operación de Nexus puede coordinar una gran cantidad de agentes; el certificado establece autoridad, transiciones de estado, aprobaciones y recibos de acciones.","open-source-aion.3bcb80f6d9":"Lo que cada productor se guarda para sí","open-source-aion.ceb0061493":"El sistema que produjo el resultado no tiene la última palabra sobre si su certificado se sostiene. AION verifica un artefacto acotado en lugar de repetir el cálculo costoso, por lo que la verificación puede ejecutarse en un portátil contra un trabajo que a un clúster le llevó un fin de semana, y por eso no necesita ni la licencia del productor ni su máquina. El certificado proporciona los puntos de control que el verificador recorre, de modo que el costo de verificar sigue el tamaño del artefacto en lugar del tamaño de la búsqueda detrás de él.","open-source-aion.69524cecfe":"y ese es todo el truco","open-source-aion.ee21bac231":"Verificar no es rehacer","open-source-aion.396e9b624d":"La división arquitectónica","open-source-aion.504a1b0a8d":"Un sobre dice qué ha llegado. La siguiente pregunta es quién tiene permiso para abrirlo","open-source-aion.a9ea7a518b":"UN SOBRE","open-source-aion.d7e877b15b":"OCHO CAMPOS","open-source-aion.34c043fc06":"El campo de dependencias es el que la gente subestima. Un certificado que se apoya en otro certificado lo nombra, de modo que una denegación o un cambio de esquema se propaga por el conjunto que se apoyaba en él en lugar de detenerse en el primer registro que alguien mira por casualidad. Eso es lo que convierte un montón de resultados aceptados en algo a lo que se le puede hacer una pregunta.","open-source-aion.7dc6226fd7":"Pon la información de enrutamiento dentro de la carga útil y cada nueva familia de certificados se convierte en una nueva integración para todos los que están aguas abajo. Mantenla fuera y la capa de almacenamiento, el rastreador de compatibilidad, la cola de reverificación y el registro de auditoría se escriben una vez y funcionan para familias que no existían cuando se crearon.","open-source-aion.48eb1ab2b4":"Por qué la división merece la pena","open-source-aion.419ad6edc1":"Un certificado de compilación y una prueba de cláusula no tienen nada en común por dentro, y llegan en el mismo sobre. Ocho campos: la afirmación, las entradas contra las que se hizo, el productor, la versión del contrato, el tipo de certificado, la carga útil del certificado, las dependencias y la firma. Todo lo específico de la familia va dentro de la carga útil, y todo lo que un verificador necesita para enrutar, versionar y registrar la cosa va fuera.","open-source-aion.03a195fded":"y ocho campos dentro","open-source-aion.9895a4db76":"Cada familia, un sobre","open-source-aion.33164fb254":"El sobre común","open-source-aion.315fae6edd":"Ocho tipos de sistema, ocho tipos de afirmación y un sobre en el que viajan todos","open-source-aion.661f13bc63":"COMPROBADO","open-source-aion.ea0dae37f4":"UN CERTIFICADO","open-source-aion.f07b84d4d2":"UNA AFIRMACIÓN","open-source-aion.1edfca7587":"AION es ese segundo programa. Toma un certificado que ha producido un desconocido, reconstruye lo que afirma y, cuando una afirmación no se reconstruye, nombra el elemento, nombra la regla y se detiene ahí. Una denegación que señala la línea 40 es algo que una sola palabra nunca puede ser.","open-source-aion.4428102723":"Los métodos formales llegaron a este acuerdo hace décadas por una razón. El productor escribe su trabajo, y un segundo programa, mucho más pequeño, lee ese trabajo. El segundo programa es el que merece la pena construir con cuidado, porque es lo bastante pequeño como para entenderse de principio a fin. Lo que hace AION es sacar ese acuerdo del mundo de los solvers y convertirlo en el contrato para todo lo demás: razonamiento, operaciones de agentes, compilación, ejecución, simulación.","open-source-aion.51edeceac1":"insatisfacible. compilado. completado. seguro. óptimo. política aprobada. simulación convergida. flujo de trabajo aprobado. Ocho sistemas, ocho palabras, y ni una de ellas lleva la razón por la que es verdad. La computación con prueba es la alternativa: el productor conserva el trabajo costoso y emite un certificado junto con el resultado, y algo que no tiene interés en la respuesta comprueba ese certificado.","open-source-aion.d3571e9e01":"hasta que alguien lo rehace","open-source-aion.03d9c22d95":"Un resultado es solo una afirmación","open-source-aion.dfc28595b4":"Por qué existe una segunda lectura","open-source-aion.3c6178c9cd":"A quién pertenece el informe","open-source-aion.42c21bbe27":"Qué resuelve un caso","open-source-aion.4d05bcfcbf":"Qué te permite hacer una denegación","open-source-aion.4c0a0d8ef3":"Las dos rutas habituales de salida","open-source-aion.e097afe170":"Qué se sigue de mantenerlo","open-source-aion.c9681d6875":"Qué hace realmente","open-source-aion.1ee58a7b8d":"De dónde viene el acuerdo","open-source-aion.eec3b038bd":"atribución","open-source-aion.65279e1ecf":"verificación","oss-aion-adoption-paths.733a87e5fb":"Prueba una ruta de decisión","oss-aion-adoption-paths.34dfd13db9":"Ejecuta un certificado de ejemplo antes de integrar AION en una ruta de decisión en vivo.","oss-aion-adoption-paths.3f1d1c0d24":"Inspecciona el certificado de ejemplo incluido.","oss-aion-adoption-paths.a5339faf54":"Ejecuta las pruebas de ejemplo incluidas como comprobación.","oss-aion-adoption-paths.b38db2875a":"Comprueba el mismo certificado con aion check y un verificador compatible independiente.","oss-aion-adoption-paths.0e42c62826":"Tu equipo de evaluación","oss-aion-adoption-paths.ca15f8db66":"Intégralo en un sistema","oss-aion-adoption-paths.e8219f1ea8":"Tu equipo de software existente enlaza la biblioteca para que los sistemas que ya ejecutas puedan entregar un certificado con cada decisión.","oss-aion-adoption-paths.91e2e7e34b":"Tus ingenieros añaden AION a un sistema que ya operas.","oss-aion-adoption-paths.96e8012ed9":"Cada decisión lleva entonces un certificado comprobable.","oss-aion-adoption-paths.6e56d00bc7":"Ningún proveedor nuevo se interpone en esa ruta de decisión.","oss-aion-adoption-paths.b0e0c85d36":"Tu equipo de ingeniería","oss-aion-adoption-paths.4637a51566":"Úsalo en la auditoría","oss-aion-adoption-paths.03b3d20015":"Un certificado producido anteriormente puede volver a comprobarse en cualquier momento con la herramienta de línea de comandos, en tu propio hardware, sin conexión.","oss-aion-adoption-paths.8b6e7ae424":"Conserva el certificado producido cuando se tomó la decisión.","oss-aion-adoption-paths.ab48bfd890":"Vuelve a comprobarlo más tarde con la herramienta de línea de comandos, sin conexión.","oss-aion-adoption-paths.6fe516ffcf":"Entrega el mismo registro a un regulador o a un auditor.","oss-aion-adoption-paths.4e64c95d9e":"Tu equipo de cumplimiento","oss-aion-adoption-paths.6b5eb5323e":"Empieza con una ruta de decisión","oss-aion-adoption-paths.1635f113ec":"Tres formas de adopción","oss-aion-adoption-paths.5eef32f959":"Quién lo ejecuta","oss-aion-adoption-paths.29a9e7fa74":"El certificado es idéntico sea cual sea la ruta que elijas.","oss-aion-adoption-paths.3e4f1a5e1b":"Una biblioteca, una herramienta de línea de comandos","oss-aion-adoption-paths.tag.d59fec26d9":"Antes de la integración","oss-aion-adoption-paths.tag.391b31405f":"Para tus ingenieros","oss-aion-adoption-paths.tag.6fd7b4f249":"Para cumplimiento","oss-aion-archive-parts.cea57012da":"no comprimido más allá de la lectura","oss-aion-archive-parts.10f2f8d11a":"comprimido para el estante","oss-aion-archive-parts.0468a5b797":"ARCHIVO","oss-aion-archive-parts.bce5035461":"y un campo que los sobrevive","oss-aion-archive-parts.bd678f55fe":"Cuatro movimientos en un certificado","oss-aion-archive-parts.44e396b17f":"Qué verificador lo aceptó y bajo qué versión del contrato.","oss-aion-archive-parts.5348eece0f":"Verificador y contrato conservados","oss-aion-archive-parts.53229277ab":"Subpruebas idénticas almacenadas una vez y citadas después por hash.","oss-aion-archive-parts.0f6513214f":"Subpruebas con hash","oss-aion-archive-parts.76a7786a63":"Un patrón repetido almacenado una vez, con la longitud que repite.","oss-aion-archive-parts.9e1a0f7aac":"Runs colapsados","oss-aion-archive-parts.d6f5880b44":"Cada identificador almacenado como su distancia desde el último.","oss-aion-archive-parts.6b78716e70":"Identificadores como huecos","oss-aion-archived-proof.5808299e06":"consultado, no barrido","oss-aion-archived-proof.39241dfc0d":"El resto permaneció cerrado, porque el índice ya sabía que no estaban afectados.","oss-aion-archived-proof.d84b2eb85d":"Nueve dependencias declaradas, dos pestañas extraídas, cinco certificados nombrados.","oss-aion-archived-proof.c9269e3e61":"siete pestañas permanecieron cerradas","oss-aion-archived-proof.6f13975269":"aún compatible","oss-aion-archived-proof.8ec798a819":"regla r7","oss-aion-archived-proof.4b50837e2e":"en cola para volver a leerse","oss-aion-archived-proof.2a858a12ec":"regla r7 reemplazada en el verificador 2.5.0","oss-aion-archived-proof.0b58a007b4":"aviso de cambio","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"mismo certificado","oss-aion-archived-proof.4b37dd07e6":"como se archivó","oss-aion-archived-proof.39c9f8bf3a":"dos subpruebas, una forma","oss-aion-archived-proof.8c28e2d0a9":"un bloque, conservado una vez","oss-aion-archived-proof.e75bd8054c":"identificadores como huecos","oss-aion-archived-proof.9bfe0da4af":"un archivo largo","oss-aion-archived-proof.46dc2748fa":"tal como se produjo","oss-aion-archived-proof.b6a0714797":"identificadores ilustrativos","oss-aion-archived-proof.16bb6017da":"dos de cinco en cola","oss-aion-archived-proof.884fa4a4de":"Un certificado, dos veces","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 ejecución 3.1","oss-aion-archived-proof.ff651ff51f":"regla del 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":"¿Por qué una máquina rechazó mi solicitud?","oss-aion-asked-questions.answer.refused":"AION muestra el punto exacto donde se detuvo la comprobación y el motivo, en lugar de una palabra sin explicación.","oss-aion-asked-questions.question.check":"¿Puedo comprobar yo mismo una decisión automatizada?","oss-aion-asked-questions.answer.check":"Sí. AION vuelve a realizar cada paso, en la máquina en la que estás, sin cuenta y sin enviar nada.","oss-aion-asked-questions.question.sent":"¿Se envía mi información a algún lugar?","oss-aion-asked-questions.answer.sent":"No. La versión predeterminada no tiene con qué enviarla. El trabajo ocurre donde ya estás.","oss-aion-asked-questions.chrome.path":"Preguntas que plantea realmente una denegación","oss-aion-asked-questions.chrome.status":"respondidas abiertamente","oss-aion-asked-questions.readout":"Estas son las tres preguntas para las que está diseñada esta página, respondidas abiertamente, sin cuenta y sin enviar nada.","oss-aion-asked-questions.band":"Preguntado una vez, respondido abiertamente","oss-aion-asked-you.ef80b73d6b":"en lugar de una sorpresa más adelante","oss-aion-asked-you.7e066a9db0":"una pregunta ahora","oss-aion-asked-you.fb041ecc2d":"Espera","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"y qué ocurre después","oss-aion-asked-you.fb5efec5ec":"Qué pregunta","oss-aion-asked-you.ed223cb507":"Con tu propia frase dentro, en lugar de un formulario que rellenar.","oss-aion-asked-you.47ba586268":"Plantea una pregunta","oss-aion-asked-you.16bb2c320d":"En palabras claras, no como una elección entre símbolos.","oss-aion-asked-you.590f0368a8":"Expone ambas lecturas","oss-aion-asked-you.c0fedb51ee":"La parte de tu frase sobre la que no está seguro, con tus palabras.","oss-aion-asked-you.945cd96360":"Cita las palabras de vuelta","oss-aion-asymmetry.109e612009":"la evidencia viaja","oss-aion-asymmetry.54086b1730":"el trabajo se queda con el productor","oss-aion-asymmetry.77e82797f7":"ASIMETRÍA","oss-aion-asymmetry.7f5d144dcb":"por productor","oss-aion-asymmetry.d1abed327f":"Lo que no se reproduce","oss-aion-asymmetry.816e835f60":"Autoridad, transiciones, aprobaciones, recibos.","oss-aion-asymmetry.4f83e60cbc":"Muchos agentes, coordinando.","oss-aion-asymmetry.d946c1fc52":"Sistema de agentes","oss-aion-asymmetry.d978ba491a":"Puntos de control, transiciones e invariantes.","oss-aion-asymmetry.b081bda78f":"Millones de pasos de integración.","oss-aion-asymmetry.8e34943c35":"Simulación","oss-aion-asymmetry.db98a95880":"Las afirmaciones de preservación entre ellos.","oss-aion-asymmetry.ce4dee4e4f":"Cientos de pasadas y sus heurísticas.","oss-aion-asymmetry.341a20e237":"Compilador","oss-aion-asymmetry.d50aca2923":"Una derivación seguida línea por línea.","oss-aion-asymmetry.c0644e2b00":"Una búsqueda sobre un espacio que nadie enumera.","oss-aion-asymmetry.2212b12df6":"Solucionador","oss-aion-audit-flow.0d368d5958":"Se toma una decisión","oss-aion-audit-flow.723d4b8215":"Una IA llega a una respuesta en tu sistema.","oss-aion-audit-flow.60616f24a0":"Se conserva un certificado","oss-aion-audit-flow.319012d052":"El razonamiento se registra como un registro portátil.","oss-aion-audit-flow.b6e0507002":"Se vuelve a comprobar","oss-aion-audit-flow.060bdf8393":"Cualquiera vuelve a ejecutar la comprobación sin conexión, en su propia máquina.","oss-aion-audit-flow.549ee9a7f2":"El auditor lo acepta","oss-aion-audit-flow.45d8142b03":"Evidencia que verifican, no una promesa que deben aceptar.","oss-aion-audit-flow.29a5795456":"Reenvías registros y esperas que sean aceptados.","oss-aion-audit-flow.691576c10d":"Entregas un certificado que el auditor comprueba por sí mismo.","oss-aion-audit-flow.4f25ce109b":"La explicación está vinculada a un único proveedor.","oss-aion-audit-flow.17092b76ad":"Los formatos de prueba estándar mantienen el certificado comprobable más allá del proveedor y el entorno originales.","oss-aion-audit-flow.4cb1b63499":"El registro se vuelve a comprobar en una infraestructura que no controlas.","oss-aion-audit-flow.c0baf00a21":"El registro se vuelve a comprobar sin conexión, en hardware que controlas.","oss-aion-audit-flow.1574ac4dc4":"De la decisión a la evidencia aceptada","oss-aion-audit-flow.0fc25779d4":"Sin prueba comprobable","oss-aion-audit-flow.4b32d8f574":"Con AION","oss-aion-audit-flow.effbb773a5":"En el momento de la auditoría presentas evidencia, no garantías.","oss-aion-audit-flow.630840198f":"Verificación independiente","oss-aion-broken-case.b2d44d537d":"dos piezas de trabajo","oss-aion-broken-case.21a5e37384":"Sí dice que ahora alguien tiene que elegir una.","oss-aion-broken-case.446dd52366":"El caso no dice en cuál de estos dos estás.","oss-aion-broken-case.1592f95dfc":"quien sea dueño de la especificación","oss-aion-broken-case.5350b811e8":"Todo el mundo lo sabía y nadie lo escribió nunca, por eso el caso estaba disponible para ser encontrado. Así que el trabajo es escribir la restricción que falta.","oss-aion-broken-case.7e1ad0c117":"un reintento no puede ocurrir con saldo cero aquí","oss-aion-broken-case.e2acc6be4b":"¿puede ocurrir esto aquí?","oss-aion-broken-case.70cf0e9d6e":"el equipo que lo opera","oss-aion-broken-case.f4418abec4":"Entonces la regla es correcta y el sistema está mal. El trabajo es un cambio en el sistema.","oss-aion-broken-case.7ebf5ee2c1":"reintentos a las tres con saldo cero es un lunes normal","oss-aion-broken-case.818db6fde5":"el modo por lotes permite como máximo dos reintentos","oss-aion-broken-case.9ad82bcd1a":"sin reintento mientras el saldo sea cero","oss-aion-broken-case.db09c40b94":"condiciones que viola","oss-aion-broken-case.1a01155586":"La especificación no se cumple. Aquí hay una situación en la que no se cumple, escrita.","oss-aion-broken-case.bb5f480b82":"el caso, tal como vuelve","oss-aion-broken-case.8ba48b3c8c":"caso ilustrativo","oss-aion-broken-case.2a0ea29615":"un caso, dos propietarios","oss-aion-broken-case.0efd66fc70":"El caso que lo rompió","oss-aion-broken-case.fd12863535":"no","oss-aion-broken-case.fb360f9c09":"sí","oss-aion-broken-case.e7aef2e893":"el modo es por lotes (tipo: texto)","oss-aion-broken-case.dcfad8c5bf":"el saldo es 0 (tipo: entero)","oss-aion-broken-case.bbf98b54e9":"los reintentos son 3 (tipo: entero)","oss-aion-business-glyph.9c8c22f54d":"Auditable por diseño","oss-aion-business-glyph.afd7103781":"Tu infraestructura","oss-aion-business-glyph.ea722c81af":"Europeo","oss-aion-business-glyph.870c4d024a":"Formatos portables","oss-aion-business-glyph.81c093497b":"Cerrado por el certificado","oss-aion-business-glyph.862ee3b17a":"Exposición","oss-aion-business-glyph.6b5eb5323e":"Prueba adjunta","oss-aion-business-glyph.b7a3f27883":"Riesgo eliminado","oss-aion-business-glyph.7ba75e0ac6":"Comprobación del certificado años después","oss-aion-business-glyph.9f89ecaff5":"La sesión original ya no existe","oss-aion-business-glyph.33620369b5":"El archivo","oss-aion-business-glyph.7a71b6b89e":"En hardware que controlas","oss-aion-business-glyph.e94a6d4bba":"Explicado en hardware de otro","oss-aion-business-glyph.3eaad00bc0":"Los datos","oss-aion-business-glyph.e20fee7c23":"Verificador independiente","oss-aion-business-glyph.9e3ee5bddf":"El modelo original sigue siendo necesario","oss-aion-business-glyph.5cb182685f":"El verificador","oss-aion-business-glyph.c5d37b3ae0":"Un certificado que el auditor comprueba","oss-aion-business-glyph.6c4186cc8c":"Registros que esperas que sean aceptados","oss-aion-business-glyph.d51b35c242":"La auditoría","oss-aion-cadence-banners.independent.eyebrow":"AION / verificación independiente","oss-aion-cadence-banners.independent.lead":"Confía en el sobre","oss-aion-cadence-banners.independent.accent":"después de que otro verificador lo acepte","oss-aion-cadence-banners.independent.body.one":"Un certificado es útil porque el verificador no necesita el entorno de ejecución del productor. Recibe la regla declarada, las entradas, el resultado y la evidencia como un único sobre delimitado.","oss-aion-cadence-banners.independent.body.two":"La segunda implementación comprueba esa evidencia contra el mismo contrato. El acuerdo es entonces evidencia sobre el resultado, no una reejecución de la misma ruta de código.","oss-aion-cadence-banners.independent.panel":"Registro de aceptación independiente","oss-aion-cadence-banners.independent.tag":"COMPROBADO POR SEPARADO","oss-aion-cadence-banners.independent.item.rule.label":"Regla declarada","oss-aion-cadence-banners.independent.item.rule.detail":"Se nombran el requisito y la familia de certificados.","oss-aion-cadence-banners.independent.item.rule.status":"PRESENTE","oss-aion-cadence-banners.independent.item.input.label":"Entradas delimitadas","oss-aion-cadence-banners.independent.item.input.detail":"Los valores utilizados por la decisión viajan con ella.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Resultado reclamado","oss-aion-cadence-banners.independent.item.result.detail":"El resultado se indica antes de que comience la verificación.","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":"Una implementación diferente comprueba el mismo sobre.","oss-aion-cadence-banners.independent.item.verifier.status":"ACEPTADO","oss-aion-cadence-banners.independent.verdict":"la evidencia sobrevive fuera del sistema que la produjo","oss-aion-cadence-banners.independent.footer":"la verificación cruza una frontera de implementación sin perder el contrato","oss-aion-cadence-banners.refusal.eyebrow":"AION / contrato de fallo","oss-aion-cadence-banners.refusal.lead":"Una prueba fallida","oss-aion-cadence-banners.refusal.accent":"debe nombrar la regla que no pudo satisfacer","oss-aion-cadence-banners.refusal.body.one":"La comprobación exacta no es un envoltorio vago de aprobado o suspenso. El verificador sigue la conversión declarada, las operaciones aritméticas y las puertas lógicas en orden, y se detiene en la primera condición no válida.","oss-aion-cadence-banners.refusal.body.two":"Esa negativa pertenece a la evidencia. Le dice al llamador qué suposición, escala, término o guarda falló antes de que cualquier paso posterior pudiera ocultar la causa.","oss-aion-cadence-banners.refusal.panel":"Primera puerta que falla","oss-aion-cadence-banners.refusal.tag":"RECHAZADO","oss-aion-cadence-banners.refusal.item.read.label":"Lee los valores declarados","oss-aion-cadence-banners.refusal.item.read.detail":"Las entradas y la identidad de la regla se fijan antes de comprobar.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Aplica la conversión declarada","oss-aion-cadence-banners.refusal.item.scale.detail":"Ningún respaldo silencioso cambia el contrato aritmético.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Evalúa cada puerta en orden","oss-aion-cadence-banners.refusal.item.check.detail":"La primera condición no válida sigue siendo atribuible.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Devuelve la negativa nombrada","oss-aion-cadence-banners.refusal.item.refuse.detail":"El llamador recibe la regla fallida y su evidencia.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"una negativa es evidencia revisable, no un error vacío","oss-aion-cadence-banners.refusal.footer":"la primera condición fallida sigue visible para el siguiente revisor","oss-aion-cadence-banners.certificates.eyebrow":"AION / cadena de certificados","oss-aion-cadence-banners.certificates.lead":"Una decisión","oss-aion-cadence-banners.certificates.accent":"puede llevar varios tipos de prueba","oss-aion-cadence-banners.certificates.body.one":"El razonamiento, la autoridad organizativa, la compilación y la ejecución responden a preguntas diferentes. Tratarlos como una única garantía genérica ocultaría dónde una afirmación es sólida y dónde aún se necesita otra comprobación.","oss-aion-cadence-banners.certificates.body.two":"AION mantiene los certificados distintos y los vincula al mismo registro de decisión. Un revisor puede seguir la cadena sin confundir autoridad con aritmética ni una ejecución exitosa con una regla aprobada.","oss-aion-cadence-banners.certificates.panel":"Ruta de evidencia de decisión","oss-aion-cadence-banners.certificates.tag":"VINCULADO","oss-aion-cadence-banners.certificates.item.reasoning.label":"Certificado de razonamiento","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Muestra por qué se sigue la conclusión indicada.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Certificado de autoridad","oss-aion-cadence-banners.certificates.item.organisation.detail":"Nombra quién puede aprobar o realizar la acción.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORIDAD","oss-aion-cadence-banners.certificates.item.compile.label":"Certificado de compilación","oss-aion-cadence-banners.certificates.item.compile.detail":"Vincula fuente, transformación y artefacto producido.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Certificado de ejecución","oss-aion-cadence-banners.certificates.item.execution.detail":"Registra qué se ejecutó, dónde y bajo qué entradas.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"cada afirmación mantiene la familia de certificados que realmente puede respaldarla","oss-aion-cadence-banners.certificates.footer":"la evidencia vinculada sigue siendo lo bastante específica para ser cuestionada","oss-aion-cadence-banners.recheck.eyebrow":"AION / un resultado que puedes revisitar","oss-aion-cadence-banners.recheck.lead":"La misma regla","oss-aion-cadence-banners.recheck.accent":"se puede comprobar de nuevo más tarde","oss-aion-cadence-banners.recheck.body.one":"La sentencia, el significado elegido y el límite de tiempo permanecen adjuntos al resultado. Puedes ver qué se decidió y cuánto tiempo sigue siendo válida la decisión sin enviar el material.","oss-aion-cadence-banners.recheck.body.two":"Cuando la regla o la fecha cambian, el registro identifica qué necesita otra comprobación. La respuesta anterior sigue visible en lugar de ser reemplazada silenciosamente.","oss-aion-cadence-banners.recheck.panel":"Lo que sigue a la revisión","oss-aion-cadence-banners.recheck.tag":"REPETIBLE","oss-aion-cadence-banners.recheck.item.sentence.label":"Tu frase original","oss-aion-cadence-banners.recheck.item.sentence.detail":"El texto permanece junto a la interpretación.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"El significado elegido","oss-aion-cadence-banners.recheck.item.rule.detail":"La regla aplicada se explica con claridad.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"La fecha de validez","oss-aion-cadence-banners.recheck.item.deadline.detail":"El tiempo restante es visible antes de que caduque el resultado.","oss-aion-cadence-banners.recheck.item.deadline.status":"VISIBLE","oss-aion-cadence-banners.recheck.item.result.label":"Una comprobación nueva","oss-aion-cadence-banners.recheck.item.result.detail":"La misma evidencia se puede evaluar de nuevo.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"puedes volver a la respuesta sin perder el motivo que hay detrás","oss-aion-cadence-banners.recheck.footer":"el registro mantiene juntas las palabras, la regla y la fecha","oss-aion-cadence-banners.supplier.eyebrow":"AION / evidencia del proveedor","oss-aion-cadence-banners.supplier.lead":"Una respuesta del proveedor","oss-aion-cadence-banners.supplier.accent":"debería llegar con algo que puedas comprobar","oss-aion-cadence-banners.supplier.body.one":"Un certificado separa el resultado de la herramienta del proveedor. Indica qué se ha comprobado, qué familia de pruebas se aplica y qué entradas y artefactos pertenecen a la afirmación.","oss-aion-cadence-banners.supplier.body.two":"Tu equipo puede conservar esa evidencia y usar otro verificador. La revisión ya no depende del acceso al servicio original ni de pedir al proveedor que repita la ejecución.","oss-aion-cadence-banners.supplier.panel":"Evidencia recibida con el resultado","oss-aion-cadence-banners.supplier.tag":"PORTABLE","oss-aion-cadence-banners.supplier.item.claim.label":"Afirmación del proveedor","oss-aion-cadence-banners.supplier.item.claim.detail":"El resultado y su alcance se indican explícitamente.","oss-aion-cadence-banners.supplier.item.claim.status":"RECIBIDA","oss-aion-cadence-banners.supplier.item.certificate.label":"Sobre del certificado","oss-aion-cadence-banners.supplier.item.certificate.detail":"La evidencia y los identificadores viajan con la afirmación.","oss-aion-cadence-banners.supplier.item.certificate.status":"ADJUNTA","oss-aion-cadence-banners.supplier.item.coverage.label":"Declaración de cobertura","oss-aion-cadence-banners.supplier.item.coverage.detail":"La familia del certificado indica qué puede establecer.","oss-aion-cadence-banners.supplier.item.coverage.status":"ACOTADA","oss-aion-cadence-banners.supplier.item.checker.label":"Verificador independiente","oss-aion-cadence-banners.supplier.item.checker.detail":"Tu parte verifica la evidencia sin el productor.","oss-aion-cadence-banners.supplier.item.checker.status":"DISPONIBLE","oss-aion-cadence-banners.supplier.verdict":"la evidencia sigue siendo útil después de que termine la ejecución del proveedor","oss-aion-cadence-banners.supplier.footer":"un resultado verificable es más fácil de conservar, comparar y impugnar","oss-aion-cadence-banners.boundary.eyebrow":"AION / revisión controlada","oss-aion-cadence-banners.boundary.lead":"La revisión permanece dentro","oss-aion-cadence-banners.boundary.accent":"del límite que establece tu organización","oss-aion-cadence-banners.boundary.body.one":"El caso, la regla y el certificado se pueden comprobar donde ya residen. La verificación local evita convertir una revisión en otra vía de divulgación del material examinado.","oss-aion-cadence-banners.boundary.body.two":"El registro sigue indicando la propiedad establecida y la evidencia utilizada. Mantener los datos en el sitio no significa renunciar a una pista de auditoría atribuible.","oss-aion-cadence-banners.boundary.panel":"Vía de revisión local","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Abrir el caso conservado","oss-aion-cadence-banners.boundary.item.case.detail":"El material de origen permanece en su entorno existente.","oss-aion-cadence-banners.boundary.item.case.status":"EN EL SITIO","oss-aion-cadence-banners.boundary.item.property.label":"Seleccionar la afirmación que se va a comprobar","oss-aion-cadence-banners.boundary.item.property.detail":"El alcance del certificado sigue siendo explícito.","oss-aion-cadence-banners.boundary.item.property.status":"ACOTADO","oss-aion-cadence-banners.boundary.item.perimeter.label":"Ejecutar dentro del perímetro","oss-aion-cadence-banners.boundary.item.perimeter.detail":"No se requiere ningún servicio externo para la verificación.","oss-aion-cadence-banners.boundary.item.perimeter.status":"CONTENIDO","oss-aion-cadence-banners.boundary.item.record.label":"Conservar el registro de revisión","oss-aion-cadence-banners.boundary.item.record.detail":"Las entradas, el verificador y el resultado siguen siendo atribuibles.","oss-aion-cadence-banners.boundary.item.record.status":"REGISTRADO","oss-aion-cadence-banners.boundary.verdict":"la evidencia se puede comprobar sin crear una nueva transferencia de datos","oss-aion-cadence-banners.boundary.footer":"la ejecución local y la evidencia revisable pertenecen al mismo control","oss-aion-case-fields.ce69e76708":"un caso inicia una decisión","oss-aion-case-fields.9a83c048c3":"un veredicto termina una comprobación","oss-aion-case-fields.afc58d4c40":"el primero que falla, por nombre","oss-aion-case-fields.3bc6a69e80":"el saldo debe superar cero antes de un reintento","oss-aion-case-fields.4e0285b28b":"condición incumplida","oss-aion-case-fields.4e0af55321":"CONTRaejemplo","oss-aion-case-fields.344daefb37":"Un caso, completo","oss-aion-case-fields.62e0ec394a":"los valores y qué tipo es cada uno","oss-aion-case-fields.7f01fe787c":"lote","oss-aion-checked-not-rerun.dd5b6cbe2b":"una fusión, una ausencia","oss-aion-checked-not-rerun.846a719bdc":"La última línea no tiene contraparte a ningún precio.","oss-aion-checked-not-rerun.6c26a05ac4":"Cinco de los siete se van y dos de ellos se fusionan.","oss-aion-checked-not-rerun.4f01efffc8":"leído por alguien que nunca tuvo su software","oss-aion-checked-not-rerun.a70205a694":"comparado con el del próximo trimestre","oss-aion-checked-not-rerun.0d85e26645":"archivado con la decisión que respaldaba","oss-aion-checked-not-rerun.ffc7dbc2ad":"lo que conservas después","oss-aion-checked-not-rerun.d6124c1aee":"nada a la izquierda produce esto","oss-aion-checked-not-rerun.9b9252883d":"el certificado en sí","oss-aion-checked-not-rerun.0bfa7a3bd8":"las entradas declaradas y el contrato","oss-aion-checked-not-rerun.d7f7f555ad":"la afirmación","oss-aion-checked-not-rerun.527c7f544a":"tres cosas","oss-aion-checked-not-rerun.f8a34d2942":"para verificar su certificado","oss-aion-checked-not-rerun.2a20acacc2":"siete cosas","oss-aion-checked-not-rerun.a94f90b8e9":"para reproducir su sistema","oss-aion-checked-not-rerun.d2eae1af1f":"la misma garantía, dos vías","oss-aion-checked-not-rerun.87f754c087":"cinco eliminados, uno ausente","oss-aion-checked-not-rerun.2a62bb8028":"lo que requiere cada vía","oss-aion-checked-not-rerun.35d7d25591":"si sigue vigente después del cambio","oss-aion-checked-not-rerun.6cd8ba818d":"sobre qué datos","oss-aion-checked-not-rerun.96f39a5e7d":"contra qué versión del conjunto de reglas","oss-aion-checked-not-rerun.c8d59ae061":"qué condiciones se comprobaron","oss-aion-checked-not-rerun.b028b89ea7":"su asistencia","oss-aion-checked-not-rerun.c03c2fce6e":"una máquina de tamaño adecuado","oss-aion-checked-not-rerun.867d12b7ad":"los datos de entrada","oss-aion-checked-not-rerun.717e42eb01":"su archivo de configuración","oss-aion-checked-not-rerun.935b145c44":"un sistema operativo compatible","oss-aion-checked-not-rerun.fa15ad3da2":"la versión exacta que usaron","oss-aion-checked-not-rerun.5990a1ec89":"una licencia para su software","oss-aion-compile-cert.b1991b0d44":"así que una negativa apunta a uno","oss-aion-compile-cert.85edd85611":"las afirmaciones se nombran individualmente","oss-aion-compile-cert.6e8814b9a0":"Lo que salió, por dirección de contenido, vinculado a todo lo anterior.","oss-aion-compile-cert.a41732e051":"Identidad del artefacto","oss-aion-compile-cert.6d4151d7a5":"Lo que entró, por dirección de contenido y no por nombre de archivo.","oss-aion-compile-cert.7204133281":"Identidad de la fuente o del grafo","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"y lo que afirma sobre cada uno","oss-aion-compile-cert.0bcab6c465":"Lo que nombra el certificado","oss-aion-compile-cert.027f7ee7d1":"Qué propiedades establece este certificado sobre ellos.","oss-aion-compile-cert.8906f98ae0":"Preservación declarada","oss-aion-compile-cert.d186ea41e2":"Los pases aplicados, en el orden en que se aplicaron.","oss-aion-compile-cert.66ad6a206e":"Secuencia de transformación","oss-aion-compile-cert.ebb0c953d1":"Qué compilación, con qué configuración de optimización.","oss-aion-compile-cert.691f87f640":"Compilador y optimización","oss-aion-console.5d71265e50":"Comprueba un certificado de prueba. Sin solucionador, sin red.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Comprobando la prueba: proof.alethe","oss-aion-console.1016f1bcf3":"Formato: Alethe","oss-aion-console.70142f344c":"Análisis: OK","oss-aion-console.8455c5ceeb":"La prueba tiene N pasos","oss-aion-console.fc539fcf62":"Verificación de la prueba: CORRECTA","oss-aion-console.88f6db402f":"Tiempo de verificación: Nms","oss-aion-console.4f437cea65":"Tu verificador lo ha confirmado. Salida 0. Nada ha salido del equipo.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Lee el certificado","oss-aion-console.0cef7497bf":"El verificador abre el archivo de prueba que te han entregado. No necesita nada más: ni pesos de modelo, ni inicio de sesión de proveedor, ni internet.","oss-aion-console.830903eaf6":"Recorre cada paso","oss-aion-console.6ce1fb843f":"Cada deducción se reproduce contra las premisas que cita. LRAT incluye pistas de propagación de unidades, por lo que el recorrido es lineal en la longitud de la prueba.","oss-aion-console.1044fbcb06":"Acepta o rechaza","oss-aion-console.cb4e501f7a":"Si todos los pasos son válidos, el verificador imprime CORRECTA y sale con 0. Si alguno no lo es, indica el fallo y sale con un código distinto de cero. No hay término medio.","oss-aion-console.b568d47f2e":"Entrada","oss-aion-console.df73f614f5":"Un archivo de prueba","oss-aion-console.0562f32dc5":"Dependencias","oss-aion-console.7334b0e2cf":"Ninguna en el momento de la comprobación","oss-aion-console.64ae43e8fe":"Coste","oss-aion-console.660020f41a":"Lineal en la longitud de la prueba","oss-aion-console.5faa59d4bc":"Resultado","oss-aion-console.de76d16078":"CORRECTA o fallo indicado","oss-aion-console.76d6562c0a":"La comprobación","oss-aion-console.edabf74eb3":"Un solo comando lee la prueba y la","oss-aion-console.d161c0634a":"acepta o rechaza","oss-aion-console.a997e63df7":"El verificador es independiente del solucionador. Entrégale un certificado y tu propio verificador lo\n          confirma o rechaza, sin conexión, sin acceso al motor que lo ha generado.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"verificador sin conexión","oss-aion-console.6b5eb5323e":"Verificador independiente","oss-aion-console.165cb4a2fd":"N pasos y Nms son marcadores de posición: las cifras reales provienen de la prueba que compruebas, no\n              de nosotros. La superficie de comandos es real, aion check analiza, recorre e informa de CORRECTA.","oss-aion-console.b8fae1a1a1":"AION / comprobación de prueba","oss-aion-consumer-glyph.dccc2b6aff":"No se necesita internet","oss-aion-consumer-glyph.22c2234e11":"Hecho en Europa","oss-aion-consumer-glyph.75f527181b":"Se puede comprobar más tarde","oss-aion-consumer-glyph.94651c6eb5":"Un segundo asistente lo comprueba","oss-aion-consumer-glyph.b9fefb3f5b":"Parece correcto","oss-aion-consumer-glyph.fb447dd18d":"Tu recibo","oss-aion-consumer-glyph.49a8e53c77":"La máquina responde","oss-aion-consumer-glyph.f5ad0f0059":"Sí, y aquí está el porqué","oss-aion-consumer-glyph.7011b1a621":"La respuesta","oss-aion-consumer-glyph.07d0cfac8b":"Paso a paso, por escrito","oss-aion-consumer-glyph.5bcd26af49":"Cómo se llegó a ella","oss-aion-consumer-glyph.8afc953f7f":"¿Es esto adecuado para mí?","oss-aion-consumer-glyph.d79cce547d":"La pregunta","oss-aion-coverage-join.fa5284c04d":"lo corto es lo corto","oss-aion-coverage-join.d04fa188df":"Catorce no es ni de lejos todo, así que la unión se rechaza en lugar de redondearse.","oss-aion-coverage-join.0b67159da5":"Dieciséis celdas contabilizadas, y el resultado compuesto se acepta.","oss-aion-coverage-join.7142d70e45":"composición rechazada, cobertura insuficiente","oss-aion-coverage-join.245fbeffee":"no es un error de redondeo. Una región que nadie miró.","oss-aion-coverage-join.1df8f3c0e7":"14 de 16","oss-aion-coverage-join.1c1d6ac8f1":"dos celdas que nadie miró","oss-aion-coverage-join.f0833f7fc6":"la misma unión, falta un cubo","oss-aion-coverage-join.db8d5bf534":"composición aceptada","oss-aion-coverage-join.558480e414":"16 de 16","oss-aion-coverage-join.26f1b36edc":"todas las celdas contabilizadas","oss-aion-coverage-join.39cd7fa9c4":"cuatro cubos","oss-aion-coverage-join.bb2dba7602":"cubos ilustrativos","oss-aion-coverage-join.a4d76ddfc7":"cobertura insuficiente en dos celdas","oss-aion-coverage-join.e4445ac125":"Una verificación de división","oss-aion-coverage-join.186c8cd284":"La compilación que tienes no cambia bajo tus pies.","oss-aion-coverage-join.9daf9699cc":"la compilación","oss-aion-coverage-join.66506ab77b":"No se llama a ningún modelo.","oss-aion-coverage-join.f2250926d2":"Nada sale del límite.","oss-aion-coverage-join.3110d06249":"lo que sale","oss-aion-coverage-join.0bd87fb406":"Ningún procesador en esta ruta.","oss-aion-coverage-join.1fa5b0500c":"no a, no b, no c","oss-aion-coverage-join.898fae3bdc":"no a, no b, c","oss-aion-coverage-join.a8f663af2d":"no a, b","oss-aion-coverage-join.bee9689def":"cuatro máquinas, una respuesta","oss-aion-coverage-join.3ea0cf3ca7":"direcciones que estableces","oss-aion-coverage-join.7b9e33922c":"un servicio","oss-aion-coverage-join.17819009bd":"una invocación","oss-aion-coverage-join.2c4d8b9dd8":"un comando","oss-aion-coverage-join.5a78e04d95":"vinculado en","oss-aion-coverage-join.985e108737":"una biblioteca","oss-aion-coverage-join.1d06a0d76f":"modelo","oss-aion-coverage-join.8eab5a6dbb":"procesador","oss-aion-coverage-table.356f85e809":"un contrato de enrutamiento y un sobre AION","oss-aion-coverage-table.4f52f572dd":"siete salidas de productores","oss-aion-coverage-table.2a268cd632":"SIETE PRODUCTORES","oss-aion-coverage-table.8351372237":"salida primero, verificador elegido por la familia de certificados","oss-aion-coverage-table.b7d5fe11a0":"Lo que dejan atrás los siete productores","oss-aion-coverage-table.f31a7c9011":"Solver","oss-aion-coverage-table.a194f815cb":"Factible, inviable u óptimo","oss-aion-coverage-table.7ec93e2d31":"Prueba, modelo, núcleo, testigo o límite","oss-aion-coverage-table.651e0f73b2":"Verificador de solver específico de familia","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Una conclusión de las restricciones declaradas","oss-aion-coverage-table.9ac60dc1a8":"Derivación de restricciones y pruebas de solver devueltas","oss-aion-coverage-table.d5ef792d46":"Verificador de razonamiento de Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Una operación gobernada completada","oss-aion-coverage-table.70d43be1ea":"Autoridad, políticas, aprobaciones, transiciones y recibos","oss-aion-coverage-table.5372a8e90f":"Verificador organizativo de Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Un artefacto compilado","oss-aion-coverage-table.1f3e5d7c89":"Grafo fuente, transformaciones, invariantes e identidad del artefacto","oss-aion-coverage-table.86ca1bd031":"Verificador de compilación de Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Una carga de trabajo ejecutada","oss-aion-coverage-table.24f1ac9e33":"Módulo, entradas, concesiones de capacidad, transiciones, límites y salida","oss-aion-coverage-table.0f9ea21c74":"Verificador de ejecución de Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Una trayectoria simulada","oss-aion-coverage-table.ef85239d10":"Identidad del modelo, parámetros, estado, puntos de control, invariantes y hash de trayectoria","oss-aion-coverage-table.c5b7fe3198":"Verificador de simulación y FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Una ejecución de FMU completada","oss-aion-coverage-table.8f5753fba0":"Identidad de FMU, configuración, pasos, eventos, convergencia y traza","oss-aion-coverage-table.4d64b5bbaf":"Verificador de simulación y FMI","oss-aion-coverage-table.7d1ab3c6e0":"Evidencia:","oss-aion-coverage-table.4e5bc7d129":"Verificador:","oss-aion-days-left.545fa01eea":"y así lo dice antes del último día","oss-aion-days-left.eaa861cef8":"la misma regla, leída cuatro veces","oss-aion-days-left.2017bddab0":"Pregunta cualquier día y la misma regla hace la aritmética. Nada de la cuarta lectura\n          es más fuerte que la primera, solo más pequeña.","oss-aion-days-left.81b20537a7":"espacio restante, en días","oss-aion-days-left.0526dbf682":"EL RELOJ","oss-aion-days-left.2f29339cb6":"el mismo reloj, con cuatro días de diferencia","oss-aion-days-left.47a76d1261":"Una solicitud, cuatro lecturas","oss-aion-days-left.9dd1fe0fd2":"26 de 30","oss-aion-days-left.f4c6daac2a":"día 26","oss-aion-days-left.62f21454ca":"22 de 30","oss-aion-days-left.4ad399ed8a":"día 22","oss-aion-days-left.ae5a29afae":"16 de 30","oss-aion-days-left.195b05cbbd":"día 16","oss-aion-days-left.d31b7d0f91":"8 de 30","oss-aion-days-left.185b76515a":"día 8","oss-aion-days-left.2dd2bed725":"hoy","oss-aion-dispute-parts.65edc28a9d":"el panel y la decisión pertenecen a tu propio proceso, y el artefacto no se mueve","oss-aion-dispute-parts.e56cf65ada":"y no es el tribunal","oss-aion-dispute-parts.37f322f735":"aporta la evidencia,","oss-aion-dispute-parts.7b7570d892":"la decisión","oss-aion-dispute-parts.52e3685580":"la ventana","oss-aion-dispute-parts.7de929b394":"el panel","oss-aion-dispute-parts.2eba0fb6ad":"lo que tu propio proceso posee","oss-aion-dispute-parts.ea4031d789":"qué verificador, qué versión","oss-aion-dispute-parts.93be71a61d":"el contrato","oss-aion-dispute-parts.48b63234e3":"nombrado en lugar de resumido","oss-aion-dispute-parts.cced6746e2":"el punto de fallo","oss-aion-dispute-parts.2c9e8d06dd":"reproducible por cualquiera","oss-aion-dispute-parts.2e02032e1d":"la verificación","oss-aion-dispute-parts.804e9af218":"productor y firma intactos","oss-aion-dispute-parts.69506051d5":"conservado tal como se aceptó","oss-aion-dispute-parts.6b578cc32e":"el certificado","oss-aion-dispute-parts.21df0b2530":"Lo que aporta AION","oss-aion-dispute-parts.4029dc5f44":"Conserva el\n            certificado tal como se aceptó. Conserva la atribución, de modo que quién produjo el resultado\n            sobrevive a un cambio de contratista. Reproduce la verificación bajo demanda, por cualquiera,\n            sin el productor. Identifica el punto exacto de fallo en lugar de devolver un\n            veredicto. Y muestra qué verificador aceptó el resultado y bajo qué versión del contrato.\n            El panel, la ventana y la decisión pertenecen al proceso que tu\n            organización ya ejecuta. AION aporta el artefacto sobre el que ese proceso discute.","oss-aion-dispute-parts.434ae4f1d6":"El trabajo de AION en esa situación es limitado y es la parte útil.","oss-aion-dispute-parts.3eb5567b60":"El trabajo producido por una parte y del que depende otra acaba generando un desacuerdo\n            sobre si era bueno. Lo que lo decide casi nunca es la fuerza de la\n            discusión. Es si existe un artefacto que ambas partes puedan examinar y que ninguna\n            pueda modificar, y en la mayoría de las disputas los registros que resolverían la cuestión están en manos de\n            una de las dos partes.","oss-aion-dispute-parts.2ccc6715e9":"No un mejor argumento.","oss-aion-dispute-parts.aa0d5ae0e6":"Una disputa necesita evidencia.","oss-aion-dispute-parts.b4b6237893":"Cuando alguien no está de acuerdo","oss-aion-dispute-parts.eec3b038bd":"atribución","oss-aion-dispute-parts.100ec4462d":"evidencia","oss-aion-envelope-fields.cfc233d284":"el sobre nunca es","oss-aion-envelope-fields.1c80a87a33":"la carga útil es específica de la familia","oss-aion-envelope-fields.d85cb39036":"la familia, que decide el verificador","oss-aion-envelope-fields.a975c5af10":"Tipo de certificado","oss-aion-envelope-fields.4282e3d696":"nombrado, nunca implícito","oss-aion-envelope-fields.0562f32dc5":"Dependencias","oss-aion-envelope-fields.ca2dc8737d":"qué sistema, qué versión","oss-aion-envelope-fields.7b7194967f":"Productor","oss-aion-envelope-fields.f33f785291":"contra qué se hizo y qué versión","oss-aion-envelope-fields.404e7d3e00":"Entradas y contrato","oss-aion-envelope-fields.93a29173f5":"identificador y una carga útil o su hash","oss-aion-envelope-fields.dc4e08a408":"Reclamación","oss-aion-envelope-fields.78e789d605":"CONTRATO","oss-aion-envelope-fields.d12a9ca770":"fuera de la carga útil, cada familia","oss-aion-envelope-fields.f18dee6041":"El sobre","oss-aion-envelope-fields.f07e5a8156":"carga útil","oss-aion-evidence.cbf668da60":"Archivos de registro","oss-aion-evidence.28e06c789a":"Un registro muestra que el sistema estaba en funcionamiento. No muestra por qué se llegó a la respuesta, y un registro puede editarse silenciosamente.","oss-aion-evidence.c637aebe3a":"Opaco","oss-aion-evidence.5c3fc92e3f":"Una puntuación de confianza","oss-aion-evidence.fd3c76543b":"Un número que resume un estado interno. Dos sistemas pueden mostrar la misma puntuación y llegar a conclusiones opuestas con la misma entrada.","oss-aion-evidence.16f3dacf52":"Sin derivación","oss-aion-evidence.7f34e37f1b":"Una explicación autogenerada","oss-aion-evidence.361b70a63e":"Escrita por el mismo modelo que tomó la decisión. Se califica su propio trabajo, por lo que no puede servir como evidencia independiente.","oss-aion-evidence.782acc59ce":"Circular","oss-aion-evidence.477416bf24":"Confiar en el proveedor","oss-aion-evidence.1e84c62138":"Cuando un regulador, un paciente o un tribunal pregunta «muestra tu trabajo», una promesa a nivel de servicio no es una respuesta que puedan comprobar.","oss-aion-evidence.76afe0e09f":"Inverificable","oss-aion-evidence.06f2d5f1a8":"Un certificado, no una afirmación","oss-aion-evidence.cdcc6f712c":"AION emite un certificado de prueba junto con la respuesta. El certificado enumera cada paso de razonamiento en el orden en que se tomó.","oss-aion-evidence.6d1c5f470b":"Comprobado por otra persona","oss-aion-evidence.cc65178dc5":"Un verificador independiente recorre los pasos y los acepta o rechaza. La parte que hace la pregunta lo ejecuta ella misma.","oss-aion-evidence.412a3b1e5e":"Reproducible más tarde","oss-aion-evidence.9082c552d2":"El mismo certificado se comprueba de la misma manera el próximo mes, en una máquina diferente, sin acceso al sistema original.","oss-aion-evidence.1206578b48":"muestra tu trabajo","oss-aion-evidence.494beafd71":"la pregunta de auditoría","oss-aion-evidence.bba8b0753d":"evidencia frente a afirmación","oss-aion-evidence.00e2ca4c85":"Cuando una decisión de IA llega a un regulador, un paciente o un caso de seguridad, alguien pregunta","oss-aion-evidence.1defdb9d85":"cómo se llegó a esta respuesta.","oss-aion-evidence.290a698043":"La mayoría de las organizaciones no pueden dar una respuesta\n          que la persona que pregunta pueda comprobar por sí misma.","oss-aion-evidence.56f6624482":"No es evidencia","oss-aion-evidence.a295517f40":"Lo que se ofrece hoy","oss-aion-evidence.7ea014de7b":"Evidencia","oss-aion-evidence.4cb1cd3e53":"Lo que AION entrega","oss-aion-evidence.2a36a263da":"La evidencia no se afirma. La evidencia se comprueba.","oss-aion-evidence.e0a4c0a385":"La verificación independiente es la única respuesta que un auditor puede aceptar.","oss-aion-exact-sum.21aaad8129":"se rechaza un multiplicador negativo antes de tomar la suma, en la primera comprobación","oss-aion-exact-sum.3b267c2a81":"sin coma flotante interna en esa cadena","oss-aion-exact-sum.1a43ebe28c":"por lo que el sistema queda refutado","oss-aion-exact-sum.452308dbcd":"constante restante","oss-aion-exact-sum.35add33a7a":"lo que queda","oss-aion-exact-sum.df326a819b":"los términos en y se cancelan","oss-aion-exact-sum.dae482d4b2":"los términos en x se cancelan","oss-aion-exact-sum.c36d183406":"suma las desigualdades escaladas","oss-aion-exact-sum.79e4c9d3fa":"escalarlo","oss-aion-exact-sum.c3c4b24b20":"las dos desigualdades, todo en un lado","oss-aion-exact-sum.b6b4c73115":"La suma, completa","oss-aion-exact-sum.c1c66bf52c":"Las condiciones se comprueban en orden y cada una es un rechazo por sí misma. Un multiplicador negativo se rechaza antes de tomar cualquier suma, porque escalar por un número negativo invierte la desigualdad. Se rechaza una suma en la que sobrevive un término variable, nombrando el término superviviente. Se rechaza una suma cuya constante restante no es positiva, porque no prueba nada. Un coeficiente por encima del límite de magnitud provoca un desbordamiento en lugar de envolver. Nada en esa cadena es una tolerancia.","oss-aion-exact-sum.6efbacfc5b":"Una refutación aritmética es un conjunto de multiplicadores. Escribe cada desigualdad con todo en un lado del signo, escálala, suma las desigualdades escaladas, y si todo término variable se cancela y lo que queda es un número positivo que se dice que es como mucho cero, eso no puede sostenerse, por lo que tampoco puede el sistema del que proviene. AION acepta esos multiplicadores en el límite y los convierte a una representación adaptativa declarada de entero/punto fijo antes de comprobar. Almacena, acumula y calcula sin valores de coma flotante internamente, y no tiene respaldo de coma flotante. La fracción se imprime aquí porque hace legible la contradicción; la comprobación se rige por su conversión y escala declaradas.","oss-aion-exact-sum.31934abfaa":"Su conversión declara la escala.","oss-aion-exact-sum.a3caf489e5":"Un tercio no es 0.333.","oss-aion-exact-sum.15e6a906dd":"Aritmética adaptativa de punto fijo declarada","oss-aion-exact-sum.108a35964a":"la suma dice 11/6 <= 0, lo cual es falso,","oss-aion-exact-sum.6045546490":"y - x + 1/3 <= 0","oss-aion-exact-sum.a9171dcc84":"x - y + 3/2 <= 0","oss-aion-exact-sum.0df9336e46":"3y - 3x + 1 <= 0","oss-aion-exact-sum.022fb6347f":"2x - 2y + 3 <= 0","oss-aion-exact-sum.fb360f9c09":"sí","oss-aion-exact-sum.c4c6c57253":"positivo","oss-aion-exact-sum.b55e22fe78":"exacto","oss-aion-exec-cert.6a230011ab":"lo comprueba otra cosa","oss-aion-exec-cert.2c14724b1b":"lo produjo el runtime","oss-aion-exec-cert.b07722ef0c":"el límite","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"módulo de salida","oss-aion-exec-cert.a7b63abc02":"Lo que lleva el certificado","oss-aion-exec-cert.e1bbfaa783":"La identidad de lo que salió y si quedó atrapado.","oss-aion-exec-cert.59871c9494":"Salida y estado","oss-aion-exec-cert.ffb779a5c3":"Los límites dentro de los que se ejecutó, como cotas y no como observaciones.","oss-aion-exec-cert.ffbc724f07":"Entorno de recursos","oss-aion-exec-cert.273c1da325":"Determinista, dados el módulo, las entradas y las concesiones.","oss-aion-exec-cert.acee491c99":"Transiciones de estado","oss-aion-exec-cert.eab885bbb2":"Lo que se le permitió alcanzar, declarado antes de ejecutarse.","oss-aion-exec-cert.dc009dc166":"Concesiones de capacidades","oss-aion-exec-cert.6f3eb29822":"Qué módulo, por dirección de contenido, en qué versión del runtime.","oss-aion-exec-cert.c201b4ae89":"Identidad del módulo","oss-aion-executed-under.6b6dab207c":"Lo que permite el certificado","oss-aion-executed-under.1fcfedc78a":"lo que podría alcanzar","oss-aion-executed-under.0338c5441d":"La cuestión después del hecho es la autoridad, y el certificado la lleva.","oss-aion-executed-under.bc70ed4db9":"Cuatro concesiones otorgadas y tres denegadas.","oss-aion-executed-under.6f9d76b8c0":"Las transiciones son deterministas dado el módulo, las entradas y las concesiones, por lo que todo esto se siguió sin ejecutar nunca la carga de trabajo.","oss-aion-executed-under.e044b5f419":"La identidad que declara el certificado no es la identidad que producen las transiciones, por lo que la ejecución se rechaza en la salida. Todo lo anterior se reconstruyó exactamente.","oss-aion-executed-under.7f0cc64ae8":"transiciones deterministas","oss-aion-executed-under.5fa4050afc":"conjunto de capacidades, declarado antes de la ejecución","oss-aion-executed-under.844e9ed357":"reloj, no establecido","oss-aion-executed-under.b3ccbb4041":"límite de memoria 512 MiB","oss-aion-executed-under.1fe892a96f":"un socket, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"leer /var/lib/claims","oss-aion-executed-under.7a02a68db0":"no retenida","oss-aion-executed-under.685706abcf":"la identidad de salida difiere","oss-aion-executed-under.6287ff317a":"producida","oss-aion-executed-under.0baff051a0":"declarada","oss-aion-executed-under.1029d67644":"salida","oss-aion-executed-under.fbd34a2b6e":"módulo","oss-aion-executed-under.910e029098":"ilustrativo","oss-aion-executed-under.df6fe4f714":"la capacidad de persistir más allá de la ejecución","oss-aion-executed-under.b51590997b":"cualquier otra dirección","oss-aion-executed-under.e4e545e3b7":"todo lo demás en el sistema de archivos","oss-aion-fact-strip.0dc9622797":"Todas las cifras remiten al repositorio AION.","oss-aion-fact-strip.b7feece146":"AION en cifras","oss-aion-fact-strip.fedec331ff":"Biblioteca, CLI y benchmark en un mismo espacio de trabajo","oss-aion-fact-strip.13a24daf03":"Implementación","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Punto fijo binario, entero y adaptativo; sin coma flotante interna","oss-aion-fact-strip.5688a0448c":"Núcleo aritmético","oss-aion-fact-strip.0cae74747c":"Exacto","oss-aion-fact-strip.379c055f01":"Lineal en la longitud de la prueba, sin conexión, sin solucionador","oss-aion-fact-strip.04ce84fb6e":"Coste de verificación","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe y un formulario intermedio unificado","oss-aion-fact-strip.e6c67de15e":"Formatos de prueba","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Teorías lógicas","oss-aion-failure-notice.d8164c5dd8":"un hallazgo, no una disputa","oss-aion-failure-notice.159098bbba":"El otro inicia una discusión que nadie puede cerrar.","oss-aion-failure-notice.814fc5cd4f":"Uno de estos puede enviarse a un proveedor un martes por la tarde.","oss-aion-failure-notice.2e6ea3eaa5":"no puede asignarse, no puede valorarse, no puede discutirse con precisión","oss-aion-failure-notice.e896d6344f":"verificación fallida","oss-aion-failure-notice.587270a2e4":"dónde va cada campo","oss-aion-failure-notice.ba0f0eb3fe":"premisa no presente","oss-aion-failure-notice.0c2a7f4aef":"paso 415","oss-aion-failure-notice.55daa4a2ea":"los últimos cuatro pasos leídos","oss-aion-failure-notice.ca548ed152":"17 de marzo de 2026","oss-aion-failure-notice.3c05b129e2":"sin veredicto emitido","oss-aion-failure-notice.aa943932a5":"aviso de rechazo","oss-aion-failure-notice.28fb3d519e":"reconstruido","oss-aion-failure-notice.bd370d1b6f":"paso","oss-aion-failure-notice.910e029098":"ilustrativo","oss-aion-failure-notice.e6b658331e":"y nadie es acusado","oss-aion-failure-notice.94002635cd":"tú, si es una pregunta de alcance","oss-aion-failure-notice.7ab178c9a0":"el tipo","oss-aion-failure-notice.0d967ff8f3":"proporciona la premisa que falta","oss-aion-failure-notice.b54c9b7359":"quien haya producido el paso","oss-aion-failure-notice.94a94ba774":"la razón","oss-aion-failure-notice.ba3167e426":"confirma lo que ese paso debería hacer","oss-aion-failure-notice.32ec97b69b":"el propietario de tu conjunto de reglas","oss-aion-failure-notice.b543dc38fd":"la regla","oss-aion-failure-notice.ad866c4aef":"abre el archivo en el paso 415","oss-aion-failure-notice.06fddd86f6":"el equipo de verificación del proveedor","oss-aion-failure-notice.aecf66bfac":"la ubicación","oss-aion-failure-notice.1d7794c5e2":"sin veredicto emitido para esta prueba","oss-aion-failure-notice.f4475dac73":"consecuencia","oss-aion-failure-notice.566c7d73a0":"el paso cita una premisa que no está presente en el archivo","oss-aion-failure-notice.7947e92e3c":"motivo","oss-aion-failure-notice.5dfa011717":"regla, resolución","oss-aion-failure-notice.64463af8a3":"414 aceptados","oss-aion-failure-notice.c21ce4fb88":"pasos leídos","oss-aion-failure-notice.2bf60a2164":"el análisis de conflictos del proveedor para el conjunto de reglas de marzo","oss-aion-failure-notice.335ce16b3f":"asunto","oss-aion-family-board.ca8f6715c8":"versionado por separado","oss-aion-family-board.e794ff76c1":"un esquema a la espera de un verificador","oss-aion-family-board.0f2e82af82":"Nueve familias comparten un sobre y nada más. La décima es","oss-aion-family-board.ca6c6dda8e":"un verificador y un conjunto de reglas declarado","oss-aion-family-board.c53186083e":"la décima","oss-aion-family-board.0020359543":"transición no válida, concesión superada, discrepancia de salida,\n              traza incompleta","oss-aion-family-board.187225126d":"taxonomía de rechazo","oss-aion-family-board.fac6c7230f":"reproducir las transiciones contra los límites\n              y el conjunto de reglas declarados","oss-aion-family-board.155e6164fc":"algoritmo de verificación","oss-aion-family-board.924f583920":"una secuencia de transiciones determinista con identidades de\n              entrada y salida","oss-aion-family-board.c0e6022509":"representación de la prueba","oss-aion-family-board.927f6ddf1e":"esta carga de trabajo se ejecutó bajo estas concesiones y alcanzó esta salida","oss-aion-family-board.79bf5b0ee6":"tipo de afirmación","oss-aion-family-board.131097a25c":"Ejecución en tiempo de ejecución, v2","oss-aion-family-board.50b24e4d4c":"una placa, abierta","oss-aion-family-board.803aa98470":"que el registro almacenado es el aceptado","oss-aion-family-board.3e71ceb1ca":"Integridad del almacenamiento","oss-aion-family-board.f8603f4710":"que el modelo declarado produjo esta ejecución","oss-aion-family-board.ccc3c9b41d":"Simulación y FMI","oss-aion-family-board.d0c6b470a4":"que se ejecutó dentro de las concesiones que se le dieron","oss-aion-family-board.dc37599f99":"Ejecución en tiempo de ejecución","oss-aion-family-board.4f059da0be":"que el artefacto preserva la fuente","oss-aion-family-board.aad755de42":"Compilación","oss-aion-family-board.69ce9b9c4f":"que la operación gobernada ocurrió","oss-aion-family-board.ed87ca5ca0":"Organizativo","oss-aion-family-board.0dbf90d179":"que la derivación declarada reconstruye","oss-aion-family-board.e272c597fd":"Razonamiento","oss-aion-family-board.e79949ba43":"que una propiedad se cumple entre ejecuciones, no una","oss-aion-family-board.bdb5a28846":"Temporal e hiperpropiedad","oss-aion-family-board.b83c805a0a":"que nada mejor existe dentro de los límites","oss-aion-family-board.c794704381":"Optimización","oss-aion-family-board.ede1ae7e54":"que ninguna asignación satisface el conjunto","oss-aion-family-board.a04ce90d06":"Lógica y satisfacibilidad","oss-aion-family-board.b98b54298f":"nueve registradas, una en esquema","oss-aion-family-board.6253e9d668":"El panel de la familia","oss-aion-family-board.910e029098":"ilustrativo","oss-aion-family-registry.6e32650bab":"y una versión en todas ellas","oss-aion-family-registry.dcd1f1fdc9":"cuatro declaraciones por familia","oss-aion-family-registry.3bc3fe987d":"Los fallos que esta familia puede devolver, cada uno con una ubicación.","oss-aion-family-registry.d129426d71":"Taxonomía de rechazo","oss-aion-family-registry.d4504f5b41":"Lo que ejecuta el verificador y el conjunto de reglas que acepta.","oss-aion-family-registry.52ab770040":"Algoritmo de verificación","oss-aion-family-registry.4c9dd89c88":"Cómo se transporta el testigo, la derivación o el rastro.","oss-aion-family-registry.016fecd943":"Representación de la prueba","oss-aion-family-registry.ab1e33179a":"Lo que establece esta familia y lo que deliberadamente no establece.","oss-aion-family-registry.8a547220fc":"Tipo de afirmación","oss-aion-family-registry.37094b3cc5":"antes de que pueda comprobarse","oss-aion-family-registry.b14e18379b":"REGISTRO","oss-aion-family-registry.b3e4281358":"Lo que declara una familia","oss-aion-family-registry.7efea8ff96":"incompleto","oss-aion-family-registry.995fee1f1a":"no compatible","oss-aion-family-registry.81f344a768":"no válido","oss-aion-foreign-proof.4c43cb0de1":"sin licencia, sin entorno","oss-aion-foreign-proof.9406c96fa7":"cuatro líneas finas entre ellos","oss-aion-foreign-proof.9fefe2d67f":"Cuatro tipos de trabajo a un lado, cuatro objetos legibles al otro, y","oss-aion-foreign-proof.57802c0b4e":"El verificador nunca ejecutó el lado izquierdo, y no tiene por qué hacerlo.","oss-aion-foreign-proof.1dfc94b110":"un recibo","oss-aion-foreign-proof.cff5f15fed":"dos transiciones","oss-aion-foreign-proof.d58f13fb52":"comprobación de autoridad","oss-aion-foreign-proof.24ef006723":"autoridad y recibos","oss-aion-foreign-proof.933912faec":"agentes, coordinando","oss-aion-foreign-proof.2ae1de46da":"el estado permanece dentro del sobre declarado","oss-aion-foreign-proof.ed96565674":"puntos de control y un invariante","oss-aion-foreign-proof.0ae689c7bd":"pasos de integración","oss-aion-foreign-proof.f9020659b6":"elección del núcleo","oss-aion-foreign-proof.3e77a07952":"afirmaciones de preservación","oss-aion-foreign-proof.2bb64b9b5b":"pasadas de optimización","oss-aion-foreign-proof.c8b39aa910":"derivación de cláusulas","oss-aion-foreign-proof.4da89bbc52":"búsqueda del solucionador","oss-aion-foreign-proof.51339ff0ea":"la evidencia, en tu máquina","oss-aion-foreign-proof.4f45bf808d":"el trabajo, en el productor","oss-aion-foreign-proof.c369931988":"cuatro líneas, nada más","oss-aion-foreign-proof.ec0b7e2c43":"Lo que cruza el límite","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 y Alethe verifican en tiempo lineal sin conexión. DRAT se comprueba y luego se recorta a LRAT.\n            Unified convierte entre ellos sin pérdida.","oss-aion-formats.14a628e6d3":"Comprobado por","oss-aion-formats.dda6ac27b9":"Verificar","oss-aion-formats.34556fa12c":"Tarjeta de formato","oss-aion-formats.e6c67de15e":"Formatos de prueba","oss-aion-formats.8a5e29e5bb":"conversión sin pérdida","oss-aion-formats.ddb7c01560":"una fuente, cuatro formas","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# prueba intermedia unificada","oss-aion-formats.0d3311a5dc":"conversor aion-proofs","oss-aion-formats.1f5124d90b":"Convertido al exportar","oss-aion-formats.8c21b7e1f1":"La representación interna que convierte entre los demás sin pérdida.","oss-aion-formats.ebb8e8cf49":"Forma intermedia","oss-aion-formats.287fda8114":"Unificado","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":"Tiempo lineal, sin conexión","oss-aion-formats.f6f7b642b0":"El formato de la comunidad SMT-LIB de la línea cvc5 y veriT.","oss-aion-formats.4aa5db37af":"Prueba SMT","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" líneas de adición y eliminación de drat","oss-aion-formats.f3ba7f38e9":"drat-trim a LRAT","oss-aion-formats.36f33c83a6":"Comprobado y luego recortado","oss-aion-formats.4745aebc97":"Adición y eliminación clausal. Los comprobadores de formato recortan a LRAT.","oss-aion-formats.154df3dc2f":"Certificado SAT","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" cláusula vacía derivada","oss-aion-formats.6fd630d612":" lrat con pistas de propagación unitaria","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Pruebas de resolución estándar de la industria para el núcleo proposicional.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"un archivo que nunca se cierra","oss-aion-four-gates.0ff8f0eb5a":"y uno más al final","oss-aion-four-gates.a1ebd8379f":"antes del paso 1","oss-aion-four-gates.b161dbb47d":"El archivo se escanea primero en busca de un número de paso repetido.","oss-aion-four-gates.21e412d2d0":"Dos pasos, un número","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"y uno antes de cualquiera de ellos","oss-aion-four-gates.e74bdcd46a":"Cuatro pruebas, en este orden","oss-aion-four-gates.fef891bb33":"paso 15","oss-aion-four-gates.cc90eb3e73":"No hay rutina para el nombre. La lectura se detiene en lugar de saltar.","oss-aion-four-gates.787e8a8577":"Regla desconocida","oss-aion-four-gates.e70c55582f":"paso 52","oss-aion-four-gates.59446cbcf9":"Una premisa que está presente, pero numerada por encima del paso que la cita.","oss-aion-four-gates.f1604fe1aa":"Citado fuera de orden","oss-aion-four-gates.a42f56e597":"paso 44","oss-aion-four-gates.371b9613cc":"Un número citado que no aparece en ningún lugar del archivo.","oss-aion-four-gates.1d1369a316":"Premisa ausente","oss-aion-four-gates.e1391a7c80":"paso 31","oss-aion-four-gates.9a7512e955":"Un paso que se apoya en su propia conclusión. Se pregunta primero, en cada paso.","oss-aion-four-gates.7f30dfcc04":"Se cita a sí mismo","oss-aion-governed-operation.b0582e8559":"Una operación, verificada","oss-aion-governed-operation.8af7f1d469":"gobernada y luego verificada","oss-aion-governed-operation.ada470c3d7":"Una cadena y su verificación son dos autoridades distintas.","oss-aion-governed-operation.90fba649e4":"Cuatro elementos reconstruidos, y el quinto detiene la lectura.","oss-aion-governed-operation.ea8356461f":"no en este certificado: lo que pensaba cualquier agente","oss-aion-governed-operation.2f68c232b4":"La versión de la política que declara el certificado no incluye la condición que esta puerta\n                afirma haber aplicado. La operación se rechaza en ese elemento y no se emite ningún\n                veredicto para el conjunto.","oss-aion-governed-operation.be51277bfd":"no alcanzado","oss-aion-governed-operation.57b160e317":"la aprobación del verificador, por su propia autoridad","oss-aion-governed-operation.26f017e3e6":"aceptado, ref. 4471-b","oss-aion-governed-operation.34c3c00446":"recibo registrado","oss-aion-governed-operation.159338740e":"instrucción de pago, sistema de contabilidad","oss-aion-governed-operation.80f6148b56":"acción realizada","oss-aion-governed-operation.458c8c203d":"a la acción, no a un mensaje cercano","oss-aion-governed-operation.1b4dcda6ba":"aprobación adjunta","oss-aion-governed-operation.303418bf06":"más de 50 000 requiere un segundo aprobador","oss-aion-governed-operation.faf1f5eb4b":"puerta de política","oss-aion-governed-operation.557df801be":"transiciones de tarea","oss-aion-governed-operation.b1c842256e":"oficial de reclamaciones","oss-aion-governed-operation.59bef6c3e5":"autoridad resuelta","oss-aion-governed-operation.0639a9efd0":"cuatro agentes, alcance desigual","oss-aion-governed-operation.8e44be8724":"organización formada","oss-aion-governed-operation.139146ad26":"política v4.2","oss-aion-governed-operation.8524f08438":"liquidar las reclamaciones de proveedores del trimestre","oss-aion-governed-operation.cab7375bdf":"la operación, tal como la realizó Nexus","oss-aion-governed-operation.82c8154dca":"rechazada en la puerta","oss-aion-governed-operation.a503bc1da2":"rechazada","oss-aion-governed-operation.28fb3d519e":"reconstruida","oss-aion-governed-operation.45807bf2ec":"liquidada","oss-aion-governed-operation.fb92f3f834":"evaluada","oss-aion-governed-operation.590abaace4":"abierta","oss-aion-governed-operation.d2dc873868":"objetivo","oss-aion-governed-operation.910e029098":"ilustrativo","oss-aion-harness-fields.d5ad303466":"y un número que puedes citar","oss-aion-harness-fields.5a31ca3c0f":"tu corpus, tu hardware","oss-aion-harness-fields.58664673b0":"Impreso sobre todo el corpus al final de la ejecución.","oss-aion-harness-fields.6197b910db":"Un recuento correcto","oss-aion-harness-fields.175226a475":"En comparación con el estado registrado en el propio archivo.","oss-aion-harness-fields.d787e678da":"Responder según el estado","oss-aion-harness-fields.b5ec587356":"La búsqueda en sí, por instancia, sin promediar.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Tiempo de resolución","oss-aion-harness-fields.bec737ff93":"El tiempo que tardó en leerse el archivo, aparte de la resolución.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Tiempo de análisis","oss-aion-harness-fields.20e5752f58":"El máximo alcanzado, para que un plan de capacidad tenga una cifra.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Memoria residente máxima","oss-aion-harness-fields.b660370132":"un archivo de tu corpus","oss-aion-harness-fields.ec845d015d":"por instancia, y luego totalizado","oss-aion-harness-fields.a94252fbc5":"ARNÉS","oss-aion-harness-fields.1af45602c5":"Lo que registra una ejecución","oss-aion-harness-fields.b3cbdd75cb":"refutado","oss-aion-harness-fields.48a3661d84":"estado","oss-aion-harness-fields.25dc282b5a":"respuesta","oss-aion-harness-fields.a0299ff49d":"caso-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Resolviendo...","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":"Tiempo: 4 ms","oss-aion-hero-glyph.138243f0f4":"Resultado: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Prueba: 128 pasos","oss-aion-hero-glyph.41294a8dc8":"Prueba escrita en: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Comprobando prueba: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Análisis: OK","oss-aion-hero-glyph.27d28e3ca9":"La prueba tiene 128 pasos","oss-aion-hero-glyph.1ba94dea63":"Estadísticas de la prueba:","oss-aion-hero-glyph.e1b3c4d7c5":"  Pasos totales: 128","oss-aion-hero-glyph.e30b86fef9":"  Pasos de resolución: 71","oss-aion-hero-glyph.8215376faf":"  Pasos aritméticos: 24","oss-aion-hero-glyph.552f29f0b5":"  Tamaño máximo de cláusula: 6","oss-aion-hero-glyph.fc539fcf62":"Verificación de la prueba: CORRECTO","oss-aion-hero-glyph.1e4bdfb80c":"Tiempo de verificación: 2 ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Sin conexión","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + teoría","oss-aion-hero-glyph.6ba46a924e":"punto fijo adaptativo","oss-aion-hero-glyph.a9f24b1b66":"comprobación en tiempo lineal","oss-aion-hero-glyph.6b5eb5323e":"Certificado adjunto","oss-aion-how-to-check.c799cc998b":"Resultado: esto es correcto.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"La primera máquina entrega su recibo a un ayudante independiente, que lo comprueba","oss-aion-how-to-check.d026bcfccb":"El resultado es claro: el recibo cuadra o no cuadra. No hay término medio.","oss-aion-how-to-check.d0c84a5a37":"La comprobación se realiza donde estás. No se envía nada a ningún sitio ni se necesita un sitio web.","oss-aion-how-to-check.623151a710":"El ayudante que comprueba no es la máquina que respondió. No puede simplemente estar de acuerdo consigo mismo.","oss-aion-how-to-check.87e974a415":"lo lee y lo comprueba","oss-aion-how-to-check.3c487e646c":"Un segundo ayudante","oss-aion-how-to-check.78829f8a37":"los pasos, por escrito","oss-aion-how-to-check.9b7b265fbb":"El recibo","oss-aion-how-to-check.f58fd2cb80":"da una respuesta y un recibo","oss-aion-how-to-check.50e90303d4":"La primera máquina","oss-aion-integration.b1873dbd42":"Un solo motor, sin servicio externo. Vincula la crate, fija una versión y verifica los certificados en el mismo entorno.","oss-aion-integration.5f2e7d7c25":"El mismo certificado de prueba desde cualquier superficie. Una consulta entra, un certificado verificable sale.","oss-aion-integration.a4db3ae8b6":"Cómo lo llamas","oss-aion-integration.4ec6d609ab":"Empieza con una ruta de decisión","oss-aion-integration.559461e293":"biblioteca, CLI, banco de pruebas","oss-aion-integration.0228a4c724":"Cualquiera puede verificar un certificado con aion check, o con un verificador LRAT o Alethe independiente, en su propia máquina.","oss-aion-integration.dda6ac27b9":"Verificar","oss-aion-integration.4d2c6036eb":"Pon aion-cli detrás de un servicio propio. El certificado de prueba es el contrato que el servicio devuelve.","oss-aion-integration.c3447e7954":"Envolver","oss-aion-integration.f9109d0f04":"Añade la crate a una aplicación Rust existente y emite certificados en línea con las respuestas que ya produce.","oss-aion-integration.ad02e14e28":"Incrustar","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Un binario de referencia dedicado se incluye en el espacio de trabajo. Mide la resolución y la verificación en tu propio hardware en lugar de confiar en una cifra del proveedor.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Controla AION desde un shell o un trabajo de CI. solve ejecuta una consulta, check verifica un certificado de prueba sin conexión y prove emite uno. La misma salida de prueba que la biblioteca.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Enlaza AION como crate y llama directamente al solucionador y al emisor de pruebas. El núcleo, las teorías y los formatos de prueba están todos en el proceso, sin necesidad de levantar un servicio.","oss-aion-integration.8319d9b3b9":"Biblioteca Rust","oss-aion-live-margins.df15dfd304":"una de ellas es una acción","oss-aion-live-margins.96576608a5":"tres de estas son lecturas","oss-aion-live-margins.5711ac01c1":"RASTREADO","oss-aion-live-margins.f719aa9511":"transcurrido frente a permitido","oss-aion-live-margins.a344938438":"Cuatro obligaciones","oss-aion-live-margins.19e5ecc09e":"mismo día, en el evento","oss-aion-live-margins.828697f103":"Registro de transferencia","oss-aion-live-margins.222af170d9":"44 días de 30, aún abierto","oss-aion-live-margins.a441e09d1a":"Ventana de retención","oss-aion-live-margins.30e04c8f23":"2 días de 3","oss-aion-live-margins.20d6944505":"Notificación de incumplimiento","oss-aion-live-margins.9b9419d2e2":"26 días de 30","oss-aion-live-margins.6e7d6c760b":"Respuesta al interesado","oss-aion-nothing-outbound.45b9d8acdc":"sin cliente saliente","oss-aion-nothing-outbound.5b16b5db9a":"Todo camino comienza y termina dentro de una línea que dibujaste.","oss-aion-nothing-outbound.59a0768496":"Nada en esta hoja sobrepasa el contorno.","oss-aion-nothing-outbound.71c31d8219":"un proceso local en esta máquina","oss-aion-nothing-outbound.605f85e28f":"un verificador externo","oss-aion-nothing-outbound.150bc2359d":"una subred, definida por ti","oss-aion-nothing-outbound.5193678a39":"direcciones de clúster","oss-aion-nothing-outbound.49c4e670b3":"tu red","oss-aion-nothing-outbound.273ca4c134":"lo que configuras","oss-aion-nothing-outbound.7f8d7aeedb":"cinco filas","oss-aion-nothing-outbound.bcec1ac359":"lo que este camino añade a tu registro","oss-aion-nothing-outbound.4553aa0c94":"el almacén local","oss-aion-nothing-outbound.93d65d8ef8":"el archivo","oss-aion-nothing-outbound.760cfc52ce":"el verificador","oss-aion-nothing-outbound.6621d172f5":"el conjunto de reglas que se lee","oss-aion-nothing-outbound.565f3cfc6a":"el certificado que se comprueba","oss-aion-nothing-outbound.284f61c8db":"tu sitio, tu hardware","oss-aion-nothing-outbound.f368a04bb8":"un límite, y es tuyo","oss-aion-nothing-outbound.5c795b7e7d":"ningún camino sale","oss-aion-nothing-outbound.4f98b1412d":"Nada sale del perímetro","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"La compilación que tienes no cambia bajo tus pies.","oss-aion-nothing-outbound.07b9a651d1":"Un calendario de lanzamiento del proveedor para seguir","oss-aion-nothing-outbound.8fa0bea3f8":"Ningún servicio nuestro está en el camino.","oss-aion-nothing-outbound.11449c8bd3":"Una dependencia de disponibilidad para registrar","oss-aion-nothing-outbound.66506ab77b":"No se llama a ningún modelo.","oss-aion-nothing-outbound.af474ee96b":"Un proveedor de modelos para evaluar","oss-aion-nothing-outbound.f2250926d2":"Nada sale del límite.","oss-aion-nothing-outbound.e80e5b3403":"Una transferencia transfronteriza que justificar","oss-aion-nothing-outbound.0bd87fb406":"Ningún procesador en este camino.","oss-aion-nothing-outbound.9494490634":"Un procesador que añadir","oss-aion-obligation-calendar.366609b500":"margen, no alarma","oss-aion-obligation-calendar.3c8532b3c7":"La regla intermedia es donde la solución barata dejó de estar disponible.","oss-aion-obligation-calendar.949b1361f5":"Ambas cifras son lecturas que cualquiera puede tomar esta mañana.","oss-aion-obligation-calendar.7758d9c282":"acción requerida","oss-aion-obligation-calendar.4ebebe0b7c":"-14 días","oss-aion-obligation-calendar.6937bf485d":"comenzó antes de este mes","oss-aion-obligation-calendar.37ed878825":"ventana de retención","oss-aion-obligation-calendar.3974c3ac47":"+4 días","oss-aion-obligation-calendar.aa69fdaab6":"abierto, 30 días permitidos","oss-aion-obligation-calendar.c6727ea40c":"respuesta del asunto","oss-aion-obligation-calendar.51269d14af":"último día en que esto aún era trabajo de una tarde","oss-aion-obligation-calendar.96a8ebf797":"fechas ilustrativas","oss-aion-obligation-calendar.fdcce3f37e":"una está pasada de fecha","oss-aion-obligation-calendar.11ddafb2cc":"Un mes de obligaciones","oss-aion-obligation-calendar.a2620cbc10":"día","oss-aion-one-contract-six.d3926ca64d":"un registro, un conjunto afectado","oss-aion-one-contract-six.c4d72c2328":"Su evidencia sigue un sobre AION.","oss-aion-one-contract-six.a7e545052a":"Las salidas del productor permanecen distintas.","oss-aion-one-contract-six.5cbf78425a":"una regla cambia, vuelve a comprobar los registros afectados","oss-aion-one-contract-six.f5c6772ad7":"una cola de reverificación","oss-aion-one-contract-six.d3516bd6ea":"un registro y un registro de almacenamiento","oss-aion-one-contract-six.2ec012da6f":"un sobre AION","oss-aion-one-contract-six.2c653cc8fa":"los mismos siete productores, a través de un sobre AION","oss-aion-one-contract-six.725c682066":"salidas diferentes, verificadores específicos de la familia","oss-aion-one-contract-six.cddf74f2cf":"siete salidas de productor","oss-aion-one-contract-six.f063fe5bcd":"siete salidas arriba, un sobre abajo","oss-aion-one-contract-six.c34e6d1a39":"siete productores, un sobre de evidencia","oss-aion-one-contract-six.910e029098":"ilustrativo","oss-aion-one-contract-six.67bb73569c":"un certificado de simulación","oss-aion-one-contract-six.7966a9fa49":"un certificado de compilación","oss-aion-one-contract-six.1111f590cc":"un certificado organizativo","oss-aion-one-contract-six.293194c28e":"un certificado de razonamiento","oss-aion-one-contract-six.8aa194122c":"un registro de prueba lógica","oss-aion-one-contract-six.30870de828":"identidad del modelo, parámetros, estado, puntos de control, invariantes y hash de trayectoria","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"módulo, entradas, concesiones de capacidad, transiciones, límites y salida","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"grafo fuente, transformaciones, invariantes e identidad del artefacto","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"autoridad, política, aprobaciones, transiciones y recibos","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"derivación de restricciones y pruebas de solver devueltas","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"prueba, modelo, núcleo, testigo o límite","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Factible, inviable u óptimo","oss-aion-one-contract-six.8f7924f6f5":"Verificador de solver específico de la familia","oss-aion-one-contract-six.2e9d2d4990":"Una conclusión de restricciones declaradas","oss-aion-one-contract-six.0e7a123b77":"Verificador de razonamiento Loom","oss-aion-one-contract-six.3c1a0d119e":"Una operación gobernada completada","oss-aion-one-contract-six.6c2ed5435d":"Verificador organizativo Nexus","oss-aion-one-contract-six.07b127b70d":"Un artefacto compilado","oss-aion-one-contract-six.4f9018da9e":"Verificador de compilación Kera","oss-aion-one-contract-six.1f42a0b0ce":"Una carga de trabajo ejecutada","oss-aion-one-contract-six.5a3c8f1f84":"Verificador de ejecución Selvedge","oss-aion-one-contract-six.8879cc2e8a":"Una trayectoria simulada","oss-aion-one-contract-six.0d72478caf":"Verificador de simulación y FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Una ejecución de FMU completada","oss-aion-one-contract-six.8f5753fba0":"Identidad de FMU, configuración, pasos, eventos, convergencia y traza","oss-aion-one-contract-six.4d64b5bbaf":"Verificador de simulación y FMI","oss-aion-one-contract-six.6f99b37c1c":"Afirmación","oss-aion-one-contract-six.4cb3ee8fa2":"Evidencia","oss-aion-one-contract-six.0f3253d8d8":"Verificador","oss-aion-one-envelope.3b24a9a880":"ocho campos, versionados","oss-aion-one-envelope.a348113c09":"qué\n          verificador lo lee.","oss-aion-one-envelope.08ace6c26e":"un campo decide","oss-aion-one-envelope.396e2145f9":"Cuatro tipos de evidencia, una apertura y","oss-aion-one-envelope.dc1a7be459":"se apoyó en la segunda","oss-aion-one-envelope.ddc01a5859":"afirmación de trayectoria","oss-aion-one-envelope.7f211a50e2":"conjunto de parámetros","oss-aion-one-envelope.8f2aa45103":"identidad del modelo","oss-aion-one-envelope.23e75e07fb":"elegido por el campo de tipo de certificado, no por quien lo envió","oss-aion-one-envelope.4e4dc30b71":"qué verificador lo lee","oss-aion-one-envelope.c8c687f0ff":"la misma apertura, siempre","oss-aion-one-envelope.b5a871e570":"una pila de recibos","oss-aion-one-envelope.f90f47de4d":"una secuencia de transiciones","oss-aion-one-envelope.3116f117c0":"una tabla de pases","oss-aion-one-envelope.134483f4a2":"una prueba de cláusula","oss-aion-one-envelope.93a8ee0c5f":"qué se incluye","oss-aion-one-envelope.582a139a7d":"enrutado por tipo","oss-aion-one-envelope.6b9805fe87":"Un sobre, cuatro cargas útiles","oss-aion-one-envelope.3dde401523":"ejecución en tiempo de ejecución","oss-aion-one-envelope.708563c595":"ed25519, verificado","oss-aion-one-envelope.f2e0576c5b":"dos, nombrados abajo","oss-aion-one-envelope.f7b7603261":"sellado, 41 kB","oss-aion-one-envelope.15aae6195c":"carga útil del certificado","oss-aion-one-envelope.6732222b05":"tipo de certificado","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"versión del contrato","oss-aion-one-envelope.b578b9727d":"sin doble cargo en el período 2026-06","oss-aion-one-envelope.a503bc1da2":"rechazado","oss-aion-one-envelope.51c817ab85":"aceptado","oss-aion-one-envelope.495117c360":"dependencias","oss-aion-one-envelope.910e029098":"ilustrativo","oss-aion-one-field-apart.e704601d64":"el eje, no una muestra","oss-aion-one-field-apart.5c256bca81":"El resultado se movió con él, y eso es un hallazgo, no una estadística.","oss-aion-one-field-apart.7a1e726c2f":"Dos solicitudes idénticas en todos los campos públicos, separadas por un número.","oss-aion-one-field-apart.084f6c9ebe":"cada par que permiten las reglas","oss-aion-one-field-apart.ddaee9368d":"mil casos probados","oss-aion-one-field-apart.4c4ccacd1b":"un par que puedes guardar en un archivo","oss-aion-one-field-apart.6fddc6a6d1":"banda B,","oss-aion-one-field-apart.dbf68713b1":"la misma línea, escalonada","oss-aion-one-field-apart.8c6c701170":"el caso que falla","oss-aion-one-field-apart.0f9dcd24f1":"el resultado no dependió de este campo","oss-aion-one-field-apart.154b3f8e44":"banda B, 3 ofertas","oss-aion-one-field-apart.4392f1d89c":"una línea, sin escalón","oss-aion-one-field-apart.02de2da27e":"el caso que se mantiene","oss-aion-one-field-apart.b7de103af7":"salario bruto, libre en cada lado","oss-aion-one-field-apart.c86b5b3346":"empatados en ambos lados","oss-aion-one-field-apart.54bb687f85":"solicitudes ilustrativas","oss-aion-one-field-apart.b69108366c":"el resultado cambia en el par","oss-aion-one-field-apart.e79b0df746":"a un campo de distancia","oss-aion-one-field-apart.e1fef06921":"ofertas","oss-aion-one-field-apart.8699f2b04f":"permanente","oss-aion-one-field-apart.06e3125012":"empleo","oss-aion-one-field-apart.305fa62f02":"30 a 39","oss-aion-one-field-apart.c6a0c81b25":"grupo de edad","oss-aion-one-field-apart.61a7508ed1":"básico","oss-aion-one-field-apart.38a007151a":"producto","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"región","oss-aion-one-word.95fa084cc9":"una de ellas AION checks","oss-aion-one-word.ce157273ec":"tres de estas que crees","oss-aion-one-word.a04376ab99":"y qué puedes hacer con ello","oss-aion-one-word.1a5b0d2471":"LA BRECHA","oss-aion-one-word.69dc71b6f9":"Con qué llega un resultado","oss-aion-one-word.8d40d2bfcc":"Afirmaciones tipadas, cada una nombra una regla, una transición o una premisa.","oss-aion-one-word.2f8acfe792":"Un certificado","oss-aion-one-word.b04dce1dd0":"Cuánto tardó en estar seguro. La certeza no es la cuestión.","oss-aion-one-word.7eb987f893":"Una duración","oss-aion-one-word.8388e9c8ba":"Qué hizo el sistema. No por qué se sigue la conclusión.","oss-aion-one-word.40d0f0d4b5":"Un registro","oss-aion-one-word.e7597ba59a":"unsat, compilado, seguro, aprobado. Nada en lo que discrepar.","oss-aion-one-word.ae976ad8e9":"Una palabra","oss-aion-org-cert.dd25bad09c":"y cada uno se comprueba","oss-aion-org-cert.e8add8f2b8":"la organización, los roles, las tareas y las aprobaciones cubren los vacíos","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"del objetivo al recibo","oss-aion-org-cert.0a629276bf":"Ocho elementos en la cadena","oss-aion-org-cert.51e6694762":"Qué se hizo realmente fuera y qué regresó.","oss-aion-org-cert.4f0a23ec14":"Acciones y recibos","oss-aion-org-cert.b249df120c":"Cada límite que cruzó el trabajo y qué lo superó.","oss-aion-org-cert.5eaad4eb5f":"Puertas superadas","oss-aion-org-cert.aba30ac5b8":"Qué rol tenía qué, en el momento en que se intentó la acción.","oss-aion-org-cert.145ae750ce":"Autoridad resuelta","oss-aion-org-cert.f8a4dc9c6b":"Qué se intentaba y bajo qué versión de la política.","oss-aion-org-cert.63fbd2b7ee":"Objetivo y política","oss-aion-pipeline.b07bbe8800":"Núcleo proposicional","oss-aion-pipeline.81f811c968":"Una búsqueda de aprendizaje de cláusulas dirigida por conflictos sobre el esqueleto booleano. Decide, propaga, encuentra un conflicto, aprende una cláusula y retrocede. Los valores binarios, enteros y de punto fijo adaptativo subyacen al procedimiento de decisión; no se almacenan, acumulan ni utilizan valores de coma flotante como respaldo en el núcleo aritmético.","oss-aion-pipeline.dc0dd5bc07":"decisiones y cláusulas aprendidas","oss-aion-pipeline.0c5ad3c30f":"Complementos de teoría","oss-aion-pipeline.f3a7990ab0":"El núcleo entrega una asignación parcial a la capa de teoría. La aritmética, los vectores de bits, los arrays y las cadenas razonan en sus propios dominios y devuelven propagaciones y conflictos. La entrada externa de coma flotante se decodifica en el límite en campos binarios o en una escala de punto fijo declarada antes de unirse a la comprobación. El kernel aloja estos razonadores; las teorías temporales y de programas viven en crates complementarios.","oss-aion-pipeline.9d1b00d225":"lemas de teoría y conflictos","oss-aion-pipeline.fa6a461dcc":"Emisor de pruebas","oss-aion-pipeline.b3ca95c05c":"Cada paso que da el motor, cada resolución y cada lema de teoría, es registrado por el emisor de pruebas a medida que ocurre. El resultado es una derivación ordenada que un verificador independiente puede reproducir contra sus premisas.","oss-aion-pipeline.17ac98f8af":"una derivación ordenada","oss-aion-pipeline.26d98dc390":"Exportación de formato","oss-aion-pipeline.a79251f54d":"La derivación se escribe como LRAT, DRAT o Alethe, o se conserva en la forma intermedia unificada. LRAT lleva pistas de propagación unitaria, lo que hace que la verificación fuera de línea sea lineal en la longitud de la prueba.","oss-aion-pipeline.8c3cee1cd3":"un certificado portátil","oss-aion-pipeline.77ec79ed26":"de decisión a certificado","oss-aion-pipeline.c320454a47":"CDCL + teoría + emisor","oss-aion-pipeline.a618b4be8d":"Consulta","oss-aion-pipeline.10de46b3b3":"Certificado","oss-aion-pipeline.62923220ae":"Entero / punto fijo.","oss-aion-pipeline.4961117925":"Sin valores de coma flotante dentro del núcleo.","oss-aion-pipeline.591118af56":"Cadena de resolución.","oss-aion-pipeline.39dfacd414":"Cada paso cita las premisas de las que depende, en orden.","oss-aion-pipeline.7fc7b98317":"Verificador independiente.","oss-aion-pipeline.f0bef425b5":"El certificado se reproduce sin el solucionador.","oss-aion-pipeline.a73bc5ed23":"Arquitectura, núcleo CDCL, complementos de teoría, emisor de pruebas","oss-aion-plain-card.7e190a46ae":"Una máquina da una respuesta","oss-aion-plain-card.b8941c136d":"Un ordenador resuelve algo por ti. Por su cuenta, solo tienes que fiarte de lo que dice.","oss-aion-plain-card.1232ecf314":"También escribe un recibo","oss-aion-plain-card.af7230bfb9":"AION hace que la máquina imprima un pequeño recibo junto a la respuesta. El recibo muestra cada paso que dio para llegar hasta allí.","oss-aion-plain-card.262d1681dd":"Cualquiera puede comprobar el recibo","oss-aion-plain-card.7d35d2e097":"Tu propio asistente lee el recibo y dice: sí, esto cuadra, o no, esto está mal. No tiene que fiarse en absoluto de la primera máquina.","oss-aion-plain-card.e8146bafb5":"AION, en palabras sencillas","oss-aion-plain-card.0b081a8ef4":"Recibo incluido","oss-aion-plain-card.a32564404b":"Piensa en un recibo de compra. Cuando compras algo, recibes un papel que demuestra que la\n          tienda te cobró la cantidad correcta. Puedes mostrar ese recibo a cualquiera, y esa persona puede\n          sumarlo por su cuenta.","oss-aion-plain-card.d5d9b99b9c":"AION hace lo mismo con un ordenador.","oss-aion-plain-card.2cc68d964c":"Cuando una máquina da\n          una respuesta, AION te entrega un recibo que demuestra que la respuesta es correcta, y cualquiera puede comprobarlo.","oss-aion-plain-card.374c644917":"Nunca tienes que fiarte simplemente de la máquina. El recibo hace la demostración.","oss-aion-plain-refusal.7d7fc8edd4":"la misma explicación vale para ti y para cualquiera que la revise, porque es una\n            sola explicación","oss-aion-plain-refusal.40c2416b25":"un caso que puedes leer, no una cruz que no puedes","oss-aion-plain-refusal.f795b42ea6":"El saldo de esta tarjeta vuelve a su importe completo el 1 de agosto, en dos días.","oss-aion-plain-refusal.3ae2a82129":"cuando eso ocurre","oss-aion-plain-refusal.a6012020ae":"O 150 euros más de saldo en la tarjeta, o un pago de 90 euros o menos.","oss-aion-plain-refusal.74b2c9301b":"qué lo cambiaría","oss-aion-plain-refusal.e88b1876e6":"90 euros no cubren 240 euros, así que el pago y el saldo restante no pueden mantenerse a la vez.","oss-aion-plain-refusal.d649363397":"qué parte lo rompe","oss-aion-plain-refusal.ec7a8f0a8d":"El pago fue de 240 euros. El saldo restante en la tarjeta hoy era de 90 euros.","oss-aion-plain-refusal.fcd45ae097":"tu situación","oss-aion-plain-refusal.e51b51ac5a":"Un pago solo se procesa si el saldo restante en la tarjeta hoy lo cubre.","oss-aion-plain-refusal.93823841cb":"qué dice la regla","oss-aion-plain-refusal.9bc7984374":"Por qué no se procesó","oss-aion-plain-refusal.549840f998":"Cuando se incumple una regla, AION escribe la situación que la incumplió, en frases\n            normales con los números incluidos. El pago era de esta cantidad, el saldo restante en\n            la tarjeta hoy era menor que eso, y juntos esos dos datos rompen la regla. Puedes\n            leerlo, discrepar con precisión, o cambiar lo único que necesita cambiar.\n            Una cruz en una casilla no te da nada de eso, y no es más corta, solo más vacía.","oss-aion-plain-refusal.3b50831d8a":"Una decisión automática que te rechaza es peor que una tomada por una persona, porque\n            normalmente no hay nada que preguntar. El rechazo llega terminado. Lo que obtienes es el resultado\n            y, si tienes suerte, un número de referencia, y la ruta hacia una explicación real es una\n            reclamación que tarda semanas y llega a alguien que tampoco estuvo involucrado.","oss-aion-plain-refusal.ada63e5c2f":"Un caso trabajado sí lo es.","oss-aion-plain-refusal.462f7e9213":"\"No permitido\" no es una razón.","oss-aion-plain-refusal.5abdfa9cd6":"La diferencia","oss-aion-plain-refusal.68c46e84d7":"claro","oss-aion-reasoning-cert.0f1fb3d007":"y cada elemento se comprueba","oss-aion-reasoning-cert.98ec75a261":"los límites y la reclamación final completan los siete","oss-aion-reasoning-cert.433b925481":"Lo que se descartó y las premisas que lo descartaron.","oss-aion-reasoning-cert.13382efd7c":"Contradicciones","oss-aion-reasoning-cert.e856a27527":"El subproblema que se descartó y la prueba que regresó.","oss-aion-reasoning-cert.92324f5363":"Certificados del solucionador","oss-aion-reasoning-cert.fe451714e4":"Cada uno nombrado, en el orden en que se aplicó.","oss-aion-reasoning-cert.e0d40a5309":"Aplicaciones de reglas","oss-aion-reasoning-cert.e0753c6513":"Lo que estaba en vigor, en qué versión, cuando se ejecutó el trabajo.","oss-aion-reasoning-cert.b9366c0dbf":"Restricciones activas","oss-aion-reasoning-cert.a04ed61a81":"el solucionador","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"siete elementos","oss-aion-reasoning-cert.eb64d71581":"Lo que lleva un certificado de razonamiento","oss-aion-reasoning-chain.126806353c":"declarado, luego comprobado","oss-aion-reasoning-chain.751e90e830":"Cada uno de ellos es un artefacto que el razonamiento dejó atrás, y cada uno se lee.","oss-aion-reasoning-chain.bc96941170":"Cuatro restricciones, dos aplicaciones de reglas, una ejecución del solucionador y una contradicción.","oss-aion-reasoning-chain.57fa7b904f":"Lo que se comprueba aquí es la derivación que el sistema declaró, elemento por elemento.","oss-aion-reasoning-chain.e0aa3695ac":"núcleo 01 02 04, y 03 no está en él","oss-aion-reasoning-chain.e3338dab26":"cargo doble descartado","oss-aion-reasoning-chain.a43e177c4c":"el reembolso 04 revierte","oss-aion-reasoning-chain.becc703d80":"cargo fusionado","oss-aion-reasoning-chain.398df239b3":"de 01 y 02","oss-aion-reasoning-chain.373c5eb4cc":"leído paso a paso, cierra","oss-aion-reasoning-chain.45f358826b":"devuelto por el demostrador, en Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvector e igualdad, nada más cruza","oss-aion-reasoning-chain.34fcd5c8c7":"subproblema, sellado","oss-aion-reasoning-chain.8c7f764922":"en el recuento de reintentos, de 02 y 03","oss-aion-reasoning-chain.7c960fefa4":"tres elevados al núcleo, uno dejado donde estaba","oss-aion-reasoning-chain.eeacd6e80f":"restricciones activas, en las palabras que escribió la persona responsable","oss-aion-reasoning-chain.0ee0bb12eb":"Esta configuración no puede producir un cargo doble dentro de un período de facturación.","oss-aion-reasoning-chain.c0644670d0":"la afirmación que Loom sostiene","oss-aion-reasoning-chain.9616861141":"afirmación ilustrativa y versiones","oss-aion-reasoning-chain.e4f7c8c782":"el núcleo nombra tres, aclara uno","oss-aion-reasoning-chain.43c7dffedb":"Una conclusión, abierta","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"de 8 y 9","oss-aion-reasoning-chain.3d26486c4c":"de 8","oss-aion-reasoning-chain.5a6d9bdd37":"de 3 y 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Un reembolso revierte el cargo que nombra.","oss-aion-reasoning-chain.4c449f834c":"Un período de facturación cierra a medianoche del último día.","oss-aion-reasoning-chain.a663638447":"Un reintento nunca genera un segundo cargo.","oss-aion-reasoning-chain.0d43228516":"Un cargo se genera una vez por entrega completada.","oss-aion-reassure.38a3bd59d5":"La idea es simple: nunca te fíes de lo que dice una máquina. Guarda una razón que otro verificador pueda comprobar.","oss-aion-reassure.0ccc7397a4":"No. El recibo se puede comprobar en el mismo lugar, sin enviar nada por internet.","oss-aion-reassure.5bea629f3e":"¿Se envía mi respuesta a algún sitio?","oss-aion-reassure.af397dc934":"Está hecho en Europa. Un verificador independiente, no la máquina que generó la respuesta, comprueba cada recibo.","oss-aion-reassure.7de6360d68":"¿De dónde viene?","oss-aion-reassure.a93d9edbec":"No. No tienes que montar nada de esto tú mismo. La tienda, el hospital o la oficina lo usan por ti. Solo recibes una respuesta más clara.","oss-aion-reassure.39af3a44b7":"¿Tengo que ser hábil con los ordenadores?","oss-aion-reassure.bdbcd6057e":"Sí. El recibo se puede comprobar de nuevo sin el modelo original, la sesión, la cuenta ni la conexión a internet.","oss-aion-reassure.aa1b0d7005":"¿Se puede comprobar más tarde?","oss-aion-receipt.36889df54f":"Nunca lo tocas tú. Cuando una tienda o una oficina lo usa por ti, este es el comprobante\n          que pueden entregarte.","oss-aion-receipt.46fbbfb5be":"Cualquiera puede leerlo y comprobar que cuadra.","oss-aion-receipt.9c258dd430":"y tienes que creértelo. Con AION, la\n            máquina también te entrega el comprobante de la izquierda. Muestra la pregunta, los pasos y\n            la respuesta.","oss-aion-receipt.013700f8eb":"Una máquina normal solo dice","oss-aion-receipt.12df5bb228":"Tuyo para conservar","oss-aion-receipt.7b8544fad0":"Cuadra","oss-aion-receipt.def2581739":"Comprobante de respuesta","oss-aion-receipt.6e17da21e4":"Un ejemplo de comprobante de respuesta","oss-aion-receipt.f2688d32ea":"Pregunta de nuevo y obtienes la misma respuesta y el mismo comprobante, en cualquier ordenador.","oss-aion-receipt.2379231efe":"Igual siempre","oss-aion-receipt.a4b884c0e4":"Tu propio asistente comprueba el comprobante donde estás, sin enviar nada.","oss-aion-receipt.930888ee28":"Sin internet","oss-aion-receipt.7a019cc1d2":"La razón está en el comprobante, no oculta en una máquina. Puedes conservarlo o mostrarlo.","oss-aion-receipt.47b716baec":"Por escrito","oss-aion-receipt.92ed516e5b":"Sí, y aquí está el porqué.","oss-aion-receipt.7011b1a621":"La respuesta","oss-aion-receipt.8ab9465666":"Tu caso se comparó con ella.","oss-aion-receipt.16bb8dfc44":"Paso dos","oss-aion-receipt.d3ca88b9f3":"La regla se leyó completa.","oss-aion-receipt.e97cc54395":"Paso uno","oss-aion-receipt.afd2793ce0":"¿Me corresponde este reembolso?","oss-aion-receipt.d79cce547d":"La pregunta","oss-aion-recheck-list.09d5defeae":"dos filas, dos nombres","oss-aion-recheck-list.fd3e1afd0e":"o, mucho más a menudo, de nada en absoluto.","oss-aion-recheck-list.459f160ffa":"Sin la versión detrás de cada fila, el mismo aviso provoca un reexamen de\n          todo,","oss-aion-recheck-list.cade8a80df":"la lista, y quién la posee","oss-aion-recheck-list.6f13975269":"aún compatible","oss-aion-recheck-list.48f8969999":"requiere releer","oss-aion-recheck-list.af0f44d357":", modificado en","oss-aion-recheck-list.4202e0844e":"La regla del límite de optimalidad se interpreta de forma más estricta. Un límite establecido exactamente en el límite ya\n              no se acepta como inferior a él.","oss-aion-recheck-list.1c26bb5963":"publicado el 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Comprobador v7.0","oss-aion-recheck-list.9ffcf8f72b":"entradas ilustrativas","oss-aion-recheck-list.dc490c03ae":"dos de cinco marcados","oss-aion-recheck-list.7316018edf":"Los registros afectados","oss-aion-recheck-list.2237af7cd3":"la regla del límite de optimalidad","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Ruta óptima, depósito norte","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Compilación de firmware, pasarela 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Evaluación de consentimiento, campaña 44","oss-aion-recheck-list.3c54a1df45":"internamente","oss-aion-recheck-list.b8d251e8cd":"Ejecución de precios por lotes","oss-aion-recheck-list.dce56394a1":"Plan de turnos, semana 12","oss-aion-recheck-list.48a3661d84":"estado","oss-aion-recheck-list.29e5b9a8e6":"comprobador","oss-aion-recheck-list.51c817ab85":"aceptado","oss-aion-recheck-list.e2979e7595":"proveedor","oss-aion-recheck-list.335ce16b3f":"asunto","oss-aion-recheck-list.796a88413e":"J. Okonkwo, operaciones","oss-aion-recheck-list.90916dd844":"Vuelva a comprobar y confirme el límite indicado con el proveedor.","oss-aion-recheck-list.00e67572db":"M. de Vries, protección de datos","oss-aion-recheck-list.e4faeae968":"Vuelva a comprobar el certificado almacenado contra v7.0.","oss-aion-record-fields.8580937ae7":"cada uno produce su propio conjunto afectado","oss-aion-record-fields.632f62dd8b":"un esquema de certificado completa los siete","oss-aion-record-fields.7039b2f0bd":"donde está ahora","oss-aion-record-fields.74b489c3d1":"donde estaba","oss-aion-record-fields.5d5dc3b7c3":"DURADERO","oss-aion-record-fields.c2a1a83804":"y no son solo reglas de prueba","oss-aion-record-fields.12b83ffb63":"Qué puede cambiar por debajo","oss-aion-record-fields.91b3cb991a":"una versión más reciente del modelo","oss-aion-record-fields.e1ab670f61":"Un contrato de modelo o simulación","oss-aion-record-fields.da15b4cbb5":"la afirmación en sí se movió","oss-aion-record-fields.26e4976c38":"Un contrato de compilador o tiempo de ejecución","oss-aion-record-fields.cb2c2e30b7":"despejado bajo otro","oss-aion-record-fields.43e275dea3":"Una política","oss-aion-record-fields.521a7a8570":"leído de manera diferente ahora","oss-aion-record-fields.58fd9f572c":"Una regla de verificador","oss-aion-refusal-fields.432aa8565f":"una referencia que alguien pueda perseguir","oss-aion-refusal-fields.36a85f9074":"no una cruz roja","oss-aion-refusal-fields.fe71871083":"AVISO","oss-aion-refusal-fields.4f84be92c8":"para que alguien pueda actuar en consecuencia","oss-aion-refusal-fields.fa31a3ca39":"Qué contiene una denegación","oss-aion-refusal-fields.5647a1c020":"decidir de quién es el hallazgo","oss-aion-refusal-fields.11c0add347":"Un defecto en la prueba, o una regla que no aplicamos. No es lo mismo.","oss-aion-refusal-fields.a74aa40f65":"El tipo","oss-aion-refusal-fields.d3144a7994":"ver lo que no estaba allí","oss-aion-refusal-fields.060958d8fd":"Qué faltaba o estaba mal cuando se volvió a calcular.","oss-aion-refusal-fields.a7dc07c061":"El motivo","oss-aion-refusal-fields.3b21710b2e":"comprobar qué debería haber hecho","oss-aion-refusal-fields.f80b017fdb":"Qué afirmaba hacer el paso.","oss-aion-refusal-fields.0056e788fc":"La regla","oss-aion-refusal-fields.89abf35df5":"abrirlo en esa línea","oss-aion-refusal-fields.3dac51b71a":"Qué paso, por número, en qué archivo.","oss-aion-refusal-fields.2fb8438f32":"La ubicación","oss-aion-reviewable.e0cb1b89aa":"no solo el autor","oss-aion-reviewable.f29c4ff9dd":"el propietario lo revisa","oss-aion-reviewable.c6465865b0":"tu frase","oss-aion-reviewable.ed6912ad70":"REVISIÓN","oss-aion-reviewable.5867cc6bd5":"sin aprender notación","oss-aion-reviewable.8f8dec6da0":"Lo que ve un revisor","oss-aion-reviewable.da8643122f":"Un nombre, una fecha y la versión de la frase confirmada.","oss-aion-reviewable.7c92afb7f9":"Una confirmación firmada","oss-aion-reviewable.340e6b4675":"Una revisión repetida lee lo mismo, porque nada muestreó un modelo.","oss-aion-reviewable.b08be2b959":"Lo mismo siempre","oss-aion-reviewable.d3a2628a1c":"Cada cantidad nombrada, con el tipo de valor que contiene.","oss-aion-reviewable.2587914ff8":"Sobre lo que trabaja","oss-aion-reviewable.f0a2aa51a4":"Una frase que dice lo que codifica toda la condición.","oss-aion-reviewable.5a47a1dcaf":"Una lectura clara","oss-aion-reviewable.aee2d461c7":"Sin cambios, arriba, tal como la escribieron.","oss-aion-reviewable.7488358db7":"Su propia frase","oss-aion-risk-ledger.1a0f2538e1":"Cinco exposiciones operativas sustituidas por un certificado que otro verificador puede comprobar.","oss-aion-risk-ledger.4b32d8f574":"Con AION","oss-aion-risk-ledger.2e34d48ba3":"La forma habitual","oss-aion-risk-ledger.d1d7499182":"COMPARADOS EN PARALELO","oss-aion-risk-ledger.02c7234156":"Reproduce el razonamiento sin conexión y compruébalo por ti mismo.","oss-aion-risk-ledger.b5058e1c76":"Cree al proveedor cuando dice que la respuesta era correcta.","oss-aion-risk-ledger.d2e183faa1":"Cuánto confiar en ello","oss-aion-risk-ledger.96f0603563":"El certificado se comprueba sin ninguno de ellos.","oss-aion-risk-ledger.04312971f3":"El modelo original, la sesión del solucionador y el servicio deben seguir estando disponibles.","oss-aion-risk-ledger.2df1215b19":"De qué depende la verificación","oss-aion-risk-ledger.8ddd34c358":"Se ejecuta en tu propio hardware, dentro de una jurisdicción que apruebes.","oss-aion-risk-ledger.c3fe4a906f":"Las decisiones se explican en servidores que no controlas.","oss-aion-risk-ledger.242ebe0c39":"Dónde están los datos","oss-aion-risk-ledger.75eb05728b":"Los formatos de prueba estándar siguen siendo comprobables de forma independiente.","oss-aion-risk-ledger.46d3f9eccd":"La explicación desaparece con el servicio original.","oss-aion-risk-ledger.8ea6189e84":"Cuando cambia el entorno de ejecución","oss-aion-risk-ledger.21ff58d6a7":"Entregas un certificado que el auditor puede comprobar por sí mismo.","oss-aion-risk-ledger.934929b924":"Reenvías archivos de registro y esperas que se lean como evidencia.","oss-aion-risk-ledger.8632e0b3b5":"Cuando el auditor pregunta","oss-aion-rule-refusal.c354dff2de":"sin veredicto después de 15","oss-aion-rule-refusal.0fc2b67ff7":"en el primero falla un paso","oss-aion-rule-refusal.d7cb461a4b":"Cuatro pruebas en orden fijo, y la lectura se detiene","oss-aion-rule-refusal.ad9deadf27":"un identificador de cláusula usado para dos cláusulas","oss-aion-rule-refusal.ffc05ba511":"un pivote declarado sobre un literal que la cláusula no contiene","oss-aion-rule-refusal.5af32fb7c4":"una pista que cita el paso que pretende justificar","oss-aion-rule-refusal.fbf5522f0e":"fijado desde el conjunto hostil","oss-aion-rule-refusal.d3b27b8f89":"no cerró","oss-aion-rule-refusal.0f04e9ee60":"literales aún en pie en la última cláusula","oss-aion-rule-refusal.90f9cbf1cb":"fin de archivo","oss-aion-rule-refusal.196a925493":"índice de premisa, de 1 a 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, regla por regla","oss-aion-rule-refusal.b14e7fc954":"detenido en 15","oss-aion-rule-refusal.ce0ed8058b":"Una prueba, leída desde arriba","oss-aion-rule-refusal.af0cbd46a2":"citado fuera de orden","oss-aion-rule-refusal.165a394589":"de 61 y 20","oss-aion-rule-refusal.dd39474e4f":"premisa ausente","oss-aion-rule-refusal.6edfd31763":"de 88","oss-aion-rule-refusal.d18b697772":"se cita a sí mismo","oss-aion-rule-refusal.5c7bf112ac":"de 31 y 18","oss-aion-rule-refusal.64b0295aa0":"regla no admitida","oss-aion-rule-refusal.5e2428fc82":"de 14","oss-aion-rule-refusal.a7e8697338":"de 12 y 13","oss-aion-rule-refusal.ba08b53848":"de 4","oss-aion-rule-refusal.2a1be725ca":"resolución 12","oss-aion-rule-refusal.54a0121f57":"de 4 y 9","oss-aion-rule-refusal.8ffe1b4177":"regla conocida","oss-aion-rule-refusal.ebed34abd2":"por debajo de la suya","oss-aion-rule-refusal.d182b65e15":"premisa presente","oss-aion-rule-refusal.a503bc1da2":"rechazado","oss-aion-rule-refusal.3a21295d81":"almacén","oss-aion-same-except-one.279e6c9e96":"uno se trabaja a continuación","oss-aion-same-except-one.87ca0e7356":"los límites, las derivaciones y la procedencia del modelo completan los siete","oss-aion-same-except-one.72b459f8cc":"PROPIEDADES","oss-aion-same-except-one.25119f6e70":"y la familia que lleva cada uno","oss-aion-same-except-one.ed6552be04":"Afirmaciones que puedes hacer","oss-aion-same-except-one.633255fe41":"Esta trayectoria respetó estos invariantes.","oss-aion-same-except-one.6b403d2a35":"Esta acción tuvo la aprobación requerida.","oss-aion-same-except-one.ac5d8ada02":"Esta carga de trabajo se ejecutó bajo estas capacidades.","oss-aion-same-except-one.5e8efc64f2":"Este binario corresponde a este grafo fuente.","oss-aion-same-except-one.81c0e8e986":"simulación","oss-aion-same-except-one.92fe1455a7":"organizativo","oss-aion-same-except-one.1e21474598":"ejecución","oss-aion-same-except-one.023646ce84":"compilación","oss-aion-same-rule-parts.3326352b94":"estos tres la superan","oss-aion-same-rule-parts.b33174d833":"la respuesta es una línea","oss-aion-same-rule-parts.490fbefa4b":"revisar el mismo trabajo dos veces da el mismo resultado","oss-aion-same-rule-parts.ce173fc797":"Retenido para una segunda comprobación.","oss-aion-same-rule-parts.60c6fa6f09":"la respuesta","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"después de que llegue la respuesta","oss-aion-same-rule-parts.3fea5c7183":"Tres cosas que conservas","oss-aion-same-rule-parts.f460809c86":"Cuándo se revisó el trabajo y qué lo revisó.","oss-aion-same-rule-parts.1f26226511":"el registro","oss-aion-same-rule-parts.f3488c72aa":"La fecha","oss-aion-same-rule-parts.7e9a6ac9d7":"La regla citada, con tu propia situación dentro.","oss-aion-same-rule-parts.fa1f96a2cc":"impreso con la respuesta","oss-aion-same-rule-parts.a7dc07c061":"El motivo","oss-aion-same-rule-parts.51240e4e03":"Palabras corrientes, conservadas, para que puedas leérselas a cualquiera.","oss-aion-same-rule-parts.f901c543a0":"tal como alguien lo escribió","oss-aion-same-rule-parts.0056e788fc":"La regla","oss-aion-same-rule-thrice.8716c9d2d1":"citable por los tres","oss-aion-same-rule-thrice.56daaad027":"Nadie interpretó el caso de nadie sobre la marcha.","oss-aion-same-rule-thrice.fe8d9a24bc":"Tres nombres, tres fechas, una razón palabra por palabra.","oss-aion-same-rule-thrice.2d4e5d243a":"las mismas palabras en las tres cartas","oss-aion-same-rule-thrice.36c5f05f0e":"Mi solicitud se retuvo porque cualquier solicitud de una cuenta que haya estado en descubierto\n              se retiene para una segunda comprobación. ¿Era eso lo que querías que hiciera?","oss-aion-same-rule-thrice.47b69ccfd4":"lo que cualquiera de los tres puede escribir","oss-aion-same-rule-thrice.5441126254":"la razón, con tus cifras","oss-aion-same-rule-thrice.e026ce35f8":"la regla, en palabras","oss-aion-same-rule-thrice.c6b6fdf0c8":"Tu solicitud está retenida","oss-aion-same-rule-thrice.4af8028f5b":"Eso afecta a todos los que alguna vez estuvieron en números rojos durante una semana.","oss-aion-same-rule-thrice.43d7f6edd9":"Cualquier solicitud de una cuenta que haya estado en descubierto se retiene para una segunda comprobación.","oss-aion-same-rule-thrice.d5dff79fd0":"la regla, tal como la escribió el responsable","oss-aion-same-rule-thrice.660cf69152":"misma razón, tres veces","oss-aion-same-rule-thrice.2aa5baf4fa":"una regla, tres personas","oss-aion-same-rule-thrice.2969c22def":"en descubierto durante un día en agosto de 2024","oss-aion-same-rule-thrice.db55a373e5":"2 de julio","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"en descubierto durante dos días en noviembre de 2021","oss-aion-same-rule-thrice.8a343dea89":"19 de junio","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"en descubierto durante seis días en marzo de 2023","oss-aion-same-rule-thrice.e46936527e":"4 de junio","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Tu cuenta ha estado en descubierto en algún momento, por lo que esta solicitud se retiene para una segunda comprobación.","oss-aion-same-rule-thrice.69449f994d":"ref","oss-aion-same-rule-thrice.910e029098":"ilustrativo","oss-aion-second-reader.e2a4a212d5":"señalar la línea es la parte útil","oss-aion-second-reader.b31aece7ea":"el acuerdo es fácil","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"lo que hace la segunda lectura","oss-aion-second-reader.d160172930":"Volviendo a sumarlo","oss-aion-second-reader.0bd3d42b28":"Un programa distinto, sin razón para preferir el resultado.","oss-aion-second-reader.2c814bb70c":"No es la primera máquina","oss-aion-second-reader.b792afd627":"Y dice qué paso, así que hay algo que señalar.","oss-aion-second-reader.4a195096b0":"Se detiene en el primer fallo","oss-aion-second-reader.58f56fa2c3":"Lo vuelve a calcular en lugar de confiar en que ya estaba hecho.","oss-aion-second-reader.5abf0b9df4":"Hace cada paso","oss-aion-second-reader.de8f44bd3b":"No el resultado. Los pasos que debían conducir a él.","oss-aion-second-reader.0a461499ae":"Lee el procedimiento","oss-aion-second-sum.2517e33359":"un lugar, no un veredicto","oss-aion-second-sum.1f31706279":"Lo que necesitabas era la línea, y ahí está.","oss-aion-second-sum.1b06fb1625":"Ambas columnas llegan a un total, y una de ellas es incorrecta.","oss-aion-second-sum.715f45331b":"La lectura se detiene en cinco en lugar de continuar hasta seis, porque una comprobación que omite un paso que no puede hacer cuadrar no es una comprobación.","oss-aion-second-sum.be51277bfd":"no alcanzado","oss-aion-second-sum.a90d766915":"este paso no cuadra","oss-aion-second-sum.b214ae4ce2":"la misma operación, al trabajar una máquina anotó","oss-aion-second-sum.e4cddfd229":"Cualquiera puede sumar la columna por sí mismo y llegar a la misma línea. Esa es toda la idea, trasladada a un trabajo que nadie puede ver.","oss-aion-second-sum.a72b4463ba":"Las dos columnas coinciden durante tres líneas. El anillo rodea la línea donde se separan, no el total, porque el total nunca fue lo útil para discutir.","oss-aion-second-sum.136fc39d05":"Diez centavos, y está en las manzanas.","oss-aion-second-sum.1104f28cf8":"pagar","oss-aion-second-sum.51111a2b99":"la tienda, martes","oss-aion-second-sum.e9594ccf76":"se separan en las manzanas","oss-aion-second-sum.bb470fd83f":"la misma columna, sumada dos veces","oss-aion-second-sum.0220a293b9":"la reclamación se paga","oss-aion-second-sum.f7e5a74a1f":"lo que queda por pagar suma","oss-aion-second-sum.597b954c29":"se ha quitado el exceso","oss-aion-second-sum.edccd745a8":"el importe está por debajo del límite para esa reparación","oss-aion-second-sum.709d0bb348":"la reparación está en la lista cubierta","oss-aion-second-sum.1396b1459a":"la cuenta estaba abierta el día de la reclamación","oss-aion-second-sum.d2fc512490":"lápiz","oss-aion-second-sum.1c8f15dab7":"impreso","oss-aion-second-sum.910e029098":"ilustrativo","oss-aion-second-sum.f6c1ab8181":"jabón","oss-aion-second-sum.bcef7a0462":"queso","oss-aion-second-sum.76c2436b59":"manzanas","oss-aion-second-sum.44213f9f4d":"café","oss-aion-second-sum.6ff291d817":"pan","oss-aion-second-sum.cf5dbf0ec5":"leche","oss-aion-sentence-returns.e9a72f31df":"tus palabras, ambos extremos","oss-aion-sentence-returns.254545287c":"Ocho meses después, un desconocido lo lee, no un resumen de ello.","oss-aion-sentence-returns.f0e71316de":"Una persona escribió una frase y la guardó.","oss-aion-sentence-returns.4c51f16cb4":"Nada entre estas dos lecturas aprendió algo, cambió de opinión o tuvo una\n            mejor idea.","oss-aion-sentence-returns.06152533dc":"no se permite un segundo cargo contra un pedido dentro de un mes de facturación","oss-aion-sentence-returns.fb3e6817f1":"desde la lectura un año después","oss-aion-sentence-returns.32af205ca5":"desde la lectura de marzo","oss-aion-sentence-returns.0b1eb314b5":"la misma frase, leída de nuevo un año después","oss-aion-sentence-returns.547a49e160":"el pedido 44-8127 se cargó el tres de noviembre y de nuevo el diecinueve","oss-aion-sentence-returns.d3141af6d8":"lo que se topó con ello","oss-aion-sentence-returns.a2d40412ef":"un segundo cargo contra un pedido dentro de un mes de facturación","oss-aion-sentence-returns.0ee2593cc5":"la parte que no se cumplió","oss-aion-sentence-returns.43015fadc4":"Nadie debería ser cobrado dos veces por el mismo pedido en el mismo mes.","oss-aion-sentence-returns.2ce9eb0823":"la regla, en las palabras en que fue escrita","oss-aion-sentence-returns.5c4173fbcf":"9 de noviembre, enviado al cliente","oss-aion-sentence-returns.96ec36f99b":"Se detuvo un cargo","oss-aion-sentence-returns.14da1cff14":"ocho meses","oss-aion-sentence-returns.b59f623fe2":"leído como","oss-aion-sentence-returns.6a250da793":"14 de marzo, por la persona que gestiona la facturación","oss-aion-sentence-returns.8766d15f20":"mismas palabras en ambos extremos","oss-aion-sentence-returns.33e656aa3a":"una frase, con ocho meses de diferencia","oss-aion-sentence-returns.6180960e2c":"escrito","oss-aion-sentence-returns.910e029098":"ilustrativo","oss-aion-side-by-side-rule.1462946510":"jerarquía invertida","oss-aion-side-by-side-rule.dc685ee970":"es el conjunto más pequeño, en la parte inferior.","oss-aion-side-by-side-rule.37ba9a07a7":"La única línea aquí que nadie necesita poder leer","oss-aion-side-by-side-rule.24205c8d5e":"El cuerpo de esta hoja es lo que se pedía.","oss-aion-side-by-side-rule.136ec48046":"versión de frase 3","oss-aion-side-by-side-rule.5714c84617":"9 de abril de 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, operaciones de facturación","oss-aion-side-by-side-rule.4c1493cdf2":"la condición tal como se almacena","oss-aion-side-by-side-rule.5050bceb24":"sobre lo que opera","oss-aion-side-by-side-rule.70a7ded724":"Se rechaza un segundo cargo contra una referencia ya cargada dentro del período de facturación.","oss-aion-side-by-side-rule.decbbbcbea":"Ningún cliente puede ser cargado dos veces por la misma referencia en un período de facturación.","oss-aion-side-by-side-rule.41f5b5d765":"sin notación requerida","oss-aion-side-by-side-rule.fd9d8f9d79":"confirmado por el propietario","oss-aion-side-by-side-rule.dbd8504696":"hoja de revisión","oss-aion-side-by-side-rule.b714510ded":"cuántas veces se ha cargado ya esta referencia","oss-aion-side-by-side-rule.71aa03cd23":"el recuento de cargos","oss-aion-side-by-side-rule.8f404d9e59":"el mes en que cae el cargo","oss-aion-side-by-side-rule.28db3c4a10":"el período de facturación","oss-aion-side-by-side-rule.7bbf8d007a":"el identificador contra el que se realiza un cargo","oss-aion-side-by-side-rule.333190a7a5":"la referencia","oss-aion-silent-wrong.e516f1474a":"paso 40, regla desconocida","oss-aion-silent-wrong.52c4b2ffb7":"dónde se detuvo","oss-aion-silent-wrong.bdc9060b3b":"Ocho ejecuciones devolvieron ocho palabras. Solo la que anotó su trabajo\n          puede decirlo","oss-aion-silent-wrong.dc3fb44cee":"una negativa nombra una línea","oss-aion-silent-wrong.d55eb7e866":"Este lector no tiene ninguna regla con ese nombre en el paso 40, así que se detuvo ahí. El\n            sello nunca se estampó y no se emitió ningún veredicto.","oss-aion-silent-wrong.d04a61e19e":"lo que produjo la lectura","oss-aion-silent-wrong.b31f1a6015":"alethe, pasos 38 en adelante","oss-aion-silent-wrong.74cb6750e3":"una de ellas, escrita","oss-aion-silent-wrong.c9266795e0":"ocho sistemas, ocho resultados","oss-aion-silent-wrong.d7d4ae123f":"ilustrativo, una ejecución de ocho","oss-aion-silent-wrong.3c05b129e2":"sin veredicto emitido","oss-aion-silent-wrong.c6dc61d79f":"Ocho palabras, una de ellas abierta","oss-aion-silent-wrong.64494819a0":"premisa 40, la cláusula vacía","oss-aion-silent-wrong.9dae957efd":"premisa 39","oss-aion-silent-wrong.52e787751c":"premisas 31 y 38","oss-aion-silent-wrong.36901d48ad":"premisas 12 y 31","oss-aion-silent-wrong.e00bcd7ac6":"flujo de trabajo aprobado","oss-aion-silent-wrong.fd40251b0b":"simulación convergida","oss-aion-silent-wrong.9204d100a8":"política aprobada","oss-aion-silent-wrong.51c817ab85":"aceptado","oss-aion-silent-wrong.4d64c22879":"rehacer","oss-aion-silent-wrong.94ec44c4f4":"creer","oss-aion-silent-wrong.4848901b39":"óptimo","oss-aion-silent-wrong.bf31c52c32":"seguro","oss-aion-silent-wrong.231e564db4":"completado","oss-aion-silent-wrong.bac2ad9d5d":"compilado","oss-aion-silent-wrong.d203c40ac4":"insatisfacible","oss-aion-sim-cert.d836eab67a":"la validez física no es","oss-aion-sim-cert.8f9800edbe":"aquí se comprueban la conformidad y las propiedades","oss-aion-sim-cert.d982b6fdda":"si el modelo representa el mundo, eso queda en manos del propietario del modelo","oss-aion-sim-cert.c27ccdf78d":"validez física","oss-aion-sim-cert.99c6aa48cb":"no se responde en ningún sitio","oss-aion-sim-cert.e4125aa830":"las propiedades declaradas se mantienen durante la ejecución, o la traza vuelve","oss-aion-sim-cert.24fa71fdd6":"comprobaciones de invariantes","oss-aion-sim-cert.82ffe3f79b":"el modelo, los parámetros y la configuración declarados produjeron esta trayectoria","oss-aion-sim-cert.8c30aa1c6e":"conformidad de ejecución","oss-aion-sim-cert.790f468e4d":"se responde aquí","oss-aion-sim-cert.f6bceb137b":"GEMELO Y FMI","oss-aion-sim-cert.cf2b82cb4f":"del modelo a la trayectoria","oss-aion-sim-cert.a7b63abc02":"Qué lleva el certificado","oss-aion-sim-cert.07ecfba93e":"trayectoria y estado","oss-aion-sim-cert.6874c92610":"secuencia de eventos","oss-aion-sim-cert.e77c056cdc":"parámetros y estado inicial","oss-aion-sim-cert.720a1e14e6":"identidad del modelo y de la FMU","oss-aion-source-to-artefact.ce10986f79":"De la fuente al certificado","oss-aion-source-to-artefact.c1ce053887":"con nombre, no genérico","oss-aion-source-to-artefact.75a0766041":"Una afirmación genérica no podría haber fallado en ningún punto.","oss-aion-source-to-artefact.b5e1e87d48":"Tres afirmaciones con nombre, y la que falla indica el paso en el que falla.","oss-aion-source-to-artefact.8732c432be":"Que cada paso de la secuencia sea correcto en general. Ningún certificado aquí dice que un\n                compilador sea bueno, y ninguno tiene que hacerlo.","oss-aion-source-to-artefact.64d8424b5b":"lo que no afirma","oss-aion-source-to-artefact.302df26f74":"grafo fuente","oss-aion-source-to-artefact.e95689d184":"a la implementación de referencia, en el dominio de entrada declarado","oss-aion-source-to-artefact.0ca9407ef6":"equivalente de núcleo","oss-aion-source-to-artefact.5e68638068":"la preservación de forma declarada no se cumple en este paso para el dominio de entrada\n                    dado","oss-aion-source-to-artefact.ab2050f59e":"formas de tensor preservadas","oss-aion-source-to-artefact.213addbd25":"a través de canonicalización y fusión, para cada tipo declarado","oss-aion-source-to-artefact.9deae195e3":"tipos preservados","oss-aion-source-to-artefact.2297843111":"nivel de opt 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"afirmación de forma rechazada","oss-aion-source-to-artefact.2fa9505626":"artefacto","oss-aion-source-to-artefact.910e029098":"ilustrativo","oss-aion-source-to-artefact.9f939ff8a4":"selección de núcleo","oss-aion-sovereignty.0fe4587501":"La verificación permanece donde se almacena la evidencia: junto al sistema productor, dentro de un servicio de revisión o en un archivo aislado.","oss-aion-sovereignty.2d7bdcb19f":"Tus decisiones permanecen bajo tu control.","oss-aion-sovereignty.9426b99215":"Soberanía digital","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe y el formulario unificado mantienen los certificados comprobables de forma independiente más allá del tiempo de ejecución original.","oss-aion-sovereignty.25c4717a63":"Formatos de prueba portátiles","oss-aion-sovereignty.d99f32de40":"La comprobación de una prueba funciona totalmente sin conexión. No dependes de un servicio remoto que pueda cambiar sus condiciones o desaparecer.","oss-aion-sovereignty.34ebf0117d":"Sin dependencias externas","oss-aion-sovereignty.44a8a39a30":"Dentro de tu propio centro de datos o en una región que elijas. El razonamiento detrás de una decisión nunca tiene que cruzar una frontera que no hayas aprobado.","oss-aion-sovereignty.331242fd64":"Se ejecuta donde elijas","oss-aion-sovereignty.599b928605":"AION está construido en Europa, y su comprobador puede permanecer dentro de la misma frontera europea que las decisiones que verifica.","oss-aion-sovereignty.45f9bdf22b":"De origen europeo","oss-aion-split-parts.cc0d7be136":"y un enclave no cambia nada","oss-aion-split-parts.a2fb24de32":"la compilación predeterminada no tiene cliente de salida","oss-aion-split-parts.ffd75a18c4":"IMPLEMENTAR","oss-aion-split-parts.91f8c088aa":"y qué necesita cada uno","oss-aion-split-parts.758bd7cc2a":"Cuatro formas de ejecutarlo","oss-aion-split-parts.400bd9a040":"Dividido entre máquinas y compuesto solo después de una verificación de cobertura.","oss-aion-split-parts.bb3d98dfee":"Distribuido","oss-aion-split-parts.74da65bc96":"Dentro de tu límite, en direcciones que tú mismo configuras.","oss-aion-split-parts.664046e78a":"Un servicio","oss-aion-split-parts.ce2ab3edc4":"Apúntalo a un certificado. No es necesario que nada más esté en ejecución.","oss-aion-split-parts.a7218c8eca":"Un comando","oss-aion-split-parts.eefb3bac5d":"Integrado en tu propio proceso. Pregunta y responde, sin escribir ningún archivo.","oss-aion-split-parts.fa66edb7bd":"Una biblioteca","oss-aion-stays-here.e3e08ad140":"nada salió de la habitación","oss-aion-stays-here.18ab547f60":"Ese papel vacío es toda la afirmación.","oss-aion-stays-here.907d22f7f0":"No se dibuja nada entre la caja y las tres cosas que hay a su lado.","oss-aion-stays-here.001b06036c":"no en esta imagen","oss-aion-stays-here.8c84675037":"un enlace a otra máquina de la misma organización, desactivado hasta que alguien lo configure a propósito","oss-aion-stays-here.e3527ba222":"La respuesta llega con la línea caída, porque la línea nunca formó parte de ella.","oss-aion-stays-here.caf3a041c8":"El retraso fue de setenta y cinco minutos, que es más de una hora, por lo que la reserva se cancela y la tarifa vuelve a la tarjeta de la que salió.","oss-aion-stays-here.7296ef48e5":"lo que volvió","oss-aion-stays-here.395ee2333f":"cancelar finaliza la reserva y devuelve la tarifa","oss-aion-stays-here.46d2008236":"una hora significa sesenta minutos, sin redondeos","oss-aion-stays-here.2fd4fcb567":"un retraso se cuenta desde la hora impresa en el billete","oss-aion-stays-here.f5b422b60e":"las reglas escritas con las que se compara","oss-aion-stays-here.ee04bc3b23":"Solo cancela mi reserva si el retraso es de más de una hora.","oss-aion-stays-here.af5509db2b":"lo que escribiste","oss-aion-stays-here.3cbd68d678":"la máquina que tienes delante","oss-aion-stays-here.531aa138ac":"respondido sin salir","oss-aion-stays-here.fb23ddcc1c":"una pregunta, un lugar","oss-aion-stays-here.96ccbc62ab":"tus palabras no son algo que nadie más reciba","oss-aion-stays-here.1b215d440d":"una máquina en otro lugar leyendo tu frase","oss-aion-stays-here.b5a5c63d23":"ninguna cosa externa tiene que estar funcionando para que llegue la respuesta","oss-aion-stays-here.b5c483d9d9":"un servicio que tiene que estar activo","oss-aion-stays-here.fa287ade3d":"nada pregunta quién eres, porque nada necesita saberlo","oss-aion-stays-here.d5a3ef8b78":"una cuenta en la que iniciar sesión","oss-aion-stays-here.910e029098":"ilustrativo","oss-aion-stays-here-list.56a6e8f9a7":"y nada que entregar","oss-aion-stays-here-list.57eef35c96":"sin esperas","oss-aion-stays-here-list.a64eab5744":"qué espera","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"y qué no espera nunca","oss-aion-stays-here-list.13591491d9":"En qué se ejecuta","oss-aion-stays-here-list.1458464f09":"Nada a lo que registrarse, así que no eres cliente de nada.","oss-aion-stays-here-list.257fa99e08":"Sin cuenta","oss-aion-stays-here-list.b165f2d684":"Tu frase se evalúa según reglas, en la misma sala que tú.","oss-aion-stays-here-list.37a25e4e99":"Reglas escritas","oss-aion-stays-here-list.7ee33f1c7a":"El trabajo ocurre donde estás, y nadie más tiene que estar ejecutándose.","oss-aion-stays-here-list.d3612f57d8":"La máquina en la que estás","oss-aion-supplier-answer.6d6ddcd4c1":"una declaración, cuatro líneas en blanco","oss-aion-supplier-answer.a5d36ba87c":"Ninguna de las cuatro preguntas se responde en ningún lugar de la hoja.","oss-aion-supplier-answer.d09481b0a5":"Cada palabra de la hoja es verdadera y alguien la ha firmado.","oss-aion-supplier-answer.cec9b36162":"14 de marzo de 2026","oss-aion-supplier-answer.22715d5cb9":"La configuración enviada el 12 de marzo de 2026 se ha verificado como libre de conflictos.","oss-aion-supplier-answer.1e0a1891e8":"ref. SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"certificado de conformidad","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"cuatro sin responder","oss-aion-supplier-answer.910e029098":"ilustrativo","oss-aion-supplier-answer.f86e5cfb14":"¿Seguiría siendo válido tras el cambio del martes?","oss-aion-supplier-answer.bbe7a72e5a":"¿Sobre los datos de quién, y cuántos de ellos?","oss-aion-supplier-answer.c25776701b":"¿Contra qué versión de nuestro conjunto de reglas?","oss-aion-supplier-answer.84d9ed92b5":"¿Qué condiciones se comprobaron realmente?","oss-aion-theory-matrix.ac8d77d669":"Proposicional","oss-aion-theory-matrix.3d52a6d8fe":"Lógica","oss-aion-theory-matrix.42f3aff840":"Satisfacibilidad booleana con aprendizaje de cláusulas dirigido por conflictos. El punto de partida para cualquier otra teoría.","oss-aion-theory-matrix.6078532ab2":"Cuantificadores","oss-aion-theory-matrix.02f664dd36":"Lógica de primer orden con instanciación basada en modelos. Razona sobre forall y exists en los tipos admitidos.","oss-aion-theory-matrix.49167dbc57":"Aritmética lineal","oss-aion-theory-matrix.45f053dc73":"Aritmética","oss-aion-theory-matrix.876aafb6c1":"Aritmética lineal de enteros y entrada de valores reales a una escala declarada. Internamente, el verificador usa enteros o valores de punto fijo adaptativos.","oss-aion-theory-matrix.b618fadea3":"No lineal","oss-aion-theory-matrix.fd99188844":"Aritmética no lineal de enteros y entrada de valores reales a una escala declarada. El verificador usa enteros o valores de punto fijo adaptativos, nunca valores de coma flotante.","oss-aion-theory-matrix.d11f66aff2":"Entrada de coma flotante","oss-aion-theory-matrix.19080aec82":"La entrada IEEE 754 solo se acepta en el límite y luego se decodifica en campos binarios antes de la verificación. No se almacenan, acumulan ni calculan internamente valores de coma flotante.","oss-aion-theory-matrix.914807cdef":"Vectores de bits","oss-aion-theory-matrix.e5e429bcc9":"Datos","oss-aion-theory-matrix.23c278d5ca":"Palabras binarias de ancho fijo con semántica de desbordamiento. Para verificación de hardware y comprobación de protocolos binarios.","oss-aion-theory-matrix.b90cc9bfd2":"Arrays","oss-aion-theory-matrix.eac25fcfc6":"Teoría de arrays con axiomas de select y store. Los fragmentos decidibles se rastrean explícitamente.","oss-aion-theory-matrix.3816c4beac":"Cadenas","oss-aion-theory-matrix.8e5a47db7d":"Ecuaciones de palabras, restricciones de longitud y pertenencia a expresiones regulares sobre cadenas.","oss-aion-theory-matrix.0efe5fd2a3":"Temporal","oss-aion-theory-matrix.ab14d0a7db":"Programas","oss-aion-theory-matrix.12dfdaf96a":"crate complementario","oss-aion-theory-matrix.dd600bd946":"Fragmentos de lógica temporal lineal y de ramificación para razonar sobre el comportamiento a lo largo del tiempo.","oss-aion-theory-matrix.bb8c6ec608":"Probabilístico","oss-aion-theory-matrix.042a4dc40b":"Razonamiento de programas probabilísticos, incluida la inferencia de estilo Datalog probabilístico.","oss-aion-theory-matrix.1e1837d4e8":"Concurrente","oss-aion-theory-matrix.60e30b1d8e":"Razonamiento sobre programas concurrentes y las intercalaciones que pueden producir sus hilos.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"cobertura de teorías","oss-aion-theory-matrix.4329e5da7b":"11 dominios lógicos","oss-aion-theory-matrix.dc1baa8539":"kernel + complementos","oss-aion-theory-matrix.5b1e898fc0":"Teoría","oss-aion-theory-matrix.cd89376f98":"Vive en","oss-aion-theory-matrix.df1e1e1732":"Once teorías, cada razonador produce pasos que el emisor de pruebas puede registrar y un verificador puede reproducir.","oss-aion-theory-matrix.36ce8cbd4c":"PROP a CONCUR","oss-aion-three-questions.381a478392":"Dos respuestas, un límite","oss-aion-three-questions.b695e87b19":"dos respondidas, una poseída","oss-aion-three-questions.9f5234300d":"La tercera pregunta no es nuestra, y decirlo es lo que hace que las dos primeras valgan\n          algo.","oss-aion-three-questions.8149763299":"La conformidad se mantiene, un invariante falla con su traza.","oss-aion-three-questions.5974dafe20":"la puerta está dibujada tan sólidamente como la pared","oss-aion-three-questions.392d2df212":"El propietario del modelo posee esa pregunta, y la posee permanentemente. Ningún certificado aquí\n                la toca, y ninguno de ellos la implica en silencio tampoco.","oss-aion-three-questions.c27ccdf78d":"validez física","oss-aion-three-questions.dbbe530d6c":"¿representa este modelo el mundo real?","oss-aion-three-questions.44b8fe96f9":"paso 1 284, p = 8.14 bar","oss-aion-three-questions.dcf63117f5":"contraejemplo, elevado y ampliado","oss-aion-three-questions.ed4bde3030":"la presión del bucle se mantiene por debajo de 8 bar","oss-aion-three-questions.4676659f50":"la válvula de derivación nunca se abre dos veces en un paso","oss-aion-three-questions.045757b8af":"la temperatura de retorno se mantiene por debajo de 95 C","oss-aion-three-questions.24fa71fdd6":"comprobaciones de invariantes","oss-aion-three-questions.846ee97ae5":"¿se mantienen los invariantes declarados durante toda la ejecución?","oss-aion-three-questions.17f80cae31":"La ejecución se reproduce a partir de lo que declara el certificado.","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":"tolerancia 1e-6","oss-aion-three-questions.884f613dc6":"t = 0.00","oss-aion-three-questions.0c1ded1963":"paso 0.01 s","oss-aion-three-questions.8c30aa1c6e":"conformidad de ejecución","oss-aion-three-questions.b3c58a82bd":"¿produjeron el modelo y la configuración declarados esta trayectoria?","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 y FMU","oss-aion-three-questions.b697dd615a":"dos de tres","oss-aion-three-questions.f14f15b304":"trayectoria","oss-aion-three-questions.f1f1425b65":"parámetros","oss-aion-three-questions.910e029098":"ilustrativo","oss-aion-three-readings.41d8442e84":"las lecturas y sus niveles de confianza son de AION, la elección es tuya y queda registrada","oss-aion-three-readings.42e8a93311":"tres lecturas, una decisión, y tiene autor","oss-aion-three-readings.62b4619c99":"un recuento que no puede bajar de cero","oss-aion-three-readings.48a15f3a18":"un número entero inferior a cinco","oss-aion-three-readings.ae3925651e":"¿es reintentos un número entero, un recuento o cualquier valor?","oss-aion-three-readings.dffe60eb6a":"pregunta planteada","oss-aion-three-readings.fb76182a92":"preguntado, no asumido","oss-aion-three-readings.8c3f96fa33":"Los reintentos deben ser menos de cinco","oss-aion-three-readings.e9be13f9ec":"AION plantea la ambigüedad en lugar de resolverla. Nombra el tipo de ambigüedad,\n          enumera las lecturas con el nivel de confianza que cada una lleva y la condición que\n          cada una impondría, y formula una pregunta que nombra la variable en cuestión. La decisión\n          sigue perteneciendo a una persona. Lo que cambia es que se toma una vez, de manera\n          registrada, por quien es responsable del requisito y no por quien casualmente estaba\n          haciendo la conversión.","oss-aion-three-readings.f26c9b4ff8":"Menos de cinco intentos, contados como números enteros. O menos de cinco\n          cuando cuatro y medio es un valor legítimo. O un recuento que tampoco puede bajar de\n          cero. Son tres reglas distintas y la diferencia acaba saliendo a la luz como un incidente\n          con el tiempo. En la forma habitual de trabajar, una de ellas la eligió quien hacía la\n          traducción, un jueves, sin decírselo a nadie.","oss-aion-three-readings.7b5121a8f0":"\"Los reintentos deben ser menos de cinco.\"","oss-aion-three-readings.ffe5d68fe6":"Alguien eligió una.","oss-aion-three-readings.55b8b0b398":"Tu frase tenía dos lecturas.","oss-aion-three-readings.2d1501c7e4":"La decisión silenciosa que nadie tomó","oss-aion-three-readings.bec998cdfe":"cualquier número, incluido cuatro y medio","oss-aion-time-left.88430838dd":"nada que sorprenda a nadie","oss-aion-time-left.227b19b5aa":"Solo se hizo más pequeño, delante de alguien que aún podía actuar sobre ello.","oss-aion-time-left.ac61a8b97d":"El número estaba ahí el día ocho y nunca se hizo más fuerte.","oss-aion-time-left.0703308f0f":"No hay ninguna alarma en esta hoja y nada se ha puesto en rojo. Cada una de estas es la\n          misma frase leída en un día distinto.","oss-aion-time-left.6222c927fd":"Va a la persona que firma las respuestas tardías, con la fecha, y te\n            responde.","oss-aion-time-left.4dfda36be9":"14 días pasados","oss-aion-time-left.d5f128da73":"la respuesta se debía el día dieciséis","oss-aion-time-left.58cdff89f9":"una solicitud distinta, leída después de la fecha","oss-aion-time-left.6a7651b700":"treinta días después de que preguntaras","oss-aion-time-left.813d27411f":"la respuesta se debe","oss-aion-time-left.d8b0301347":"pediste una copia de lo que tienen sobre ti","oss-aion-time-left.4c3d95bf6a":"la solicitud","oss-aion-time-left.795bcac29d":"quedan cuatro días hoy","oss-aion-time-left.56ff55acfb":"un plazo, leído cuatro veces","oss-aion-time-left.acafbd7541":"llámalos hoy","oss-aion-time-left.148b21034f":"Quedan 4 días","oss-aion-time-left.f165b88925":"persíguelo esta semana","oss-aion-time-left.b85bbd50bd":"Quedan 8 días","oss-aion-time-left.4a8b5bac9b":"sigue bien","oss-aion-time-left.67f9059ac5":"Quedan 14 días","oss-aion-time-left.ca372a8fb7":"anótalo en la agenda","oss-aion-time-left.16f29c69b8":"Quedan 22 días","oss-aion-time-left.910e029098":"ilustrativo","oss-aion-two-routes.89c24f999c":"el otro examina las pruebas","oss-aion-two-routes.3a5d844ae5":"una vía los reproduce","oss-aion-two-routes.028a6cf2d7":"su certificado","oss-aion-two-routes.5c837ce426":"su sistema","oss-aion-two-routes.27f65e5e47":"lo que necesita","oss-aion-two-routes.d0765bbac1":"COMPARAR","oss-aion-two-routes.91f8c088aa":"y lo que necesita cada uno","oss-aion-two-routes.8930c1c9b8":"Dos formas de estar seguros","oss-aion-two-routes.d56d985300":"comprobar","oss-aion-two-routes.e1fc5057de":"reproducir","oss-aion-two-routes.b028b89ea7":"su asistencia","oss-aion-two-routes.999464a52f":"no producido","oss-aion-two-routes.9b9252883d":"el propio certificado","oss-aion-two-routes.4dc537c80f":"la afirmación, las entradas y el contrato","oss-aion-two-routes.ad95c10298":"su versión exacta y su máquina","oss-aion-two-routes.cfd05bd2f2":"su licencia","oss-aion-value-grid.6cc3364a24":"Prueba adjunta","oss-aion-value-grid.4910ee0aea":"Evidencia con cada resultado","oss-aion-value-grid.411bf64817":"El resultado y su certificado compacto viajan juntos, por lo que la evidencia se crea cuando se toma la decisión, no se reconstruye durante la revisión.","oss-aion-value-grid.05f9c0dc34":"Comprobado por otro motor","oss-aion-value-grid.eea79d1484":"Un verificador independiente contrasta el certificado con las premisas originales. El modelo no puede calificar su propia respuesta.","oss-aion-value-grid.cbd17d59ba":"Formatos portátiles","oss-aion-value-grid.5e6cba1721":"La evidencia sobrevive al entorno de ejecución","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe y el formato de prueba unificado mantienen el certificado legible después de que cambie un modelo, un solucionador o un servicio.","oss-aion-value-grid.a60bdd7985":"Verificación sin conexión","oss-aion-value-grid.ebfb47f4ba":"Sin dependencia en vivo","oss-aion-value-grid.6144cbfcab":"Comprobar una prueba no requiere red, cuenta ni conexión en vivo con nosotros. Lo que usas en la auditoría no tiene una dependencia recurrente de un proveedor.","oss-aion-value-grid.26ef011865":"Soberanía de la UE","oss-aion-value-grid.23672ea195":"Europeo y tuyo para ejecutar","oss-aion-value-grid.26e89e1455":"Construido en Europa y ejecutable por completo en hardware que controlas. Tu evidencia y tus decisiones nunca tienen que salir de una jurisdicción que apruebes.","oss-aion-value-grid.66ac329042":"Auditorías sin riesgo","oss-aion-value-grid.9c8c22f54d":"Evidencia que otra parte puede comprobar","oss-aion-value-grid.6572cc2be6":"Cuando un regulador o auditor pregunta cómo se alcanzó una decisión, entregas un certificado que cualquiera puede verificar, en lugar de depender de una promesa de un proveedor que no puedes comprobar.","oss-aion-value-grid.6b5eb5323e":"Evidencia de decisión","oss-aion-value-grid.870c4d024a":"Verificación independiente","oss-aion-value-grid.93e2c4e5c4":"Empieza con una ruta de decisión y conserva su certificado durante la revisión.","oss-aion-value-grid.217fc9a42f":"certificado · verificador · archivo","oss-aion-what-you-got.2b69c8154b":"y cada pregunta plantea una","oss-aion-what-you-got.7f629c0e9f":"cuatro cosas que recibes","oss-aion-what-you-got.7a9727c9f8":"verificable por ti","oss-aion-what-you-got.bc1c663195":"lo que recibes","oss-aion-what-you-got.0da9f51943":"OBSERVADO","oss-aion-what-you-got.8becd8f7be":"y lo que resuelve","oss-aion-what-you-got.7d3574bfa5":"Lo que entrega un proveedor","oss-aion-what-you-got.0306f977ae":"Qué compilación lo dijo. No qué comprobó, ni cómo.","oss-aion-what-you-got.fd12863535":"no","oss-aion-what-you-got.7b0c210f52":"Un número de versión","oss-aion-what-you-got.f78a920a78":"Su descripción de su propio proceso, escrita por ellos.","oss-aion-what-you-got.301941b624":"su relato","oss-aion-what-you-got.7591a35462":"Una nota de método","oss-aion-what-you-got.5eec058df8":"Alguien respalda la palabra, no el razonamiento.","oss-aion-what-you-got.28fde2f659":"solo el nombre","oss-aion-what-you-got.7573daa505":"Una firma","oss-aion-what-you-got.94ebda1bd3":"Seguro, factible, coherente. Una palabra, sin funcionamiento.","oss-aion-what-you-got.c99c8e4a9b":"Una conclusión","oss-aion-where-it-runs.1ba0334f9f":"no hay un tercero","oss-aion-where-it-runs.03e2311510":"tú configuras los dos","oss-aion-where-it-runs.076d156600":"nada dentro que configurar","oss-aion-where-it-runs.f16ac53550":"tuyo para configurar","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"y nada más sale","oss-aion-where-it-runs.6cdd4e486a":"Dos límites configurables","oss-aion-where-it-runs.39616fc267":"Un programa que instalas, que se ejecuta como un proceso local.","oss-aion-where-it-runs.00bfadf39c":"Un verificador externo","oss-aion-where-it-runs.801db3efcd":"Solo las direcciones que estableces, y solo una vez que las estableces.","oss-aion-where-it-runs.d296df3171":"Un clúster","oss-aion-where-it-runs.67204bf5d4":"sin ruta","oss-aion-where-it-runs.91984fcc1b":"Un modelo alojado","oss-aion-where-it-runs.b8b252650e":"sin cliente en absoluto","oss-aion-where-it-runs.ee39579eba":"La compilación predeterminada","oss-aion-where-it-runs.d49fe2c403":"no instalado","oss-aion-where-you-meet-it.2a85ffb07a":"El lugar cambia, la promesa no: una razón que puedes leer y una comprobación que cualquiera puede ejecutar.","oss-aion-where-you-meet-it.9a8413cd88":"Nunca ejecutarás AION tú mismo. Estos son los tipos de lugares donde puede trabajar en silencio para ti.","oss-aion-where-you-meet-it.33fb502270":"Tres momentos cotidianos","oss-aion-where-you-meet-it.40e32f89eb":"Cualquier persona en quien confíes puede revisar el comprobante y confirmarlo.","oss-aion-where-you-meet-it.03ef5e1328":"Cuando una oficina utiliza una máquina para revisar tu caso, tienes derecho a una razón que puedas leer y cuestionar.","oss-aion-where-you-meet-it.2390278256":"Se revisa una prestación o un formulario","oss-aion-where-you-meet-it.2e92ab22dd":"En una oficina pública","oss-aion-where-you-meet-it.0bd84e3a14":"La razón queda por escrito, no encerrada en un sistema.","oss-aion-where-you-meet-it.c4a1d64452":"Las decisiones sobre dinero tomadas por una máquina pueden sentirse como una puerta cerrada. El recibo la abre, con pasos claros.","oss-aion-where-you-meet-it.e17885868a":"Se calcula un préstamo o un reembolso","oss-aion-where-you-meet-it.5e45cf57a0":"En el banco","oss-aion-where-you-meet-it.e2c536b2b3":"Puedes solicitar el comprobante y mostrárselo a tu propio médico.","oss-aion-where-you-meet-it.0b56f170bf":"Cuando una máquina influye en tu tratamiento, deberías poder ver la razón detrás de ello, no solo el resultado.","oss-aion-where-you-meet-it.0332b7d1b7":"Un ordenador ayuda a decidir tu atención médica","oss-aion-where-you-meet-it.4046c6355b":"En el hospital","oss-aion-which-did-you-mean.1ff884a89e":"preguntado, no adivinado","oss-aion-which-did-you-mean.2eb1c230f2":"La elección pertenece a quien escribió la frase.","oss-aion-which-did-you-mean.d94da790d1":"Dos lecturas ordinarias, un caso entre ellas.","oss-aion-which-did-you-mean.3b4d06d361":"No se hizo ninguna pregunta y a nadie se le dijo en cuál de las dos aterrizó.","oss-aion-which-did-you-mean.93a161cede":"Las horas se cuentan completas. Elegido un jueves por la tarde por alguien que necesitaba\n                enviar.","oss-aion-which-did-you-mean.4b73aced85":"en vigor","oss-aion-which-did-you-mean.17e120a269":"Cancela si el retraso es de más de una hora.","oss-aion-which-did-you-mean.ddf20b2d3c":"la forma ordinaria en que esto se resuelve","oss-aion-which-did-you-mean.3f42a39277":"tal como realmente transcurre","oss-aion-which-did-you-mean.1e9a34969e":"horas completas","oss-aion-which-did-you-mean.9c2a4532bb":"Cuando escribiste más de una hora, ¿quisiste decir horas completas o el retraso tal como\n                realmente transcurre?","oss-aion-which-did-you-mean.280b34e1e5":"Tu tren llega con setenta y cinco minutos de retraso y la reserva se anula, antes de que\n                    decidas si todavía quieres viajar.","oss-aion-which-did-you-mean.97e4112012":"Un retraso es lo que realmente dure. Una hora y cuarto es más de una\n                    hora.","oss-aion-which-did-you-mean.c5d620cfa2":"lectura dos","oss-aion-which-did-you-mean.466780685c":"Tu tren llega con setenta y cinco minutos de retraso y no se cancela nada. Esperas en\n                    el andén un tren que todavía viene.","oss-aion-which-did-you-mean.6b67a39030":"Las horas se cuentan completas. Un retraso de una hora y cuarto cuenta como una hora,\n                    y una hora no es más de una hora.","oss-aion-which-did-you-mean.9cf85c69a8":"lectura uno","oss-aion-which-did-you-mean.ef52f97a5b":"más de una hora","oss-aion-which-did-you-mean.371c6d7efd":"Cancela si el retraso es","oss-aion-which-did-you-mean.887640fa01":"escribiste","oss-aion-which-did-you-mean.3650db40be":"esperando tu respuesta","oss-aion-which-did-you-mean.ff312b91d2":"cuál quisiste decir","oss-aion-which-did-you-mean.6f8f8e9f76":"entonces","oss-aion-which-did-you-mean.910e029098":"ilustrativo","oss-aion-your-corpus.a54df5506a":"dos semanas, con un resultado escrito","oss-aion-your-corpus.ee646eb7cc":"Ejecuta el mismo corpus con lo que uses hoy y pon los dos informes uno al lado del\n            otro.","oss-aion-your-corpus.f2d4df122d":"Sesenta y dos de sesenta y cuatro, en tu máquina, bajo tu límite.","oss-aion-your-corpus.8ff7db55b1":"este límite","oss-aion-your-corpus.8ada74cbb4":"esta máquina","oss-aion-your-corpus.b2ed177f82":"este corpus","oss-aion-your-corpus.71e1422875":"una función de","oss-aion-your-corpus.94ef1b7ae8":"de 64 correctos","oss-aion-your-corpus.2ce97993d5":"sin veredicto aún","oss-aion-your-corpus.90326d4307":"transcurridos 41 s","oss-aion-your-corpus.69bb8da1c5":"aún en ejecución","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"sin respuesta registrada","oss-aion-your-corpus.72330c3954":"espacio de direcciones de 16 GB","oss-aion-your-corpus.b4f0923eae":"16 GB por ejecución","oss-aion-your-corpus.ff367b6b79":"límite de espacio de direcciones","oss-aion-your-corpus.d1ea89e714":"32 núcleos, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"ejecución ilustrativa","oss-aion-your-corpus.e380724f89":"uno con límite, otro aún en ejecución","oss-aion-your-corpus.f6f66c95d6":"Tu corpus, en su lugar","oss-aion-your-corpus.8d95729188":"con límite","oss-aion-your-corpus.7817c52b25":"máquina","oss-aion-your-corpus.d95f464bc9":"instancias","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"corpus","oss-aion-your-sentence-parts.8e7ed848f6":"todavía puedes leerlo","oss-aion-your-sentence-parts.78c48f428a":"lo escribiste tú","oss-aion-your-sentence-parts.c569c19f0b":"Vuelve a leerlo, da la misma regla. No se ha desviado nada en medio.","oss-aion-your-sentence-parts.43015fadc4":"Nadie debería pagar dos veces por el mismo pedido en el mismo mes.","oss-aion-your-sentence-parts.a14707f800":"Tu frase, sin cambios","oss-aion-your-sentence-parts.2ccea15065":"un año después","oss-aion-your-sentence-parts.a80d4309ae":"Al principio del mensaje, encima de la parte que no se cumplió.","oss-aion-your-sentence-parts.f33c43e8f9":"Tu frase, citada","oss-aion-your-sentence-parts.f0f795235c":"el día en que se aplica","oss-aion-your-sentence-parts.fe74b20e8f":"Tal como lo escribiste, con una línea sencilla que indique cómo se leyó.","oss-aion-your-sentence-parts.358b1cbc5d":"Tu frase, conservada","oss-aion-your-sentence-parts.13211e2743":"el día en que lo escribes","oss-aion-your-sentence-parts.27a0362e59":"TUS PALABRAS","oss-aion-your-sentence-parts.d37598cc12":"en tres días distintos","oss-aion-your-sentence-parts.32a5ee7a1f":"La misma frase","page-breadcrumb.c766e66518":"Miga de pan","page-toc.7e439c353e":"En esta página","section_st_a1_display-split.7c9a7c0610":"Detalle","section_st_f1_cta-dark.90e40d5043":"Empezar","spindle-extras.127edee78d":"FIRMADO","toc-rail.f5cbdf6bfb":"Contenido"}