@hiveai/mcp 0.9.31 → 0.10.1

package/dist/server.d.ts

@@ -158,6 +158,14 @@ interface BriefingOutput {
      * Clients can use this flag to skip surfacing a near-empty briefing to the model.
      */
     low_value?: true;
+    /**
+     * Whether this briefing carries knowledge a capable model could NOT have inferred on its own.
+     * - "high": at least one surfaced memory is arbitrary/team-specific (unguessable).
+     * - "low":  nothing team-specific matched — a generic agent would reach the same answer.
+     * When "low" and the project context is still auto-generated/template, the adaptive briefing
+     * trims that inferable context to keep the call near-zero-cost (config: adaptiveBriefing).
+     */
+    briefing_value?: "high" | "low";
     /**
      * Short, action-oriented hints surfaced to the agent based on the briefing payload.
      * Examples: "haive is uninitialized — use Read/Grep directly", "gotcha memories present — read first".
@@ -341,15 +349,13 @@ interface WhyThisFileOutput {
  */
 declare function whyThisFile(input: WhyThisFileInput, ctx: HaiveContext): Promise<WhyThisFileOutput>;
 
-declare const AntiPatternsCheckInputSchema: {
-    diff: z.ZodOptional<z.ZodString>;
-    paths: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
-    limit: z.ZodDefault<z.ZodNumber>;
-    semantic: z.ZodDefault<z.ZodBoolean>;
-};
-type AntiPatternsCheckInput = {
-    [K in keyof typeof AntiPatternsCheckInputSchema]: z.infer<(typeof AntiPatternsCheckInputSchema)[K]>;
-};
+interface AntiPatternsCheckInput {
+    diff?: string;
+    paths: string[];
+    limit: number;
+    semantic: boolean;
+    min_semantic_score?: number;
+}
 interface AntiPatternsWarning {
     id: string;
     type: "attempt" | "gotcha";
@@ -693,8 +699,8 @@ declare const SERVER_NAME = "haive";
 declare const SERVER_VERSION: string;
 type ToolProfile = "enforcement" | "maintenance" | "experimental" | "full";
 declare const ENFORCEMENT_PROFILE_TOOLS: readonly ["get_briefing", "mem_save", "mem_tried", "mem_search", "mem_get", "mem_verify", "mem_relevant_to", "code_map", "code_search", "pre_commit_check", "mem_session_end"];
-declare const MAINTENANCE_PROFILE_TOOLS: readonly ["get_briefing", "mem_save", "mem_tried", "mem_search", "mem_get", "mem_verify", "mem_relevant_to", "code_map", "code_search", "pre_commit_check", "mem_session_end", "mem_suggest_topic", "mem_for_files", "mem_list", "get_project_context", "bootstrap_project_save", "mem_resolve_project", "mem_update", "mem_approve", "mem_reject", "mem_pending", "mem_delete", "mem_diff", "get_recap", "code_search", "anti_patterns_check", "mem_distill", "mem_timeline", "mem_conflict_candidates"];
-declare const EXPERIMENTAL_PROFILE_TOOLS: readonly ["get_briefing", "mem_save", "mem_tried", "mem_search", "mem_get", "mem_verify", "mem_relevant_to", "code_map", "code_search", "pre_commit_check", "mem_session_end", "mem_suggest_topic", "mem_for_files", "mem_list", "get_project_context", "bootstrap_project_save", "mem_resolve_project", "mem_update", "mem_approve", "mem_reject", "mem_pending", "mem_delete", "mem_diff", "get_recap", "code_search", "anti_patterns_check", "mem_distill", "mem_timeline", "mem_conflict_candidates", "mem_observe", "why_this_file", "why_this_decision", "mem_conflicts_with", "pattern_detect", "runtime_journal_append", "runtime_journal_tail"];
+declare const MAINTENANCE_PROFILE_TOOLS: readonly ["get_briefing", "mem_save", "mem_tried", "mem_search", "mem_get", "mem_verify", "mem_relevant_to", "code_map", "code_search", "pre_commit_check", "mem_session_end", "mem_suggest_topic", "mem_for_files", "mem_list", "get_project_context", "bootstrap_project_save", "mem_resolve_project", "mem_update", "mem_approve", "mem_reject", "mem_pending", "mem_delete", "mem_diff", "get_recap", "anti_patterns_check", "mem_distill", "mem_timeline", "mem_conflict_candidates"];
+declare const EXPERIMENTAL_PROFILE_TOOLS: readonly ["get_briefing", "mem_save", "mem_tried", "mem_search", "mem_get", "mem_verify", "mem_relevant_to", "code_map", "code_search", "pre_commit_check", "mem_session_end", "mem_suggest_topic", "mem_for_files", "mem_list", "get_project_context", "bootstrap_project_save", "mem_resolve_project", "mem_update", "mem_approve", "mem_reject", "mem_pending", "mem_delete", "mem_diff", "get_recap", "anti_patterns_check", "mem_distill", "mem_timeline", "mem_conflict_candidates", "mem_observe", "why_this_file", "why_this_decision", "mem_conflicts_with", "pattern_detect", "runtime_journal_append", "runtime_journal_tail"];
 declare const TOOL_PROFILES: Record<Exclude<ToolProfile, "full">, ReadonlySet<string>>;
 declare function getAllowedToolsForProfile(profile: ToolProfile): ReadonlySet<string>;
 declare function createHaiveServer(options?: CreateContextOptions): {

package/dist/server.js

@@ -1074,6 +1074,7 @@ import { existsSync as existsSync15 } from "fs";
 import path6 from "path";
 import {
   buildFrontmatter as buildFrontmatter3,
+  isLikelyGuessable,
   memoryFilePath as memoryFilePath3,
   serializeMemory as serializeMemory7
 } from "@hiveai/core";
@@ -1086,12 +1087,25 @@ var MemObserveInputSchema = {
   scope: z15.enum(["personal", "team", "module"]).default("team").describe("Visibility scope \u2014 defaults to team since discoveries benefit everyone"),
   module: z15.string().optional().describe("Module name (required when scope=module)"),
   tags: z15.array(z15.string()).default([]).describe("Tags for filtering"),
-  author: z15.string().optional().describe("Author handle or email")
+  author: z15.string().optional().describe("Author handle or email"),
+  force: z15.boolean().default(false).describe(
+    "Save even if the observation looks like generic, guessable knowledge. By default, low-specificity observations (things a capable model already knows) are SKIPPED to keep the corpus high-signal \u2014 only unguessable, team-specific discoveries are worth storing."
+  )
 };
 async function memObserve(input, ctx) {
   if (!existsSync15(ctx.paths.haiveDir)) {
     throw new Error(`No .ai/ directory at ${ctx.paths.root}. Run 'haive init' first.`);
   }
+  const signalText = [input.what, input.impact, input.fix ?? ""].join(" ");
+  if (!input.force && isLikelyGuessable(signalText)) {
+    return {
+      id: "",
+      scope: input.scope,
+      file_path: "",
+      skipped: true,
+      reason: "Observation looks like generic, guessable knowledge (low specificity) \u2014 not saved. Capture only arbitrary, team-specific facts (exact names, values, formats). Pass force=true to override."
+    };
+  }
   const slug = input.what.toLowerCase().replace(/[^a-z0-9\s]/g, "").trim().split(/\s+/).slice(0, 6).join("-");
   const anchorPaths = input.where.split(/[,\n]/).map((s) => s.trim()).filter(Boolean);
   const baseFm = buildFrontmatter3({
@@ -1398,6 +1412,7 @@ import {
   getUsage as getUsage5,
   inferModulesFromPaths as inferModulesFromPaths2,
   isGlobPath,
+  isRetiredMemory,
   isAutoPromoteEligible,
   isDecaying,
   isStackPackSeed,
@@ -1412,6 +1427,8 @@ import {
   queryCodeMap,
   resolveBriefingBudget,
   serializeMemory as serializeMemory9,
+  specificityScore,
+  GUESSABLE_THRESHOLD,
   tokenizeQuery as tokenizeQuery2,
   trackReads as trackReads3,
   truncateToTokens,
@@ -1482,6 +1499,7 @@ async function getBriefing(input, ctx) {
       const s = memory.frontmatter.status;
       if (s === "rejected" || s === "deprecated") return false;
       if (!input.include_stale && s === "stale") return false;
+      if (!input.include_stale && isRetiredMemory(memory.frontmatter, memory.body)) return false;
       if (memory.frontmatter.type === "session_recap") return false;
       return true;
     });
@@ -1837,6 +1855,14 @@ When done, call \`mem_session_end\` to acknowledge \u2014 this clears the pendin
   const memoriesEmpty = outputMemories.length === 0;
   const hasMemoriesDir = existsSync18(ctx.paths.memoriesDir);
   const isColdStart = isTemplateContext && memoriesEmpty && !lastSession && !autoContextGenerated;
+  const hasUnguessableSignal = outputMemories.some(
+    (m) => (m.priority === "must_read" || m.priority === "useful") && specificityScore(m.body) >= GUESSABLE_THRESHOLD
+  );
+  const briefingValueLow = !hasUnguessableSignal;
+  const adaptiveConfig = await loadConfig3(ctx.paths);
+  const bootstrapUnfilled = /Auto-generated by `haive init/i.test(projectContextRaw) && (projectContextRaw.match(/TODO —/g)?.length ?? 0) >= 2;
+  const contextIsInferable = isTemplateContext || autoContextGenerated || bootstrapUnfilled;
+  const adaptiveTrim = adaptiveConfig.adaptiveBriefing !== false && briefingValueLow && contextIsInferable;
   const hints = [];
   if (isColdStart) {
     hints.push(
@@ -1869,6 +1895,11 @@ When done, call \`mem_session_end\` to acknowledge \u2014 this clears the pendin
       );
     }
   }
+  if (adaptiveTrim) {
+    hints.push(
+      "No team-specific policy matched these files/task \u2014 nothing here a capable model can't infer. The auto-generated project context was trimmed to keep this briefing near-zero-cost; proceed with normal Read/Grep."
+    );
+  }
   if (existsSync18(ctx.paths.haiveDir)) {
     await writeBriefingMarker(ctx.paths, {
       sessionId: process.env.HAIVE_SESSION_ID,
@@ -1884,7 +1915,12 @@ When done, call \`mem_session_end\` to acknowledge \u2014 this clears the pendin
     search_mode: searchMode,
     inferred_modules: inferred,
     ...lastSession ? { last_session: lastSession } : {},
-    project_context: projectContextRaw || autoContextGenerated ? {
+    project_context: adaptiveTrim ? {
+      content: "(adaptive briefing: auto-generated context omitted \u2014 no team-specific policy matched, so a capable model needs nothing extra here)",
+      truncated: false,
+      ...isTemplateContext && !autoContextGenerated ? { is_template: true } : {},
+      ...autoContextGenerated ? { auto_generated: true } : {}
+    } : projectContextRaw || autoContextGenerated ? {
       content: projectSlice.text,
       truncated: projectSlice.truncated,
       ...isTemplateContext && !autoContextGenerated ? { is_template: true } : {},
@@ -1898,6 +1934,7 @@ When done, call \`mem_session_end\` to acknowledge \u2014 this clears the pendin
     decay_warnings: decayWarnings,
     setup_warnings: setupWarnings,
     ...isColdStart ? { low_value: true } : {},
+    briefing_value: briefingValueLow ? "low" : "high",
     ...hints.length > 0 ? { hints } : {},
     estimated_tokens: totalTokens,
     budget: {
@@ -2406,6 +2443,7 @@ import { existsSync as existsSync22 } from "fs";
 import {
   deriveConfidence as deriveConfidence6,
   getUsage as getUsage7,
+  isRetiredMemory as isRetiredMemory2,
   loadMemoriesFromDir as loadMemoriesFromDir17,
   loadUsageIndex as loadUsageIndex9,
   literalMatchesAnyToken as literalMatchesAnyToken3,
@@ -2423,6 +2461,9 @@ var AntiPatternsCheckInputSchema = {
   limit: z24.number().int().positive().max(20).default(8).describe("Cap on returned warnings."),
   semantic: z24.boolean().default(true).describe(
     "When true, also use semantic search (requires @hiveai/embeddings + memory index) to find related anti-patterns."
+  ),
+  min_semantic_score: z24.number().min(0).max(1).default(0.45).describe(
+    "Minimum cosine score for semantic-only anti-pattern hits. Anchor/literal matches still surface. Default 0.45 keeps broad, weakly-related memories out of review noise."
   )
 };
 var CODE_STOPWORDS = /* @__PURE__ */ new Set([
@@ -2473,8 +2514,12 @@ var CODE_STOPWORDS = /* @__PURE__ */ new Set([
   "console"
 ]);
 function tokenizeDiffForLiteral(diff) {
-  const wsTokens = tokenizeQuery3(diff);
-  const wordTokens = diff.toLowerCase().split(/[^a-z0-9]+/).filter((t) => t.length >= 4 && !CODE_STOPWORDS.has(t));
+  const lines = diff.split("\n");
+  const looksLikeDiff = lines.some((l) => /^[+-]/.test(l));
+  const addedOnly = looksLikeDiff ? lines.filter((l) => l.startsWith("+") && !l.startsWith("+++")).join("\n") : diff;
+  const source = addedOnly.trim().length > 0 ? addedOnly : diff;
+  const wsTokens = tokenizeQuery3(source);
+  const wordTokens = source.toLowerCase().split(/[^a-z0-9]+/).filter((t) => t.length >= 4 && !CODE_STOPWORDS.has(t));
   return [.../* @__PURE__ */ new Set([...wsTokens, ...wordTokens])];
 }
 async function antiPatternsCheck(input, ctx) {
@@ -2489,11 +2534,12 @@ async function antiPatternsCheck(input, ctx) {
     return { scanned: 0, warnings: [], notice: "No .ai/memories directory \u2014 nothing to check against." };
   }
   const all = await loadMemoriesFromDir17(ctx.paths.memoriesDir);
+  const minSemanticScore = input.min_semantic_score ?? 0.45;
   const negative = all.filter(({ memory }) => {
     const t = memory.frontmatter.type;
     if (t !== "attempt" && t !== "gotcha") return false;
     const s = memory.frontmatter.status;
-    return s !== "rejected" && s !== "deprecated" && s !== "stale";
+    return s !== "rejected" && s !== "deprecated" && s !== "stale" && !isRetiredMemory2(memory.frontmatter, memory.body);
   });
   if (negative.length === 0) {
     return { scanned: 0, warnings: [], notice: "No attempt/gotcha memories found yet." };
@@ -2547,6 +2593,7 @@ async function antiPatternsCheck(input, ctx) {
         const negativeIds = new Set(negative.map(({ memory }) => memory.frontmatter.id));
         for (const hit of result.hits) {
           if (!negativeIds.has(hit.id)) continue;
+          if (hit.score < minSemanticScore && !seen.has(hit.id)) continue;
           const found = negative.find(({ memory }) => memory.frontmatter.id === hit.id);
           if (found) upsert(found.memory.frontmatter, found.memory.body, "semantic", hit.score);
         }
@@ -3825,7 +3872,7 @@ When done, respond with: "Imported N memories: [list of IDs]" or "Nothing action
 // src/server.ts
 import { loadConfigSync } from "@hiveai/core";
 var SERVER_NAME = "haive";
-var SERVER_VERSION = "0.9.31";
+var SERVER_VERSION = "0.10.1";
 function jsonResult(data) {
   return {
     content: [
@@ -3864,7 +3911,6 @@ var MAINTENANCE_PROFILE_TOOLS = [
   "mem_delete",
   "mem_diff",
   "get_recap",
-  "code_search",
   "anti_patterns_check",
   "mem_distill",
   "mem_timeline",