doc-detective 4.29.0 → 4.30.0

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"positions.d.ts","sourceRoot":"","sources":["../../../src/lsp/json/positions.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,IAAI,EACJ,UAAU,EACX,MAAM,cAAc,CAAC;AAEtB,oEAAoE;AACpE,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb;AAED,2EAA2E;AAC3E,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC;IACvB,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAOrD;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,CASnF;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,IAAI,EACV,YAAY,EAAE,MAAM,GACnB,WAAW,GAAG,IAAI,CAWpB;AAED,kEAAkE;AAClE,MAAM,WAAW,eAAe;IAC9B,8DAA8D;IAC9D,QAAQ,EAAE,WAAW,CAAC;IACtB,2EAA2E;IAC3E,OAAO,EAAE,MAAM,CAAC;CACjB;AASD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,MAAM,CASxE;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,GAAG,eAAe,EAAE,CA2BlE"}

package/dist/lsp/json/positions.js

@@ -0,0 +1,101 @@
+import { parseTree, findNodeAtLocation, getNodePath, } from "jsonc-parser";
+/**
+ * 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 function parseJsonTree(text) {
+    const errors = [];
+    const root = parseTree(text, errors, {
+        allowTrailingComma: true,
+        disallowComments: false,
+    });
+    return { root, errors };
+}
+/**
+ * Turn an AJV `instancePath` (`/tests/0/steps/1/goTo`) into path segments,
+ * decoding the JSON-Pointer escapes (`~1`→`/`, `~0`→`~`) and numeric indices.
+ */
+export function instancePathToSegments(instancePath) {
+    if (!instancePath)
+        return [];
+    return instancePath
+        .split("/")
+        .slice(1)
+        .map((seg) => {
+        const unescaped = seg.replace(/~1/g, "/").replace(/~0/g, "~");
+        return /^\d+$/.test(unescaped) ? Number(unescaped) : unescaped;
+    });
+}
+/**
+ * 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 function rangeForInstancePath(root, instancePath) {
+    const segments = instancePathToSegments(instancePath);
+    for (let end = segments.length; end >= 0; end--) {
+        const node = end === 0 ? root : findNodeAtLocation(root, segments.slice(0, end));
+        if (node) {
+            return { start: node.offset, end: node.offset + node.length };
+        }
+    }
+    /* c8 ignore next 2 - root is always locatable when this is called with a real tree */
+    return null;
+}
+function visit(node, cb) {
+    cb(node);
+    if (node.children) {
+        for (const child of node.children)
+            visit(child, cb);
+    }
+}
+/**
+ * Build a JSON-Pointer from path segments, escaping `~`→`~0` and `/`→`~1` per
+ * RFC 6901. Shared by the JSON and YAML action-keyed detectors.
+ */
+export function pointerFromPath(segments) {
+    /* c8 ignore next - defensive: callers pass a nested node's path, never the empty root path */
+    if (segments.length === 0)
+        return "";
+    return ("/" +
+        segments
+            .map((s) => String(s).replace(/~/g, "~0").replace(/\//g, "~1"))
+            .join("/"));
+}
+/**
+ * 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 function findActionKeyedSteps(root) {
+    const found = [];
+    visit(root, (node) => {
+        if (node.type !== "property" ||
+            !node.children ||
+            node.children[0]?.value !== "steps") {
+            return;
+        }
+        const arr = node.children[1];
+        if (arr?.type !== "array" || !arr.children)
+            return;
+        for (const el of arr.children) {
+            if (el.type !== "object" || !el.children)
+                continue;
+            const actionProp = el.children.find((p) => p.type === "property" && p.children?.[0]?.value === "action");
+            if (actionProp && actionProp.children) {
+                const keyNode = actionProp.children[0];
+                found.push({
+                    keyRange: { start: keyNode.offset, end: keyNode.offset + keyNode.length },
+                    pointer: pointerFromPath(getNodePath(el)),
+                });
+            }
+        }
+    });
+    return found;
+}
+//# sourceMappingURL=positions.js.map

package/dist/lsp/json/positions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"positions.js","sourceRoot":"","sources":["../../../src/lsp/json/positions.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,kBAAkB,EAClB,WAAW,GAGZ,MAAM,cAAc,CAAC;AActB;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE;QACnC,kBAAkB,EAAE,IAAI;QACxB,gBAAgB,EAAE,KAAK;KACxB,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,YAAoB;IACzD,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,CAAC;IAC7B,OAAO,YAAY;SAChB,KAAK,CAAC,GAAG,CAAC;SACV,KAAK,CAAC,CAAC,CAAC;SACR,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACX,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9D,OAAO,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACjE,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAU,EACV,YAAoB;IAEpB,MAAM,QAAQ,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IACtD,KAAK,IAAI,GAAG,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,IAAI,GACR,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACtE,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAChE,CAAC;IACH,CAAC;IACD,sFAAsF;IACtF,OAAO,IAAI,CAAC;AACd,CAAC;AAUD,SAAS,KAAK,CAAC,IAAU,EAAE,EAAwB;IACjD,EAAE,CAAC,IAAI,CAAC,CAAC;IACT,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;YAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgC;IAC9D,8FAA8F;IAC9F,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO,CACL,GAAG;QACH,QAAQ;aACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;aAC9D,IAAI,CAAC,GAAG,CAAC,CACb,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAU;IAC7C,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ;YACd,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,EACnC,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,GAAG,EAAE,IAAI,KAAK,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ;YAAE,OAAO;QACnD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,QAAQ;gBAAE,SAAS;YACnD,MAAM,UAAU,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,QAAQ,CACpE,CAAC;YACF,IAAI,UAAU,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACtC,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC;oBACT,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE;oBACzE,OAAO,EAAE,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;iBAC1C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/lsp/messages.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Shared diagnostic strings and the AJV-error→message formatter. Kept in its own
+ * module so both the spec pipeline (diagnostics.ts) and the inline pipeline
+ * (inline.ts) can use them without a circular import.
+ */
+/** Diagnostic `source` label shown in the editor gutter/problems panel. */
+export declare const DIAGNOSTIC_SOURCE = "doc-detective";
+/**
+ * The flagship message: the single most common Doc Detective authoring mistake
+ * gets one clear diagnostic instead of the wall of `anyOf` failures the raw
+ * schema produces. Mirrors the plugin's write-blocking hook. Fires only on an
+ * INVALID document/step — a valid legacy v2 form gets the softer deprecation
+ * warning instead.
+ */
+export declare const ACTION_KEYED_MESSAGE: string;
+/**
+ * The version-mixing nudge: a document/step that is *valid* but uses the legacy
+ * v2 `action`-keyed form gets a non-blocking warning steering it to compact v3.
+ */
+export declare const V2_DEPRECATION_MESSAGE = "Legacy v2 step form. Prefer the compact v3 form \u2014 the action name is the key, e.g. `{\"goTo\": \u2026}`.";
+/** Format a single AJV error into a concise human message. */
+export declare function schemaMessage(error: {
+    message?: string;
+    keyword?: string;
+    params?: Record<string, any>;
+}): string;
+//# sourceMappingURL=messages.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"messages.d.ts","sourceRoot":"","sources":["../../src/lsp/messages.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,2EAA2E;AAC3E,eAAO,MAAM,iBAAiB,kBAAkB,CAAC;AAEjD;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,QAEQ,CAAC;AAE1C;;;GAGG;AACH,eAAO,MAAM,sBAAsB,kHACkE,CAAC;AAEtG,8DAA8D;AAC9D,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC9B,GAAG,MAAM,CAST"}

package/dist/lsp/messages.js

@@ -0,0 +1,33 @@
+/**
+ * Shared diagnostic strings and the AJV-error→message formatter. Kept in its own
+ * module so both the spec pipeline (diagnostics.ts) and the inline pipeline
+ * (inline.ts) can use them without a circular import.
+ */
+/** Diagnostic `source` label shown in the editor gutter/problems panel. */
+export const DIAGNOSTIC_SOURCE = "doc-detective";
+/**
+ * The flagship message: the single most common Doc Detective authoring mistake
+ * gets one clear diagnostic instead of the wall of `anyOf` failures the raw
+ * schema produces. Mirrors the plugin's write-blocking hook. Fires only on an
+ * INVALID document/step — a valid legacy v2 form gets the softer deprecation
+ * warning instead.
+ */
+export const ACTION_KEYED_MESSAGE = 'The action name is the key: write `{"goTo": …}`, not an object with an "action" property. ' +
+    'Each step is `{"<action>": <value>}`.';
+/**
+ * The version-mixing nudge: a document/step that is *valid* but uses the legacy
+ * v2 `action`-keyed form gets a non-blocking warning steering it to compact v3.
+ */
+export const V2_DEPRECATION_MESSAGE = 'Legacy v2 step form. Prefer the compact v3 form — the action name is the key, e.g. `{"goTo": …}`.';
+/** Format a single AJV error into a concise human message. */
+export function schemaMessage(error) {
+    const base = error.message || "does not match the schema";
+    const params = error.params || {};
+    if (error.keyword === "additionalProperties" && params.additionalProperty) {
+        return `${base}: "${params.additionalProperty}"`;
+    }
+    // AJV's `required` message already names the missing property, so `base`
+    // needs no augmentation — it falls through to the return below.
+    return base;
+}
+//# sourceMappingURL=messages.js.map

package/dist/lsp/messages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.js","sourceRoot":"","sources":["../../src/lsp/messages.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,iBAAiB,GAAG,eAAe,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAC/B,4FAA4F;IAC5F,uCAAuC,CAAC;AAE1C;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GACjC,mGAAmG,CAAC;AAEtG,8DAA8D;AAC9D,MAAM,UAAU,aAAa,CAAC,KAI7B;IACC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,IAAI,2BAA2B,CAAC;IAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,KAAK,sBAAsB,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC1E,OAAO,GAAG,IAAI,MAAM,MAAM,CAAC,kBAAkB,GAAG,CAAC;IACnD,CAAC;IACD,yEAAyE;IACzE,gEAAgE;IAChE,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/lsp/model.d.ts

@@ -0,0 +1,27 @@
+import { OffsetRange, ActionKeyedStep } from "./json/positions.js";
+/** A syntax error reduced to an offset span + message, format-agnostic. */
+export interface SyntaxErrorSpan {
+    range: OffsetRange;
+    message: string;
+}
+/**
+ * A format-agnostic view of a parsed spec/config buffer. JSON and YAML each
+ * provide one; the diagnostics (and, later, inline) pipeline works against this
+ * interface so the schema/action logic is written once.
+ */
+export interface SpecModel {
+    /** The plain JS value (undefined for empty/unparseable buffers). */
+    value: any;
+    /** Syntax-error spans + messages (empty when the buffer parses cleanly). */
+    syntaxErrors: SyntaxErrorSpan[];
+    /** Source span for an AJV instancePath, or null if unlocatable. */
+    rangeForPath(instancePath: string): OffsetRange | null;
+    /** Steps written in the legacy `action`-keyed form. */
+    actionKeyedSteps(): ActionKeyedStep[];
+}
+/**
+ * Build the right model for a buffer by extension, or null for an unsupported
+ * one. Callers gate on the classifier separately (spec vs config).
+ */
+export declare function buildModel(uri: string, text: string): SpecModel | null;
+//# sourceMappingURL=model.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/lsp/model.ts"],"names":[],"mappings":"AAEA,OAAO,EAIL,WAAW,EACX,eAAe,EAChB,MAAM,qBAAqB,CAAC;AAQ7B,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,oEAAoE;IACpE,KAAK,EAAE,GAAG,CAAC;IACX,4EAA4E;IAC5E,YAAY,EAAE,eAAe,EAAE,CAAC;IAChC,mEAAmE;IACnE,YAAY,CAAC,YAAY,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAAC;IACvD,uDAAuD;IACvD,gBAAgB,IAAI,eAAe,EAAE,CAAC;CACvC;AAqCD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAItE"}

package/dist/lsp/model.js

@@ -0,0 +1,49 @@
+import { getNodeValue, printParseErrorCode } from "jsonc-parser";
+import { isJsonUri, isYamlUri } from "./gate.js";
+import { parseJsonTree, rangeForInstancePath, findActionKeyedSteps, } from "./json/positions.js";
+import { parseYamlTree, yamlSyntaxErrors, rangeForInstancePathYaml, findActionKeyedStepsYaml, } from "./yaml/positions.js";
+function buildJsonModel(text) {
+    const { root, errors } = parseJsonTree(text);
+    return {
+        value: root ? getNodeValue(root) : undefined,
+        syntaxErrors: errors.map((e) => ({
+            range: { start: e.offset, end: e.offset + e.length },
+            message: `JSON syntax: ${printParseErrorCode(e.error)}`,
+        })),
+        rangeForPath: (path) => (root ? rangeForInstancePath(root, path) : null),
+        actionKeyedSteps: () => (root ? findActionKeyedSteps(root) : []),
+    };
+}
+function buildYamlModel(text) {
+    const { doc, value, valueError } = parseYamlTree(text);
+    const syntaxErrors = yamlSyntaxErrors(doc).map((e) => ({
+        range: e.range,
+        message: `YAML syntax: ${e.message}`,
+    }));
+    // A `toJS()` failure (e.g. an alias bomb) has no single node to blame; anchor
+    // it at the document start so the author still sees the problem.
+    if (valueError) {
+        syntaxErrors.push({
+            range: { start: 0, end: Math.min(text.length, 1) },
+            message: `YAML error: ${valueError}`,
+        });
+    }
+    return {
+        value,
+        syntaxErrors,
+        rangeForPath: (path) => rangeForInstancePathYaml(doc, path),
+        actionKeyedSteps: () => findActionKeyedStepsYaml(doc),
+    };
+}
+/**
+ * Build the right model for a buffer by extension, or null for an unsupported
+ * one. Callers gate on the classifier separately (spec vs config).
+ */
+export function buildModel(uri, text) {
+    if (isJsonUri(uri))
+        return buildJsonModel(text);
+    if (isYamlUri(uri))
+        return buildYamlModel(text);
+    return null;
+}
+//# sourceMappingURL=model.js.map

package/dist/lsp/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/lsp/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,oBAAoB,GAGrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAwB7B,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAC5C,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/B,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE;YACpD,OAAO,EAAE,gBAAgB,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;SACxD,CAAC,CAAC;QACH,YAAY,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACxE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACjE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,YAAY,GAAsB,gBAAgB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxE,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,gBAAgB,CAAC,CAAC,OAAO,EAAE;KACrC,CAAC,CAAC,CAAC;IACJ,8EAA8E;IAC9E,iEAAiE;IACjE,IAAI,UAAU,EAAE,CAAC;QACf,YAAY,CAAC,IAAI,CAAC;YAChB,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE;YAClD,OAAO,EAAE,eAAe,UAAU,EAAE;SACrC,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,KAAK;QACL,YAAY;QACZ,YAAY,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,CAAC,GAAG,EAAE,IAAI,CAAC;QAC3D,gBAAgB,EAAE,GAAG,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC;KACtD,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,IAAY;IAClD,IAAI,SAAS,CAAC,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,SAAS,CAAC,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/lsp/registry.d.ts

@@ -0,0 +1,61 @@
+/** The kind of scalar an action's compact form accepts, if any. */
+export type PrimitiveKind = "string" | "number" | "boolean" | null;
+/**
+ * A field inside an action's object form — used for field-name completion and
+ * (Phase 3) enum-value completion.
+ */
+export interface ActionField {
+    name: string;
+    description?: string;
+    /**
+     * The scalar kind this field accepts, or null for object/array fields. Drives
+     * whether a completion snippet quotes the value placeholder.
+     */
+    primitiveKind: PrimitiveKind;
+    /** Enumerated values, when the field's schema (or a branch) pins them. */
+    enumValues?: Array<string | number | boolean>;
+}
+/** Everything the language features need to know about one action. */
+export interface ActionInfo {
+    /** The action key, which IS the step key (`goTo`, `find`, …). */
+    key: string;
+    title?: string;
+    description?: string;
+    /** True when the compact scalar form (e.g. `"goTo": "https://…"`) is valid. */
+    acceptsPrimitive: boolean;
+    /**
+     * The scalar kind the compact form accepts (`"goTo"` → string, `"wait"` →
+     * number, `"stopRecord"` → boolean), or null for object-only actions. Drives
+     * whether a completion snippet quotes the placeholder.
+     */
+    primitiveKind: PrimitiveKind;
+    /** Fields available inside the object form. */
+    fields: ActionField[];
+}
+export interface Registry {
+    actions: ActionInfo[];
+    byKey: Map<string, ActionInfo>;
+}
+/** Collect the candidate sub-schemas of a schema: itself plus anyOf/oneOf/allOf. */
+export declare function branchesOf(schema: any): any[];
+/** Dig for a human description across a schema and its immediate branches. */
+export declare function findDescription(schema: any): string | undefined;
+/**
+ * The scalar kind a schema (or a branch) accepts in its compact form, or null.
+ * The first primitive type encountered across branches wins.
+ */
+export declare function primitiveKindOf(schema: any): PrimitiveKind;
+/** Does the schema (or a branch) accept a primitive scalar value? */
+export declare function acceptsPrimitive(schema: any): boolean;
+/** Merge the `properties` maps found across a schema's object branches. */
+export declare function collectFields(schema: any): ActionField[];
+/** Pull an enum list from a schema or its branches, if any. */
+export declare function extractEnum(schema: any): Array<string | number | boolean> | undefined;
+/**
+ * Build the action registry from the live `step_v3` schema. Derived at runtime
+ * (not a build step) so a new action added to the schemas automatically appears
+ * in completion/hover — the anti-drift test pins that guarantee.
+ */
+export declare function buildRegistry(step?: any): Registry;
+export declare function getRegistry(): Registry;
+//# sourceMappingURL=registry.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/lsp/registry.ts"],"names":[],"mappings":"AAEA,mEAAmE;AACnE,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,IAAI,CAAC;AAEnE;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,aAAa,EAAE,aAAa,CAAC;IAC7B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;CAC/C;AAED,sEAAsE;AACtE,MAAM,WAAW,UAAU;IACzB,iEAAiE;IACjE,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+EAA+E;IAC/E,gBAAgB,EAAE,OAAO,CAAC;IAC1B;;;;OAIG;IACH,aAAa,EAAE,aAAa,CAAC;IAC7B,+CAA+C;IAC/C,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CAChC;AAED,oFAAoF;AACpF,wBAAgB,UAAU,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,EAAE,CAO7C;AAED,8EAA8E;AAC9E,wBAAgB,eAAe,CAAC,MAAM,EAAE,GAAG,GAAG,MAAM,GAAG,SAAS,CAO/D;AAUD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,GAAG,GAAG,aAAa,CAU1D;AAED,qEAAqE;AACrE,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,GAAG,GAAG,OAAO,CAErD;AAED,2EAA2E;AAC3E,wBAAgB,aAAa,CAAC,MAAM,EAAE,GAAG,GAAG,WAAW,EAAE,CAgBxD;AAED,+DAA+D;AAC/D,wBAAgB,WAAW,CAAC,MAAM,EAAE,GAAG,GAAG,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,GAAG,SAAS,CAKrF;AAgBD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,GAAE,GAAiC,GAAG,QAAQ,CAoB/E;AAID,wBAAgB,WAAW,IAAI,QAAQ,CAGtC"}