fhirpath-ts 0.0.0-bootstrap.0 → 0.2.0

package/dist/r4/index.d.ts

@@ -5,5 +5,7 @@ export type { GeneratedElement, GeneratedType } from './model-data.ts';
 /** The generated R4 model: type resolution, element lookup, and the type hierarchy. */
 export declare const r4Model: ModelProvider;
 /** A ready-made engine with the R4 model bound: `r4.evaluate('Patient.name.given', patient)`. */
-export declare const r4: FhirPathEngine;
+export declare const r4: FhirPathEngine<{
+    readonly model: ModelProvider;
+}>;
 //# sourceMappingURL=index.d.ts.map

package/dist/r4/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/r4/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAOtE,OAAO,EAAE,wBAAwB,IAAI,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC1F,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAmCtE,uFAAuF;AACvF,eAAO,MAAM,OAAO,EAAE,aA0DrB,CAAA;AAED,iGAAiG;AACjG,eAAO,MAAM,EAAE,gBAAyC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/r4/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAOtE,OAAO,EAAE,wBAAwB,IAAI,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC1F,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAmCtE,uFAAuF;AACvF,eAAO,MAAM,OAAO,EAAE,aA0DrB,CAAA;AAED,iGAAiG;AACjG,eAAO,MAAM,EAAE;;EAAyC,CAAA"}

package/dist/typed/context-maps.d.ts

@@ -0,0 +1,23 @@
+/** An empty host context that contributes no known keys. */
+export type EmptyContextMap = Record<never, never>;
+/** Preserve host values for best-effort type inference without exposing them as declarations. */
+export type HostValueDeclarations<Values> = Values extends Readonly<Record<PropertyKey, unknown>> ? {
+    readonly [Name in keyof Values]: {
+        readonly __value: Values[Name];
+    };
+} : EmptyContextMap;
+/** Environment names are stored without the optional leading `%`. */
+export type BareContextName<Name extends PropertyKey> = Name extends string ? Name extends `%${infer Bare}` ? Bare : Name : Name;
+/** Normalize both accepted environment-key spellings into one type-level map. */
+export type NormalizeContextMap<Map> = Map extends Readonly<Record<PropertyKey, unknown>> ? {
+    readonly [Name in keyof Map as BareContextName<Name>]: Map[Name];
+} : EmptyContextMap;
+/** Merge normalized maps by name, with the overlay taking precedence. */
+export type MergeContextMaps<Base, Overlay> = Omit<NormalizeContextMap<Base>, keyof NormalizeContextMap<Overlay>> & NormalizeContextMap<Overlay>;
+/** Infer undeclared host values while letting explicit declarations replace them. */
+export type InferredHostValueDeclarations<Values, Declarations> = keyof NormalizeContextMap<Values> extends keyof NormalizeContextMap<Declarations> ? NormalizeContextMap<Declarations> : MergeContextMaps<HostValueDeclarations<Values>, Declarations>;
+/** Read an optional context field without distributing undefined into its map. */
+export type ContextProperty<Context, Name extends PropertyKey> = Name extends keyof Context ? Exclude<Context[Name], undefined> : EmptyContextMap;
+/** Look up one normalized name, returning never when it is undeclared. */
+export type LookupContextMap<Map, Name extends string> = Name extends keyof NormalizeContextMap<Map> ? NormalizeContextMap<Map>[Name] : never;
+//# sourceMappingURL=context-maps.d.ts.map

package/dist/typed/context-maps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-maps.d.ts","sourceRoot":"","sources":["../../src/typed/context-maps.ts"],"names":[],"mappings":"AAAA,4DAA4D;AAC5D,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAElD,iGAAiG;AACjG,MAAM,MAAM,qBAAqB,CAAC,MAAM,IACtC,MAAM,SAAS,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,GACjD;IAAE,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;KAAE;CAAE,GACvE,eAAe,CAAA;AAErB,qEAAqE;AACrE,MAAM,MAAM,eAAe,CAAC,IAAI,SAAS,WAAW,IAAI,IAAI,SAAS,MAAM,GACvE,IAAI,SAAS,IAAI,MAAM,IAAI,EAAE,GAC3B,IAAI,GACJ,IAAI,GACN,IAAI,CAAA;AAER,iFAAiF;AACjF,MAAM,MAAM,mBAAmB,CAAC,GAAG,IACjC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,GAC9C;IAAE,QAAQ,EAAE,IAAI,IAAI,MAAM,GAAG,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC;CAAE,GACpE,eAAe,CAAA;AAErB,yEAAyE;AACzE,MAAM,MAAM,gBAAgB,CAAC,IAAI,EAAE,OAAO,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,MAAM,mBAAmB,CAAC,OAAO,CAAC,CAAC,GAC/G,mBAAmB,CAAC,OAAO,CAAC,CAAA;AAE9B,qFAAqF;AACrF,MAAM,MAAM,6BAA6B,CAAC,MAAM,EAAE,YAAY,IAC5D,MAAM,mBAAmB,CAAC,MAAM,CAAC,SAAS,MAAM,mBAAmB,CAAC,YAAY,CAAC,GAC7E,mBAAmB,CAAC,YAAY,CAAC,GACjC,gBAAgB,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAA;AAEnE,kFAAkF;AAClF,MAAM,MAAM,eAAe,CAAC,OAAO,EAAE,IAAI,SAAS,WAAW,IAAI,IAAI,SAAS,MAAM,OAAO,GACvF,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,GACjC,eAAe,CAAA;AAEnB,0EAA0E;AAC1E,MAAM,MAAM,gBAAgB,CAAC,GAAG,EAAE,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,MAAM,mBAAmB,CAAC,GAAG,CAAC,GAChG,mBAAmB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAC9B,KAAK,CAAA"}

package/dist/typed/context-maps.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=context-maps.js.map

package/dist/typed/context-maps.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-maps.js","sourceRoot":"","sources":["../../src/typed/context-maps.ts"],"names":[],"mappings":""}

package/dist/typed/infer.d.ts

@@ -1,234 +1,104 @@
-import type { R4Bases, R4Elements, R4Resources, R4TypeOf } from '../r4/generated/type-maps.ts';
-/**
- * Type-level inference for common literal expressions: paths, indexes, choice
- * stems, selected collection functions, `select`, `ofType`, `as`, fixed-result
- * functions, unions, groups, and variable roots. Other expressions return
- * `unknown[]`. The runtime and analyzer support the full language.
- */
-/**
- * A type name the bound model knows — a resource or a datatype. What a DTO's
- * `fhirType` must be, and what `fhirpath`/`compile` accept as the type an
- * expression runs against. Lives here, with the rest of the inference vocabulary,
- * so every layer above spells it one way.
- */
+import type { R4Resources, R4TypeOf } from '../r4/generated/type-maps.ts';
+import type { BareContextName, ContextProperty, EmptyContextMap, InferredHostValueDeclarations, MergeContextMaps, NormalizeContextMap } from './context-maps.ts';
+import type { InferTypeExpression } from './parser.ts';
+/** A type name known by the generated R4 model. */
 export type FhirTypeName = keyof R4TypeOf & string;
