Verification

How Spectrace verifies a pull request against the requirement it claims to implement, and how to read the result.

Verification is where a requirement meets the code. These pages explain what triggers a run and what is compared, how a pull request is linked to a requirement, how to read the comment and the check run, how to use the check run as a merge gate, and what the spec-drift note means.

In this section