docs(claude-md): prune dead and aspirational language entries

Remove languages declared in the allowed list but with zero files on
disk (Tauri, Dioxus, Gleam, Ada) and the mobile development section
that anchored them. Retain OCaml as "AffineScript / Ephapax compiler
host (planned)" and Nickel as "planned" pending compiler-choice and
config-wiring decisions.

Add rows for languages that are actually pulling weight but were not
explicitly listed: Idris2 (ABI proofs), Agda (meta-checker), Zig
(Rust<->Chapel FFI), Chapel (parallel dispatch). Reflect Rust and
Julia as core implementation languages rather than "performance-
critical" and "batch".

Trim the banned table and enforcement rules to match — mobile-
specific bans (Kotlin/Swift/React Native/Flutter) are no longer
relevant once Tauri/Dioxus are removed.

Author: claude

.claude/CLAUDE.md

@@ -99,53 +99,37 @@ package definitions (not metadata files) and must NOT be deleted.
 
 | Language/Tool | Use Case | Notes |
 |---------------|----------|-------|
-| **ReScript** | Primary application code | Compiles to JS, type-safe |
-| **Deno** | Runtime & package management | Replaces Node/npm/bun |
-| **Rust** | Performance-critical, systems, WASM | Preferred for CLI tools |
-| **Tauri 2.0+** | Mobile apps (iOS/Android) | Rust backend + web UI |
-| **Dioxus** | Mobile apps (native UI) | Pure Rust, React-like |
-| **Gleam** | Backend services | Runs on BEAM or compiles to JS |
-| **Bash/POSIX Shell** | Scripts, automation | Keep minimal |
-| **JavaScript** | Only where ReScript cannot | MCP protocol glue, Deno APIs |
-| **Nickel** | Configuration language | For complex configs |
-| **Guile Scheme** | State/meta files | .machine_readable/6a2/STATE.a2ml, .machine_readable/6a2/META.a2ml, .machine_readable/6a2/ECOSYSTEM.a2ml |
-| **Julia** | Batch scripts, data processing | Per RSR |
-| **OCaml** | AffineScript compiler | Language-specific |
-| **Ada** | Safety-critical systems | Where required |
+| **Rust** | Core systems, prover backends, trust pipeline, CLI, WASM | Primary implementation language |
+| **Julia** | ML inference, batch data processing, extract scripts | Per RSR |
+| **Idris2** | ABI formal proofs (zero `believe_me`) | `src/abi/` — 16 modules, constructive |
+| **Agda** | Trust-pipeline meta-checker proofs | `proofs/agda/` |
+| **Zig** | FFI shim between Rust and Chapel | `src/zig_ffi/` |
+| **Chapel** | Optional parallel proof dispatch | Wired via Cargo `chapel` feature |
+| **Guile Scheme** | Guix package definitions (`guix.scm`, `manifests/*.scm`) | `.scm` metadata files are deprecated — see below |
+| **Bash/POSIX Shell** | Build scripts, CI glue | Keep minimal |
+| **ReScript** | UI components (compiled to JS, served via Deno) | `src/rescript/` |
+| **Deno** | Runtime for compiled ReScript UI | Replaces Node/npm/bun |
+| **JavaScript** | Build tooling only (Tailwind config, test harness) | Not for business logic |
+| **OCaml** | AffineScript / Ephapax compiler host (planned) | No files yet — retain pending source-language decision |
+| **Nickel** | Configuration language (planned) | `.k9.ncl` scaffold exists but not yet wired |
 
 ### BANNED - Do Not Use
 
 | Banned | Replacement |
 |--------|-------------|
 | TypeScript | ReScript |
 | Node.js | Deno |
-| npm | Deno |
-| Bun | Deno |
-| pnpm/yarn | Deno |
+| npm / Bun / pnpm / yarn | Deno |
 | Go | Rust |
-| Python | Julia/Rust/ReScript |
-| Java/Kotlin | Rust/Tauri/Dioxus |
-| Swift | Tauri/Dioxus |
-| React Native | Tauri/Dioxus |
-| Flutter/Dart | Tauri/Dioxus |
-
-### Mobile Development
-
-**No exceptions for Kotlin/Swift** - use Rust-first approach:
-
-1. **Tauri 2.0+** - Web UI (ReScript) + Rust backend, MIT/Apache-2.0
-2. **Dioxus** - Pure Rust native UI, MIT/Apache-2.0
-
-Both are FOSS with independent governance (no Big Tech).
+| Python | Julia / Rust |
 
 ### Enforcement Rules
 
 1. **No new TypeScript files** - Convert existing TS to ReScript
 2. **No package.json for runtime deps** - Use deno.json imports
 3. **No node_modules in production** - Deno caches deps automatically
 4. **No Go code** - Use Rust instead
-5. **No Python anywhere** - Use Julia for data/batch, Rust for systems, ReScript for apps
-6. **No Kotlin/Swift for mobile** - Use Tauri 2.0+ or Dioxus
+5. **No Python anywhere** - Use Julia for data/batch, Rust for systems
 
 ### Package Management