specops-spec-conformance

To audit gaps between an analysis spec and its implementation, provide the file paths for both specs. The audit identifies missing, altered, or contradicted requirements and generates patches to restore conformance.

Spec conformance patching works by verifying traceability, edge cases, and open questions against the analysis spec. It then outputs precise implementation patches and a conformance report file to document the rationale.

The best way to reconcile an implementation spec with analysis behavior is to run a conformance audit. It locates gaps and applies patches to the implementation spec, ensuring it faithfully preserves the original analysis requirements.

Yes, you can parallelize spec gap discovery and resolution. The audit leverages subagents to review identified gaps in parallel, accelerating the resolution and patching process.

Yes, spec conformance patching handles deferred design decisions. The audit log produced alongside the updated implementation spec explicitly documents any deferred design decisions for later review.

After running a spec conformance audit, you get patched implementation specs and an audit log. A single conformance report file is also emitted next to the implementation spec for traceability.