refactor(clients): VCL rename stage B (2/5) — Rust/Zig/Julia/Elixir SDKs (#84)

[hyperpolymath]

Stage B (2/5) — client SDKs follow the renamed wire contract

Second sub-stage of #84. Updates the four non-ReScript client SDKs to call the renamed endpoint from #144 (server /api/v1/vcl/execute).

Renamed (17 files changed, symmetric 99/99)

• connectors/clients/rust/src/vql.rs → vcl.rs (mod vcl, execute_vcl, Vcl{Request,Response,Result,ParseError,ExecutionError})
• connectors/clients/zig/src/vql.zig → vcl.zig
• connectors/clients/julia/src/vql.jl → vcl.jl
• connectors/clients/elixir/lib/verisim_client/vcl.ex + types.ex
• all four now POST /api/v1/vcl/execute ✅

Verification

• ✅ grep-to-zero: no vql/VQL/Vql token left in any of the four client trees
• ✅ endpoint string updated in every SDK (matches refactor(rust): VCL rename stage B (1/5) — rust-core server + openapi (#84) #144 server route)
• ✅ symmetric 99/99 diff (3-case swap incl. Vql*→Vcl*)
• Rust client compiles on CI (cargo); Zig/Julia/Elixir-client renames are mechanical (HTTP string + symbol)

Restores the server↔client round-trip broken transiently by #144. Remaining: 3/5 ReScript (parser + playground + RS client), 4/5 Elixir orchestration contracts (type:vql_query, vql_dt_active, JS bridge), 5/5 Coq/Idris + examples + config. Refs #84.

---

Generated by Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 137 issues detected

Severity	Count
🔴 Critical	17
🟠 High	54
🟡 Medium	66

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Issue in scorecard-enforcer.yml",
    "type": "scorecard_publish_with_run_step",
    "file": "scorecard-enforcer.yml",
    "action": "split_scorecard_publish_job",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in instant-sync.yml",
    "type": "secret_action_without_presence_gate",
    "file": "instant-sync.yml",
    "action": "peter-evans/repository-dispatch",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in codeql.yml",
    "type": "codeql_missing_actions_language",
    "file": "codeql.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (1 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/verisimdb/verisimdb/formal/Provenance.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (2 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/verisimdb/verisimdb/formal/PlannerSemantic.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (1 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/verisimdb/verisimdb/formal/Planner.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (6 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/verisimdb/verisimdb/formal/Drift.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (1 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/verisimdb/verisimdb/formal/WAL.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (2 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/verisimdb/verisimdb/formal/Normalizer.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "getExn on external data -- use pattern matching (1 occurrences, CWE-754)",
    "type": "getexn_on_external",
    "file": "/home/runner/work/verisimdb/verisimdb/src/registry/Registry.res",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence