infernoflow 0.43.12 → 0.44.0

package/dist/templates/cursor/inferno-mcp-server.mjs

@@ -2,19 +2,127 @@ import { execSync } from "node:child_process";
 import fs from "node:fs";
 import path from "node:path";
 import readline from "node:readline";
+import { createRequire } from "node:module";
+import { pathToFileURL, fileURLToPath } from "node:url";
+
+const require = createRequire(import.meta.url);
+
+/**
+ * Find the root of the infernoflow package, regardless of how this file was
+ * launched. Tried in order:
+ *   1. Walk UP from this file's own location looking for a package.json with
+ *      name=infernoflow. This works whether the template is run from inside
+ *      infernoflow-pkg/, from a project's .cursor/ copy (via require.resolve),
+ *      or from a test temp dir.
+ *   2. require.resolve("infernoflow/package.json") — works if infernoflow is
+ *      in node_modules of the CWD or one of its parents.
+ * Returns null if neither finds infernoflow.
+ */
+function findInfernoflowRoot() {
+  let dir = path.dirname(fileURLToPath(import.meta.url));
+  while (true) {
+    const pj = path.join(dir, "package.json");
+    if (fs.existsSync(pj)) {
+      try {
+        const meta = JSON.parse(fs.readFileSync(pj, "utf8"));
+        if (meta && meta.name === "infernoflow") return dir;
+      } catch {}
+    }
+    const parent = path.dirname(dir);
+    if (parent === dir) break;
+    dir = parent;
+  }
+  try {
+    return path.dirname(require.resolve("infernoflow/package.json"));
+  } catch {}
+  return null;
+}
+
+const INFERNOFLOW_ROOT = findInfernoflowRoot();
 
 function send(obj) { process.stdout.write(JSON.stringify(obj) + "\n"); }
 function sendResult(id, result) { send({ jsonrpc: "2.0", id, result }); }
 function sendError(id, code, message) { send({ jsonrpc: "2.0", id, error: { code, message } }); }
 
