chore: bump TechAPI submodule to 80de4a8

TechEngineBot · TechEngineBot · commit c91d9a71db30 · 2026-06-23T17:58:26.000Z
diff --git a/TechAPI b/TechAPI
@@ -1 +1 @@
-Subproject commit a8be30618115c03d6891ab6101afa2796e7f2211
+Subproject commit 80de4a8fbd4e2b7f2154ff16bad192c6f1e98b2f
