Verification Model
Verification separates a claimed result from the evidence used to support it.
A useful verification workflow therefore distinguishes:
- input state
- relevant execution or transformation state
- produced artifact or result
- integrity evidence
- verification outcome
Core principle
Section titled “Core principle”A system result should not be considered verified merely because the originating application reports success.
Verification should be based on explicit, inspectable evidence.
Verification boundary
Section titled “Verification boundary”The verification boundary defines what must be available for an independent party or process to check the result.
A narrow boundary may include a single artifact and its integrity record.
A richer boundary may include source state, intermediate evidence, replay information and verification results.