Actual
L’evidència és un producte de relacions independents més que un canal de confiança 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ímits revisat admet material hostil del cridant directament per una condició exacta. Els constructors de font privats d’escenari admeten temps-nom, entorn, i material de document arrelat a través d’un vincle d’adquisició local exacte. L’admissió de polítiques verifica la llei d’escenari exacta, relació objectiu, condició, abast d’estatge/execució, canal, garantia, independència, acord/quòrum, novetat i relacions de retenció. Cada candidat estructuralment vàlid rep una avaluació de política canònica satisfeta o insatisfeta i roman en el denominador retingut abans de la resolució de l’instantània.
Les instantànies distingeixen:
- un valor tipat present;
- absència observada positivament;
- candidats que falten;
- candidats presents però insuficients per a la política.
L’ordre d’arribada dels candidats no pot canviar la identitat de l’instantània o el resultat semàntic. Els errors d’adquisició operativa mai entren en aquesta àlgebra de resolució.
Avaluació pura i reproducció
L’evaluador consumeix només la llei de l’escenari validat, l’estatge/abast exacte, instantània de proves admeses canòniques i context d’avaluació explícit. No fa clock, entorn, sistema de fitxers, proveïdor, autorització o I/O de xarxa.
La retenció determina la reclamació exacta posterior:
- els valors canònics retinguts poden reconstruir l’avaluació semàntica;
- una referència vinculada a la integritat requereix material exactament immutable i verificador;
- la retenció només de digest permet la comparació d’integritat però no la reproducció semàntica.
Runpack v6 rehidrata l’evidència retinguda a través de constructors hostils i rejecta relacions falsificades, avaluació de polítiques, o material d’instantània. El verificador de material subministrat PF-05 redueix independentment la història acceptada PF-04 i informa sobre les dependències de reproducció semàntica a través del seu registre total de reclamacions. Això reconstrueix les relacions d’admissió semàntica retinguda i avaluació; no re-realitza una observació local original, estableix la veritat del món, autentica la font, prova l’actualitat, o detecta un retrocés coherent sense testimonis externs.
Model eliminat
EvidenceResult, TrustLane, TrustRequirement, estat del comparador subministrat pel cridant, erros del proveïdor incrustats com a proves, i absència observada com a absent no tenen representació de compatibilitat. L’adquisició de xarxa i subprocessos està absent de l’execució actual i no pot crear proves.
No reclamacions actuals
Els registres d’assegurança factoritzats documenten relacions exactes provades; no converteixen cap font en veritat metafísica. La qualificació del producte, la veritat d’autoritat externa, seguretat temporal d’execució acceptada, i comportament de col·locació i assignació multi-node roman com a reclamacions propietàries per separat.