docs(#84): VCL rename stage A — reframe language prose, rename 9 vql-* doc files, add doc-drift gate

Build-safe (docs only). 'VeriSim Query Language' -> 'VeriSim Consonance Language' across all docs (now 0); the 9 renamed spec/grammar files fully VCL-ified. git mv vql-*.adoc/.ebnf -> vcl-*; fixed every link incl. doc-path refs in comments/scripts (formal/VCL.v, src/vql/VQLTypes.res, vql_e2e_test.exs describe-strings, sync-wiki.sh) — NO code symbols renamed. Added tests/doc-consonance-gate.sh + .github/workflows/doc-consonance.yml (fail-closed misnomer guard; SHA-pinned checkout + permissions + timeout).

Deferred to later staged chunks: bare 'VQL' token sweep (CHANGELOG/ANCHOR/grammar history, openapi/seed/playground) and code-symbol renames (vql_*, /api/v1/vql/execute, .vql fixtures) via re-export shims with cargo/mix verification.

https://claude.ai/code/session_01W9Voe3JceP66Bna9FT4jME

Author: claude

.claude/CLAUDE.md

@@ -336,7 +336,7 @@ User prompt → Haiku classifier → Route to:
 See `KNOWN-ISSUES.adoc` at repo root for all honest gaps. All 25 issues resolved.
 
 Resolved in recent sessions:
-- VQL-DT type checker wired end-to-end (Elixir-native + ReScript + Rust ZKP bridge)
+- VCL-DT type checker wired end-to-end (Elixir-native + ReScript + Rust ZKP bridge)
 - 11 proof types: EXISTENCE, INTEGRITY, CONSISTENCY, PROVENANCE, FRESHNESS, ACCESS, CITATION, CUSTOM, ZKP, PROVEN, SANCTIFY
 - Multi-proof parsing: PROOF A(x) AND B(y) splits correctly
 - Modality compatibility validation (INTEGRITY needs semantic, PROVENANCE needs provenance, etc.)

.github/workflows/doc-consonance.yml

@@ -0,0 +1,19 @@
+# SPDX-License-Identifier: MPL-2.0
+name: Doc Consonance Gate
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+
+permissions:
+  contents: read
+
+jobs:
+  doc-consonance:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
+      - name: Doc-consonance gate (no query-language misnomer in docs)
+        run: bash tests/doc-consonance-gate.sh

.machine_readable/6a2/NEUROSYM.a2ml

@@ -19,7 +19,7 @@
          (("formal/VCL.v"            . "N2 normalize_idempotent + V2 vql_preservation"))
          (("formal/WAL.v"            . "C7 wal_replay_idempotent on observable state")))
        (idris2-bridge
-         ((path . "VQL-DT type checker via Elixir-native + ReScript + Rust ZKP bridge")
+         ((path . "VCL-DT type checker via Elixir-native + ReScript + Rust ZKP bridge")
           (proof-types . ("EXISTENCE" "INTEGRITY" "CONSISTENCY" "PROVENANCE" "FRESHNESS"
                            "ACCESS" "CITATION" "CUSTOM" "ZKP" "PROVEN" "SANCTIFY"))))))
 

.machine_readable/anchors/ANCHOR.a2ml

@@ -42,7 +42,7 @@ semantic-authority:
   owns:
     - "Octad entity model and cross-modal consistency semantics"
     - "Drift-detection thresholds and self-normalisation behaviour"
-    - "VQL (VeriSim Query Language) syntax, type system, and proof obligations"
+    - "VQL (VeriSim Consonance Language) syntax, type system, and proof obligations"
     - "Contractile invariant definitions (.machine_readable/contractiles/)"
   authoritative-files:
     formal-proofs: "formal/ (Coq: Drift.v, Normalizer.v, Provenance.v, Transaction.v, WAL.v, Planner.v, VCL.v)"

.machine_readable/bot_directives/cross-thread-quarantine.a2ml

@@ -13,7 +13,7 @@ bot = "cross-thread-quarantine"
 scope = "inbound artifacts from sibling agent threads: CLAUDE.md edits, migration directives, ADRs, roadmap items, plans, comparative-corpus columns"
 rule = "QUARANTINE every inbound cross-thread artifact as proposed-unverified until checked against this repo's own spec."
 
