docs: update ReScript file count (28→33) and version after TS migration

All human and machine-readable docs now reflect zero TypeScript,
33 ReScript files, and version 2.0.0 across 10 files.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/6a2/STATE.a2ml

@@ -4,8 +4,8 @@
 
 [metadata]
 project = "echidna"
-version = "1.5.0"
-last-updated = "2026-03-23"
+version = "2.0.0"
+last-updated = "2026-03-29"
 status = "active"
 
 [project-context]

.machine_readable/INTENT.contractile

@@ -35,7 +35,7 @@
     "Idris2 ABI with 7 modules and zero believe_me — formal correctness"
     "Zig FFI producing 4 shared libraries — C ABI bridge layer"
     "Julia for ML inference (tactic prediction, premise selection)"
-    "ReScript + Deno for UI (28 files)"
+    "ReScript + Deno for UI (33 files, zero TypeScript)"
   )
 
   ; === Sensitive Areas (if in doubt, ask) ===

0-AI-MANIFEST.a2ml

@@ -47,7 +47,7 @@ container = "container/"
 
 [tech-stack]
 primary = "Rust (48 prover backends, trust pipeline, CLI, REPL, API servers)"
-secondary = "Julia (ML inference, port 8090), ReScript+Deno (UI, 28 files)"
+secondary = "Julia (ML inference, port 8090), ReScript+Deno (UI, 33 files, zero TypeScript)"
 optional = "Chapel (parallel proof dispatch)"
 abi = "Idris2 (7 modules, zero believe_me)"
 ffi = "Zig (4 shared libraries)"

CLAUDE.md

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

Justfile

@@ -298,7 +298,7 @@ tour:
     echo "     ffi/zig/   - Zig FFI bridge (4 shared libraries)"
     echo ""
     echo "5. UI: src/rescript/"
-    echo "   ReScript + Deno frontend (28 files)."
+    echo "   ReScript + Deno frontend (33 files, zero TypeScript)."
     echo ""
     echo "6. BUILD SYSTEM:"
     echo "   Cargo.toml   - Rust workspace"

README.adoc

@@ -135,7 +135,7 @@ The verification pipeline applies the following checks to every proof:
   - GraphQL (async-graphql, port 8081)
   - gRPC (tonic + Protocol Buffers, port 50051)
   - REST (axum + OpenAPI/Swagger, port 8000)
-* *ReScript UI*: 28 compiled components for proof exploration
+* *ReScript UI*: 33 compiled components for proof exploration (zero TypeScript)
 * *REPL*: Interactive proof session via rustyline
 
 == Quick Start
@@ -295,7 +295,7 @@ just mvp        # MVP smoke checks (reports missing provers, non-fatal)
 | Property tests | 21 passing (PropTest)
 | API interfaces | GraphQL, gRPC, REST
 | ML layer | Julia logistic regression
-| UI | ReScript, 28 components
+| UI | ReScript, 33 components
 | CI/CD | 17 workflows
 |===
 

ROADMAP.adoc

@@ -16,7 +16,7 @@ Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 * *FFI bridge*: complete C-compatible API for all 48 provers
 * Julia ML layer with logistic regression tactic prediction
 * Chapel parallel dispatch layer
-* ReScript UI: 28 compiled components
+* ReScript UI: 33 compiled components (zero TypeScript)
 * Training data: 332 proofs, 1,603 tactics
 * License standardised: PMPL-1.0-or-later throughout
 
@@ -39,7 +39,7 @@ Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 * [x] 99 unit tests + 38 integration tests
 * [x] Neural training pipeline
-* [x] ReScript UI functional (28 files, 6 components)
+* [x] ReScript UI functional (33 files, zero TypeScript)
 * [x] RSR/CCCP compliance templates
 
 == v1.4 -- Interfaces and Extended Provers (COMPLETE)

TOPOLOGY.md

@@ -97,7 +97,7 @@ TRUST PIPELINE
 LAYERS & INTERFACES
   Neural Layer (Julia)              ██████████ 100%    Logistic regression stable
   3 API Interfaces                  ██████████ 100%    GraphQL, gRPC, REST active
-  ReScript UI (28 components)       ██████████ 100%    Proof exploration stable
+  ReScript UI (33 components)       ██████████ 100%    Proof exploration stable
 
 FFI / ABI LAYER
   Idris2 ABI (8 modules)           ██████████ 100%    Type-checked, zero believe_me

docs/STATE-VISUALIZER.adoc

@@ -87,7 +87,7 @@ TRUST PIPELINE
 LAYERS & INTERFACES
   Neural Layer (Julia)              ██████████ 100%    Logistic regression stable
   3 API Interfaces                  ██████████ 100%    GraphQL, gRPC, REST active
-  ReScript UI (28 components)       ██████████ 100%    Proof exploration stable
+  ReScript UI (33 components)       ██████████ 100%    Proof exploration stable
   Chapel Parallel Layer             ██████░░░░  60%    PoC validated, not production
 
 ABI / FFI

docs/practice/SOFTWARE-DEVELOPMENT-APPROACH.adoc

@@ -19,7 +19,7 @@ RSR (Rhodium Standard Repository) practices with formal verification emphasis.
 | Parallel | Chapel | HPC distributed proof search
 | ABI | Idris2 | Formal interface definitions with dependent types
 | FFI | Zig | C-compatible bridge layer
-| UI | ReScript | Proof exploration frontend (28 components)
+| UI | ReScript | Proof exploration frontend (33 components)
 | Interfaces | Rust (axum/tonic) | GraphQL (8081), gRPC (50051), REST (8000)
 |===