Verifiable Decomposition Spine (VDS) β skill reference
Policy: POL-WORKFLOW-VDS
Glossary (titles, not ids for portability): βVerifiable Decomposition Spine (VDS)β, acronym βVDSβ
CLI: zqk workflow vds (checklist, evaluate, project, init)
What βdoneβ means
A stage claim is done only when each in-scope chunk has:
chunk_id+stageclaim+rubric_ref- Non-empty
dsl_checksthat pass underevaluate evidence_refsanother agent can re-checkindependent_verify: yes(or humanwaiver_ref) β useevaluate --apply-verifyafter PASS
Files (this repo)
| Path | Role |
|---|---|
docs/quality/verifiable_decomposition_spine_profile.yaml |
Portable spine |
docs/quality/verifiable_decomposition_customization.yaml |
Project pins + vendor_providers |
docs/quality/vds_chunks.yaml |
Working chunks |
docs/architecture/VERIFIABLE_DECOMPOSITION_SPINE.md |
Contract + DSL catalog |
.cursor/rules/verifiable-decomposition-spine.mdc |
Projected Cursor surface (export) |
Common predicates
object_exists:{id}field_nonempty:{id}:{field}path_exists:{relpath}- Test/lint modes follow customization (
test_execution.mode, oftenscheduler)
Swarm habit
zqk workflow vds evaluate --format json
zqk workflow vds project --all --check
# on PASS:
zqk workflow vds evaluate --apply-verify
--apply-verify surgically rewrites independent_verify lines (preserves comments). Full YAML rewrite is fallback only.