feat(registry): register SMTLib 0.2.2

[hyperpolymath]

Summary

Registers SMTLib 0.2.2 (01a11d29-d89a-86da-8e3a-553d114a3537). This is the first SMTLib version with a GitHub Release.

• Tag: v0.2.2 on hyperpolymath/SMTLib.jl is a signed annotated tag on 126ced1. That commit is the squash merge of fix(ci): make the release workflow build, attest and publish SMTLib.jl#50.
• Release: https://github.com/hyperpolymath/SMTLib.jl/releases/tag/v0.2.2, published 2026-10-09T11:35:27Z.
  • It carries three platform tarballs, sbom.json and checksums.txt, with build-provenance attestations.
• What is new since 0.2.1:
  • the test-suite fixes for test: 12 pre-existing test failures surfaced once the package loads (get_statistics, evaluate &&/||, Z3 unsat core, declare_const) SMTLib.jl#47 (fix: make the test suite pass (12 failures tracked by #47) SMTLib.jl#49);
  • the release-workflow fix (fix(ci): make the release workflow build, attest and publish SMTLib.jl#50);
  • the version bump and CHANGELOG (chore(release): bump to 0.2.2 SMTLib.jl#51).

Type of change

Registry: a new version of a package that is already registered. No new package, no workflow change, no change to any other package.

📌 New pins

Head SHA: dd12493d2745fa8bf60f4a19ccbb938f0eac6f63

• S/SMTLib/Versions.toml → ["0.2.2"] git-tree-sha1 = "ac26d7107a5e379908388f4db0a1c21cdff1d581".
  • This is the tree of 126ced152cacc9b72f47c77c9a4ea6bd0f06d735, the commit v0.2.2 peels to.
  • Read with git rev-parse v0.2.2^{tree} and cross-checked with git ls-remote … refs/tags/v0.2.2^{}.
• No action pins, actions.lock entries or lockfiles change.

Changes

• S/SMTLib/Versions.toml: add the ["0.2.2"] entry. It is three lines; nothing else changes.
• Why no other registry file changes:
  • Deps.toml, Compat.toml and WeakDeps.toml are each keyed [0], so they already cover 0.2.2.
  • Between v0.2.1 and v0.2.2, Project.toml differs only in version.
  • Package.toml and Registry.toml are per-package, not per-version, and are unchanged.

RSR Quality Checklist

Required

• No banned language patterns: the change is three lines of TOML.
• SPDX headers: no new source files. Versions.toml is registry data and carries no header, as with every other package in this registry.
• No secrets, credentials or .env files.
• CI is green: not ticked. The required scan / gitleaks passed. Two governance checks fail here exactly as they do on main at bf5b412; both are deferred to CI: governance linter calls a missing scripts/update-actions-lock.sh; Allowlist Preflight runs with an empty GH_TOKEN #105 (see below). This PR does not touch either one.

As Applicable — Registry Changes

• Registry.toml index: not applicable. SMTLib is already indexed (line 42), and a version entry does not touch the index.
• Per-package files consistent. ci/validate.jl passes (see Testing).
• Upstream package meets the quality bar:
  • the v0.2.2 tag push ran the release workflow on the tagged tree: Build on ubuntu, macos and windows, then SBOM;
  • main CI on 126ced1 passed all nine test (*) legs (Julia 1.10, 1.11 and nightly × three OSes).
• Upstream tag exists and matches the registered version: v0.2.2 → 126ced1, whose Project.toml says version = "0.2.2". The tag signature verifies (git verify-tag, SSH ED25519).

As Applicable — Documentation / Infra Changes

• .machine_readable/6a2/*.a2ml: not applicable. A2ML is retired estate-wide, and this PR changes no project state.
• TOPOLOGY.md: not applicable; no architecture change.
• CHANGELOG.md: not applicable. The release notes are in SMTLib.jl's CHANGELOG.adoc ([0.2.2]).
• Wiki: not applicable.

Testing

• julia ci/validate.jl <worktree> (Julia 1.12.6, RegistryCI in a throwaway depot): VALIDATION PASSED.
  • 0 custom-check errors and 0 warnings; 158 dependency pairs across 41 packages were checked.
  • Layer 1 reports the documented expected_general_gap, because the General-deps step was off. CI runs that step as best-effort.
• End-to-end install from this branch's registry, in a fresh depot:

  Pkg.Registry.add("General")
  Pkg.Registry.add(Pkg.RegistrySpec(path=<copy of this branch>))
  Pkg.activate(; temp=true)
  Pkg.add(name="SMTLib", version="0.2.2")
  using SMTLib

  • Result: pkgversion = 0.2.2 and installed tree_hash = ac26d7107a5e379908388f4db0a1c21cdff1d581.
  • SMTLib and AcceleratorGate precompiled and loaded.
• Release artefacts, downloaded with gh release download v0.2.2:
  • sha256sum -c checksums.txt gave OK for all four files.
  • gh attestation verify returned rc=0 for each of the three tarballs.
  • A tampered control file returned rc=1, so the check can fail.
• Release run 37923943616:
  • Attempt 1 failed at "Attest build provenance" with error fetching tlog entry … network timeout at rekor.sigstore.dev, a transient Sigstore outage. No Release was created.
  • Attempt 2, which re-ran only the failed job, succeeded.

Horizon: I ran the validator and the install on Julia 1.12.6. This repo's CI runs the validator on 1.10, and SMTLib's own CI covers 1.10, 1.11 and nightly.

Deferred red checks

Both checks also fail on main at bf5b412 (run 37921327250), so this PR did not cause them.

• governance / Workflow security linter: deferred to CI: governance linter calls a missing scripts/update-actions-lock.sh; Allowlist Preflight runs with an empty GH_TOKEN #105. The linter runs scripts/update-actions-lock.sh, which this repo does not have (No such file or directory, exit 127).
• governance / Allowlist Preflight: deferred to CI: governance linter calls a missing scripts/update-actions-lock.sh; Allowlist Preflight runs with an empty GH_TOKEN #105. It cannot read the repo's live Actions permissions with the job token (could not read live Actions permissions, exit 3).

Nothing is set to auto-merge.

🤖 Generated with Claude Code

https://claude.ai/code/session_016XJoh8YA2sCWQmq93CF8RX

[coderabbitai]

Note

Currently processing new changes in this PR. This may take a few minutes, please wait...

⚙️ Run configuration

• Configuration used: Organization UI
• Review profile: ASSERTIVE
• Plan: Advanced
• Run ID: 117b9843-baa2-4b33-8fb2-dfae7b553c27

---

📥 Commits

Reviewing files that changed from the base of the PR and between bf5b412 and dd12493.

---

📒 Files selected for processing (1)

• S/SMTLib/Versions.toml

---

 _____________________________
< ░R░e░v░i░e░w░ ░i░n░ ░b░i░o░ >
 -----------------------------
  \
   \   (\__/)
       (•ㅅ•)
       / 　 づ

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

---

_{Comment @coderabbitai help to get the list of available commands.}

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud