sift-light 1.0.1 → 1.0.2

package/src/tool-schema.ts

@@ -10,6 +10,7 @@ import {
 } from "./analysis-limits.js";
 import {
   MAX_CONTEXT_LINES,
+  MAX_INSPECT_REQUEST_TARGETS,
   MAX_INSPECT_TARGETS,
   MAX_PAGE_SIZE,
   MAX_SELECTED_PATHS,
@@ -25,6 +26,7 @@ import {
   SIFT_LIGHT_MODES,
   fieldGuidance,
 } from "./request-contract.js";
+import { MODE_ALIASES } from "./request-aliases.js";
 
 function stringEnum<const Values extends readonly string[]>(
   values: Values,
@@ -68,9 +70,9 @@ export const siftLightSchema = Type.Object({
   ),
   allOf: Type.Optional(
     Type.Array(Type.String({ maxLength: MAX_PATH_CHARACTERS }), {
-      minItems: 2,
+      minItems: 1,
       maxItems: 3,
-      description: `${fieldGuidance("allOf")}. 2-3 distinct terms must occur in one file (default) or one function.`,
+      description: `${fieldGuidance("allOf")}. 1-3 distinct terms must occur in one file (default) or one function; one term lists the files or functions containing it.`,
     }),
   ),
   within: Type.Optional(
@@ -95,7 +97,7 @@ export const siftLightSchema = Type.Object({
       {
         minItems: 1,
         description:
-          "Filter each single-pattern occurrence by syntax role (JS/TS/TSX/Go). Roles may be candidates, especially Go call/conversion ambiguity. Cannot combine with allOf.",
+          "Filter each single-pattern occurrence by syntax role (JS/TS/TSX/Go parsed; Python lexical: comment, string, code, declaration, import, call candidates). Roles may be candidates, especially Go call/conversion and Python calls. Cannot combine with allOf.",
       },
     ),
   ),
@@ -151,7 +153,7 @@ export const siftLightSchema = Type.Object({
       minItems: 1,
       maxItems: MAX_SELECTED_PATHS,
       description:
-        "Exact retained files to select together from a cursor. A new search accepts one path; split multiple roots into separate requests.",
+        "Exact retained files to select together from a cursor. A new search accepts one path; split multiple roots into separate requests. With mode=inspect and no cursor, opens each file from line 1 (same as targets with line 1).",
     }),
   ),
   glob: Type.Optional(
@@ -193,7 +195,7 @@ export const siftLightSchema = Type.Object({
   ignorePolicy: Type.Optional(
     stringEnum(["respect", "include"] as const, {
       description:
-        "respect (default) honors ignore rules and reports policy-filtered coverage when files are omitted. include searches ignored files while still excluding .git internals and protected paths.",
+        "respect (default) honors ignore rules and reports policy-filtered coverage when files are omitted, including mode=files. include searches or lists ignored files while still excluding .git internals and protected paths.",
     }),
   ),
   patterns: Type.Optional(
@@ -264,19 +266,19 @@ export const siftLightSchema = Type.Object({
     Type.Integer({
       minimum: 1,
       maximum: MAX_PAGE_SIZE,
-      description: `${fieldGuidance("limit")}. Ordinary search only: explicit detail-page match limit (max 100). Normally omit to preserve automatic summarization; analysis and inspect modes reject it.`,
+      description: `${fieldGuidance("limit")}. Ordinary search: explicit detail-page match limit (max 100); mode=files: files per page (default 30). Normally omit to preserve automatic summarization; other analysis and inspect modes reject it.`,
     }),
   ),
   mode: Type.Optional(
-    stringEnum(SIFT_LIGHT_MODES, {
-      description: `Ordinary search defaults to auto; summary/matches request explicit pages. capabilities returns a compact names-only project inventory and per-language supported modes without loading providers. files uses query, structure uses an AST pattern, concept uses a required natural-language query, and hybrid uses one query for exact literal plus concept evidence in a single snapshot. validate rechecks saved search or analysis sources against their recorded origin. await waits for an existing long-running concept or hybrid operation without restarting it; cancel explicitly cancels one and waits for owned cleanup. Copy the returned nextRequest exactly and do not repeat the original query. Waiting is an operation state, not evidence. Validation details report the requested scope, comparison target, coverage, and freshness as current, stale, or unknown; partial coverage is retained during validation. inspect/outline/imports/tests retain their documented location selectors. Syntax results are static evidence; concept and related-test results remain candidates. ${MODE_CONTRACT_DESCRIPTION}`,
+    stringEnum([...SIFT_LIGHT_MODES, ...MODE_ALIASES], {
+      description: `Ordinary search defaults to auto; summary/matches request explicit pages. capabilities returns a compact names-only project inventory and per-language supported modes without loading providers. files uses query, structure uses an AST pattern, concept uses a required natural-language query, and hybrid uses one query for exact literal plus concept evidence in a single snapshot. validate rechecks saved search or analysis sources against their recorded origin. await waits for an existing long-running concept or hybrid operation without restarting it; cancel explicitly cancels one and waits for owned cleanup. Copy the returned nextRequest exactly and do not repeat the original query. Waiting is an operation state, not evidence. Validation details report the requested scope, comparison target, coverage, and freshness as current, stale, or unknown; partial coverage is retained during validation. inspect/outline/imports/tests retain their documented location selectors. Syntax results are static evidence; concept and related-test results remain candidates. ${MODE_CONTRACT_DESCRIPTION} anyOf/allOf are field names, not modes; as mode values they are accepted aliases for omitting mode, disclosed in a request note.`,
     }),
   ),
 
   line: Type.Optional(
     Type.Number({
       description:
-        "1-indexed source line for path inspection/navigation. Omit with matchIndex, matchIndices or targets.",
+        "1-indexed source line for path inspection/navigation; path-only inspect starts at line 1. Omit with matchIndex, matchIndices or targets.",
     }),
   ),
   matchIndex: Type.Optional(
@@ -288,9 +290,8 @@ export const siftLightSchema = Type.Object({
   matchIndices: Type.Optional(
     Type.Array(Type.Integer({ minimum: 1 }), {
       minItems: 1,
-      maxItems: MAX_INSPECT_TARGETS,
-      description:
-        "Inspect up to five visible match numbers together using the same cursor; mutually exclusive with matchIndex, path, line and targets.",
+      maxItems: MAX_INSPECT_REQUEST_TARGETS,
+      description: `Inspect visible match numbers together using the same cursor; mutually exclusive with matchIndex, path, line and targets. One response inspects ${String(MAX_INSPECT_TARGETS)}; the rest are returned as an exact nextRequest.`,
     }),
   ),
   targets: Type.Optional(
@@ -301,9 +302,8 @@ export const siftLightSchema = Type.Object({
       }),
       {
         minItems: 1,
-        maxItems: MAX_INSPECT_TARGETS,
-        description:
-          "Inspect known path/line locations together without a cursor. The complete batch shares one 16 KiB response budget.",
+        maxItems: MAX_INSPECT_REQUEST_TARGETS,
+        description: `Inspect known path/line locations together without a cursor. One response inspects ${String(MAX_INSPECT_TARGETS)} within a shared 16 KiB budget; the rest are returned as an exact nextRequest.`,
       },
     ),
   ),

package/src/tui/layout.ts

@@ -1,6 +1,6 @@
 import { truncateToWidth, visibleWidth } from "@earendil-works/pi-tui";
 import type { SiftLightLocale } from "../config.js";
-import type { SiftLightInput } from "../service.js";
+import type { SiftLightRequest } from "../service.js";
 import type { Dashboard } from "./dashboard.js";
 
 import { candy, type SiftLightTheme } from "./palette.js";
@@ -254,7 +254,7 @@ export function renderDashboard(
 }
 
 export function renderSiftLightCallLines(
-  input: SiftLightInput,
+  input: SiftLightRequest,
   locale: SiftLightLocale,
   theme: SiftLightTheme,
   width: number,

package/src/tui/renderers.ts

@@ -1,6 +1,6 @@
 import { type Component } from "@earendil-works/pi-tui";
 import type { SiftLightLocale } from "../config.js";
-import type { SiftLightInput } from "../service.js";
+import type { SiftLightRequest } from "../service.js";
 import type { SiftLightDetails } from "../types.js";
 import { dashboard } from "./dashboard.js";
 import { fit, renderDashboard, renderSiftLightCallLines, type SiftLightTheme } from "./layout.js";
@@ -47,7 +47,7 @@ function failure(text: string, locale: SiftLightLocale): string {
 }
 
 export function renderSiftLightCall(
-  input: SiftLightInput,
+  input: SiftLightRequest,
   locale: SiftLightLocale,
   theme: SiftLightTheme,
 ): Component {

package/src/types.ts

@@ -23,6 +23,8 @@ export const ESTIMATED_CHARACTERS_PER_TOKEN = 4;
 export const DEFAULT_SUMMARY_FILE_LIMIT = 30;
 export const MAX_SELECTED_PATHS = 20;
 export const MAX_INSPECT_TARGETS = 5;
+/** A request may name more targets; they are served in pages of MAX_INSPECT_TARGETS. */
+export const MAX_INSPECT_REQUEST_TARGETS = 20;
 export const MAX_DISPLAYED_OCCURRENCES = 20;
 export const MAX_STORED_MATCHES = 50_000;
 export const MAX_STORED_OCCURRENCES = 200_000;
@@ -310,6 +312,8 @@ export interface SiftLightDetails {
   source?: SourceExcerptDetails;
   inspections?: InspectBatchItemDetails[];
   scope?: SearchScopeDetails;
+  /** Disclosed request normalizations, such as a field name sent as mode. */
+  requestNotes?: string[];
   redactedCount?: number;
   redactionRequested?: boolean;
   redactionApplied?: boolean;