@hivelore/mcp 0.30.0 → 0.31.0

package/dist/index.js

@@ -1122,94 +1122,40 @@ async function memApprove(input, ctx) {
 }
 
 // src/tools/mem-tried.ts
-import { mkdir as mkdir3, writeFile as writeFile8 } from "fs/promises";
-import { existsSync as existsSync15 } from "fs";
-import path5 from "path";
+import { mkdir as mkdir3, writeFile as writeFile9 } from "fs/promises";
+import { existsSync as existsSync16 } from "fs";
+import path6 from "path";
 import {
   buildFrontmatter as buildFrontmatter2,
   memoryFilePath as memoryFilePath2,
-  serializeMemory as serializeMemory7,
+  serializeMemory as serializeMemory8,
   suggestSensorSeed as suggestSensorSeed2
 } from "@hivelore/core";
-import { z as z15 } from "zod";
-var MemTriedInputSchema = {
-  what: z15.string().min(1).describe("Brief description of the approach that was tried"),
-  why_failed: z15.string().min(1).describe("Why it failed or why it should NOT be used"),
-  instead: z15.string().optional().describe("What to use or do instead (recommended alternative)"),
-  scope: z15.enum(["personal", "team", "module"]).default("personal").describe("Visibility scope"),
-  module: z15.string().optional().describe("Module name (required when scope=module)"),
-  tags: z15.array(z15.string()).default([]).describe("Tags for filtering"),
-  paths: z15.array(z15.string()).default([]).describe("Anchor file paths this applies to"),
-  author: z15.string().optional().describe("Author handle or email")
-};
-async function memTried(input, ctx) {
-  if (!existsSync15(ctx.paths.haiveDir)) {
-    throw new Error(`No .ai/ directory at ${ctx.paths.root}. Run 'hivelore init' first.`);
-  }
-  const slug = input.what.toLowerCase().replace(/[^a-z0-9\s]/g, "").trim().split(/\s+/).slice(0, 5).join("-");
-  const baseFm = buildFrontmatter2({
-    type: "attempt",
-    slug,
-    scope: input.scope,
-    module: input.module,
-    tags: input.tags,
-    paths: input.paths,
-    author: input.author
-  });
-  const frontmatter = { ...baseFm, status: "validated" };
-  const lines = [`# ${input.what}`, ""];
-  lines.push(`**Why it failed / do NOT use:** ${input.why_failed}`);
-  if (input.instead) {
-    lines.push("", `**Instead, use:** ${input.instead}`);
-  }
-  const body = lines.join("\n") + "\n";
-  const file = memoryFilePath2(ctx.paths, frontmatter.scope, frontmatter.id, frontmatter.module);
-  await mkdir3(path5.dirname(file), { recursive: true });
-  if (existsSync15(file)) {
-    throw new Error(`Memory already exists at ${file}`);
-  }
-  await writeFile8(file, serializeMemory7({ frontmatter, body }), "utf8");
-  const seed = input.paths.length > 0 ? suggestSensorSeed2(body, input.paths) : null;
-  const hint = input.paths.length === 0 ? "No `paths` given, so this attempt is feedforward-only \u2014 it will be briefed but the gate cannot block the repeat. Re-run with `paths` set to the file(s) where the mistake lives, then call propose_sensor to close the loop." : seed ? "This attempt is NOT yet enforced. Call propose_sensor to turn it into a reliable block \u2014 a candidate is pre-filled in proposed_sensor_seed (refine it: pattern = the faulty usage, absent = the correct-usage marker). Hivelore validates the proposal (silent on current code, fires on the bad example) before trusting it to block." : "This attempt is NOT yet enforced and no candidate pattern could be derived from the wording. Call propose_sensor with a discriminating pattern (pattern = faulty usage, absent = correct-usage marker) to close the loop.";
-  return {
-    id: frontmatter.id,
-    scope: frontmatter.scope,
-    file_path: file,
-    loop_open: true,
-    ...seed ? {
-      proposed_sensor_seed: {
-        pattern: seed.pattern,
-        ...seed.absent ? { absent: seed.absent } : {},
-        message: seed.message
-      }
-    } : {},
-    hint
-  };
-}
+import { z as z16 } from "zod";
 
 // src/tools/propose-sensor.ts
 import { execSync } from "child_process";
