refactor(rename): VQL → VCL + verisimdb → verisim

Matches the ecosystem-wide rename landed 2026-04-05.

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

Author: hyperpolymath

container/manifest.toml

@@ -9,7 +9,7 @@
 name = "nesy-solver"
 version = "0.1.0"
 revision = 1
-summary = "Live proof playground for neurosymbolic theorem provers — backed by a learning loop across hypatia/echidna/verisimdb"
+summary = "Live proof playground for neurosymbolic theorem provers — backed by a learning loop across hypatia/echidna/verisim"
 description = """
 Nesy Solver — containerised service packaged as a verified
 cerro-torre .ctp bundle with Ed25519 signing and full provenance

docs/PHASE-E.adoc

@@ -7,7 +7,7 @@
 == Overview
 
 nesy-solver is a public proof playground at `nesy-solver.dev` backed by the
-hyperpolymath neurosymbolic learning loop (hypatia + echidna + verisimdb).
+hyperpolymath neurosymbolic learning loop (hypatia + echidna + verisim).
 
 Users submit proof obligations (SMT-LIB, Lean, Coq, Idris2, Agda), the app
 recommends a prover based on live `proof_attempts` strategy data, dispatches