Qué es la evidencia, y qué no es.
Un PASS es una afirmación que deberías poder abrir. Esta página enseña el vocabulario y luego muestra al kernel de referencia real respondiendo con él.
- Caducada
- Presente, bien formada, y que describe un objeto que ya no es el vigente. No es lo mismo que ausente.
- Ausente
- Un tipo de evidencia requerido simplemente no está en el expediente. Bajo una política de mundo cerrado, esto es un negativo definitivo; bajo mundo abierto, no se puede responder.
- Conflictiva
- Dos piezas de evidencia utilizables discrepan, o las conecta una relación de contradicción declarada. La discrepancia no se resuelve prefiriendo la favorable.
- Presente ≠ completa
- Tener algo de evidencia no es lo mismo que tener evidencia suficiente para responder la pregunta de la política.
Cinco relaciones. Deliberadamente, no seis.
Selecciona un nodo o una relación.
Aquí no existe una relación "authorizes". Un permiso puede representarse como evidencia, pero el núcleo no elevará esa representación a un permiso operacional.
La evidencia puede apoyar, contradecir, derivar de, medir o describir. No puede autorizar: la autorización no es, deliberadamente, una relación que el núcleo entienda.
V Verificado contra los bytes de la fuente De dónde sale esto
- Fichero fuente
03_ARCHITECTURE/04-EVIDENCE-GRAPH.md- Sección
- Evidence Graph
- Digest del fichero
- 4f8633072bb085f39eab245f274b3c9c4e30e46b52621a0c1c8d536ce16046dc
- Cita literal
`authorizes` no es una relación del kernel AC1
revokes and supersedes are also refused in this candidate because their semantics are not consumed.
Quince situaciones, respondidas por el núcleo real.
Cada una pasó por el kernel de referencia real y se registró su respuesta exacta, con el digest de la entrada de la que salió. Aparecen los tres resultados — y la autoridad de ejecución es falsa en todos, incluidos los favorables.
Ver los quince resultados →Cómo se lee un expediente.
Cómo funciona esto
- 01
Cada pieza de evidencia se declara a sí misma
Qué midió, qué ejecución la produjo, cuándo y quién. La evidencia que no puede decir de dónde viene no es evidencia utilizable.
- 02
Las relaciones las conectan, y sólo hay cinco
supports, contradicts, derivedFrom, measures, describes. Deliberadamente no existe una que signifique "autoriza", para que nada dentro de un expediente pueda convertirse en permiso.
- 03
La política decide qué significa una ausencia
En mundo cerrado, que falte algo obligatorio es un negativo definitivo. En mundo abierto, no se puede responder. El mismo hueco, dos respuestas honestas distintas.
- 04
Vigencia y conflicto se comprueban antes del veredicto
La evidencia que describe un objeto superado, o que llega fuera de su ventana, o que contradice a otra utilizable, se detecta en lugar de promediarse.
Paso a paso
-
Pulsa cualquier nodo del diagrama — uno de los círculos pequeños.
Verás un panel que nombra qué midió esa pieza de evidencia.
Eso significa la evidencia es una medición concreta de algo concreto, no una tranquilidad general.
-
Pulsa una de las líneas que unen dos nodos.
Verás el nombre de la relación y si el motor actúa sobre ella.
Eso significa sólo "contradicts" cambia el resultado. Las demás registran de dónde vienen las cosas.
-
Lee las cuatro palabras del principio de esta página.
Verás caducada, ausente, conflictiva y presente-pero-incompleta.
Eso significa son cuatro problemas distintos. Tratarlos como uno es la forma en que un hueco se convierte en un accidente.