trellis 1.0.1 → 1.0.4

package/README.md

@@ -4,43 +4,6 @@ Trellis is a **semantic operating system for knowledge work** that treats your w
 
 The kernel provides a unified interface for data ingestion, querying (EQL-S, Datalog, Natural Language), and automated reasoning, all backed by an append-only operation log for full reproducibility and sync.
 
-## 🎨 Interactive TUI (New!)
-
-TQL now includes a beautiful terminal user interface built with [Ratatui](https://github.com/ratatui/ratatui)!
-
-### Interactive Mode
-```bash
-# Build the TUI
-just tui-build
-
-# Launch interactive graph visualizer
-just tui-graph
-
-# Launch query builder
-just tui-query
-
-# Launch full dashboard
-just tui-dashboard
-```
-
-### Programmatic IPC Mode
-```typescript
-import { TQLTUIBridge } from './src/cli/tui-bridge.js';
-
-const tui = new TQLTUIBridge();
-await tui.launchGraphViewer(graph);  // Headless JSON-RPC mode
-await tui.updateNodeState('nodeId', 'running');
-```
-
-**Features:**
-- 🎯 **Dual-mode:** Interactive terminal UI or headless IPC
-- 📊 **Graph Visualization:** Interactive canvas with zoom/pan
-- 🔍 **Query Builder:** Smart autocomplete and syntax highlighting
-- 📈 **Workflow Monitor:** Real-time execution tracking
-- 🚀 **High Performance:** 60 FPS rendering, <1ms IPC latency
-
-[📖 Quick Start →](docs/RATATUI-QUICKSTART.md) | [🔧 Integration Guide →](docs/RATATUI-INTEGRATION.md) | [✅ IPC Complete →](docs/RATATUI-IPC-COMPLETE.md)
-
 ## Quick Start
 
 ```bash
@@ -86,8 +49,8 @@ bun run test
 ### Programmatic Example
 
 ```typescript
-import { TrellisKernel } from 'q/kernel';
-import { SqliteKernelBackend } from 'q/kernel/sqlite';
+import { TrellisKernel } from 'trellis/kernel';
+import { SqliteKernelBackend } from 'trellis/kernel/sqlite';
 
 // Initialize with persistence
 const backend = new SqliteKernelBackend({ filename: 'workspace.sqlite' });

package/dist/cli/server.js

@@ -27896,7 +27896,7 @@ class DatalogEvaluator {
     keys.add(key);
     return true;
   }
-  evaluate(query) {
+  evaluate(query, limit) {
     const startTime = performance.now();
     const trace = [];
     this.seedBaseFacts();
@@ -27917,7 +27917,7 @@ class DatalogEvaluator {
       }
       iterations++;
     }
-    const bindings = this.findBindingsOverWS(query.goals, trace);
+    const bindings = this.findBindingsOverWS(query.goals, trace, limit);
     return {
       bindings,
       executionTime: performance.now() - startTime,
@@ -27932,7 +27932,7 @@ class DatalogEvaluator {
     }
     return total;
   }
-  findBindingsOverWS(goals, trace) {
+  findBindingsOverWS(goals, trace, limit) {
     if (goals.length === 0) {
       return [{}];
     }
@@ -27940,22 +27940,25 @@ class DatalogEvaluator {
     for (const goal of goals) {
       const goalStartTime = performance.now();
       const newBindings = [];
-      for (const binding of bindings) {
-        const goalBindings = this.evaluateGoal(goal, binding);
-        for (const goalBinding of goalBindings) {
-          const merged = { ...binding, ...goalBinding };
-          let hasConflict = false;
-          for (const key in merged) {
-            if (binding[key] !== undefined && goalBinding[key] !== undefined && binding[key] !== goalBinding[key]) {
-              hasConflict = true;
-              break;
+      outer:
+        for (const binding of bindings) {
+          const goalBindings = this.evaluateGoal(goal, binding);
+          for (const goalBinding of goalBindings) {
+            const merged = { ...binding, ...goalBinding };
+            let hasConflict = false;
+            for (const key in merged) {
+              if (binding[key] !== undefined && goalBinding[key] !== undefined && binding[key] !== goalBinding[key]) {
+                hasConflict = true;
+                break;
+              }
+            }
+            if (!hasConflict) {
+              newBindings.push(merged);
+              if (limit !== undefined && newBindings.length >= limit)
+                break outer;
             }
-          }
-          if (!hasConflict) {
-            newBindings.push(merged);
           }
         }
-      }
       bindings = newBindings;
       if (trace) {
         trace.push({

package/dist/cli/tql.js

@@ -18169,7 +18169,7 @@ class DatalogEvaluator {
     keys.add(key);
     return true;
   }
-  evaluate(query) {
+  evaluate(query, limit) {
     const startTime = performance.now();
     const trace = [];
     this.seedBaseFacts();
@@ -18190,7 +18190,7 @@ class DatalogEvaluator {
       }
       iterations++;
     }
-    const bindings = this.findBindingsOverWS(query.goals, trace);
+    const bindings = this.findBindingsOverWS(query.goals, trace, limit);
     return {
       bindings,
       executionTime: performance.now() - startTime,
@@ -18205,7 +18205,7 @@ class DatalogEvaluator {
     }
     return total;
   }
-  findBindingsOverWS(goals, trace) {
+  findBindingsOverWS(goals, trace, limit) {
     if (goals.length === 0) {
       return [{}];
     }
@@ -18213,22 +18213,25 @@ class DatalogEvaluator {
     for (const goal of goals) {
       const goalStartTime = performance.now();
       const newBindings = [];
-      for (const binding of bindings) {
-        const goalBindings = this.evaluateGoal(goal, binding);
-        for (const goalBinding of goalBindings) {
-          const merged = { ...binding, ...goalBinding };
-          let hasConflict = false;
-          for (const key in merged) {
-            if (binding[key] !== undefined && goalBinding[key] !== undefined && binding[key] !== goalBinding[key]) {
-              hasConflict = true;
-              break;
+      outer:
+        for (const binding of bindings) {
+          const goalBindings = this.evaluateGoal(goal, binding);
+          for (const goalBinding of goalBindings) {
+            const merged = { ...binding, ...goalBinding };
+            let hasConflict = false;
+            for (const key in merged) {
+              if (binding[key] !== undefined && goalBinding[key] !== undefined && binding[key] !== goalBinding[key]) {
+                hasConflict = true;
+                break;
+              }
+            }
+            if (!hasConflict) {
+              newBindings.push(merged);
+              if (limit !== undefined && newBindings.length >= limit)
+                break outer;
             }
-          }
-          if (!hasConflict) {
-            newBindings.push(merged);
           }
         }
-      }
       bindings = newBindings;
       if (trace) {
         trace.push({

package/dist/index.js

@@ -13245,7 +13245,7 @@ class DatalogEvaluator {
     keys.add(key);
     return true;
   }
-  evaluate(query) {
+  evaluate(query, limit) {
     const startTime = performance.now();
     const trace = [];
     this.seedBaseFacts();
@@ -13266,7 +13266,7 @@ class DatalogEvaluator {
       }
       iterations++;
     }
-    const bindings = this.findBindingsOverWS(query.goals, trace);
+    const bindings = this.findBindingsOverWS(query.goals, trace, limit);
     return {
       bindings,
       executionTime: performance.now() - startTime,
@@ -13281,7 +13281,7 @@ class DatalogEvaluator {
     }
     return total;
   }
-  findBindingsOverWS(goals, trace) {
+  findBindingsOverWS(goals, trace, limit) {
     if (goals.length === 0) {
       return [{}];
     }
@@ -13289,22 +13289,25 @@ class DatalogEvaluator {
     for (const goal of goals) {
       const goalStartTime = performance.now();
       const newBindings = [];
-      for (const binding of bindings) {
-        const goalBindings = this.evaluateGoal(goal, binding);
-        for (const goalBinding of goalBindings) {
-          const merged = { ...binding, ...goalBinding };
-          let hasConflict = false;
-          for (const key in merged) {
-            if (binding[key] !== undefined && goalBinding[key] !== undefined && binding[key] !== goalBinding[key]) {
-              hasConflict = true;
-              break;
+      outer:
+        for (const binding of bindings) {
+          const goalBindings = this.evaluateGoal(goal, binding);
+          for (const goalBinding of goalBindings) {
+            const merged = { ...binding, ...goalBinding };
+            let hasConflict = false;
+            for (const key in merged) {
+              if (binding[key] !== undefined && goalBinding[key] !== undefined && binding[key] !== goalBinding[key]) {
+                hasConflict = true;
+                break;
+              }
+            }
+            if (!hasConflict) {
+              newBindings.push(merged);
+              if (limit !== undefined && newBindings.length >= limit)
+                break outer;
             }
-          }
-          if (!hasConflict) {
-            newBindings.push(merged);
           }
         }
-      }
       bindings = newBindings;
       if (trace) {
         trace.push({

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "trellis",
-  "version": "1.0.1",
+  "version": "1.0.4",
   "description": "Graph database and query engine for Node.js — EAV-based Datalog with natural language support",
   "main": "./dist/index.js",
   "module": "./dist/index.js",