Specification Invariant Audit
Independent PiSkill directory guide. The original prompt remains hosted by Microsoft PromptKit.
What does this prompt do?
Extracts invariants from a specification and tests whether related designs, implementations, and validation artifacts consistently preserve them.
Primary use case
Validate implementation evidence against specification invariants.
Expected output
An invariant-by-invariant validation report.
Inputs or variables
- specification
- implementation
- test evidence
Related prompts
Test Project Scaffolding
Creates a test-project structure that matches the target language, framework, repository conventions, fixtures, commands, and integration boundaries before individual tests are added.
Implementation Test Writer
Builds tests around observed behavior and project conventions, then validates the resulting test changes.
Test Coverage Gap Audit
Identifies important behavior that is not adequately covered by the current test suite and distinguishes meaningful gaps from coverage-percentage noise.
Test Prompt Author
Creates a focused prompt for designing or implementing tests from requirements, code behavior, risk areas, and the repository's existing test conventions.
Validation Plan Author
Builds a validation plan linking requirements and risks to concrete checks, environments, evidence, owners, and acceptance thresholds.
Accessibility Coverage Matrix
Builds an evidence-based accessibility test matrix that maps requirements, assistive technologies and validation coverage.