Skip to content

Commit 3c7fa3d

Browse files
hyperpolymathclaude
andcommitted
refactor(rename): VQL → VCL + verisimdb → verisim
Ecosystem-consistency follow-on: matches the canonical rename landed 2026-04-05 in verisimdb, hypatia, gitbot-fleet, echidna, and vql-ut. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent 2e4a3f5 commit 3c7fa3d

86 files changed

Lines changed: 374 additions & 371 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.claude/CLAUDE.generated.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -207,15 +207,15 @@ Use the correct terms for this project:
207207
|---------|------|
208208
| dev-server | 8000 |
209209
| echidna | 9000 |
210-
| verisimdb | 8080 |
210+
| verisim | 8080 |
211211
| boj-server | 7700 |
212212
| typell | 7800 |
213213

214214
## Ecosystem Context
215215

216216
**Depends on:**
217217
- **gossamer** — Desktop backend runtime (Zig + WebKitGTK)
218-
- **verisimdb** — Persistent storage layer
218+
- **verisim** — Persistent storage layer
219219
- **typell** — Type intelligence engine — cross-panel type checking
220220
- **boj-server** — MCP server — all external tool integration
221221

.github/copilot-instructions.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -207,15 +207,15 @@ Use the correct terms for this project:
207207
|---------|------|
208208
| dev-server | 8000 |
209209
| echidna | 9000 |
210-
| verisimdb | 8080 |
210+
| verisim | 8080 |
211211
| boj-server | 7700 |
212212
| typell | 7800 |
213213

214214
## Ecosystem Context
215215

216216
**Depends on:**
217217
- **gossamer** — Desktop backend runtime (Zig + WebKitGTK)
218-
- **verisimdb** — Persistent storage layer
218+
- **verisim** — Persistent storage layer
219219
- **typell** — Type intelligence engine — cross-panel type checking
220220
- **boj-server** — MCP server — all external tool integration
221221

.github/workflows/dogfood-gate.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -282,7 +282,7 @@ jobs:
282282
fi
283283
284284
# VeriSimDB integration?
285-
if grep -rl 'verisimdb\|VeriSimDB' --include='*.toml' --include='*.yaml' --include='*.yml' --include='*.json' --include='*.rs' --include='*.ex' . 2>/dev/null | head -1 | grep -q .; then
285+
if grep -rl 'verisim\|VeriSimDB' --include='*.toml' --include='*.yaml' --include='*.yml' --include='*.json' --include='*.rs' --include='*.ex' . 2>/dev/null | head -1 | grep -q .; then
286286
SCORE=$((SCORE + 1))
287287
VSDB_STATUS=":white_check_mark:"
288288
else

.gitignore

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -125,3 +125,6 @@ Thumbs.db
125125

126126
# asdf version manager
127127
.tool-versions
128+
129+
# wokelangiser generated i18n locale files (too large for GitHub)
130+
generated/wokelangiser/i18n/

.junie/guidelines.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -207,15 +207,15 @@ Use the correct terms for this project:
207207
|---------|------|
208208
| dev-server | 8000 |
209209
| echidna | 9000 |
210-
| verisimdb | 8080 |
210+
| verisim | 8080 |
211211
| boj-server | 7700 |
212212
| typell | 7800 |
213213

214214
## Ecosystem Context
215215

216216
**Depends on:**
217217
- **gossamer** — Desktop backend runtime (Zig + WebKitGTK)
218-
- **verisimdb** — Persistent storage layer
218+
- **verisim** — Persistent storage layer
219219
- **typell** — Type intelligence engine — cross-panel type checking
220220
- **boj-server** — MCP server — all external tool integration
221221

File renamed without changes.

.q/rules/coordination.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -207,15 +207,15 @@ Use the correct terms for this project:
207207
|---------|------|
208208
| dev-server | 8000 |
209209
| echidna | 9000 |
210-
| verisimdb | 8080 |
210+
| verisim | 8080 |
211211
| boj-server | 7700 |
212212
| typell | 7800 |
213213

214214
## Ecosystem Context
215215

216216
**Depends on:**
217217
- **gossamer** — Desktop backend runtime (Zig + WebKitGTK)
218-
- **verisimdb** — Persistent storage layer
218+
- **verisim** — Persistent storage layer
219219
- **typell** — Type intelligence engine — cross-panel type checking
220220
- **boj-server** — MCP server — all external tool integration
221221

AGENTS.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -207,15 +207,15 @@ Use the correct terms for this project:
207207
|---------|------|
208208
| dev-server | 8000 |
209209
| echidna | 9000 |
210-
| verisimdb | 8080 |
210+
| verisim | 8080 |
211211
| boj-server | 7700 |
212212
| typell | 7800 |
213213

214214
## Ecosystem Context
215215

216216
**Depends on:**
217217
- **gossamer** — Desktop backend runtime (Zig + WebKitGTK)
218-
- **verisimdb** — Persistent storage layer
218+
- **verisim** — Persistent storage layer
219219
- **typell** — Type intelligence engine — cross-panel type checking
220220
- **boj-server** — MCP server — all external tool integration
221221

CHANGELOG.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
7777
- Dependency graph: `cladeDependency` with hard/soft requirements
7878
- Fault isolation levels: None, Soft, Process, Container
7979
- **TypeLL cross-panel wiring** — 8 integration points all live
80-
- VeriSimDB: VQL type checking on query submit
80+
- VeriSimDB: VCL type checking on query submit
8181
- Protocol-Squisher: schema type checking on analysis
8282
- My-Lang: dialect-aware type checking on compile
8383
- Anti-Crash: type-level token validation with constraint expressions

GEMINI.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -207,15 +207,15 @@ Use the correct terms for this project:
207207
|---------|------|
208208
| dev-server | 8000 |
209209
| echidna | 9000 |
210-
| verisimdb | 8080 |
210+
| verisim | 8080 |
211211
| boj-server | 7700 |
212212
| typell | 7800 |
213213

214214
## Ecosystem Context
215215

216216
**Depends on:**
217217
- **gossamer** — Desktop backend runtime (Zig + WebKitGTK)
218-
- **verisimdb** — Persistent storage layer
218+
- **verisim** — Persistent storage layer
219219
- **typell** — Type intelligence engine — cross-panel type checking
220220
- **boj-server** — MCP server — all external tool integration
221221

0 commit comments

Comments
 (0)