rebuild "verit" for arm64-darwin (new) and x86_64-darwin, using current platform baseline (macOS 12);
enforce rebuild of Isabelle/ML, notably applications of proof method "smt (verit)";

--- a/Admin/components/components.sha1	Mon Nov 10 20:49:13 2025 +0100
+++ b/Admin/components/components.sha1	Mon Nov 10 22:28:18 2025 +0100
@@ -631,6 +631,7 @@
 c11d1120fcefaec79f099fe2be05b03cd2aed8b9 verit-2021.06-rmx.tar.gz
 b576fd5d89767c1067541d4839fb749c6a68d22c verit-2021.06.1-rmx.tar.gz
 ddfac93c72f79f712a42eb2638b2693d6f9f4692 verit-2021.06.2-rmx-1.tar.gz
+20f70c9533fdaf4b8309156cda4018fe2597253f verit-2021.06.2-rmx-2.tar.gz
 19c6e5677b0a26cbc5805da79d00d06a66b7a671 verit-2021.06.2-rmx.tar.gz
 c4666a6d8080b5e376b50471fd2d9edeb1f9c988 vscode_extension-20220324.tar.gz
 86c952d739d1eb868be88898982d4870a3d8c2dc vscode_extension-20220325.tar.gz

--- a/Admin/components/main	Mon Nov 10 20:49:13 2025 +0100
+++ b/Admin/components/main	Mon Nov 10 22:28:18 2025 +0100
@@ -39,7 +39,7 @@
 sqlite-3.49.1.0
 stack-2.15.7
 vampire-4.8
-verit-2021.06.2-rmx-1
+verit-2021.06.2-rmx-2
 vscode_extension-20251103
 vscodium-1.104.06131
 xz-java-1.10

--- a/src/Pure/Admin/component_verit.scala	Mon Nov 10 20:49:13 2025 +0100
+++ b/src/Pure/Admin/component_verit.scala	Mon Nov 10 22:28:18 2025 +0100
@@ -46,7 +46,7 @@
 
       /* platform */
 
-      val platform_name = Isabelle_Platform.local.ISABELLE_PLATFORM(windows = true)
+      val platform_name = Isabelle_Platform.local.ISABELLE_PLATFORM(windows = true, apple = true)
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
 
@@ -85,7 +85,7 @@
       /* settings */
 
       component_dir.write_settings("""
-ISABELLE_VERIT="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}/veriT"
+ISABELLE_VERIT="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}}/veriT"
 """)
 
 

--- a/src/Pure/ROOT.ML	Mon Nov 10 20:49:13 2025 +0100
+++ b/src/Pure/ROOT.ML	Mon Nov 10 22:28:18 2025 +0100
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       9252313f-d0a3-4e46-9bf6-0ce2a4a7e393
+    UUID:       4488814b-325f-4b44-9319-115396d31c5e
 
 Main entry point for the Isabelle/Pure bootstrap process.