From 8d2d74b2e6d18d7947f00d36b2dd302eb2a9e49b Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Tue, 25 Aug 2026 00:33:14 -0400
Subject: [PATCH 01/12] feat: add HOL Guard tool

---
 tools/hol-guard/hol_guard.test.ts |  6 ++++++
 tools/hol-guard/plugin.yaml       | 11 +++++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 tools/hol-guard/hol_guard.test.ts
 create mode 100644 tools/hol-guard/plugin.yaml

diff --git a/tools/hol-guard/hol_guard.test.ts b/tools/hol-guard/hol_guard.test.ts
new file mode 100644
index 000000000..fee2c1ea6
--- /dev/null
+++ b/tools/hol-guard/hol_guard.test.ts
@@ -0,0 +1,6 @@
+import { toolInstallTest } from "tests";
+
+toolInstallTest({
+  toolName: "hol-guard",
+  toolVersion: "2.2.88",
+});
diff --git a/tools/hol-guard/plugin.yaml b/tools/hol-guard/plugin.yaml
new file mode 100644
index 000000000..4f2100766
--- /dev/null
+++ b/tools/hol-guard/plugin.yaml
@@ -0,0 +1,11 @@
+version: 0.1
+tools:
+  definitions:
+    - name: hol-guard
+      runtime: python
+      package: hol-guard
+      known_good_version: 2.2.88
+      shims: [hol-guard]
+      health_checks:
+        - command: hol-guard --version
+          parse_regex: ${semver}

From 56f54907dea378a633142963b2d24472c4ee2477 Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Wed, 26 Aug 2026 05:42:25 -0400
Subject: [PATCH 02/12] chore: refresh HOL Guard stable version

---
 tools/hol-guard/plugin.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/hol-guard/plugin.yaml b/tools/hol-guard/plugin.yaml
index 4f2100766..a275a3aeb 100644
--- a/tools/hol-guard/plugin.yaml
+++ b/tools/hol-guard/plugin.yaml
@@ -4,7 +4,7 @@ tools:
     - name: hol-guard
       runtime: python
       package: hol-guard
-      known_good_version: 2.2.88
+      known_good_version: 2.2.125
       shims: [hol-guard]
       health_checks:
         - command: hol-guard --version

From 39d271d1553c981f86175e177a6b73e768610401 Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Wed, 26 Aug 2026 05:42:44 -0400
Subject: [PATCH 03/12] test: refresh HOL Guard stable version

---
 tools/hol-guard/hol_guard.test.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/hol-guard/hol_guard.test.ts b/tools/hol-guard/hol_guard.test.ts
index fee2c1ea6..41a29ce3e 100644
--- a/tools/hol-guard/hol_guard.test.ts
+++ b/tools/hol-guard/hol_guard.test.ts
@@ -2,5 +2,5 @@ import { toolInstallTest } from "tests";
 
 toolInstallTest({
   toolName: "hol-guard",
-  toolVersion: "2.2.88",
+  toolVersion: "2.2.125",
 });

From 73135153518721b779e1971ee6473f0c8ddebad9 Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Thu, 27 Aug 2026 01:32:56 -0400
Subject: [PATCH 04/12] test: refresh HOL Guard stable version to 2.2.126

---
 tools/hol-guard/hol_guard.test.ts | 4 ++--
 tools/hol-guard/plugin.yaml       | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/hol-guard/hol_guard.test.ts b/tools/hol-guard/hol_guard.test.ts
index 41a29ce3e..3fea4af1c 100644
--- a/tools/hol-guard/hol_guard.test.ts
+++ b/tools/hol-guard/hol_guard.test.ts
@@ -2,5 +2,5 @@ import { toolInstallTest } from "tests";
 
 toolInstallTest({
   toolName: "hol-guard",
-  toolVersion: "2.2.125",
-});
+  toolVersion: "2.2.126",
+});
\ No newline at end of file
diff --git a/tools/hol-guard/plugin.yaml b/tools/hol-guard/plugin.yaml
index a275a3aeb..56e747be3 100644
--- a/tools/hol-guard/plugin.yaml
+++ b/tools/hol-guard/plugin.yaml
@@ -4,7 +4,7 @@ tools:
     - name: hol-guard
       runtime: python
       package: hol-guard
-      known_good_version: 2.2.125
+      known_good_version: 2.2.126
       shims: [hol-guard]
       health_checks:
         - command: hol-guard --version

From 8e32df872f1a35766e52036d64c21a72d9e61be2 Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Thu, 27 Aug 2026 07:35:44 -0400
Subject: [PATCH 05/12] fix(hol-guard): refresh stable release to 3.0.0

---
 tools/hol-guard/plugin.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/hol-guard/plugin.yaml b/tools/hol-guard/plugin.yaml
index 56e747be3..886b3e2ef 100644
--- a/tools/hol-guard/plugin.yaml
+++ b/tools/hol-guard/plugin.yaml
@@ -4,7 +4,7 @@ tools:
     - name: hol-guard
       runtime: python
       package: hol-guard
-      known_good_version: 2.2.126
+      known_good_version: 3.0.0
       shims: [hol-guard]
       health_checks:
         - command: hol-guard --version

From 6c22e18a32167012f9f21c0ab2f5ecc690b01e6a Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Thu, 27 Aug 2026 07:35:51 -0400
Subject: [PATCH 06/12] fix(hol-guard): refresh stable install test to 3.0.0

