Skip to content

Commit 43feed3

Browse files
claudehyperpolymath
authored andcommitted
refactor(rescript): VCL rename stage B (3/5) — parser, playground, ReScript SDK
Renames the deprecated "VQL" misnomer to "VCL" (VeriSim Consonance Language) across all three independent ReScript projects, completing the bucket skipped by stage 2/5. ReScript source: - src/vql/ -> src/vcl/, VQL*.res -> VCL*.res (parser, type checker, bidir, subtyping, proof obligations, circuits, explain) — module renames carried through all intra-project references - playground/: VqlKeywords.res -> VclKeywords.res, /vql/execute -> /vcl/execute, "VQL Playground" -> "VCL Playground" (configs + public assets) - connectors/clients/rescript/: VeriSimVql.res -> VeriSimVcl.res, /api/v1/vql/{execute,explain} -> /vcl/{execute,explain}, vqlResult -> vclResult, VqlParseError/VqlExecutionError -> Vcl*; acronym gloss corrected from "Query Language" to "Consonance Language" per CLAUDE.md Functional couplings updated so nothing breaks on rebuild/CI: - vql-bridge/vql_parser_port.js: compiled-module imports retargeted to src/vcl/VCL*.res.mjs (filename kept so the Elixir spawn path stays valid) - .hypatia-ignore: renamed .res whitelist paths - .github/CODEOWNERS: /src/vql/ -> /src/vcl/ - contractiles Must/Dust: dir assertions retargeted to src/vcl Verification: no ReScript toolchain in this environment or CI, so validated statically — zero residual "vql" (any case) in the three projects + bridge + fixed configs, symmetric token diff, and no dangling old module references. Deferred (other stages): Elixir VCLBridge/VCLExecutor + benches + vql-bridge dir rename (4/5); docs, machine-readable specs, provenance octads, *.vql examples (5/5). Note: ffi/zig still calls the rust core's old /vql/execute and .clusterfuzzlite names fuzz_vql_parser — pre-existing leftovers from the 1/5 endpoint rename, tracked separately. https://claude.ai/code/session_01W9Voe3JceP66Bna9FT4jME
1 parent c36f39b commit 43feed3

35 files changed

Lines changed: 317 additions & 317 deletions

.github/CODEOWNERS

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,6 @@
55
* @hyperpolymath
66
/rust-core/ @hyperpolymath
77
/elixir-orchestration/ @hyperpolymath
8-
/src/vql/ @hyperpolymath
8+
/src/vcl/ @hyperpolymath
99
/container/ @hyperpolymath
1010
/.github/ @hyperpolymath

