“At the declared revision, the named check passed and only the declared paths changed.”
- Does the receipt name the exact reviewed revision?
- Does the receipt bind the claim to a named passing check?
- Does the observed changed-path set match the declaration?
- Supports Does the receipt name the exact reviewed revision?
The synthetic receipt and inspected repository state name the same revision.
- Supports Does the receipt bind the claim to a named passing check?
The bounded receipt records the named check as passing.
- Supports Does the observed changed-path set match the declaration?
The synthetic declared and observed path sets match exactly.
Supported
The declared claim is supported by the required evidence.
Intent: not assessed.
The evidence does not authenticate the reviewer, rerun the command, or prove complete correctness, safety or usefulness.