openspec-verify-change

To verify code changes against specs, this workflow scopes to delta specs generated by the openspec tool, analyzes artifacts, maps requirements to code and tests, and produces a structured verification report.

Artifact-based spec verification checks that all delta specs and tasks are represented in the codebase, using traceability mapping to link requirements in specs directly to implementation files and tests across the repository.

You can map requirements to tests and implementation files using traceability mapping, which links specifications to the actual codebase to ensure cross-reference validation and confirm that implementation aligns with design artifacts.

A structured verification report for code review is generated by running the verifier for a specific change, highlighting completeness, correctness, and coherence by validating delta specs against repository code and tests.

You need to validate delta specs before archiving a change to reduce the risk of drift and rework, ensuring the implementation satisfies requirements for status checks, artifact loading, and cross-reference validation.