VSTD v1.0.0 — Two-Axis Verification Ladder
VSTD two-axis ladder and refutability
VSTD v1.0.0 makes specification numbers verification-depth layers rather than release revisions. The object axis is VSTD-1 through VSTD-5; the collection axis is VSTD-Graph-1 through VSTD-Graph-5. Repository releases remain semantic versions.
Included
- VSTD-1 through VSTD-4 implemented reference surfaces; VSTD-5 is explicitly draft
- fourteen-rung computed VSTD-4 depth and a fail-closed VSTD-5 entry gate
VSTD4-GDC-1grounded PASS/FAIL/UNKNOWN decision certificates- isolated bounded reference kernel for
UP,WIDTH-K, andRES;SAT-PRESERVINGis declared but unimplemented - machine-readable refutation surfaces, availability, precommitment using the existing anchor interface, append-only challenges, monotonic degradation, and
RefutabilityClosure - computed VSTD-Graph level from membership, provenance closure, status admissibility, and transformation-edge evidence, with a certificate for the next unreachable level
- scalable
docs/layers/anddocs/profiles/layout plus migration aliases - layer-oriented schemas while retaining frozen historical receipt wire identifiers
- exact specification bytes packaged with the wheel so installed verifier descriptors compute real hashes outside a source checkout
Verification performed
- internal source suite: 300 passed
- clean installed-wheel public suite: 221 passed, 3 skipped
- Ruff and mypy passed
- launch-readiness audit: READY (7/7 gates pass)
- source archive built twice byte-identically
- wheel built twice byte-identically with
SOURCE_DATE_EPOCH=1787356800 - isolated wheel installation, installed descriptor hashes, and both
verifier/verifiableCLI aliases passed - final allowlisted public tree: 127 files including its release manifest
- boundary scan: zero matches for private project names, local/home-directory paths, or email addresses; zero broken relative Markdown links
- GitHub
conformancepassed on the pull request, mergedmain, and tagv1.0.0
Artifact digests
verifiable-standard-1.0.0.zip:fa4917e2b047501a9d8b64247e777497f13307f6a23ce3b3a88b70bbd3e74020verifiable_standard-1.0.0-py3-none-any.whl:89c7fe1b77fb5efccbf4caa05924a8501dd4b57392b35b75bfa55ddbac0d1340
Compatibility and claim boundary
Existing v0.1.0 and v0.2.0 tags/releases are untouched. Their historical VSTD-0.1, VSTD-0.2, VSTD-3.0, and VSTD-DATA-0.1 receipt wire identifiers remain frozen and readable; only specification paths and conceptual layer names change.
A VSTD-4 result establishes only the grounded, bounded decision described by its exact claim coordinate, roots, verifier descriptor, exclusions, and certificate. This release does not establish evidence authenticity beyond the declared trust roots, physical-world completeness, an external implementation, interoperability, a security audit, independent witnessing, accredited certification, or VSTD-5 conformance. UNKNOWN, UNSUPPORTED, FAIL, and PASS remain distinct.
Licensed under Apache-2.0. Edited and published by Tyler Roost / TimeLordRaps.