-verify-against = ["README.adoc", "EXPLAINME.adoc", "docs/VQL-SPEC.adoc"]
+verify-against = ["README.adoc", "EXPLAINME.adoc", "docs/VCL-SPEC.adoc"]
 provenance-tags = ["user-directed", "derived", "proposed-unverified"]
 
 must = [
@@ -28,4 +28,4 @@ deny = [
   "Write source-of-truth docs from an unverified cross-thread model, or present invented architecture as decided.",
 ]
 
-notes = "Doc-drift gate (a CI grep banning 'query language'/'queryable store'/CRUD framing in VCL-subject docs) is the FINISH LINE of the consonance reframing — add it once ANCHOR, the spec/grammar, VQL-SPEC.adoc and ADRs are reworded, else it red-CIs on legacy residue."
+notes = "Doc-drift gate (a CI grep banning 'query language'/'queryable store'/CRUD framing in VCL-subject docs) is the FINISH LINE of the consonance reframing — add it once ANCHOR, the spec/grammar, VCL-SPEC.adoc and ADRs are reworded, else it red-CIs on legacy residue."

.machine_readable/contractiles/must/Mustfile.a2ml

@@ -77,7 +77,7 @@ These are hard requirements: CI and pre-commit hooks fail if any check fails.
 - run: test -f .editorconfig
 - severity: warning
 
-## VQL (VeriSim Query Language)
+## VQL (VeriSim Consonance Language)
 
 ### vql-rescript-parser
 - description: ReScript VQL parser source must exist
@@ -89,7 +89,7 @@ These are hard requirements: CI and pre-commit hooks fail if any check fails.
 - run: test -f elixir-orchestration/lib/verisim/query/vql_bridge.ex
 - severity: high
 
-### vql-examples-present
+### vcl-examples-present
 - description: At least one .vql example/fixture must exist
 - run: test -n "$(find . -name '*.vql' -not -path '*/.git/*' 2>/dev/null)"
 - severity: warning

.verisimdb/octads/commit-0ca572654610.json

@@ -14,7 +14,7 @@
     }
   },
   "graph": {
-    "relationships": [{"predicate":"modifies","target":"file:docs/vql-grammar.ebnf"}]
+    "relationships": [{"predicate":"modifies","target":"file:docs/vcl-grammar.ebnf"}]
   },
   "vector": {
     "embedding": [-1.000000,0.898437,0.078125,-0.656250,0.742187,-0.562500,0.210937,0.320312,-0.031250,0.429687,-0.757812,0.234375,-0.375000,-0.859375,-0.757812,-0.281250,-0.421875,-0.031250,0.179687,-0.640625,-0.101562,-0.054687,0.289062,-0.992187,-0.031250,0.125000,-0.742187,0.328125,-0.093750,0.539062,0.375000,0.187500,-1.000000,0.898437,0.078125,-0.656250,0.742187,-0.562500,0.210937,0.320312,-0.031250,0.429687,-0.757812,0.234375,-0.375000,-0.859375,-0.757812,-0.281250,-0.421875,-0.031250,0.179687,-0.640625,-0.101562,-0.054687,0.289062,-0.992187,-0.031250,0.125000,-0.742187,0.328125,-0.093750,0.539062,0.375000,0.187500],

.verisimdb/octads/commit-3da4daef75f9.json

@@ -14,7 +14,7 @@
     }
   },
   "graph": {
-    "relationships": [{"predicate":"modifies","target":"file:docs/vql-grammar.ebnf"}]
+    "relationships": [{"predicate":"modifies","target":"file:docs/vcl-grammar.ebnf"}]
   },
   "vector": {
     "embedding": [-0.242187,-0.656250,-0.242187,0.976562,-0.578125,0.734375,0.843750,-0.843750,-0.281250,-0.234375,-0.718750,0.757812,-0.242187,0.828125,0.500000,-0.882812,-0.070312,0.078125,-0.726562,-0.187500,-0.304687,-0.515625,-0.820312,-0.132812,-0.101562,0.367187,0.703125,0.484375,0.914062,0.789062,-0.718750,-0.953125,-0.242187,-0.656250,-0.242187,0.976562,-0.578125,0.734375,0.843750,-0.843750,-0.281250,-0.234375,-0.718750,0.757812,-0.242187,0.828125,0.500000,-0.882812,-0.070312,0.078125,-0.726562,-0.187500,-0.304687,-0.515625,-0.820312,-0.132812,-0.101562,0.367187,0.703125,0.484375,0.914062,0.789062,-0.718750,-0.953125],

.verisimdb/octads/commit-529b85ff223e.json

@@ -14,7 +14,7 @@
     }
   },
   "graph": {
-    "relationships": [{"predicate":"modifies","target":"file:.claude/CLAUDE.md"},{"predicate":"modifies","target":"file:.machine_readable/STATE.scm"},{"predicate":"modifies","target":"file:KNOWN-ISSUES.adoc"},{"predicate":"modifies","target":"file:debugger/Cargo.toml"},{"predicate":"modifies","target":"file:docs/federation-readiness.adoc"},{"predicate":"modifies","target":"file:docs/vql-vs-sql.adoc"},{"predicate":"modifies","target":"file:docs/vql-vs-vql-dt.adoc"}]
+    "relationships": [{"predicate":"modifies","target":"file:.claude/CLAUDE.md"},{"predicate":"modifies","target":"file:.machine_readable/STATE.scm"},{"predicate":"modifies","target":"file:KNOWN-ISSUES.adoc"},{"predicate":"modifies","target":"file:debugger/Cargo.toml"},{"predicate":"modifies","target":"file:docs/federation-readiness.adoc"},{"predicate":"modifies","target":"file:docs/vcl-vs-sql.adoc"},{"predicate":"modifies","target":"file:docs/vcl-vs-vcl-dt.adoc"}]
   },
   "vector": {
     "embedding": [-0.710937,0.031250,-0.835937,-0.117187,0.476562,-0.562500,0.054687,0.851562,-0.835937,-0.539062,0.781250,0.304687,-0.250000,-0.898437,0.468750,0.562500,-0.398437,-0.664062,0.343750,-0.593750,-0.132812,-0.078125,0,-0.718750,0.867187,-0.390625,-0.773437,0.531250,0.804687,-1.000000,-0.507812,-0.171875,-0.710937,0.031250,-0.835937,-0.117187,0.476562,-0.562500,0.054687,0.851562,-0.835937,-0.539062,0.781250,0.304687,-0.250000,-0.898437,0.468750,0.562500,-0.398437,-0.664062,0.343750,-0.593750,-0.132812,-0.078125,0,-0.718750,0.867187,-0.390625,-0.773437,0.531250,0.804687,-1.000000,-0.507812,-0.171875],

.verisimdb/octads/commit-74f45a7491e2.json

@@ -14,7 +14,7 @@
     }
   },
   "graph": {
-    "relationships": [{"predicate":"modifies","target":"file:docs/vql-grammar.ebnf"}]
+    "relationships": [{"predicate":"modifies","target":"file:docs/vcl-grammar.ebnf"}]
   },
   "vector": {
     "embedding": [0.437500,-0.914062,-0.062500,-0.132812,-0.312500,0.921875,-0.476562,-0.335937,-0.054687,0.171875,-0.273437,0.882812,-0.648437,-0.406250,0.390625,-0.046875,0.085937,0.593750,-0.914062,0.906250,-0.578125,-0.437500,-0.312500,-0.437500,0.664062,0.539062,0.671875,-0.085937,0.960937,0.992187,-0.375000,0.359375,0.437500,-0.914062,-0.062500,-0.132812,-0.312500,0.921875,-0.476562,-0.335937,-0.054687,0.171875,-0.273437,0.882812,-0.648437,-0.406250,0.390625,-0.046875,0.085937,0.593750,-0.914062,0.906250,-0.578125,-0.437500,-0.312500,-0.437500,0.664062,0.539062,0.671875,-0.085937,0.960937,0.992187,-0.375000,0.359375],