chore: update 3 submodules — system specs + Idris2 proofs

hyperpolymath · claude · hyperpolymath · commit d3c1ea1ad636 · 2026-03-14T23:40:05.000Z
- eclexia: system specs (memory, concurrency, effects, modules)
- phronesis: initial Idris2 type safety proofs
- julia-the-viper: Idris2 Harvard architecture safety proofs

Co-Authored-By: Claude Opus 4.6 (1M context) &lt;noreply@anthropic.com&gt;
diff --git a/eclexia b/eclexia
@@ -1 +1 @@
-Subproject commit b44e61df595f51a2a18f34901f4c72a22762e67d
+Subproject commit 91c5ee867b61c0efc141cb3d6d21cf81c536e30a
diff --git a/julia-the-viper b/julia-the-viper
@@ -1 +1 @@
-Subproject commit 86c70965a29b5c83c6eb459ce6486a2231691499
+Subproject commit eed9aae87fb48479b3ef1183b2d70e247347fdf3
diff --git a/phronesis b/phronesis
@@ -1 +1 @@
-Subproject commit 627065970928dc52aa9b032d1556a6a21b65e6b7
+Subproject commit c477b58d4ebb3d783ecd40e5560516594d2a6fd2
