@elaraai/east 1.0.83 → 1.0.85

package/dist/src/query/jq/messages.d.ts

@@ -0,0 +1,126 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type { ValueTypeOf } from "../../types.js";
+import type { QueryErrorType, QueryFixType } from "../types.js";
+import { type JqRange } from "./spans.js";
+/** A diagnostic, as the query wire types hold it. @internal */
+export type QueryError = ValueTypeOf<typeof QueryErrorType>;
+/** A one-click fix. @internal */
+export type QueryFix = ValueTypeOf<typeof QueryFixType>;
+/**
+ * Builds a diagnostic.
+ *
+ * @param text - the program's text
+ * @param code - the diagnostic's code
+ * @param range - the text it is about, or `undefined`
+ * @param message - its sentence, led by its code
+ * @param options - suggestions (replacement texts for the range, best first),
+ *   fixes, and `warning` for a lint
+ * @returns the diagnostic
+ *
+ * @internal
+ */
+export declare function report(text: string, code: string, range: JqRange | undefined, message: string, options?: {
+    suggestions?: string[];
+    fixes?: QueryFix[];
+    warning?: boolean;
+}): QueryError;
+/**
+ * A fix of one edit.
+ *
+ * @param label - what the fix does
+ * @param from - where the replaced text starts
+ * @param to - where it ends
+ * @param insert - the new text
+ * @returns the fix
+ *
+ * @internal
+ */
+export declare function edit(label: string, from: number, to: number, insert: string): QueryFix;
+/**
+ * The edit distance between two names: insertions, deletions and
+ * substitutions of UTF-16 code units.
+ *
+ * @internal
+ */
+export declare function distance(a: string, b: string): number;
+/**
+ * The names closest to a misspelt one: within `max(2, ⌊length / 3⌋)` edits,
+ * or containing it, or contained in it, nearest first, then in the order
+ * given.
+ *
+ * @param name - the name as written
+ * @param candidates - the names it could have meant
+ * @returns up to three suggestions
+ *
+ * @internal
+ */
+export declare function closest(name: string, candidates: Iterable<string>): string[];
+/**
+ * Lists names in a sentence: `a`, `a and b`, `a, b and c`.
+ *
+ * @internal
+ */
+export declare function listWords(names: readonly string[]): string;
+/** The sentences, by situation. @internal */
+export declare const MESSAGES: {
+    readonly unknownField: (field: string, type: string, suggestion?: string) => string;
+    readonly unknownDataset: (field: string, suggestion?: string) => string;
+    readonly unknownPayloadField: (field: string, suggestion?: string) => string;
+    readonly unknownVariantField: (field: string, path: string) => string;
+    readonly unknownCase: (path: string, name: string, cases: readonly string[], suggestion?: string) => string;
+    readonly unknownType: (name: string, names: readonly string[], suggestion?: string) => string;
+    readonly unknownFunction: (name: string, arity: number, suggestion?: string) => string;
+    readonly unknownVariable: (name: string) => string;
+    readonly unknownLabel: (name: string) => string;
+    readonly arity: (name: string, arities: readonly number[], given: number) => string;
+    readonly notAField: (field: string, type: string) => string;
+    readonly notIterable: (form: string, type: string) => string;
+    readonly notIterableNull: (form: string, type: string) => string;
+    readonly notIndexable: (target: string, type: string) => string;
+    readonly keyType: (form: string, key: string, keyText: string, given: string) => string;
+    readonly mutableKey: (keyText: string, given: string) => string;
+    readonly sliceBound: (given: string) => string;
+    readonly sliceUpdate: (form: string, given: string) => string;
+    readonly stringSlice: (form: string) => string;
+    readonly updateKey: (text: string) => string;
+    readonly walkUpdate: (path: string, from: string, to: string) => string;
+    readonly structKey: (form: string) => string;
+    readonly compares: (op: string, left: string, right: string) => string;
+    readonly neverEqual: (op: string) => "type_mismatch: Integer == Float is never true here." | "type_mismatch: Integer != Float is always true here.";
+    readonly arithmetic: (op: string, left: string, right: string) => string;
+    readonly negate: (type: string) => string;
+    readonly wholeVariant: (path: string, type: string) => string;
+    readonly narrowFirst: (path: string, type: string, caseName: string, variantPath: string, leaf: string) => string;
+    readonly input: (name: string, expected: string, given: string) => string;
+    readonly dateAsString: (name: string) => string;
+    readonly argument: (name: string, position: string, expected: string, given: string) => string;
+    readonly runArgument: (name: string, element: string, given: string, wrapped: string) => string;
+    readonly literalArgument: (name: string, position: string, expected: string) => string;
+    readonly isoDate: (value: string) => string;
+    readonly emptyRange: (text: string) => string;
+    readonly regex: (pattern: string, reason: string) => string;
+    readonly replacement: (name: string) => string;
+    readonly mixedDelete: (text: string) => string;
+    readonly mixedKeys: () => string;
+    readonly noCommonType: (a: string, b: string) => string;
+    readonly accumulator: (form: string, first: string, next: string) => string;
+    readonly recursion: (name: string) => string;
+    readonly excluded: (name: string) => string;
+    readonly unavailable: (name: string, reason: string) => string;
+    readonly notYet: (name: string) => string;
+    readonly tooling: (name: string) => string;
+    readonly wholeRoot: (names: readonly string[]) => string;
+    readonly asyncCall: () => string;
+    readonly recursiveFilter: (name: string) => string;
+    readonly regexFlag: (flag: string) => string;
+    readonly formatCode: (code: string) => string;
+    readonly duplicateOutputs: (generator: string) => string;
+    readonly arrayOnElement: (name: string, stream: string, type: string, collected: string) => string;
+    readonly duplicateKey: (key: string) => string;
+    readonly neverMissing: (path: string, type: string) => string;
+    readonly longRange: (text: string, count: string) => string;
+};
+//# sourceMappingURL=messages.d.ts.map

