fhirpath-ts 0.0.0-bootstrap.0

package/dist/engine/evaluator.js

@@ -0,0 +1,196 @@
+import "../functions/install.js";
+import { FhirPathRuntimeError, FhirPathTypeError } from "../errors.js";
+import { describeArity, lookupFunction } from "../functions/registry.js";
+import { criteriaBoolean, singleton, wrapBoolean } from "../values/collection.js";
+import { Temporal } from "../values/datetime.js";
+import { Decimal } from "../values/decimal.js";
+import { wrapNumeric } from "../values/numeric.js";
+import { SYSTEM_BOOLEAN, SYSTEM_DATE, SYSTEM_DATETIME, SYSTEM_DECIMAL, SYSTEM_INTEGER, SYSTEM_LONG, SYSTEM_QUANTITY, SYSTEM_STRING, SYSTEM_TIME, toCollection, unwrap, } from "../values/typed-value.js";
+import { forkVariables, resolveEnvironmentVariable, withEnvOverlay, withFrame, } from "./context.js";
+import { navigateIdentifier } from "./navigation.js";
+import { evaluateBinary, evaluateTypeOp, evaluateUnary } from "./operators/index.js";
+import { resolveHostCall } from "./type-matching.js";
+function evaluateArgument(node, context, _input) {
+    // Arguments evaluate against $this (the current context item), not the function's
+    // input collection: `name.given.combine(name.family)` resolves name.family on the
+    // Patient. Lambda-style functions bind their own frame first, so they see each item.
+    const forked = forkVariables(context);
+    return evaluateNode(node, forked, forked.frame.thisValue);
+}
+/**
+ * Calls a host function after focus-type dispatch. Expression functions keep
+ * typed values, use the call focus as `$this`, and apply their local environment.
+ * Native functions receive eagerly evaluated plain JavaScript values.
+ */
+function evaluateHostFunction(name, entry, args, context, input) {
+    const host = resolveHostCall(name, entry, context, input);
+    if ('ast' in host) {
+        if (args.length > 0) {
+            throw new FhirPathTypeError(`Function '${name}' expects ${describeArity(0, 0)}, got ${args.length} arguments`);
+        }
+        if (context.activeExpressionFunctions.has(name)) {
+            throw new FhirPathRuntimeError(`Expression-defined function '${name}' calls itself, directly or through another function`);
+        }
+        context.activeExpressionFunctions.add(name);
+        try {
+            // Keep the function's environment local and recursion detection active.
+            const scoped = host.env === undefined ? context : withEnvOverlay(context, host.env);
+            // withFrame rebinds $this to the input and forks variables, so the
+            // body's defineVariable() bindings stay local to the body.
+            const result = withFrame(scoped, { thisValue: input }, forked => evaluateNode(host.ast, forked, input));
+            // Inside the try, so a body that returns several items still removes its
+            // name from activeExpressionFunctions on the way out.
+            return host.criteria === true ? wrapBoolean(criteriaBoolean(result)) : result;
+        }
+        finally {
+            context.activeExpressionFunctions.delete(name);
+        }
+    }
+    const minArity = host.minArity ?? 0;
+    const maxArity = host.maxArity ?? Number.POSITIVE_INFINITY;
+    if (args.length < minArity || args.length > maxArity) {
+        throw new FhirPathTypeError(`Function '${name}' expects ${describeArity(minArity, maxArity)}, got ${args.length} arguments`);
+    }
+    const argValues = args.map(node => evaluateArgument(node, context, input).map(unwrap));
+    return toCollection(host.fn(input.map(unwrap), ...argValues));
+}
+/** Evaluate one AST node against an input collection. */
+export function evaluateNode(node, context, input) {
+    switch (node.kind) {
+        case 'null':
+            return [];
+        case 'boolean':
+            return [{ type: SYSTEM_BOOLEAN, value: node.value }];
+        case 'string':
+            return [{ type: SYSTEM_STRING, value: node.value }];
+        case 'number':
+            return [
+                node.isLong === true
+                    ? { type: SYSTEM_LONG, value: BigInt(node.text) }
+                    : evaluateNumberLiteral(node.text, node.isDecimal),
+            ];
+        case 'date':
+            return [{ type: SYSTEM_DATE, value: parseTemporalLiteral('date', node.text) }];
+        case 'dateTime':
+            return [{ type: SYSTEM_DATETIME, value: parseTemporalLiteral('dateTime', node.text) }];
+        case 'time':
+            return [{ type: SYSTEM_TIME, value: parseTemporalLiteral('time', node.text) }];
+        case 'quantity':
+            return [evaluateQuantityLiteral(node.value, node.unit, node.unitKind)];
+        case 'identifier':
+            return navigateIdentifier(context, node.name, input);
+        case 'special':
+            return evaluateSpecialVariable(node.name, context);
+        case 'external':
+            return resolveEnvironmentVariable(context, node.name);
+        case 'dot':
+            return evaluateNode(node.right, context, evaluateNode(node.left, context, input));
+        case 'indexer':
+            return evaluateIndexer(node.target, node.index, context, input);
+        case 'call': {
+            const host = context.functions.get(node.name);
+            if (host !== undefined) {
+                return evaluateHostFunction(node.name, host, node.args, context, input);
+            }
+            // Each function argument evaluates in its own defineVariable() scope.
+            return lookupFunction(node.name, node.args.length).evaluate(context, input, node.args, evaluateArgument);
+        }
+        case 'unary':
+            return evaluateUnary(context, node.operator, evaluateNode(node.operand, context, input));
+        case 'binary':
+            // Operator operands are separate chains; variables defined in one are not
+            // visible in the other (locked by the official defineVariable tests).
+            return evaluateBinary(context, node.operator, evaluateNode(node.left, forkVariables(context), input), evaluateNode(node.right, forkVariables(context), input));
+        case 'typeOp':
+            return evaluateTypeOp(context, node.operator, evaluateNode(node.operand, context, input), node.type);
+        /* v8 ignore start -- exhaustive fallback, unreachable for real ASTs */
+        default: {
+            const unreachable = node;
+            throw new FhirPathRuntimeError(`Unhandled node ${String(unreachable)}`);
+        }
+        /* v8 ignore stop */
+    }
+}
+function evaluateNumberLiteral(text, isDecimal) {
+    if (isDecimal) {
+        return { type: SYSTEM_DECIMAL, value: parseDecimalLiteral(text) };
+    }
+    // The grammar's NUMBER rule has no digit-count limit, so an integer literal can
+    // exceed 32 bits (or even 64). Widen through wrapNumeric the same way arithmetic
+    // results do, rather than truncating through a JS double (Number.parseInt loses
+    // precision above 2^53 and never reports the overflow).
+    return wrapNumeric(parseDecimalLiteral(text), 'Integer');
+}
+function parseDecimalLiteral(text) {
+    const parsed = Decimal.fromString(text);
+    /* v8 ignore next 3 -- the lexer only emits parseable decimal literals */
+    if (parsed === undefined) {
+        throw new FhirPathRuntimeError(`Invalid decimal literal ${text}`);
+    }
+    return parsed;
+}
+function parseTemporalLiteral(kind, text) {
+    const parsed = kind === 'date'
+        ? Temporal.parseDate(text)
+        : kind === 'dateTime'
+            ? Temporal.parseDateTime(text)
+            : Temporal.parseTime(text);
+    if (!parsed) {
+        throw new FhirPathRuntimeError(`Invalid ${kind} literal @${kind === 'time' ? 'T' : ''}${text}`);
+    }
+    return parsed;
+}
+function evaluateQuantityLiteral(value, unit, unitKind) {
+    return {
+        type: SYSTEM_QUANTITY,
+        value: {
+            value: parseDecimalLiteral(value),
+            unit,
+            calendar: unitKind === 'calendar',
+        },
+    };
+}
+function evaluateSpecialVariable(name, context) {
+    const frame = context.frame;
+    switch (name) {
+        case 'this':
+            return frame.thisValue;
+        case 'index': {
+            let current = frame;
+            while (current && current.index === undefined) {
+                current = current.parent;
+            }
+            if (!current || current.index === undefined) {
+                throw new FhirPathTypeError('$index is only defined inside iteration functions');
+            }
+            return [{ type: SYSTEM_INTEGER, value: current.index }];
+        }
+        case 'total': {
+            let current = frame;
+            while (current && current.total === undefined) {
+                current = current.parent;
+            }
+            if (!current || current.total === undefined) {
+                throw new FhirPathTypeError('$total is only defined inside aggregate()');
+            }
+            return current.total;
+        }
+        /* v8 ignore start -- the parser only produces the three names above */
+        default:
+            return [];
+        /* v8 ignore stop */
+    }
+}
+function evaluateIndexer(target, indexNode, context, input) {
+    const collection = evaluateNode(target, context, input);
+    const index = singleton(evaluateNode(indexNode, context, input), SYSTEM_INTEGER);
+    if (index === undefined) {
+        return [];
+    }
+    // The singleton check already guarantees an Integer, and out-of-range (including
+    // negative) array access yields undefined, which is the spec's empty result.
+    const item = collection[index.value];
+    /* v8 ignore next -- both halves run across the suites; v8 misattributes this line */
+    return item === undefined ? [] : [item];
+}
+//# sourceMappingURL=evaluator.js.map