.hypatia-ignore

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@
22
#
33
# ReScript (.res) files are permitted in this repository per CLAUDE.md
44
# language policy. ReScript powers:
5-
# - src/vql/ — VQL parser, type checker, circuits, subtyping
5+
# - src/vcl/ — VCL parser, type checker, circuits, subtyping
66
# - src/registry/ — federation registry (Kraft consensus, metadata log)
77
# - src/abi/ — Idris2/ReScript ABI bridge
8-
# - playground/ — VQL Playground web UI
8+
# - playground/ — VCL Playground web UI
99
# - connectors/clients/rescript/ — ReScript client SDK
1010
#
1111
# Each file is whitelisted by absolute repo path.
@@ -18,7 +18,7 @@ cicd_rules/banned_language_file:connectors/clients/rescript/src/VeriSimHexad.res
1818
cicd_rules/banned_language_file:connectors/clients/rescript/src/VeriSimProvenance.res
1919
cicd_rules/banned_language_file:connectors/clients/rescript/src/VeriSimSearch.res
2020
cicd_rules/banned_language_file:connectors/clients/rescript/src/VeriSimTypes.res
21-
cicd_rules/banned_language_file:connectors/clients/rescript/src/VeriSimVql.res
21+
cicd_rules/banned_language_file:connectors/clients/rescript/src/VeriSimVcl.res
2222
cicd_rules/banned_language_file:debugger/examples/SafeDOMExample.res
2323
cicd_rules/banned_language_file:examples/SafeDOMExample.res
2424
cicd_rules/banned_language_file:playground/src/ApiClient.res
@@ -28,22 +28,22 @@ cicd_rules/banned_language_file:playground/src/Examples.res
2828
cicd_rules/banned_language_file:playground/src/Formatter.res
2929
cicd_rules/banned_language_file:playground/src/Highlighter.res
3030
cicd_rules/banned_language_file:playground/src/Linter.res
31-
cicd_rules/banned_language_file:playground/src/VqlKeywords.res
31+
cicd_rules/banned_language_file:playground/src/VclKeywords.res
3232
cicd_rules/banned_language_file:src/registry/KRaftCluster.res
3333
cicd_rules/banned_language_file:src/registry/KRaftSerializer.res
3434
cicd_rules/banned_language_file:src/registry/MetadataLog.res
3535
cicd_rules/banned_language_file:src/registry/Registry.res
36-
cicd_rules/banned_language_file:src/vql/VQLBidir.res
37-
cicd_rules/banned_language_file:src/vql/VQLCircuit.res
38-
cicd_rules/banned_language_file:src/vql/VQLContext.res
39-
cicd_rules/banned_language_file:src/vql/VQLError.res
40-
cicd_rules/banned_language_file:src/vql/VQLExplain.res
41-
cicd_rules/banned_language_file:src/vql/VQLParser.res
42-
cicd_rules/banned_language_file:src/vql/VQLParser_test.res
43-
cicd_rules/banned_language_file:src/vql/VQLProofObligation.res
44-
cicd_rules/banned_language_file:src/vql/VQLSubtyping.res
45-
cicd_rules/banned_language_file:src/vql/VQLTypeChecker.res
46-
cicd_rules/banned_language_file:src/vql/VQLTypes.res
36+
cicd_rules/banned_language_file:src/vcl/VCLBidir.res
37+
cicd_rules/banned_language_file:src/vcl/VCLCircuit.res
38+
cicd_rules/banned_language_file:src/vcl/VCLContext.res
39+
cicd_rules/banned_language_file:src/vcl/VCLError.res
40+
cicd_rules/banned_language_file:src/vcl/VCLExplain.res
41+
cicd_rules/banned_language_file:src/vcl/VCLParser.res
42+
cicd_rules/banned_language_file:src/vcl/VCLParser_test.res
43+
cicd_rules/banned_language_file:src/vcl/VCLProofObligation.res
44+
cicd_rules/banned_language_file:src/vcl/VCLSubtyping.res
45+
cicd_rules/banned_language_file:src/vcl/VCLTypeChecker.res
46+
cicd_rules/banned_language_file:src/vcl/VCLTypes.res
4747

4848
# verisimdb-registry uses ReScript v11; rescript.json is its build config.
4949
cicd_rules/banned_config_file:rescript.json

.machine_readable/contractiles/dust/Dustfile.a2ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,7 @@ nothing is deleted without --apply and per-item approval. Audit trail preserved.
6060

6161
### no-tracked-rescript-mjs
6262
- description: No compiled ReScript .res.mjs output tracked in git
63-
- target: src/vql
63+
- target: src/vcl
6464
- reason: Compiled output regenerated from .res sources
6565
- probe: test -z "$(git ls-files '*.res.mjs' 2>/dev/null)"
6666
- status: declared

.machine_readable/contractiles/must/Mustfile.a2ml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99

1010
@abstract:
1111
Physical-state invariants for VeriSimDB — the cross-modal (octad) entity
12-
consistency engine. Rust core + Elixir/OTP orchestration + ReScript VQL.
12+
consistency engine. Rust core + Elixir/OTP orchestration + ReScript VCL.
1313
These are hard requirements: CI and pre-commit hooks fail if any check fails.
1414
@end
1515

@@ -77,11 +77,11 @@ These are hard requirements: CI and pre-commit hooks fail if any check fails.
7777
- run: test -f .editorconfig
7878
- severity: warning
7979

80-
## VQL (VeriSim Consonance Language)
80+
## VCL (VeriSim Consonance Language)
8181