package/dist/src/query/jq/messages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.d.ts","sourceRoot":"","sources":["../../../../src/query/jq/messages.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAUH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,EAAe,KAAK,OAAO,EAAE,MAAM,YAAY,CAAC;AAEvD,+DAA+D;AAC/D,MAAM,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,cAAc,CAAC,CAAC;AAC5D,iCAAiC;AACjC,MAAM,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD;;;;;;;;;;;;GAYG;AACH,wBAAgB,MAAM,CACpB,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,SAAS,EAAE,OAAO,EAAE,MAAM,EACvE,OAAO,GAAE;IAAE,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAO,GAC9E,UAAU,CASZ;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,CAEtF;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAUrD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAY5E;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAG1D;AAOD,6CAA6C;AAC7C,eAAO,MAAM,QAAQ;mCACG,MAAM,QAAQ,MAAM,eAAe,MAAM;qCAEvC,MAAM,eAAe,MAAM;0CAEtB,MAAM,eAAe,MAAM;0CAE3B,MAAM,QAAQ,MAAM;iCAE7B,MAAM,QAAQ,MAAM,SAAS,SAAS,MAAM,EAAE,eAAe,MAAM;iCAGnE,MAAM,SAAS,SAAS,MAAM,EAAE,eAAe,MAAM;qCAGjD,MAAM,SAAS,MAAM,eAAe,MAAM;qCAE1C,MAAM;kCACT,MAAM;2BACb,MAAM,WAAW,SAAS,MAAM,EAAE,SAAS,MAAM;gCAE5C,MAAM,QAAQ,MAAM;iCACnB,MAAM,QAAQ,MAAM;qCAChB,MAAM,QAAQ,MAAM;oCAErB,MAAM,QAAQ,MAAM;6BAC3B,MAAM,OAAO,MAAM,WAAW,MAAM,SAAS,MAAM;mCAE7C,MAAM,SAAS,MAAM;iCACvB,MAAM;iCACN,MAAM,SAAS,MAAM;iCACrB,MAAM;+BACR,MAAM;gCACL,MAAM,QAAQ,MAAM,MAAM,MAAM;+BAEjC,MAAM;4BACT,MAAM,QAAQ,MAAM,SAAS,MAAM;8BACjC,MAAM;8BAGN,MAAM,QAAQ,MAAM,SAAS,MAAM;4BACrC,MAAM;kCACA,MAAM,QAAQ,MAAM;iCAErB,MAAM,QAAQ,MAAM,YAAY,MAAM,eAAe,MAAM,QAAQ,MAAM;2BAE/E,MAAM,YAAY,MAAM,SAAS,MAAM;kCAChC,MAAM;8BAEV,MAAM,YAAY,MAAM,YAAY,MAAM,SAAS,MAAM;iCAEtD,MAAM,WAAW,MAAM,SAAS,MAAM,WAAW,MAAM;qCAEnD,MAAM,YAAY,MAAM,YAAY,MAAM;8BAEjD,MAAM;gCACJ,MAAM;8BACR,MAAM,UAAU,MAAM;iCACnB,MAAM;iCAEN,MAAM;;+BAER,MAAM,KAAK,MAAM;iCACf,MAAM,SAAS,MAAM,QAAQ,MAAM;+BAErC,MAAM;8BACP,MAAM;iCACH,MAAM,UAAU,MAAM;4BAC3B,MAAM;6BACL,MAAM;gCACH,SAAS,MAAM,EAAE;;qCAGZ,MAAM;+BAEZ,MAAM;gCACL,MAAM;2CAEK,MAAM;oCAEb,MAAM,UAAU,MAAM,QAAQ,MAAM,aAAa,MAAM;iCAE1D,MAAM;kCACL,MAAM,QAAQ,MAAM;+BACvB,MAAM,SAAS,MAAM;CAE/B,CAAC"}

