Specifications¶
Technical specifications for VenomQA internals.
Overview¶
These specifications define the internal architecture and contracts of VenomQA. They are intended for:
- Contributors extending VenomQA
- Users building custom adapters/reporters
- Anyone understanding the "why" behind design decisions
-
Framework Spec
Core abstractions, extension points, and the plugin architecture.
-
State Chain
Checkpoint/rollback semantics, state hashing, and transaction isolation.
-
State Explorer
Exploration algorithms (BFS, DFS, CoverageGuided), guarantees, and tradeoffs.
-
Publishing
Release process, versioning strategy, and changelog management.
Versioning¶
VenomQA follows Semantic Versioning:
- MAJOR: Breaking API changes
- MINOR: New features, backward compatible
- PATCH: Bug fixes, backward compatible
Stability Guarantees¶
| Component | Stability |
|---|---|
venomqa.Action |
Stable |
venomqa.Invariant |
Stable |
venomqa.Agent |
Stable |
venomqa.World |
Stable |
venomqa.adapters.http |
Stable |
venomqa.adapters.postgres |
Stable |
venomqa.adapters.* |
Experimental |
venomqa.reporters.* |
Experimental |