Module verify_branch 

A branch’s ticks and what their evidence comes to: the payload of speccoder attest verify --branch (and attest badge) (branch_verify), the rule that turns per-tick outcomes into the branch’s conclusion, and the badge.

The rules are here, pure, so every interface (the binary, the check run, the badge) concludes the same from the same ticks.

Structs

Anchor

Where an annotation lands: a file and a 1-based line, at the head.

Badge

The badge: a shields.io endpoint document, and the same as an SVG.

BranchReport

Result of speccoder attest verify --branch / speccoder attest badge.

BranchTotals

Counts by outcome, in the verdict bar’s order.

SkippedTask

A task skipped by a person’s decision: no tick, not counted.

Tick

A ticked task at the checked head.

TickReport

One tick’s report.

Enums

Conclusion

The branch’s conclusion.

Mode

Which units a check covers.

TickKind

What a checked task is.

TickOutcome

A tick’s outcome.

Unverifiable

Why a tick’s evidence does not verify.

Constants

EARLIER_TASK_REGRESSIONS

not_evaluated: earlier-task regressions have no signed record this verifier could read yet.

TRAILER_ONLY_TASKS

not_evaluated: a trailer-only bug task (Spec-Task: <unit>/bug:<slug>) is in the checked range, and this version cannot check it.

Functions

share

Evidenced (not stale) over all ticks; None with none.