package/dist/src/query/jq/messages.js

@@ -0,0 +1,172 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The checker's diagnostics: every sentence it says, in one place, because the
+ * python twin must say the same words (`devdocs/QUERY.md` §12 lists them).
+ *
+ * @packageDocumentation
+ */
+import { none, some, variant } from "../../containers/variant.js";
+import { toQuerySpan } from "./spans.js";
+/**
+ * Builds a diagnostic.
+ *
+ * @param text - the program's text
+ * @param code - the diagnostic's code
+ * @param range - the text it is about, or `undefined`
+ * @param message - its sentence, led by its code
+ * @param options - suggestions (replacement texts for the range, best first),
+ *   fixes, and `warning` for a lint
+ * @returns the diagnostic
+ *
+ * @internal
+ */
+export function report(text, code, range, message, options = {}) {
+    return {
+        code,
+        fixes: options.fixes ?? [],
+        message,
+        severity: options.warning === true ? variant("warning", null) : variant("error", null),
+        span: range === undefined ? none : some(toQuerySpan(text, range.from, range.to)),
+        suggestions: options.suggestions ?? [],
+    };
+}
+/**
+ * A fix of one edit.
+ *
+ * @param label - what the fix does
+ * @param from - where the replaced text starts
+ * @param to - where it ends
+ * @param insert - the new text
+ * @returns the fix
+ *
+ * @internal
+ */
+export function edit(label, from, to, insert) {
+    return { edits: [{ insert, length: BigInt(to - from), offset: BigInt(from) }], label };
+}
+/**
+ * The edit distance between two names: insertions, deletions and
+ * substitutions of UTF-16 code units.
+ *
+ * @internal
+ */
+export function distance(a, b) {
+    let previous = Array.from({ length: b.length + 1 }, (_, j) => j);
+    for (let i = 1; i <= a.length; i++) {
+        const current = [i];
+        for (let j = 1; j <= b.length; j++) {
+            current[j] = Math.min(previous[j] + 1, current[j - 1] + 1, previous[j - 1] + (a[i - 1] === b[j - 1] ? 0 : 1));
+        }
+        previous = current;
+    }
+    return previous[b.length];
+}
+/**
+ * The names closest to a misspelt one: within `max(2, ⌊length / 3⌋)` edits,
+ * or containing it, or contained in it, nearest first, then in the order
+ * given.
+ *
+ * @param name - the name as written
+ * @param candidates - the names it could have meant
+ * @returns up to three suggestions
+ *
+ * @internal
+ */
+export function closest(name, candidates) {
+    const limit = Math.max(2, Math.floor(name.length / 3));
+    const scored = [];
+    let order = 0;
+    for (const candidate of candidates) {
+        const d = distance(name.toLowerCase(), candidate.toLowerCase());
+        const related = name.length >= 3 && (candidate.includes(name) || name.includes(candidate));
+        if (d <= limit || related)
+            scored.push({ candidate, score: related ? Math.min(d, limit) : d, order: order++ });
+        else
+            order++;
+    }
+    scored.sort((x, y) => x.score - y.score || x.order - y.order);
+    return scored.slice(0, 3).map(s => s.candidate);
+}
+/**
+ * Lists names in a sentence: `a`, `a and b`, `a, b and c`.
+ *
+ * @internal
+ */
+export function listWords(names) {
+    if (names.length <= 1)
+        return names.join("");
+    return `${names.slice(0, -1).join(", ")} and ${names[names.length - 1]}`;
+}
+/** "a" or "an" before a type's name. */
+function article(word) {
+    return /^[AEIOU]/i.test(word) ? "an" : "a";
+}
+/** The sentences, by situation. @internal */
+export const MESSAGES = {
+    unknownField: (field, type, suggestion) => `unknown_field: ${field} is not a field of ${type}.${suggestion === undefined ? "" : ` Did you mean ${suggestion}?`}`,
+    unknownDataset: (field, suggestion) => `unknown_field: ${field} is not a dataset in this workspace.${suggestion === undefined ? "" : ` Did you mean ${suggestion}?`}`,
+    unknownPayloadField: (field, suggestion) => `unknown_field: ${field} is not a field of any case of this variant.${suggestion === undefined ? "" : ` Did you mean ${suggestion}?`}`,
+    unknownVariantField: (field, path) => `unknown_field: ${field} is not a field of ${path}: a variant reads as {type, value}.`,
+    unknownCase: (path, name, cases, suggestion) => suggestion === undefined
+        ? `unknown_case: ${path} has no case ${name}; its cases are ${listWords(cases)}.`
+        : `unknown_case: ${path} has no case ${name}. Did you mean ${suggestion}?`,
+    unknownType: (name, names, suggestion) => suggestion === undefined
+        ? `unknown_case: type gives ${listWords(names.map(n => `"${n}"`))}, never ${name}.`
+        : `unknown_case: type never gives ${name}. Did you mean ${suggestion}?`,
+    unknownFunction: (name, arity, suggestion) => `unknown_function: ${name}/${arity} is not a builtin or a def.${suggestion === undefined ? "" : ` Did you mean ${suggestion}?`}`,
+    unknownVariable: (name) => `unknown_function: $${name} is not bound here.`,
+    unknownLabel: (name) => `unknown_function: there is no label $${name} around this break.`,
+    arity: (name, arities, given) => `arity: ${name} takes ${listWords(arities.map(String))} argument${arities.length === 1 && arities[0] === 1 ? "" : "s"}, not ${given}.`,
+    notAField: (field, type) => `type_mismatch: ${field} reads a field, but its input is ${type}.`,
+    notIterable: (form, type) => `not_iterable: ${form} needs an array; its input is ${type}.`,
+    notIterableNull: (form, type) => `not_iterable: ${form} needs an array; its input is ${type}. Use ${form}? to skip null.`,
+    notIndexable: (target, type) => `not_indexable: ${target} is ${type}.`,
+    keyType: (form, key, keyText, given) => `type_mismatch: ${form} needs ${article(key)} ${key} key; ${keyText} is ${given}.`,
+    mutableKey: (keyText, given) => `type_mismatch: ${keyText} is ${given}, and a dict's keys must be immutable.`,
+    sliceBound: (given) => `type_mismatch: .[a:b] needs Integer bounds, got ${given}.`,
+    sliceUpdate: (form, given) => `type_mismatch: ${form} is updated with an array, not ${given}.`,
+    stringSlice: (form) => `type_mismatch: ${form} cannot update part of a string; update the whole string.`,
+    updateKey: (text) => `unsupported: ${text} gives more or fewer than one value; an update's keys and bounds give one each.`,
+    walkUpdate: (path, from, to) => `type_mismatch: an update through ${path} keeps each value's type, but here ${from} would become ${to}.`,
+    structKey: (form) => `type_mismatch: ${form} on a struct needs a literal field name; a computed name needs a dict.`,
+    compares: (op, left, right) => `type_mismatch: ${op} compares ${left} with ${right}.`,
+    neverEqual: (op) => op === "=="
+        ? "type_mismatch: Integer == Float is never true here."
+        : "type_mismatch: Integer != Float is always true here.",
+    arithmetic: (op, left, right) => `type_mismatch: ${left} ${op} ${right} is not defined.`,
+    negate: (type) => `type_mismatch: - negates a number, not ${type}.`,
+    wholeVariant: (path, type) => `type_mismatch: ${path} is ${type}; variants read as {type, value} — compare ${path}.type with a case name.`,
+    narrowFirst: (path, type, caseName, variantPath, leaf) => `type_mismatch: ${path} is ${type} here — only the "${caseName}" case of ${variantPath} has ${leaf}. Narrow first with select(${variantPath}.type == "${caseName}").`,
+    input: (name, expected, given) => `type_mismatch: ${name} needs ${expected}; its input is ${given}.`,
+    dateAsString: (name) => `type_mismatch: ${name} needs a string; its input is DateTime. Compare its parts (year == 2026 and month == 9), or its text (todate | ${name}(…)).`,
+    argument: (name, position, expected, given) => `type_mismatch: ${name}'s ${position} argument must be ${expected}, not ${given}.`,
+    runArgument: (name, element, given, wrapped) => `type_mismatch: ${name} takes an array as a run of elements, which must be ${element}, not ${given}. To find one element, wrap it: ${wrapped}.`,
+    literalArgument: (name, position, expected) => `type_mismatch: ${name}'s ${position} argument must be ${expected}, written in the query.`,
+    isoDate: (value) => `type_mismatch: ${value} is not an ISO-8601 date — DateTime literals are parsed at check time.`,
+    emptyRange: (text) => `type_mismatch: ${text} yields nothing.`,
+    regex: (pattern, reason) => `type_mismatch: ${pattern} is not an East regular expression: ${reason}.`,
+    replacement: (name) => `type_mismatch: ${name}'s replacement can interpolate only the pattern's named groups, as \\(.name).`,
+    mixedDelete: (text) => `ambiguous_output: ${text} leaves values of different types where one type must hold them all.`,
+    mixedKeys: () => "type_mismatch: an object's keys are all written as names, or all computed — a struct or a dict, not both.",
+    noCommonType: (a, b) => `ambiguous_output: ${a} and ${b} have no common type.`,
+    accumulator: (form, first, next) => `cannot_infer: the accumulator of this ${form} is ${first}, then ${next}; start it with a value of the final type.`,
+    recursion: (name) => `cannot_infer: ${name} does not settle on one type for this input. Use recurse, while or until.`,
+    excluded: (name) => `unsupported: ${name} is excluded — queries are deterministic and have no host access.`,
+    unavailable: (name, reason) => `unsupported: ${name} is not available in queries: ${reason}.`,
+    notYet: (name) => `unsupported: ${name} is not available in queries yet.`,
+    tooling: (name) => `unsupported: ${name} is tooling: it needs the TypeScript IR printers, which queries do not have yet.`,
+    wholeRoot: (names) => `unsupported: reading the whole root loads every dataset — name them: ${names.slice(0, 3).map(n => `.${n}`).join(", ")}${names.length > 3 ? ", …" : ""}.`,
+    asyncCall: () => "unsupported: call cannot run an async function.",
+    recursiveFilter: (name) => `unsupported: ${name} calls itself and takes a filter parameter. Use recurse, while or until.`,
+    regexFlag: (flag) => `unsupported: regex flag "${flag}" — East regular expressions take the flags g and i.`,
+    formatCode: (code) => `unsupported: %${code} — strftime and strptime take %Y %m %d %H %M %S %b %B %a %A %F %T and %%.`,
+    duplicateOutputs: (generator) => `duplicate_outputs: select(${generator} | …) emits the row once per matching element. Use any(${generator}; …).`,
+    arrayOnElement: (name, stream, type, collected) => `array_builtin_on_element: ${name} needs an array, but runs here on each element of ${stream}, which is ${type}. Collect the stream first: ${collected}.`,
+    duplicateKey: (key) => `duplicate_key: ${key} is set twice in this object; the last one wins.`,
+    neverMissing: (path, type) => `never_missing: ${path} is ${type}, never null, so //= changes nothing.`,
+    longRange: (text, count) => `long_range: ${text} gives ${count} values; a query returns 1 000 at most by default.`,
+};
+//# sourceMappingURL=messages.js.map

