From 5fd73a246531507b239b4ef57e9ccc77af131d05 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Wed, 10 Jun 2026 11:20:15 +0000
Subject: [PATCH 1/2] Block all net.jqwik Dependabot updates (anti-AI policy)

---
 .github/dependabot.yml | 4 ++++
 README.md              | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
index 39c6234e..b251cec4 100644
--- a/.github/dependabot.yml
+++ b/.github/dependabot.yml
@@ -9,6 +9,10 @@ updates:
     directory: "/"
     schedule:
       interval: "weekly"
+    # Anti-AI policy: jqwik >=1.10 injects prompts targeting AI agents in test
+    # stdout. Pinned at 1.9.3; block ALL net.jqwik updates. See README.
+    ignore:
+      - dependency-name: "net.jqwik:*"
   - package-ecosystem: "github-actions"
     directory: "/"
     schedule:
diff --git a/README.md b/README.md
index 68aeab21..954a62a1 100644
--- a/README.md
+++ b/README.md
@@ -598,7 +598,7 @@ The system's updated C++ runtime will be used instead, resolving the crash.
 
 ### Contributors: do not upgrade jqwik past 1.9.3
 
-> ⚠️ **DO NOT UPGRADE jqwik past 1.9.3.** jqwik 1.10.0 added an anti-AI prompt-injection string to test stdout; the 1.10.1 user guide states the library "is not meant to be used by any 'AI' coding agents at all." 1.9.3 is the last pre-disclosure release and is the pinned version. See `CLAUDE.md` section "jqwik prompt-injection in test output" for the full context.
+> ⚠️ **DO NOT UPGRADE jqwik past 1.9.3.** jqwik 1.10.0 added an anti-AI prompt-injection string to test stdout; the 1.10.1 user guide states the library "is not meant to be used by any 'AI' coding agents at all." 1.9.3 is the last pre-disclosure release and is the pinned version. See `CLAUDE.md` section "jqwik prompt-injection in test output" for the full context. Dependabot is configured to ignore **all** `net.jqwik` updates (every version, including patches) — see the `ignore` rule in [`.github/dependabot.yml`](./.github/dependabot.yml).
 
 ## Similar Projects / Usage
 

From accedf904360f4ea775e1e96650b6dcdf98b5826 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Wed, 10 Jun 2026 11:20:16 +0000
Subject: [PATCH 2/2] Align spotbugs-maven-plugin to 4.9.8.4 and pitest-maven
 to 1.25.4

---
 pom.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pom.xml b/pom.xml
index 9822a60a..5ee94f2d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -76,7 +76,7 @@ SPDX-License-Identifier: MIT
 		     section "jqwik prompt-injection in test output" for full context. -->
 		<jqwik.version>1.9.3</jqwik.version>
 		<archunit.version>1.4.2</archunit.version>
-		<spotbugs.version>4.9.8.3</spotbugs.version>
+		<spotbugs.version>4.9.8.4</spotbugs.version>
 		<fb-contrib.version>7.7.4</fb-contrib.version>
 		<findsecbugs.version>1.14.0</findsecbugs.version>
 		<spotless.version>3.6.0</spotless.version>
@@ -296,7 +296,7 @@ SPDX-License-Identifier: MIT
 				<plugin>
 					<groupId>org.pitest</groupId>
 					<artifactId>pitest-maven</artifactId>
-					<version>1.25.3</version>
+					<version>1.25.4</version>
 				</plugin>
 				<plugin>
 					<groupId>org.sonatype.central</groupId>
@@ -643,7 +643,7 @@ SPDX-License-Identifier: MIT
 					  mutation parity, gated at a 100% threshold on every CI build. Expand
 					  the targetClasses globs as further packages reach parity (see README
 					  TODO). The value/ and exception/ trees are at 100% (verified with
-					  pitest-maven 1.25.3); their unit tests are pure-Java (no native
+					  pitest-maven 1.25.4); their unit tests are pure-Java (no native
 					  libjllama / model file needed).
 				-->
 				<groupId>org.pitest</groupId>