chore(release): 0.82.0 — Enterprise R1 proof spec + conformance suite - #243
Merged
Merged
Conversation
Version files only: pyproject.toml, graqle/__version__.py, CHANGELOG.md. No code changes in this commit. Ships what is already on master since v0.81.0: - CR-010.R1 (eb5c41d) — frozen proof spec v1.0 + conformance corpus - CR-LIC-03b (426db27) — tier-trust hardening Spec version (1.0) stays decoupled from the SDK version across this bump.
🛡️ GraQle PR Guardian💥 Blast Radius: 3 modules affected
Total blast radius: 3 🏛️ Governance Verdict
|
| Metric | Value |
|---|---|
| Blast Radius | 3 |
| Files Analyzed | 3 |
| Blocked | 0 |
| SHACL Violations | 0 |
| Verdict | WARN |
🔬 Powered by GraQle PR Guardian v0.1.0 · Scan completed 2026-07-28T19:33:06.538401+00:00
harishquantamix
approved these changes
Jul 28, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Release 0.82.0 (public bump)
Cherry-pick of the bump commit
b51704d5from private PR #320 (merged 2026-07-28T19:27:59Z, merge35f2ccca), applied onto public master2821feb6ascd16bce5.Version files only — exactly 3:
pyproject.toml,graqle/__version__.py,CHANGELOG.md. No code.What 0.82.0 ships
Everything already on public master since
v0.81.0:eb5c41d7426db271Owner approved this two-lane payload explicitly. CR-B10.5 (private #319) merged to private master after the bump but has not reached public, so it is correctly excluded from this release.
Headline: R1 becomes usable
R1's whole value is in being installable. Until now the frozen proof spec existed only on master; after this release a third party can
pip install graqle==0.82.0and implement a conformant verifier from the published schemas,SPEC.md, and golden vectors — no GraQle source required.SPEC_VERSIONstays1.0, decoupled from the SDK version, so pinning to the spec does not pin to a release.Verified on this public base
pyproject.tomland__version__.pyboth read0.82.0SPEC_VERSIONstill1.0across the bump (R1's acceptance criterion holds)tests/test_pct/, including the full conformance corpusAfter merge
Owner go-ahead required before tagging —
v0.82.0triggers CI Trusted Publishing and a PyPI version can never be reused. Then verified from a neutral cwd in a clean venv.Release Gate (PyPI)fails withrelease_gate prediction provider failed: FileNotFoundError(exit 2) on content-only PRs — seen on #232, #241, and expected here. Gate tooling, not content.🤖 Generated with Claude Code