Skip to content

AC-038: add release-readiness verification record - #9

Merged
veraxis-protocol merged 1 commit into
mainfrom
claude/ac-038-release-readiness
Aug 24, 2026
Merged

veraxis-protocol merged 1 commit into
mainfrom
claude/ac-038-release-readiness

Conversation

@veraxis-protocol

Copy link
Copy Markdown
Owner

Adds docs/RELEASE-READINESS.md and links it from the README's "Where to go next" table.

What this records

Verification results for main at db1c745686285b229361d83f663dac2b5e8924a5, gathered from two independent fresh clones plus GitHub API state. It records observations — it does not certify release and does not describe the repository as production-ready.

Gates A–G. Engineering correctness (342 passed; ALLOW, both refusal paths, receipt verification), evidence sufficiency (DUT-verified benchmark, 7/7 E2E, 38/38 adversarial, observed sustained throughput), independent-adjudication boundary, git integrity, human usability from a fresh clone (first meaningful success at 21 s against a 5-minute budget), agent usability, adoption readiness.

Gate F was re-executed independently rather than read off docs/AGENT-USABILITY.md: CLI surface (exactly six subcommands), success path, refusal path, receipt verification via the documented extraction step, unsupported-module imports (server/api/http/registry/db → ModuleNotFoundError), the documented wrapper-to-verify-receipt negative case, refusal-as-return-value, workflow-vs-enforcement, licensing boundary, claim ceiling, and reason-code semantics carrying no cross-version stability claim.

Release and supply integrity. No tags, no releases, not published — so release-artifact clauses are marked NOT APPLICABLE rather than passed. Tracked-file secret scan clean across 82 files. Branch protection is recorded as not verified (no read access from this session) rather than asserted either way.

Findings

  • Closed: U6 (required-status-check overclaim), U7 (reason-code stability overclaim).
  • Open with disposition: U1 (no licence — owner decision), U5 (DUT guard covers README.md — deliberately not worked around), U8 (agent-usability record is self-authored).
  • New: U9 (internal governance vocabulary in public docs), U10 (no SECURITY.md/CONTRIBUTING.md), U11 (no explicit workflow permissions: block), U12 (actions pinned to mutable major tags), U13 (unpinned dependency floors, no lockfile — in tension with roadmap X4).

U11 is repository configuration outside this work order's authorization. U13 would alter a protected device-under-test path and invalidate the existing benchmark verification without a fresh measurement run. Both are recorded rather than repaired.

Scope

Documentation only. No test, guard, or benchmark threshold was weakened. authcontract/, tests/, fixtures/, .github/, pyproject.toml and benchmarks/ are byte-identical to main.


Generated by Claude Code

Records the Gates A-G verification results for main db1c745, the release
and supply-integrity state, and the disposition of findings U1, U5, U6,
U7, U8 plus five new findings (U9-U13).

Gate F was re-executed independently in a fresh clone rather than relying
on docs/AGENT-USABILITY.md: CLI surface, success path, refusal path,
receipt verification, unsupported-module imports, the documented
wrapper-to-verify-receipt negative case, refusal-as-return-value,
workflow-vs-enforcement, licensing boundary, claim ceiling, and
reason-code semantics with no cross-version stability claim.

Records rather than repairs U11 (no explicit workflow permissions block),
U12 (actions pinned to mutable major tags) and U13 (unpinned dependency
floors, no lockfile): the first is repository configuration outside this
work order's authorization, and the last would alter a protected
device-under-test path and invalidate the existing benchmark verification
without a fresh measurement run.

No test, guard, or benchmark threshold was weakened. Behavioral surfaces
(authcontract/, tests/, fixtures/, .github/, pyproject.toml, benchmarks/)
are byte-identical to main.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Emwzah7sNdUGzJGDwbSCam
@veraxis-protocol
veraxis-protocol merged commit ce78385 into main Aug 24, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants