fhirpath-ts 0.0.0-bootstrap.0

package/dist/analyzer/regex-safety.js

@@ -0,0 +1,84 @@
+/**
+ * Static ReDoS heuristic for literal regex arguments of the matches() family.
+ * A synchronous JS engine cannot time out a running RegExp, so catastrophic
+ * backtracking is flagged before it runs instead: the classic exponential
+ * shape is an unbounded quantifier applied to a group that itself contains an
+ * unbounded quantifier — `(a+)+`, `(\d*)*`, `(x|y+)*`. That is what this
+ * detects; overlapping-alternation cases like `(a|ab)+` are out of scope.
+ */
+export function hasNestedUnboundedQuantifier(pattern) {
+    // Each open group tracks whether an unbounded quantifier appeared inside it.
+    const groups = [];
+    let currentHasUnbounded = false;
+    let index = 0;
+    while (index < pattern.length) {
+        const char = pattern[index];
+        if (char === '\\') {
+            index += 2;
+            continue;
+        }
+        if (char === '[') {
+            // Character classes repeat single characters; quantifiers inside are literals.
+            index += 1;
+            while (index < pattern.length && pattern[index] !== ']') {
+                index += pattern[index] === '\\' ? 2 : 1;
+            }
+            index += 1;
+            continue;
+        }
+        if (char === '(') {
+            groups.push(currentHasUnbounded);
+            currentHasUnbounded = false;
+            index += 1;
+            continue;
+        }
+        if (char === ')') {
+            const groupHadUnbounded = currentHasUnbounded;
+            currentHasUnbounded = groups.pop() ?? false;
+            index += 1;
+            const quantifier = readQuantifier(pattern, index);
+            if (quantifier !== undefined) {
+                if (groupHadUnbounded && quantifier.unbounded) {
+                    return true;
+                }
+                currentHasUnbounded ||= quantifier.unbounded;
+                index = quantifier.end;
+                continue;
+            }
+            currentHasUnbounded ||= groupHadUnbounded;
+            continue;
+        }
+        const quantifier = readQuantifier(pattern, index);
+        if (quantifier !== undefined && index > 0) {
+            currentHasUnbounded ||= quantifier.unbounded;
+            index = quantifier.end;
+            continue;
+        }
+        index += 1;
+    }
+    return false;
+}
+/** The quantifier at `index` (`*`, `+`, `{m,}`, `{m,n}`, with lazy `?`), or undefined. */
+function readQuantifier(pattern, index) {
+    const char = pattern[index];
+    if (char === '*' || char === '+') {
+        return { unbounded: true, end: skipLazy(pattern, index + 1) };
+    }
+    if (char === '?') {
+        return { unbounded: false, end: skipLazy(pattern, index + 1) };
+    }
+    if (char === '{') {
+        const match = /^\{(\d+)(,(\d*)?)?\}/.exec(pattern.slice(index));
+        if (match === null) {
+            return undefined;
+        }
+        // {m} and {m,n} are bounded; {m,} is unbounded.
+        const unbounded = match[2] !== undefined && (match[3] === undefined || match[3] === '');
+        return { unbounded, end: skipLazy(pattern, index + match[0].length) };
+    }
+    return undefined;
+}
+function skipLazy(pattern, index) {
+    return pattern[index] === '?' ? index + 1 : index;
+}
+//# sourceMappingURL=regex-safety.js.map

package/dist/analyzer/regex-safety.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regex-safety.js","sourceRoot":"","sources":["../../src/analyzer/regex-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,MAAM,UAAU,4BAA4B,CAAC,OAAe;IAC1D,6EAA6E;IAC7E,MAAM,MAAM,GAAc,EAAE,CAAA;IAC5B,IAAI,mBAAmB,GAAG,KAAK,CAAA;IAC/B,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,OAAO,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAW,CAAA;QACrC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,KAAK,IAAI,CAAC,CAAA;YACV,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,+EAA+E;YAC/E,KAAK,IAAI,CAAC,CAAA;YACV,OAAO,KAAK,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;gBACxD,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YAC1C,CAAC;YACD,KAAK,IAAI,CAAC,CAAA;YACV,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;YAChC,mBAAmB,GAAG,KAAK,CAAA;YAC3B,KAAK,IAAI,CAAC,CAAA;YACV,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,iBAAiB,GAAG,mBAAmB,CAAA;YAC7C,mBAAmB,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,KAAK,CAAA;YAC3C,KAAK,IAAI,CAAC,CAAA;YACV,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACjD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,IAAI,iBAAiB,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;oBAC9C,OAAO,IAAI,CAAA;gBACb,CAAC;gBACD,mBAAmB,KAAK,UAAU,CAAC,SAAS,CAAA;gBAC5C,KAAK,GAAG,UAAU,CAAC,GAAG,CAAA;gBACtB,SAAQ;YACV,CAAC;YACD,mBAAmB,KAAK,iBAAiB,CAAA;YACzC,SAAQ;QACV,CAAC;QACD,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QACjD,IAAI,UAAU,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC1C,mBAAmB,KAAK,UAAU,CAAC,SAAS,CAAA;YAC5C,KAAK,GAAG,UAAU,CAAC,GAAG,CAAA;YACtB,SAAQ;QACV,CAAC;QACD,KAAK,IAAI,CAAC,CAAA;IACZ,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,0FAA0F;AAC1F,SAAS,cAAc,CAAC,OAAe,EAAE,KAAa;IACpD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;IAC3B,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;QACjC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAA;IAC/D,CAAC;IACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;QACjB,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAA;IAChE,CAAC;IACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;QAC/D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,gDAAgD;QAChD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAA;QACvF,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAA;IACvE,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,QAAQ,CAAC,OAAe,EAAE,KAAa;IAC9C,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AACnD,CAAC"}

package/dist/analyzer/signatures.d.ts

@@ -0,0 +1,72 @@
+import type { ValueKind } from '../values/type-compat.ts';
+interface StaticStateLike {
+    types: string[] | undefined;
+    /** True: at most one item. False: may hold several. Undefined: cardinality unknown. */
+    single: boolean | undefined;
+    /** Canonical resource types a Reference state may point to — resolve()'s result. */
+    targets?: string[];
+}
+/** Cardinality of a value combined from two parts: single only when both are. */
+export declare function singleAnd(a: boolean | undefined, b: boolean | undefined): boolean | undefined;
+/** Describes whether an argument is a lambda, condition, sort key, type name, or eager value. */
+export type ArgSpec = 'expression' | 'condition' | 'sort-key' | 'type-name' | 'any' | ValueKind;
+/**
+ * The argument shapes a host function can declare. Host functions always
+ * receive eagerly evaluated values (HostFunction.fn), so only the eager specs
+ * are offered — declaring a lambda spec like `expression` would make the
+ * analyzer check semantics the runtime does not implement.
+ */
+export type ValueArgSpec = 'any' | ValueKind;
+/**
+ * Accepted focus kind, cardinality, and model types. DTO functions may set
+ * `types`; built-ins must not because specification functions accept many types.
+ */
+export interface InputSpec {
+    kind?: ValueKind;
+    singleton?: boolean;
+    /** Canonical or local model type names ('CodeableConcept', 'System.String'). */
+    types?: string[];
+}
+/**
+ * The declared analyzer signature of a host-supplied function (HAPI's
+ * checkFunction): what input it accepts, how its arguments are treated, and
+ * what it returns. Result `types` use model or System names ('Patient',
+ * 'System.String'); omitting them keeps the result an unknown region.
+ */
+export interface CustomFunctionSignature {
+    input?: InputSpec;
+    args?: ValueArgSpec[];
+    result?: {
+        types?: string[];
+        single?: boolean;
+    };
+}
+export interface FunctionSignature {
+    input?: InputSpec;
+    args?: ArgSpec[];
+    /**
+     * Result state from the input state and the analyzed argument states
+     * (undefined for `type-name` positions and missing optional arguments).
+     */
+    result: (input: StaticStateLike, args: readonly (StaticStateLike | undefined)[]) => StaticStateLike;
+}
+/**
+ * The input's candidate types and reference targets at a different cardinality
+ * — the composition every selection/projection result goes through, so target
+ * metadata survives by construction instead of by per-function special cases.
+ */
+export declare function withSingle(input: StaticStateLike, single: boolean | undefined): StaticStateLike;
+/**
+ * The union of several alternative states (iif branches, coalesce arguments,
+ * merged collections): all candidate types, single only when every alternative
+ * is, and reference targets preserved when every non-empty alternative
+ * declares them (a statically empty side contributes nothing).
+ */
+export declare function unionStates(states: (StaticStateLike | undefined)[]): StaticStateLike;
+/**
+ * What the analyzer knows about each function. Functions missing here still get
+ * arity checks from the runtime registry; their results become unknown.
+ */
+export declare const FUNCTION_SIGNATURES: Readonly<Record<string, FunctionSignature>>;
+export {};
+//# sourceMappingURL=signatures.d.ts.map

package/dist/analyzer/signatures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signatures.d.ts","sourceRoot":"","sources":["../../src/analyzer/signatures.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AAEzD,UAAU,eAAe;IACvB,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAA;IAC3B,uFAAuF;IACvF,MAAM,EAAE,OAAO,GAAG,SAAS,CAAA;IAC3B,oFAAoF;IACpF,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;CACnB;AAED,iFAAiF;AACjF,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,GAAG,SAAS,EAAE,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,CAK7F;AAED,iGAAiG;AACjG,MAAM,MAAM,OAAO,GAAG,YAAY,GAAG,WAAW,GAAG,UAAU,GAAG,WAAW,GAAG,KAAK,GAAG,SAAS,CAAA;AAE/F;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,SAAS,CAAA;AAE5C;;;GAGG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,CAAC,EAAE,SAAS,CAAA;IAChB,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,gFAAgF;IAChF,KAAK,CAAC,EAAE,MAAM,EAAE,CAAA;CACjB;AAED;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB;IACtC,KAAK,CAAC,EAAE,SAAS,CAAA;IACjB,IAAI,CAAC,EAAE,YAAY,EAAE,CAAA;IACrB,MAAM,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,CAAA;CAChD;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,CAAC,EAAE,SAAS,CAAA;IACjB,IAAI,CAAC,EAAE,OAAO,EAAE,CAAA;IAChB;;;OAGG;IACH,MAAM,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,CAAC,eAAe,GAAG,SAAS,CAAC,EAAE,KAAK,eAAe,CAAA;CACpG;AASD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,GAAG,SAAS,GAAG,eAAe,CAI/F;AAID;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,CAAC,eAAe,GAAG,SAAS,CAAC,EAAE,GAAG,eAAe,CAapF;AAKD;;;GAGG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAqJ3E,CAAA"}

package/dist/analyzer/signatures.js

@@ -0,0 +1,195 @@
+/** Cardinality of a value combined from two parts: single only when both are. */
+export function singleAnd(a, b) {
+    if (a === false || b === false) {
+        return false;
+    }
+    return a === true && b === true ? true : undefined;
+}
+const BOOLEAN = () => ({ types: ['System.Boolean'], single: true });
+const INTEGER = () => ({ types: ['System.Integer'], single: true });
+const STRING = () => ({ types: ['System.String'], single: true });
+const DECIMAL = () => ({ types: ['System.Decimal'], single: true });
+const UNKNOWN = () => ({ types: undefined, single: undefined });
+const SAME = (input) => input;
+/**
+ * The input's candidate types and reference targets at a different cardinality
+ * — the composition every selection/projection result goes through, so target
+ * metadata survives by construction instead of by per-function special cases.
+ */
+export function withSingle(input, single) {
+    return input.targets === undefined
+        ? { types: input.types, single }
+        : { types: input.types, single, targets: input.targets };
+}
+const ITEM = (input) => withSingle(input, true);
+/**
+ * The union of several alternative states (iif branches, coalesce arguments,
+ * merged collections): all candidate types, single only when every alternative
+ * is, and reference targets preserved when every non-empty alternative
+ * declares them (a statically empty side contributes nothing).
+ */
+export function unionStates(states) {
+    const present = states.filter((state) => state !== undefined);
+    const single = present.length > 0 ? present.map(state => state.single).reduce(singleAnd, true) : undefined;
+    const contributing = present.filter(state => state.types === undefined || state.types.length > 0);
+    const targets = contributing.length > 0 && contributing.every(state => state.targets !== undefined)
+        ? [...new Set(contributing.flatMap(state => state.targets))]
+        : undefined;
+    const types = present.length === 0 || present.some(state => state.types === undefined)
+        ? undefined
+        : [...new Set(present.flatMap(state => state.types))];
+    return targets === undefined ? { types, single } : { types, single, targets };
+}
+const STRING_FN = { input: { kind: 'String', singleton: true }, args: ['String'], result: STRING };
+const MATH_FN = { input: { kind: 'Numeric', singleton: true }, result: DECIMAL };
+/**
+ * What the analyzer knows about each function. Functions missing here still get
+ * arity checks from the runtime registry; their results become unknown.
+ */
+export const FUNCTION_SIGNATURES = {
+    empty: { result: BOOLEAN },
+    exists: { args: ['expression'], result: BOOLEAN },
+    all: { args: ['expression'], result: BOOLEAN },
+    allTrue: { input: { kind: 'Boolean' }, result: BOOLEAN },
+    anyTrue: { input: { kind: 'Boolean' }, result: BOOLEAN },
+    allFalse: { input: { kind: 'Boolean' }, result: BOOLEAN },
+    anyFalse: { input: { kind: 'Boolean' }, result: BOOLEAN },
+    count: { result: INTEGER },
+    distinct: { result: SAME },
+    isDistinct: { result: BOOLEAN },
+    subsetOf: { args: ['any'], result: BOOLEAN },
+    supersetOf: { args: ['any'], result: BOOLEAN },
+    // Filters cannot grow their input, so cardinality is preserved: filtering a
+    // single item yields at most one item.
+    where: { args: ['expression'], result: SAME },
+    select: {
+        args: ['expression'],
+        // The projection's analyzed state, collection-ized: single only when both
+        // the input and the projection body are single.
+        result: (input, args) => withSingle(args[0] ?? UNKNOWN(), singleAnd(input.single, args[0]?.single)),
+    },
+    repeat: { args: ['expression'], result: UNKNOWN },
+    // ofType/as results narrow to the named type; the analyzer computes that with
+    // the model (walkCall), so their table results are never consulted.
+    ofType: { args: ['type-name'], result: UNKNOWN },
+    is: { input: { singleton: true }, args: ['type-name'], result: BOOLEAN },
+    as: { input: { singleton: true }, args: ['type-name'], result: UNKNOWN },
+    single: { result: ITEM },
+    first: { result: ITEM },
+    last: { result: ITEM },
+    tail: { result: SAME },
+    skip: { args: ['Numeric'], result: SAME },
+    take: { args: ['Numeric'], result: SAME },
+    intersect: { args: ['any'], result: SAME },
+    exclude: { args: ['any'], result: SAME },
+    union: { args: ['any'], result: (input, args) => withSingle(unionStates([input, args[0]]), false) },
+    combine: { args: ['any'], result: (input, args) => withSingle(unionStates([input, args[0]]), false) },
+    iif: {
+        args: ['condition', 'expression', 'expression'],
+        // The union of the branch states; a missing else-branch contributes empty.
+        result: (_input, args) => unionStates([args[1], args[2] ?? { types: [], single: true }]),
+    },
+    // not() takes anything a Boolean test accepts (0/1, single items), so no kind pin.
+    not: { input: { singleton: true }, result: BOOLEAN },
+    trace: { args: ['String', 'expression'], result: SAME },
+    children: { result: UNKNOWN },
+    descendants: { result: UNKNOWN },
+    // A reference resolves to its declared target types (Reference.targetProfile,
+    // HAPI's TypeDetails.targets); an unconstrained reference stays unknown.
+    resolve: { result: input => ({ types: input.targets, single: input.single }) },
+    extension: { args: ['String'], result: UNKNOWN },
+    hasValue: { input: { singleton: true }, result: BOOLEAN },
+    getValue: { input: { singleton: true }, result: UNKNOWN },
+    htmlChecks: { input: { singleton: true }, result: BOOLEAN },
+    comparable: { input: { kind: 'Quantity', singleton: true }, args: ['Quantity'], result: BOOLEAN },
+    conformsTo: { input: { singleton: true }, args: ['String'], result: BOOLEAN },
+    length: { input: { kind: 'String', singleton: true }, result: INTEGER },
+    indexOf: { ...STRING_FN, result: INTEGER },
+    lastIndexOf: { ...STRING_FN, result: INTEGER },
+    substring: { input: { kind: 'String', singleton: true }, args: ['Numeric', 'Numeric'], result: STRING },
+    startsWith: { ...STRING_FN, result: BOOLEAN },
+    endsWith: { ...STRING_FN, result: BOOLEAN },
+    contains: { ...STRING_FN, result: BOOLEAN },
+    upper: { input: { kind: 'String', singleton: true }, result: STRING },
+    lower: { input: { kind: 'String', singleton: true }, result: STRING },
+    replace: { input: { kind: 'String', singleton: true }, args: ['String', 'String'], result: STRING },
+    matches: { ...STRING_FN, result: BOOLEAN },
+    matchesFull: { ...STRING_FN, result: BOOLEAN },
+    replaceMatches: { input: { kind: 'String', singleton: true }, args: ['String', 'String'], result: STRING },
+    toChars: {
+        input: { kind: 'String', singleton: true },
+        result: () => ({ types: ['System.String'], single: false }),
+    },
+    trim: { input: { kind: 'String', singleton: true }, result: STRING },
+    split: {
+        input: { kind: 'String', singleton: true },
+        args: ['String'],
+        result: () => ({ types: ['System.String'], single: false }),
+    },
+    join: { input: { kind: 'String' }, args: ['String'], result: STRING },
+    encode: STRING_FN,
+    decode: STRING_FN,
+    escape: STRING_FN,
+    unescape: STRING_FN,
+    abs: { input: { singleton: true }, result: UNKNOWN },
+    ceiling: { input: { kind: 'Numeric', singleton: true }, result: INTEGER },
+    floor: { input: { kind: 'Numeric', singleton: true }, result: INTEGER },
+    truncate: { input: { kind: 'Numeric', singleton: true }, result: INTEGER },
+    round: { input: { kind: 'Numeric', singleton: true }, args: ['Numeric'], result: DECIMAL },
+    exp: MATH_FN,
+    ln: MATH_FN,
+    sqrt: MATH_FN,
+    log: { input: { kind: 'Numeric', singleton: true }, args: ['Numeric'], result: DECIMAL },
+    power: { input: { kind: 'Numeric', singleton: true }, args: ['Numeric'], result: UNKNOWN },
+    aggregate: { args: ['expression', 'any'], result: UNKNOWN },
+    sum: { input: { kind: 'Numeric' }, result: UNKNOWN },
+    min: { input: { kind: 'Numeric' }, result: UNKNOWN },
+    max: { input: { kind: 'Numeric' }, result: UNKNOWN },
+    avg: { input: { kind: 'Numeric' }, result: DECIMAL },
+    sort: { args: ['sort-key'], result: SAME },
+    toBoolean: { input: { singleton: true }, result: BOOLEAN },
+    toInteger: { input: { singleton: true }, result: INTEGER },
+    toLong: { input: { singleton: true }, result: () => ({ types: ['System.Long'], single: true }) },
+    toDecimal: { input: { singleton: true }, result: DECIMAL },
+    toString: { input: { singleton: true }, result: STRING },
+    toDate: { input: { singleton: true }, result: () => ({ types: ['System.Date'], single: true }) },
+    toDateTime: { input: { singleton: true }, result: () => ({ types: ['System.DateTime'], single: true }) },
+    toTime: { input: { singleton: true }, result: () => ({ types: ['System.Time'], single: true }) },
+    toQuantity: {
+        input: { singleton: true },
+        args: ['String'],
+        result: () => ({ types: ['System.Quantity'], single: true }),
+    },
+    convertsToBoolean: { input: { singleton: true }, result: BOOLEAN },
+    convertsToInteger: { input: { singleton: true }, result: BOOLEAN },
+    convertsToLong: { input: { singleton: true }, result: BOOLEAN },
+    convertsToDecimal: { input: { singleton: true }, result: BOOLEAN },
+    convertsToString: { input: { singleton: true }, result: BOOLEAN },
+    convertsToDate: { input: { singleton: true }, result: BOOLEAN },
+    convertsToDateTime: { input: { singleton: true }, result: BOOLEAN },
+    convertsToTime: { input: { singleton: true }, result: BOOLEAN },
+    convertsToQuantity: { input: { singleton: true }, args: ['String'], result: BOOLEAN },
+    now: { result: () => ({ types: ['System.DateTime'], single: true }) },
+    today: { result: () => ({ types: ['System.Date'], single: true }) },
+    timeOfDay: { result: () => ({ types: ['System.Time'], single: true }) },
+    yearOf: { input: { kind: 'Temporal', singleton: true }, result: INTEGER },
+    monthOf: { input: { kind: 'Temporal', singleton: true }, result: INTEGER },
+    dayOf: { input: { kind: 'Temporal', singleton: true }, result: INTEGER },
+    hourOf: { input: { kind: 'Temporal', singleton: true }, result: INTEGER },
+    minuteOf: { input: { kind: 'Temporal', singleton: true }, result: INTEGER },
+    secondOf: { input: { kind: 'Temporal', singleton: true }, result: INTEGER },
+    millisecondOf: { input: { kind: 'Temporal', singleton: true }, result: INTEGER },
+    timezoneOffsetOf: { input: { kind: 'Temporal', singleton: true }, result: DECIMAL },
+    dateOf: { input: { kind: 'Temporal', singleton: true }, result: () => ({ types: ['System.Date'], single: true }) },
+    timeOf: { input: { kind: 'Temporal', singleton: true }, result: () => ({ types: ['System.Time'], single: true }) },
+    lowBoundary: { input: { singleton: true }, args: ['Numeric'], result: UNKNOWN },
+    highBoundary: { input: { singleton: true }, args: ['Numeric'], result: UNKNOWN },
+    precision: { input: { singleton: true }, result: INTEGER },
+    defineVariable: { args: ['String', 'expression'], result: SAME },
+    // Variadic: the analyzer repeats the last arg spec for every position, so one
+    // 'expression' entry covers all of coalesce's arguments. The result is the
+    // first non-empty argument, hence the union of all of them.
+    coalesce: { args: ['expression'], result: (_input, args) => unionStates([...args]) },
+    type: { result: UNKNOWN },
+};
+//# sourceMappingURL=signatures.js.map

package/dist/analyzer/signatures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signatures.js","sourceRoot":"","sources":["../../src/analyzer/signatures.ts"],"names":[],"mappings":"AAUA,iFAAiF;AACjF,MAAM,UAAU,SAAS,CAAC,CAAsB,EAAE,CAAsB;IACtE,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AACpD,CAAC;AA8CD,MAAM,OAAO,GAAG,GAAoB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;AACpF,MAAM,OAAO,GAAG,GAAoB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;AACpF,MAAM,MAAM,GAAG,GAAoB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;AAClF,MAAM,OAAO,GAAG,GAAoB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;AACpF,MAAM,OAAO,GAAG,GAAoB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;AAChF,MAAM,IAAI,GAAG,CAAC,KAAsB,EAAmB,EAAE,CAAC,KAAK,CAAA;AAE/D;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,KAAsB,EAAE,MAA2B;IAC5E,OAAO,KAAK,CAAC,OAAO,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE;QAChC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAA;AAC5D,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,KAAsB,EAAmB,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAEjF;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,MAAuC;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAA4B,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAA;IACvF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC1G,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACjG,MAAM,OAAO,GACX,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC;QACjF,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAmB,CAAC,CAAC,CAAC;QACxE,CAAC,CAAC,SAAS,CAAA;IACf,MAAM,KAAK,GACT,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC;QACtE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAiB,CAAC,CAAC,CAAC,CAAA;IACrE,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAA;AAC/E,CAAC;AAED,MAAM,SAAS,GAAsB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;AACrH,MAAM,OAAO,GAAsB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAA;AAEnG;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAgD;IAC9E,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1B,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IACjD,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAC9C,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACxD,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACxD,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACzD,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACzD,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1B,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;IAC1B,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC/B,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5C,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAC9C,4EAA4E;IAC5E,uCAAuC;IACvC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAC7C,MAAM,EAAE;QACN,IAAI,EAAE,CAAC,YAAY,CAAC;QACpB,0EAA0E;QAC1E,gDAAgD;QAChD,MAAM,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;KACpG;IACD,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IACjD,8EAA8E;IAC9E,oEAAoE;IACpE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAChD,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IACxE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IACxE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;IACxB,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;IACvB,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;IACtB,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;IACtB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IACzC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IACzC,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAC1C,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IACxC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE;IACnG,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE;IACrG,GAAG,EAAE;QACH,IAAI,EAAE,CAAC,WAAW,EAAE,YAAY,EAAE,YAAY,CAAC;QAC/C,2EAA2E;QAC3E,MAAM,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;KACzF;IACD,mFAAmF;IACnF,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACpD,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IACvD,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC7B,WAAW,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAChC,8EAA8E;IAC9E,yEAAyE;IACzE,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;IAC9E,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAChD,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACzD,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACzD,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3D,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IACjG,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAE7E,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACvE,OAAO,EAAE,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1C,WAAW,EAAE,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE;IAC9C,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACvG,UAAU,EAAE,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE;IAC7C,QAAQ,EAAE,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3C,QAAQ,EAAE,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3C,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;IACrE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;IACrE,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACnG,OAAO,EAAE,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1C,WAAW,EAAE,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE;IAC9C,cAAc,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IAC1G,OAAO,EAAE;QACP,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE;QAC1C,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;KAC5D;IACD,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;IACpE,KAAK,EAAE;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE;QAC1C,IAAI,EAAE,CAAC,QAAQ,CAAC;QAChB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;KAC5D;IACD,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACrE,MAAM,EAAE,SAAS;IACjB,MAAM,EAAE,SAAS;IACjB,MAAM,EAAE,SAAS;IACjB,QAAQ,EAAE,SAAS;IAEnB,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACpD,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACzE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACvE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1E,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1F,GAAG,EAAE,OAAO;IACZ,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,OAAO;IACb,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IACxF,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1F,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3D,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACpD,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACpD,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACpD,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACpD,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAE1C,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1D,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1D,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;IAChG,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1D,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;IACxD,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;IAChG,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;IACxG,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;IAChG,UAAU,EAAE;QACV,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE;QAC1B,IAAI,EAAE,CAAC,QAAQ,CAAC;QAChB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;KAC7D;IACD,iBAAiB,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAClE,iBAAiB,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAClE,cAAc,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC/D,iBAAiB,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAClE,gBAAgB,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACjE,cAAc,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC/D,kBAAkB,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACnE,cAAc,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC/D,kBAAkB,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAErF,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;IACrE,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;IACnE,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;IACvE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACzE,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1E,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACxE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACzE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3E,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC3E,aAAa,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAChF,gBAAgB,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IACnF,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;IAClH,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE;IAClH,WAAW,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAC/E,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE;IAChF,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC1D,cAAc,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAChE,8EAA8E;IAC9E,2EAA2E;IAC3E,4DAA4D;IAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE;IACpF,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;CAC1B,CAAA"}

package/dist/api/bundle.d.ts

@@ -0,0 +1,29 @@
+import type { ModelProvider } from '../model/provider.ts';
+import type { AstNode } from '../parser/ast.ts';
+/** The subset of a FHIR Bundle the engine needs in order to unwrap it. */
+export interface BundleLike {
+    resourceType: 'Bundle';
+    entry?: {
+        resource?: unknown;
+    }[];
+}
+export declare function isBundle(value: unknown): value is BundleLike;
+/** One unit of work for the per-resource engine methods (`filter`, `project`, `checkConstraints`). */
+export interface Subject {
+    value: unknown;
+    /** Position in the input array or in `Bundle.entry`; absent for a single resource. */
+    index?: number;
+}
+/**
+ * The per-resource view of an engine input: array items, a Bundle's entry
+ * resources (original entry positions kept, entries without a resource
+ * skipped), or the value itself.
+ */
+export declare function toSubjects(input: unknown): Subject[];
+/**
+ * Bundle in, entry resources out — unless the expression addresses the Bundle
+ * itself (a `Bundle` root). An expression whose root is a bare Bundle element
+ * (`entry.count()`, `type`) could mean either and throws instead of guessing.
+ */
+export declare function normalizeInput(input: unknown, ast: AstNode, model: ModelProvider | undefined): unknown;
+//# sourceMappingURL=bundle.d.ts.map

package/dist/api/bundle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.d.ts","sourceRoot":"","sources":["../../src/api/bundle.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAE/C,0EAA0E;AAC1E,MAAM,WAAW,UAAU;IACzB,YAAY,EAAE,QAAQ,CAAA;IACtB,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;KAAE,EAAE,CAAA;CACjC;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAE5D;AAED,sGAAsG;AACtG,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,OAAO,CAAA;IACd,sFAAsF;IACtF,KAAK,CAAC,EAAE,MAAM,CAAA;CACf;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,EAAE,CAUpD;AA0ED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,GAAG,SAAS,GAAG,OAAO,CAgBtG"}

package/dist/api/bundle.js

@@ -0,0 +1,108 @@
+import { FhirPathRuntimeError } from "../errors.js";
+export function isBundle(value) {
+    return typeof value === 'object' && value !== null && value.resourceType === 'Bundle';
+}
+/**
+ * The per-resource view of an engine input: array items, a Bundle's entry
+ * resources (original entry positions kept, entries without a resource
+ * skipped), or the value itself.
+ */
+export function toSubjects(input) {
+    if (Array.isArray(input)) {
+        return input.map((value, index) => ({ value, index }));
+    }
+    if (isBundle(input)) {
+        return (Array.isArray(input.entry) ? input.entry : [])
+            .map((entry, index) => ({ value: entry.resource, index }))
+            .filter(subject => subject.value != null);
+    }
+    return [{ value: input }];
+}
+const rootIdentifiersCache = new WeakMap();
+/** Identifiers in root (path-head) position — the names that resolve against the input. */
+function rootIdentifiers(ast) {
+    let heads = rootIdentifiersCache.get(ast);
+    if (!heads) {
+        const collected = new Set();
+        collectRootIdentifiers(ast, collected);
+        rootIdentifiersCache.set(ast, collected);
+        heads = collected;
+    }
+    return heads;
+}
+function collectRootIdentifiers(node, heads) {
+    switch (node.kind) {
+        case 'identifier':
+            heads.add(node.name);
+            return;
+        case 'dot':
+            // Only the head of a dotted path is a root; the right side is an element name,
+            // and arguments of dotted-in functions resolve against $this, not the input.
+            collectRootIdentifiers(node.left, heads);
+            return;
+        case 'indexer':
+            collectRootIdentifiers(node.target, heads);
+            collectRootIdentifiers(node.index, heads);
+            return;
+        case 'call':
+            for (const arg of node.args) {
+                collectRootIdentifiers(arg, heads);
+            }
+            return;
+        case 'unary':
+            collectRootIdentifiers(node.operand, heads);
+            return;
+        case 'binary':
+            collectRootIdentifiers(node.left, heads);
+            collectRootIdentifiers(node.right, heads);
+            return;
+        case 'typeOp':
+            collectRootIdentifiers(node.operand, heads);
+            return;
+        default:
+            return;
+    }
+}
+/** Bundle element names (R4/R5 plus the Resource base), the fallback when no model is bound. */
+const BUNDLE_ELEMENTS = new Set([
+    'id',
+    'meta',
+    'implicitRules',
+    'language',
+    'identifier',
+    'type',
+    'timestamp',
+    'total',
+    'link',
+    'entry',
+    'signature',
+    'issues',
+]);
+function isBundleElement(name, model) {
+    const bundleType = model?.resolveType('Bundle');
+    if (model && bundleType !== undefined) {
+        return model.getElement(bundleType, name) !== undefined;
+    }
+    return BUNDLE_ELEMENTS.has(name);
+}
+/**
+ * Bundle in, entry resources out — unless the expression addresses the Bundle
+ * itself (a `Bundle` root). An expression whose root is a bare Bundle element
+ * (`entry.count()`, `type`) could mean either and throws instead of guessing.
+ */
+export function normalizeInput(input, ast, model) {
+    if (!isBundle(input)) {
+        return input;
+    }
+    const heads = rootIdentifiers(ast);
+    if (heads.has('Bundle')) {
+        return input;
+    }
+    for (const head of heads) {
+        if (isBundleElement(head, model)) {
+            throw new FhirPathRuntimeError(`Ambiguous expression for a Bundle input: '${head}' is a Bundle element, but a bare Bundle evaluates against its entry resources. Start the expression at Bundle to address the bundle, or wrap the input in an array to treat it as one resource.`);
+        }
+    }
+    return toSubjects(input).map(subject => subject.value);
+}
+//# sourceMappingURL=bundle.js.map

package/dist/api/bundle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.js","sourceRoot":"","sources":["../../src/api/bundle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAUnD,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAK,KAAoC,CAAC,YAAY,KAAK,QAAQ,CAAA;AACvH,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACxD,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;aACnD,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;aACzD,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,CAAA;IAC7C,CAAC;IACD,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;AAC3B,CAAC;AAED,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAgC,CAAA;AAExE,2FAA2F;AAC3F,SAAS,eAAe,CAAC,GAAY;IACnC,IAAI,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACzC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;QACnC,sBAAsB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;QACtC,oBAAoB,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;QACxC,KAAK,GAAG,SAAS,CAAA;IACnB,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAa,EAAE,KAAkB;IAC/D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACpB,OAAM;QACR,KAAK,KAAK;YACR,+EAA+E;YAC/E,6EAA6E;YAC7E,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACxC,OAAM;QACR,KAAK,SAAS;YACZ,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YAC1C,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACzC,OAAM;QACR,KAAK,MAAM;YACT,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,sBAAsB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;YACpC,CAAC;YACD,OAAM;QACR,KAAK,OAAO;YACV,sBAAsB,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YAC3C,OAAM;QACR,KAAK,QAAQ;YACX,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACxC,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACzC,OAAM;QACR,KAAK,QAAQ;YACX,sBAAsB,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YAC3C,OAAM;QACR;YACE,OAAM;IACV,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC9B,IAAI;IACJ,MAAM;IACN,eAAe;IACf,UAAU;IACV,YAAY;IACZ,MAAM;IACN,WAAW;IACX,OAAO;IACP,MAAM;IACN,OAAO;IACP,WAAW;IACX,QAAQ;CACT,CAAC,CAAA;AAEF,SAAS,eAAe,CAAC,IAAY,EAAE,KAAgC;IACrE,MAAM,UAAU,GAAG,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAA;IAC/C,IAAI,KAAK,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,SAAS,CAAA;IACzD,CAAC;IACD,OAAO,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AAClC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc,EAAE,GAAY,EAAE,KAAgC;IAC3F,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAA;IAClC,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,oBAAoB,CAC5B,6CAA6C,IAAI,kMAAkM,CACpP,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AACxD,CAAC"}

package/dist/api/cache.d.ts

@@ -0,0 +1,10 @@
+/** Small LRU built on Map insertion order; get() refreshes recency. */
+export declare class LruCache<V> {
+    private readonly capacity;
+    private readonly entries;
+    constructor(capacity: number);
+    get(key: string): V | undefined;
+    set(key: string, value: V): void;
+    get size(): number;
+}
+//# sourceMappingURL=cache.d.ts.map

package/dist/api/cache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.d.ts","sourceRoot":"","sources":["../../src/api/cache.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,qBAAa,QAAQ,CAAC,CAAC;IACrB,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAQ;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuB;gBAEnC,QAAQ,EAAE,MAAM;IAO5B,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS;IAS/B,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI;IAehC,IAAI,IAAI,IAAI,MAAM,CAEjB;CACF"}

package/dist/api/cache.js

@@ -0,0 +1,38 @@
+/** Small LRU built on Map insertion order; get() refreshes recency. */
+export class LruCache {
+    capacity;
+    entries = new Map();
+    constructor(capacity) {
+        if (!Number.isInteger(capacity) || capacity < 0) {
+            throw new RangeError(`LruCache capacity must be a non-negative integer, got ${capacity}`);
+        }
+        this.capacity = capacity;
+    }
+    get(key) {
+        const value = this.entries.get(key);
+        if (value !== undefined) {
+            this.entries.delete(key);
+            this.entries.set(key, value);
+        }
+        return value;
+    }
+    set(key, value) {
+        if (this.capacity === 0) {
+            return;
+        }
+        if (this.entries.has(key)) {
+            this.entries.delete(key);
+        }
+        else if (this.entries.size >= this.capacity) {
+            const oldest = this.entries.keys().next().value;
+            if (oldest !== undefined) {
+                this.entries.delete(oldest);
+            }
+        }
+        this.entries.set(key, value);
+    }
+    get size() {
+        return this.entries.size;
+    }
+}
+//# sourceMappingURL=cache.js.map

package/dist/api/cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.js","sourceRoot":"","sources":["../../src/api/cache.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,MAAM,OAAO,QAAQ;IACF,QAAQ,CAAQ;IAChB,OAAO,GAAG,IAAI,GAAG,EAAa,CAAA;IAE/C,YAAY,QAAgB;QAC1B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,UAAU,CAAC,yDAAyD,QAAQ,EAAE,CAAC,CAAA;QAC3F,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;IAC1B,CAAC;IAED,GAAG,CAAC,GAAW;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACnC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YACxB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;QAC9B,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,GAAG,CAAC,GAAW,EAAE,KAAQ;QACvB,IAAI,IAAI,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YACxB,OAAM;QACR,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC1B,CAAC;aAAM,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAA;YAC/C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAA;IAC1B,CAAC;CACF"}