package/dist/engine/evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator.js","sourceRoot":"","sources":["../../src/engine/evaluator.ts"],"names":[],"mappings":"AAAA,OAAO,yBAAyB,CAAA;AAEhC,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AACtE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAExE,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AACjF,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAChD,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,EACL,cAAc,EACd,WAAW,EACX,eAAe,EACf,cAAc,EACd,cAAc,EACd,WAAW,EACX,eAAe,EACf,aAAa,EACb,WAAW,EACX,YAAY,EAEZ,MAAM,GACP,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAEL,aAAa,EAEb,0BAA0B,EAC1B,cAAc,EACd,SAAS,GACV,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AACpD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAEpD,SAAS,gBAAgB,CAAC,IAAa,EAAE,OAA0B,EAAE,MAAoB;IACvF,kFAAkF;IAClF,kFAAkF;IAClF,qFAAqF;IACrF,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;IACrC,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;AAC3D,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAC3B,IAAY,EACZ,KAAmB,EACnB,IAAe,EACf,OAA0B,EAC1B,KAAmB;IAEnB,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;IACzD,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,iBAAiB,CAAC,aAAa,IAAI,aAAa,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,YAAY,CAAC,CAAA;QAChH,CAAC;QACD,IAAI,OAAO,CAAC,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,oBAAoB,CAC5B,gCAAgC,IAAI,sDAAsD,CAC3F,CAAA;QACH,CAAC;QACD,OAAO,CAAC,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,CAAC;YACH,wEAAwE;YACxE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;YACnF,mEAAmE;YACnE,2DAA2D;YAC3D,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;YACvG,yEAAyE;YACzE,sDAAsD;YACtD,OAAO,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;QAC/E,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAChD,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAA;IACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAA;IAC1D,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;QACrD,MAAM,IAAI,iBAAiB,CACzB,aAAa,IAAI,aAAa,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,SAAS,IAAI,CAAC,MAAM,YAAY,CAChG,CAAA;IACH,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IACtF,OAAO,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAA;AAC/D,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,YAAY,CAAC,IAAa,EAAE,OAA0B,EAAE,KAAmB;IACzF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,EAAE,CAAA;QACX,KAAK,SAAS;YACZ,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;QACtD,KAAK,QAAQ;YACX,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;QACrD,KAAK,QAAQ;YACX,OAAO;gBACL,IAAI,CAAC,MAAM,KAAK,IAAI;oBAClB,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBACjD,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;aACrD,CAAA;QACH,KAAK,MAAM;YACT,OAAO,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAChF,KAAK,UAAU;YACb,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,oBAAoB,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACxF,KAAK,MAAM;YACT,OAAO,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAChF,KAAK,UAAU;YACb,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;QACxE,KAAK,YAAY;YACf,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QACtD,KAAK,SAAS;YACZ,OAAO,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QACpD,KAAK,UAAU;YACb,OAAO,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QACvD,KAAK,KAAK;YACR,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;QACnF,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;QACjE,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC7C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;YACzE,CAAC;YACD,sEAAsE;YACtE,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAA;QAC1G,CAAC;QACD,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;QAC1F,KAAK,QAAQ;YACX,0EAA0E;YAC1E,sEAAsE;YACtE,OAAO,cAAc,CACnB,OAAO,EACP,IAAI,CAAC,QAAQ,EACb,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,EACtD,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CACxD,CAAA;QACH,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QACtG,uEAAuE;QACvE,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAA;YAC/B,MAAM,IAAI,oBAAoB,CAAC,kBAAkB,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;QACzE,CAAC;QACD,oBAAoB;IACtB,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY,EAAE,SAAkB;IAC7D,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAA;IACnE,CAAC;IACD,gFAAgF;IAChF,iFAAiF;IACjF,gFAAgF;IAChF,wDAAwD;IACxD,OAAO,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAA;AAC1D,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;IACvC,yEAAyE;IACzE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,oBAAoB,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAA;IACnE,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAkC,EAAE,IAAY;IAC5E,MAAM,MAAM,GACV,IAAI,KAAK,MAAM;QACb,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC;QAC1B,CAAC,CAAC,IAAI,KAAK,UAAU;YACnB,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC;YAC9B,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;IAChC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,oBAAoB,CAAC,WAAW,IAAI,aAAa,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;IACjG,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAa,EAAE,IAAY,EAAE,QAA6B;IACzF,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,KAAK,EAAE;YACL,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC;YACjC,IAAI;YACJ,QAAQ,EAAE,QAAQ,KAAK,UAAU;SAClC;KACF,CAAA;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAgC,EAAE,OAA0B;IAC3F,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAA;IAC3B,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,SAAS,CAAA;QACxB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,OAAO,GAA6B,KAAK,CAAA;YAC7C,OAAO,OAAO,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC9C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;YAC1B,CAAC;YACD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC5C,MAAM,IAAI,iBAAiB,CAAC,mDAAmD,CAAC,CAAA;YAClF,CAAC;YACD,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAA;QACzD,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,OAAO,GAA6B,KAAK,CAAA;YAC7C,OAAO,OAAO,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC9C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;YAC1B,CAAC;YACD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC5C,MAAM,IAAI,iBAAiB,CAAC,2CAA2C,CAAC,CAAA;YAC1E,CAAC;YACD,OAAO,OAAO,CAAC,KAAK,CAAA;QACtB,CAAC;QACD,uEAAuE;QACvE;YACE,OAAO,EAAE,CAAA;QACX,oBAAoB;IACtB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,MAAe,EACf,SAAkB,EAClB,OAA0B,EAC1B,KAAmB;IAEnB,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;IACvD,MAAM,KAAK,GAAG,SAAS,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,cAAc,CAAC,CAAA;IAChF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,CAAA;IACX,CAAC;IACD,iFAAiF;IACjF,6EAA6E;IAC7E,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,KAAe,CAAC,CAAA;IAC9C,qFAAqF;IACrF,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;AACzC,CAAC"}

package/dist/engine/navigation.d.ts

@@ -0,0 +1,11 @@
+import { type TypedValue } from '../values/typed-value.ts';
+import type { EvaluationContext } from './context.ts';
+/**
+ * Evaluate a bare identifier against the input. The spec's root rule (§10.1) applies
+ * first: an identifier naming the item's own type yields the item itself, which is
+ * how `Patient.name` works when the context is a Patient.
+ */
+export declare function navigateIdentifier(context: EvaluationContext, name: string, input: TypedValue[]): TypedValue[];
+/** Read one child element from a complex value, flattening arrays. Missing → empty. */
+export declare function getProperty(item: TypedValue, name: string): TypedValue[];
+//# sourceMappingURL=navigation.d.ts.map

package/dist/engine/navigation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation.d.ts","sourceRoot":"","sources":["../../src/engine/navigation.ts"],"names":[],"mappings":"AAEA,OAAO,EAA6B,KAAK,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACrF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAErD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,EAAE,CAoC9G;AAwCD,uFAAuF;AACvF,wBAAgB,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,CAkBxE"}

package/dist/engine/navigation.js

@@ -0,0 +1,102 @@
+import { FhirPathTypeError } from "../errors.js";
+import { readModelProperty } from "../fhir/model-navigation.js";
+import { OBJECT_TYPE, toTypedValue } from "../values/typed-value.js";
+/**
+ * Evaluate a bare identifier against the input. The spec's root rule (§10.1) applies
+ * first: an identifier naming the item's own type yields the item itself, which is
+ * how `Patient.name` works when the context is a Patient.
+ */
+export function navigateIdentifier(context, name, input) {
+    const results = [];
+    for (const item of input) {
+        if (matchesTypeName(context, item, name)) {
+            results.push(item);
+        }
+        else if (context.model && item.type.startsWith(`${context.model.namespace}.`)) {
+            const modelRead = readModelProperty(context.model, item, name);
+            if (modelRead === undefined) {
+                // Choice elements go by stem name; a suffixed key like Observation.valueQuantity
+                // is the one unknown-element shape the official suites require to error at
+                // runtime. Everything else is the static analyzer's job (spec §11) — plain
+                // unknown elements navigate to empty, and types the model has never heard of
+                // (custom resourceTypes) read like raw JSON.
+                // See: https://hl7.org/fhirpath/en/index.html#type-safety-and-strict-evaluation
+                if (isChoiceKeyMisuse(context, item.type, name)) {
+                    throw new FhirPathTypeError(`Element '${name}' is not defined on ${item.type}; choice elements use their stem name`);
+                }
+                if (name === 'resourceType' ||
+                    (context.model.listElements !== undefined && context.model.listElements(item.type) === undefined)) {
+                    results.push(...getProperty(item, name));
+                }
+            }
+            else {
+                results.push(...modelRead);
+            }
+        }
+        else if (context.model) {
+            const modelRead = readModelProperty(context.model, item, name);
+            results.push(...(modelRead ?? getProperty(item, name)));
+        }
+        else {
+            results.push(...getProperty(item, name));
+        }
+    }
+    return results;
+}
+/** True for `valueQuantity`-style keys whose stem is a choice element of the type. */
+function isChoiceKeyMisuse(context, type, name) {
+    const model = context.model;
+    for (let position = 1; position < name.length; position++) {
+        if (!/[A-Z]/.test(name[position])) {
+            continue;
+        }
+        const stem = name.slice(0, position);
+        if (model.getElement(type, stem)?.isChoice === true) {
+            return true;
+        }
+    }
+    return false;
+}
+function matchesTypeName(context, item, name) {
+    // Only the namespace strips off: the backbone type FHIR.ValueSet.expansion.contains
+    // must not answer to the element name 'contains'. Lowercase primitive type names
+    // (FHIR.code) never self-match either — `children().code` means the element.
+    if (!/^[A-Z]/.test(name)) {
+        // Lowercase names are always elements: `children().code` never filters by the
+        // primitive type FHIR.code.
+        return false;
+    }
+    const separator = item.type.indexOf('.');
+    const local = separator === -1 ? item.type : item.type.slice(separator + 1);
+    if (local === name && item.type !== OBJECT_TYPE) {
+        return true;
+    }
+    if (context.model) {
+        const canonical = context.model.resolveType(name);
+        if (canonical !== undefined) {
+            return context.model.isSubtypeOf(item.type, canonical);
+        }
+    }
+    return false;
+}
+/** Read one child element from a complex value, flattening arrays. Missing → empty. */
+export function getProperty(item, name) {
+    const value = item.value;
+    if (typeof value !== 'object' || value === null || Array.isArray(value)) {
+        return [];
+    }
+    // Own properties only: `Patient.constructor` or `x.toString` must be empty, not
+    // an inherited member leaking off Object.prototype.
+    if (!Object.hasOwn(value, name)) {
+        return [];
+    }
+    const child = value[name];
+    if (child === undefined || child === null) {
+        return [];
+    }
+    if (Array.isArray(child)) {
+        return child.filter(element => element !== null && element !== undefined).map(element => toTypedValue(element));
+    }
+    return [toTypedValue(child)];
+}
+//# sourceMappingURL=navigation.js.map

