chore: update ephapax submodule — typing_ctx_transfer Qed, 47 Qed / 2 Admitted

hyperpolymath · claude · hyperpolymath · commit 043cfb3549da · 2026-04-04T12:50:12.000+01:00
Co-Authored-By: Claude Opus 4.6 (1M context) &lt;noreply@anthropic.com&gt;
diff --git a/ephapax b/ephapax
@@ -1 +1 @@
-Subproject commit 4ee542af905c70a90c223d767bd9ac6953b06ee7
+Subproject commit 657ae77a2e263ef4fb8ad905397bafc85420a514
