component-poison-verif - Seed controlled drift in verification artifacts
Deliberately introduces controlled concrete–abstract mismatches into a Certus component on a throwaway branch to test verification drift tooling.
Tags
Updated: 2026-09-30Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Resolve component directory
- Discover verification artifacts
- Create poison branch
- Inventory verification claims
- Inject semantic mismatches
- Record concrete and abstract locations
Inputs
- Component name
- Poison count
- Git repository
- Verification artifacts
Outputs
- Poison branch
- Modified verification artifacts
- Poison inventory
- Error and warning messages
Requirements
- Git branch creation access
- Certus repository
- At least one supported verification artifact
- Local write access