Expand description
The task-verification predicate (https://speccoder.dev/task-verification/v0)
as one typed body: what speccoder signs about a ticked task, and what a
verifier reads back. Published as an open specification, its schema
generated from this type.
Versioned within v0 by revision: additive fields raise it, a removed or
redefined field is a new predicate type (…/v1). Readers tolerate
unknown fields and higher revisions: TaskVerificationV0::extra keeps
them, so a statement round-trips unchanged, and the verifier names them
without letting them decide anything.
Structs§
- Decider
- Who decided an
attestedorskippedtask, and why. - Red
- The red run’s output, bounded and checked clean (revision 2).
- SpecRef
- The requirement the task belongs to.
- TaskRef
- The task.
- Task
Verification V0 - The
task-verificationpredicate, v0. - Unit
- The spec unit (feature, change) the task belongs to.
Enums§
- RedKind
- How the acceptance tests first failed (revision 2).
Constants§
- RED_
EXCERPT_ MAX - The longest red-output excerpt a statement carries, in bytes.
- REVISION
- The revision this build writes. 1: the fields before
revisionexisted (a statement without it); 2:revision,redand the reserved fields of other specs; 3:regression(why a tick is regression-only) andcollection(which changed test files the run collected). - TYPE
- The predicate type.