From 719ebbe41698446310c833a9499ecb0db3405a44 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Thu, 8 Oct 2026 22:18:44 +0100
Subject: [PATCH] fix(deps): move SMTLib to its re-minted v8 UUID
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

SMTLib's patterned placeholder UUID (7d3f9a2c-…) is re-minted as
01a11d29-d89a-86da-8e3a-553d114a3537 (ADR-008 profile T) in
hyperpolymath/SMTLib.jl#46, per the owner ruling of 2026-10-08 that
extends D320. Axiom names SMTLib by UUID in three places: the weakdep
in Project.toml, the vendored packages/SMTLib.jl/Project.toml, and the
benchmark Manifest. All three move together so the vendored copy and
the standalone package keep one identity.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01WPSJ7fBhVAMcpSffCBWUDo
Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>
---
 Project.toml                    | 4 ++--
 benchmark/Manifest.toml         | 2 +-
 packages/SMTLib.jl/Project.toml | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Project.toml b/Project.toml
index 9000c24..7a50f44 100644
--- a/Project.toml
+++ b/Project.toml
@@ -22,7 +22,7 @@ CUDA = "052768ef-5323-5732-b1bb-66c8b64840ba"
 KernelAbstractions = "63c18a36-062a-441e-b654-da1e3ab1ce7c"
 Metal = "dde4c033-4e86-420c-a63e-0dd931031962"
 PyCall = "438e738f-606a-5dbb-bf0a-cddfbfd45ab0"
-SMTLib = "7d3f9a2c-8b4e-5c1f-a6d0-9e8f7b2c3d4e"
+SMTLib = "01a11d29-d89a-86da-8e3a-553d114a3537"
 
 [extensions]
 AxiomAMDGPUExt = "AMDGPU"
@@ -48,7 +48,7 @@ Random = "1"
 SHA = "0.7, 1"
 Serialization = "1"
 # SMTLib is the estate-internal package (packages/SMTLib.jl, uuid
-# 7d3f9a2c-...) resolvable only inside this monorepo via the workspace/dev
+# 01a11d29-d89a-...) resolvable only inside this monorepo via the workspace/dev
 # path -- it is not (yet) registered in General. The bound below tracks its
 # own Project.toml version (currently 0.1.0) rather than a registry range.
 SMTLib = "0.1"
diff --git a/benchmark/Manifest.toml b/benchmark/Manifest.toml
index e5f1d24..eb7b51e 100644
--- a/benchmark/Manifest.toml
+++ b/benchmark/Manifest.toml
@@ -795,7 +795,7 @@ version = "0.7.0"
 
 [[deps.SMTLib]]
 path = "../packages/SMTLib.jl"
-uuid = "7d3f9a2c-8b4e-5c1f-a6d0-9e8f7b2c3d4e"
+uuid = "01a11d29-d89a-86da-8e3a-553d114a3537"
 version = "0.1.0"
 
 [[deps.SciMLPublic]]
diff --git a/packages/SMTLib.jl/Project.toml b/packages/SMTLib.jl/Project.toml
index cd38949..7b9007b 100644
--- a/packages/SMTLib.jl/Project.toml
+++ b/packages/SMTLib.jl/Project.toml
@@ -1,6 +1,6 @@
 # SPDX-License-Identifier: MPL-2.0
 name = "SMTLib"
-uuid = "7d3f9a2c-8b4e-5c1f-a6d0-9e8f7b2c3d4e"
+uuid = "01a11d29-d89a-86da-8e3a-553d114a3537"
 authors = ["Axiom.jl Contributors"]
 version = "0.1.0"