Verify está construido alrededor de una idea: separar la pregunta "qué muestra la evidencia" de la pregunta "quién puede actuar a partir de ella". La primera pregunta puede responderla un núcleo pequeño y auditable. La segunda, deliberadamente, no puede — le pertenece a quien tenga autoridad real sobre el sistema en cuestión.
Todo lo de la izquierda evalúa. Todo lo de la derecha decide y actúa. Verify nunca cruza esta línea.
Llega algo concreto: un fichero, un build, un bundle. No su nombre, ni su etiqueta de versión, ni la rama de la que salió. Los bytes.
Un nombre de fichero no es un artefacto. Dos ficheros que se llaman igual no son lo mismo.
Se calcula el hash de los bytes y se compara con un digest aportado desde fuera. La identidad es algo que quien llama fija por adelantado, no algo que el artefacto afirme sobre sí mismo.
Una firma prueba quién firmó. No prueba qué quiso decir, ni que estés mirando lo que firmó.
Los nodos de evidencia declaran qué miden, qué ejecución los produjo, cuándo y quién. Pueden apoyarse, contradecirse, derivar unos de otros, medir o describir.
Un informe sobre la evidencia no es evidencia. La evidencia de otra ejecución no es la evidencia de esta.
La política declara qué claims, propiedades y tipos de evidencia son necesarios, y cómo debe leerse una ausencia. Los campos que el motor no reconoce se rechazan sin más.
Un campo de política que nadie lee es una política que nadie aplica. Ese es el fallo que este paso existe para evitar.
El núcleo devuelve si el expediente es interpretable, qué muestra la evidencia y —siempre— que no concede autoridad para actuar.
Una evaluación no es una decisión. Es la entrada a partir de la cual debería tomarse una decisión.
Una parte separada lee la evaluación y decide si esta acción está permitida, ahora, en este entorno, por este actor. Esa parte está fuera del núcleo por diseño.
Verify no se sienta aquí. No convertirá su propio resultado en un permiso, ni siquiera cuando el resultado sea favorable.
Sólo después de que una autoridad externa lo permita ocurre algo. "No ocurre nada" es un resultado correcto y de primera clase.
Nada en esta web puede causar un efecto. No hay camino desde esta página hasta una acción en ninguna máquina.
El núcleo que decide son 1.060 líneas sin blancos ni comentarios repartidas en seis ficheros, sin dependencias de terceros.
06_REFERENCE_IMPLEMENTATION/TCB-METRICS.json"total_nonblank_noncomment_loc": 1060
Line counts and per-file digests were recomputed in this workspace and matched the declared values exactly.
El núcleo que decide no lee disco, ni red, ni reloj, ni entorno. Lo que no recibió, no puede consultarlo.
01_WHY/02-DESIGN-GOALS.md**Sin ambient authority:** el kernel no lee disco, red, reloj ni entorno.
Verified by reading the kernel sources: the only imports are base64, re, datetime, typing, hashlib, json, unicodedata, dataclasses and enum. No os, subprocess, socket, open, eval or exec.
Las reglas son un conjunto pequeño y fijo de operaciones. Un expediente entregado no puede traer código para que el núcleo lo ejecute.
01_WHY/02-DESIGN-GOALS.md**Reglas finitas:** sin `eval`, `exec` ni código aportado por expediente.
Confirmed by source reading: no eval or exec appears anywhere in the kernel.
El kernel de aseguramiento nunca devuelve autoridad de ejecución. Emite una evaluación y ahí se detiene.
03_ARCHITECTURE/00-ARCHITECTURE-OVERVIEW.mdEl kernel nunca devuelve `release_authority=true`.
Independently observed across all 15 recorded kernel fixtures: release_authority is false in every one.
Los nodos de evidencia declaran qué miden, qué ejecución los produjo, cuándo y quién — y se relacionan entre sí mediante exactamente cinco relaciones. Deliberadamente no existe una sexta que signifique "autoriza".
Abrir el grafo de evidencia →Un campo que nadie lee es un campo que nadie aplica. Los campos no reconocidos de autoridad o política se rechazan en lugar de ignorarse.
03_ARCHITECTURE/05-AUTHORITY-AND-POLICY.mdCampos desconocidos de Authority o Policy se rechazan.
Named in the source as the fix for a historical class of failure: declaring security in a field the executable never consumes.
Cuando la evidencia no alcanza para responder, Verify lo dice. La ausencia nunca se convierte en aprobación.
01_WHY/02-DESIGN-GOALS.md**NO_CONSTA fail-closed:** ausencia/insuficiencia no produce PASS.
Recorded fixtures MISSING_FACT, MISSING_EVIDENCE_OPEN, STALE_EVIDENCE and INSUFFICIENT_INDEPENDENCE all return NO_CONSTA.
La evidencia presente pero caducada se reporta como caducada: no se inventa como ausente ni se acepta como vigente.
03_ARCHITECTURE/04-EVIDENCE-GRAPH.mdpresente pero stale/untimely → NO_CONSTA, no “missing” fabricado
Recorded fixtures STALE_EVIDENCE and UNTIMELY_EVIDENCE both return NO_CONSTA.
La evidencia de una ejecución no puede prestarse en silencio para sostener otra. Una aprobación obtenida en otro sitio se queda allí.
03_ARCHITECTURE/04-EVIDENCE-GRAPH.mdevidence de otro run no puede prestarse silenciosamente
Recorded fixture BORROWED_RUN_EVIDENCE returns record_valid=false with CLAIM_CROSS_RUN_BORROWING.
Artefacto, identidad, evidencia, política, evaluación. Todo ocurre dentro de un núcleo que no lee más que lo que se le entregó.
La cadena no continúa al otro lado. El núcleo devuelve un resultado y termina; no tiene mecanismo para concederse permiso ni a sí mismo.
Una autoridad externa lee la evaluación y decide. Sólo después ocurre algo — y a menudo no ocurre nada, que es un resultado correcto.