@elaraai/east 1.0.84 → 1.0.85

package/dist/src/query/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../../src/query/evaluate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;GAKG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAGxC,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGvF,OAAO,EAAE,OAAO,EAAsB,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAe,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,WAAW,EAAsB,MAAM,mBAAmB,CAAC;AAKpE;;;;;;;;;GASG;AACH,MAAM,OAAO,UAAW,SAAQ,KAAK;IACnC,2CAA2C;IAClC,WAAW,CAAoB;IAExC;;OAEG;IACH,YAAY,WAA8B;QACxC,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACpE,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACvD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/F,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;QAChC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;QACzB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;IACjC,CAAC;CACF;AAqBD,oHAAoH;AACpH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;AAC1C,MAAM,UAAU,GAAG,EAAE,CAAC;AACtB,MAAM,cAAc,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;AAE9C;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,UAAU,CAAC,OAA+B,EAAE,KAAc,EAAE,UAA6B,EAAE;IACzG,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxH,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,SAAS,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;YACjE,MAAM,IAAI,UAAU,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/J,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,SAAS,OAAO,CAAC,OAA+B,EAAE,OAA0B;IAC1E,IAAI,OAAsB,CAAC;IAC3B,IAAI,GAAW,CAAC;IAChB,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;QAC/G,MAAM,OAAO,GAAG,cAAc,CAAC,kBAAkB,CAAC,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACvF,GAAG,GAAG,GAAG,OAAO,SAAS,OAAO,SAAS,OAAO,CAAC,IAAI,KAAK,IAAI,SAAS,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAClG,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC;QAClC,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC,CAAC;IACpH,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,OAAO,CAAC;QAClB,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI;YAAE,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACxE,MAAM,OAAO,GAAG,cAAc,CAAC,kBAAkB,CAAC,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACvF,GAAG,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,SAAS,OAAO,SAAS,OAAO,CAAC,MAAM,CAAC,IAAI,SAAS,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACtH,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC;IACpC,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI;QAAE,MAAM,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC,CAAC;IAChF,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAoC,CAAC;IACvG,MAAM,QAAQ,GAAa,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IACzD,IAAI,KAAK,CAAC,IAAI,IAAI,UAAU;QAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAM,CAAC,CAAC;IACvE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACzB,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,UAAU,cAAc,CAAC,OAAsB,EAAE,OAAe,EAAE,EAAuD;IAC7H,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;IACjC,IAAI,KAA+C,CAAC;IACpD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAChG,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAChD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAE,SAAS;YACxE,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI;gBAAE,KAAK,GAAG,IAAI,CAAC;QACvF,CAAC;QACD,KAAK,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,OAAO,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,oDAAoD;AACpD,MAAM,MAAM,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAEjF,qCAAqC;AACrC,SAAS,SAAS,CAAC,OAAe;IAChC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAY,EAAQ,EAAE;QACjD,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACrH,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACnB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6FAA6F;AAC7F,SAAS,QAAQ,CAAC,IAAY,EAAE,IAAY,EAAE,MAAc;IAC1D,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;YAAC,OAAO,IAAI,CAAC,CAAC;YAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;IAC/F,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC;AACnD,CAAC"}