+// ── Infernoflow resolution ─────────────────────────────────────────────────
+// Avoid `npx infernoflow`. npx may resolve to a different (registry-fetched)
+// version than what the user installed, which silently breaks subcommands.
+// Resolve a deterministic location once at startup, in priority order:
+//   1. infernoflow installed in the project's node_modules (npm i / npm link)
+//   2. `where`/`which` the global binary
+// Returns null if nothing is found; runCmd surfaces a clear error in that case.
+function resolveInfernoflowBin() {
+  if (INFERNOFLOW_ROOT) {
+    for (const c of [
+      path.join(INFERNOFLOW_ROOT, "dist", "bin", "infernoflow.mjs"),
+      path.join(INFERNOFLOW_ROOT, "bin",  "infernoflow.mjs"),
+    ]) if (fs.existsSync(c)) return c;
+  }
+  try {
+    const lookup = process.platform === "win32" ? "where infernoflow" : "which infernoflow";
+    const out = execSync(lookup, { encoding: "utf8", stdio: ["ignore", "pipe", "ignore"] }).trim();
+    const first = out.split(/\r?\n/)[0];
+    if (first && fs.existsSync(first)) return first;
+  } catch {}
+  return null;
+}
+
+const INFERNOFLOW_BIN = resolveInfernoflowBin();
+
+// In-process AMP I/O loader. When available, amp_write / amp_read bypass the
+// CLI entirely — no subprocess, no version skew, no flag-mapping field loss.
+// Falls back to shell-out via runCmd() if the AMP layer can't be loaded.
+let ampIo = null;
+let refreshRuleFiles = null;
+if (INFERNOFLOW_ROOT) {
+  try {
+    for (const c of [
+      path.join(INFERNOFLOW_ROOT, "lib",  "amp", "io.mjs"),
+      path.join(INFERNOFLOW_ROOT, "dist", "lib", "amp", "io.mjs"),
+    ]) {
+      if (fs.existsSync(c)) { ampIo = await import(pathToFileURL(c).href); break; }
+    }
+    for (const c of [
+      path.join(INFERNOFLOW_ROOT, "lib",  "ruleFiles.mjs"),
+      path.join(INFERNOFLOW_ROOT, "dist", "lib", "ruleFiles.mjs"),
+    ]) {
+      if (fs.existsSync(c)) { refreshRuleFiles = (await import(pathToFileURL(c).href)).refreshRuleFilesFromMemory; break; }
+    }
+  } catch { /* swallow — fallback path handles it */ }
+}
+
+// ── Clean-tree policy: regenerate rule files ONCE at boot ──────────────────
+// Historically, every amp_write rewrote CLAUDE.md / .cursorrules. That
+// dirtied tracked files dozens of times per session and blocked git
+// checkout. Now we regenerate exactly once when the MCP server starts —
+// enough for the next AI session to boot warm — and never again during
+// the session. amp_read serves runtime queries; rule-file content is
+// for cold-start injection only.
+if (refreshRuleFiles) {
+  try { refreshRuleFiles(process.cwd()); } catch { /* non-fatal */ }
+}
+
 /**
  * Run the infernoflow CLI. Returns either the stdout string OR a structured
  * error object so call sites can decide whether to surface it via JSON-RPC
  * sendError() instead of returning gibberish text to the agent.
  */
 function runCmd(args, env = {}) {
+  if (!INFERNOFLOW_BIN) {
+    return {
+      __error: true,
+      message: "infernoflow not installed — install it locally (`npm i infernoflow`) or globally (`npm i -g infernoflow`)",
+      stderr: "",
+      stdout: "",
+      status: 127,
+    };
+  }
   try {
-    return execSync(`npx infernoflow ${args}`, {
+    const isMjs = INFERNOFLOW_BIN.toLowerCase().endsWith(".mjs");
+    const cmd = isMjs
+      ? `"${process.execPath}" "${INFERNOFLOW_BIN}" ${args}`
+      : `"${INFERNOFLOW_BIN}" ${args}`;
+    return execSync(cmd, {
       encoding: "utf8",
       cwd: process.cwd(),
       timeout: 30000,
@@ -36,26 +144,27 @@ function isCmdError(result) {
   return typeof result === "object" && result !== null && result.__error === true;
 }
 
+// ── MCP tool surface after Phase 4 truth audit ────────────────────────────
+// Mission: session memory. The off-mission contract-iteration tools
+// (infernoflow_run / _apply / _implement / _review / _scan_ui) were cut —
+// they duplicated CLI commands that are themselves gone, and the fragile
+// env-var subprocess handoff for _apply was a recurring bug source.
+// What remains is everything an AI agent needs to capture, query, and
+// hand off memory between sessions, plus the two read-only contract
+// helpers that pair cleanly with the kept CLI surface.
 const TOOLS = [
-  { name: "infernoflow_run", description: "Generate an infernoflow task prompt. Returns the prompt — respond to it with JSON, then call infernoflow_apply.", inputSchema: { type: "object", properties: { task: { type: "string", description: "What to build" } }, required: ["task"] } },
-  { name: "infernoflow_apply", description: "Apply an infernoflow suggestion JSON returned by the agent. Call this after responding to infernoflow_run.", inputSchema: { type: "object", properties: { json: { type: "string", description: "The JSON suggestion from the agent" } }, required: ["json"] } },
-  { name: "infernoflow_check", description: "Validate infernoflow contract and capabilities", inputSchema: { type: "object", properties: {} } },
-  { name: "infernoflow_status", description: "Show contract health at a glance", inputSchema: { type: "object", properties: {} } },
-  { name: "infernoflow_context", description: "Generate AI-ready context", inputSchema: { type: "object", properties: { intent: { type: "string" }, working: { type: "string" } } } },
-  { name: "infernoflow_git_drift", description: "Detect which capabilities may be affected by recent code changes. Compares git-changed files to the capability registry and returns suggestions for contract updates.", inputSchema: { type: "object", properties: { sinceCommits: { type: "number", description: "How many commits back to check (default: 1)" } } } },
-  { name: "infernoflow_implement", description: "Generate a structured code implementation prompt for a task. Uses the contract and stack context to produce step-by-step coding instructions for the agent.", inputSchema: { type: "object", properties: { task: { type: "string", description: "What to implement" }, mode: { type: "string", enum: ["cursor", "generic", "both"], description: "Prompt style (default: both)" } }, required: ["task"] } },
-  { name: "infernoflow_scan_ui", description: "Scan components and styles for UI changes vs the stored contract. Returns new/changed components, design token changes, and suggested contract updates.", inputSchema: { type: "object", properties: {} } },
-  { name: "infernoflow_review", description: "Pre-merge capability drift check. Compares all changed files in the current branch against the capability contract and reports drift risk before you merge.", inputSchema: { type: "object", properties: { branch: { type: "string", description: "Branch to compare against (default: main)" } } } },
-
-  // ── AMP-spec MCP tools (per docs/protocol/PROTOCOL.md §7.3) ────────────────
-  // These are the standard names any AMP-compliant MCP server should expose.
-  // They're thin wrappers around the existing infernoflow_* tools so AMP-only
-  // clients don't need to know the infernoflow_ vendor prefix.
+  // ── AMP-spec memory tools (the product) ──────────────────────────────────
   { name: "amp_read",    description: "AMP: read session memory entries with optional filters.", inputSchema: { type: "object", properties: { file: { type: "string" }, type: { type: "string", enum: ["gotcha","decision","attempt","note","detection","pattern"] }, query: { type: "string" }, limit: { type: "number" } } } },
   { name: "amp_write",   description: "AMP: log a new entry. Required: type + msg. Optional: file, line, tags.", inputSchema: { type: "object", properties: { type: { type: "string", enum: ["gotcha","decision","attempt","note","detection","pattern"] }, msg: { type: "string" }, file: { type: "string" }, line: { type: "number" }, tags: { type: "array", items: { type: "string" } } }, required: ["type","msg"] } },
-  { name: "amp_handoff", description: "AMP: generate the handoff document for the next AI session. format=markdown|json (default: markdown).", inputSchema: { type: "object", properties: { format: { type: "string", enum: ["markdown","json"] } } } },
   { name: "amp_search",  description: "AMP: search entries by keyword. Optional type filter.", inputSchema: { type: "object", properties: { query: { type: "string" }, type: { type: "string", enum: ["gotcha","decision","attempt","note","detection","pattern"] } }, required: ["query"] } },
+  { name: "amp_handoff", description: "AMP: generate the handoff document for the next AI session. format=markdown|json (default: markdown).", inputSchema: { type: "object", properties: { format: { type: "string", enum: ["markdown","json"] } } } },
   { name: "amp_health",  description: "AMP: get the session health score (0-100, A-F grade).", inputSchema: { type: "object", properties: {} } },
+
+  // ── Read-only contract helpers ───────────────────────────────────────────
+  { name: "infernoflow_status",    description: "Show project memory + contract health at a glance.", inputSchema: { type: "object", properties: {} } },
+  { name: "infernoflow_check",     description: "Validate the capability contract (read-only).", inputSchema: { type: "object", properties: {} } },
+  { name: "infernoflow_context",   description: "Generate AI-ready context for a task.", inputSchema: { type: "object", properties: { intent: { type: "string" }, working: { type: "string" } } } },
+  { name: "infernoflow_git_drift", description: "Detect which capabilities may be affected by recent code changes — useful when memory needs branch-aware revalidation.", inputSchema: { type: "object", properties: { sinceCommits: { type: "number", description: "How many commits back to check (default: 1)" } } } },
 ];
 
 // ── git drift detection (inline — no external imports in this template file) ─
@@ -173,305 +282,11 @@ function detectGitDrift(sinceCommits) {
   return lines.join("\n");
 }
 
-// ── infernoflow_scan_ui ────────────────────────────────────────────────────
-function scanUi() {
-  const cwd = process.cwd();
-  const infernoDir = path.join(cwd, "inferno");
-  const contractPath = path.join(infernoDir, "contract.json");
-  if (!fs.existsSync(contractPath)) return "inferno/ not found — run infernoflow init first";
-
-  const contract = JSON.parse(fs.readFileSync(contractPath, "utf8"));
-  const storedUi = contract.ui || {};
-
-  // Collect style + component files
-  const styleExts = /\.(css|scss|sass|less|ts|tsx|js|jsx|html)$/;
-  const SKIP = new Set(["node_modules", ".git", "dist", "build", ".angular", ".next", "vendor", "coverage"]);
-  const files = [];
-  const walk = (dir) => {
-    try {
-      for (const entry of fs.readdirSync(dir, { withFileTypes: true })) {
-        const full = path.join(dir, entry.name);
-        if (entry.isDirectory()) { if (!SKIP.has(entry.name)) walk(full); }
-        else if (styleExts.test(entry.name) && !entry.name.includes(".min.") && !entry.name.endsWith(".map")) files.push(full);
-      }
-    } catch {}
-  };
-  for (const root of ["src", "app", "frontend", "components", "styles"]) {
-    const p = path.join(cwd, root);
-    if (fs.existsSync(p)) walk(p);
-  }
-
-  // Extract current components from TS/TSX files
-  const currentComponents = new Set();
-  const currentTokens = new Set();
-
-  for (const f of files) {
-    const text = fs.existsSync(f) ? fs.readFileSync(f, "utf8") : "";
-    // Components
-    for (const m of text.matchAll(/@Component[\s\S]*?class\s+([A-Z][A-Za-z0-9_]*Component)/g)) currentComponents.add(m[1].replace(/Component$/, ""));
-    for (const m of text.matchAll(/export\s+(?:default\s+)?function\s+([A-Z][A-Za-z0-9_]*)/g)) currentComponents.add(m[1]);
-    // Design tokens
-    for (const m of text.matchAll(/--([a-zA-Z][a-zA-Z0-9_-]*)\s*:/g)) currentTokens.add(`--${m[1]}`);
-  }
-
-  const storedComponents = new Set(storedUi.components || []);
-  const storedTokens = new Set(storedUi.designTokens || []);
-
-  const newComponents = [...currentComponents].filter(c => !storedComponents.has(c));
-  const removedComponents = [...storedComponents].filter(c => !currentComponents.has(c));
-  const newTokens = [...currentTokens].filter(t => !storedTokens.has(t));
-  const removedTokens = [...storedTokens].filter(t => !currentTokens.has(t));
-
-  const lines = ["## infernoflow UI scan report", ""];
-
-  if (!newComponents.length && !removedComponents.length && !newTokens.length && !removedTokens.length) {
-    lines.push("✔ No UI changes detected since last scan.");
-    return lines.join("\n");
-  }
-
-  if (newComponents.length) {
-    lines.push(`### New components (${newComponents.length})`);
-    newComponents.slice(0, 15).forEach(c => lines.push(`  + ${c}`));
-    lines.push("");
-  }
-  if (removedComponents.length) {
-    lines.push(`### Removed components (${removedComponents.length})`);
-    removedComponents.slice(0, 10).forEach(c => lines.push(`  - ${c}`));
-    lines.push("");
-  }
-  if (newTokens.length) {
-    lines.push(`### New design tokens (${newTokens.length})`);
-    newTokens.slice(0, 10).forEach(t => lines.push(`  + ${t}`));
-    lines.push("");
-  }
-  if (removedTokens.length) {
-    lines.push(`### Removed design tokens (${removedTokens.length})`);
-    removedTokens.slice(0, 10).forEach(t => lines.push(`  - ${t}`));
-    lines.push("");
-  }
-
-  lines.push("### Suggested action");
-  if (newComponents.length) {
-    const newCaps = newComponents.slice(0, 5).map(c => `View${c}`).join(", ");
-    lines.push(`Consider adding these capabilities: ${newCaps}`);
-    lines.push(`Call infernoflow_run with task "add UI capabilities for new components: ${newComponents.slice(0,3).join(", ")}" to update the contract.`);
-  }
-
-  return lines.join("\n");
-}
-
-// ── infernoflow_review ─────────────────────────────────────────────────────
-function reviewDrift(baseBranch) {
-  const cwd = process.cwd();
-  const infernoDir = path.join(cwd, "inferno");
-  const contractPath = path.join(infernoDir, "contract.json");
-  if (!fs.existsSync(contractPath)) return "inferno/ not found — run infernoflow init first";
-
-  const contract = JSON.parse(fs.readFileSync(contractPath, "utf8"));
-
-  // Get changed files vs base branch
-  const runGit = (cmd) => { try { return execSync(cmd, { cwd, encoding: "utf8", timeout: 15_000 }); } catch { return ""; } };
-
-  const diffOutput = runGit(`git diff --name-only ${baseBranch}...HEAD`);
-  const changedFiles = diffOutput.split("\n").map(l => l.trim()).filter(Boolean);
-
-  if (!changedFiles.length) return `No changes detected vs ${baseBranch}. Safe to merge.`;
-
-  // Categorise changed files
-  const infraFiles = changedFiles.filter(f => /\.(json|yaml|yml|env|config|lock)$/.test(f) || f.includes("inferno/"));
-  const sourceFiles = changedFiles.filter(f => /\.(ts|tsx|js|jsx|mjs|cs|py|go|java)$/.test(f));
-  const styleFiles = changedFiles.filter(f => /\.(css|scss|sass|less)$/.test(f));
-  const contractChanged = changedFiles.some(f => f.startsWith("inferno/"));
-
-  // Keyword-based drift detection on changed source files
-  const HEURISTICS = [
-    { kw: ["search"], id: "SearchItems" }, { kw: ["filter"], id: "FilterItems" },
-    { kw: ["auth", "login", "logout"], id: "Authentication" },
-    { kw: ["create", "add", "new"], id: "CreateItem" },
-    { kw: ["update", "edit", "patch"], id: "UpdateItem" },
-    { kw: ["delete", "remove"], id: "DeleteItem" },
-    { kw: ["list", "read", "fetch", "get"], id: "ReadItems" },
-    { kw: ["due", "deadline"], id: "SetDueDate" },
-    { kw: ["priority"], id: "SetPriority" },
-    { kw: ["complete", "toggle"], id: "ToggleComplete" },
-    { kw: ["export", "download"], id: "ExportData" },
-    { kw: ["import", "upload"], id: "ImportData" },
-    { kw: ["notify", "notification", "email"], id: "SendNotification" },
-    { kw: ["payment", "checkout", "stripe"], id: "ProcessPayment" },
-  ];
-
-  const capHits = new Map();
-  const registeredCaps = new Set(contract.capabilities || []);
-
-  for (const file of sourceFiles) {
-    const lower = file.toLowerCase();
-    for (const rule of HEURISTICS) {
-      if (rule.kw.some(k => lower.includes(k))) {
-        if (!capHits.has(rule.id)) capHits.set(rule.id, []);
-        capHits.get(rule.id).push(file);
-      }
-    }
-  }
-
-  const newCapSignals = [...capHits.entries()].filter(([id]) => !registeredCaps.has(id));
-  const existingCapSignals = [...capHits.entries()].filter(([id]) => registeredCaps.has(id));
-
-  const lines = [
-    `## infernoflow PR review — drift check vs \`${baseBranch}\``,
-    `Changed files: ${changedFiles.length} | Source: ${sourceFiles.length} | Styles: ${styleFiles.length} | Infra: ${infraFiles.length}`,
-    "",
-  ];
-
-  // Risk assessment
-  let riskLevel = "LOW";
-  if (newCapSignals.length > 0) riskLevel = "MEDIUM";
-  if (newCapSignals.length >= 3 || (newCapSignals.length >= 1 && !contractChanged)) riskLevel = "HIGH";
-
-  const riskEmoji = riskLevel === "HIGH" ? "🔴" : riskLevel === "MEDIUM" ? "🟡" : "🟢";
-  lines.push(`### ${riskEmoji} Drift risk: ${riskLevel}`);
-  lines.push("");
-
-  if (contractChanged) {
-    lines.push("✔ inferno/ contract files were updated in this PR — good practice.");
-    lines.push("");
-  } else if (sourceFiles.length > 0) {
-    lines.push("⚠ Source files changed but inferno/ contract was NOT updated.");
-    lines.push("  Consider running: infernoflow_run to check if capabilities need updating.");
-    lines.push("");
-  }
-
-  if (newCapSignals.length > 0) {
-    lines.push(`### Possible new capabilities (not in contract):`);
-    for (const [id, files] of newCapSignals.slice(0, 6)) {
-      lines.push(`  - **${id}** — suggested by: ${files.slice(0,2).join(", ")}`);
-    }
-    lines.push("");
-    lines.push(`Suggested action: call infernoflow_run with task "review new capabilities: ${newCapSignals.slice(0,3).map(([id])=>id).join(', ')}"`);
-    lines.push("");
-  }
-
-  if (existingCapSignals.length > 0) {
-    lines.push(`### Existing capabilities touched:`);
-    for (const [id, files] of existingCapSignals.slice(0, 6)) {
-      lines.push(`  - **${id}** — ${files.slice(0,2).join(", ")}`);
-    }
-    lines.push("");
-  }
-
-  if (styleFiles.length > 0) {
-    lines.push(`### Style changes (${styleFiles.length} files) — run infernoflow_scan_ui to check UI contract`);
-    styleFiles.slice(0, 5).forEach(f => lines.push(`  - ${f}`));
-    lines.push("");
-  }
-
-  if (riskLevel === "LOW" && !newCapSignals.length) {
-    lines.push("✔ No new capability signals detected. Safe to merge (run infernoflow_check as final gate).");
-  }
-
-  return lines.join("\n");
-}
-
-function buildImplementPrompt(task, mode) {
-  const cwd = process.cwd();
-  const infernoDir = path.join(cwd, "inferno");
-  const contractPath = path.join(infernoDir, "contract.json");
-  const capsPath = path.join(infernoDir, "capabilities.json");
-  const profilePath = path.join(infernoDir, "developer-profile.json");
-
-  if (!fs.existsSync(contractPath)) return "inferno/ not found — run infernoflow init first";
-
-  const contract = JSON.parse(fs.readFileSync(contractPath, "utf8"));
-  const caps = fs.existsSync(capsPath) ? JSON.parse(fs.readFileSync(capsPath, "utf8")) : {};
-  const profile = fs.existsSync(profilePath) ? JSON.parse(fs.readFileSync(profilePath, "utf8")) : {};
-
-  const capList = (caps.capabilities || []).map(c => `  - ${c.id}: ${c.title || c.id}`).join("\n");
-  const stack = profile.stack || {};
-  const stackLine = [stack.framework, stack.language, stack.projectType].filter(Boolean).join(" / ") || "unknown";
-  const namingStyle = profile.namingStyle || "PascalCase";
-
-  const cursorPrompt = `## Cursor Agent Implementation Prompt
-Task: "${task}"
-Project: ${contract.policyId} (${stackLine})
-Naming convention: ${namingStyle}
-
-### Current capabilities
-${capList || "  (none registered)"}
-
-### Implementation instructions
-1. Implement "${task}" following the existing code patterns in this project
-2. Use ${namingStyle} for any new identifiers, matching the existing capability naming
-3. Keep changes minimal — only touch files relevant to this task
-4. After implementing, call \`infernoflow_run\` with task "${task}" to update the contract
-5. Then call \`infernoflow_check\` to validate everything is in sync
-
-### Definition of done
-- Feature works as described
-- Contract updated via infernoflow_run → infernoflow_apply
-- infernoflow_check passes`;
-
-  const genericPrompt = `## Implementation Prompt
-Task: "${task}"
-Project: ${contract.policyId}
-Stack: ${stackLine}
-Capabilities already in contract: ${(contract.capabilities || []).join(", ")}
-
-Implement the task above. When done, run:
-  infernoflow suggest "${task}"
-  infernoflow check`;
-
-  if (mode === "cursor") return cursorPrompt;
-  if (mode === "generic") return genericPrompt;
-  return cursorPrompt + "\n\n---\n\n" + genericPrompt;
-}
-
-function buildPrompt(task) {
-  const infernoDir = path.join(process.cwd(), "inferno");
-  const contractPath = path.join(infernoDir, "contract.json");
-  const capsPath = path.join(infernoDir, "capabilities.json");
-  if (!fs.existsSync(contractPath)) return null;
-  const contract = JSON.parse(fs.readFileSync(contractPath, "utf8"));
-  const caps = fs.existsSync(capsPath) ? JSON.parse(fs.readFileSync(capsPath, "utf8")) : {};
-  const capList = (caps.capabilities || []).map(c => `  - ${c.id}: ${c.title || c.id}`).join("\n");
-  return `You are a developer assistant for the infernoflow CLI tool.
-Analyze this task and suggest updates to the infernoflow contract files.
-
-## Current contract
-policyId: ${contract.policyId}
-policyVersion: ${contract.policyVersion}
-capabilities: [${(contract.capabilities || []).join(", ")}]
-
-## Capabilities registry
-${capList || "  (none)"}
-
-## Task
-"${task}"
-
-## Instructions
-Respond with ONLY a valid JSON object:
-{
-  "summary": "one-line summary of what changed",
-  "newCapabilities": [{ "id": "PascalCase", "title": "Human readable title", "reason": "why this is new" }],
-  "removedCapabilities": [],
-  "updatedScenarios": [],
-  "changelogEntry": "- Short description for CHANGELOG.md"
-}`;
-}
-
 function handleTool(id, name, input) {
   try {
     let text = "";
-    if (name === "infernoflow_run") {
-      const prompt = buildPrompt(input.task);
-      if (!prompt) { sendError(id, -32000, "inferno/ not found — run infernoflow init first"); return; }
-      const promptFile = path.join(process.cwd(), "inferno", "agent-prompt.md");
-      fs.writeFileSync(promptFile, prompt, "utf8");
-      text = `## infernoflow task: "${input.task}"\n\n${prompt}\n\n---\nRespond with the JSON, then call **infernoflow_apply** with your JSON string.`;
-    } else if (name === "infernoflow_apply") {
-      const responseFile = path.join(process.cwd(), "inferno", "agent-response.json");
-      let json = input.json.trim().replace(/^```json?\n?/, "").replace(/\n?```$/, "");
-      fs.writeFileSync(responseFile, json, "utf8");
-      text = runCmd(`run "apply"`, { INFERNO_AGENT_RESPONSE_FILE: responseFile, INFERNO_AGENT_AVAILABLE: "1" });
-    } else if (name === "infernoflow_check") {
+    // ── Read-only contract helpers ─────────────────────────────────────────
+    if (name === "infernoflow_check") {
       text = runCmd("check");
     } else if (name === "infernoflow_status") {
       text = runCmd("status");
@@ -482,14 +297,8 @@ function handleTool(id, name, input) {
       text = runCmd("context " + parts.join(" "));
     } else if (name === "infernoflow_git_drift") {
       text = detectGitDrift(input.sinceCommits || 1);
-    } else if (name === "infernoflow_implement") {
-      text = buildImplementPrompt(input.task, input.mode || "both");
-    } else if (name === "infernoflow_scan_ui") {
-      text = scanUi();
-    } else if (name === "infernoflow_review") {
-      text = reviewDrift(input.branch || "main");
-
-    // ── AMP-spec aliases ───────────────────────────────────────────────────
+
+    // ── AMP-spec memory tools ──────────────────────────────────────────────
     } else if (name === "amp_read") {
       const args = [];
       if (input.query) args.push(JSON.stringify(input.query));
@@ -497,11 +306,47 @@ function handleTool(id, name, input) {
       if (input.limit) args.push("--limit", String(input.limit));
       text = runCmd("ask " + args.join(" "));
     } else if (name === "amp_write") {
-      const t = (input.type || "note").replace(/[^a-z]/g, "");
-      const m = JSON.stringify(input.msg || "");
-      const extras = [];
-      if (input.file) extras.push("--source", JSON.stringify(input.file));
-      text = runCmd(`log ${m} --type ${t} ${extras.join(" ")}`);
+      // Prefer in-process write: no subprocess, no `npx` version skew, and
+      // file/line/tags reach disk unchanged. The CLI fallback below is only
+      // used when infernoflow's AMP layer can't be imported.
+      if (ampIo) {
+        const entry = {
+          ts:      new Date().toISOString(),
+          type:    input.type || "note",
+          summary: input.msg || "",
+          agent:   process.env.INFERNOFLOW_AGENT
+                   || (process.env.CLAUDE_CODE_SESSION ? "claude"
+                   :  process.env.CURSOR_SESSION       ? "cursor"
+                   :  process.env.COPILOT_SESSION      ? "copilot"
+                   :                                     "claude"),
+        };
+        if (input.file)                       entry.file = input.file;
+        if (input.line)                       entry.line = input.line;
+        if (input.tags && input.tags.length)  entry.tags = input.tags;
+        try {
+          const written = ampIo.appendEntry(process.cwd(), entry);
+          // NOTE: rule-file refresh deliberately NOT called here — clean-tree
+          // policy regenerates them once at MCP boot only. Doing it on every
+          // write dirties tracked files and blocks `git checkout`. Within a
+          // session, the agent uses amp_read for fresh queries; rule files
+          // are for cold-start injection of the *next* session.
+          text = `✔ Logged [${written.type}] ${written.id}\n  msg:  ${written.msg}` +
+                 (written.file ? `\n  file: ${written.file}${written.line ? ":" + written.line : ""}` : "") +
+                 (written.tags ? `\n  tags: ${written.tags.join(", ")}` : "");
+        } catch (err) {
+          return sendError(id, -32000, `amp_write failed (in-process): ${err.message}`);
+        }
+      } else {
+        // Fallback: shell-out. Pass --file/--line/--tags through the CLI so
+        // they're not silently dropped like in the original implementation.
+        const t = (input.type || "note").replace(/[^a-z]/g, "");
+        const m = JSON.stringify(input.msg || "");
+        const extras = [];
+        if (input.file)                      extras.push("--file", JSON.stringify(input.file));
+        if (input.line)                      extras.push("--line", String(input.line));
+        if (input.tags && input.tags.length) extras.push("--tags", JSON.stringify(input.tags.join(",")));
+        text = runCmd(`log ${m} --type ${t} ${extras.join(" ")}`);
+      }
     } else if (name === "amp_handoff") {
       // switch writes a file; we read it back to return the content
       const switchResult = runCmd("switch");

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "infernoflow",
-  "version": "0.43.12",
-  "description": "Persistent memory for AI coding sessions \u2014 captures what agents can't infer from code alone. Works with Copilot, Cursor, Claude, and Windsurf.",
+  "version": "0.44.0",
+  "description": "Persistent memory for AI coding sessions — captures what agents can't infer from code alone. Works with Copilot, Cursor, Claude, and Windsurf.",
   "type": "module",
   "bin": {
     "infernoflow": "dist/bin/infernoflow.mjs"
@@ -16,13 +16,17 @@
     "README.md"
   ],
   "scripts": {
-    "test": "node scripts/smoke.mjs && node scripts/json-smoke.mjs && node scripts/json-negative-smoke.mjs && node scripts/implement-smoke.mjs && node scripts/adopt-smoke.mjs && node scripts/pr-impact-smoke.mjs && node scripts/sync-smoke.mjs && node scripts/run-smoke.mjs",
+    "test": "tsc --noEmit && vitest run",
+    "test:watch": "vitest",
+    "test:vitest": "vitest run",
+    "test:smoke": "node scripts/smoke.mjs && node scripts/json-smoke.mjs && node scripts/json-negative-smoke.mjs",
+    "test:install": "cross-env RUN_INSTALL_TESTS=1 vitest run tests/tarball-install.test.mjs",
     "test:help": "node bin/infernoflow.mjs --help",
+    "typecheck": "tsc --noEmit",
     "build": "node build.mjs",
     "prepublishOnly": "echo skipping build",
     "inferno:promote-draft": "node scripts/inferno-promote-draft.mjs"
   },
-  "dependencies": {},
   "keywords": [
     "ai",
     "ai-memory",
@@ -56,6 +60,10 @@
     "url": "https://github.com/ronmiz/infernoflow/issues"
   },
   "devDependencies": {
-    "esbuild": "^0.28.0"
+    "@types/node": "^25.9.0",
+    "cross-env": "^10.1.0",
+    "esbuild": "^0.28.0",
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.6"
   }
 }

package/dist/lib/commands/changelog.mjs

@@ -1,21 +0,0 @@
-import*as g from"node:fs";import*as S from"node:path";import{execSync as v}from"node:child_process";import{header as O,ok as R,fail as C,warn as m,info as b,done as G,bold as E,cyan as h,gray as f,green as F,yellow as L}from"../ui/output.mjs";function p(e,n){try{return v(e,{cwd:n,encoding:"utf8",stdio:["ignore","pipe","pipe"]}).trim()}catch{return null}}function y(e){return p("git describe --tags --abbrev=0",e)}function $(e,n){const o=e?`${e}..HEAD`:"",t=p(`git log ${o} --format=%H%x1f%s%x1f%b%x1e`,n);return t?t.split("").map(s=>s.trim()).filter(Boolean).map(s=>{const r=s.split("");return{hash:(r[0]||"").trim().slice(0,8),subject:(r[1]||"").trim(),body:(r[2]||"").trim()}}).filter(s=>s.subject):[]}function M(e,n){return p(`git log -1 --format=%ci "${e}"`,n)?.slice(0,10)||null}const w={feat:"Added",feature:"Added",add:"Added",fix:"Fixed",bugfix:"Fixed",hotfix:"Fixed",perf:"Changed",refactor:"Changed",change:"Changed",chore:"Changed",docs:"Changed",style:"Changed",test:"Changed",ci:"Changed",remove:"Removed",revert:"Removed",deprecate:"Removed"};function x(e){const n=e.match(/^(\w+)(?:\([^)]+\))?[!]?:\s*(.+)/);if(n){const t=n[1].toLowerCase();return{section:w[t]||"Changed",message:n[2].trim(),breaking:e.includes("!")}}const o=e.toLowerCase();for(const[t,s]of Object.entries(w))if(o.startsWith(t+" ")||o.startsWith(t+":"))return{section:s,message:e,breaking:!1};return{section:"Changed",message:e,breaking:!1}}function j(e){const n={Added:[],Fixed:[],Changed:[],Removed:[],Breaking:[]};for(const o of e){const{section:t,message:s,breaking:r}=x(o.subject);r&&n.Breaking.push(s),n[t].push(s)}for(const o of Object.keys(n))n[o]=[...new Set(n[o])];return n}function H(e,n){const o=["## Unreleased",""];n&&o.push(`> Changes since ${n}`,"");const t=["Breaking","Added","Fixed","Changed","Removed"];let s=!1;for(const r of t){const i=e[r];if(!(!i||!i.length)){s=!0,o.push(`### ${r}`);for(const c of i)o.push(`- ${c}`);o.push("")}}return s||o.push("- No significant changes",""),o.join(`
-`)}function k(e){return g.existsSync(e)?g.readFileSync(e,"utf8"):null}function D(e){const n=e.match(/^## Unreleased[\s\S]*?(?=\n## |\n---|\z)/im);return n?n[0].trim():null}function U(e,n){return/^## Unreleased/im.test(e)?e.replace(/^## Unreleased[\s\S]*?(?=\n## |\n---)/im,n+`
-
-`):/^# .+/im.test(e)?e.replace(/^(# .+\n)/im,`$1
-${n}
-
-`):`${n}
-
-${e}`}function J(e,n){const o=n.split(`
-`).filter(t=>t.startsWith("- ")).join(`
-`);return o?/^## Unreleased/im.test(e)?e.replace(/(^## Unreleased[\s\S]*?)(\n## )/im,`$1
-${o}
-$2`):U(e,n):e}function W(e,n){const o=n||y(e),t=$(o,e);if(!t.length){b(`No commits since ${o||"beginning"}`);return}console.log(`
-  ${E("Commits since")} ${h(o||"beginning")}  ${f("("+t.length+")")}
-`);for(const s of t){const{section:r}=x(s.subject),i=r==="Added"?F:r==="Fixed"?L:f;console.log(`  ${f(s.hash)}  ${i(s.subject)}`)}console.log()}function B(e){const n=k(e);if(!n){C("CHANGELOG.md not found");return}const o=D(n);if(!o){m("No ## Unreleased section found in CHANGELOG.md");return}console.log(`
-`+o+`
-`)}async function T(e,n,o){const{ref:t,dryRun:s,append:r,asJson:i}=o,c=t||y(e),a=$(c,e);if(!a.length){if(i){console.log(JSON.stringify({ok:!0,ref:c,commits:0,message:"No new commits"}));return}m(`No commits found since ${c||"beginning of repo"}`),console.log();return}const d=j(a),l=H(d,c);if(i){console.log(JSON.stringify({ok:!0,ref:c,commits:a.length,sections:{breaking:d.Breaking,added:d.Added,fixed:d.Fixed,changed:d.Changed,removed:d.Removed},markdown:l},null,2));return}if(console.log(),console.log(f("  \u2500\u2500\u2500 Drafted entry \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500")),l.split(`
-`).forEach(N=>console.log("  "+N)),console.log(f("  \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500")),console.log(),b(`${a.length} commit${a.length>1?"s":""} since ${h(c||"beginning")}`),s){m("Dry run \u2014 CHANGELOG.md not modified"),console.log();return}let u=k(n);u||(u=`# Changelog
-
-`);const A=r?J(u,l):U(u,l);g.writeFileSync(n,A),R(`CHANGELOG.md updated  ${f("("+(r?"appended":"replaced")+" ## Unreleased)")}`),console.log(),G("Changelog drafted \u2014 review and edit before your next release"),console.log(`  Run ${h("infernoflow publish")} when ready to cut the release
-`)}async function P(e){const n=e.slice(1),o=n.find(l=>!l.startsWith("-"))||"update",t=n.includes("--dry-run"),s=n.includes("--append"),r=n.includes("--json"),i=n.indexOf("--ref"),c=i!==-1?n[i+1]:null,a=process.cwd(),d=S.join(a,"CHANGELOG.md");if(r||O("changelog "+o),o==="list"){W(a,c);return}if(o==="show"){B(d);return}if(o==="update"){await T(a,d,{ref:c,dryRun:t,append:s,asJson:r});return}C(`Unknown sub-command: ${o}`,"Use: update | show | list"),process.exit(1)}export{P as changelogCommand};

package/dist/lib/commands/ci.mjs

@@ -1,3 +0,0 @@
-import*as d from"node:fs";import*as p from"node:path";import{fileURLToPath as m}from"node:url";import{spawnSync as h}from"node:child_process";import"../ui/output.mjs";function b(){return process.env.GITHUB_ACTIONS==="true"?"github":process.env.GITLAB_CI==="true"?"gitlab":process.env.BITBUCKET_BUILD_NUMBER?"bitbucket":process.env.CIRCLECI==="true"?"circleci":process.env.JENKINS_URL?"jenkins":process.env.CI==="true"?"generic":"local"}function w(n,e){try{const[f,...t]=n.split(" "),o=h(process.execPath,[p.join(p.dirname(p.dirname(m(import.meta.url))),"..","bin","infernoflow.mjs"),...n.split(" ").slice(1)],{cwd:e,encoding:"utf8",timeout:3e4}).stdout?.trim();if(o)return JSON.parse(o)}catch{}return null}function P(n,e){try{return h(process.execPath,[p.join(p.dirname(p.dirname(m(import.meta.url))),"..","bin","infernoflow.mjs"),...n],{cwd:e,encoding:"utf8",timeout:3e4}).stdout?.trim()||""}catch{return""}}function $(n,e,f){const t=n?.status||"unknown",a=n?.issues||[],o=n?.capabilities||0,c=e?.added?.length||0,s=e?.removed?.length||0,l=e?.changed?.length||0;t==="error"?a.filter(r=>r.severity==="error").forEach(r=>{console.log(`::error::infernoflow: ${r.message}`)}):t==="warning"&&a.filter(r=>r.severity==="warning").forEach(r=>{console.log(`::warning::infernoflow: ${r.message}`)}),c>0&&console.log(`::notice::infernoflow: ${c} new capability${c!==1?"ies":"y"} added`),s>0&&console.log(`::warning::infernoflow: ${s} capability${s!==1?"ies":"y"} removed`);const u=process.env.GITHUB_STEP_SUMMARY;if(u){const i=["## \u{1F525} infernoflow CI report","",`${t==="ok"?"\u2705":t==="warning"?"\u26A0\uFE0F":"\u274C"} **Status:** ${t.toUpperCase()}  \xB7  **Capabilities:** ${o}`,""];(c||s||l)&&(i.push("### Capability changes"),c&&i.push(`- \u2705 **${c}** added`),s&&i.push(`- \u274C **${s}** removed`),l&&i.push(`- \u{1F4DD} **${l}** changed`),i.push("")),a.length&&(i.push("### Issues"),a.forEach(g=>i.push(`- **${g.severity?.toUpperCase()||"INFO"}**: ${g.message}`)),i.push("")),i.push("---"),i.push("*Generated by [infernoflow](https://github.com/ronmiz/infernoflow)*");try{d.appendFileSync(u,i.join(`
-`)+`
-`)}catch{}}}function v(n,e){const t=(n?.issues||[]).map((o,c)=>({description:o.message||"infernoflow issue",fingerprint:Buffer.from(`infernoflow-${c}-${o.message}`).toString("hex").slice(0,40),severity:o.severity==="error"?"critical":"minor",location:{path:"inferno/contract.json",lines:{begin:1}}})),a=p.join(e,"gl-code-quality-report.json");d.writeFileSync(a,JSON.stringify(t,null,2)),console.log("infernoflow: GitLab code quality report written \u2192 gl-code-quality-report.json")}function y(n,e,f){const t=n?.status||"unknown",a=n?.capabilities||0,o=e?.added?.length||0,c=e?.removed?.length||0;console.log(`[infernoflow] platform=${f} status=${t} capabilities=${a} added=${o} removed=${c}`),n?.issues?.length&&n.issues.forEach(s=>{console.log(`[infernoflow] ${(s.severity||"info").toUpperCase()}: ${s.message}`)})}async function J(n){const e=n.slice(1),f=e.includes("--json"),t=e.includes("--platform")?e[e.indexOf("--platform")+1]:null,a=e.includes("--fail-on")?e[e.indexOf("--fail-on")+1]:"error",o=process.cwd(),c=p.join(o,"inferno");d.existsSync(c)||(console.log(f?JSON.stringify({ok:!1,error:"inferno/ not found"}):"[infernoflow] inferno/ not found \u2014 skipping CI check"),process.exit(0));const s=t||b();f||console.log(`[infernoflow] running CI check (platform: ${s})`);const l=w("check --json",o),u=w("diff --json",o),r=l?.status||"unknown";switch(s){case"github":$(l,u,a);break;case"gitlab":v(l,o),y(l,u,s);break;default:y(l,u,s)}f&&console.log(JSON.stringify({ok:r==="ok"||r==="warning",platform:s,status:r,capabilities:l?.capabilities||0,issues:l?.issues||[],diff:{added:u?.added||[],removed:u?.removed||[],changed:u?.changed||[]}}));const i=a==="warning"?r==="error"||r==="warning":r==="error";process.exit(i?1:0)}export{J as ciCommand};