spectra-verify

To verify code matches delta specs, you need automated alignment checks that parse change artifacts and search the codebase to validate task completion and spec coverage. This ensures traceability between intended changes and implementation.

Delta spec verification is the process of identifying and confirming alignment between intended change artifacts and actual code. It checks for completeness, correctness, and design coherence to validate that implementation matches requirements.

Checking task completion requires parsing change artifacts to map requirements to implementations and tests. This identifies divergences and validates that every delta spec has corresponding code, tests, and design decisions.

You can assess design adherence and code pattern consistency automatically by parsing optional design docs alongside change artifacts. This coherence check validates that implementation follows established design decisions during reviews.

Generating a verification report involves running an alignment check on the current change context to parse delta specs and code artifacts. The output validates task completion, spec coverage, and design consistency.

Spec verification works without optional design documents by focusing parsing strictly on change artifacts and codebase searches. Completeness and correctness checks function independently, while coherence checks utilize design docs if provided.