82-
### vql-rescript-parser
83-
- description: ReScript VQL parser source must exist
84-
- run: test -d src/vql
82+
### vcl-rescript-parser
83+
- description: ReScript VCL parser source must exist
84+
- run: test -d src/vcl
8585
- severity: critical
8686

8787
### vql-elixir-bridge

connectors/clients/rescript/src/VeriSimError.res

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -31,8 +31,8 @@ type t =
3131
| ModalityUnavailable(string)
3232
| DriftComputationError(string)
3333
| ProvenanceInvalid(string)
34-
| VqlParseError(string)
35-
| VqlExecutionError(string)
34+
| VclParseError(string)
35+
| VclExecutionError(string)
3636
| FederationError(string)
3737
// --- Client-side errors ---
3838
| ConnectionError(string)
@@ -60,8 +60,8 @@ let message = (err: t): string => {
6060
| ModalityUnavailable(msg) => `Modality unavailable: ${msg}`
6161
| DriftComputationError(msg) => `Drift computation error: ${msg}`
6262
| ProvenanceInvalid(msg) => `Provenance invalid: ${msg}`
63-
| VqlParseError(msg) => `VQL parse error: ${msg}`
64-
| VqlExecutionError(msg) => `VQL execution error: ${msg}`
63+
| VclParseError(msg) => `VCL parse error: ${msg}`
64+
| VclExecutionError(msg) => `VCL execution error: ${msg}`
6565
| FederationError(msg) => `Federation error: ${msg}`
6666
| ConnectionError(msg) => `Connection error: ${msg}`
6767
| TimeoutError(msg) => `Timeout error: ${msg}`
@@ -119,8 +119,8 @@ let isRetryable = (err: t): bool => {
119119
| ModalityUnavailable(_) => false
120120
| DriftComputationError(_) => false
121121
| ProvenanceInvalid(_) => false
122-
| VqlParseError(_) => false
123-
| VqlExecutionError(_) => false
122+
| VclParseError(_) => false
123+
| VclExecutionError(_) => false
124124
| FederationError(_) => false
125125
| SerializationError(_) => false
126126
| UnknownError(_) => false

connectors/clients/rescript/src/VeriSimFederation.res

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@ let listPeers = async (
6767
}
6868
}
6969

70-
/** Execute a VQL query across one or more federation peers.
70+
/** Execute a VCL query across one or more federation peers.
7171
*
7272
* If peerIds is empty, the query is broadcast to all active peers.
7373
*

connectors/clients/rescript/src/VeriSimTypes.res

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -274,19 +274,19 @@ type searchResult = {
274274
}
275275

276276
// --------------------------------------------------------------------------
277-
// VQL types
277+
// VCL types
278278
// --------------------------------------------------------------------------
279279

280-
/** Result of a VQL query execution. */
281-
type vqlResult = {
280+
/** Result of a VCL query execution. */
281+
type vclResult = {
282282
columns: array<string>,
283283
rows: array<array<string>>,
284284
count: int,
285285
elapsedMs: float,
286286
}
287287

288-
/** Query execution plan explanation for a VQL statement. */
289-
type vqlExplanation = {
288+
/** Query execution plan explanation for a VCL statement. */
289+
type vclExplanation = {
290290
query: string,
291291
plan: string,
292292
cost: float,
@@ -311,7 +311,7 @@ type federationPeer = {
311311
type peerQueryResult = {
312312
peerId: string,
313313
peerName: string,
314-
result: vqlResult,
314+
result: vclResult,
315315
elapsedMs: float,
316316
error: option<string>,
317317
}
Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,68 +1,68 @@
11
// SPDX-License-Identifier: MPL-2.0
22
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
33
//
4-
// VeriSimDB ReScript Client — VQL (VeriSimDB Query Language) operations.
4+
// VeriSimDB ReScript Client — VCL (VeriSim Consonance Language) operations.
55
//
6-
// VQL is VeriSimDB's native query language for multi-modal queries that span
6+
// VCL is VeriSimDB's native consonance language for multi-modal queries that span
77
// graph traversals, vector similarity, spatial filters, and temporal constraints
88
// in a single statement. This module provides execution and explain functions.
99

10-
/** VQL request payload for executing or explaining a query. */
11-
type vqlRequest = {
10+
/** VCL request payload for executing or explaining a query. */
11+
type vclRequest = {
1212
query: string,
1313
params: Dict.t<string>,
1414
}
1515

16-
/** Execute a VQL query and return the result set.
16+
/** Execute a VCL query and return the result set.
1717
*
1818
* @param client The authenticated client.
19-
* @param query The VQL query string.
19+
* @param query The VCL query string.
2020
* @param params Optional named parameters for parameterised queries.
2121
* @returns The query result with columns, rows, and timing, or an error.
2222
*/
2323
let execute = async (
2424
client: VeriSimClient.t,
2525
query: string,
2626
~params: Dict.t<string>=Dict.make(),
27-
): result<VeriSimTypes.vqlResult, VeriSimError.t> => {
27+
): result<VeriSimTypes.vclResult, VeriSimError.t> => {
2828
try {
29-
let req: vqlRequest = {query, params}
29+
let req: vclRequest = {query, params}
3030
let body = req->Obj.magic->JSON.stringify->JSON.parseExn
31-
let resp = await VeriSimClient.doPost(client, "/api/v1/vql/execute", body)
31+
let resp = await VeriSimClient.doPost(client, "/api/v1/vcl/execute", body)
3232
if resp.ok {
3333
let json = await VeriSimClient.jsonBody(resp)
3434
Ok(json->Obj.magic)
3535
} else {
3636
Error(VeriSimError.fromStatus(resp.status))
3737
}
3838
} catch {
39-
| _ => Error(VeriSimError.ConnectionError("VQL execution failed"))
39+
| _ => Error(VeriSimError.ConnectionError("VCL execution failed"))
4040
}
4141
}
4242

43-
/** Explain a VQL query's execution plan without running it.
43+
/** Explain a VCL query's execution plan without running it.
4444
*
4545
* @param client The authenticated client.
46-
* @param query The VQL query string.
46+
* @param query The VCL query string.
4747
* @param params Optional named parameters.
4848
* @returns The query plan, estimated cost, and any warnings, or an error.
4949
*/
5050
let explain = async (
5151
client: VeriSimClient.t,
5252
query: string,
5353
~params: Dict.t<string>=Dict.make(),
54-
): result<VeriSimTypes.vqlExplanation, VeriSimError.t> => {
54+
): result<VeriSimTypes.vclExplanation, VeriSimError.t> => {
5555
try {
56-
let req: vqlRequest = {query, params}
56+
let req: vclRequest = {query, params}
5757
let body = req->Obj.magic->JSON.stringify->JSON.parseExn
58-
let resp = await VeriSimClient.doPost(client, "/api/v1/vql/explain", body)
58+
let resp = await VeriSimClient.doPost(client, "/api/v1/vcl/explain", body)
5959
if resp.ok {
6060
let json = await VeriSimClient.jsonBody(resp)
6161
Ok(json->Obj.magic)
6262
} else {
6363
Error(VeriSimError.fromStatus(resp.status))
6464
}
6565
} catch {
66-
| _ => Error(VeriSimError.ConnectionError("VQL explain failed"))
66+
| _ => Error(VeriSimError.ConnectionError("VCL explain failed"))
6767
}
6868
}

playground/deno.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
{
2-
"name": "vql-playground",
2+
"name": "vcl-playground",
33
"version": "0.1.0",
44
"tasks": {
55
"res:build": "rescript",

playground/package.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{
2-
"name": "vql-playground",
2+
"name": "vcl-playground",
33
"version": "0.1.0",
4-
"description": "VQL Playground — Interactive query editor for VeriSimDB",
4+
"description": "VCL Playground — Interactive query editor for VeriSimDB",
55
"type": "module",
66
"license": "MPL-2.0",
77
"author": "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>",

0 commit comments

Comments
 (0)