package/dist/engine/navigation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation.js","sourceRoot":"","sources":["../../src/engine/navigation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAA;AAC/D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAmB,MAAM,0BAA0B,CAAA;AAGrF;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAA0B,EAAE,IAAY,EAAE,KAAmB;IAC9F,MAAM,OAAO,GAAiB,EAAE,CAAA;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;YAChF,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YAC9D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,iFAAiF;gBACjF,2EAA2E;gBAC3E,2EAA2E;gBAC3E,6EAA6E;gBAC7E,6CAA6C;gBAC7C,gFAAgF;gBAChF,IAAI,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;oBAChD,MAAM,IAAI,iBAAiB,CACzB,YAAY,IAAI,uBAAuB,IAAI,CAAC,IAAI,uCAAuC,CACxF,CAAA;gBACH,CAAC;gBACD,IACE,IAAI,KAAK,cAAc;oBACvB,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,EACjG,CAAC;oBACD,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;gBAC1C,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAA;YAC5B,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YAC9D,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QACzD,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,sFAAsF;AACtF,SAAS,iBAAiB,CAAC,OAA0B,EAAE,IAAY,EAAE,IAAY;IAC/E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAgD,CAAA;IACtE,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC;QAC1D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAW,CAAC,EAAE,CAAC;YAC5C,SAAQ;QACV,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;QACpC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,QAAQ,KAAK,IAAI,EAAE,CAAC;YACpD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,eAAe,CAAC,OAA0B,EAAE,IAAgB,EAAE,IAAY;IACjF,oFAAoF;IACpF,iFAAiF;IACjF,6EAA6E;IAC7E,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,8EAA8E;QAC9E,4BAA4B;QAC5B,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACxC,MAAM,KAAK,GAAG,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAA;IAC3E,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QAClB,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;QACjD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;QACxD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,WAAW,CAAC,IAAgB,EAAE,IAAY;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;IACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,EAAE,CAAA;IACX,CAAC;IACD,gFAAgF;IAChF,oDAAoD;IACpD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,KAAK,GAAI,KAAiC,CAAC,IAAI,CAAC,CAAA;IACtD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1C,OAAO,EAAE,CAAA;IACX,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAA;IACjH,CAAC;IACD,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;AAC9B,CAAC"}

