@hivelore/mcp 0.39.1 → 0.42.1

package/dist/server.d.ts

@@ -507,7 +507,7 @@ 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>;
     command: z.ZodOptional<z.ZodString>;
     timeout_ms: z.ZodOptional<z.ZodNumber>;
@@ -516,6 +516,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 +549,40 @@ 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;
+}
+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): "TypeScript" | "Tsx" | "JavaScript" | 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): 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;
+    absent?: string;
+    content: string;
+    filePath: string;
+    addedLines?: Set<number>;
+}): Promise<AstScanResult>;
+
 declare const MemTriedInputSchema: {
     what: z.ZodString;
     why_failed: z.ZodString;
@@ -566,6 +601,7 @@ declare const MemTriedInputSchema: {
         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";
@@ -576,6 +612,7 @@ declare const MemTriedInputSchema: {
         timeout_ms?: number | undefined;
         absent?: string | undefined;
         incident?: string | undefined;
+        red_ref?: string | undefined;
         bad_example?: string | undefined;
     }, {
         pattern?: string | undefined;
@@ -586,6 +623,7 @@ declare const MemTriedInputSchema: {
         absent?: string | undefined;
         severity?: "warn" | "block" | undefined;
         incident?: string | undefined;
+        red_ref?: string | undefined;
         bad_example?: string | undefined;
     }>>;
 };
@@ -780,4 +818,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 };