@hivelore/mcp 0.30.0 → 0.31.0

package/dist/server.d.ts

@@ -659,6 +659,65 @@ declare function preCommitCheck(input: PreCommitCheckInput, ctx: HaiveContext):
  */
 declare function readPresumedCorrectTargets(root: string, relPaths: string[]): Promise<SensorTarget[]>;
 
+declare const MemTriedInputSchema: {
+    what: z.ZodString;
+    why_failed: z.ZodString;
+    instead: z.ZodOptional<z.ZodString>;
+    scope: z.ZodDefault<z.ZodEnum<["personal", "team", "module"]>>;
+    module: z.ZodOptional<z.ZodString>;
+    tags: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    paths: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    author: z.ZodOptional<z.ZodString>;
+    sensor: z.ZodOptional<z.ZodObject<{
+        pattern: z.ZodString;
+        absent: z.ZodOptional<z.ZodString>;
+        severity: z.ZodDefault<z.ZodEnum<["warn", "block"]>>;
+        message: z.ZodOptional<z.ZodString>;
+        bad_example: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        pattern: string;
+        severity: "warn" | "block";
+        message?: string | undefined;
+        absent?: string | undefined;
+        bad_example?: string | undefined;
+    }, {
+        pattern: string;
+        message?: string | undefined;
+        absent?: string | undefined;
+        severity?: "warn" | "block" | undefined;
+        bad_example?: string | undefined;
+    }>>;
+};
+type MemTriedInput = {
+    [K in keyof typeof MemTriedInputSchema]: z.infer<(typeof MemTriedInputSchema)[K]>;
+};
+interface MemTriedOutput {
+    id: string;
+    scope: string;
+    file_path: string;
+    /**
+     * A captured attempt closes its prevention loop (gate can block the repeat) only once a sensor is
+     * VALIDATED via propose_sensor. True until then — the lesson is briefed but not enforced.
+     */
+    loop_open: boolean;
+    /** Heuristic candidate to PRE-FILL a propose_sensor call (refine, then call it). Never a persisted sensor. */
+    proposed_sensor_seed?: {
+        pattern: string;
+        absent?: string;
+        message: string;
+    };
+    /** Next-step guidance: how to close the loop via propose_sensor. */
+    hint?: string;
+    /** When input.sensor was given: the inline propose_sensor verdict (accepted ⇒ loop closed). */
+    sensor_result?: {
+        accepted: boolean;
+        severity: "warn" | "block";
+        reason?: string;
+        guidance?: string;
+    };
+}
+declare function memTried(input: MemTriedInput, ctx: HaiveContext): Promise<MemTriedOutput>;
+
 declare const PatternDetectInputSchema: {
     since_days: z.ZodDefault<z.ZodNumber>;
     dry_run: z.ZodDefault<z.ZodBoolean>;
@@ -816,4 +875,4 @@ declare function runHaiveMcpStdio(options: {
     root?: string;
 }): Promise<void>;
 
-export { type AntiPatternsCheckInput, type AntiPatternsCheckOutput, type BriefingOutput, type CodeMapInput, type CodeMapToolOutput, type CodeSearchInput, type CodeSearchOutput, ENFORCEMENT_PROFILE_TOOLS, EXPERIMENTAL_PROFILE_TOOLS, type GetBriefingInput, type GetRecapInput, type GetRecapOutput, MAINTENANCE_PROFILE_TOOLS, type MemConflictCandidatesInput, type MemConflictsInput, type MemConflictsOutput, type MemDistillInput, type MemDistillOutput, type MemRelevantToInput, type MemRelevantToOutput, type MemResolveProjectInput, type MemSuggestTopicInput, type MemTimelineInput, type PatternDetectInput, type PatternDetectOutput, type PreCommitCheckInput, type PreCommitCheckOutput, type RuntimeJournalAppendInput, type RuntimeJournalTailInput, SERVER_NAME, SERVER_VERSION, TOOL_PROFILES, type ToolProfile, type WhyThisDecisionInput, type WhyThisDecisionOutput, type WhyThisFileInput, type WhyThisFileOutput, antiPatternsCheck, codeMapTool, codeSearch, createHaiveServer, getAllowedToolsForProfile, getBriefing, getRecap, memConflictCandidates, memConflicts, memDistill, memRelevantTo, memResolveProject, memSuggestTopic, memTimeline, parseMcpCliArgs, patternDetect, preCommitCheck, printHaiveMcpVersion, readPresumedCorrectTargets, runHaiveMcpStdio, runtimeJournalAppend, runtimeJournalTail, whyThisDecision, whyThisFile };
+export { type AntiPatternsCheckInput, type AntiPatternsCheckOutput, type BriefingOutput, type CodeMapInput, type CodeMapToolOutput, type CodeSearchInput, type CodeSearchOutput, ENFORCEMENT_PROFILE_TOOLS, EXPERIMENTAL_PROFILE_TOOLS, type GetBriefingInput, type GetRecapInput, type GetRecapOutput, MAINTENANCE_PROFILE_TOOLS, type MemConflictCandidatesInput, type MemConflictsInput, type MemConflictsOutput, type MemDistillInput, type MemDistillOutput, type MemRelevantToInput, type MemRelevantToOutput, type MemResolveProjectInput, type MemSuggestTopicInput, type MemTimelineInput, type MemTriedOutput, type PatternDetectInput, type PatternDetectOutput, type PreCommitCheckInput, type PreCommitCheckOutput, type RuntimeJournalAppendInput, type RuntimeJournalTailInput, SERVER_NAME, SERVER_VERSION, TOOL_PROFILES, type ToolProfile, type WhyThisDecisionInput, type WhyThisDecisionOutput, type WhyThisFileInput, type WhyThisFileOutput, antiPatternsCheck, codeMapTool, codeSearch, createHaiveServer, getAllowedToolsForProfile, getBriefing, getRecap, memConflictCandidates, memConflicts, memDistill, memRelevantTo, memResolveProject, memSuggestTopic, memTimeline, memTried, parseMcpCliArgs, patternDetect, preCommitCheck, printHaiveMcpVersion, readPresumedCorrectTargets, runHaiveMcpStdio, runtimeJournalAppend, runtimeJournalTail, whyThisDecision, whyThisFile };

package/dist/server.js

@@ -1120,94 +1120,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();
@@ -1232,8 +1178,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 {
@@ -1242,7 +1188,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 {
@@ -1302,7 +1248,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,
@@ -1312,6 +1258,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";
@@ -2313,11 +2352,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,
@@ -2632,7 +2680,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
@@ -4703,7 +4751,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: [
@@ -5805,6 +5853,7 @@ export {
   memResolveProject,
   memSuggestTopic,
   memTimeline,
+  memTried,
   parseMcpCliArgs,
   patternDetect,
   preCommitCheck,