package/dist/src/query/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+export { JqLiteralType, JqPatternType, JqType, QueryMultiplicityType, QueryCallType, QuerySpanType, QueryEditType, QueryFixType, QueryErrorType, } from "./types.js";
+export { QueryError, evaluateJq, runtimeErrorAt, type EvaluateJqOptions, type QueryDiagnostic } from "./evaluate.js";
+export { translateJq, TranslationError, type JqTranslation, type TranslateJqOptions } from "./jq/translate.js";
+export { splitJq, type JqCombine, type JqPruning, type JqSplit, type JqSplitCall, type JqSplitOutput, type JqSplitStages, type JqTotal, type JqWhole, type JqWholeReason, type SplitJqOptions, } from "./jq/split.js";
+export { lexJq, type JqToken, type JqTokenKind } from "./jq/lex.js";
+export { parseJq, type ParsedJq } from "./jq/parse.js";
+export { printJq, type PrintJqOptions, type PrintedJq } from "./jq/print.js";
+export { pathAt, spanOf, toQuerySpan, type JqNode, type JqPattern, type JqRange, type JqSpans } from "./jq/spans.js";
+export { checkJq, type CheckJqOptions, type CheckJqResult, type CheckedNode, type CheckedStage, type JqMultiplicity, } from "./jq/check.js";
+export { describeJqType, plainKind } from "./jq/describe.js";
+export { SummaryLeafType, SummaryType, summaryProgram, type SummaryProgramOptions } from "./jq/summary.js";
+export { completeJq, type CompleteJqOptions, type JqCompletion, type JqCompletionKind, type JqCompletions } from "./jq/complete.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/query/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/query/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EACL,aAAa,EAAE,aAAa,EAAE,MAAM,EACpC,qBAAqB,EAAE,aAAa,EACpC,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,GAC3D,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,iBAAiB,EAAE,KAAK,eAAe,EAAE,MAAM,eAAe,CAAC;AACrH,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,KAAK,aAAa,EAAE,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC/G,OAAO,EACL,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,aAAa,EAAE,KAAK,aAAa,EAAE,KAAK,OAAO,EAC7H,KAAK,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,cAAc,GACtD,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AACpE,OAAO,EAAE,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,SAAS,EAAE,MAAM,eAAe,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,MAAM,EAAE,KAAK,SAAS,EAAE,KAAK,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AACrH,OAAO,EACL,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,KAAK,WAAW,EAAE,KAAK,YAAY,EAAE,KAAK,cAAc,GAC3G,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,cAAc,EAAE,KAAK,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC3G,OAAO,EAAE,UAAU,EAAE,KAAK,iBAAiB,EAAE,KAAK,YAAY,EAAE,KAAK,gBAAgB,EAAE,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/src/query/index.js

@@ -0,0 +1,17 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+export { JqLiteralType, JqPatternType, JqType, QueryMultiplicityType, QueryCallType, QuerySpanType, QueryEditType, QueryFixType, QueryErrorType, } from "./types.js";
+export { QueryError, evaluateJq, runtimeErrorAt } from "./evaluate.js";
+export { translateJq, TranslationError } from "./jq/translate.js";
+export { splitJq, } from "./jq/split.js";
+export { lexJq } from "./jq/lex.js";
+export { parseJq } from "./jq/parse.js";
+export { printJq } from "./jq/print.js";
+export { pathAt, spanOf, toQuerySpan } from "./jq/spans.js";
+export { checkJq, } from "./jq/check.js";
+export { describeJqType, plainKind } from "./jq/describe.js";
+export { SummaryLeafType, SummaryType, summaryProgram } from "./jq/summary.js";
+export { completeJq } from "./jq/complete.js";
+//# sourceMappingURL=index.js.map

package/dist/src/query/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/query/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EACL,aAAa,EAAE,aAAa,EAAE,MAAM,EACpC,qBAAqB,EAAE,aAAa,EACpC,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,GAC3D,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAgD,MAAM,eAAe,CAAC;AACrH,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAA+C,MAAM,mBAAmB,CAAC;AAC/G,OAAO,EACL,OAAO,GAER,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,EAAkC,MAAM,aAAa,CAAC;AACpE,OAAO,EAAE,OAAO,EAAiB,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,OAAO,EAAuC,MAAM,eAAe,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAA2D,MAAM,eAAe,CAAC;AACrH,OAAO,EACL,OAAO,GACR,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,cAAc,EAA8B,MAAM,iBAAiB,CAAC;AAC3G,OAAO,EAAE,UAAU,EAAwF,MAAM,kBAAkB,CAAC"}

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

