@hivelore/mcp 0.49.0 → 0.52.0

package/dist/server.js

@@ -1140,9 +1140,11 @@ import { existsSync as existsSync15, rmSync, symlinkSync } from "fs";
 import os from "os";
 import path6 from "path";
 import {
+  extractCorrectApproachExamples,
   extractSensorExamples,
   extractTestFilePathsFromCommand,
   hasPendingTestMarker,
+  isHarnessErrorOutput,
   judgeProposedSensor,
   loadMemoriesFromDir as loadMemoriesFromDir13,
   scrubbedCommandEnv,
@@ -1369,7 +1371,16 @@ function proveRedOnIncident(command, root, redRef, timeoutMs) {
       }
     }
     const run = runCommandForValidation(command, worktree, timeoutMs);
-    if (run.status === "failed") return { proven: true, detail: run.detail };
+    if (run.status === "failed") {
+      if (isHarnessErrorOutput(run.detail)) {
+        return {
+          proven: false,
+          reason: "red-unrunnable",
+          detail: `the oracle errored before reaching its assertion on the incident state, so it proves nothing there \u2014 ${run.detail}`
+        };
+      }
+      return { proven: true, detail: run.detail };
+    }
     if (run.status === "passed") {
       return { proven: false, reason: "red-not-proven", detail: "oracle PASSED on the incident state \u2014 it does not catch the incident" };
     }
@@ -1631,6 +1642,7 @@ ${verdictCmd.detail}`,
     ...input.bad_example ? [input.bad_example] : [],
     ...extractSensorExamples(found.memory.body)
   ];
+  const correctExamples = extractCorrectApproachExamples(found.memory.body);
   const sensor = {
     kind: "regex",
     pattern: input.pattern,
@@ -1644,14 +1656,14 @@ ${verdictCmd.detail}`,
     // deliberately authored by the agent and validated — higher trust than heuristic
     last_fired: null
   };
-  const verdict = judgeProposedSensor(sensor, { currentTargets, badExamples });
+  const verdict = judgeProposedSensor(sensor, { currentTargets, badExamples, correctExamples });
   const self_check = {
     silent_on_current: verdict.self_check.silent_on_current,
     fires_on_bad: verdict.self_check.fires_on_bad,
     fired_on: verdict.self_check.fired_on
   };
   if (!verdict.accepted) {
-    const guidance = verdict.reason === "fires-on-current" ? `The sensor matches the CURRENT (correct) code in ${verdict.self_check.fired_on.join(", ")}. Add or tighten the 'absent' companion so correct usage is excluded, then re-propose.` : verdict.reason === "missed-bad-example" ? "The sensor did not match the bad example, so it won't catch the mistake. Adjust the pattern to match the faulty code, then re-propose." : verdict.reason === "brittle" ? `The pattern is brittle (${verdict.brittle}). Use a durable pattern (avoid hardcoded line numbers), then re-propose.` : "Re-propose with a discriminating pattern.";
+    const guidance = verdict.reason === "fires-on-current" ? `The sensor matches the CURRENT (correct) code in ${verdict.self_check.fired_on.join(", ")}. Add or tighten the 'absent' companion so correct usage is excluded, then re-propose.` : verdict.reason === "fires-on-correct" ? "The pattern matches the lesson's OWN recommended fix (its `Instead, use:` approach) \u2014 it is inverted and would block the correct code, never the mistake. Point the pattern at the FAULTY usage (not the fix), then re-propose." : verdict.reason === "missed-bad-example" ? "The sensor did not match the bad example, so it won't catch the mistake. Adjust the pattern to match the faulty code, then re-propose." : verdict.reason === "brittle" ? `The pattern is brittle (${verdict.brittle}). Use a durable pattern (avoid hardcoded line numbers), then re-propose.` : "Re-propose with a discriminating pattern.";
     return {
       accepted: false,
       memory_id: input.memory_id,
@@ -3231,7 +3243,7 @@ function oneLine(value) {
   return value.replace(/\s+/g, " ").replace(/"/g, '\\"').trim().slice(0, 120);
 }
 function serverVersion() {
-  return true ? "0.49.0" : "dev";
+  return true ? "0.52.0" : "dev";
 }
 
 // src/tools/code-map.ts
@@ -3543,7 +3555,7 @@ function isHaiveOwnedPath(p) {
   if (p.startsWith(".ai/")) return true;
   if (HAIVE_GENERATED_FILES.has(p)) return true;
   if (p.startsWith(".cursor/rules/")) return true;
-  if (/^\.github\/workflows\/haive-.*\.ya?ml$/.test(p)) return true;
+  if (/^\.github\/workflows\/(hivelore|haive)-.*\.ya?ml$/.test(p)) return true;
   return false;
 }
 var MAX_FUZZY_SCAN_LINES = 2e4;
@@ -4696,7 +4708,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.49.0";
+var SERVER_VERSION = "0.52.0";
 function jsonResult(data) {
   return {
     content: [
@@ -4773,7 +4785,8 @@ var MUTATING_TOOLS = /* @__PURE__ */ new Set([
 function createHaiveServer(options = {}) {
   const context = createContext(options);
   const config = loadConfigSync(context.paths);
-  const toolProfile = options.env?.HAIVE_TOOL_PROFILE ?? config.enforcement?.toolProfile ?? "enforcement";
+  const toolProfile = options.env?.HIVELORE_TOOL_PROFILE ?? options.env?.HAIVE_TOOL_PROFILE ?? // legacy env name
+  config.enforcement?.toolProfile ?? "enforcement";
   const requireBriefingFirst = options.env?.HAIVE_REQUIRE_BRIEFING_FIRST === "0" ? false : config.enforcement?.requireBriefingFirst ?? true;
   let briefingLoaded = false;
   const tracker = new SessionTracker(context);