[hyperpolymath]

Summary

Moves SMTLib to its re-minted UUIDv8. hyperpolymath/SMTLib.jl#46 replaces SMTLib's patterned placeholder UUID 7d3f9a2c-8b4e-5c1f-a6d0-9e8f7b2c3d4e with 01a11d29-d89a-86da-8e3a-553d114a3537 (ADR-008 profile T), per the owner ruling of 2026-10-08 that extends D320. Axiom names SMTLib by UUID in three places, and all three move together so the vendored copy and the standalone package keep one identity:

• Project.toml [weakdeps] SMTLib (and the [compat] comment that quotes its UUID prefix)
• packages/SMTLib.jl/Project.toml uuid
• benchmark/Manifest.toml [[deps.SMTLib]] uuid

Type of change

• 🐛 Bug fix: n/a
• ✨ New feature: n/a
• 💥 Breaking change: the SMTLib weakdep identity changes, so an environment that has the old-UUID SMTLib installed no longer triggers the extension until it re-adds SMTLib.
• 🕳️ Soundness fix: n/a
• 📖 Documentation: n/a
• 🧹 Refactor: n/a
• ⚡ Performance: n/a
• 🔧 Build / CI / tooling: n/a

📌 New pins

• Head SHA: 719ebbe41698446310c833a9499ecb0db3405a44 (tree 6a95053f1fe94335d263005da17a41a144aa941a)
• benchmark/Manifest.toml: one record changed, the SMTLib uuid only (a path = dep, so no tree hash or version moves). No action or container pins change.

How has this been verified?

Pkg.test() on Julia 1.12.6, run on a git archive copy of origin/main (74b2254) and on a copy of this branch:

run	result
baseline origin/main	Axiom.jl 728 pass, 1 broken, 729 total, Axiom tests passed
this branch	Axiom.jl 728 pass, 1 broken, 729 total, Axiom tests passed

The results are identical. The one Broken is a pre-existing @test_broken.

Checklist

• My commits are signed (git commit -S): G, and signed off.
• I ran the project's own checks/tests locally and they pass (above).
• New files carry SPDX: no new files.
• Docs updated: no doc names the SMTLib UUID.
• I have not introduced a soundness hole.

Notes for reviewers

• Upstream is fix(pkg)!: re-mint UUID as v8, bump to 0.2.1 SMTLib.jl#46, still open. This PR is safe to merge on its own, because Axiom resolves SMTLib through the in-repo packages/SMTLib.jl path, not a registry.
• The [compat] comment still says the vendored copy is "currently 0.1.0", and that is true: the vendored copy is 0.1.0, while standalone SMTLib.jl is at 0.2.x. That drift between the vendored and standalone copies is a pre-existing finding, recorded in dev-notes/inbox/findings.md, not changed here.

🤖 Generated with Claude Code

https://claude.ai/code/session_01WPSJ7fBhVAMcpSffCBWUDo

[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: 2438987f-7fab-4997-874d-2e46329adf3b

📥 Commits

Reviewing files that changed from the base of the PR and between 74b2254 and 719ebbe.

📒 Files selected for processing (3)

• Project.toml
• benchmark/Manifest.toml
• packages/SMTLib.jl/Project.toml

 ___________________________________________________
< Vibe code cleanup in progress... Expect swearing. >
 ---------------------------------------------------
  \
   \   (\__/)
       (•ㅅ•)
       / 　 づ

• Autopilot · 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.}