doc-detective 4.29.0 → 4.30.0

package/dist/lsp/command.d.ts

@@ -0,0 +1,12 @@
+import type { CommandModule } from "yargs";
+export interface LspArgv {
+    stdio: boolean;
+}
+/**
+ * `doc-detective lsp` — start the Doc Detective language server. Registered
+ * lazily in `src/cli.ts`: the handler imports the server (and its
+ * `vscode-languageserver` dependency graph) only when this subcommand runs, so
+ * ordinary `runTests` invocations never pay that import cost.
+ */
+export declare const lspCommand: CommandModule<{}, LspArgv>;
+//# sourceMappingURL=command.d.ts.map

package/dist/lsp/command.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../src/lsp/command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,OAAO,CAAC;AAE3C,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,aAAa,CAAC,EAAE,EAAE,OAAO,CAmBjD,CAAC"}

package/dist/lsp/command.js

@@ -0,0 +1,24 @@
+/**
+ * `doc-detective lsp` — start the Doc Detective language server. Registered
+ * lazily in `src/cli.ts`: the handler imports the server (and its
+ * `vscode-languageserver` dependency graph) only when this subcommand runs, so
+ * ordinary `runTests` invocations never pay that import cost.
+ */
+export const lspCommand = {
+    command: "lsp",
+    describe: "Start the Doc Detective language server (LSP) over stdio for editors and AI agents.",
+    builder: (yargs) => yargs.option("stdio", {
+        type: "boolean",
+        default: true,
+        describe: "Communicate over stdio (the only supported transport). Present for explicitness and editor configs.",
+    }),
+    /* c8 ignore start - thin lazy-load + real stdio server start; the server's
+       pure wiring is unit-tested via registerHandlers and end-to-end via the
+       spawned protocol test. */
+    handler: async () => {
+        const { startServer } = await import("./server.js");
+        startServer();
+    },
+    /* c8 ignore stop */
+};
+//# sourceMappingURL=command.js.map

package/dist/lsp/command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"command.js","sourceRoot":"","sources":["../../src/lsp/command.ts"],"names":[],"mappings":"AAMA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAA+B;IACpD,OAAO,EAAE,KAAK;IACd,QAAQ,EACN,qFAAqF;IACvF,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE;QACpB,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,IAAI;QACb,QAAQ,EACN,qGAAqG;KACxG,CAA6C;IAChD;;gCAE4B;IAC5B,OAAO,EAAE,KAAK,IAAI,EAAE;QAClB,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,CAAC;QACpD,WAAW,EAAE,CAAC;IAChB,CAAC;IACD,oBAAoB;CACrB,CAAC"}

package/dist/lsp/completion.d.ts

@@ -0,0 +1,27 @@
+import { CompletionItem, MarkupKind } from "vscode-languageserver";
+import type { Position } from "vscode-languageserver";
+import type { TextDocument } from "vscode-languageserver-textdocument";
+type JsonPath = Array<string | number>;
+/**
+ * Cursor is at a step-object key position: `…/steps/<index>/<partialKey>`.
+ * Offers action-key completions.
+ */
+export declare function isStepKeyContext(path: JsonPath): boolean;
+/**
+ * Cursor is at a key position inside an action object:
+ * `…/steps/<index>/<actionKey>/<partialKey>`. Returns the action key, or null.
+ */
+export declare function actionFieldContext(path: JsonPath): string | null;
+/** A Markdown documentation payload, or undefined when there's no text. */
+export declare function markdownDoc(text: string | undefined): {
+    kind: MarkupKind;
+    value: string;
+} | undefined;
+/**
+ * Compute completions at a position. Phase 2: action-key completion inside a
+ * `steps` element, and field-name completion inside a known action's object.
+ * Spec documents only, JSON only, key positions only.
+ */
+export declare function computeCompletions(doc: TextDocument, position: Position): CompletionItem[];
+export {};
+//# sourceMappingURL=completion.d.ts.map

package/dist/lsp/completion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"completion.d.ts","sourceRoot":"","sources":["../../src/lsp/completion.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,EAGd,UAAU,EAEX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAKvE,KAAK,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;AAEvC;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAQxD;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,IAAI,CAYhE;AAcD,2EAA2E;AAC3E,wBAAgB,WAAW,CACzB,IAAI,EAAE,MAAM,GAAG,SAAS,GACvB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAEjD;AAsDD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,YAAY,EACjB,QAAQ,EAAE,QAAQ,GACjB,cAAc,EAAE,CAyBlB"}

package/dist/lsp/completion.js

