chore: update eclexia submodule (Layout.idr proof holes resolved)

hyperpolymath · claude · hyperpolymath · commit c412bd1f62bb · 2026-03-21T00:13:50.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 fed052d84b35a8c57dc80818e358432ea6e95bc8
