Arca Verification

Verification checks whether an artifact and its associated evidence satisfy the expected integrity conditions.

Verification workflow

1. Select the artifact.
2. Load the associated evidence.
3. Run verification.
4. Inspect the result.
5. Resolve any reported mismatch before distribution.

A verification result should be explicit and inspectable rather than inferred from successful application execution.