package/dist/src/query/jq/messages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.js","sourceRoot":"","sources":["../../../../src/query/jq/messages.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;GAKG;AAEH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAGlE,OAAO,EAAE,WAAW,EAAgB,MAAM,YAAY,CAAC;AAOvD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,MAAM,CACpB,IAAY,EAAE,IAAY,EAAE,KAA0B,EAAE,OAAe,EACvE,UAA6E,EAAE;IAE/E,OAAO;QACL,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE;QAC1B,OAAO;QACP,QAAQ,EAAE,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;QACtF,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAChF,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;KACvC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,IAAI,CAAC,KAAa,EAAE,IAAY,EAAE,EAAU,EAAE,MAAc;IAC1E,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;AACzF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,CAAS;IAC3C,IAAI,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAE,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnH,CAAC;QACD,QAAQ,GAAG,OAAO,CAAC;IACrB,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,OAAO,CAAC,IAAY,EAAE,UAA4B;IAChE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,MAAM,GAA0D,EAAE,CAAC;IACzE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;QAChE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAC3F,IAAI,CAAC,IAAI,KAAK,IAAI,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;;YAC1G,KAAK,EAAE,CAAC;IACf,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAClD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,KAAwB;IAChD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7C,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,wCAAwC;AACxC,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;AAC7C,CAAC;AAED,6CAA6C;AAC7C,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,YAAY,EAAE,CAAC,KAAa,EAAE,IAAY,EAAE,UAAmB,EAAE,EAAE,CACjE,kBAAkB,KAAK,sBAAsB,IAAI,IAAI,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,UAAU,GAAG,EAAE;IACvH,cAAc,EAAE,CAAC,KAAa,EAAE,UAAmB,EAAE,EAAE,CACrD,kBAAkB,KAAK,uCAAuC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,UAAU,GAAG,EAAE;IAChI,mBAAmB,EAAE,CAAC,KAAa,EAAE,UAAmB,EAAE,EAAE,CAC1D,kBAAkB,KAAK,+CAA+C,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,UAAU,GAAG,EAAE;IACxI,mBAAmB,EAAE,CAAC,KAAa,EAAE,IAAY,EAAE,EAAE,CACnD,kBAAkB,KAAK,sBAAsB,IAAI,qCAAqC;IACxF,WAAW,EAAE,CAAC,IAAY,EAAE,IAAY,EAAE,KAAwB,EAAE,UAAmB,EAAE,EAAE,CAAC,UAAU,KAAK,SAAS;QAClH,CAAC,CAAC,iBAAiB,IAAI,gBAAgB,IAAI,mBAAmB,SAAS,CAAC,KAAK,CAAC,GAAG;QACjF,CAAC,CAAC,iBAAiB,IAAI,gBAAgB,IAAI,kBAAkB,UAAU,GAAG;IAC5E,WAAW,EAAE,CAAC,IAAY,EAAE,KAAwB,EAAE,UAAmB,EAAE,EAAE,CAAC,UAAU,KAAK,SAAS;QACpG,CAAC,CAAC,4BAA4B,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,IAAI,GAAG;QACnF,CAAC,CAAC,kCAAkC,IAAI,kBAAkB,UAAU,GAAG;IACzE,eAAe,EAAE,CAAC,IAAY,EAAE,KAAa,EAAE,UAAmB,EAAE,EAAE,CACpE,qBAAqB,IAAI,IAAI,KAAK,8BAA8B,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,UAAU,GAAG,EAAE;IAClI,eAAe,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,sBAAsB,IAAI,qBAAqB;IAClF,YAAY,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,wCAAwC,IAAI,qBAAqB;IACjG,KAAK,EAAE,CAAC,IAAY,EAAE,OAA0B,EAAE,KAAa,EAAE,EAAE,CACjE,UAAU,IAAI,UAAU,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,YAAY,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,KAAK,GAAG;IACxI,SAAS,EAAE,CAAC,KAAa,EAAE,IAAY,EAAE,EAAE,CAAC,kBAAkB,KAAK,oCAAoC,IAAI,GAAG;IAC9G,WAAW,EAAE,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CAAC,iBAAiB,IAAI,iCAAiC,IAAI,GAAG;IAC1G,eAAe,EAAE,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CAC9C,iBAAiB,IAAI,iCAAiC,IAAI,SAAS,IAAI,iBAAiB;IAC1F,YAAY,EAAE,CAAC,MAAc,EAAE,IAAY,EAAE,EAAE,CAAC,kBAAkB,MAAM,OAAO,IAAI,GAAG;IACtF,OAAO,EAAE,CAAC,IAAY,EAAE,GAAW,EAAE,OAAe,EAAE,KAAa,EAAE,EAAE,CACrE,kBAAkB,IAAI,UAAU,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,SAAS,OAAO,OAAO,KAAK,GAAG;IACpF,UAAU,EAAE,CAAC,OAAe,EAAE,KAAa,EAAE,EAAE,CAAC,kBAAkB,OAAO,OAAO,KAAK,wCAAwC;IAC7H,UAAU,EAAE,CAAC,KAAa,EAAE,EAAE,CAAC,mDAAmD,KAAK,GAAG;IAC1F,WAAW,EAAE,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,kBAAkB,IAAI,kCAAkC,KAAK,GAAG;IAC9G,WAAW,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,kBAAkB,IAAI,2DAA2D;IAChH,SAAS,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,gBAAgB,IAAI,iFAAiF;IAClI,UAAU,EAAE,CAAC,IAAY,EAAE,IAAY,EAAE,EAAU,EAAE,EAAE,CACrD,oCAAoC,IAAI,sCAAsC,IAAI,iBAAiB,EAAE,GAAG;IAC1G,SAAS,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,kBAAkB,IAAI,wEAAwE;IAC3H,QAAQ,EAAE,CAAC,EAAU,EAAE,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,kBAAkB,EAAE,aAAa,IAAI,SAAS,KAAK,GAAG;IAC7G,UAAU,EAAE,CAAC,EAAU,EAAE,EAAE,CAAC,EAAE,KAAK,IAAI;QACrC,CAAC,CAAC,qDAAqD;QACvD,CAAC,CAAC,sDAAsD;IAC1D,UAAU,EAAE,CAAC,EAAU,EAAE,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,kBAAkB,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB;IAChH,MAAM,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,0CAA0C,IAAI,GAAG;IAC3E,YAAY,EAAE,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CAC3C,kBAAkB,IAAI,OAAO,IAAI,8CAA8C,IAAI,yBAAyB;IAC9G,WAAW,EAAE,CAAC,IAAY,EAAE,IAAY,EAAE,QAAgB,EAAE,WAAmB,EAAE,IAAY,EAAE,EAAE,CAC/F,kBAAkB,IAAI,OAAO,IAAI,qBAAqB,QAAQ,aAAa,WAAW,QAAQ,IAAI,8BAA8B,WAAW,aAAa,QAAQ,KAAK;IACvK,KAAK,EAAE,CAAC,IAAY,EAAE,QAAgB,EAAE,KAAa,EAAE,EAAE,CAAC,kBAAkB,IAAI,UAAU,QAAQ,kBAAkB,KAAK,GAAG;IAC5H,YAAY,EAAE,CAAC,IAAY,EAAE,EAAE,CAC7B,kBAAkB,IAAI,kHAAkH,IAAI,OAAO;IACrJ,QAAQ,EAAE,CAAC,IAAY,EAAE,QAAgB,EAAE,QAAgB,EAAE,KAAa,EAAE,EAAE,CAC5E,kBAAkB,IAAI,MAAM,QAAQ,qBAAqB,QAAQ,SAAS,KAAK,GAAG;IACpF,WAAW,EAAE,CAAC,IAAY,EAAE,OAAe,EAAE,KAAa,EAAE,OAAe,EAAE,EAAE,CAC7E,kBAAkB,IAAI,uDAAuD,OAAO,SAAS,KAAK,mCAAmC,OAAO,GAAG;IACjJ,eAAe,EAAE,CAAC,IAAY,EAAE,QAAgB,EAAE,QAAgB,EAAE,EAAE,CACpE,kBAAkB,IAAI,MAAM,QAAQ,qBAAqB,QAAQ,yBAAyB;IAC5F,OAAO,EAAE,CAAC,KAAa,EAAE,EAAE,CAAC,kBAAkB,KAAK,wEAAwE;IAC3H,UAAU,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,kBAAkB,IAAI,kBAAkB;IACtE,KAAK,EAAE,CAAC,OAAe,EAAE,MAAc,EAAE,EAAE,CAAC,kBAAkB,OAAO,uCAAuC,MAAM,GAAG;IACrH,WAAW,EAAE,CAAC,IAAY,EAAE,EAAE,CAC5B,kBAAkB,IAAI,+EAA+E;IACvG,WAAW,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,qBAAqB,IAAI,sEAAsE;IAC9H,SAAS,EAAE,GAAG,EAAE,CAAC,2GAA2G;IAC5H,YAAY,EAAE,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,uBAAuB;IAC9F,WAAW,EAAE,CAAC,IAAY,EAAE,KAAa,EAAE,IAAY,EAAE,EAAE,CACzD,yCAAyC,IAAI,OAAO,KAAK,UAAU,IAAI,4CAA4C;IACrH,SAAS,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,iBAAiB,IAAI,2EAA2E;IAC7H,QAAQ,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,gBAAgB,IAAI,mEAAmE;IACnH,WAAW,EAAE,CAAC,IAAY,EAAE,MAAc,EAAE,EAAE,CAAC,gBAAgB,IAAI,iCAAiC,MAAM,GAAG;IAC7G,MAAM,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,gBAAgB,IAAI,mCAAmC;IACjF,OAAO,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,gBAAgB,IAAI,kFAAkF;IACjI,SAAS,EAAE,CAAC,KAAwB,EAAE,EAAE,CACtC,wEAAwE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG;IAC3J,SAAS,EAAE,GAAG,EAAE,CAAC,iDAAiD;IAClE,eAAe,EAAE,CAAC,IAAY,EAAE,EAAE,CAChC,gBAAgB,IAAI,0EAA0E;IAChG,SAAS,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,4BAA4B,IAAI,sDAAsD;IACnH,UAAU,EAAE,CAAC,IAAY,EAAE,EAAE,CAC3B,iBAAiB,IAAI,2EAA2E;IAClG,gBAAgB,EAAE,CAAC,SAAiB,EAAE,EAAE,CACtC,6BAA6B,SAAS,0DAA0D,SAAS,OAAO;IAClH,cAAc,EAAE,CAAC,IAAY,EAAE,MAAc,EAAE,IAAY,EAAE,SAAiB,EAAE,EAAE,CAChF,6BAA6B,IAAI,qDAAqD,MAAM,cAAc,IAAI,+BAA+B,SAAS,GAAG;IAC3J,YAAY,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,kBAAkB,GAAG,kDAAkD;IACtG,YAAY,EAAE,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CAAC,kBAAkB,IAAI,OAAO,IAAI,uCAAuC;IACtH,SAAS,EAAE,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CACzC,eAAe,IAAI,UAAU,KAAK,oDAAoD;CAChF,CAAC"}

