refactor: VCL Step 5 — -ut → -total in VCL dialect identifier

verisim-api/src/vcl.rs referenced the VCL dialect as 'vcl-ut' in
VCL-UT level detection code. Renamed to 'vcl-total' matching the
vql-ut → vcl-total repo rename (totality interpretation selected
per Step 5, as the identifier denotes no-partiality at the type
level, not type-soundness).

No other -ut suffix uses remain in this repo.

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

Author: hyperpolymath

rust-core/verisim-api/src/vcl.rs

@@ -52,10 +52,10 @@ pub struct VqlExecuteResponse {
     /// Optional message (e.g., for ASSERT/RETRACT confirmations).
     #[serde(skip_serializing_if = "Option::is_none")]
     pub message: Option<String>,
-    /// VCL-UT safety level achieved (0-9), if TypeLL validation was performed.
+    /// VCL-total safety level achieved (0-9), if TypeLL validation was performed.
     #[serde(skip_serializing_if = "Option::is_none")]
     pub safety_level: Option<u8>,
-    /// VCL-UT query path used: "VCL (Slipstream)", "VCL-DT", or "VCL-UT".
+    /// VCL-total query path used: "VCL (Slipstream)", "VCL-DT", or "VCL-total".
     #[serde(skip_serializing_if = "Option::is_none")]
     pub query_path: Option<String>,
     /// Proof obligations generated by TypeLL (for ECHIDNA dispatch).
@@ -89,7 +89,7 @@ pub async fn vcl_execute_handler(
         ));
     }
 
-    // Pre-flight: validate with TypeLL VCL-UT checker if available.
+    // Pre-flight: validate with TypeLL VCL-total checker if available.
     // This is non-blocking — if TypeLL is unreachable, we proceed without it.
     let typell_report = validate_with_typell(query).await;
 
@@ -128,7 +128,7 @@ pub async fn vcl_execute_handler(
 
 /// Tokenize a VCL query into whitespace-separated tokens, respecting
 /// quoted strings (single and double quotes).
-/// Validate a VCL query against TypeLL's VCL-UT 10-level type checker.
+/// Validate a VCL query against TypeLL's VCL-total 10-level type checker.
 ///
 /// Calls the TypeLL server (default: localhost:7800) to verify the query's
 /// type safety level. Returns (safety_level, query_path, proof_obligations)
@@ -143,7 +143,7 @@ async fn validate_with_typell(query: &str) -> Option<(u8, String, Vec<String>)>
 
     let check_body = serde_json::json!({
         "expression": query,
-        "context": "{\"language\":\"vcl\",\"dialect\":\"vcl-ut\",\"features\":[\"dependent\",\"linear\",\"proof-carrying\"]}"
+        "context": "{\"language\":\"vcl\",\"dialect\":\"vcl-total\",\"features\":[\"dependent\",\"linear\",\"proof-carrying\"]}"
     });
 
     let client = reqwest::Client::builder()
@@ -164,14 +164,14 @@ async fn validate_with_typell(query: &str) -> Option<(u8, String, Vec<String>)>
 
     let body: serde_json::Value = resp.json().await.ok()?;
 
-    // Extract VCL-UT level from features (e.g., "vcl-ut-l4")
+    // Extract VCL-total level from features (e.g., "vcl-total-l4")
     let level = body
         .get("features")
         .and_then(|f| f.as_array())
         .and_then(|arr| {
             arr.iter().find_map(|v| {
                 let s = v.as_str()?;
-                if let Some(stripped) = s.strip_prefix("vcl-ut-l") {
+                if let Some(stripped) = s.strip_prefix("vcl-total-l") {
                     stripped.parse::<u8>().ok()
                 } else {
                     None
@@ -180,7 +180,7 @@ async fn validate_with_typell(query: &str) -> Option<(u8, String, Vec<String>)>
         })
         .unwrap_or(0);
 
-    // Extract query path from features (e.g., "path:VCL-UT")
+    // Extract query path from features (e.g., "path:VCL-total")
     let path = body
         .get("features")
         .and_then(|f| f.as_array())
@@ -207,7 +207,7 @@ async fn validate_with_typell(query: &str) -> Option<(u8, String, Vec<String>)>
         safety_level = level,
         query_path = %path,
         obligations = obligations.len(),
-        "TypeLL VCL-UT pre-flight check complete"
+        "TypeLL VCL-total pre-flight check complete"
     );
 
     Some((level, path, obligations))