refactor(prose): VCL Step 3 phase 1 — unambiguous query phrase replacements

Applies the 1:1 mappings from the migration instructions' Step 3 table
that do not require per-occurrence judgment:

  query result(s)     → inspection result(s)
  query builder       → statement builder
  run a query         → perform an inspection
  execute a query     → perform an inspection
  query execution     → inspection execution
  query parser        → statement parser

Each of these has a single correct target in the table — no context
disambiguation needed.

Remaining Step 3 work (per-occurrence judgment still required):
  * standalone 'query'/'queries' where intent is read-only  → 'inspection'
  * standalone 'query'/'queries' where intent is write      → 'proposition' / 'statement'
  * standalone 'query'/'queries' for general interaction    → 'consonance statement'
  * 'SQL queries' in comparison prose                       → leave unchanged
  * 'query language' as English genre term                  → leave unchanged

~2800 occurrences remain for phase 2 (code) and phase 3 (docs).

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

Author: hyperpolymath

.verisimdb/config.toml

@@ -1,20 +1,20 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
 # VeriSimDB Self-Hosted Instance Configuration
 #
-# This instance stores metadata ABOUT the verisimdb repository itself.
+# This instance stores metadata ABOUT the verisim repository itself.
 # Dogfooding: the database describes its own development history.
 
 [instance]
-name = "verisimdb-self"
+name = "verisim-self"
 description = "Self-hosted VeriSimDB instance for repository metadata"
 version = "0.1.0-alpha"
 base_iri = "https://verisim.db/self"
 
 [storage]
 # Flat-file JSON storage (committed to git)
 backend = "flat-json"
-octad_dir = ".verisimdb/octads"
-index_file = ".verisimdb/index.json"
+octad_dir = ".verisim/octads"
+index_file = ".verisim/index.json"
 
 [ingest]
 # Sources to ingest automatically

.verisimdb/index.json

