chore: update wokelang submodule (12 Lean4 sorries eliminated)

hyperpolymath · claude · hyperpolymath · commit cf569002128b · 2026-03-23T07:58:21.000Z
Co-Authored-By: Claude Opus 4.6 (1M context) &lt;noreply@anthropic.com&gt;
diff --git a/wokelang b/wokelang
@@ -1 +1 @@
-Subproject commit b6932db64ed297ce8071e419856b503b5abc27da
+Subproject commit aa618ea5d09632a949fbc75242cbac4e7e59be43
