@hivelore/mcp 0.39.2 → 0.43.2

package/dist/server.d.ts

@@ -192,6 +192,8 @@ declare const GetBriefingZod: z.ZodObject<{
     semantic: z.ZodDefault<z.ZodBoolean>;
     include_stale: z.ZodDefault<z.ZodBoolean>;
     track: z.ZodDefault<z.ZodBoolean>;
+    memory_scopes: z.ZodOptional<z.ZodArray<z.ZodEnum<["personal", "team", "module", "shared"]>, "many">>;
+    deterministic: z.ZodOptional<z.ZodBoolean>;
     format: z.ZodDefault<z.ZodEnum<["full", "compact", "actions"]>>;
     symbols: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
     min_semantic_score: z.ZodDefault<z.ZodNumber>;
@@ -210,6 +212,8 @@ declare const GetBriefingZod: z.ZodObject<{
     min_semantic_score: number;
     task?: string | undefined;
     dedupe_project_context?: boolean | undefined;
+    memory_scopes?: ("personal" | "team" | "module" | "shared")[] | undefined;
+    deterministic?: boolean | undefined;
     budget_preset?: "quick" | "balanced" | "deep" | undefined;
 }, {
     symbols?: string[] | undefined;
@@ -224,6 +228,8 @@ declare const GetBriefingZod: z.ZodObject<{
     semantic?: boolean | undefined;
     include_stale?: boolean | undefined;
     track?: boolean | undefined;
+    memory_scopes?: ("personal" | "team" | "module" | "shared")[] | undefined;
+    deterministic?: boolean | undefined;
     min_semantic_score?: number | undefined;
     budget_preset?: "quick" | "balanced" | "deep" | undefined;
 }>;
@@ -507,8 +513,10 @@ declare function preCommitCheck(input: PreCommitCheckInput, ctx: HaiveContext):
 
 declare const ProposeSensorInputSchema: {
     memory_id: z.ZodString;
-    kind: z.ZodDefault<z.ZodEnum<["regex", "shell", "test"]>>;
+    kind: z.ZodDefault<z.ZodEnum<["regex", "ast", "shell", "test"]>>;
     pattern: z.ZodOptional<z.ZodString>;
+    rule: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    language: z.ZodOptional<z.ZodString>;
     command: z.ZodOptional<z.ZodString>;
     timeout_ms: z.ZodOptional<z.ZodNumber>;
     absent: z.ZodOptional<z.ZodString>;
@@ -516,6 +524,7 @@ declare const ProposeSensorInputSchema: {
     severity: z.ZodDefault<z.ZodEnum<["warn", "block"]>>;
     message: z.ZodOptional<z.ZodString>;
     incident: z.ZodOptional<z.ZodString>;
+    red_ref: z.ZodOptional<z.ZodString>;
     flags: z.ZodOptional<z.ZodString>;
     paths: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
 };
@@ -548,6 +557,43 @@ interface ProposeSensorOutput {
 declare function readPresumedCorrectTargets(root: string, relPaths: string[]): Promise<SensorTarget[]>;
 declare function proposeSensor(input: ProposeSensorInput, ctx: HaiveContext): Promise<ProposeSensorOutput>;
 
+interface AstMatch {
+    /** 1-indexed line range of the matched node. */
+    startLine: number;
+    endLine: number;
+    /** Matched source text (trimmed, capped) for review output. */
+    text: string;
+}
+interface AstScanResult {
+    status: "ok" | "engine-missing" | "unsupported-language" | "parse-error" | "invalid-pattern";
+    matches: AstMatch[];
+    detail?: string;
+}
+type AstRule = Record<string, unknown>;
+declare function astEngineAvailable(): Promise<boolean>;
+/** Map a file extension to a built-in ast-grep language. Unknown → null (unsupported, warn only). */
+declare function astLangForPath(filePath: string, explicitLanguage?: string): string | null;
+/**
+ * Run one AST pattern (with optional `absent` sub-pattern) over a file's FULL content.
+ * A match is suppressed when `absent` matches INSIDE the matched node — the structural version of
+ * the regex `absent` window: the required companion lives in the call's own arguments.
+ */
+declare function runAstPattern(content: string, filePath: string, pattern?: string, absent?: string, rule?: AstRule, language?: string): Promise<AstScanResult>;
+/**
+ * Gate-side evaluation: matches on the full content, FIRES only when a match intersects the added
+ * lines (introduction, not mere presence). `addedLines` empty/undefined = validation mode (any
+ * match counts — used for silent-on-current / fires-on-bad checks).
+ */
+declare function runAstSensorOnContent(input: {
+    pattern?: string;
+    rule?: AstRule;
+    language?: string;
+    absent?: string;
+    content: string;
+    filePath: string;
+    addedLines?: Set<number>;
+}): Promise<AstScanResult>;
+
 declare const MemTriedInputSchema: {
     what: z.ZodString;
     why_failed: z.ZodString;
@@ -558,34 +604,43 @@ declare const MemTriedInputSchema: {
     paths: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
     author: z.ZodOptional<z.ZodString>;
     sensor: z.ZodOptional<z.ZodObject<{
-        kind: z.ZodDefault<z.ZodEnum<["regex", "shell", "test"]>>;
+        kind: z.ZodDefault<z.ZodEnum<["regex", "ast", "shell", "test"]>>;
         pattern: z.ZodOptional<z.ZodString>;
+        rule: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        language: z.ZodOptional<z.ZodString>;
         command: z.ZodOptional<z.ZodString>;
         timeout_ms: z.ZodOptional<z.ZodNumber>;
         absent: z.ZodOptional<z.ZodString>;
         severity: z.ZodDefault<z.ZodEnum<["warn", "block"]>>;
         message: z.ZodOptional<z.ZodString>;
         incident: z.ZodOptional<z.ZodString>;
+        red_ref: z.ZodOptional<z.ZodString>;
         bad_example: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
-        kind: "regex" | "shell" | "test";
+        kind: "regex" | "ast" | "shell" | "test";
         severity: "warn" | "block";
         pattern?: string | undefined;
         message?: string | undefined;
+        rule?: Record<string, unknown> | undefined;
+        language?: string | undefined;
         command?: string | undefined;
         timeout_ms?: number | undefined;
         absent?: string | undefined;
         incident?: string | undefined;
+        red_ref?: string | undefined;
         bad_example?: string | undefined;
     }, {
         pattern?: string | undefined;
         message?: string | undefined;
-        kind?: "regex" | "shell" | "test" | undefined;
+        kind?: "regex" | "ast" | "shell" | "test" | undefined;
+        rule?: Record<string, unknown> | undefined;
+        language?: string | undefined;
         command?: string | undefined;
         timeout_ms?: number | undefined;
         absent?: string | undefined;
         severity?: "warn" | "block" | undefined;
         incident?: string | undefined;
+        red_ref?: string | undefined;
         bad_example?: string | undefined;
     }>>;
 };
@@ -780,4 +835,4 @@ declare function runHaiveMcpStdio(options: {
     root?: string;
 }): Promise<void>;
 
-export { type AnchorFrameworkGroup, 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 MemDistillInput, type MemDistillOutput, type MemRelevantToInput, type MemRelevantToOutput, type MemResolveProjectInput, type MemSuggestTopicInput, type MemTimelineInput, type MemTriedOutput, type PreCommitCheckInput, type PreCommitCheckOutput, type ProposeSensorOutput, SERVER_NAME, SERVER_VERSION, type ScaffoldTestOutput, TOOL_PROFILES, type ToolProfile, antiPatternsCheck, codeMapTool, codeSearch, createHaiveServer, detectTestFrameworkForPaths, detectTestFrameworksForAnchors, getAllowedToolsForProfile, getBriefing, getRecap, memConflictCandidates, memDistill, memRelevantTo, memResolveProject, memSuggestTopic, memTimeline, memTried, parseMcpCliArgs, preCommitCheck, printHaiveMcpVersion, proposeSensor, readPresumedCorrectTargets, runHaiveMcpStdio, scaffoldTest };
+export { type AnchorFrameworkGroup, type AntiPatternsCheckInput, type AntiPatternsCheckOutput, type AstMatch, type AstScanResult, 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 MemDistillInput, type MemDistillOutput, type MemRelevantToInput, type MemRelevantToOutput, type MemResolveProjectInput, type MemSuggestTopicInput, type MemTimelineInput, type MemTriedOutput, type PreCommitCheckInput, type PreCommitCheckOutput, type ProposeSensorOutput, SERVER_NAME, SERVER_VERSION, type ScaffoldTestOutput, TOOL_PROFILES, type ToolProfile, antiPatternsCheck, astEngineAvailable, astLangForPath, codeMapTool, codeSearch, createHaiveServer, detectTestFrameworkForPaths, detectTestFrameworksForAnchors, getAllowedToolsForProfile, getBriefing, getRecap, memConflictCandidates, memDistill, memRelevantTo, memResolveProject, memSuggestTopic, memTimeline, memTried, parseMcpCliArgs, preCommitCheck, printHaiveMcpVersion, proposeSensor, readPresumedCorrectTargets, runAstPattern, runAstSensorOnContent, runHaiveMcpStdio, scaffoldTest };