feat: add core library, interface crate, and update workspace structure

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

Author: hyperpolymath

Cargo.lock

@@ -18,6 +18,10 @@ vqlut-lint = { path = "src/interface/lint" }
 [workspace]
 members = [
     ".",
+    "src/core",
+    "src/interface",
     "src/interface/fmt",
     "src/interface/lint",
+    "src/interface/lsp",
+    "src/interface/dap",
 ]

Cargo.toml

@@ -0,0 +1,15 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+[package]
+name = "vqlut-core"
+version = "0.1.0"
+edition = "2021"
+license = "PMPL-1.0-or-later"
+authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
+repository = "https://github.com/hyperpolymath/vql-ut"
+description = "VQL-UT Core: Idris-based type checker and grammar"
+
+[lib]
+path = "lib.rs"
+crate-type = ["cdylib", "rlib"]
+
+[dependencies]

src/core/Cargo.toml

@@ -0,0 +1,2 @@
+// Dummy lib.rs for Rust compatibility
+// Actual implementation is in Idris files

src/core/lib.rs

@@ -0,0 +1,15 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+[package]
+name = "vqlut-interface"
+version = "0.1.0"
+edition = "2021"
+license = "PMPL-1.0-or-later"
+authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
+repository = "https://github.com/hyperpolymath/vql-ut"
+description = "VQL-UT Interface: Common interface types"
+
+[lib]
+path = "lib.rs"
+crate-type = ["cdylib", "rlib"]
+
+[dependencies]

src/interface/Cargo.toml

@@ -0,0 +1,2 @@
+// Dummy lib.rs for Rust compatibility
+// Actual implementation is in main.rs

src/interface/dap/src/lib.rs

@@ -167,8 +167,12 @@ fn handle_client(stream: TcpStream) -> Result<(), Box<dyn std::error::Error>> {
             "continue" => {
                 // TODO: Execute the query using database-mcp cartridge
                 // For now, return a dummy response
-                let query = request.arguments.and_then(|args| args.get("query")).and_then(|q| q.as_str()).unwrap_or("");
-                let result = execute_vql_query(query);
+                let query = if let Some(args) = &request.arguments {
+                    args.get("query").and_then(|q| q.as_str()).unwrap_or("").to_string()
+                } else {
+                    "".to_string()
+                };
+                let result = execute_vql_query(&query);
                 serde_json::to_string(&DapResponse {
                     seq: 9,
                     r#type: "response".to_string(),

src/interface/dap/src/main.rs

@@ -31,7 +31,7 @@ fn main() {
 
     // Write the output file
     let output_path = args.output.unwrap_or(input_path);
-    fs::write(output_path, formatted).expect("Unable to write file");
+    fs::write(&output_path, formatted).expect("Unable to write file");
 
     println!("Formatted {}", output_path.display());
 }

src/interface/fmt/src/main.rs

@@ -0,0 +1,2 @@
+// Dummy lib.rs for Rust compatibility
+// Actual implementation is in subdirectories

src/interface/lib.rs

@@ -51,9 +51,9 @@ impl VqlutLsp {
         // TODO: Parse the VQL-UT file at the given position to find the table/column
         // For now, return a dummy response with schema-based navigation
         if let Some((table, _)) = self.schema.iter().next() {
-            Some(GotoDefinitionResponse::Scalar(GotoDefinitionLink {
-                target_uri: uri,
-                target_range: Range {
+            Some(GotoDefinitionResponse::Scalar(Location {
+                uri,
+                range: Range {
                     start: Position {
                         line: line as u32,
                         character: character as u32,
@@ -63,22 +63,11 @@ impl VqlutLsp {
                         character: character as u32 + table.len() as u32,
                     },
                 },
-                target_selection_range: Some(Range {
-                    start: Position {
-                        line: line as u32,
-                        character: character as u32,
-                    },
-                    end: Position {
-                        line: line as u32,
-                        character: character as u32 + table.len() as u32,
-                    },
-                }),
-                origin_selection_range: None,
             }))
         } else {
-            Some(GotoDefinitionResponse::Scalar(GotoDefinitionLink {
-                target_uri: uri,
-                target_range: Range {
+            Some(GotoDefinitionResponse::Scalar(Location {
+                uri,
+                range: Range {
                     start: Position {
                         line: line as u32,
                         character: character as u32,
@@ -88,17 +77,6 @@ impl VqlutLsp {
                         character: character as u32 + 10,
                     },
                 },
-                target_selection_range: Some(Range {
-                    start: Position {
-                        line: line as u32,
-                        character: character as u32,
-                    },
-                    end: Position {
-                        line: line as u32,
-                        character: character as u32 + 10,
-                    },
-                }),
-                origin_selection_range: None,
             }))
         }
     }
@@ -130,7 +108,7 @@ impl VqlutLsp {
 
     pub fn handle_completion(&self, params: CompletionParams) -> Option<CompletionResponse> {
         // Extract the position from the params
-        let position = params.text_document_position_params.position;
+        let position = params.text_document_position.position;
         let line = position.line as usize;
         let character = position.character as usize;
 
@@ -175,9 +153,6 @@ impl VqlutLsp {
             }
         }
 
-        Some(CompletionResponse {
-            is_incomplete: false,
-            items,
-        })
+        Some(CompletionResponse::Array(items))
     }
 }