Agent Assurance Case v0.2-candidate.8
Pre-release
Pre-release
Agent Assurance Case v0.2-candidate.8
Supersedes v0.2-candidate.7 without rewriting public history. No schema, verdict, or signature semantics changed — this is a release-hardening candidate.
Highlights
- Reproducible publication gate: the runtime dependency lock is now cross-platform and time-stable (
uv pip compile --universal --exclude-newer), with ascripts/regenerate_dependency_lock.shhelper, soVERIFY-PUBLICATION-READY.shreproduces from a clean clone on any platform. - Tighter, honest framing: README tagline softened to "audit-oriented (draft)"; the constrained RFC 8785 (JCS) subset is disclosed in
LIMITATIONS.md; newVALIDATION_BOUNDARY.mdone-pager; explicit note that the DOI tag (notmain) is the citable artifact. - Hygiene: Hypothesis example DB kept out of the tree;
.hypothesis/covered by the junk gate.
Verify this release offline
git clone --branch v0.2-candidate.8 --depth 1 https://github.com/jlov7/agent-assurance-case
cd agent-assurance-case
python3 -m pip install -r verifier/requirements.txt -r verifier/requirements-dev.txt
./VERIFY-PUBLICATION-READY.sh
python3 verifier/check_vectors.pyThis is personal, independent R&D — a draft specification and reference verifier, self-verified and not yet independently reviewed. It is not a certification. Critique welcome.