package/dist/engine/operators/collections.d.ts

@@ -0,0 +1,12 @@
+import { type TypedValue } from '../../values/typed-value.ts';
+/** Merge with duplicate elimination using `=` semantics (spec §6.4.1 / `union()`). */
+export declare function unionCollections(left: TypedValue[], right: TypedValue[]): TypedValue[];
+/** `in`: left singleton membership; empty left → empty, empty right → false. */
+declare function inOperator(_context: unknown, left: TypedValue[], right: TypedValue[]): TypedValue[];
+export declare const collectionOperators: {
+    '|': (_context: import("../context.ts").EvaluationContext, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+    in: typeof inOperator;
+    contains: (context: import("../context.ts").EvaluationContext, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+};
+export {};
+//# sourceMappingURL=collections.d.ts.map

package/dist/engine/operators/collections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collections.d.ts","sourceRoot":"","sources":["../../../src/engine/operators/collections.ts"],"names":[],"mappings":"AACA,OAAO,EAAkB,KAAK,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAI7E,sFAAsF;AACtF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,EAAE,CAQtF;AAED,gFAAgF;AAChF,iBAAS,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,EAAE,CAU5F;AAED,eAAO,MAAM,mBAAmB;;;;CAID,CAAA"}

package/dist/engine/operators/collections.js

@@ -0,0 +1,31 @@
+import { FhirPathRuntimeError } from "../../errors.js";
+import { SYSTEM_BOOLEAN } from "../../values/typed-value.js";
+import { pairEquals } from "./equality.js";
+/** Merge with duplicate elimination using `=` semantics (spec §6.4.1 / `union()`). */
+export function unionCollections(left, right) {
+    const result = [];
+    for (const item of [...left, ...right]) {
+        if (!result.some(existing => pairEquals(existing, item) === true)) {
+            result.push(item);
+        }
+    }
+    return result;
+}
+/** `in`: left singleton membership; empty left → empty, empty right → false. */
+function inOperator(_context, left, right) {
+    if (left.length === 0) {
+        return [];
+    }
+    if (left.length > 1) {
+        throw new FhirPathRuntimeError("The left operand of 'in' must have at most one item");
+    }
+    const item = left[0];
+    const found = right.some(candidate => pairEquals(item, candidate) === true);
+    return [{ type: SYSTEM_BOOLEAN, value: found }];
+}
+export const collectionOperators = {
+    '|': (_context, left, right) => unionCollections(left, right),
+    in: inOperator,
+    contains: (context, left, right) => inOperator(context, right, left),
+};
+//# sourceMappingURL=collections.js.map

package/dist/engine/operators/collections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collections.js","sourceRoot":"","sources":["../../../src/engine/operators/collections.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AACtD,OAAO,EAAE,cAAc,EAAmB,MAAM,6BAA6B,CAAA;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAG1C,sFAAsF;AACtF,MAAM,UAAU,gBAAgB,CAAC,IAAkB,EAAE,KAAmB;IACtE,MAAM,MAAM,GAAiB,EAAE,CAAA;IAC/B,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,gFAAgF;AAChF,SAAS,UAAU,CAAC,QAAiB,EAAE,IAAkB,EAAE,KAAmB;IAC5E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,CAAA;IACX,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,oBAAoB,CAAC,qDAAqD,CAAC,CAAA;IACvF,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAe,CAAA;IAClC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,IAAI,CAAC,CAAA;IAC3E,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;AACjD,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,GAAG,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC;IAC7D,EAAE,EAAE,UAAU;IACd,QAAQ,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;CACvC,CAAA"}

package/dist/engine/operators/comparison.d.ts

@@ -0,0 +1,13 @@
+import { type TypedValue } from '../../values/typed-value.ts';
+/**
+ * Order two singleton values (spec §6.2). Undefined means empty: an empty operand,
+ * a date/time precision mismatch, or units that cannot be compared.
+ */
+export declare function compareValues(a: TypedValue, b: TypedValue): number | undefined;
+export declare const comparisonOperators: {
+    '<': (_context: unknown, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+    '>': (_context: unknown, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+    '<=': (_context: unknown, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+    '>=': (_context: unknown, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+};
+//# sourceMappingURL=comparison.d.ts.map

package/dist/engine/operators/comparison.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparison.d.ts","sourceRoot":"","sources":["../../../src/engine/operators/comparison.ts"],"names":[],"mappings":"AAMA,OAAO,EAA+C,KAAK,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAK1G;;;GAGG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CA6B9E;AAgCD,eAAO,MAAM,mBAAmB;oBA7BZ,OAAO,QAAQ,UAAU,EAAE,SAAS,UAAU,EAAE,KAAG,UAAU,EAAE;oBAA/D,OAAO,QAAQ,UAAU,EAAE,SAAS,UAAU,EAAE,KAAG,UAAU,EAAE;qBAA/D,OAAO,QAAQ,UAAU,EAAE,SAAS,UAAU,EAAE,KAAG,UAAU,EAAE;qBAA/D,OAAO,QAAQ,UAAU,EAAE,SAAS,UAAU,EAAE,KAAG,UAAU,EAAE;CAkCpD,CAAA"}

package/dist/engine/operators/comparison.js

@@ -0,0 +1,77 @@
+import { FhirPathTypeError } from "../../errors.js";
+import { singleton } from "../../values/collection.js";
+import { Temporal } from "../../values/datetime.js";
+import { asNumeric } from "../../values/numeric.js";
+import { coerceQuantityPair, compareQuantities } from "../../values/quantity.js";
+import { compareTemporal } from "../../values/temporal-compare.js";
+import { SYSTEM_BOOLEAN, SYSTEM_STRING, systemTypeOf } from "../../values/typed-value.js";
+/**
+ * Order two singleton values (spec §6.2). Undefined means empty: an empty operand,
+ * a date/time precision mismatch, or units that cannot be compared.
+ */
+export function compareValues(a, b) {
+    const numericA = asNumeric(a);
+    const numericB = asNumeric(b);
+    if (numericA && numericB) {
+        return numericA.value.compare(numericB.value);
+    }
+    if (systemTypeOf(a) === SYSTEM_STRING && systemTypeOf(b) === SYSTEM_STRING) {
+        const left = a.value;
+        const right = b.value;
+        if (left < right) {
+            return -1;
+        }
+        return left > right ? 1 : 0;
+    }
+    if (a.value instanceof Temporal && b.value instanceof Temporal) {
+        const comparison = compareTemporal(a.value, b.value);
+        if (comparison === 'differentPrecision') {
+            return undefined;
+        }
+        if (comparison === 'incompatible') {
+            throw new FhirPathTypeError('Cannot compare a time with a date or dateTime');
+        }
+        return comparison;
+    }
+    const quantityPair = coerceQuantityPair(a, b);
+    if (quantityPair) {
+        return compareQuantities(quantityPair[0], quantityPair[1]);
+    }
+    throw new FhirPathTypeError(`Cannot compare ${a.type} with ${b.type}`);
+}
+function comparisonOperator(operator) {
+    return (_context, left, right) => {
+        const a = singleton(left);
+        const b = singleton(right);
+        if (a === undefined || b === undefined) {
+            return [];
+        }
+        const comparison = compareValues(a, b);
+        if (comparison === undefined) {
+            return [];
+        }
+        let value;
+        switch (operator) {
+            case '<':
+                value = comparison < 0;
+                break;
+            case '>':
+                value = comparison > 0;
+                break;
+            case '<=':
+                value = comparison <= 0;
+                break;
+            default:
+                value = comparison >= 0;
+                break;
+        }
+        return [{ type: SYSTEM_BOOLEAN, value }];
+    };
+}
+export const comparisonOperators = {
+    '<': comparisonOperator('<'),
+    '>': comparisonOperator('>'),
+    '<=': comparisonOperator('<='),
+    '>=': comparisonOperator('>='),
+};
+//# sourceMappingURL=comparison.js.map

package/dist/engine/operators/comparison.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparison.js","sourceRoot":"","sources":["../../../src/engine/operators/comparison.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AAClE,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAmB,MAAM,6BAA6B,CAAA;AAK1G;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,CAAa,EAAE,CAAa;IACxD,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;IAC7B,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;IAC7B,IAAI,QAAQ,IAAI,QAAQ,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC/C,CAAC;IACD,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,aAAa,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,aAAa,EAAE,CAAC;QAC3E,MAAM,IAAI,GAAG,CAAC,CAAC,KAAe,CAAA;QAC9B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAe,CAAA;QAC/B,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;YACjB,OAAO,CAAC,CAAC,CAAA;QACX,CAAC;QACD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7B,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,YAAY,QAAQ,IAAI,CAAC,CAAC,KAAK,YAAY,QAAQ,EAAE,CAAC;QAC/D,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;QACpD,IAAI,UAAU,KAAK,oBAAoB,EAAE,CAAC;YACxC,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI,UAAU,KAAK,cAAc,EAAE,CAAC;YAClC,MAAM,IAAI,iBAAiB,CAAC,+CAA+C,CAAC,CAAA;QAC9E,CAAC;QACD,OAAO,UAAU,CAAA;IACnB,CAAC;IACD,MAAM,YAAY,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7C,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5D,CAAC;IACD,MAAM,IAAI,iBAAiB,CAAC,kBAAkB,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;AACxE,CAAC;AAED,SAAS,kBAAkB,CAAC,QAA4B;IACtD,OAAO,CAAC,QAAiB,EAAE,IAAkB,EAAE,KAAmB,EAAgB,EAAE;QAClF,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;QACzB,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QAC1B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACvC,OAAO,EAAE,CAAA;QACX,CAAC;QACD,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACtC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,EAAE,CAAA;QACX,CAAC;QACD,IAAI,KAAc,CAAA;QAClB,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,GAAG;gBACN,KAAK,GAAG,UAAU,GAAG,CAAC,CAAA;gBACtB,MAAK;YACP,KAAK,GAAG;gBACN,KAAK,GAAG,UAAU,GAAG,CAAC,CAAA;gBACtB,MAAK;YACP,KAAK,IAAI;gBACP,KAAK,GAAG,UAAU,IAAI,CAAC,CAAA;gBACvB,MAAK;YACP;gBACE,KAAK,GAAG,UAAU,IAAI,CAAC,CAAA;gBACvB,MAAK;QACT,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAA;IAC1C,CAAC,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,GAAG,EAAE,kBAAkB,CAAC,GAAG,CAAC;IAC5B,GAAG,EAAE,kBAAkB,CAAC,GAAG,CAAC;IAC5B,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC;IAC9B,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC;CACD,CAAA"}

package/dist/engine/operators/equality.d.ts

@@ -0,0 +1,19 @@
+import { type TypedValue } from '../../values/typed-value.ts';
+/**
+ * Single-item `=` semantics (spec §6.1.1). Undefined means empty: date/time values
+ * whose precisions differ, or quantities whose units cannot be compared yet.
+ */
+export declare function pairEquals(a: TypedValue, b: TypedValue): boolean | undefined;
+/** Single-item `~` semantics (spec §6.1.3). Never empty. */
+export declare function pairEquivalent(a: TypedValue, b: TypedValue): boolean;
+/** Collection `=`: empty operand → empty; different lengths → false; ordered pairwise. */
+export declare function collectionEquals(left: TypedValue[], right: TypedValue[]): boolean | undefined;
+/** Collection `~`: both empty → true; order-independent multiset matching. */
+export declare function collectionEquivalent(left: TypedValue[], right: TypedValue[]): boolean;
+export declare const equalityOperators: {
+    '=': (_context: import("../context.ts").EvaluationContext, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+    '!=': (_context: import("../context.ts").EvaluationContext, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+    '~': (_context: import("../context.ts").EvaluationContext, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+    '!~': (_context: import("../context.ts").EvaluationContext, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+};
+//# sourceMappingURL=equality.d.ts.map

package/dist/engine/operators/equality.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"equality.d.ts","sourceRoot":"","sources":["../../../src/engine/operators/equality.ts"],"names":[],"mappings":"AAIA,OAAO,EAIL,KAAK,UAAU,EAEhB,MAAM,6BAA6B,CAAA;AAGpC;;;GAGG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO,GAAG,SAAS,CAgC5E;AAED,4DAA4D;AAC5D,wBAAgB,cAAc,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO,CAyCpE;AAkFD,0FAA0F;AAC1F,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,GAAG,SAAS,CAgB7F;AAED,8EAA8E;AAC9E,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,CAsBrF;AAMD,eAAO,MAAM,iBAAiB;;;;;CAQC,CAAA"}