@elaraai/east 1.0.84 → 1.0.86

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

@@ -0,0 +1,222 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Summaries: one generated jq program that profiles a value of a type leaf by
+ * leaf, which runs wherever queries run (`devdocs/QUERY.md` §19).
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, DateTimeType, DictType, FloatType, IntegerType, OptionType, StringType, StructType, } from "../../types.js";
+import { plainKind } from "./describe.js";
+import { jsonString } from "./literals.js";
+import { nullablePayload, unwrap } from "./shapes.js";
+/** A value and how many times it occurs. */
+const TextCountType = StructType({ n: IntegerType, value: StringType });
+/**
+ * What a summary says about one leaf path of the rows.
+ *
+ * @remarks
+ * - `cases` — a variant's cases in declared order, each with how many rows
+ *   hold it (zero counts kept).
+ * - `count` — how many values reach the path (a list's elements each count).
+ * - `dates` — for dates: the first and last, and the counts per month
+ *   (`"2026-03"`) and per year.
+ * - `distinct` — how many different values: for text, cases and whole numbers.
+ * - `kind` — the plain kind: `"text"`, `"number, sometimes missing"`, ….
+ * - `lengths` — for lists and lookup tables: the shortest and longest.
+ * - `missing` — how many values are null.
+ * - `numbers` — for numbers: the least, greatest, mean and median.
+ * - `values` — for text and yes-or-no: the most common values, by count and
+ *   then value.
+ */
+export const SummaryLeafType = StructType({
+    cases: OptionType(ArrayType(TextCountType)),
+    count: IntegerType,
+    dates: OptionType(StructType({
+        max: DateTimeType,
+        min: DateTimeType,
+        months: ArrayType(TextCountType),
+        years: ArrayType(StructType({ n: IntegerType, value: IntegerType })),
+    })),
+    distinct: OptionType(IntegerType),
+    kind: StringType,
+    lengths: OptionType(StructType({ max: IntegerType, min: IntegerType })),
+    missing: IntegerType,
+    numbers: OptionType(StructType({ max: FloatType, mean: FloatType, median: FloatType, min: FloatType })),
+    values: OptionType(ArrayType(TextCountType)),
+});
+/**
+ * A summary: how many rows, and each leaf path's {@link SummaryLeafType}, by
+ * its jq path from a row (`.total`, `.lines[].sku`, `.status.value.date`).
+ */
+export const SummaryType = StructType({ count: IntegerType, leaves: DictType(StringType, SummaryLeafType) });
+/** A field's name in a path: bare when it is an identifier. */
+function fieldStep(name) {
+    return /^[A-Za-z_][A-Za-z0-9_]*$/.test(name) ? `.${name}` : `.${jsonString(name)}`;
+}
+/** The leaves of a row type, breadth first. */
+function leavesOf(row, maxLeaves) {
+    const leaves = [];
+    const queue = [
+        { type: row, path: ".", reach: ".", seen: new Set() },
+    ];
+    // A path read after another: `.` then `.a` is `.a`, and a reach through a
+    // case's `select` continues after a pipe.
+    const join = (base, step) => {
+        if (base === ".")
+            return step.startsWith("[") ? `.${step}` : step;
+        return base.endsWith(")") ? `${base} | ${step.startsWith("[") ? `.${step}` : step}` : `${base}${step}`;
+    };
+    while (queue.length > 0 && leaves.length < maxLeaves) {
+        const item = queue.shift();
+        const { type, path, reach } = item;
+        let seen = item.seen;
+        // A recursive type is summarised once, where it is first reached.
+        if (type.type === "Recursive") {
+            if (seen.has(type))
+                continue;
+            seen = new Set([...seen, type]);
+        }
+        const t = unwrap(type);
+        const payload = nullablePayload(t);
+        const inner = payload === undefined ? t : unwrap(payload);
+        switch (inner.type) {
+            case "String":
+            case "Integer":
+            case "Float":
+            case "Boolean":
+            case "DateTime":
+                leaves.push({ path, reach, type });
+                break;
+            case "Array":
+            case "Set":
+            case "Vector":
+            case "Dict": {
+                leaves.push({ path, reach, type });
+                const element = inner.type === "Array" ? inner.value : inner.type === "Set" ? inner.key : inner.type === "Vector" ? inner.element : inner.value;
+                queue.push({ type: element, path: join(path, "[]"), reach: join(reach, payload === undefined ? "[]" : "[]?"), seen });
+                break;
+            }
+            case "Struct":
+                for (const [name, field] of Object.entries(inner.fields)) {
+                    queue.push({ type: field, path: join(path, fieldStep(name)), reach: join(reach, fieldStep(name)), seen });
+                }
+                break;
+            case "Variant": {
+                const cases = inner.cases;
+                leaves.push({ path: join(path, ".type"), reach: join(reach, ".type"), type: payload === undefined ? StringType : OptionType(StringType), cases: Object.keys(cases) });
+                for (const [name, caseType] of Object.entries(cases)) {
+                    if (unwrap(caseType).type === "Null")
+                        continue;
+                    const narrowed = `${reach === "." ? "" : `${reach} | `}select(.type == ${jsonString(name)}) | .value`;
+                    queue.push({ type: caseType, path: join(path, ".value"), reach: `(${narrowed})`, seen });
+                }
+                break;
+            }
+            default:
+                break;
+        }
+    }
+    return leaves.slice(0, maxLeaves);
+}
+/** The jq for one leaf's summary, over `$rows`. */
+function leafProgram(leaf, topValues) {
+    const t = unwrap(leaf.type);
+    const nullable = nullablePayload(t) !== undefined;
+    const inner = unwrap(nullablePayload(t) ?? t);
+    const reach = leaf.reach;
+    const kind = leaf.cases !== undefined ? `one of${nullable ? ", sometimes missing" : ""}` : plainKind(leaf.type);
+    const counts = (of, value) => `${of} | group_by(.) | map({n: length, value: (.[0] // ${value})})`;
+    const top = `sort_by({n: -.n, value}) | .[:${topValues}]`;
+    let cases = "null";
+    let dates = "null";
+    let distinct = "null";
+    let lengths = "null";
+    let numbers = "null";
+    let values = "null";
+    if (leaf.cases !== undefined) {
+        cases = `[${leaf.cases.map(c => `{n: ([$p[] | select(. == ${jsonString(c)})] | length), value: ${jsonString(c)}}`).join(", ")}]`;
+        distinct = "($p | unique | length)";
+    }
+    else {
+        switch (inner.type) {
+            case "String":
+                distinct = "($p | unique | length)";
+                values = `(${counts("$p", "\"\"")} | ${top})`;
+                break;
+            case "Boolean":
+                values = `(${counts("$p | map(tostring)", "\"\"")} | ${top})`;
+                break;
+            case "Integer":
+            case "Float":
+                if (inner.type === "Integer")
+                    distinct = "($p | unique | length)";
+                numbers = "(if ($p | length) == 0 then null else ($p | map(. + 0.0)) as $n | "
+                    + "{max: ($n | max // 0.0), mean: ($n | add / length), median: ($n | sort | .[length / 2 | floor] // 0.0), min: ($n | min // 0.0)} end)";
+                break;
+            case "DateTime":
+                dates = "(if ($p | length) == 0 then null else "
+                    + `{max: ($p | max // $epoch), min: ($p | min // $epoch), months: (${counts("$p | map(strftime(\"%Y-%m\"))", "\"\"")}), `
+                    + `years: (${counts("$p | map(year)", "0")})} end)`;
+                break;
+            default:
+                lengths = "($p | map(length) | if length == 0 then null else {max: (max // 0), min: (min // 0)} end)";
+                break;
+        }
+    }
+    const missing = nullable ? "([$v[] | select(. == null)] | length)" : "0";
+    const present = nullable ? "[$v[] | values] as $p | " : "$v as $p | ";
+    return `{key: ${jsonString(leaf.path)}, value: ([$rows[] | ${reach}] as $v | ${present}`
+        + `{cases: ${cases}, count: ($v | length), dates: ${dates}, distinct: ${distinct}, kind: ${jsonString(kind)}, `
+        + `lengths: ${lengths}, missing: ${missing}, numbers: ${numbers}, values: ${values}})}`;
+}
+/**
+ * Two leaves that give every part of a {@link SummaryLeafType} its type: one
+ * with every optional part and one with none. The summary lists them first and
+ * drops them, so its leaves have exactly that type whatever the rows hold.
+ */
+const PROTOTYPES = [
+    "{key: \"\", value: {cases: [{n: 0, value: \"\"}], count: 0, dates: {max: $epoch, min: $epoch, months: [{n: 0, value: \"\"}], "
+        + "years: [{n: 0, value: 0}]}, distinct: 0, kind: \"\", lengths: {max: 0, min: 0}, missing: 0, "
+        + "numbers: {max: 0.0, mean: 0.0, median: 0.0, min: 0.0}, values: [{n: 0, value: \"\"}]}}",
+    "{key: \"\", value: {cases: null, count: 0, dates: null, distinct: null, kind: \"\", lengths: null, missing: 0, numbers: null, values: null}}",
+];
+/**
+ * A jq program that summarises a value of a type, leaf by leaf, to a
+ * {@link SummaryType}.
+ *
+ * @param type - the type of the value the program runs on
+ * @param options - how many leaves, and how many text values per leaf
+ * @returns the program's text, which checks against `type` to `SummaryType`
+ *
+ * @remarks
+ * The rows are the elements of an array or set, the values of a dict, and
+ * otherwise the value itself. The leaves are the paths from a row to each
+ * scalar, each variant's `.type` and each case's payload leaves (counted
+ * where the case holds), and each list, shallowest first. The program binds
+ * the rows once and builds each leaf's summary with jq over them, so it runs
+ * wherever queries run, and after any program: `prefix + " | " +
+ * summaryProgram(typeAfterPrefix)` summarises the rows at that stage.
+ *
+ * @example
+ * ```ts
+ * const program = summaryProgram(ArrayType(StructType({ total: FloatType })));
+ * checkJq(program, ArrayType(StructType({ total: FloatType }))).elementType;   // SummaryType
+ * ```
+ */
+export function summaryProgram(type, options = {}) {
+    const t = unwrap(type);
+    const payload = nullablePayload(t);
+    const container = unwrap(payload ?? t);
+    const elementOf = (u) => u.type === "Array" ? u.value : u.type === "Set" ? u.key : u.type === "Vector" ? u.element
+        : u.type === "Dict" ? u.value : undefined;
+    const element = elementOf(container);
+    const rows = element === undefined ? "[.]" : payload === undefined ? "[.[]]" : "[.[]?]";
+    const leaves = leavesOf(element ?? type, options.maxLeaves ?? 100);
+    const entries = [...PROTOTYPES, ...leaves.map(leaf => leafProgram(leaf, options.topValues ?? 20))];
+    return `("1970-01-01T00:00:00Z" | fromdate) as $epoch | ${rows} as $rows | `
+        + `{count: ($rows | length), leaves: ([${entries.join(", ")}] | .[2:] | from_entries)}`;
+}
+//# sourceMappingURL=summary.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"summary.js","sourceRoot":"","sources":["../../../../src/query/jq/summary.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;GAKG;AAEH,OAAO,EACL,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,GAC9F,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAEtD,4CAA4C;AAC5C,MAAM,aAAa,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;AAExE;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC;IACxC,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC3C,KAAK,EAAE,WAAW;IAClB,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;QAC3B,GAAG,EAAE,YAAY;QACjB,GAAG,EAAE,YAAY;QACjB,MAAM,EAAE,SAAS,CAAC,aAAa,CAAC;QAChC,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;KACrE,CAAC,CAAC;IACH,QAAQ,EAAE,UAAU,CAAC,WAAW,CAAC;IACjC,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;IACvE,OAAO,EAAE,WAAW;IACpB,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;IACvG,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;CAC7C,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,CAAC,CAAC;AAkB7G,+DAA+D;AAC/D,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;AACrF,CAAC;AAED,+CAA+C;AAC/C,SAAS,QAAQ,CAAC,GAAa,EAAE,SAAiB;IAChD,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAmF;QAC5F,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE;KACtD,CAAC;IACF,0EAA0E;IAC1E,0CAA0C;IAC1C,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE;QAClD,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAClE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC;IACzG,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;QACnC,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACrB,kEAAkE;QAClE,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,QAAQ,CAAC;YAAC,KAAK,SAAS,CAAC;YAAC,KAAK,OAAO,CAAC;YAAC,KAAK,SAAS,CAAC;YAAC,KAAK,UAAU;gBAC1E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACnC,MAAM;YACR,KAAK,OAAO,CAAC;YAAC,KAAK,KAAK,CAAC;YAAC,KAAK,QAAQ,CAAC;YAAC,KAAK,MAAM,CAAC,CAAC,CAAC;gBACrD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACnC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;gBAChJ,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAmB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;gBAClI,MAAM;YACR,CAAC;YACD,KAAK,QAAQ;gBACX,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAkC,CAAC,EAAE,CAAC;oBACrF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC5G,CAAC;gBACD,MAAM;YACR,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,MAAM,KAAK,GAAG,KAAK,CAAC,KAAiC,CAAC;gBACtD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACtK,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,MAAM;wBAAE,SAAS;oBAC/C,MAAM,QAAQ,GAAG,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,mBAAmB,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC;oBACtG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,QAAQ,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3F,CAAC;gBACD,MAAM;YACR,CAAC;YACD;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACpC,CAAC;AAED,mDAAmD;AACnD,SAAS,WAAW,CAAC,IAAU,EAAE,SAAiB;IAChD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;IAClD,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChH,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,KAAa,EAAE,EAAE,CAAC,GAAG,EAAE,oDAAoD,KAAK,KAAK,CAAC;IAClH,MAAM,GAAG,GAAG,iCAAiC,SAAS,GAAG,CAAC;IAC1D,IAAI,KAAK,GAAG,MAAM,CAAC;IACnB,IAAI,KAAK,GAAG,MAAM,CAAC;IACnB,IAAI,QAAQ,GAAG,MAAM,CAAC;IACtB,IAAI,OAAO,GAAG,MAAM,CAAC;IACrB,IAAI,OAAO,GAAG,MAAM,CAAC;IACrB,IAAI,MAAM,GAAG,MAAM,CAAC;IACpB,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,4BAA4B,UAAU,CAAC,CAAC,CAAC,wBAAwB,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjI,QAAQ,GAAG,wBAAwB,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,QAAQ;gBACX,QAAQ,GAAG,wBAAwB,CAAC;gBACpC,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC;gBAC9C,MAAM;YACR,KAAK,SAAS;gBACZ,MAAM,GAAG,IAAI,MAAM,CAAC,oBAAoB,EAAE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC;gBAC9D,MAAM;YACR,KAAK,SAAS,CAAC;YAAC,KAAK,OAAO;gBAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;oBAAE,QAAQ,GAAG,wBAAwB,CAAC;gBAClE,OAAO,GAAG,oEAAoE;sBAC1E,sIAAsI,CAAC;gBAC3I,MAAM;YACR,KAAK,UAAU;gBACb,KAAK,GAAG,wCAAwC;sBAC5C,mEAAmE,MAAM,CAAC,+BAA+B,EAAE,MAAM,CAAC,KAAK;sBACvH,WAAW,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC;gBACtD,MAAM;YACR;gBACE,OAAO,GAAG,2FAA2F,CAAC;gBACtG,MAAM;QACV,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,GAAG,CAAC;IACzE,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,aAAa,CAAC;IACtE,OAAO,SAAS,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,KAAK,aAAa,OAAO,EAAE;UACpF,WAAW,KAAK,kCAAkC,KAAK,eAAe,QAAQ,WAAW,UAAU,CAAC,IAAI,CAAC,IAAI;UAC7G,YAAY,OAAO,cAAc,OAAO,cAAc,OAAO,aAAa,MAAM,KAAK,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,GAAG;IACjB,+HAA+H;UAC3H,8FAA8F;UAC9F,wFAAwF;IAC5F,8IAA8I;CAC/I,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,cAAc,CAAC,IAAc,EAAE,UAAiC,EAAE;IAChF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACvB,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,CAAC,CAAW,EAAwB,EAAE,CACtD,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAe,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAmB;QAC3H,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAiB,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IACxF,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,IAAI,IAAI,EAAE,OAAO,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACnG,OAAO,mDAAmD,IAAI,cAAc;UACxE,uCAAuC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC;AAC5F,CAAC"}