-/** Element lookup by name, walking base types. */
-type ElementInfo<T extends string, E extends string> = T extends keyof R4Elements ? E extends keyof R4Elements[T] ? R4Elements[T][E] : T extends keyof R4Bases ? R4Bases[T] extends string ? ElementInfo<R4Bases[T], E> : never : never : never;
-/**
- * Characters that never appear in an element or variable name: their presence
- * in a segment means an operator or literal got glued on (`name and x`,
- * `gender=gender`), and the runtime evaluates something entirely different
- * from a navigation. Such segments must degrade to 'opaque' — the broad state
- * would let a later fixed-return call claim a concrete type for what is
- * really a comparison.
- */
-type GluedName<E extends string> = E extends `${string} ${string}` | `${string}'${string}` | `${string}"${string}` | `${string}=${string}` | `${string}!${string}` | `${string}<${string}` | `${string}>${string}` | `${string}+${string}` | `${string}-${string}` | `${string}*${string}` | `${string}/${string}` | `${string}&${string}` | `${string}~${string}` | `${string},${string}` | `${string}|${string}` | `${string}%${string}` | `${string}$${string}` | `${string}@${string}` | `${string}(${string}` | `${string})${string}` | `${string}[${string}` | `${string}]${string}` | `${string}{${string}` | `${string}}${string}` | `${string}\\${string}` | `${string}\`${string}` ? true : false;
-/**
- * Navigates one element. A missing normal name widens the state because the
- * runtime returns empty and a later fixed-result function still has a known
- * type. A segment containing expression syntax becomes `opaque` instead.
- */
-type Navigate<S extends string, E extends string> = string extends S ? MissedElement<E, S> : ElementInfo<S, E> extends {
-    t: infer N extends string;
-} ? string extends N ? MissedElement<E, string> : N : 'opaque';
-/**
- * An element lookup that found nothing: glued segments are misparses and go
- * 'opaque'; a sane-looking name widens to (or stays) the broad state. Only
- * misses pay the GluedName scan — real elements are never glued.
- */
-type MissedElement<E extends string, Broad extends string> = GluedName<E> extends true ? 'opaque' : Broad;
-/**
- * Checks that a matched call ends at its final `)`. Quotes are removed before
- * balancing parentheses. Backslashes and backticks fall outside this subset.
- */
-type CleanArg<A extends string> = A extends `${string}\\${string}` | `${string}\`${string}` ? false : Balanced<StripQuoted<A>>;
-/** Removes `'…'` spans so parens inside string literals don't disturb Balanced. */
-type StripQuoted<A extends string> = A extends `${infer L}'${string}'${infer R}` ? `${L}${StripQuoted<R>}` : A;
-/** Every `(` opens before its `)` closes; one nesting level per pair. */
-type Balanced<A extends string> = A extends `${infer L}(${infer M})${infer R}` ? L extends `${string})${string}` ? false : M extends `${string}(${string}` ? false : Balanced<R> : A extends `${string})${string}` ? false : true;
-/** Push one stack entry per `(` of A (quoted spans already stripped). */
-type PushOpens<A extends string, Acc extends unknown[]> = A extends `${string}(${infer R}` ? PushOpens<R, [...Acc, 0]> : Acc;
-/** Checks full parenthesis balance after quoted spans have been removed. */
-type BalancedDeep<A extends string, Open extends unknown[] = []> = A extends `${infer Head})${infer Rest}` ? PushOpens<Head, Open> extends [unknown, ...infer Remaining] ? BalancedDeep<Rest, Remaining> : false : PushOpens<A, Open> extends [] ? true : false;
-/**
- * Whether a fragment is a complete sub-expression, so a `|` (or a group's `)`)
- * right after it is really at the top level: quotes pair up, and what remains
- * after stripping them balances with nothing left open. Backslashes and
- * backticks are declined outright, like CleanArg.
- */
-type CompleteFragment<A extends string> = A extends `${string}\\${string}` | `${string}\`${string}` ? false : StripQuoted<A> extends infer Q extends string ? Q extends `${string}'${string}` ? false : BalancedDeep<Q> : false;
-/** Strip the leading/trailing spaces a union split leaves around its terms. */
-type Trim<S extends string> = S extends ` ${infer R}` ? Trim<R> : S extends `${infer L} ` ? Trim<L> : S;
-/**
- * Functions with input-independent result types. A test compares this table
- * with analyzer signatures. Functions whose result depends on input stay out.
- */
-export declare const FIXED_RETURNS: {
-    readonly exists: "boolean";
-    readonly empty: "boolean";
-    readonly not: "boolean";
-    readonly hasValue: "boolean";
-    readonly count: "integer";
-    readonly length: "integer";
-    readonly toBoolean: "boolean";
-    readonly convertsToBoolean: "boolean";
-    readonly convertsToInteger: "boolean";
-    readonly convertsToDecimal: "boolean";
-    readonly convertsToString: "boolean";
-    readonly convertsToDate: "boolean";
-    readonly convertsToDateTime: "boolean";
-    readonly convertsToTime: "boolean";
-    readonly convertsToQuantity: "boolean";
-    readonly toInteger: "integer";
-    readonly toDecimal: "decimal";
-    readonly toString: "string";
-    readonly toDate: "date";
-    readonly toDateTime: "dateTime";
-    readonly toTime: "time";
-    readonly toQuantity: "Quantity";
-    readonly toChars: "string";
-    readonly join: "string";
-    readonly trim: "string";
-    readonly upper: "string";
-    readonly lower: "string";
-    readonly replace: "string";
-    readonly replaceMatches: "string";
-    readonly substring: "string";
-    readonly encode: "string";
-    readonly decode: "string";
-    readonly escape: "string";
-    readonly unescape: "string";
-    readonly split: "string";
-    readonly matches: "boolean";
-    readonly matchesFull: "boolean";
-    readonly startsWith: "boolean";
-    readonly endsWith: "boolean";
-    readonly contains: "boolean";
-    readonly subsetOf: "boolean";
-    readonly supersetOf: "boolean";
-    readonly isDistinct: "boolean";
-    readonly allTrue: "boolean";
-    readonly anyTrue: "boolean";
-    readonly allFalse: "boolean";
-    readonly anyFalse: "boolean";
-    readonly all: "boolean";
-    readonly indexOf: "integer";
-    readonly lastIndexOf: "integer";
-    readonly ceiling: "integer";
-    readonly floor: "integer";
-    readonly truncate: "integer";
-    readonly round: "decimal";
-    readonly sqrt: "decimal";
-    readonly exp: "decimal";
-    readonly ln: "decimal";
-    readonly log: "decimal";
+export type EmptyFhirpathTypeContext = EmptyContextMap;
+/** A host declaration that the type-level evaluator can use without reading a runtime value. */
+export interface FhirpathTypeDeclaration<Type extends FhirTypeName = FhirTypeName, Collection extends boolean = boolean> {
+    /** One candidate type, or every candidate a value may hold. */
+    type: Type | readonly Type[];
+    /** Omitted means at most one item; true means the value may contain many. */
+    collection?: Collection;
+    /** Resource targets when `type` includes Reference. */
+    targets?: FhirTypeName | readonly FhirTypeName[];
+}
+export type FhirpathTypeDeclarations = Readonly<Record<string, FhirpathTypeDeclaration>>;
+/** The static fields of a native, expression-defined, or overloaded custom function. */
+export type FhirpathFunctionDeclaration = {
+    readonly signature?: {
+        readonly input?: {
+            readonly types?: readonly string[];
+        };
+        readonly args?: readonly string[];
+        readonly result?: {
+            readonly types?: readonly string[];
+            readonly single?: boolean;
+        };
+    };
+    readonly expression?: string | {
+        readonly source: string;
+    };
+    readonly criteria?: boolean;
+    readonly env?: Readonly<Record<string, unknown>>;
+    readonly envTypes?: FhirpathTypeDeclarations;
+} | {
+    readonly overloads: readonly FhirpathFunctionDeclaration[];
 };
-type FixedReturns = typeof FIXED_RETURNS;
-/**
- * Functions that yield a subset or reordering of their input, so the input's
- * type carries through. Cross-checked against the analyzer the same way as
- * FIXED_RETURNS (their signatures preserve the input's types). `abs` is
- * excluded deliberately: it preserves the numeric kind at runtime, but the
- * analyzer declares its result unknown, and the table must not outrun it.
- */
-export declare const IDENTITY_RETURNS: readonly ["where", "first", "last", "single", "distinct", "tail", "skip", "take", "exclude", "intersect", "trace"];
-type IdentityFn = (typeof IDENTITY_RETURNS)[number];
-/** One call segment, dispatched on the function name. */
-type Call<S extends string, Fn extends string, Arg extends string> = Fn extends IdentityFn ? S : Fn extends 'ofType' | 'as' ? Arg extends FhirTypeName ? Arg : 'opaque' : Fn extends keyof FixedReturns ? FixedReturns[Fn] : 'opaque';
-/** One `.`-separated segment: a call the subset knows, an indexer, or an element. */
-type Step<S extends string, Seg extends string> = [S] extends ['opaque'] ? 'opaque' : Seg extends `${infer Fn}(${infer Arg})` ? Fn extends 'select' ? ParseExpr<Arg, S> : CleanArg<Arg> extends true ? Call<S, Fn, Arg> : 'opaque' : Seg extends `${infer N}[${infer I}]` ? I extends `${string}]${string}` | `${string}[${string}` ? 'opaque' : Navigate<S, N> : Navigate<S, Seg>;
-/** Walk the remaining `.`-separated segments. */
-type ParseSegments<Expr extends string, S extends string> = Expr extends '' ? S : Expr extends `${infer Head}.${infer Rest}` ? Head extends `${string}(` | `${string}(${string}` ? StepAcrossParen<Expr, S> : ParseSegments<Rest, Step<S, Head>> : Step<S, Expr>;
-/**
- * A segment whose parentheses contain dots (e.g. `select(name.given)`) runs
- * to the `)` that completes its argument; the `.` after that starts the next
- * segment. Scanned `).` by `).`: a candidate close inside a string literal,
- * or with parens still open, is not the close — CompleteFragment decides.
- * With no valid `).` split, the whole rest is one segment ending at its
- * final `)`.
- */
-type StepAcrossParen<Expr extends string, S extends string> = ScanSegmentEnd<Expr, '', S>;
-type ScanSegmentEnd<Expr extends string, Acc extends string, S extends string> = Expr extends `${infer Head}).${infer Rest}` ? SegmentComplete<`${Acc}${Head}`> extends true ? ParseSegments<Rest, Step<S, `${Acc}${Head})`>> : ScanSegmentEnd<Rest, `${Acc}${Head}).`, S> : WholeParenSegment<`${Acc}${Expr}`, S>;
-/** Whether `Body)` is one complete call segment: its argument closes exactly there. */
-type SegmentComplete<Body extends string> = `${Body})` extends `${infer _Fn}(${infer Arg})` ? CompleteFragment<Arg> : false;
-/** The rest of the expression is a single paren segment ending at its final `)`. */
-type WholeParenSegment<Expr extends string, S extends string> = Expr extends `${infer Head})${''}` ? Step<S, `${Head})`> : 'opaque';
-/**
- * One expression in a context state `S`: a `|`-union of terms, or a single
- * term. Plain dotted paths take two cheap checks: one skips the union scanner,
- * and the next skips trimming and group or `%var` handling.
- */
-type ParseExpr<Expr extends string, S extends string> = Expr extends `${string}|${string}` | `(${string}` | `%${string}` ? ParseUnion<Expr, S> : Expr extends `${infer Root}.${infer Rest}` ? Root extends keyof R4Resources & string ? ParseSegments<Rest, Root> : ParseSegments<Expr, S> : Expr extends keyof R4Resources & string ? Expr : ParseSegments<Expr, S>;
-/**
- * Split off the leftmost top-level `|`. A candidate fragment whose quotes or
- * parens are cut mid-way (the `|` sat inside a literal or a group) is not a
- * split point: the fragment absorbs the `|` and the scan continues. With no
- * top-level `|` at all, the whole expression is one term — its own parse is
- * the validation, so this branch needs no separate completeness check.
- */
-type SplitUnion<Expr extends string, Acc extends string = ''> = Expr extends `${infer L}|${infer R}` ? CompleteFragment<`${Acc}${L}`> extends true ? {
-    term: `${Acc}${L}`;
-    rest: R;
-} : SplitUnion<R, `${Acc}${L}|`> : {
-    whole: `${Acc}${Expr}`;
+/** Type information supplied by a host around a literal FHIRPath expression. */
+export interface FhirpathTypeContext {
+    env?: FhirpathTypeDeclarations;
+    vars?: FhirpathTypeDeclarations;
+    /** The same declarations accepted by `EvaluateOptions.functions`. */
+    functions?: Readonly<Record<string, FhirpathFunctionDeclaration>>;
+}
+/** The inferred result of evaluating a literal FHIRPath expression. */
+export type FhirpathResult<Expression extends string, Context extends FhirpathTypeContext = EmptyFhirpathTypeContext> = FhirpathResultIn<Expression, 'opaque', Context>;
+/**
+ * The inferred result with an explicit FHIR input type. Non-literal,
+ * malformed, over-budget, or unsupported expressions safely become
+ * `unknown[]`.
+ */
+export type FhirpathResultIn<Expression extends string, Input extends string, Context extends FhirpathTypeContext = EmptyFhirpathTypeContext> = FhirpathResultForContext<Expression, Input, Context>;
+/** Internal inference entry point for contexts assembled from generic API options. */
+export type FhirpathResultForContext<Expression extends string, Input extends string, Context extends object = EmptyFhirpathTypeContext> = string extends Expression ? unknown[] : InferTypeExpression<Expression, Input, Context>;
+/** Merge contexts by normalized name. The later context wins, matching per-call runtime options. */
+export type MergeFhirpathTypeContexts<Base extends object, Overlay extends object> = {
+    env: MergeContextMaps<ContextProperty<Base, 'env'>, ContextProperty<Overlay, 'env'>>;
+    vars: MergeContextMaps<ContextProperty<Base, 'vars'>, ContextProperty<Overlay, 'vars'>>;
+    functions: MergeContextMaps<ContextProperty<Base, 'functions'>, ContextProperty<Overlay, 'functions'>>;
 };
-/** Fold the split terms into one union state. */
-type ParseUnion<Expr extends string, S extends string> = SplitUnion<Expr> extends {
-    term: infer T extends string;
-    rest: infer R extends string;
-} ? UnionStates<ParseTerm<Trim<T>, S>, ParseUnion<R, S>> : SplitUnion<Expr> extends {
-    whole: infer W extends string;
-} ? ParseTerm<Trim<W>, S> : 'opaque';
-/**
- * The union of two term states. If EITHER side failed to parse, the whole
- * union is 'opaque' — a known name must never absorb a failed parse. A broad
- * member needs no special case: `string` swallows the other names, and
- * unknowable-joined-with-anything is unknowable.
- */
-type UnionStates<A extends string, B extends string> = [A] extends ['opaque'] ? 'opaque' : [B] extends ['opaque'] ? 'opaque' : A | B;
-/**
- * One union term (or a whole single-term expression): a parenthesized group,
- * a `%var` root, a resource-rooted path, or a path relative to the context
- * state `S`. The top level passes S = 'opaque', so relative terms degrade
- * there; select() passes its input state, so its sub-paths resolve.
- */
-type ParseTerm<Term extends string, S extends string> = Term extends `(${infer Body}` ? ExtractGroup<Body, '', S> : Term extends `%${infer Var}` ? ParseVarTerm<Var> : Term extends `${infer Root}.${infer Rest}` ? Root extends keyof R4Resources & string ? ParseSegments<Rest, Root> : ParseSegments<Term, S> : Term extends keyof R4Resources & string ? Term : ParseSegments<Term, S>;
-/**
- * A `%var` root enters the broad state: the variable's value is unknowable
- * here, and broad is exactly "unknowable" — plain navigation stays
- * `unknown[]`, while a fixed-return call (`%rowIndex.toString()`) keeps its
- * input-independent type. The name must look like a name: a glued operator
- * (`%a = b`) would make the runtime evaluate a comparison, not a variable.
- */
-type ParseVarTerm<Var extends string> = Var extends `${infer Name}.${infer Rest}` ? GluedName<Name> extends true ? 'opaque' : ParseSegments<Rest, string> : GluedName<Var> extends true ? 'opaque' : string;
-/**
- * Find the `)` closing a group's opening paren: scan `)` by `)`, and the
- * first one whose interior is a complete fragment closes the group. What
- * follows must be nothing or a `.`-chain — anything else (`(A | B) = (C)`)
- * is a glued operator.
- */
-type ExtractGroup<Body extends string, Acc extends string, S extends string> = Body extends `${infer L})${infer R}` ? CompleteFragment<`${Acc}${L}`> extends true ? GroupTail<ParseExpr<`${Acc}${L}`, S>, R> : ExtractGroup<R, `${Acc}${L})`, S> : 'opaque';
-/** Continue after a group: `(…)` ends the term, `(…).rest` walks on from the group's state. */
-type GroupTail<G extends string, Tail extends string> = Tail extends '' ? G : Tail extends `.${infer Rest}` ? ParseSegments<Rest, G> : 'opaque';
-/** The unwrapped result element type for a state; `[…]` keeps unions whole. */
-type ResultOf<S extends string> = [S] extends [keyof R4TypeOf] ? R4TypeOf[S][] : unknown[];
-/**
- * The inferred result of evaluating `Expr` against its root resource.
- * `string` (a non-literal expression) and anything outside the subset give
- * `unknown[]`. The context is 'opaque': terms must be resource-rooted,
- * `%var`-rooted, or parenthesized groups of those — a relative term
- * (`id | …`) has no root to resolve against here and degrades.
- */
-export type FhirpathResult<Expr extends string> = FhirpathResultIn<Expr, 'opaque'>;
-/**
- * The inferred result of evaluating `Expr` with `Input` as the context type —
- * what a DTO's `fhirType` gives its columns, so their paths can stay relative
- * (`clinicalStatus.coding.first().code`). A resource-rooted term still resolves
- * against its own root, and a type name outside the model degrades like any
- * other out-of-subset expression.
- */
-export type FhirpathResultIn<Expr extends string, Input extends string> = string extends Expr ? unknown[] : ResultOf<ParseExpr<Expr, Input>>;
-/** The expected input resource for `Expr` (`Patient.name` wants a Patient). */
-export type FhirpathInput<Expr extends string> = string extends Expr ? unknown : Expr extends `${infer Root}.${string}` ? Root extends keyof R4Resources ? R4Resources[Root] : unknown : Expr extends keyof R4Resources ? R4Resources[Expr] : unknown;
+type LiteralVarDeclaration<Value> = Value extends string ? string extends Value ? FhirpathTypeDeclaration : FhirpathTypeDeclaration & {
+    readonly __expression: Value;
+} : Value extends {
+    readonly source: infer Source extends string;
+} ? string extends Source ? FhirpathTypeDeclaration : FhirpathTypeDeclaration & {
+    readonly __expression: Source;
+} : FhirpathTypeDeclaration;
+type LiteralVarDeclarations<Values> = Values extends Readonly<Record<PropertyKey, unknown>> ? {
+    readonly [Name in keyof Values]: LiteralVarDeclaration<Values[Name]>;
+} : EmptyFhirpathTypeContext;
+type OptionEnvironmentContext<Options> = Options extends {
+    readonly env?: infer Env;
+} ? InferredHostValueDeclarations<Exclude<Env, undefined>, ContextProperty<Options, 'envTypes'>> : NormalizeContextMap<ContextProperty<Options, 'envTypes'>>;
+/** The inference context retained from one literal engine or per-call options object. */
+export type FhirpathTypeContextOf<Options> = {
+    env: OptionEnvironmentContext<Options>;
+    vars: MergeContextMaps<LiteralVarDeclarations<ContextProperty<Options, 'vars'>>, ContextProperty<Options, 'varTypes'>>;
+    functions: NormalizeContextMap<ContextProperty<Options, 'functions'>>;
+};
+type DeclarationElement<Declaration> = Declaration extends {
+    readonly type: infer Type;
+} ? Type extends readonly FhirTypeName[] ? R4TypeOf[Type[number]] : Type extends FhirTypeName ? R4TypeOf[Type] : unknown : unknown;
+type DeclaredHostValue<Declaration> = Declaration extends {
+    readonly collection: true;
+} ? DeclarationElement<Declaration> | readonly DeclarationElement<Declaration>[] | undefined : DeclarationElement<Declaration> | readonly [] | readonly [DeclarationElement<Declaration>] | undefined;
+type ConstrainedDeclaredValues<Values, Declarations> = Values extends Readonly<Record<PropertyKey, unknown>> ? {
+    [Name in keyof Values]: LookupNormalizedDeclaration<Declarations, Name> extends infer Declaration ? [Declaration] extends [never] ? Values[Name] : Values[Name] extends DeclaredHostValue<Declaration> ? Values[Name] : never : Values[Name];
+} : Values;
+type LookupNormalizedDeclaration<Declarations, Name extends PropertyKey> = BareContextName<Name> extends keyof NormalizeContextMap<Declarations> ? NormalizeContextMap<Declarations>[BareContextName<Name>] : never;
+/** Cross-check declarations and values when both remain visible in one literal options object. */
+export type CheckedFhirpathOptionValues<Options> = Options extends {
+    readonly env: infer Env;
+    readonly envTypes: infer EnvTypes;
+} ? {
+    readonly env: ConstrainedDeclaredValues<Env, EnvTypes>;
+} : unknown;
+/** A model root known from a resource-shaped input; ambiguous and structural inputs stay opaque. */
+export type FhirpathRootOf<Input> = Input extends readonly (infer Item)[] ? FhirpathRootOf<Item> : Input extends {
+    readonly resourceType: infer Root extends FhirTypeName;
+} ? Root : 'opaque';
+/** The expected input resource for a resource-rooted literal expression. */
+export type FhirpathInput<Expression extends string> = string extends Expression ? unknown : Expression extends `${infer Root}.${string}` ? Root extends keyof R4Resources ? R4Resources[Root] : unknown : Expression extends keyof R4Resources ? R4Resources[Expression] : unknown;
 export {};
 //# sourceMappingURL=infer.d.ts.map

package/dist/typed/infer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"infer.d.ts","sourceRoot":"","sources":["../../src/typed/infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAE9F;;;;;GAKG;AAEH;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,QAAQ,GAAG,MAAM,CAAA;AAElD,kDAAkD;AAClD,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,MAAM,UAAU,GAC7E,CAAC,SAAS,MAAM,UAAU,CAAC,CAAC,CAAC,GAC3B,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAChB,CAAC,SAAS,MAAM,OAAO,GACrB,OAAO,CAAC,CAAC,CAAC,SAAS,MAAM,GACvB,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC1B,KAAK,GACP,KAAK,GACT,KAAK,CAAA;AAET;;;;;;;GAOG;AACH,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAChC,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,IAAI,MAAM,EAAE,GACrB,GAAG,MAAM,KAAK,MAAM,EAAE,GACtB,GAAG,MAAM,KAAK,MAAM,EAAE,GACtB,IAAI,GACJ,KAAK,CAAA;AAET;;;;GAIG;AACH,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAChE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GACnB,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS;IAAE,CAAC,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACrD,MAAM,SAAS,CAAC,GAGd,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,GACxB,CAAC,GACH,QAAQ,CAAA;AAEd;;;;GAIG;AACH,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,SAAS,MAAM,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,QAAQ,GAAG,KAAK,CAAA;AAEzG;;;GAGG;AACH,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,KAAK,MAAM,EAAE,GAAG,GAAG,MAAM,KAAK,MAAM,EAAE,GACvF,KAAK,GACL,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAE5B,mFAAmF;AACnF,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,IAAI,MAAM,CAAC,EAAE,GAAG,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AAE9G,yEAAyE;AACzE,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,GAC1E,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC7B,KAAK,GACL,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC7B,KAAK,GACL,QAAQ,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC7B,KAAK,GACL,IAAI,CAAA;AAEV,yEAAyE;AACzE,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,OAAO,EAAE,IAAI,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,CAAC,EAAE,GACtF,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,GACzB,GAAG,CAAA;AAEP,4EAA4E;AAC5E,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,SAAS,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACtG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,SAAS,CAAC,GACzD,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,GAC7B,KAAK,GACP,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,GAC3B,IAAI,GACJ,KAAK,CAAA;AAEX;;;;;GAKG;AACH,KAAK,gBAAgB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,KAAK,MAAM,EAAE,GAAG,GAAG,MAAM,KAAK,MAAM,EAAE,GAC/F,KAAK,GACL,WAAW,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,MAAM,GAC3C,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAC7B,KAAK,GACL,YAAY,CAAC,CAAC,CAAC,GACjB,KAAK,CAAA;AAEX,+EAA+E;AAC/E,KAAK,IAAI,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAEvG;;;GAGG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2DuB,CAAA;AAEjD,KAAK,YAAY,GAAG,OAAO,aAAa,CAAA;AAExC;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,oHAYnB,CAAA;AAEV,KAAK,UAAU,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAA;AAEnD,yDAAyD;AACzD,KAAK,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IAAI,EAAE,SAAS,UAAU,GACtF,CAAC,GACD,EAAE,SAAS,QAAQ,GAAG,IAAI,GACxB,GAAG,SAAS,YAAY,GACtB,GAAG,GACH,QAAQ,GACV,EAAE,SAAS,MAAM,YAAY,GAC3B,YAAY,CAAC,EAAE,CAAC,GAChB,QAAQ,CAAA;AAEhB,qFAAqF;AACrF,KAAK,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GACpE,QAAQ,GACR,GAAG,SAAS,GAAG,MAAM,EAAE,IAAI,MAAM,GAAG,GAAG,GACrC,EAAE,SAAS,QAAQ,GAEjB,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,GACjB,QAAQ,CAAC,GAAG,CAAC,SAAS,IAAI,GACxB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,GAChB,QAAQ,GACZ,GAAG,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,GAClC,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,GAGrD,QAAQ,GACR,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AAExB,iDAAiD;AACjD,KAAK,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,SAAS,EAAE,GACvE,CAAC,GACD,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACxC,IAAI,SAAS,GAAG,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,GAE/C,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,GACxB,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GACpC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAEnB;;;;;;;GAOG;AACH,KAAK,eAAe,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;AAEzF,KAAK,cAAc,CACjB,IAAI,SAAS,MAAM,EACnB,GAAG,SAAS,MAAM,EAClB,CAAC,SAAS,MAAM,IACd,IAAI,SAAS,GAAG,MAAM,IAAI,KAAK,MAAM,IAAI,EAAE,GAC3C,eAAe,CAAC,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC,SAAS,IAAI,GAC3C,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,GAC9C,cAAc,CAAC,IAAI,EAAE,GAAG,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,GAC5C,iBAAiB,CAAC,GAAG,GAAG,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,CAAA;AAEzC,uFAAuF;AACvF,KAAK,eAAe,CAAC,IAAI,SAAS,MAAM,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,MAAM,GAAG,GAAG,GACvF,gBAAgB,CAAC,GAAG,CAAC,GACrB,KAAK,CAAA;AAET,oFAAoF;AACpF,KAAK,iBAAiB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,EAAE,EAAE,GAC9F,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,GAAG,CAAC,GACnB,QAAQ,CAAA;AAEZ;;;;GAIG;AACH,KAAK,SAAS,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,IAAI,MAAM,EAAE,GAAG,IAAI,MAAM,EAAE,GACpH,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GACnB,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACxC,IAAI,SAAS,MAAM,WAAW,GAAG,MAAM,GACrC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,GACzB,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,GACxB,IAAI,SAAS,MAAM,WAAW,GAAG,MAAM,GACrC,IAAI,GACJ,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAE9B;;;;;;GAMG;AACH,KAAK,UAAU,CAAC,IAAI,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,GAAG,EAAE,IAAI,IAAI,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,GAChG,gBAAgB,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,IAAI,GACzC;IAAE,IAAI,EAAE,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC/B,UAAU,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAC9B;IAAE,KAAK,EAAE,GAAG,GAAG,GAAG,IAAI,EAAE,CAAA;CAAE,CAAA;AAE9B,iDAAiD;AACjD,KAAK,UAAU,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IACnD,UAAU,CAAC,IAAI,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACnF,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACpD,UAAU,CAAC,IAAI,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACxD,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACrB,QAAQ,CAAA;AAEhB;;;;;GAKG;AACH,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GACzE,QAAQ,GACR,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GACpB,QAAQ,GACR,CAAC,GAAG,CAAC,CAAA;AAEX;;;;;GAKG;AACH,KAAK,SAAS,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,SAAS,IAAI,MAAM,IAAI,EAAE,GACjF,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,GACzB,IAAI,SAAS,IAAI,MAAM,GAAG,EAAE,GAC1B,YAAY,CAAC,GAAG,CAAC,GACjB,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACxC,IAAI,SAAS,MAAM,WAAW,GAAG,MAAM,GACrC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,GACzB,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,GACxB,IAAI,SAAS,MAAM,WAAW,GAAG,MAAM,GACrC,IAAI,GACJ,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAEhC;;;;;;GAMG;AACH,KAAK,YAAY,CAAC,GAAG,SAAS,MAAM,IAAI,GAAG,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GAC7E,SAAS,CAAC,IAAI,CAAC,SAAS,IAAI,GAC1B,QAAQ,GACR,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,GAC7B,SAAS,CAAC,GAAG,CAAC,SAAS,IAAI,GACzB,QAAQ,GACR,MAAM,CAAA;AAEZ;;;;;GAKG;AACH,KAAK,YAAY,CAAC,IAAI,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,IAAI,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,GAC/G,gBAAgB,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,IAAI,GACzC,SAAS,CAAC,SAAS,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GACxC,YAAY,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GACnC,QAAQ,CAAA;AAEZ,+FAA+F;AAC/F,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,EAAE,GACnE,CAAC,GACD,IAAI,SAAS,IAAI,MAAM,IAAI,EAAE,GAC3B,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,GACtB,QAAQ,CAAA;AAEd,+EAA+E;AAC/E,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,QAAQ,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAA;AAE1F;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,CAAC,IAAI,SAAS,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;AAElF;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,CAAC,IAAI,SAAS,MAAM,EAAE,KAAK,SAAS,MAAM,IAAI,MAAM,SAAS,IAAI,GACzF,OAAO,EAAE,GACT,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;AAEpC,+EAA+E;AAC/E,MAAM,MAAM,aAAa,CAAC,IAAI,SAAS,MAAM,IAAI,MAAM,SAAS,IAAI,GAChE,OAAO,GACP,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,EAAE,GACpC,IAAI,SAAS,MAAM,WAAW,GAC5B,WAAW,CAAC,IAAI,CAAC,GACjB,OAAO,GACT,IAAI,SAAS,MAAM,WAAW,GAC5B,WAAW,CAAC,IAAI,CAAC,GACjB,OAAO,CAAA"}
+{"version":3,"file":"infer.d.ts","sourceRoot":"","sources":["../../src/typed/infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AACzE,OAAO,KAAK,EACV,eAAe,EACf,eAAe,EACf,eAAe,EACf,6BAA6B,EAC7B,gBAAgB,EAChB,mBAAmB,EACpB,MAAM,mBAAmB,CAAA;AAC1B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,mDAAmD;AACnD,MAAM,MAAM,YAAY,GAAG,MAAM,QAAQ,GAAG,MAAM,CAAA;AAClD,MAAM,MAAM,wBAAwB,GAAG,eAAe,CAAA;AAEtD,gGAAgG;AAChG,MAAM,WAAW,uBAAuB,CACtC,IAAI,SAAS,YAAY,GAAG,YAAY,EACxC,UAAU,SAAS,OAAO,GAAG,OAAO;IAEpC,+DAA+D;IAC/D,IAAI,EAAE,IAAI,GAAG,SAAS,IAAI,EAAE,CAAA;IAC5B,6EAA6E;IAC7E,UAAU,CAAC,EAAE,UAAU,CAAA;IACvB,uDAAuD;IACvD,OAAO,CAAC,EAAE,YAAY,GAAG,SAAS,YAAY,EAAE,CAAA;CACjD;AAED,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC,CAAA;AAExF,wFAAwF;AACxF,MAAM,MAAM,2BAA2B,GACnC;IACE,QAAQ,CAAC,SAAS,CAAC,EAAE;QACnB,QAAQ,CAAC,KAAK,CAAC,EAAE;YAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;SAAE,CAAA;QACvD,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;QACjC,QAAQ,CAAC,MAAM,CAAC,EAAE;YAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;YAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;SAAE,CAAA;KACpF,CAAA;IACD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IAC1D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAChD,QAAQ,CAAC,QAAQ,CAAC,EAAE,wBAAwB,CAAA;CAC7C,GACD;IAAE,QAAQ,CAAC,SAAS,EAAE,SAAS,2BAA2B,EAAE,CAAA;CAAE,CAAA;AAElE,gFAAgF;AAChF,MAAM,WAAW,mBAAmB;IAClC,GAAG,CAAC,EAAE,wBAAwB,CAAA;IAC9B,IAAI,CAAC,EAAE,wBAAwB,CAAA;IAC/B,qEAAqE;IACrE,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAAC,CAAA;CAClE;AAED,uEAAuE;AACvE,MAAM,MAAM,cAAc,CACxB,UAAU,SAAS,MAAM,EACzB,OAAO,SAAS,mBAAmB,GAAG,wBAAwB,IAC5D,gBAAgB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;AAEnD;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAC1B,UAAU,SAAS,MAAM,EACzB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,mBAAmB,GAAG,wBAAwB,IAC5D,wBAAwB,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;AAExD,sFAAsF;AACtF,MAAM,MAAM,wBAAwB,CAClC,UAAU,SAAS,MAAM,EACzB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,GAAG,wBAAwB,IAC/C,MAAM,SAAS,UAAU,GAAG,OAAO,EAAE,GAAG,mBAAmB,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;AAE3F,oGAAoG;AACpG,MAAM,MAAM,yBAAyB,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAAI;IACnF,GAAG,EAAE,gBAAgB,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;IACpF,IAAI,EAAE,gBAAgB,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;IACvF,SAAS,EAAE,gBAAgB,CAAC,eAAe,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;CACvG,CAAA;AAED,KAAK,qBAAqB,CAAC,KAAK,IAAI,KAAK,SAAS,MAAM,GACpD,MAAM,SAAS,KAAK,GAClB,uBAAuB,GACvB,uBAAuB,GAAG;IAAE,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAA;CAAE,GAC5D,KAAK,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,MAAM,SAAS,MAAM,CAAA;CAAE,GAC5D,MAAM,SAAS,MAAM,GACnB,uBAAuB,GACvB,uBAAuB,GAAG;IAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GAC7D,uBAAuB,CAAA;AAE7B,KAAK,sBAAsB,CAAC,MAAM,IAChC,MAAM,SAAS,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,GACjD;IAAE,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CAAE,GACxE,wBAAwB,CAAA;AAE9B,KAAK,wBAAwB,CAAC,OAAO,IAAI,OAAO,SAAS;IAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,CAAA;CAAE,GACjF,6BAA6B,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,GAC5F,mBAAmB,CAAC,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;AAE7D,yFAAyF;AACzF,MAAM,MAAM,qBAAqB,CAAC,OAAO,IAAI;IAC3C,GAAG,EAAE,wBAAwB,CAAC,OAAO,CAAC,CAAA;IACtC,IAAI,EAAE,gBAAgB,CAAC,sBAAsB,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;IACtH,SAAS,EAAE,mBAAmB,CAAC,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;CACtE,CAAA;AAED,KAAK,kBAAkB,CAAC,WAAW,IAAI,WAAW,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GACpF,IAAI,SAAS,SAAS,YAAY,EAAE,GAClC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GACtB,IAAI,SAAS,YAAY,GACvB,QAAQ,CAAC,IAAI,CAAC,GACd,OAAO,GACX,OAAO,CAAA;AAEX,KAAK,iBAAiB,CAAC,WAAW,IAAI,WAAW,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;CAAE,GACnF,kBAAkB,CAAC,WAAW,CAAC,GAAG,SAAS,kBAAkB,CAAC,WAAW,CAAC,EAAE,GAAG,SAAS,GACxF,kBAAkB,CAAC,WAAW,CAAC,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC,GAAG,SAAS,CAAA;AAE1G,KAAK,yBAAyB,CAAC,MAAM,EAAE,YAAY,IACjD,MAAM,SAAS,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,GACjD;KACG,IAAI,IAAI,MAAM,MAAM,GAAG,2BAA2B,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,MAAM,WAAW,GAC7F,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3B,MAAM,CAAC,IAAI,CAAC,GACZ,MAAM,CAAC,IAAI,CAAC,SAAS,iBAAiB,CAAC,WAAW,CAAC,GACjD,MAAM,CAAC,IAAI,CAAC,GACZ,KAAK,GACT,MAAM,CAAC,IAAI,CAAC;CACjB,GACD,MAAM,CAAA;AAEZ,KAAK,2BAA2B,CAAC,YAAY,EAAE,IAAI,SAAS,WAAW,IACrE,eAAe,CAAC,IAAI,CAAC,SAAS,MAAM,mBAAmB,CAAC,YAAY,CAAC,GACjE,mBAAmB,CAAC,YAAY,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,GACxD,KAAK,CAAA;AAEX,kGAAkG;AAClG,MAAM,MAAM,2BAA2B,CAAC,OAAO,IAAI,OAAO,SAAS;IACjE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,QAAQ,CAAA;CAClC,GACG;IAAE,QAAQ,CAAC,GAAG,EAAE,yBAAyB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;CAAE,GAC1D,OAAO,CAAA;AAEX,oGAAoG;AACpG,MAAM,MAAM,cAAc,CAAC,KAAK,IAAI,KAAK,SAAS,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,GACrE,cAAc,CAAC,IAAI,CAAC,GACpB,KAAK,SAAS;IAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,IAAI,SAAS,YAAY,CAAA;CAAE,GACtE,IAAI,GACJ,QAAQ,CAAA;AAEd,4EAA4E;AAC5E,MAAM,MAAM,aAAa,CAAC,UAAU,SAAS,MAAM,IAAI,MAAM,SAAS,UAAU,GAC5E,OAAO,GACP,UAAU,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,EAAE,GAC1C,IAAI,SAAS,MAAM,WAAW,GAC5B,WAAW,CAAC,IAAI,CAAC,GACjB,OAAO,GACT,UAAU,SAAS,MAAM,WAAW,GAClC,WAAW,CAAC,UAAU,CAAC,GACvB,OAAO,CAAA"}

package/dist/typed/infer.js

@@ -1,85 +1,2 @@
-/**
- * Functions with input-independent result types. A test compares this table
- * with analyzer signatures. Functions whose result depends on input stay out.
- */
-export const FIXED_RETURNS = {
-    exists: 'boolean',
-    empty: 'boolean',
-    not: 'boolean',
-    hasValue: 'boolean',
-    count: 'integer',
-    length: 'integer',
-    toBoolean: 'boolean',
-    convertsToBoolean: 'boolean',
-    convertsToInteger: 'boolean',
-    convertsToDecimal: 'boolean',
-    convertsToString: 'boolean',
-    convertsToDate: 'boolean',
-    convertsToDateTime: 'boolean',
-    convertsToTime: 'boolean',
-    convertsToQuantity: 'boolean',
-    toInteger: 'integer',
-    toDecimal: 'decimal',
-    toString: 'string',
-    toDate: 'date',
-    toDateTime: 'dateTime',
-    toTime: 'time',
-    toQuantity: 'Quantity',
-    toChars: 'string',
-    join: 'string',
-    trim: 'string',
-    upper: 'string',
-    lower: 'string',
-    replace: 'string',
-    replaceMatches: 'string',
-    substring: 'string',
-    encode: 'string',
-    decode: 'string',
-    escape: 'string',
-    unescape: 'string',
-    split: 'string',
-    matches: 'boolean',
-    matchesFull: 'boolean',
-    startsWith: 'boolean',
-    endsWith: 'boolean',
-    contains: 'boolean',
-    subsetOf: 'boolean',
-    supersetOf: 'boolean',
-    isDistinct: 'boolean',
-    allTrue: 'boolean',
-    anyTrue: 'boolean',
-    allFalse: 'boolean',
-    anyFalse: 'boolean',
-    all: 'boolean',
-    indexOf: 'integer',
-    lastIndexOf: 'integer',
-    ceiling: 'integer',
-    floor: 'integer',
-    truncate: 'integer',
-    round: 'decimal',
-    sqrt: 'decimal',
-    exp: 'decimal',
-    ln: 'decimal',
-    log: 'decimal',
-};
-/**
- * Functions that yield a subset or reordering of their input, so the input's
- * type carries through. Cross-checked against the analyzer the same way as
- * FIXED_RETURNS (their signatures preserve the input's types). `abs` is
- * excluded deliberately: it preserves the numeric kind at runtime, but the
- * analyzer declares its result unknown, and the table must not outrun it.
- */
-export const IDENTITY_RETURNS = [
-    'where',
-    'first',
-    'last',
-    'single',
-    'distinct',
-    'tail',
-    'skip',
-    'take',
-    'exclude',
-    'intersect',
-    'trace',
-];
+export {};
 //# sourceMappingURL=infer.js.map

package/dist/typed/infer.js.map

@@ -1 +1 @@
-{"version":3,"file":"infer.js","sourceRoot":"","sources":["../../src/typed/infer.ts"],"names":[],"mappings":"AA6IA;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,MAAM,EAAE,SAAS;IACjB,KAAK,EAAE,SAAS;IAChB,GAAG,EAAE,SAAS;IACd,QAAQ,EAAE,SAAS;IACnB,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,SAAS;IACjB,SAAS,EAAE,SAAS;IACpB,iBAAiB,EAAE,SAAS;IAC5B,iBAAiB,EAAE,SAAS;IAC5B,iBAAiB,EAAE,SAAS;IAC5B,gBAAgB,EAAE,SAAS;IAC3B,cAAc,EAAE,SAAS;IACzB,kBAAkB,EAAE,SAAS;IAC7B,cAAc,EAAE,SAAS;IACzB,kBAAkB,EAAE,SAAS;IAC7B,SAAS,EAAE,SAAS;IACpB,SAAS,EAAE,SAAS;IACpB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,MAAM;IACd,UAAU,EAAE,UAAU;IACtB,MAAM,EAAE,MAAM;IACd,UAAU,EAAE,UAAU;IACtB,OAAO,EAAE,QAAQ;IACjB,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,QAAQ;IACf,KAAK,EAAE,QAAQ;IACf,OAAO,EAAE,QAAQ;IACjB,cAAc,EAAE,QAAQ;IACxB,SAAS,EAAE,QAAQ;IACnB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,QAAQ,EAAE,QAAQ;IAClB,KAAK,EAAE,QAAQ;IACf,OAAO,EAAE,SAAS;IAClB,WAAW,EAAE,SAAS;IACtB,UAAU,EAAE,SAAS;IACrB,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,SAAS;IACnB,UAAU,EAAE,SAAS;IACrB,UAAU,EAAE,SAAS;IACrB,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,SAAS;IAClB,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,SAAS;IACnB,GAAG,EAAE,SAAS;IACd,OAAO,EAAE,SAAS;IAClB,WAAW,EAAE,SAAS;IACtB,OAAO,EAAE,SAAS;IAClB,KAAK,EAAE,SAAS;IAChB,QAAQ,EAAE,SAAS;IACnB,KAAK,EAAE,SAAS;IAChB,IAAI,EAAE,SAAS;IACf,GAAG,EAAE,SAAS;IACd,EAAE,EAAE,SAAS;IACb,GAAG,EAAE,SAAS;CACiC,CAAA;AAIjD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,OAAO;IACP,OAAO;IACP,MAAM;IACN,QAAQ;IACR,UAAU;IACV,MAAM;IACN,MAAM;IACN,MAAM;IACN,SAAS;IACT,WAAW;IACX,OAAO;CACC,CAAA"}
+{"version":3,"file":"infer.js","sourceRoot":"","sources":["../../src/typed/infer.ts"],"names":[],"mappings":""}

package/dist/typed/inference-limits.d.ts

@@ -0,0 +1,7 @@
+/** Maximum tokens the type-level scanner emits for one literal expression. */
+export declare const INFERENCE_TOKEN_LIMIT = 64;
+/** Maximum source characters the type-level scanner visits for one literal expression. */
+export declare const INFERENCE_SOURCE_STEP_LIMIT = 256;
+export type InferenceTokenLimit = typeof INFERENCE_TOKEN_LIMIT;
+export type InferenceSourceStepLimit = typeof INFERENCE_SOURCE_STEP_LIMIT;
+//# sourceMappingURL=inference-limits.d.ts.map

package/dist/typed/inference-limits.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-limits.d.ts","sourceRoot":"","sources":["../../src/typed/inference-limits.ts"],"names":[],"mappings":"AACA,8EAA8E;AAC9E,eAAO,MAAM,qBAAqB,KAAK,CAAA;AAEvC,0FAA0F;AAC1F,eAAO,MAAM,2BAA2B,MAAM,CAAA;AAE9C,MAAM,MAAM,mBAAmB,GAAG,OAAO,qBAAqB,CAAA;AAC9D,MAAM,MAAM,wBAAwB,GAAG,OAAO,2BAA2B,CAAA"}

package/dist/typed/inference-limits.js

@@ -0,0 +1,6 @@
+/* v8 ignore file -- build-time constants consumed by the type parser and generation scripts */
+/** Maximum tokens the type-level scanner emits for one literal expression. */
+export const INFERENCE_TOKEN_LIMIT = 64;
+/** Maximum source characters the type-level scanner visits for one literal expression. */
+export const INFERENCE_SOURCE_STEP_LIMIT = 256;
+//# sourceMappingURL=inference-limits.js.map

package/dist/typed/inference-limits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-limits.js","sourceRoot":"","sources":["../../src/typed/inference-limits.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAG,EAAE,CAAA;AAEvC,0FAA0F;AAC1F,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAA"}