@@ -1,5 +1,5 @@
 {
-  "instance": "verisimdb-self",
+  "instance": "verisim-self",
   "version": "0.1.0-alpha",
   "base_iri": "https://verisim.db/self",
   "generated_at": "2026-02-13T16:20:02Z",

.verisimdb/octads/commit-0ca572654610.json

@@ -3,8 +3,8 @@
   "source": "git-log",
   "created_at": "2026-01-22T11:10:09Z",
   "document": {
-    "title": "Fix VQL grammar: use single quotes per ISO EBNF standard",
-    "body": "Commit 0ca57265 by Your Name: Fix VQL grammar: use single quotes per ISO EBNF standard",
+    "title": "Fix VCL grammar: use single quotes per ISO EBNF standard",
+    "body": "Commit 0ca57265 by Your Name: Fix VCL grammar: use single quotes per ISO EBNF standard",
     "fields": {
       "type": "commit",
       "hash": "0ca572654610b0420c50f4963701c3dca79d7e28",
@@ -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-242713b9c58c.json

@@ -3,8 +3,8 @@
   "source": "git-log",
   "created_at": "2026-02-08T07:52:40Z",
   "document": {
-    "title": "feat: absorb debugger and practice-mirror into verisimdb monorepo",
-    "body": "Commit 242713b9 by Jonathan D.A. Jewell: feat: absorb debugger and practice-mirror into verisimdb monorepo",
+    "title": "feat: absorb debugger and practice-mirror into verisim monorepo",
+    "body": "Commit 242713b9 by Jonathan D.A. Jewell: feat: absorb debugger and practice-mirror into verisim monorepo",
     "fields": {
       "type": "commit",
       "hash": "242713b9c58cc980aa53f003b66a5eb9035dccdc",

.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-3dfad170ecfb.json

@@ -14,7 +14,7 @@
     }
   },
   "graph": {
-    "relationships": [{"predicate":"modifies","target":"file:KNOWN-ISSUES.adoc"},{"predicate":"modifies","target":"file:debugger/src/abi/Foreign.idr"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/query/vql_bridge.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/query/vql_executor.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/rust_client.ex"},{"predicate":"modifies","target":"file:practice-mirror/src/abi/Foreign.idr"},{"predicate":"modifies","target":"file:src/abi/Foreign.idr"}]
+    "relationships": [{"predicate":"modifies","target":"file:KNOWN-ISSUES.adoc"},{"predicate":"modifies","target":"file:debugger/src/abi/Foreign.idr"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/query/vcl_bridge.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/query/vcl_executor.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/rust_client.ex"},{"predicate":"modifies","target":"file:practice-mirror/src/abi/Foreign.idr"},{"predicate":"modifies","target":"file:src/abi/Foreign.idr"}]
   },
   "vector": {
     "embedding": [0.460937,-0.226562,-0.101562,0.375000,0.664062,0.335937,-0.359375,0.796875,0.304687,0,-0.054687,-0.929687,-0.742187,-0.148437,-0.187500,0.375000,0.140625,-0.500000,-0.898437,0.859375,0.390625,-1.000000,0.375000,-0.757812,0.710937,-0.953125,0.875000,-0.492187,-0.250000,0.257812,-0.023437,-0.328125,0.460937,-0.226562,-0.101562,0.375000,0.664062,0.335937,-0.359375,0.796875,0.304687,0,-0.054687,-0.929687,-0.742187,-0.148437,-0.187500,0.375000,0.140625,-0.500000,-0.898437,0.859375,0.390625,-1.000000,0.375000,-0.757812,0.710937,-0.953125,0.875000,-0.492187,-0.250000,0.257812,-0.023437,-0.328125],

.verisimdb/octads/commit-4a0cbb016b03.json

@@ -14,7 +14,7 @@
     }
   },
   "graph": {
-    "relationships": [{"predicate":"modifies","target":"file:README.adoc"},{"predicate":"modifies","target":"file:docs/error-handling-strategy.adoc"},{"predicate":"modifies","target":"file:docs/safety-and-fault-tolerance.adoc"},{"predicate":"modifies","target":"file:lib/verisim/circuit_breaker.ex"},{"predicate":"modifies","target":"file:lib/verisim/error_recovery.ex"},{"predicate":"modifies","target":"file:src/vql/VQLError.res"}]
+    "relationships": [{"predicate":"modifies","target":"file:README.adoc"},{"predicate":"modifies","target":"file:docs/error-handling-strategy.adoc"},{"predicate":"modifies","target":"file:docs/safety-and-fault-tolerance.adoc"},{"predicate":"modifies","target":"file:lib/verisim/circuit_breaker.ex"},{"predicate":"modifies","target":"file:lib/verisim/error_recovery.ex"},{"predicate":"modifies","target":"file:src/vcl/VQLError.res"}]
   },
   "vector": {
     "embedding": [-0.078125,-0.617187,-0.625000,-0.687500,0.460937,-0.382812,-0.585937,-0.437500,0.828125,0.414062,0.078125,-0.257812,0.500000,0.906250,0.726562,-0.960937,-0.078125,-0.312500,0.343750,0.828125,0.210937,-0.531250,-0.757812,0.453125,-0.523437,0.328125,-0.320312,-0.414062,0.781250,0.960937,-0.757812,-0.367187,-0.078125,-0.617187,-0.625000,-0.687500,0.460937,-0.382812,-0.585937,-0.437500,0.828125,0.414062,0.078125,-0.257812,0.500000,0.906250,0.726562,-0.960937,-0.078125,-0.312500,0.343750,0.828125,0.210937,-0.531250,-0.757812,0.453125,-0.523437,0.328125,-0.320312,-0.414062,0.781250,0.960937,-0.757812,-0.367187],

.verisimdb/octads/commit-529b85ff223e.json

@@ -3,8 +3,8 @@
   "source": "git-log",
   "created_at": "2026-02-13T14:13:46Z",
   "document": {
-    "title": "docs: add VQL comparison docs, federation readiness, and known issues",
-    "body": "Commit 529b85ff by Jonathan D.A. Jewell: docs: add VQL comparison docs, federation readiness, and known issues",
+    "title": "docs: add VCL comparison docs, federation readiness, and known issues",
+    "body": "Commit 529b85ff by Jonathan D.A. Jewell: docs: add VCL comparison docs, federation readiness, and known issues",
     "fields": {
       "type": "commit",
       "hash": "529b85ff223e00dd18e026ca896b689d431a07ee",
@@ -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-6d29ea7de601.json

@@ -3,8 +3,8 @@
   "source": "git-log",
   "created_at": "2026-02-12T17:07:56Z",
   "document": {
-    "title": "feat: implement 5 Opus architectural tasks — HNSW, VQL bridge, federation, ZKP, KRaft",
-    "body": "Commit 6d29ea7d by Jonathan D.A. Jewell: feat: implement 5 Opus architectural tasks — HNSW, VQL bridge, federation, ZKP, KRaft",
+    "title": "feat: implement 5 Opus architectural tasks — HNSW, VCL bridge, federation, ZKP, KRaft",
+    "body": "Commit 6d29ea7d by Jonathan D.A. Jewell: feat: implement 5 Opus architectural tasks — HNSW, VCL bridge, federation, ZKP, KRaft",
     "fields": {
       "type": "commit",
       "hash": "6d29ea7de60190e32232bfa5f82ebe6822c2ddf6",
@@ -14,7 +14,7 @@
     }
   },
   "graph": {
-    "relationships": [{"predicate":"modifies","target":"file:Cargo.lock"},{"predicate":"modifies","target":"file:Cargo.toml"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/consensus/kraft_node.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/consensus/kraft_supervisor.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/federation/resolver.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/query/vql_bridge.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/query/vql_executor.ex"},{"predicate":"modifies","target":"file:rust-core/verisim-api/src/federation.rs"},{"predicate":"modifies","target":"file:rust-core/verisim-api/src/lib.rs"},{"predicate":"modifies","target":"file:rust-core/verisim-semantic/Cargo.toml"},{"predicate":"modifies","target":"file:rust-core/verisim-semantic/src/lib.rs"},{"predicate":"modifies","target":"file:rust-core/verisim-semantic/src/zkp.rs"},{"predicate":"modifies","target":"file:rust-core/verisim-vector/Cargo.toml"},{"predicate":"modifies","target":"file:rust-core/verisim-vector/src/hnsw.rs"},{"predicate":"modifies","target":"file:rust-core/verisim-vector/src/lib.rs"},{"predicate":"modifies","target":"file:src/registry/KRaftCluster.res"},{"predicate":"modifies","target":"file:src/registry/KRaftSerializer.res"},{"predicate":"modifies","target":"file:vql-bridge/vql_parser_port.js"}]
+    "relationships": [{"predicate":"modifies","target":"file:Cargo.lock"},{"predicate":"modifies","target":"file:Cargo.toml"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/consensus/kraft_node.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/consensus/kraft_supervisor.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/federation/resolver.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/query/vcl_bridge.ex"},{"predicate":"modifies","target":"file:elixir-orchestration/lib/verisim/query/vcl_executor.ex"},{"predicate":"modifies","target":"file:rust-core/verisim-api/src/federation.rs"},{"predicate":"modifies","target":"file:rust-core/verisim-api/src/lib.rs"},{"predicate":"modifies","target":"file:rust-core/verisim-semantic/Cargo.toml"},{"predicate":"modifies","target":"file:rust-core/verisim-semantic/src/lib.rs"},{"predicate":"modifies","target":"file:rust-core/verisim-semantic/src/zkp.rs"},{"predicate":"modifies","target":"file:rust-core/verisim-vector/Cargo.toml"},{"predicate":"modifies","target":"file:rust-core/verisim-vector/src/hnsw.rs"},{"predicate":"modifies","target":"file:rust-core/verisim-vector/src/lib.rs"},{"predicate":"modifies","target":"file:src/registry/KRaftCluster.res"},{"predicate":"modifies","target":"file:src/registry/KRaftSerializer.res"},{"predicate":"modifies","target":"file:vcl-bridge/vcl_parser_port.js"}]
   },
   "vector": {
     "embedding": [0.593750,0.109375,0.421875,0.226562,0.382812,0.875000,0.773437,-0.492187,0.265625,-0.007812,-0.648437,0.859375,0.109375,-0.796875,-0.671875,0.093750,-0.929687,0.039062,0.148437,0.921875,-0.382812,-0.070312,-0.742187,-0.398437,0.031250,-0.929687,0.562500,0.492187,0.132812,0.531250,0.617187,-0.312500,0.593750,0.109375,0.421875,0.226562,0.382812,0.875000,0.773437,-0.492187,0.265625,-0.007812,-0.648437,0.859375,0.109375,-0.796875,-0.671875,0.093750,-0.929687,0.039062,0.148437,0.921875,-0.382812,-0.070312,-0.742187,-0.398437,0.031250,-0.929687,0.562500,0.492187,0.132812,0.531250,0.617187,-0.312500],

.verisimdb/octads/commit-74f45a7491e2.json

@@ -3,8 +3,8 @@
   "source": "git-log",
   "created_at": "2026-01-22T11:20:11Z",
   "document": {
-    "title": "Comprehensive ISO EBNF compliance fixes for VQL grammar",
-    "body": "Commit 74f45a74 by Your Name: Comprehensive ISO EBNF compliance fixes for VQL grammar",
+    "title": "Comprehensive ISO EBNF compliance fixes for VCL grammar",
+    "body": "Commit 74f45a74 by Your Name: Comprehensive ISO EBNF compliance fixes for VCL grammar",
     "fields": {
       "type": "commit",
       "hash": "74f45a7491e2b94e48ca2ab07de2ba8330575f12",
@@ -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],