Module verify 

speccoder attest verify: re-checks every task’s attestation against the commit it is about — signatures with the signer’s own tool, against the verifier’s trust, never the project’s.

Structs

Context

Everything that decides an object’s outcome, given the trust input.

Target

One object to verify.

Trust

Where trust comes from: the verifier’s, never the project’s.

Functions

object

Verifies one object.

report

speccoder attest verify over targets.

targets

The task commits to verify: rev or the range’s commits carrying Spec-Task, or every task commit on speccoder/<feature>.

verify_at

speccoder attest verify for the project at path.