@directive-run/knowledge 0.2.0 → 0.4.2

package/examples/time-machine.ts

@@ -1,9 +1,9 @@
 // Example: time-machine
-// Source: examples/time-machine/src/main.ts
-// Extracted for AI rules — DOM wiring stripped
+// Source: examples/time-machine/src/module.ts
+// Pure module file — no DOM wiring
 
 /**
- * Time Machine — Time-Travel Debugging
+ * Time Machine — Directive Module
  *
  * Drawing canvas where each stroke is a fact mutation. Full time-travel:
  * undo/redo, export/import JSON, replay animation, changesets, snapshot slider.
@@ -21,7 +21,7 @@ import { devtoolsPlugin } from "@directive-run/core/plugins";
 // Types
 // ============================================================================
 
-interface Stroke {
+export interface Stroke {
   id: string;
   x: number;
   y: number;
@@ -29,7 +29,7 @@ interface Stroke {
   size: number;
 }
 
-interface TimelineEntry {
+export interface TimelineEntry {
   time: number;
   event: string;
   detail: string;
@@ -45,16 +45,16 @@ interface TimelineEntry {
 }
 
 // ============================================================================
-// Timeline
+// Timeline (external mutable array, same pattern as fraud-analysis)
 // ============================================================================
 
-const timeline: TimelineEntry[] = [];
+export const timeline: TimelineEntry[] = [];
 
-function addTimeline(
+export function addTimeline(
   event: string,
   detail: string,
   type: TimelineEntry["type"],
-) {
+): void {
   timeline.unshift({ time: Date.now(), event, detail, type });
   if (timeline.length > 50) {
     timeline.length = 50;
@@ -65,9 +65,9 @@ function addTimeline(
 // Schema
 // ============================================================================
 
-const schema = {
+export const schema = {
   facts: {
-    strokes: t.object<Stroke[]>(),
+    strokes: t.array<Stroke>(),
     currentColor: t.string(),
     brushSize: t.number(),
     changesetActive: t.boolean(),
@@ -140,86 +140,8 @@ const canvasModule = createModule("canvas", {
 // System with Time-Travel
 // ============================================================================
 
-const system = createSystem({
+export const system = createSystem({
   module: canvasModule,
   debug: { timeTravel: true, maxSnapshots: 200, runHistory: true },
   plugins: [devtoolsPlugin({ name: "time-machine" })],
 });
-system.start();
-
-const tt = system.debug!;
-
-// ============================================================================
-// DOM References
-// ============================================================================
-
-const ctx = canvasEl.getContext("2d")!;
-  "tm-brush-size",
-  "tm-snapshot-slider",
-  "tm-export-area",
-  "tm-begin-changeset",
-  "tm-end-changeset",
-
-// Timeline
-
-// ============================================================================
-// Canvas Rendering
-// ============================================================================
-
-function drawCanvas(): void {
-  ctx.fillStyle = "#0f172a";
-  ctx.fillRect(0, 0, canvasEl.width, canvasEl.height);
-
-  const strokes = system.facts.strokes as Stroke[];
-  for (const stroke of strokes) {
-    ctx.beginPath();
-    ctx.arc(stroke.x, stroke.y, stroke.size / 2, 0, Math.PI * 2);
-    ctx.fillStyle = stroke.color;
-    ctx.fill();
-  }
-}
-
-// ============================================================================
-// Render
-// ============================================================================
-
-function escapeHtml(text: string): string {
-
-  return div.innerHTML;
-}
-
-
-// ============================================================================
-// Subscribe
-// ============================================================================
-
-const allKeys = [...Object.keys(schema.facts)];
-system.subscribe(allKeys, render);
-
-// ============================================================================
-// Canvas Interaction (pointer events for mouse + touch)
-// ============================================================================
-
-let isDrawing = false;
-
-function canvasCoords(e: PointerEvent): { x: number; y: number } {
-  const scaleX = canvasEl.width / rect.width;
-  const scaleY = canvasEl.height / rect.height;
-
-  return {
-    x: Math.round((e.clientX - rect.left) * scaleX),
-    y: Math.round((e.clientY - rect.top) * scaleY),
-  };
-}
-
-
-// ============================================================================
-// Controls
-// ============================================================================
-
-
-// ============================================================================
-// Initial Render
-// ============================================================================
-
-render();

package/examples/topic-guard.ts

@@ -42,11 +42,11 @@ export interface GuardrailLogEntry {
 export const topicGuardSchema = {
   facts: {
     input: t.string(),
-    messages: t.object<ChatMessage[]>(),
+    messages: t.array<ChatMessage>(),
     isProcessing: t.boolean(),
     lastGuardrailResult: t.object<GuardrailResult | null>(),
-    guardrailLog: t.object<GuardrailLogEntry[]>(),
-    allowedTopics: t.object<string[]>(),
+    guardrailLog: t.array<GuardrailLogEntry>(),
+    allowedTopics: t.array<string>(),
   },
   derivations: {
     messageCount: t.number(),
@@ -93,42 +93,36 @@ export const topicGuardModule = createModule("topic-guard", {
 
   derive: {
     messageCount: (facts) => {
-      return (facts.messages as ChatMessage[]).filter((m) => m.role === "user")
-        .length;
+      return facts.messages.filter((m) => m.role === "user").length;
     },
 
     blockedCount: (facts) => {
-      return (facts.messages as ChatMessage[]).filter(
-        (m) => m.role === "user" && m.blocked,
-      ).length;
+      return facts.messages.filter((m) => m.role === "user" && m.blocked)
+        .length;
     },
 
     allowedCount: (facts) => {
-      return (facts.messages as ChatMessage[]).filter(
-        (m) => m.role === "user" && !m.blocked,
-      ).length;
+      return facts.messages.filter((m) => m.role === "user" && !m.blocked)
+        .length;
     },
 
     blockRate: (facts, derive) => {
-      const total = derive.messageCount as number;
+      const total = derive.messageCount;
       if (total === 0) {
         return "0%";
       }
-      const blocked = derive.blockedCount as number;
+      const blocked = derive.blockedCount;
       const rate = Math.round((blocked / total) * 100);
 
       return `${rate}%`;
     },
 
     canSend: (facts) => {
-      return (
-        (facts.input as string).trim().length > 0 &&
-        !(facts.isProcessing as boolean)
-      );
+      return facts.input.trim().length > 0 && !facts.isProcessing;
     },
 
     lastMessageBlocked: (facts) => {
-      const msgs = facts.messages as ChatMessage[];
+      const msgs = facts.messages;
       if (msgs.length === 0) {
         return false;
       }
@@ -143,13 +137,13 @@ export const topicGuardModule = createModule("topic-guard", {
 
   events: {
     send: (facts) => {
-      const text = (facts.input as string).trim();
+      const text = facts.input.trim();
       if (text.length === 0 || facts.isProcessing) {
         return;
       }
 
       // Add user message
-      const messages = [...(facts.messages as ChatMessage[])];
+      const messages = [...facts.messages];
       messages.push({ role: "user", text, blocked: false });
       facts.messages = messages;
 
@@ -163,10 +157,7 @@ export const topicGuardModule = createModule("topic-guard", {
         return;
       }
 
-      const classifierResult = checkTopicClassifier(
-        text,
-        facts.allowedTopics as string[],
-      );
+      const classifierResult = checkTopicClassifier(text, facts.allowedTopics);
       facts.lastGuardrailResult = classifierResult;
       facts.isProcessing = true;
       facts.input = "";
@@ -184,7 +175,7 @@ export const topicGuardModule = createModule("topic-guard", {
     },
 
     toggleTopic: (facts, { topic }) => {
-      const topics = [...(facts.allowedTopics as string[])];
+      const topics = [...facts.allowedTopics];
       const idx = topics.indexOf(topic);
       if (idx >= 0) {
         topics.splice(idx, 1);
@@ -203,12 +194,12 @@ export const topicGuardModule = createModule("topic-guard", {
     offTopicDetected: {
       priority: 100,
       when: (facts) => {
-        const result = facts.lastGuardrailResult as GuardrailResult | null;
-
-        return result?.blocked === true && (facts.isProcessing as boolean);
+        return (
+          facts.lastGuardrailResult?.blocked === true && facts.isProcessing
+        );
       },
       require: (facts) => {
-        const result = facts.lastGuardrailResult as GuardrailResult;
+        const result = facts.lastGuardrailResult!;
 
         return {
           type: "BLOCK_MESSAGE",
@@ -221,9 +212,9 @@ export const topicGuardModule = createModule("topic-guard", {
     onTopicConfirmed: {
       priority: 90,
       when: (facts) => {
-        const result = facts.lastGuardrailResult as GuardrailResult | null;
-
-        return result?.blocked === false && (facts.isProcessing as boolean);
+        return (
+          facts.lastGuardrailResult?.blocked === false && facts.isProcessing
+        );
       },
       require: () => ({
         type: "ALLOW_MESSAGE",
@@ -239,7 +230,7 @@ export const topicGuardModule = createModule("topic-guard", {
     blockMessage: {
       requirement: "BLOCK_MESSAGE",
       resolve: async (req, context) => {
-        const messages = [...(context.facts.messages as ChatMessage[])];
+        const messages = [...context.facts.messages];
         // Mark the last user message as blocked
         const lastUserIdx = messages.length - 1;
         if (lastUserIdx >= 0) {
@@ -264,7 +255,7 @@ export const topicGuardModule = createModule("topic-guard", {
     allowMessage: {
       requirement: "ALLOW_MESSAGE",
       resolve: async (_req, context) => {
-        const messages = [...(context.facts.messages as ChatMessage[])];
+        const messages = [...context.facts.messages];
         const lastUserMsg = messages.filter((m) => m.role === "user").pop();
         const responseText = getMockAgentResponse(lastUserMsg?.text ?? "");
         messages.push({
@@ -286,14 +277,15 @@ export const topicGuardModule = createModule("topic-guard", {
     logGuardrailResult: {
       deps: ["lastGuardrailResult"],
       run: (facts) => {
-        const result = facts.lastGuardrailResult as GuardrailResult | null;
+        const result = facts.lastGuardrailResult;
         if (!result) {
           return;
         }
 
-        const msgs = facts.messages as ChatMessage[];
-        const lastUserMsg = [...msgs].reverse().find((m) => m.role === "user");
-        const log = [...(facts.guardrailLog as GuardrailLogEntry[])];
+        const lastUserMsg = [...facts.messages]
+          .reverse()
+          .find((m) => m.role === "user");
+        const log = [...facts.guardrailLog];
         log.push({
           timestamp: Date.now(),
           input: lastUserMsg?.text ?? "",

package/examples/url-sync.ts

@@ -82,7 +82,7 @@ export const urlModule = createModule("url", {
     const params = readUrlParams();
     facts.search = params.search;
     facts.category = params.category;
-    facts.sortBy = params.sortBy;
+    facts.sortBy = params.sortBy as "newest" | "price-asc" | "price-desc";
     facts.page = params.page;
     facts.syncingFromUrl = false;
   },
@@ -103,7 +103,7 @@ export const urlModule = createModule("url", {
     },
 
     setSortBy: (facts, { value }) => {
-      facts.sortBy = value;
+      facts.sortBy = value as "newest" | "price-asc" | "price-desc";
       facts.page = 1;
     },
 
@@ -115,7 +115,7 @@ export const urlModule = createModule("url", {
       facts.syncingFromUrl = true;
       facts.search = search;
       facts.category = category;
-      facts.sortBy = sortBy;
+      facts.sortBy = sortBy as "newest" | "price-asc" | "price-desc";
       facts.page = page;
     },
 
@@ -160,15 +160,15 @@ export const urlModule = createModule("url", {
         const params = new URLSearchParams();
 
         if (facts.search !== "") {
-          params.set("q", facts.search as string);
+          params.set("q", facts.search);
         }
         if (facts.category !== "" && facts.category !== "all") {
-          params.set("cat", facts.category as string);
+          params.set("cat", facts.category);
         }
         if (facts.sortBy !== "newest") {
-          params.set("sort", facts.sortBy as string);
+          params.set("sort", facts.sortBy);
         }
-        if ((facts.page as number) > 1) {
+        if (facts.page > 1) {
           params.set("page", String(facts.page));
         }
 
@@ -191,7 +191,7 @@ export const urlModule = createModule("url", {
 
 export const productsSchema = {
   facts: {
-    items: t.object<Product[]>(),
+    items: t.array<Product>(),
     totalItems: t.number(),
     isLoading: t.boolean(),
     itemsPerPage: t.number(),

package/examples/websocket.ts

@@ -49,7 +49,7 @@ export const websocketSchema = {
     url: t.string(),
     status: t.string<WsStatus>(),
     connectRequested: t.boolean(),
-    messages: t.object<WsMessage[]>(),
+    messages: t.array<WsMessage>(),
     retryCount: t.number(),
     maxRetries: t.number(),
     messageToSend: t.string(),
@@ -58,7 +58,7 @@ export const websocketSchema = {
     messageRate: t.number(),
     connectFailRate: t.number(),
     reconnectFailRate: t.number(),
-    eventLog: t.object<EventLogEntry[]>(),
+    eventLog: t.array<EventLogEntry>(),
   },
   derivations: {
     isConnected: t.boolean(),
@@ -100,7 +100,7 @@ export const websocketSchema = {
 // ============================================================================
 
 function addLogEntry(facts: any, event: string, detail: string): void {
-  const log = [...(facts.eventLog as EventLogEntry[])];
+  const log = [...facts.eventLog];
   log.push({ timestamp: Date.now(), event, detail });
   // Cap at 100
   if (log.length > 100) {
@@ -312,7 +312,7 @@ export const websocketModule = createModule("websocket", {
               return;
             }
 
-            const messages = [...(context.facts.messages as WsMessage[])];
+            const messages = [...context.facts.messages];
             messages.push(msg);
             // Cap at 50
             if (messages.length > 50) {
@@ -369,7 +369,7 @@ export const websocketModule = createModule("websocket", {
       requirement: "RECONNECT",
       timeout: 60000,
       resolve: async (req, context) => {
-        const retryCount = context.facts.retryCount as number;
+        const retryCount = context.facts.retryCount;
         context.facts.status = "reconnecting";
         context.facts.reconnectTargetTime = Date.now() + req.delay;
         addLogEntry(

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@directive-run/knowledge",
-  "version": "0.2.0",
+  "version": "0.4.2",
   "description": "Knowledge files, examples, and validation for Directive — the constraint-driven TypeScript runtime.",
   "license": "MIT",
   "author": "Jason Comes",
@@ -50,8 +50,8 @@
     "tsx": "^4.19.2",
     "typescript": "^5.7.2",
     "vitest": "^3.0.0",
-    "@directive-run/core": "0.4.1",
-    "@directive-run/ai": "0.4.1"
+    "@directive-run/core": "0.4.2",
+    "@directive-run/ai": "0.4.2"
   },
   "scripts": {
     "build": "tsx scripts/generate-api-skeleton.ts && tsx scripts/extract-examples.ts && tsup",