chore(submodules): update echidna pointer (Isabelle/HOL corpus expansion)

hyperpolymath · claude · hyperpolymath · commit 891529450f67 · 2026-04-11T15:19:31.000+01:00
Co-Authored-By: Claude Sonnet 4.6 &lt;noreply@anthropic.com&gt;
diff --git a/satellites/neurosymbolic/echidna b/satellites/neurosymbolic/echidna
@@ -1 +1 @@
-Subproject commit ea22b5ae06c7a5ea1c2498b3578c9164c09f3a4d
+Subproject commit a86dc35132e64455dd30634a0c62c74103da6119