@@ -0,0 +1,114 @@
+import { CompletionItemKind, InsertTextFormat, MarkupKind, TextEdit, } from "vscode-languageserver";
+import { getLocation } from "jsonc-parser";
+import { classifyDocument, isJsonUri } from "./gate.js";
+import { getRegistry } from "./registry.js";
+/**
+ * Cursor is at a step-object key position: `…/steps/<index>/<partialKey>`.
+ * Offers action-key completions.
+ */
+export function isStepKeyContext(path) {
+    const n = path.length;
+    return (n >= 3 &&
+        typeof path[n - 1] === "string" &&
+        typeof path[n - 2] === "number" &&
+        path[n - 3] === "steps");
+}
+/**
+ * Cursor is at a key position inside an action object:
+ * `…/steps/<index>/<actionKey>/<partialKey>`. Returns the action key, or null.
+ */
+export function actionFieldContext(path) {
+    const n = path.length;
+    if (n >= 4 &&
+        typeof path[n - 1] === "string" &&
+        typeof path[n - 2] === "string" &&
+        typeof path[n - 3] === "number" &&
+        path[n - 4] === "steps") {
+        return path[n - 2];
+    }
+    return null;
+}
+/**
+ * The value placeholder inserted after an action key. Quotes the tab-stop only
+ * for string scalars — a numeric (`wait`) or boolean (`stopRecord`) action gets
+ * a bare placeholder so the starter isn't schema-invalid; object-only actions
+ * get a brace body.
+ */
+function valueSnippet(primitiveKind) {
+    if (primitiveKind === "string")
+        return '"$1"';
+    if (primitiveKind === "number" || primitiveKind === "boolean")
+        return "$1";
+    return "{\n\t$1\n}";
+}
+/** A Markdown documentation payload, or undefined when there's no text. */
+export function markdownDoc(text) {
+    return text ? { kind: MarkupKind.Markdown, value: text } : undefined;
+}
+/** Build a snippet TextEdit that replaces the partial key node, if present. */
+function keyTextEdit(doc, previousNode, insertText) {
+    // When the cursor is on a partial key, jsonc reports the enclosing node whose
+    // span covers the key (and any `:value` already typed). We're gated on
+    // isAtPropertyKey, so replacing that whole span with the snippet avoids
+    // doubled quotes and leftover `:` fragments.
+    if (previousNode) {
+        const start = doc.positionAt(previousNode.offset);
+        const end = doc.positionAt(previousNode.offset + previousNode.length);
+        return { textEdit: TextEdit.replace({ start, end }, insertText) };
+    }
+    // Truly empty object (`{}`): no key token to replace — insert at the cursor.
+    return { insertText };
+}
+function actionItem(action, doc, previousNode) {
+    const insert = `"${action.key}": ${valueSnippet(action.primitiveKind)}`;
+    const edit = keyTextEdit(doc, previousNode, insert);
+    return {
+        label: action.key,
+        kind: CompletionItemKind.Property,
+        detail: action.title,
+        documentation: markdownDoc(action.description),
+        insertTextFormat: InsertTextFormat.Snippet,
+        ...edit,
+    };
+}
+function fieldItem(field, doc, previousNode) {
+    const insert = `"${field.name}": ${valueSnippet(field.primitiveKind)}`;
+    const edit = keyTextEdit(doc, previousNode, insert);
+    return {
+        label: field.name,
+        kind: CompletionItemKind.Field,
+        documentation: markdownDoc(field.description),
+        insertTextFormat: InsertTextFormat.Snippet,
+        ...edit,
+    };
+}
+/**
+ * Compute completions at a position. Phase 2: action-key completion inside a
+ * `steps` element, and field-name completion inside a known action's object.
+ * Spec documents only, JSON only, key positions only.
+ */
+export function computeCompletions(doc, position) {
+    const text = doc.getText();
+    if (classifyDocument({ uri: doc.uri, text }) !== "spec")
+        return [];
+    if (!isJsonUri(doc.uri))
+        return [];
+    const offset = doc.offsetAt(position);
+    const location = getLocation(text, offset);
+    if (!location.isAtPropertyKey)
+        return [];
+    const registry = getRegistry();
+    const previousNode = location.previousNode;
+    if (isStepKeyContext(location.path)) {
+        return registry.actions.map((a) => actionItem(a, doc, previousNode));
+    }
+    const actionKey = actionFieldContext(location.path);
+    if (actionKey) {
+        const action = registry.byKey.get(actionKey);
+        if (action) {
+            return action.fields.map((f) => fieldItem(f, doc, previousNode));
+        }
+    }
+    return [];
+}
+//# sourceMappingURL=completion.js.map

