zam-core 0.3.5 → 0.3.7

package/dist/index.d.ts

@@ -1,4 +1,26 @@
-import { Database } from 'libsql';
+type DatabaseValue = string | number | bigint | null | Uint8Array;
+interface RunResult {
+    changes: number;
+    lastInsertRowid: number | bigint;
+}
+interface Statement {
+    run(...params: unknown[]): RunResult;
+    get(...params: unknown[]): unknown;
+    all(...params: unknown[]): unknown[];
+}
+/**
+ * Synchronous database surface used by the learning kernel.
+ *
+ * Both better-sqlite3 and the optional libsql embedded-replica driver satisfy
+ * this contract.
+ */
+interface Database {
+    prepare(sql: string): Statement;
+    exec(sql: string): void;
+    pragma(source: string): unknown;
+    close(): void;
+    sync?(): void;
+}
 
 /**
  * Learning Analytics
@@ -381,6 +403,7 @@ declare function getBlockedCards(db: Database, userId: string): BlockedCard[];
  * Prerequisite repository — typed wrappers around the prerequisites table.
  *
  * Models the dependency graph: "to learn token A, first know token B."
+ * The graph must remain acyclic — cycles are rejected at insert time.
  */
 
 interface Prerequisite {
@@ -394,12 +417,19 @@ interface PrerequisiteWithToken extends Prerequisite {
     domain: string;
     bloom_level: number;
 }
+/**
+ * Returns true if adding edge (tokenId → requiresId) would create a cycle.
+ * Uses BFS from requiresId: if tokenId is reachable, adding the edge closes
+ * a loop.
+ */
+declare function wouldCreateCycle(db: Database, tokenId: string, requiresId: string): boolean;
 /**
  * Add a prerequisite edge: tokenId requires requiresId.
  *
  * Idempotent — silently ignores duplicate edges.
  * Throws if either token ID does not exist (FK constraint).
  * Throws if a token is declared as its own prerequisite.
+ * Throws if the edge would create a cycle in the prerequisite graph.
  */
 declare function addPrerequisite(db: Database, tokenId: string, requiresId: string): void;
 /**
@@ -670,10 +700,14 @@ declare function deleteToken(db: Database, slug: string): DeleteTokenResult;
 /**
  * Fuzzy search for tokens by keyword query.
  *
- * Ported from the PoC's find-token command: splits the query into word
- * tokens, scores each database token by word overlap plus a substring
- * bonus on the concept field, and returns all matches sorted by score
- * descending.
+ * Uses SQLite LIKE queries on slug, concept, and domain to avoid loading
+ * every non-deprecated token into memory.  Each search term runs its own
+ * LIKE query; results are aggregated in JS with a word-overlap score plus
+ * a substring bonus on the concept field.  Results are returned sorted by
+ * relevance score descending.
+ *
+ * For very small search terms (< 3 chars) a light in-memory fallback is
+ * used to avoid matching every token.
  */
 declare function findTokens(db: Database, query: string): ScoredToken[];
 /**
@@ -1190,10 +1224,9 @@ declare function distributeGlobalSkills(home?: string): Array<{
     success: boolean;
 }>;
 /**
- * Inject the ZAM shell observation hook into user profile scripts so monitoring
- * is automatically initialized on startup.
+ * Add opt-in helpers for starting a monitored session to user shell profiles.
  */
-declare function injectShellHooks(): Array<{
+declare function injectShellHooks(home?: string): Array<{
     shell: string;
     file: string;
     success: boolean;
@@ -1220,6 +1253,7 @@ interface InstallResult {
     success: boolean;
     message: string;
 }
+type LocalLLMRunner = "fastflowlm" | "ollama" | "generic";
 /**
  * Check if a command is executable on the system.
  */
@@ -1232,6 +1266,10 @@ declare function installFastFlowLM(): InstallResult;
  * Install Ollama via Homebrew on macOS.
  */
 declare function installOllama(): InstallResult;
+/**
+ * Prepare the recommended model after installing a local LLM runner.
+ */
+declare function prepareLocalModel(runner: LocalLLMRunner, model: string): InstallResult;
 
 interface SystemProfile {
     os: "windows" | "macos" | "linux" | "unknown";
@@ -1271,4 +1309,4 @@ declare function resolveAllBeliefPaths(db: Database): string[];
  */
 declare function resolveAllGoalPaths(db: Database): string[];
 
-export { type ADOConfig, type ADOCredentials, type AgentSkill, type AnalysisResult, type BloomLevel$1 as BloomLevel, type Card, type CardDeletionImpact, type CardState$1 as CardState, type CascadeBlockResult, type CommandRecord, type CommandSequence, type CreateAgentSkillInput, type CreateGoalInput, type CreateReviewInput, type CreateSessionInput, type CreateTokenInput, type Credentials, DEFAULT_REVIEW_CONTEXT_MAX_CHARS, type DeleteCardResult, type DeleteTokenResult, type DiscoveryOptions, type DomainCompetence, type EvaluateInput, type EvaluateResult, type ExecuteReviewActionInput, type ExecutionContext, type FSRSParameters, type Goal, type GoalFrontmatter, type GoalStatus, type GoalSummary, type InstallResult, type LogStepInput, type MonitorEvent, type ObservationRating, type Prerequisite, type PrerequisiteWithToken, type PromptInput, type Rating, type RecallPrompt, type RepoPaths, type ResolvedReference, type ReviewActionResult, type ReviewActionType, type ReviewContext, type ReviewLog, type ReviewQueue, type ReviewQueueItem, type ReviewQueueOptions, type SchedulingCard, type Session, type SessionStep, type SessionSummary, type SkillProposal, type SkillSource, type SupportedLocale, type SymbiosisMode, type SystemProfile, type Token, type TokenDeleteImpact, type TokenPattern, type TranslationKey, type TursoCredentials, type UnblockResult, type UpdateCardInput, type UpdateTokenInput, type UserSetting, type UserStats, type WorkItem, addPrerequisite, analyzeObservation, buildReviewQueue, cascadeBlock, clearADOCredentials, clearTursoCredentials, createAgentSkill, createFSRS, createGoal, createToken, deleteCardForUser, deleteSetting, deleteToken, deprecateToken, detectSystemLocale, discoverSkills, distributeGlobalSkills, endSession, ensureCard, ensureMonitorDir, evaluateRating, executeReviewAction, extractTasks, extractTokenRefs, fetchActiveWorkItems, findTokens, generateBashHooks, generateBashUnhooks, generateConceptFreeCue, generatePowerShellHooks, generatePowerShellUnhooks, generatePrompt, generateZshHooks, generateZshUnhooks, getADOCredentials, getAgentSkill, getAllSettings, getAllSettingsDetailed, getBlockedCards, getCard, getCardById, getCardDeletionImpact, getDefaultDbPath, getDependents, getDomainCompetence, getDueCards, getGoal, getGoalTree, getMonitorDir, getMonitorLogStats, getMonitorPath, getPackageSkillPath, getPrerequisites, getRepoPaths, getReviewsForCard, getReviewsForUser, getSessionSummary, getSetting, getSystemProfile, getTokenById, getTokenBySlug, getTokenDeleteImpact, getTursoCredentials, getUserStats, hasCommand, injectShellHooks, installFastFlowLM, installOllama, interleave, listAgentSkills, listGoals, listTokens, loadADOConfig, loadCredentials, logReview, logStep, matchesFilePath, monitorLogExists, normalizeLocale, normalizePath, openDatabase, openDatabaseWithSync, pairCommands, parseGoalFile, parseMonitorLog, readMonitorLog, resolveAllBeliefPaths, resolveAllGoalPaths, resolveReference, resolveRepoPath, resolveReviewContext, saveCredentials, serializeGoal, setADOCredentials, setSetting, setTursoCredentials, startSession, t, unblockReady, updateCard, updateGoalStatus, updateToken, writeMonitorEvent };
+export { type ADOConfig, type ADOCredentials, type AgentSkill, type AnalysisResult, type BloomLevel$1 as BloomLevel, type Card, type CardDeletionImpact, type CardState$1 as CardState, type CascadeBlockResult, type CommandRecord, type CommandSequence, type CreateAgentSkillInput, type CreateGoalInput, type CreateReviewInput, type CreateSessionInput, type CreateTokenInput, type Credentials, DEFAULT_REVIEW_CONTEXT_MAX_CHARS, type Database, type DatabaseValue, type DeleteCardResult, type DeleteTokenResult, type DiscoveryOptions, type DomainCompetence, type EvaluateInput, type EvaluateResult, type ExecuteReviewActionInput, type ExecutionContext, type FSRSParameters, type Goal, type GoalFrontmatter, type GoalStatus, type GoalSummary, type InstallResult, type LocalLLMRunner, type LogStepInput, type MonitorEvent, type ObservationRating, type Prerequisite, type PrerequisiteWithToken, type PromptInput, type Rating, type RecallPrompt, type RepoPaths, type ResolvedReference, type ReviewActionResult, type ReviewActionType, type ReviewContext, type ReviewLog, type ReviewQueue, type ReviewQueueItem, type ReviewQueueOptions, type RunResult, type SchedulingCard, type Session, type SessionStep, type SessionSummary, type SkillProposal, type SkillSource, type Statement, type SupportedLocale, type SymbiosisMode, type SystemProfile, type Token, type TokenDeleteImpact, type TokenPattern, type TranslationKey, type TursoCredentials, type UnblockResult, type UpdateCardInput, type UpdateTokenInput, type UserSetting, type UserStats, type WorkItem, addPrerequisite, analyzeObservation, buildReviewQueue, cascadeBlock, clearADOCredentials, clearTursoCredentials, createAgentSkill, createFSRS, createGoal, createToken, deleteCardForUser, deleteSetting, deleteToken, deprecateToken, detectSystemLocale, discoverSkills, distributeGlobalSkills, endSession, ensureCard, ensureMonitorDir, evaluateRating, executeReviewAction, extractTasks, extractTokenRefs, fetchActiveWorkItems, findTokens, generateBashHooks, generateBashUnhooks, generateConceptFreeCue, generatePowerShellHooks, generatePowerShellUnhooks, generatePrompt, generateZshHooks, generateZshUnhooks, getADOCredentials, getAgentSkill, getAllSettings, getAllSettingsDetailed, getBlockedCards, getCard, getCardById, getCardDeletionImpact, getDefaultDbPath, getDependents, getDomainCompetence, getDueCards, getGoal, getGoalTree, getMonitorDir, getMonitorLogStats, getMonitorPath, getPackageSkillPath, getPrerequisites, getRepoPaths, getReviewsForCard, getReviewsForUser, getSessionSummary, getSetting, getSystemProfile, getTokenById, getTokenBySlug, getTokenDeleteImpact, getTursoCredentials, getUserStats, hasCommand, injectShellHooks, installFastFlowLM, installOllama, interleave, listAgentSkills, listGoals, listTokens, loadADOConfig, loadCredentials, logReview, logStep, matchesFilePath, monitorLogExists, normalizeLocale, normalizePath, openDatabase, openDatabaseWithSync, pairCommands, parseGoalFile, parseMonitorLog, prepareLocalModel, readMonitorLog, resolveAllBeliefPaths, resolveAllGoalPaths, resolveReference, resolveRepoPath, resolveReviewContext, saveCredentials, serializeGoal, setADOCredentials, setSetting, setTursoCredentials, startSession, t, unblockReady, updateCard, updateGoalStatus, updateToken, wouldCreateCycle, writeMonitorEvent };

package/dist/index.js

@@ -219,9 +219,10 @@ async function fetchActiveWorkItems(config) {
 
 // src/kernel/db/connection.ts
 import { existsSync as existsSync2, mkdirSync as mkdirSync2, readFileSync as readFileSync2, rmSync } from "fs";
+import { createRequire } from "module";
 import { homedir as homedir2 } from "os";
 import { dirname as dirname2, join as join2 } from "path";
-import Database from "libsql";
+import BetterSqlite3 from "better-sqlite3";
 
 // src/kernel/db/schema.ts
 var SCHEMA = `
@@ -337,9 +338,24 @@ CREATE INDEX IF NOT EXISTS idx_session_steps_session ON session_steps(session_id
 // src/kernel/db/connection.ts
 var DEFAULT_DB_DIR = join2(homedir2(), ".zam");
 var DEFAULT_DB_PATH = join2(DEFAULT_DB_DIR, "zam.db");
+var require2 = createRequire(import.meta.url);
 function isRemoteDatabasePath(dbPath) {
   return /^(libsql|https?):\/\//i.test(dbPath);
 }
+function openLocalSqlite(dbPath) {
+  return new BetterSqlite3(dbPath);
+}
+function loadLibsql() {
+  try {
+    const module = require2("libsql");
+    return "default" in module ? module.default : module;
+  } catch (err) {
+    const detail = err instanceof Error ? ` ${err.message}` : "";
+    throw new Error(
+      `Turso sync requires the optional native libsql backend, which is not available for ${process.platform}/${process.arch}.${detail}`
+    );
+  }
+}
 function openDatabase(options = {}) {
   const configuredCloud = options.useConfiguredCloud !== false && !options.dbPath && !options.syncUrl ? getTursoCredentials() : null;
   let requiresTurso = false;
@@ -387,19 +403,24 @@ function openDatabase(options = {}) {
     dbOpts.authToken = authToken;
   }
   let db;
-  try {
-    db = new Database(dbPath, dbOpts);
-  } catch (err) {
-    const msg = err.message;
-    if (msg.includes("InvalidLocalState") && options.syncUrl) {
-      const metaPath = `${dbPath}.meta`;
-      const infoPath = `${dbPath}-info`;
-      if (existsSync2(metaPath)) rmSync(metaPath);
-      if (existsSync2(infoPath)) rmSync(infoPath);
-      db = new Database(dbPath, dbOpts);
-    } else {
-      throw err;
+  if (isRemote || isEmbeddedReplica) {
+    const LibsqlDatabase = loadLibsql();
+    try {
+      db = new LibsqlDatabase(dbPath, dbOpts);
+    } catch (err) {
+      const msg = err.message;
+      if (msg.includes("InvalidLocalState") && options.syncUrl) {
+        const metaPath = `${dbPath}.meta`;
+        const infoPath = `${dbPath}-info`;
+        if (existsSync2(metaPath)) rmSync(metaPath);
+        if (existsSync2(infoPath)) rmSync(infoPath);
+        db = new LibsqlDatabase(dbPath, dbOpts);
+      } else {
+        throw err;
+      }
     }
+  } else {
+    db = openLocalSqlite(dbPath);
   }
   if (!isRemote && !isEmbeddedReplica) {
     db.pragma("journal_mode = WAL");
@@ -409,7 +430,7 @@ function openDatabase(options = {}) {
     db.pragma("busy_timeout = 5000");
   }
   if (isEmbeddedReplica) {
-    db.sync();
+    db.sync?.();
   }
   if (options.initialize) {
     db.exec(SCHEMA);
@@ -792,10 +813,47 @@ function getBlockedCards(db, userId) {
 }
 
 // src/kernel/models/prerequisite.ts
+function buildAncestorMap(db) {
+  const rows = db.prepare("SELECT token_id, requires_id FROM prerequisites").all();
+  const map = /* @__PURE__ */ new Map();
+  for (const row of rows) {
+    let ancestors = map.get(row.token_id);
+    if (!ancestors) {
+      ancestors = /* @__PURE__ */ new Set();
+      map.set(row.token_id, ancestors);
+    }
+    ancestors.add(row.requires_id);
+  }
+  return map;
+}
+function wouldCreateCycle(db, tokenId, requiresId) {
+  if (tokenId === requiresId) return true;
+  const ancestors = buildAncestorMap(db);
+  const visited = /* @__PURE__ */ new Set();
+  const queue = [requiresId];
+  while (queue.length > 0) {
+    const current = queue.shift();
+    if (current === tokenId) return true;
+    if (visited.has(current)) continue;
+    visited.add(current);
+    const parents = ancestors.get(current);
+    if (parents) {
+      for (const parent of parents) {
+        if (!visited.has(parent)) queue.push(parent);
+      }
+    }
+  }
+  return false;
+}
 function addPrerequisite(db, tokenId, requiresId) {
   if (tokenId === requiresId) {
     throw new Error("A token cannot be a prerequisite of itself");
   }
+  if (wouldCreateCycle(db, tokenId, requiresId)) {
+    throw new Error(
+      `Cannot add prerequisite: would create a cycle. ${requiresId} already depends on ${tokenId} (directly or transitively).`
+    );
+  }
   db.prepare(
     "INSERT OR IGNORE INTO prerequisites (token_id, requires_id) VALUES (?, ?)"
   ).run(tokenId, requiresId);
@@ -1123,23 +1181,51 @@ function deleteToken(db, slug) {
 }
 function findTokens(db, query) {
   const normalised = query.toLowerCase();
-  const qTokens = new Set(
-    normalised.split(/[\s,.\-_/\\:;!?()[\]{}]+/).filter((t2) => t2.length > 2)
-  );
-  const tokens = db.prepare("SELECT * FROM tokens WHERE deprecated_at IS NULL").all();
-  const scored = [];
-  for (const t2 of tokens) {
-    const words = `${t2.slug} ${t2.concept} ${t2.domain}`.toLowerCase().split(/[\s,.\-_/\\:;!?()[\]{}]+/).filter(Boolean);
-    let score = 0;
-    for (const w of words) {
-      if (qTokens.has(w)) score++;
+  const searchTokens = normalised.split(/[\s,.\-_/\\:;!?()[\]{}]+/).filter((t2) => t2.length > 0);
+  if (searchTokens.length === 0) return [];
+  const shortTerms = searchTokens.filter((t2) => t2.length <= 2);
+  const longTerms = searchTokens.filter((t2) => t2.length > 2);
+  const scoreMap = /* @__PURE__ */ new Map();
+  const likeSQL = `SELECT * FROM tokens WHERE deprecated_at IS NULL AND (lower(slug) LIKE ? OR lower(concept) LIKE ? OR lower(domain) LIKE ?)`;
+  for (const term of longTerms) {
+    const pattern = `%${term}%`;
+    const rows = db.prepare(likeSQL).all(pattern, pattern, pattern);
+    for (const row of rows) {
+      const entry = scoreMap.get(row.id);
+      if (entry) {
+        entry.score++;
+      } else {
+        scoreMap.set(row.id, { token: row, score: 1 });
+      }
     }
-    if (t2.concept.toLowerCase().includes(normalised.slice(0, 25))) {
-      score += 3;
+  }
+  if (shortTerms.length > 0 || longTerms.length === 0) {
+    const allTokens = db.prepare("SELECT * FROM tokens WHERE deprecated_at IS NULL").all();
+    for (const token of allTokens) {
+      const words = `${token.slug} ${token.concept} ${token.domain}`.toLowerCase().split(/[\s,.\-_/\\:;!?()[\]{}]+/).filter(Boolean);
+      let matchCount = 0;
+      for (const term of shortTerms.length > 0 ? shortTerms : searchTokens) {
+        for (const w of words) {
+          if (w === term) matchCount++;
+        }
+      }
+      if (matchCount > 0) {
+        const entry = scoreMap.get(token.id);
+        if (entry) {
+          entry.score += matchCount;
+        } else {
+          scoreMap.set(token.id, { token, score: matchCount });
+        }
+      }
     }
-    if (score > 0) {
-      scored.push({ score, ...t2 });
+  }
+  const scored = [];
+  for (const { token, score } of scoreMap.values()) {
+    let finalScore = score;
+    if (token.concept.toLowerCase().includes(normalised.slice(0, 25))) {
+      finalScore += 3;
     }
+    scored.push({ score: finalScore, ...token });
   }
   scored.sort((a, b) => b.score - a.score);
   return scored;
@@ -2556,7 +2642,8 @@ import {
   copyFileSync,
   existsSync as existsSync6,
   mkdirSync as mkdirSync4,
-  readFileSync as readFileSync6
+  readFileSync as readFileSync6,
+  writeFileSync as writeFileSync3
 } from "fs";
 import { homedir as homedir4 } from "os";
 import { join as join6 } from "path";
@@ -2672,102 +2759,82 @@ function distributeGlobalSkills(home = HOME) {
   }
   return results;
 }
-function injectShellHooks() {
-  const results = [];
-  const hookLine = `
+var POSIX_OLD_HOOK = `
 # ZAM Shell Observation Hooks
 if (command -v zam >/dev/null 2>&1); then eval "$(zam monitor start --quiet)"; fi
 `;
-  const pwshHookLine = `
+var POWERSHELL_OLD_HOOK = `
 # ZAM Shell Observation Hooks
 if (Get-Command zam -ErrorAction SilentlyContinue) { Invoke-Expression (& zam monitor start --quiet pwsh) }
 `;
-  const zshrc = join6(HOME, ".zshrc");
-  if (existsSync6(zshrc)) {
-    try {
-      const content = readFileSync6(zshrc, "utf8");
-      if (content.includes("zam monitor start")) {
-        results.push({
-          shell: "zsh",
-          file: zshrc,
-          success: true,
-          alreadyHooked: true
-        });
-      } else {
-        appendFileSync2(zshrc, hookLine);
-        results.push({
-          shell: "zsh",
-          file: zshrc,
-          success: true,
-          alreadyHooked: false
-        });
-      }
-    } catch {
-      results.push({
-        shell: "zsh",
-        file: zshrc,
-        success: false,
-        alreadyHooked: false
-      });
+var HOOK_MARKER = "# ZAM Monitor Session Helper";
+function posixHook(shell) {
+  return `
+${HOOK_MARKER}
+zam-monitor-session() {
+  local session_id="\${1:-}"
+  if [ -z "$session_id" ]; then
+    printf 'Usage: zam-monitor-session <session-id>
+' >&2
+    return 2
+  fi
+  eval "$(command zam monitor start --session "$session_id" --shell ${shell})"
+}
+`;
+}
+var POWERSHELL_HOOK = `
+${HOOK_MARKER}
+function Start-ZamMonitor {
+  param([Parameter(Mandatory = $true)][string]$Session)
+  Invoke-Expression (& zam monitor start --session $Session --shell pwsh)
+}
+`;
+function installHook(file, hook, oldHook) {
+  try {
+    const content = existsSync6(file) ? readFileSync6(file, "utf8") : "";
+    if (content.includes(HOOK_MARKER)) {
+      return { success: true, alreadyHooked: true };
     }
+    if (content.includes(oldHook.trim())) {
+      writeFileSync3(file, content.replace(oldHook.trim(), hook.trim()), "utf8");
+    } else {
+      appendFileSync2(file, hook);
+    }
+    return { success: true, alreadyHooked: false };
+  } catch {
+    return { success: false, alreadyHooked: false };
+  }
+}
+function injectShellHooks(home = HOME) {
+  const results = [];
+  const zshrc = join6(home, ".zshrc");
+  if (existsSync6(zshrc)) {
+    const status = installHook(zshrc, posixHook("zsh"), POSIX_OLD_HOOK);
+    results.push({ shell: "zsh", file: zshrc, ...status });
   }
-  const bashrc = join6(HOME, ".bashrc");
+  const bashrc = join6(home, ".bashrc");
   if (existsSync6(bashrc)) {
-    try {
-      const content = readFileSync6(bashrc, "utf8");
-      if (content.includes("zam monitor start")) {
-        results.push({
-          shell: "bash",
-          file: bashrc,
-          success: true,
-          alreadyHooked: true
-        });
-      } else {
-        appendFileSync2(bashrc, hookLine);
-        results.push({
-          shell: "bash",
-          file: bashrc,
-          success: true,
-          alreadyHooked: false
-        });
-      }
-    } catch {
-      results.push({
-        shell: "bash",
-        file: bashrc,
-        success: false,
-        alreadyHooked: false
-      });
-    }
+    const status = installHook(bashrc, posixHook("bash"), POSIX_OLD_HOOK);
+    results.push({ shell: "bash", file: bashrc, ...status });
   }
   const pwshDirs = [
-    join6(HOME, "Documents", "PowerShell"),
-    join6(HOME, "Documents", "WindowsPowerShell")
+    join6(home, "Documents", "PowerShell"),
+    join6(home, "Documents", "WindowsPowerShell")
   ];
   for (const dir of pwshDirs) {
     const profileFile = join6(dir, "Microsoft.PowerShell_profile.ps1");
     try {
       mkdirSync4(dir, { recursive: true });
-      let content = "";
-      if (existsSync6(profileFile)) {
-        content = readFileSync6(profileFile, "utf8");
-      }
-      if (content.includes("zam monitor start")) {
-        results.push({
-          shell: "powershell",
-          file: profileFile,
-          success: true,
-          alreadyHooked: true
-        });
-      } else {
-        appendFileSync2(profileFile, pwshHookLine);
-        results.push({
-          shell: "powershell",
-          file: profileFile,
-          success: true,
-          alreadyHooked: false
-        });
-      }
+      const status = installHook(
+        profileFile,
+        POWERSHELL_HOOK,
+        POWERSHELL_OLD_HOOK
+      );
+      results.push({
+        shell: "powershell",
+        file: profileFile,
+        ...status
+      });
     } catch {
       results.push({
         shell: "powershell",
@@ -2989,7 +3056,7 @@ function t(locale, key, params = {}) {
 }
 
 // src/kernel/system/installer.ts
-import { execSync } from "child_process";
+import { execFileSync, execSync } from "child_process";
 import { existsSync as existsSync7 } from "fs";
 import { homedir as homedir5 } from "os";
 import { join as join7 } from "path";
@@ -3094,6 +3161,51 @@ function installOllama() {
     }
   }
 }
+function resolveOllamaCommand() {
+  if (hasCommand("ollama")) return "ollama";
+  const candidates = process.platform === "win32" ? [
+    join7(
+      homedir5(),
+      "AppData",
+      "Local",
+      "Programs",
+      "Ollama",
+      "ollama.exe"
+    )
+  ] : process.platform === "darwin" ? ["/Applications/Ollama.app/Contents/Resources/ollama"] : [];
+  return candidates.find((candidate) => existsSync7(candidate));
+}
+function prepareLocalModel(runner, model) {
+  if (runner === "fastflowlm") {
+    return {
+      success: true,
+      message: `${model} will be downloaded by FastFlowLM on first use.`
+    };
+  }
+  if (runner !== "ollama") {
+    return {
+      success: false,
+      message: "No supported local LLM runner was selected."
+    };
+  }
+  const ollamaCommand = resolveOllamaCommand();
+  if (!ollamaCommand) {
+    return {
+      success: false,
+      message: `Ollama was installed but its command is not available yet. Restart the terminal, then run ollama pull ${model}.`
+    };
+  }
+  console.log(`Downloading ${model} with Ollama...`);
+  try {
+    execFileSync(ollamaCommand, ["pull", model], { stdio: "inherit" });
+    return { success: true, message: `${model} is ready in Ollama.` };
+  } catch (err) {
+    return {
+      success: false,
+      message: `Could not prepare ${model}: ${err.message}. Start Ollama and run: ollama pull ${model}`
+    };
+  }
+}
 
 // src/kernel/system/locale.ts
 import { execSync as execSync2 } from "child_process";
@@ -3329,6 +3441,7 @@ export {
   pairCommands,
   parseGoalFile,
   parseMonitorLog,
+  prepareLocalModel,
   readMonitorLog,
   resolveAllBeliefPaths,
   resolveAllGoalPaths,
@@ -3346,6 +3459,7 @@ export {
   updateCard,
   updateGoalStatus,
   updateToken,
+  wouldCreateCycle,
   writeMonitorEvent
 };
 //# sourceMappingURL=index.js.map