@hivelore/mcp 0.47.0 → 0.49.0

package/dist/server.d.ts

@@ -695,6 +695,8 @@ declare const ScaffoldTestInputSchema: {
     memory_id: z.ZodString;
     framework: z.ZodOptional<z.ZodEnum<["vitest", "jest", "pytest", "gotest"]>>;
     out_path: z.ZodOptional<z.ZodString>;
+    style: z.ZodOptional<z.ZodEnum<["example", "property", "differential"]>>;
+    reference: z.ZodOptional<z.ZodString>;
     red_ref: z.ZodOptional<z.ZodString>;
     write: z.ZodDefault<z.ZodBoolean>;
 };

package/dist/server.js

@@ -1865,6 +1865,10 @@ var ScaffoldTestInputSchema = {
   memory_id: z17.string().min(1).describe("Id of the attempt/gotcha lesson to scaffold a post-incident test from."),
   framework: z17.enum(["vitest", "jest", "pytest", "gotest"]).optional().describe("Test framework. Auto-detected from the package that owns the lesson's anchor paths when omitted."),
   out_path: z17.string().optional().describe("Override the generated test file path (repo-relative)."),
+  style: z17.enum(["example", "property", "differential"]).optional().describe(
+    "Test shape (default 'example'): 'property' states the invariant once and checks it over many generated inputs (fast-check/Hypothesis); 'differential' asserts the subject agrees with a `reference` implementation for all inputs. Both lower the cost of expressing the invariant."
+  ),
+  reference: z17.string().optional().describe("Required for style='differential': import specifier of the reference implementation to compare against."),
   red_ref: z17.string().optional().describe(
     "Pre-fix incident commit/ref. When set, the scaffold names the symbols the fix (<red_ref>..HEAD) touched within the lesson's anchor scope and pre-fills the example around them, so the assertion is a targeted edit rather than a blank page. A bad ref falls back to the generic template."
   ),
@@ -1876,6 +1880,10 @@ async function scaffoldTest(input, ctx) {
   if (!found) {
     return { ok: false, error: `No memory found with id ${input.memory_id}`, memory_id: input.memory_id };
   }
+  const style = input.style ?? "example";
+  if (style === "differential" && !input.reference) {
+    return { ok: false, error: "style='differential' requires `reference` (the reference implementation to compare against).", memory_id: input.memory_id };
+  }
   const anchorPaths = found.memory.frontmatter.anchor.paths ?? [];
   const allGroups = await detectTestFrameworksForAnchors(ctx.paths.root, anchorPaths);
   const groups = input.out_path ? allGroups.slice(0, 1) : allGroups;
@@ -1899,8 +1907,9 @@ async function scaffoldTest(input, ctx) {
     paths: anchorPaths,
     incidentHints
   };
+  const styleOpts = { style, reference: input.reference };
   let scaffolds = groups.map(
-    (g) => scaffoldPostIncidentTest(lesson, { framework: frameworkFor(g.framework), outPath: input.out_path, baseDir: g.baseDir })
+    (g) => scaffoldPostIncidentTest(lesson, { framework: frameworkFor(g.framework), outPath: input.out_path, baseDir: g.baseDir, ...styleOpts })
   );
   let proposeCommand = scaffolds[0].proposeCommand;
   if (scaffolds.length > 1) {
@@ -1909,7 +1918,8 @@ async function scaffoldTest(input, ctx) {
       (g) => scaffoldPostIncidentTest(lesson, {
         framework: frameworkFor(g.framework),
         baseDir: g.baseDir,
-        proposeCommandOverride: proposeCommand
+        proposeCommandOverride: proposeCommand,
+        ...styleOpts
       })
     );
   }
@@ -3221,7 +3231,7 @@ function oneLine(value) {
   return value.replace(/\s+/g, " ").replace(/"/g, '\\"').trim().slice(0, 120);
 }
 function serverVersion() {
-  return true ? "0.47.0" : "dev";
+  return true ? "0.49.0" : "dev";
 }
 
 // src/tools/code-map.ts
@@ -4541,13 +4551,25 @@ Examples of things to look for:
 ### 5. Did you find that an existing memory is outdated or wrong?
 \u2192 If yes, call **\`mem_update\`** with the correct information, or **\`mem_reject\`** if it's completely wrong
 
+## The bar \u2014 capture only what is UNGUESSABLE
+
+A memory earns its place only if it carries *hard-won, repo-specific knowledge a capable teammate could
+NOT infer* from the code, the docs, or common practice. A "decision" that merely restates what the
+implementation already shows, a "convention" that is just standard style, a "gotcha" that is generic
+best practice \u2014 these are noise, and noise makes every future briefing worse. **For a routine change,
+capturing nothing is the correct, expected outcome.** Only reach for \`mem_save\` when you can name the
+arbitrary constraint (an invariant, a tradeoff with a real WHY, a footgun that cost you time) that the
+next agent would otherwise get wrong.
+
 ## Rules
 
 - One memory per insight. Don't cram multiple lessons into one body.
 - Anchor memories to file paths when possible (the \`paths\` field) \u2014 this enables staleness detection.
 - Prefer \`scope="team"\` for anything a teammate or future agent would benefit from.
-- Skip sections where you genuinely have nothing to add. Don't fabricate memories.
-- **Question 0 is not optional** \u2014 always scan your exploration history for code-level discoveries.
+- Skip sections where you genuinely have nothing to add. Don't fabricate memories \u2014 an empty post-task
+  is better than a corpus of restated obvious facts.
+- Scan your exploration history for genuine code-level discoveries (failed approaches, real footguns),
+  but hold each to the bar above before saving it.
 
 ### 6. Close the session \u2014 always
 Call **\`mem_session_end\`** with:
@@ -4674,7 +4696,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.47.0";
+var SERVER_VERSION = "0.49.0";
 function jsonResult(data) {
   return {
     content: [