---
 tools/hol-guard/hol_guard.test.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/hol-guard/hol_guard.test.ts b/tools/hol-guard/hol_guard.test.ts
index 3fea4af1c..195c39c58 100644
--- a/tools/hol-guard/hol_guard.test.ts
+++ b/tools/hol-guard/hol_guard.test.ts
@@ -2,5 +2,5 @@ import { toolInstallTest } from "tests";
 
 toolInstallTest({
   toolName: "hol-guard",
-  toolVersion: "2.2.126",
+  toolVersion: "3.0.0",
 });
\ No newline at end of file

From 9aa6d82448d5fb4eccd69742012b06ba2b9c48b3 Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Thu, 27 Aug 2026 21:37:50 -0400
Subject: [PATCH 07/12] fix: refresh HOL Guard stable version to 3.0.9

---
 tools/hol-guard/plugin.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/hol-guard/plugin.yaml b/tools/hol-guard/plugin.yaml
index 886b3e2ef..96064c273 100644
--- a/tools/hol-guard/plugin.yaml
+++ b/tools/hol-guard/plugin.yaml
@@ -4,7 +4,7 @@ tools:
     - name: hol-guard
       runtime: python
       package: hol-guard
-      known_good_version: 3.0.0
+      known_good_version: 3.0.9
       shims: [hol-guard]
       health_checks:
         - command: hol-guard --version

From 908a99f9a68f6ec6f45ad3d8c3148f1c2f8d8ea3 Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Thu, 27 Aug 2026 21:37:55 -0400
Subject: [PATCH 08/12] test: align HOL Guard install test with 3.0.9

---
 tools/hol-guard/hol_guard.test.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/hol-guard/hol_guard.test.ts b/tools/hol-guard/hol_guard.test.ts
index 195c39c58..bb12ae3c8 100644
--- a/tools/hol-guard/hol_guard.test.ts
+++ b/tools/hol-guard/hol_guard.test.ts
@@ -2,5 +2,5 @@ import { toolInstallTest } from "tests";
 
 toolInstallTest({
   toolName: "hol-guard",
-  toolVersion: "3.0.0",
+  toolVersion: "3.0.9",
 });
\ No newline at end of file

From 7cacde9ec4b240a3bb54b2f726b112ae66cc1be6 Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Thu, 27 Aug 2026 23:36:42 -0400
Subject: [PATCH 09/12] fix: refresh HOL Guard known-good version

---
 tools/hol-guard/plugin.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/hol-guard/plugin.yaml b/tools/hol-guard/plugin.yaml
index 96064c273..5dfdc638e 100644
--- a/tools/hol-guard/plugin.yaml
+++ b/tools/hol-guard/plugin.yaml
@@ -4,7 +4,7 @@ tools:
     - name: hol-guard
       runtime: python
       package: hol-guard
-      known_good_version: 3.0.9
+      known_good_version: 3.0.12
       shims: [hol-guard]
       health_checks:
         - command: hol-guard --version

From 56b47fa44da16603a03fffc60798031805e6e4cc Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Thu, 27 Aug 2026 23:37:11 -0400
Subject: [PATCH 10/12] fix: align HOL Guard install test version

---
 tools/hol-guard/hol_guard.test.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/hol-guard/hol_guard.test.ts b/tools/hol-guard/hol_guard.test.ts
index bb12ae3c8..c673d0cec 100644
--- a/tools/hol-guard/hol_guard.test.ts
+++ b/tools/hol-guard/hol_guard.test.ts
@@ -2,5 +2,5 @@ import { toolInstallTest } from "tests";
 
 toolInstallTest({
   toolName: "hol-guard",
-  toolVersion: "3.0.9",
+  toolVersion: "3.0.12",
 });
\ No newline at end of file

From 7add7dea98651c06ed24d214bae9f0020c6aba07 Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Sat, 29 Aug 2026 18:14:27 -0400
Subject: [PATCH 11/12] chore(hol-guard): refresh stable pin to 3.0.18

---
 tools/hol-guard/plugin.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/hol-guard/plugin.yaml b/tools/hol-guard/plugin.yaml
index 5dfdc638e..11ea339a0 100644
--- a/tools/hol-guard/plugin.yaml
+++ b/tools/hol-guard/plugin.yaml
@@ -4,7 +4,7 @@ tools:
     - name: hol-guard
       runtime: python
       package: hol-guard
-      known_good_version: 3.0.12
+      known_good_version: 3.0.18
       shims: [hol-guard]
       health_checks:
         - command: hol-guard --version

From 33e8c9906ed0bec147d58faf379ed0da92ebb553 Mon Sep 17 00:00:00 2001
From: Michael Kantor <6068672+kantorcodes@users.noreply.github.com>
Date: Sat, 29 Aug 2026 18:14:33 -0400
Subject: [PATCH 12/12] test(hol-guard): refresh install test to 3.0.18

---
 tools/hol-guard/hol_guard.test.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/hol-guard/hol_guard.test.ts b/tools/hol-guard/hol_guard.test.ts
index c673d0cec..10eb6ce3e 100644
--- a/tools/hol-guard/hol_guard.test.ts
+++ b/tools/hol-guard/hol_guard.test.ts
@@ -2,5 +2,5 @@ import { toolInstallTest } from "tests";
 
 toolInstallTest({
   toolName: "hol-guard",
-  toolVersion: "3.0.12",
-});
\ No newline at end of file
+  toolVersion: "3.0.18",
+});