@@ -0,0 +1,174 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { type EastType } from "../../types.js";
+import { type QueryFix } from "./messages.js";
+import { type Proof, type Result } from "./shapes.js";
+import type { JqNode, JqRange } from "./spans.js";
+/**
+ * What a builtin's typing rule works with: the call, its input, and ways to
+ * check its arguments and report problems.
+ *
+ * @internal
+ */
+export interface CallContext {
+    /** The builtin's name as called (`@base64` for a format). */
+    readonly name: string;
+    /** The call node's path. */
+    readonly path: string;
+    /** The call's input. */
+    readonly input: Result;
+    /** The arguments, as written. */
+    readonly args: readonly JqNode[];
+    /** Each argument's path. */
+    readonly argPaths: readonly string[];
+    /** The call's range. */
+    readonly range: JqRange | undefined;
+    /** The builtin being typed. */
+    readonly builtin: Builtin;
+    /** An argument's range. */
+    argRange(i: number): JqRange | undefined;
+    /** Checks argument `i` on an input: the call's input when none is given. */
+    arg(i: number, input?: Result): Result;
+    /** Argument `i`'s value when it is written as a literal. */
+    literal(i: number): {
+        type: EastType;
+        value: unknown;
+    } | undefined;
+    /** A literal node's value. */
+    literalOf(node: Extract<JqNode, {
+        type: "literal";
+    }>): {
+        type: EastType;
+        value: unknown;
+    };
+    /**
+     * Reads argument `i`, a literal, as `wanted` is written: an Integer as a
+     * Float, an ISO-8601 string as a DateTime, which its translation gives.
+     * Reports a string that is not an ISO-8601 date.
+     *
+     * @returns the type the literal is read as, or `undefined` when it is not
+     *   such a literal
+     */
+    coerceArg(i: number, wanted: EastType): EastType | undefined;
+    /**
+     * Reads argument `i`, an array literal of literals, as an array of
+     * `wanted`: each element as {@link CallContext.coerceArg} reads one.
+     *
+     * @returns the array's new type, or `undefined` when it is not such an array
+     */
+    coerceArgElements(i: number, wanted: EastType): EastType | undefined;
+    /** How many problems have been reported so far: a rule's own tells it whether a coercion said why it failed. */
+    problems(): number;
+    /** Reports a problem at the call, or at argument `arg`. */
+    fail(code: string, message: string, options?: {
+        arg?: number;
+        suggestions?: string[];
+        fixes?: QueryFix[];
+    }): Result;
+    /** Reports a type error jq raises at run time; in a lenient place, no output instead. */
+    mismatch(code: string, message: string, arg?: number, fixes?: QueryFix[]): Result;
+    /** The fix that skips null inputs, `values | `, when the call can have a pipe put before it. */
+    skipNulls(): QueryFix | undefined;
+    /** Reports a lint at the call. */
+    warn(code: string, message: string, fixes?: QueryFix[]): void;
+    /** The call's text, or argument `i`'s. */
+    source(i?: number): string;
+    /** The one type a result's outputs share, or a reported `ambiguous_output`. */
+    collect(result: Result, arg?: number): EastType | undefined;
+    /** Refuses the call when its input is the whole root. */
+    refuseRoot(): boolean;
+    /** Adds what a condition proves to a result's shape. */
+    narrow(result: Result, proves: readonly Proof[]): Result;
+    /** Reports reading, un-narrowed, a payload field the call needs a value of, with the "Narrow first" fix. */
+    narrowFirst(type: EastType): Result;
+    /** Reports an array builtin run on each element of a stream, with the fix that collects it. */
+    onElement(type: EastType): Result;
+    /** The program's text. */
+    readonly text: string;
+    /** Any node's range, by its path. */
+    rangeAt(path: string): JqRange | undefined;
+    /** What checking a node gave, by its path, in this instance. */
+    resultAt(path: string): Result | undefined;
+}
+/**
+ * A catalog entry.
+ *
+ * @remarks
+ * - `status` — `supported`; `excluded` (host access and nondeterminism,
+ *   §11); `unavailable` (no East definition, with `reason`); `not_yet`; or
+ *   `tooling` (tooling-only, §9).
+ * - `arities` — the numbers of arguments it takes.
+ * - `east` — the East builtins or library functions that define it, for
+ *   `QUERY.md`'s table and the translator.
+ * - `typing` — the checker's rule, for a builtin a query may call.
+ *
+ * @internal
+ */
+export interface Builtin {
+    readonly status: "supported" | "excluded" | "unavailable" | "not_yet" | "tooling";
+    readonly arities: readonly number[];
+    readonly east: string;
+    readonly reason?: string;
+    /** What it takes and gives, for `QUERY.md`'s table. */
+    readonly rule?: string;
+    /** How many outputs it gives for one input, for `QUERY.md`'s table. */
+    readonly outputs?: string;
+    readonly typing?: (ctx: CallContext) => Result;
+}
+/**
+ * A step of a path `del` deletes at: a field, an index or key, a slice, every
+ * element (`.[]`), or the elements a `select` keeps.
+ *
+ * @internal
+ */
+export type DelStep = {
+    readonly kind: "field";
+    readonly name: string;
+} | {
+    readonly kind: "index";
+    readonly node: JqNode;
+    readonly path: string;
+} | {
+    readonly kind: "slice";
+    readonly path: string;
+} | {
+    readonly kind: "iterate";
+} | {
+    readonly kind: "select";
+    readonly path: string;
+};
+/**
+ * The paths `del`'s argument names, each as its steps from `.`.
+ *
+ * @param node - the argument
+ * @param path - its node path
+ * @returns the paths, or `undefined` when the argument is not made of field
+ *   reads, indexes, slices, `.[]`, `select`, `|` and `,`
+ *
+ * @internal
+ */
+export declare function delPaths(node: JqNode, path: string): DelStep[][] | undefined;
+/**
+ * The catalog: every builtin of jq 1.8 and East's additions, by name, and
+ * each format by `@name`.
+ *
+ * @internal
+ */
+export declare const BUILTINS: ReadonlyMap<string, Builtin>;
+/**
+ * Whether a name is a builtin a jq query can call: one of jq 1.8's, or one of
+ * East's additions, whether or not a query may use it.
+ *
+ * @param name - the name, as written in the query
+ * @returns `true` for a builtin's name
+ *
+ * @example
+ * ```ts
+ * isJqBuiltin("select");   // true
+ * isJqBuiltin("revenue");  // false: a `def` could name it
+ * ```
+ */
+export declare function isJqBuiltin(name: string): boolean;
+//# sourceMappingURL=catalog.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../../../src/query/jq/catalog.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAWH,OAAO,EAEsC,KAAK,QAAQ,EACzD,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAkB,KAAK,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,EAEgD,KAAK,KAAK,EAAE,KAAK,MAAM,EAC7E,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAGlD;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wBAAwB;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,4BAA4B;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,wBAAwB;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IACpC,+BAA+B;IAC/B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,2BAA2B;IAC3B,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;IACzC,4EAA4E;IAC5E,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACvC,4DAA4D;IAC5D,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS,CAAC;IACnE,8BAA8B;IAC9B,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC,GAAG;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;IAC1F;;;;;;;OAOG;IACH,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC7D;;;;;OAKG;IACH,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACrE,gHAAgH;IAChH,QAAQ,IAAI,MAAM,CAAC;IACnB,2DAA2D;IAC3D,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAA;KAAE,GAAG,MAAM,CAAC;IACpH,yFAAyF;IACzF,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IAClF,gGAAgG;IAChG,SAAS,IAAI,QAAQ,GAAG,SAAS,CAAC;IAClC,kCAAkC;IAClC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAC9D,0CAA0C;IAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,+EAA+E;IAC/E,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC5D,yDAAyD;IACzD,UAAU,IAAI,OAAO,CAAC;IACtB,wDAAwD;IACxD,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,MAAM,CAAC;IACzD,4GAA4G;IAC5G,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC;IACpC,+FAA+F;IAC/F,SAAS,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC;IAClC,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qCAAqC;IACrC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;IAC3C,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CAC5C;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,UAAU,GAAG,aAAa,GAAG,SAAS,GAAG,SAAS,CAAC;IAClF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,uDAAuD;IACvD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,uEAAuE;IACvE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,WAAW,KAAK,MAAM,CAAC;CAChD;AAqUD;;;;;GAKG;AACH,MAAM,MAAM,OAAO,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD;;;;;;;;;GASG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,EAAE,GAAG,SAAS,CAgC5E;AA8mCD;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAG/C,CAAC;AAEJ;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEjD"}