package/dist/src/query/jq/parse.d.ts

@@ -0,0 +1,70 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The jq parser: jq 1.8's grammar (`src/parser.y`) into {@link JqType}
+ * values, with a span for every node and `syntax` diagnostics.
+ *
+ * @packageDocumentation
+ */
+import { type option } from "../../containers/variant.js";
+import type { ValueTypeOf } from "../../types.js";
+import type { QueryErrorType } from "../types.js";
+import { type JqNode, type JqSpans } from "./spans.js";
+/** A diagnostic, as the query wire types hold it. */
+type QueryError = ValueTypeOf<typeof QueryErrorType>;
+/**
+ * A parsed jq program.
+ *
+ * @remarks
+ * `program` is `none` when any diagnostic was reported, and `spans` is then
+ * empty. Otherwise `spans` holds the range of text of every node of
+ * `program`, the root's (`""`) covering the whole text. A node's range leaves
+ * out the parentheses around it and takes in those around its operands, so
+ * `printJq` gives the same ranges for the text it prints.
+ */
+export interface ParsedJq {
+    /** The text that was parsed. */
+    text: string;
+    /** The program, or `none` when the text has a syntax problem. */
+    program: option<JqNode>;
+    /** Where each node of the program is in the text, by its path. */
+    spans: JqSpans;
+    /** The syntax problems, each with its span and any fix. */
+    diagnostics: QueryError[];
+}
+/**
+ * Parses jq text into a {@link JqType} program.
+ *
+ * @param text - jq 1.8 text
+ * @returns the program with the span of every node, or `none` with the
+ *   problems that stopped it
+ *
+ * @remarks
+ * The parser keeps jq's sugar, so printing gives back what was written:
+ * `.a.b` is two `field` nodes, `.a?` sets `optional`, and `f?` is a `try`
+ * with no `catch`. A literal is the typed East value it writes
+ * (`JqLiteralType`): a number written without `.` or an exponent is an
+ * Integer (64-bit; larger is a problem), any other number a Float, and a
+ * string without interpolation a String. `$__loc__` is the variable
+ * `__loc__`; `import`, `include` and `module` are `unsupported`.
+ *
+ * A problem is a `syntax` diagnostic with its span, and a fix where one is
+ * obvious: an unclosed bracket or string is closed, a trailing `|` removed.
+ * After a problem the parser resumes at the next `|` outside every bracket,
+ * so one typo reports one problem.
+ *
+ * @example
+ * ```ts
+ * const parsed = parseJq(".orders | length");
+ * parsed.program.type;            // "some"
+ * parsed.spans.get("pipe.left");  // { from: 0, to: 7 }
+ *
+ * parseJq(".orders |").diagnostics[0]!.message;
+ * // 'syntax: expected a filter after "|".'
+ * ```
+ */
+export declare function parseJq(text: string): ParsedJq;
+export {};
+//# sourceMappingURL=parse.d.ts.map

package/dist/src/query/jq/parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../../../src/query/jq/parse.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;GAKG;AAEH,OAAO,EAAuB,KAAK,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EAAE,cAAc,EAAgB,MAAM,aAAa,CAAC;AAEhE,OAAO,EAEL,KAAK,MAAM,EAAgC,KAAK,OAAO,EACxD,MAAM,YAAY,CAAC;AAEpB,qDAAqD;AACrD,KAAK,UAAU,GAAG,WAAW,CAAC,OAAO,cAAc,CAAC,CAAC;AAOrD;;;;;;;;;GASG;AACH,MAAM,WAAW,QAAQ;IACvB,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACxB,kEAAkE;IAClE,KAAK,EAAE,OAAO,CAAC;IACf,2DAA2D;IAC3D,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AA85BD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAiC9C"}