-import { readFile as readFile3, writeFile as writeFile9 } from "fs/promises";
-import { existsSync as existsSync16 } from "fs";
-import path6 from "path";
+import { readFile as readFile3, writeFile as writeFile8 } from "fs/promises";
+import { existsSync as existsSync15 } from "fs";
+import path5 from "path";
 import {
   extractSensorExamples,
   judgeProposedSensor,
   loadMemoriesFromDir as loadMemoriesFromDir13,
-  serializeMemory as serializeMemory8
+  serializeMemory as serializeMemory7
 } from "@hivelore/core";
-import { z as z16 } from "zod";
+import { z as z15 } from "zod";
 var ProposeSensorInputSchema = {
-  memory_id: z16.string().min(1).describe("Id of the gotcha/attempt memory this sensor protects."),
-  pattern: z16.string().min(1).describe("Regex matching the FAULTY usage (the risky call/token), e.g. 'stripe\\.paymentIntents\\.create'."),
-  absent: z16.string().optional().describe(
+  memory_id: z15.string().min(1).describe("Id of the gotcha/attempt memory this sensor protects."),
+  pattern: z15.string().min(1).describe("Regex matching the FAULTY usage (the risky call/token), e.g. 'stripe\\.paymentIntents\\.create'."),
+  absent: z15.string().optional().describe(
     "Regex for the CORRECT-usage marker (e.g. 'idempotencyKey'). When it appears in the window around a match, the catch is suppressed \u2014 this is what makes the sensor discriminate the faulty call from the correct one. STRONGLY recommended for 'X without Y' lessons."
   ),
-  bad_example: z16.string().optional().describe("A code snippet that SHOULD match \u2014 proves the sensor catches the mistake. If omitted, examples are read from the lesson body."),
-  severity: z16.enum(["warn", "block"]).default("block").describe("block = hard-fail the gate (accepted ONLY if it passes self-validation). warn = advisory."),
-  message: z16.string().optional().describe("LLM-facing fix message shown when it fires. Defaults to one derived from the lesson."),
-  flags: z16.string().optional().describe("Optional regex flags (e.g. 'i' for case-insensitive)."),
-  paths: z16.array(z16.string()).default([]).describe("Override scope paths. Defaults to the memory's anchor paths.")
+  bad_example: z15.string().optional().describe("A code snippet that SHOULD match \u2014 proves the sensor catches the mistake. If omitted, examples are read from the lesson body."),
+  severity: z15.enum(["warn", "block"]).default("block").describe("block = hard-fail the gate (accepted ONLY if it passes self-validation). warn = advisory."),
+  message: z15.string().optional().describe("LLM-facing fix message shown when it fires. Defaults to one derived from the lesson."),
+  flags: z15.string().optional().describe("Optional regex flags (e.g. 'i' for case-insensitive)."),
+  paths: z15.array(z15.string()).default([]).describe("Override scope paths. Defaults to the memory's anchor paths.")
 };
 function deriveMessage(body, pattern, absent) {
   const instead = body.match(/\*\*Instead,\s*use:\*\*\s*([^\n]+)/i)?.[1]?.trim();
@@ -1234,8 +1180,8 @@ async function readPresumedCorrectTargets(root, relPaths) {
       continue;
     } catch {
     }
-    const abs = path6.resolve(root, rel);
-    if (!existsSync16(abs)) continue;
+    const abs = path5.resolve(root, rel);
+    if (!existsSync15(abs)) continue;
     try {
       targets.push({ path: rel, content: await readFile3(abs, "utf8") });
     } catch {
@@ -1244,7 +1190,7 @@ async function readPresumedCorrectTargets(root, relPaths) {
   return targets;
 }
 async function proposeSensor(input, ctx) {
-  if (!existsSync16(ctx.paths.memoriesDir)) {
+  if (!existsSync15(ctx.paths.memoriesDir)) {
     throw new Error(`No .ai/memories at ${ctx.paths.root}. Run 'hivelore init' first.`);
   }
   try {
@@ -1304,7 +1250,7 @@ async function proposeSensor(input, ctx) {
     frontmatter: { ...found.memory.frontmatter, sensor },
     body: found.memory.body
   };
-  await writeFile9(found.filePath, serializeMemory8(next), "utf8");
+  await writeFile8(found.filePath, serializeMemory7(next), "utf8");
   return {
     accepted: true,
     memory_id: input.memory_id,
@@ -1314,6 +1260,99 @@ async function proposeSensor(input, ctx) {
   };
 }
 
+// src/tools/mem-tried.ts
+var MemTriedInputSchema = {
+  what: z16.string().min(1).describe("Brief description of the approach that was tried"),
+  why_failed: z16.string().min(1).describe("Why it failed or why it should NOT be used"),
+  instead: z16.string().optional().describe("What to use or do instead (recommended alternative)"),
+  scope: z16.enum(["personal", "team", "module"]).default("personal").describe("Visibility scope"),
+  module: z16.string().optional().describe("Module name (required when scope=module)"),
+  tags: z16.array(z16.string()).default([]).describe("Tags for filtering"),
+  paths: z16.array(z16.string()).default([]).describe("Anchor file paths this applies to"),
+  author: z16.string().optional().describe("Author handle or email"),
+  sensor: z16.object({
+    pattern: z16.string().min(1).describe("Regex matching the FAULTY usage (added diff lines)"),
+    absent: z16.string().optional().describe("Regex marking CORRECT usage nearby \u2014 excludes it from firing"),
+    severity: z16.enum(["warn", "block"]).default("block").describe("block = deterministic gate refusal"),
+    message: z16.string().optional().describe("Self-correction message shown when the sensor fires"),
+    bad_example: z16.string().optional().describe("Code snippet the sensor MUST fire on (validation)")
+  }).optional().describe(
+    "ONE-SHOT loop close: validate and attach a sensor in the same call (equivalent to a follow-up propose_sensor). Validated against HEAD \u2014 silent on current code, fires on the bad example. If rejected, the attempt is still saved and the verdict tells you how to revise."
+  )
+};
+async function memTried(input, ctx) {
+  if (!existsSync16(ctx.paths.haiveDir)) {
+    throw new Error(`No .ai/ directory at ${ctx.paths.root}. Run 'hivelore init' first.`);
+  }
+  const slug = input.what.toLowerCase().replace(/[^a-z0-9\s]/g, "").trim().split(/\s+/).slice(0, 5).join("-");
+  const baseFm = buildFrontmatter2({
+    type: "attempt",
+    slug,
+    scope: input.scope,
+    module: input.module,
+    tags: input.tags,
+    paths: input.paths,
+    author: input.author
+  });
+  const frontmatter = { ...baseFm, status: "validated" };
+  const lines = [`# ${input.what}`, ""];
+  lines.push(`**Why it failed / do NOT use:** ${input.why_failed}`);
+  if (input.instead) {
+    lines.push("", `**Instead, use:** ${input.instead}`);
+  }
+  const body = lines.join("\n") + "\n";
+  const file = memoryFilePath2(ctx.paths, frontmatter.scope, frontmatter.id, frontmatter.module);
+  await mkdir3(path6.dirname(file), { recursive: true });
+  if (existsSync16(file)) {
+    throw new Error(`Memory already exists at ${file}`);
+  }
+  await writeFile9(file, serializeMemory8({ frontmatter, body }), "utf8");
+  if (input.sensor) {
+    const verdict = await proposeSensor(
+      {
+        memory_id: frontmatter.id,
+        pattern: input.sensor.pattern,
+        absent: input.sensor.absent,
+        severity: input.sensor.severity ?? "block",
+        message: input.sensor.message,
+        bad_example: input.sensor.bad_example,
+        flags: void 0,
+        paths: []
+      },
+      ctx
+    );
+    return {
+      id: frontmatter.id,
+      scope: frontmatter.scope,
+      file_path: file,
+      loop_open: !verdict.accepted,
+      sensor_result: {
+        accepted: verdict.accepted,
+        severity: input.sensor.severity ?? "block",
+        ...verdict.reason ? { reason: verdict.reason } : {},
+        ...verdict.guidance ? { guidance: verdict.guidance } : {}
+      },
+      hint: verdict.accepted ? "Loop closed: the attempt is saved AND enforced \u2014 the gate now refuses a repeat deterministically." : `Attempt saved, but the sensor was rejected (${verdict.reason}). Revise per the guidance and re-propose with propose_sensor.`
+    };
+  }
+  const seed = input.paths.length > 0 ? suggestSensorSeed2(body, input.paths) : null;
+  const hint = input.paths.length === 0 ? "No `paths` given, so this attempt is feedforward-only \u2014 it will be briefed but the gate cannot block the repeat. Re-run with `paths` set to the file(s) where the mistake lives, then call propose_sensor to close the loop." : seed ? "This attempt is NOT yet enforced. Call propose_sensor (or re-run mem_tried with the one-shot `sensor` parameter) to turn it into a reliable block \u2014 a candidate is pre-filled in proposed_sensor_seed (refine it: pattern = the faulty usage, absent = the correct-usage marker). Hivelore validates the proposal (silent on current code, fires on the bad example) before trusting it to block." : "This attempt is NOT yet enforced and no candidate pattern could be derived from the wording. Call propose_sensor with a discriminating pattern (pattern = faulty usage, absent = correct-usage marker) to close the loop.";
+  return {
+    id: frontmatter.id,
+    scope: frontmatter.scope,
+    file_path: file,
+    loop_open: true,
+    ...seed ? {
+      proposed_sensor_seed: {
+        pattern: seed.pattern,
+        ...seed.absent ? { absent: seed.absent } : {},
+        message: seed.message
+      }
+    } : {},
+    hint
+  };
+}
+
 // src/tools/ingest-findings.ts
 import { existsSync as existsSync17 } from "fs";
 import { mkdir as mkdir4, readFile as readFile4, writeFile as writeFile10 } from "fs/promises";
@@ -2315,11 +2354,20 @@ ${m.content}`).join("\n\n---\n\n"),
     if (isDecaying(u, createdAt)) decayWarnings.push(m.id);
   }
   const formattedMemories = input.format === "compact" ? trimmedMemories.map((m) => ({ ...m, body: compactSummary(m.body) })) : input.format === "actions" ? trimmedMemories.map((m) => ({ ...m, body: extractActionsBriefBody(m.body) })) : trimmedMemories;
-  const outputMemories = formattedMemories.map((m) => ({
+  let outputMemories = formattedMemories.map((m) => ({
     ...m,
     priority: classifyMemoryPriority(m, byId.get(m.id), input.files, input.symbols),
     why: explainWhySurfaced(m, byId.get(m.id), input.files, inferred)
   }));
+  if (input.format === "full") {
+    const hasDirectHits = outputMemories.some((m) => m.priority === "must_read" || m.priority === "useful");
+    if (hasDirectHits) {
+      outputMemories = outputMemories.map(
+        (m) => m.priority === "background" ? { ...m, body: `${compactSummary(m.body)}
+(background \u2014 full body: mem_get("${m.id}"))` } : m
+      );
+    }
+  }
   const briefingQuality = classifyBriefingQuality(outputMemories, {
     isTemplateContext,
     autoContextGenerated,
@@ -2634,7 +2682,7 @@ function oneLine(value) {
   return value.replace(/\s+/g, " ").replace(/"/g, '\\"').trim().slice(0, 120);
 }
 function serverVersion() {
-  return true ? "0.30.0" : "dev";
+  return true ? "0.31.0" : "dev";
 }
 
 // src/tools/code-map.ts
@@ -4705,7 +4753,7 @@ When done, respond with: "Imported N memories: [list of IDs]" or "Nothing action
 // src/server.ts
 import { hasRecentBriefingMarker, loadConfigSync } from "@hivelore/core";
 var SERVER_NAME = "hivelore";
-var SERVER_VERSION = "0.30.0";
+var SERVER_VERSION = "0.31.0";
 function jsonResult(data) {
   return {
     content: [