docs(claude-md): correct ReScript file count (33 → 10)

Audit finding: actual file count in src/rescript/ is 10, not 33 as
claimed. Also note the UI is built locally only — not yet shipped
in the container or API responses.

https://claude.ai/code/session_01NaC5RXjTyr5xg9XXUa2FCC

Author: claude

CLAUDE.md

@@ -38,7 +38,7 @@ echidna/
 │   │   ├── grpc/           # gRPC (tonic, port 50051)
 │   │   └── rest/           # REST (axum + OpenAPI, port 8000)
 │   ├── julia/              # Julia ML components
-│   ├── rescript/           # ReScript+Deno UI (33 files)
+│   ├── rescript/           # ReScript+Deno UI (10 files — built locally, not yet shipped)
 │   └── mercury/            # Mercury/Logtalk logic (optional)
 ├── .machine_readable/      # SCM files (STATE.scm, META.scm, ECOSYSTEM.scm)
 ├── .github/workflows/      # 17 CI/CD workflows
@@ -72,7 +72,7 @@ Follow conventional commit format:
 
 - **Rust**: Core logic, 105 prover backends, trust pipeline, CLI, REPL, API servers
 - **Julia**: ML inference (tactic prediction, premise selection, port 8090)
-- **ReScript + Deno**: UI components (33 files, zero TypeScript)
+- **ReScript + Deno**: UI components (10 files, zero TypeScript — local build only)
 - **Chapel**: Optional parallel proof dispatch
 
 ### Prover Support (105 Total - ALL IMPLEMENTED)