fix: resolve Tauri full build TypeScript errors from tauri-typegen

- Consolidate ws-state and cert-tofu emit calls in ws_proxy.rs into
  private helper functions (emit_ws_state, emit_cert_tofu). One call
  site per event name prevents tauri-typegen 0.5.0 from generating
  duplicate event listener functions.
- Add CI fixup step that injects 'export type Value = unknown' into
  generated types.ts — tauri-typegen cannot map serde_json::Value to
  a TypeScript type, so the generated file references an undefined type.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

.github/workflows/ci.yml

@@ -137,6 +137,23 @@ jobs:
         working-directory: Client/tauri-client/
         run: cargo tauri-typegen generate
 
+      - name: Fix generated TypeScript bindings (tauri-typegen 0.5.0 workaround)
+        working-directory: Client/tauri-client/
+        # tauri-typegen 0.5.0 cannot map serde_json::Value to a TS type — patch post-generation.
+        # Duplicate events are avoided at source by using one emit() call site per event name.
+        run: |
+          node -e "
+          const fs = require('fs');
+          const tp = fs.readFileSync('src/generated/types.ts', 'utf8');
+          if (!tp.includes('export type Value')) {
+            fs.writeFileSync('src/generated/types.ts', tp.replace(
+              'export interface CredentialData',
+              'export type Value = unknown;\n\nexport interface CredentialData'
+            ));
+          }
+          console.log('Generated bindings patched.');
+          "
+
       - name: Clippy lint (Rust)
         working-directory: Client/tauri-client/src-tauri/
         run: cargo clippy -- -D warnings