package/dist/src/query/jq/translate-builtins.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type { Expr } from "../../expr/expr.js";
+import { type EastType } from "../../types.js";
+import { type Block, type BuiltinRule, type CallSite, type Translator } from "./translate.js";
+/**
+ * `a + b` for `add`, as the checker types it: numbers, strings, arrays, dicts;
+ * struct merges. Also how a split query's pieces add up an `add` (`split.ts`).
+ *
+ * @internal
+ */
+export declare function addInto(t: Translator, c: CallSite, $: Block, acc: Expr, v: Expr, type: EastType): void;
+/** A format: a value as text. @internal */
+export type Format = (t: Translator, $: Block, v: Expr, path: string) => Expr;
+/** Each format, by name. @internal */
+export declare const FORMATS: Readonly<Record<string, Format>>;
+/** Every builtin's rule, by name as called; formats as `@name`. @internal */
+export declare const BUILTIN_RULES: Readonly<Record<string, BuiltinRule>>;
+//# sourceMappingURL=translate-builtins.d.ts.map

package/dist/src/query/jq/translate-builtins.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"translate-builtins.d.ts","sourceRoot":"","sources":["../../../../src/query/jq/translate-builtins.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAoBH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAEoD,KAAK,QAAQ,EACvE,MAAM,gBAAgB,CAAC;AAKxB,OAAO,EAAiB,KAAK,KAAK,EAAE,KAAK,WAAW,EAAE,KAAK,QAAQ,EAAuB,KAAK,UAAU,EAA8B,MAAM,gBAAgB,CAAC;AA2zB9J;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,GAAG,IAAI,CAqBtG;AA0qBD,2CAA2C;AAC3C,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;AAwF9E,sCAAsC;AACtC,eAAO,MAAM,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CA8BpD,CAAC;AAwJF,6EAA6E;AAC7E,eAAO,MAAM,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAS,CAAC"}