Actual
La evidencia es un producto de relaciones independientes en lugar de un camino de confianza escalar:
acquisition channel
+ typed content form
+ exact source and provenance facts
+ scope and observation interval
+ integrity, authorization, freshness, independence, replay facts
+ retention law
+ exact evidence-use-policy witness
El constructor de límites revisado admite material de llamador hostil directamente para una condición exacta. Los constructores de origen privados de crate admiten tiempo-nombrado, entorno y material de documento enraizado a través de un enlace de adquisición local exacto. La admisión de políticas verifica la ley de escenario exacta, la relación objetivo, condición, alcance de etapa/ejecución, canal, garantía, independencia, acuerdo/quórum, frescura y relaciones de retención. Cada candidato estructuralmente válido recibe una evaluación de política canónica satisfecha o insatisfecha y permanece en el denominar retenido antes de la resolución del snapshot.
Los snapshots distinguen:
- un valor tipado presente;
- ausencia observada positivamente;
- candidatos faltantes;
- candidatos presentes pero insuficientes para la política.
El orden de llegada de los candidatos no puede cambiar la identidad del snapshot o el resultado semántico. Los errores de adquisición operativa nunca entran en esta álgebra de resolución.
Evaluación pura y reproducción
El evaluador consume solo la ley de escenario validada, el exacto estado/alcance, snapshot de evidencia admitida canónica y el contexto de evaluación explícito. No realiza reloj, entorno, sistema de archivos, proveedor, autorización o I/O de red.
La retención determina la reclamación exacta posterior:
- los valores canónicos retenidos pueden reconstruir la evaluación semántica;
- una referencia vinculada a la integridad requiere material exacto e inmutable y verificador;
- la retención solo de digest permite comparación de integridad pero no reproducción semántica.
Runpack v6 rehidrata la evidencia retenida a través de constructores hostiles y rechaza material de relación, evaluación de políticas o snapshot falsificado. El verificador de material suministrado PF-05 reduce independientemente la historia aceptada PF-04 y informa las dependencias de reproducción semántica a través de su registro total de reclamaciones. Esto reconstruye las relaciones de admisión y evaluación semántica retenidas; no realiza nuevamente una observación local original, establece la verdad del mundo, autentica la fuente, prueba la actualidad o detecta retrocesos coherentes sin testigos externos.
Modelo eliminado
EvidenceResult, TrustLane, TrustRequirement, estado del comparador proporcionado por el llamador, errores del proveedor incrustados como evidencia, y ausencia observada como faltante no tienen representación de compatibilidad. La adquisición de red y de subprocesos está ausente en el tiempo de ejecución actual y no puede acuñar evidencia.
No reclamaciones actuales
Los registros de garantía factorizados prueban relaciones exactas; no convierten ninguna fuente en verdad metafísica. La calificación del producto, la verdad de la autoridad externa, salvaguarda temporal aceptada y el comportamiento de colocación y asignación de múltiples nodos permanecen como reclamaciones de propiedad separada.