chore: update eclexia submodule (Agda proof hole fixed)

hyperpolymath · claude · hyperpolymath · commit 010aa96b7569 · 2026-03-20T18:13: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 339211a108b5ba5d37a07924d926c918355e7128
+Subproject commit 1f6a5f42e08e2190c291cc7399950f73d59221e2
