doc-detective 4.29.1 → 4.30.0

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"}

package/dist/lsp/inline.js

@@ -0,0 +1,208 @@
+import { DiagnosticSeverity, } from "vscode-languageserver";
+import { validate } from "../common/src/validate.js";
+import { parseObject } from "../common/src/detectTests.js";
+import { defaultFileTypes } from "../common/src/fileTypes.js";
+import { basenameFromUri } from "./gate.js";
+import { getRegistry } from "./registry.js";
+import { pointerFromPath } from "./json/positions.js";
+import { DIAGNOSTIC_SOURCE, ACTION_KEYED_MESSAGE, V2_DEPRECATION_MESSAGE, schemaMessage, } from "./messages.js";
+/**
+ * The fileTypes whose inline test statements we understand, keyed for lookup by
+ * extension. Derived from the runner's own `defaultFileTypes` so the detection
+ * patterns can never drift from what the runner parses.
+ */
+const MARKUP_FILE_TYPES = [
+    defaultFileTypes.markdown,
+    defaultFileTypes.asciidoc,
+    defaultFileTypes.html,
+    defaultFileTypes.dita,
+].filter(Boolean);
+/** Find the fileType whose extensions match this URI, or null. */
+export function fileTypeForUri(uri) {
+    const name = basenameFromUri(uri);
+    for (const fileType of MARKUP_FILE_TYPES) {
+        /* c8 ignore next - every default fileType has extensions; `|| []` guards custom ones */
+        for (const ext of fileType.extensions || []) {
+            if (name.endsWith(`.${ext.toLowerCase()}`))
+                return fileType;
+        }
+    }
+    return null;
+}
+/** Compile a pattern with the global + hasIndices flags, or null if invalid. */
+/* c8 ignore start - the runner's own patterns always compile; the catch guards malformed custom fileType patterns */
+function compilePattern(pattern) {
+    try {
+        return new RegExp(pattern, "gd");
+    }
+    catch {
+        return null;
+    }
+}
+/* c8 ignore stop */
+/** Offset spans of `ignoreStart`…`ignoreEnd` regions, to skip statements in. */
+function ignoreRanges(text, fileType) {
+    const starts = collectMatchOffsets(text, fileType.inlineStatements?.ignoreStart);
+    const ends = collectMatchOffsets(text, fileType.inlineStatements?.ignoreEnd);
+    const ranges = [];
+    for (const start of starts) {
+        // Pair each ignoreStart with the next ignoreEnd after it; if none, ignore to
+        // end of document.
+        const end = ends.find((e) => e >= start);
+        ranges.push({ start, end: end ?? text.length });
+    }
+    return ranges;
+}
+export function collectMatchOffsets(text, patterns) {
+    const offsets = [];
+    for (const pattern of patterns || []) {
+        const re = compilePattern(pattern);
+        /* c8 ignore next - compilePattern only returns null for an invalid custom pattern */
+        if (!re)
+            continue;
+        let m;
+        while ((m = re.exec(text))) {
+            offsets.push(m.index);
+            // A zero-width match doesn't advance lastIndex; nudge it so a degenerate
+            // (empty-matching) custom pattern can't spin forever and hang the server.
+            if (m[0].length === 0)
+                re.lastIndex++;
+        }
+    }
+    return offsets.sort((a, b) => a - b);
+}
+/** Extract statements of one kind (testStart / step) with payloads + spans. */
+export function extractStatements(text, patterns, ignore) {
+    const out = [];
+    for (const pattern of patterns || []) {
+        const re = compilePattern(pattern);
+        /* c8 ignore next - compilePattern only returns null for an invalid custom pattern */
+        if (!re)
+            continue;
+        let m;
+        while ((m = re.exec(text))) {
+            // A zero-width match doesn't advance lastIndex; nudge it so a degenerate
+            // (empty-matching) custom pattern can't spin forever and hang the server.
+            if (m[0].length === 0)
+                re.lastIndex++;
+            if (ignore.some((r) => m.index >= r.start && m.index < r.end))
+                continue;
+            const group = m.indices?.[1];
+            const range = group
+                ? { start: group[0], end: group[1] }
+                : /* c8 ignore next - hasIndices is always present under the 'd' flag */
+                    { start: m.index, end: m.index + m[0].length };
+            /* c8 ignore next - capture group 1 is always present in the statement patterns */
+            const raw = m[1] ?? "";
+            const payload = parseObject({ stringifiedObject: raw });
+            out.push({ payload, parsed: payload !== null && typeof payload === "object", range });
+        }
+    }
+    return out;
+}
+/** Drop the "must have steps or contexts" errors so an open statement (which
+ * legitimately carries neither — later statements supply the steps) isn't
+ * falsely flagged. Everything else in the open statement is still validated. */
+function isStepsOrContextsRequirement(error) {
+    if (error.instancePath)
+        return false; // only the top-level requirement
+    if (error.keyword === "anyOf")
+        return true;
+    if (error.keyword === "required" &&
+        ["steps", "contexts"].includes(error.params?.missingProperty)) {
+        return true;
+    }
+    return false;
+}
+function toLspRange(doc, range) {
+    return { start: doc.positionAt(range.start), end: doc.positionAt(range.end) };
+}
+/** Validate a `step` fragment and produce its diagnostics. */
+function diagnoseStep(doc, stmt) {
+    if (!stmt.parsed)
+        return [];
+    const payload = stmt.payload;
+    const range = toLspRange(doc, stmt.range);
+    const isActionKeyed = "action" in payload;
+    const result = validate({
+        schemaKey: "step_v3",
+        object: payload,
+        addDefaults: false,
+        structuredErrors: true,
+    });
+    if (result.valid) {
+        // A valid v2 (action-keyed) step: deprecation warning, mirroring specs.
+        if (isActionKeyed)
+            return [warn(range, V2_DEPRECATION_MESSAGE, "legacy-v2-step")];
+        return [];
+    }
+    if (isActionKeyed) {
+        return [error(range, ACTION_KEYED_MESSAGE, "action-keyed-step")];
+    }
+    // A single invalid step matches no `anyOf` branch, so AJV reports a failure
+    // for EVERY action — dozens of "must have required property …". Collapse that
+    // wall: if the author clearly intended one action (a top-level key that is a
+    // known action), show only that action's own value errors; otherwise a single
+    // "not a recognized step" message.
+    const registry = getRegistry();
+    const actionKey = Object.keys(payload).find((k) => registry.byKey.has(k));
+    if (!actionKey) {
+        return [
+            error(range, 'Not a recognized Doc Detective step (expected `{"<action>": …}`).'),
+        ];
+    }
+    const prefix = pointerFromPath([actionKey]);
+    /* c8 ignore next - errorObjects is always set here (structuredErrors: true) */
+    const relevant = (result.errorObjects || []).filter((e) => (e.instancePath || "").startsWith(prefix));
+    // One concise diagnostic per step — the action's value can fail several
+    // internal branches (e.g. goTo accepts a URL string OR an object), and
+    // surfacing all of them is noise. Show the first, most specific message.
+    if (relevant.length === 0) {
+        return [error(range, `Invalid "${actionKey}" step.`)];
+    }
+    return [error(range, `${actionKey}: ${schemaMessage(relevant[0])}`)];
+}
+/** Validate a `test` open fragment (relaxed: steps/contexts not required). */
+function diagnoseTestOpen(doc, stmt) {
+    if (!stmt.parsed)
+        return [];
+    const result = validate({
+        schemaKey: "test_v3",
+        object: stmt.payload,
+        addDefaults: false,
+        structuredErrors: true,
+    });
+    if (result.valid)
+        return [];
+    const range = toLspRange(doc, stmt.range);
+    /* c8 ignore next - errorObjects is always set here (structuredErrors: true) */
+    return (result.errorObjects || [])
+        .filter((e) => !isStepsOrContextsRequirement(e))
+        .map((e) => error(range, schemaMessage(e)));
+}
+function error(range, message, code) {
+    return { severity: DiagnosticSeverity.Error, range, message, source: DIAGNOSTIC_SOURCE, code };
+}
+function warn(range, message, code) {
+    return { severity: DiagnosticSeverity.Warning, range, message, source: DIAGNOSTIC_SOURCE, code };
+}
+/**
+ * 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 function computeInlineDiagnostics(doc, fileType) {
+    const text = doc.getText();
+    const ignore = ignoreRanges(text, fileType);
+    const statements = fileType.inlineStatements || {};
+    const diagnostics = [];
+    for (const stmt of extractStatements(text, statements.testStart, ignore)) {
+        diagnostics.push(...diagnoseTestOpen(doc, stmt));
+    }
+    for (const stmt of extractStatements(text, statements.step, ignore)) {
+        diagnostics.push(...diagnoseStep(doc, stmt));
+    }
+    return diagnostics;
+}
+//# sourceMappingURL=inline.js.map

package/dist/lsp/inline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inline.js","sourceRoot":"","sources":["../../src/lsp/inline.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,kBAAkB,GAEnB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAiB,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAoB,MAAM,qBAAqB,CAAC;AACxE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,EACtB,aAAa,GACd,MAAM,eAAe,CAAC;AAEvB;;;;GAIG;AACH,MAAM,iBAAiB,GAAe;IACpC,gBAAgB,CAAC,QAAQ;IACzB,gBAAgB,CAAC,QAAQ;IACzB,gBAAgB,CAAC,IAAI;IACrB,gBAAgB,CAAC,IAAI;CACtB,CAAC,MAAM,CAAC,OAAO,CAAe,CAAC;AAEhC,kEAAkE;AAClE,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAClC,KAAK,MAAM,QAAQ,IAAI,iBAAiB,EAAE,CAAC;QACzC,wFAAwF;QACxF,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;gBAAE,OAAO,QAAQ,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAUD,gFAAgF;AAChF,qHAAqH;AACrH,SAAS,cAAc,CAAC,OAAe;IACrC,IAAI,CAAC;QACH,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AACD,oBAAoB;AAEpB,gFAAgF;AAChF,SAAS,YAAY,CAAC,IAAY,EAAE,QAAkB;IACpD,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,6EAA6E;QAC7E,mBAAmB;QACnB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,QAAmB;IACnE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,OAAO,IAAI,QAAQ,IAAI,EAAE,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QACnC,qFAAqF;QACrF,IAAI,CAAC,EAAE;YAAE,SAAS;QAClB,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACtB,yEAAyE;YACzE,0EAA0E;YAC1E,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,EAAE,CAAC,SAAS,EAAE,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,QAA8B,EAC9B,MAAqB;IAErB,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,OAAO,IAAI,QAAQ,IAAI,EAAE,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QACnC,qFAAqF;QACrF,IAAI,CAAC,EAAE;YAAE,SAAS;QAClB,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC3B,yEAAyE;YACzE,0EAA0E;YAC1E,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,EAAE,CAAC,SAAS,EAAE,CAAC;YACtC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAE,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,CAAE,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC1E,MAAM,KAAK,GAAI,CAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAiC,CAAC;YACtE,MAAM,KAAK,GAAgB,KAAK;gBAC9B,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE;gBACpC,CAAC,CAAC,sEAAsE;oBACtE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;YACnD,kFAAkF;YAClF,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,WAAW,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,CAAC;YACxD,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;gFAEgF;AAChF,SAAS,4BAA4B,CAAC,KAIrC;IACC,IAAI,KAAK,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC,CAAC,iCAAiC;IACvE,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC3C,IACE,KAAK,CAAC,OAAO,KAAK,UAAU;QAC5B,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,eAAe,CAAC,EAC7D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,GAAiB,EAAE,KAAkB;IACvD,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;AAChF,CAAC;AAED,8DAA8D;AAC9D,SAAS,YAAY,CAAC,GAAiB,EAAE,IAAqB;IAC5D,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,aAAa,GAAG,QAAQ,IAAI,OAAO,CAAC;IAE1C,MAAM,MAAM,GAAG,QAAQ,CAAC;QACtB,SAAS,EAAE,SAAS;QACpB,MAAM,EAAE,OAAO;QACf,WAAW,EAAE,KAAK;QAClB,gBAAgB,EAAE,IAAI;KACvB,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,wEAAwE;QACxE,IAAI,aAAa;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,sBAAsB,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAClF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,4EAA4E;IAC5E,8EAA8E;IAC9E,6EAA6E;IAC7E,8EAA8E;IAC9E,mCAAmC;IACnC,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,KAAK,CAAC,KAAK,EAAE,mEAAmE,CAAC;SAClF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5C,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACxD,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAC1C,CAAC;IACF,wEAAwE;IACxE,uEAAuE;IACvE,yEAAyE;IACzE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,SAAS,SAAS,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,KAAK,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,8EAA8E;AAC9E,SAAS,gBAAgB,CAAC,GAAiB,EAAE,IAAqB;IAChE,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC;QACtB,SAAS,EAAE,SAAS;QACpB,MAAM,EAAE,IAAI,CAAC,OAAO;QACpB,WAAW,EAAE,KAAK;QAClB,gBAAgB,EAAE,IAAI;KACvB,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,+EAA+E;IAC/E,OAAO,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,KAAK,CAAC,KAAY,EAAE,OAAe,EAAE,IAAa;IACzD,OAAO,EAAE,QAAQ,EAAE,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;AACjG,CAAC;AACD,SAAS,IAAI,CAAC,KAAY,EAAE,OAAe,EAAE,IAAa;IACxD,OAAO,EAAE,QAAQ,EAAE,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;AACnG,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CACtC,GAAiB,EACjB,QAAkB;IAElB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,gBAAgB,IAAI,EAAE,CAAC;IAEnD,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;QACzE,WAAW,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACpE,WAAW,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/lsp/json/positions.d.ts

@@ -0,0 +1,51 @@
+import { Node, ParseError } from "jsonc-parser";
+/** A character-offset span into the source text (end-exclusive). */
+export interface OffsetRange {
+    start: number;
+    end: number;
+}
+/** Result of parsing: the CST root (if any) plus lenient syntax errors. */
+export interface JsonParse {
+    root: Node | undefined;
+    errors: ParseError[];
+}
+/**
+ * Parse JSON(-with-comments) into a position-preserving CST. jsonc-parser is
+ * tolerant of the half-typed, comma-trailing states an editor streams, and
+ * collects syntax errors rather than throwing.
+ */
+export declare function parseJsonTree(text: string): JsonParse;
+/**
+ * Turn an AJV `instancePath` (`/tests/0/steps/1/goTo`) into path segments,
+ * decoding the JSON-Pointer escapes (`~1`→`/`, `~0`→`~`) and numeric indices.
+ */
+export declare function instancePathToSegments(instancePath: string): Array<string | number>;
+/**
+ * Resolve the source span for an AJV `instancePath`. When the exact node is
+ * absent (e.g. a `required` error names an object whose child doesn't exist),
+ * walks up to the nearest present ancestor so the diagnostic still anchors
+ * somewhere sensible instead of vanishing. Returns `null` only when even the
+ * root can't be located (unparseable input).
+ */
+export declare function rangeForInstancePath(root: Node, instancePath: string): OffsetRange | null;
+/** A step whose author used the `action`-as-value antipattern. */
+export interface ActionKeyedStep {
+    /** Span of the offending `"action"` key, for the squiggle. */
+    keyRange: OffsetRange;
+    /** JSON-Pointer to the step object, used to suppress its `anyOf` noise. */
+    pointer: string;
+}
+/**
+ * Build a JSON-Pointer from path segments, escaping `~`→`~0` and `/`→`~1` per
+ * RFC 6901. Shared by the JSON and YAML action-keyed detectors.
+ */
+export declare function pointerFromPath(segments: Array<string | number>): string;
+/**
+ * Find every step written as an object carrying an `action` property inside a
+ * `steps` array — the classic Doc Detective mistake (action name as a *value*
+ * under `action`, instead of the compact action-as-key form). Returns the
+ * `"action"` key span (to squiggle) and the step's JSON-Pointer (to suppress
+ * the otherwise-overwhelming `anyOf` schema failures for that same step).
+ */
+export declare function findActionKeyedSteps(root: Node): ActionKeyedStep[];
+//# sourceMappingURL=positions.d.ts.map