package/dist/lsp/completion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"completion.js","sourceRoot":"","sources":["../../src/lsp/completion.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,kBAAkB,EAClB,gBAAgB,EAChB,UAAU,EACV,QAAQ,GACT,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAAE,WAAW,EAAa,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,WAAW,EAA0C,MAAM,eAAe,CAAC;AAIpF;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAc;IAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,OAAO,CACL,CAAC,IAAI,CAAC;QACN,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,QAAQ;QAC/B,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,QAAQ;QAC/B,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,OAAO,CACxB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAc;IAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,IACE,CAAC,IAAI,CAAC;QACN,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,QAAQ;QAC/B,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,QAAQ;QAC/B,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,QAAQ;QAC/B,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,OAAO,EACvB,CAAC;QACD,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAW,CAAC;IAC/B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,aAA4B;IAChD,IAAI,aAAa,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC9C,IAAI,aAAa,KAAK,QAAQ,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC3E,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,WAAW,CACzB,IAAwB;IAExB,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACvE,CAAC;AAED,+EAA+E;AAC/E,SAAS,WAAW,CAClB,GAAiB,EACjB,YAA8B,EAC9B,UAAkB;IAElB,8EAA8E;IAC9E,uEAAuE;IACvE,wEAAwE;IACxE,6CAA6C;IAC7C,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACtE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC;IACpE,CAAC;IACD,6EAA6E;IAC7E,OAAO,EAAE,UAAU,EAAE,CAAC;AACxB,CAAC;AAED,SAAS,UAAU,CACjB,MAAkB,EAClB,GAAiB,EACjB,YAA8B;IAE9B,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;IACxE,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IACpD,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,GAAG;QACjB,IAAI,EAAE,kBAAkB,CAAC,QAAQ;QACjC,MAAM,EAAE,MAAM,CAAC,KAAK;QACpB,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC;QAC9C,gBAAgB,EAAE,gBAAgB,CAAC,OAAO;QAC1C,GAAG,IAAI;KACR,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,KAAkB,EAClB,GAAiB,EACjB,YAA8B;IAE9B,MAAM,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,MAAM,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;IACvE,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IACpD,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,IAAI;QACjB,IAAI,EAAE,kBAAkB,CAAC,KAAK;QAC9B,aAAa,EAAE,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC;QAC7C,gBAAgB,EAAE,gBAAgB,CAAC,OAAO;QAC1C,GAAG,IAAI;KACR,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAiB,EACjB,QAAkB;IAElB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;IAC3B,IAAI,gBAAgB,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC;IACnE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAEnC,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,CAAC,QAAQ,CAAC,eAAe;QAAE,OAAO,EAAE,CAAC;IAEzC,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAC;IAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC;IAE3C,IAAI,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,SAAS,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/lsp/diagnostics.d.ts

@@ -0,0 +1,21 @@
+import { Diagnostic } from "vscode-languageserver";
+import type { TextDocument } from "vscode-languageserver-textdocument";
+import { DIAGNOSTIC_SOURCE, ACTION_KEYED_MESSAGE, V2_DEPRECATION_MESSAGE, schemaMessage } from "./messages.js";
+export { DIAGNOSTIC_SOURCE, ACTION_KEYED_MESSAGE, V2_DEPRECATION_MESSAGE, schemaMessage, };
+/**
+ * Should this schema error be dropped because an action-keyed step already
+ * explains it? Two cases: (1) the error sits at/under the offending step, or
+ * (2) it's a vague container `anyOf`/`oneOf` failure on an *ancestor* of that
+ * step — the propagation of the same problem up to the test/spec level, which
+ * says only "must match a schema in anyOf" and is useless next to the precise
+ * action-keyed diagnostic.
+ */
+export declare function isSuppressedByActionKeyed(instancePath: string, keyword: string | undefined, suppressedPointers: string[]): boolean;
+/**
+ * Compute all diagnostics for a document. Pure over (uri, text): no filesystem,
+ * no network. Handles JSON and YAML specs/configs. Returns `[]` for anything the
+ * detection gate doesn't recognize and for empty/unparseable buffers (beyond
+ * the syntax errors themselves).
+ */
+export declare function computeDiagnostics(doc: TextDocument): Diagnostic[];
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/lsp/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../src/lsp/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EAGX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAMvE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,EACtB,aAAa,EACd,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,EACtB,aAAa,GACd,CAAC;AA4BF;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACvC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,kBAAkB,EAAE,MAAM,EAAE,GAC3B,OAAO,CAWT;AAGD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,YAAY,GAAG,UAAU,EAAE,CAwFlE"}

package/dist/lsp/diagnostics.js

@@ -0,0 +1,137 @@
+import { DiagnosticSeverity, } from "vscode-languageserver";
+import { validate } from "../common/src/validate.js";
+import { classifyDocument } from "./gate.js";
+import { buildModel } from "./model.js";
+import { fileTypeForUri, computeInlineDiagnostics } from "./inline.js";
+import { DIAGNOSTIC_SOURCE, ACTION_KEYED_MESSAGE, V2_DEPRECATION_MESSAGE, schemaMessage, } from "./messages.js";
+// Re-exported so existing importers (and tests) keep a single entry point.
+export { DIAGNOSTIC_SOURCE, ACTION_KEYED_MESSAGE, V2_DEPRECATION_MESSAGE, schemaMessage, };
+const SCHEMA_FOR_CLASS = {
+    spec: "spec_v3",
+    config: "config_v3",
+};
+function offsetRangeToLspRange(doc, range) {
+    return {
+        start: doc.positionAt(range.start),
+        end: doc.positionAt(range.end),
+    };
+}
+/**
+ * Is `instancePath` inside (or equal to) the step at `pointer`? Used to drop
+ * the raw `anyOf` schema errors for a step we've already explained with the
+ * friendly action-keyed diagnostic.
+ */
+function isUnderPointer(instancePath, pointer) {
+    return instancePath === pointer || instancePath.startsWith(pointer + "/");
+}
+/** Is `pointer` inside (or equal to) `instancePath`? (The inverse relation.) */
+function pointerIsUnder(pointer, instancePath) {
+    return pointer === instancePath || pointer.startsWith(instancePath + "/");
+}
+/**
+ * Should this schema error be dropped because an action-keyed step already
+ * explains it? Two cases: (1) the error sits at/under the offending step, or
+ * (2) it's a vague container `anyOf`/`oneOf` failure on an *ancestor* of that
+ * step — the propagation of the same problem up to the test/spec level, which
+ * says only "must match a schema in anyOf" and is useless next to the precise
+ * action-keyed diagnostic.
+ */
+export function isSuppressedByActionKeyed(instancePath, keyword, suppressedPointers) {
+    return suppressedPointers.some((pointer) => {
+        if (isUnderPointer(instancePath, pointer))
+            return true;
+        if ((keyword === "anyOf" || keyword === "oneOf") &&
+            pointerIsUnder(pointer, instancePath)) {
+            return true;
+        }
+        return false;
+    });
+}
+/**
+ * Compute all diagnostics for a document. Pure over (uri, text): no filesystem,
+ * no network. Handles JSON and YAML specs/configs. Returns `[]` for anything the
+ * detection gate doesn't recognize and for empty/unparseable buffers (beyond
+ * the syntax errors themselves).
+ */
+export function computeDiagnostics(doc) {
+    const text = doc.getText();
+    // Markup files (markdown/asciidoc/html/dita) carry tests inline, not as a
+    // whole-file spec — route them to the inline pipeline. Naturally silent on
+    // files without any Doc Detective statements.
+    const markupFileType = fileTypeForUri(doc.uri);
+    if (markupFileType)
+        return computeInlineDiagnostics(doc, markupFileType);
+    const cls = classifyDocument({ uri: doc.uri, text });
+    if (!cls)
+        return [];
+    const model = buildModel(doc.uri, text);
+    /* c8 ignore next - classify only returns non-null for .json/.yaml/.yml, which buildModel handles */
+    if (!model)
+        return [];
+    // Surface syntax errors ourselves: because the plugin maps specs to a
+    // dedicated language id, the editor's built-in JSON/YAML service may not run.
+    const diagnostics = model.syntaxErrors.map((e) => ({
+        severity: DiagnosticSeverity.Error,
+        range: offsetRangeToLspRange(doc, e.range),
+        message: e.message,
+        source: DIAGNOSTIC_SOURCE,
+    }));
+    // A syntactically broken buffer can't be meaningfully schema-checked — the
+    // partial value produces misleading "must be object" noise. Show the syntax
+    // errors; schema diagnostics reappear once the document parses cleanly.
+    if (diagnostics.length > 0)
+        return diagnostics;
+    const value = model.value;
+    if (!value || typeof value !== "object")
+        return diagnostics;
+    const actionKeyed = model.actionKeyedSteps();
+    const result = validate({
+        schemaKey: SCHEMA_FOR_CLASS[cls],
+        object: value,
+        addDefaults: false,
+        structuredErrors: true,
+    });
+    // `structuredErrors: true` guarantees `errorObjects` is populated (empty when
+    // valid), so it is never undefined here.
+    const errorObjects = result.errorObjects;
+    // Decide each action-keyed step's fate *per step*, by whether AJV flagged an
+    // error at/under that specific step's pointer:
+    //   - own errors  → the step is genuinely invalid v3 → flagship error, and its
+    //                    raw anyOf noise is suppressed in favor of that one message.
+    //   - no errors   → a valid legacy v2 step (it transforms to v3) → a
+    //                    non-blocking deprecation nudge, and we do NOT suppress
+    //                    unrelated errors on its behalf.
+    // This keeps a valid v2 step from being mislabeled just because some *other*
+    // part of the document failed to validate.
+    const invalidPointers = actionKeyed
+        .map((step) => step.pointer)
+        .filter((pointer) => errorObjects.some((error) => isUnderPointer(error.instancePath, pointer)));
+    for (const error of errorObjects) {
+        const instancePath = error.instancePath;
+        if (isSuppressedByActionKeyed(instancePath, error.keyword, invalidPointers)) {
+            continue;
+        }
+        const offsetRange = model.rangeForPath(instancePath);
+        /* c8 ignore next - rangeForPath always resolves to at least the root for a parsed tree */
+        if (!offsetRange)
+            continue;
+        diagnostics.push({
+            severity: DiagnosticSeverity.Error,
+            range: offsetRangeToLspRange(doc, offsetRange),
+            message: schemaMessage(error),
+            source: DIAGNOSTIC_SOURCE,
+        });
+    }
+    for (const step of actionKeyed) {
+        const invalid = invalidPointers.includes(step.pointer);
+        diagnostics.push({
+            severity: invalid ? DiagnosticSeverity.Error : DiagnosticSeverity.Warning,
+            range: offsetRangeToLspRange(doc, step.keyRange),
+            message: invalid ? ACTION_KEYED_MESSAGE : V2_DEPRECATION_MESSAGE,
+            source: DIAGNOSTIC_SOURCE,
+            code: invalid ? "action-keyed-step" : "legacy-v2-step",
+        });
+    }
+    return diagnostics;
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/lsp/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../src/lsp/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,kBAAkB,GAEnB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAY,MAAM,WAAW,CAAC;AAEvD,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,EACtB,aAAa,GACd,MAAM,eAAe,CAAC;AAEvB,2EAA2E;AAC3E,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,EACtB,aAAa,GACd,CAAC;AAEF,MAAM,gBAAgB,GAA4C;IAChE,IAAI,EAAE,SAAS;IACf,MAAM,EAAE,WAAW;CACpB,CAAC;AAEF,SAAS,qBAAqB,CAAC,GAAiB,EAAE,KAAkB;IAClE,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;QAClC,GAAG,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,YAAoB,EAAE,OAAe;IAC3D,OAAO,YAAY,KAAK,OAAO,IAAI,YAAY,CAAC,UAAU,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC;AAC5E,CAAC;AAED,gFAAgF;AAChF,SAAS,cAAc,CAAC,OAAe,EAAE,YAAoB;IAC3D,OAAO,OAAO,KAAK,YAAY,IAAI,OAAO,CAAC,UAAU,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACvC,YAAoB,EACpB,OAA2B,EAC3B,kBAA4B;IAE5B,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;QACzC,IAAI,cAAc,CAAC,YAAY,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACvD,IACE,CAAC,OAAO,KAAK,OAAO,IAAI,OAAO,KAAK,OAAO,CAAC;YAC5C,cAAc,CAAC,OAAO,EAAE,YAAY,CAAC,EACrC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAGD;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAiB;IAClD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;IAE3B,0EAA0E;IAC1E,2EAA2E;IAC3E,8CAA8C;IAC9C,MAAM,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,cAAc;QAAE,OAAO,wBAAwB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAEzE,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IAEpB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,oGAAoG;IACpG,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IAEtB,sEAAsE;IACtE,8EAA8E;IAC9E,MAAM,WAAW,GAAiB,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/D,QAAQ,EAAE,kBAAkB,CAAC,KAAK;QAClC,KAAK,EAAE,qBAAqB,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,MAAM,EAAE,iBAAiB;KAC1B,CAAC,CAAC,CAAC;IAEJ,2EAA2E;IAC3E,4EAA4E;IAC5E,wEAAwE;IACxE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,WAAW,CAAC;IAE/C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC;IAE5D,MAAM,WAAW,GAAG,KAAK,CAAC,gBAAgB,EAAE,CAAC;IAE7C,MAAM,MAAM,GAAG,QAAQ,CAAC;QACtB,SAAS,EAAE,gBAAgB,CAAC,GAAG,CAAC;QAChC,MAAM,EAAE,KAAK;QACb,WAAW,EAAE,KAAK;QAClB,gBAAgB,EAAE,IAAI;KACvB,CAAC,CAAC;IACH,8EAA8E;IAC9E,yCAAyC;IACzC,MAAM,YAAY,GAAG,MAAM,CAAC,YAAa,CAAC;IAE1C,6EAA6E;IAC7E,+CAA+C;IAC/C,+EAA+E;IAC/E,iFAAiF;IACjF,qEAAqE;IACrE,4EAA4E;IAC5E,qDAAqD;IACrD,6EAA6E;IAC7E,2CAA2C;IAC3C,MAAM,eAAe,GAAG,WAAW;SAChC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;SAC3B,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAClB,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAC1E,CAAC;IAEJ,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;QACxC,IAAI,yBAAyB,CAAC,YAAY,EAAE,KAAK,CAAC,OAAO,EAAE,eAAe,CAAC,EAAE,CAAC;YAC5E,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;QACrD,0FAA0F;QAC1F,IAAI,CAAC,WAAW;YAAE,SAAS;QAC3B,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,kBAAkB,CAAC,KAAK;YAClC,KAAK,EAAE,qBAAqB,CAAC,GAAG,EAAE,WAAW,CAAC;YAC9C,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC;YAC7B,MAAM,EAAE,iBAAiB;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO;YACzE,KAAK,EAAE,qBAAqB,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC;YAChD,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,sBAAsB;YAChE,MAAM,EAAE,iBAAiB;YACzB,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,gBAAgB;SACvD,CAAC,CAAC;IACL,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/lsp/gate.d.ts

@@ -0,0 +1,30 @@
+/**
+ * What kind of Doc Detective document a buffer is, or `null` when the buffer is
+ * not a Doc Detective document at all. The server stays completely silent
+ * (no diagnostics, no completion) for `null` — the detection gate is biased
+ * toward silence, because false noise on an unrelated `package.json` is far
+ * worse than a real spec that a user has to opt into with `$schema`.
+ */
+export type DocClass = "spec" | "config" | null;
+export interface ClassifyInput {
+    /** Document URI (e.g. `file:///abs/path/foo.spec.json`). */
+    uri: string;
+    /** Full document text. */
+    text: string;
+}
+/** Extract a lowercase basename from a URI or path, sans query/fragment. */
+export declare function basenameFromUri(uri: string): string;
+/**
+ * Classify a document by filename first, then by an explicit `$schema` opt-in,
+ * then by a shape sniff — in that order of confidence. Pure: no filesystem, no
+ * network, tolerant of syntactically broken buffers (an editor sends those
+ * constantly), so it never throws.
+ */
+export declare function classifyDocument({ uri, text }: ClassifyInput): DocClass;
+/** Convenience predicate: is this a document the server should touch at all? */
+export declare function shouldHandleDocument(input: ClassifyInput): boolean;
+/** Is this URI a JSON document (by extension)? */
+export declare function isJsonUri(uri: string): boolean;
+/** Is this URI a YAML document (by extension)? */
+export declare function isYamlUri(uri: string): boolean;
+//# sourceMappingURL=gate.d.ts.map

package/dist/lsp/gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../src/lsp/gate.ts"],"names":[],"mappings":"AAGA;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,IAAI,CAAC;AAEhD,MAAM,WAAW,aAAa;IAC5B,4DAA4D;IAC5D,GAAG,EAAE,MAAM,CAAC;IACZ,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,4EAA4E;AAC5E,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAKnD;AAKD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,aAAa,GAAG,QAAQ,CA6CvE;AAED,gFAAgF;AAChF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAElE;AAED,kDAAkD;AAClD,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAE9C;AAED,kDAAkD;AAClD,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAG9C"}

package/dist/lsp/gate.js

@@ -0,0 +1,80 @@
+import { parse as parseJsonc } from "jsonc-parser";
+import YAML from "yaml";
+/** Extract a lowercase basename from a URI or path, sans query/fragment. */
+export function basenameFromUri(uri) {
+    // Strip scheme/query/fragment, then take the last path segment.
+    const withoutQuery = uri.split(/[?#]/)[0];
+    const segments = withoutQuery.split(/[\\/]/);
+    return (segments[segments.length - 1] || "").toLowerCase();
+}
+const SPEC_NAME = /\.spec\.(json|ya?ml)$/;
+const CONFIG_NAME = /^\.doc-detective\.(json|ya?ml)$/;
+/**
+ * Classify a document by filename first, then by an explicit `$schema` opt-in,
+ * then by a shape sniff — in that order of confidence. Pure: no filesystem, no
+ * network, tolerant of syntactically broken buffers (an editor sends those
+ * constantly), so it never throws.
+ */
+export function classifyDocument({ uri, text }) {
+    const name = basenameFromUri(uri);
+    // 1. Filename convention — highest confidence.
+    if (SPEC_NAME.test(name))
+        return "spec";
+    if (CONFIG_NAME.test(name))
+        return "config";
+    // For anything else we only engage on an explicit signal in the content.
+    // Parse leniently by extension: YAML files through the YAML parser, everything
+    // else through jsonc (tolerant of trailing commas / comments). Both are
+    // wrapped so a malformed buffer classifies as `null` rather than throwing.
+    const isYaml = name.endsWith(".yaml") || name.endsWith(".yml");
+    let parsed;
+    try {
+        if (isYaml) {
+            parsed = YAML.parse(text);
+        }
+        else {
+            // jsonc.parse returns a *partial* value for malformed input (`{"tests":[],`
+            // yields `{tests:[]}`), which would wrongly classify garbage as a spec.
+            // Collect its errors and refuse to classify when any remain.
+            const errors = [];
+            parsed = parseJsonc(text, errors, { allowTrailingComma: true });
+            if (errors.length > 0)
+                return null;
+        }
+    }
+    catch {
+        return null;
+    }
+    if (!parsed || typeof parsed !== "object" || Array.isArray(parsed)) {
+        return null;
+    }
+    // 2. Explicit `$schema` opt-in — the documented escape hatch for
+    //    non-conventionally-named files.
+    if (typeof parsed.$schema === "string") {
+        if (parsed.$schema.includes("spec_v3"))
+            return "spec";
+        if (parsed.$schema.includes("config_v3"))
+            return "config";
+    }
+    // 3. Shape sniff — only the spec shape is distinctive enough to trust
+    //    without a name or `$schema`. A top-level `tests` array is the
+    //    spec_v3 signature. Config is deliberately NOT sniffed: too many
+    //    unrelated JSON files would match a permissive config shape.
+    if (Array.isArray(parsed.tests))
+        return "spec";
+    return null;
+}
+/** Convenience predicate: is this a document the server should touch at all? */
+export function shouldHandleDocument(input) {
+    return classifyDocument(input) !== null;
+}
+/** Is this URI a JSON document (by extension)? */
+export function isJsonUri(uri) {
+    return basenameFromUri(uri).endsWith(".json");
+}
+/** Is this URI a YAML document (by extension)? */
+export function isYamlUri(uri) {
+    const name = basenameFromUri(uri);
+    return name.endsWith(".yaml") || name.endsWith(".yml");
+}
+//# sourceMappingURL=gate.js.map

package/dist/lsp/gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../src/lsp/gate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,UAAU,EAAmB,MAAM,cAAc,CAAC;AACpE,OAAO,IAAI,MAAM,MAAM,CAAC;AAkBxB,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,gEAAgE;IAChE,MAAM,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,MAAM,SAAS,GAAG,uBAAuB,CAAC;AAC1C,MAAM,WAAW,GAAG,iCAAiC,CAAC;AAEtD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAE,GAAG,EAAE,IAAI,EAAiB;IAC3D,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAElC,+CAA+C;IAC/C,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE5C,yEAAyE;IACzE,+EAA+E;IAC/E,wEAAwE;IACxE,2EAA2E;IAC3E,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,MAAW,CAAC;IAChB,IAAI,CAAC;QACH,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,4EAA4E;YAC5E,wEAAwE;YACxE,6DAA6D;YAC7D,MAAM,MAAM,GAAiB,EAAE,CAAC;YAChC,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAC;YAChE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;QACrC,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iEAAiE;IACjE,qCAAqC;IACrC,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,MAAM,CAAC;QACtD,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,QAAQ,CAAC;IAC5D,CAAC;IAED,sEAAsE;IACtE,mEAAmE;IACnE,qEAAqE;IACrE,iEAAiE;IACjE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAE/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,OAAO,gBAAgB,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;AAC1C,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,SAAS,CAAC,GAAW;IACnC,OAAO,eAAe,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,SAAS,CAAC,GAAW;IACnC,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACzD,CAAC"}

package/dist/lsp/hover.d.ts

@@ -0,0 +1,9 @@
+import { type Hover, type Position } from "vscode-languageserver";
+import type { TextDocument } from "vscode-languageserver-textdocument";
+/**
+ * Hover over an action key (a step's `"goTo"`, `"find"`, …) surfaces that
+ * action's description straight from the schema — one source of truth, no
+ * hand-written copies. Spec + JSON only.
+ */
+export declare function computeHover(doc: TextDocument, position: Position): Hover | null;
+//# sourceMappingURL=hover.d.ts.map

package/dist/lsp/hover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hover.d.ts","sourceRoot":"","sources":["../../src/lsp/hover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,KAAK,EAAE,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAC9E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AA6BvE;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,GAAG,KAAK,GAAG,IAAI,CAyBhF"}

package/dist/lsp/hover.js

@@ -0,0 +1,56 @@
+import { MarkupKind } from "vscode-languageserver";
+import { findNodeAtOffset, parseTree } from "jsonc-parser";
+import { classifyDocument, isJsonUri } from "./gate.js";
+import { getRegistry } from "./registry.js";
+/**
+ * Is `keyNode` the key of a property that is a direct child of a `steps`
+ * array element? Walks: string(key) → property → object(step) → array →
+ * property("steps"). Returns true only for an action key on a step.
+ */
+function isStepPropertyKey(keyNode) {
+    const property = keyNode.parent;
+    if (!property ||
+        property.type !== "property" ||
+        property.children?.[0] !== keyNode) {
+        return false;
+    }
+    const stepObject = property.parent;
+    const array = stepObject?.parent;
+    const arrayProperty = array?.parent;
+    return (array?.type === "array" &&
+        arrayProperty?.type === "property" &&
+        arrayProperty.children?.[0]?.value === "steps");
+}
+/**
+ * Hover over an action key (a step's `"goTo"`, `"find"`, …) surfaces that
+ * action's description straight from the schema — one source of truth, no
+ * hand-written copies. Spec + JSON only.
+ */
+export function computeHover(doc, position) {
+    const text = doc.getText();
+    if (classifyDocument({ uri: doc.uri, text }) !== "spec")
+        return null;
+    if (!isJsonUri(doc.uri))
+        return null;
+    const root = parseTree(text);
+    if (!root)
+        return null;
+    const offset = doc.offsetAt(position);
+    const node = findNodeAtOffset(root, offset);
+    if (!node || node.type !== "string" || !isStepPropertyKey(node))
+        return null;
+    const action = getRegistry().byKey.get(node.value);
+    if (!action)
+        return null;
+    const parts = [`**${action.title}**`];
+    if (action.description)
+        parts.push("", action.description);
+    return {
+        contents: { kind: MarkupKind.Markdown, value: parts.join("\n") },
+        range: {
+            start: doc.positionAt(node.offset),
+            end: doc.positionAt(node.offset + node.length),
+        },
+    };
+}
+//# sourceMappingURL=hover.js.map

package/dist/lsp/hover.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hover.js","sourceRoot":"","sources":["../../src/lsp/hover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAA6B,MAAM,uBAAuB,CAAC;AAE9E,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAa,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,OAAa;IACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;IAChC,IACE,CAAC,QAAQ;QACT,QAAQ,CAAC,IAAI,KAAK,UAAU;QAC5B,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,EAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC;IACnC,MAAM,KAAK,GAAG,UAAU,EAAE,MAAM,CAAC;IACjC,MAAM,aAAa,GAAG,KAAK,EAAE,MAAM,CAAC;IACpC,OAAO,CACL,KAAK,EAAE,IAAI,KAAK,OAAO;QACvB,aAAa,EAAE,IAAI,KAAK,UAAU;QAClC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,CAC/C,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,GAAiB,EAAE,QAAkB;IAChE,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;IAC3B,IAAI,gBAAgB,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACrE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAErC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAE7E,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,MAAM,KAAK,GAAG,CAAC,KAAK,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;IACtC,IAAI,MAAM,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAE3D,OAAO;QACL,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAChE,KAAK,EAAE;YACL,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;YAClC,GAAG,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;SAC/C;KACF,CAAC;AACJ,CAAC"}

package/dist/lsp/inline.d.ts

@@ -0,0 +1,25 @@
+import { Diagnostic } from "vscode-languageserver";
+import type { TextDocument } from "vscode-languageserver-textdocument";
+import { type FileType } from "../common/src/fileTypes.js";
+import { type OffsetRange } from "./json/positions.js";
+/** Find the fileType whose extensions match this URI, or null. */
+export declare function fileTypeForUri(uri: string): FileType | null;
+/** A raw inline statement: its parsed payload and the payload's source span. */
+interface InlineStatement {
+    payload: any;
+    /** Whether parseObject could turn the captured text into an object. */
+    parsed: boolean;
+    range: OffsetRange;
+}
+export declare function collectMatchOffsets(text: string, patterns?: string[]): number[];
+/** Extract statements of one kind (testStart / step) with payloads + spans. */
+export declare function extractStatements(text: string, patterns: string[] | undefined, ignore: OffsetRange[]): InlineStatement[];
+/**
+ * Compute diagnostics for inline Doc Detective test statements embedded in a
+ * markup document (markdown/asciidoc/html/dita, or a config fileType). Only the
+ * `test` open and `step` statement regions the runner recognizes get language
+ * features — the rest of the prose is left alone.
+ */
+export declare function computeInlineDiagnostics(doc: TextDocument, fileType: FileType): Diagnostic[];
+export {};
+//# sourceMappingURL=inline.d.ts.map

package/dist/lsp/inline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inline.d.ts","sourceRoot":"","sources":["../../src/lsp/inline.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EAGX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAGvE,OAAO,EAAoB,KAAK,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAG7E,OAAO,EAAmB,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAoBxE,kEAAkE;AAClE,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,GAAG,IAAI,CAS3D;AAED,gFAAgF;AAChF,UAAU,eAAe;IACvB,OAAO,EAAE,GAAG,CAAC;IACb,uEAAuE;IACvE,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,WAAW,CAAC;CACpB;AA2BD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAe/E;AAED,+EAA+E;AAC/E,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAAE,GAAG,SAAS,EAC9B,MAAM,EAAE,WAAW,EAAE,GACpB,eAAe,EAAE,CAwBnB;AAkGD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,YAAY,EACjB,QAAQ,EAAE,QAAQ,GACjB,UAAU,EAAE,CAad"}