-
Notifications
You must be signed in to change notification settings - Fork 1k
Open
Description
Feature Request: Integration with Verification
Problem Description
There is a gap between "Intent" (Spec) and "Implementation" (Code). Specs can become outdated if not enforced, and code can drift from the spec without detection.
Proposed Solution
- Executable Scenarios: Automatically translate spec scenarios into unit/integration tests (Jest, Playwright).
- CI Integration: Reject merges if spec-derived tests fail.
- Spec vs. Implementation Validator: Compare code structure/logic against the spec to flag mismatches.
Benefits
- "Living Specs" that are always true.
- Prevents regressions.
- Automates the boring part of test writing.
Industry Inspiration
- Traycer: "Automated Code Verification" - verifying AI-generated code against the spec.
- OpenSpec Community: Requests for generating specs from tests and vice-versa.
Metadata
Metadata
Assignees
Labels
No labels