Definition. Verifier evidence [ftip-0047]
Definition. Verifier evidence [ftip-0047]
A verifier evidence record is a tuple
\[ e_{\mathrm {ver}}=(\iota _{\mathrm {ver}},x,y,o,d_{\mathrm {ver}}), \]where \(\iota _{\mathrm {ver}}\) identifies the verifier and its version, \(o\) is the reproducible output used by the check, and \(d_{\mathrm {ver}}\in \{0,1\}\) is the resulting decision. Examples of \(o\) include a parsed exact answer, a test log, or a proof-checker result.
The evidence record preserves how the decision was obtained. It does not assert that the checked predicate is complete for the task's independent success criterion.