chore: update eclexia submodule — complete LP proof theorems

hyperpolymath · claude · hyperpolymath · commit 2138a7fc0b50 · 2026-03-14T21:34:46.000Z
Co-Authored-By: Claude Opus 4.6 (1M context) &lt;noreply@anthropic.com&gt;
diff --git a/eclexia b/eclexia
@@ -1 +1 @@
-Subproject commit c6ccf714f842f8bcb3430e8fce28508ae78c1e61
+Subproject commit 9987ce3493c15b9c4f67929ed600994d5960dbcc
