fhirpath-ts 0.0.0-bootstrap.0

package/dist/engine/operators/equality.js

@@ -0,0 +1,203 @@
+import { Temporal } from "../../values/datetime.js";
+import { asNumeric } from "../../values/numeric.js";
+import { coerceQuantityPair, compareQuantities, quantitiesEquivalent } from "../../values/quantity.js";
+import { compareTemporal } from "../../values/temporal-compare.js";
+import { SYSTEM_BOOLEAN, SYSTEM_STRING, systemTypeOf, typeLocalName, } from "../../values/typed-value.js";
+/**
+ * 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 function pairEquals(a, b) {
+    if (a.value === undefined || b.value === undefined) {
+        // Valueless primitives (extension-only _field elements) never equal anything.
+        return false;
+    }
+    const numericA = asNumeric(a);
+    const numericB = asNumeric(b);
+    if (numericA && numericB) {
+        return numericA.value.equals(numericB.value);
+    }
+    if (a.value instanceof Temporal && b.value instanceof Temporal) {
+        const comparison = compareTemporal(a.value, b.value);
+        if (comparison === 'differentPrecision') {
+            return undefined;
+        }
+        return comparison === 0;
+    }
+    const quantityPair = coerceQuantityPair(a, b);
+    if (quantityPair) {
+        const comparison = compareQuantities(quantityPair[0], quantityPair[1]);
+        return comparison === undefined ? undefined : comparison === 0;
+    }
+    if (systemTypeOf(a) === SYSTEM_STRING && systemTypeOf(b) === SYSTEM_STRING) {
+        return a.value === b.value;
+    }
+    if (systemTypeOf(a) === SYSTEM_BOOLEAN && systemTypeOf(b) === SYSTEM_BOOLEAN) {
+        return a.value === b.value;
+    }
+    if (isComplex(a) && isComplex(b)) {
+        return deepEquals(a.value, b.value);
+    }
+    return false;
+}
+/** Single-item `~` semantics (spec §6.1.3). Never empty. */
+export function pairEquivalent(a, b) {
+    if (a.value === undefined || b.value === undefined) {
+        // Two valueless primitives are equivalent; a valueless one never matches a value.
+        return a.value === undefined && b.value === undefined;
+    }
+    const numericA = asNumeric(a);
+    const numericB = asNumeric(b);
+    if (numericA && numericB) {
+        // Rounded to the least precise operand.
+        const scale = Math.min(numericA.value.scale, numericB.value.scale);
+        return numericA.value.round(scale).equals(numericB.value.round(scale));
+    }
+    if (a.value instanceof Temporal && b.value instanceof Temporal) {
+        return compareTemporal(a.value, b.value) === 0;
+    }
+    const quantityPair = coerceQuantityPair(a, b);
+    if (quantityPair) {
+        return quantitiesEquivalent(quantityPair[0], quantityPair[1]);
+    }
+    // One typed side is enough: untyped comparison values (e.g. from %env) still get
+    // FHIR semantics when compared against a model-typed Coding/CodeableConcept.
+    if ((typeLocalName(a.type) === 'Coding' || typeLocalName(b.type) === 'Coding') && isComplex(a) && isComplex(b)) {
+        return codingEquivalent(a.value, b.value);
+    }
+    if ((typeLocalName(a.type) === 'CodeableConcept' || typeLocalName(b.type) === 'CodeableConcept') &&
+        isComplex(a) &&
+        isComplex(b)) {
+        return codeableConceptEquivalent(a.value, b.value);
+    }
+    if (systemTypeOf(a) === SYSTEM_STRING && systemTypeOf(b) === SYSTEM_STRING) {
+        return normalizeString(a.value) === normalizeString(b.value);
+    }
+    if (systemTypeOf(a) === SYSTEM_BOOLEAN && systemTypeOf(b) === SYSTEM_BOOLEAN) {
+        return a.value === b.value;
+    }
+    if (isComplex(a) && isComplex(b)) {
+        return deepEquivalent(a.value, b.value);
+    }
+    return false;
+}
+/** FHIR equivalence for Coding: system and code only (display and id do not matter). */
+function codingEquivalent(a, b) {
+    const codingA = a;
+    const codingB = b;
+    return codingA.system === codingB.system && codingA.code === codingB.code;
+}
+/** FHIR equivalence for CodeableConcept: any pair of equivalent codings. */
+function codeableConceptEquivalent(a, b) {
+    const codingsA = (a.coding ?? []);
+    const codingsB = (b.coding ?? []);
+    return codingsA.some(one => codingsB.some(other => codingEquivalent(one, other)));
+}
+function isComplex(item) {
+    return typeof item.value === 'object' && item.value !== null && !(item.value instanceof Temporal);
+}
+function normalizeString(value) {
+    // "Normalizing whitespace" (spec §6.1.2) makes tab/newline/space interchangeable;
+    // it does not trim or collapse runs — 'a  b' and 'a b' stay different.
+    return value.replace(/\s/g, ' ').toLowerCase();
+}
+function deepEquals(a, b) {
+    if (a === b) {
+        return true;
+    }
+    if (Array.isArray(a) || Array.isArray(b)) {
+        return (Array.isArray(a) &&
+            Array.isArray(b) &&
+            a.length === b.length &&
+            a.every((item, index) => deepEquals(item, b[index])));
+    }
+    if (typeof a === 'object' && a !== null && typeof b === 'object' && b !== null) {
+        // Equality on FHIR complex values ignores element ids and primitive metadata,
+        // same as equivalence: a value's identity is its children, not its annotations.
+        const keysA = Object.keys(a).filter(isValueKey);
+        const keysB = Object.keys(b).filter(isValueKey);
+        return (keysA.length === keysB.length &&
+            keysA.every(key => deepEquals(a[key], b[key])));
+    }
+    return a === b;
+}
+function deepEquivalent(a, b) {
+    if (a === b) {
+        return true;
+    }
+    if (typeof a === 'string' && typeof b === 'string') {
+        return normalizeString(a) === normalizeString(b);
+    }
+    if (Array.isArray(a) || Array.isArray(b)) {
+        return (Array.isArray(a) &&
+            Array.isArray(b) &&
+            a.length === b.length &&
+            a.every((item, index) => deepEquivalent(item, b[index])));
+    }
+    if (typeof a === 'object' && a !== null && typeof b === 'object' && b !== null) {
+        const keysA = Object.keys(a).filter(isValueKey);
+        const keysB = Object.keys(b).filter(isValueKey);
+        return (keysA.length === keysB.length &&
+            keysA.every(key => deepEquivalent(a[key], b[key])));
+    }
+    return a === b;
+}
+/** Excludes a complex value's `id` and `_field` (primitive extension) siblings from comparison. */
+function isValueKey(key) {
+    return key !== 'id' && !key.startsWith('_');
+}
+/** Collection `=`: empty operand → empty; different lengths → false; ordered pairwise. */
+export function collectionEquals(left, right) {
+    if (left.length === 0 || right.length === 0) {
+        return undefined;
+    }
+    if (left.length !== right.length) {
+        return false;
+    }
+    let result = true;
+    for (let i = 0; i < left.length; i++) {
+        const pair = pairEquals(left[i], right[i]);
+        if (pair === undefined) {
+            return undefined;
+        }
+        result = result && pair;
+    }
+    return result;
+}
+/** Collection `~`: both empty → true; order-independent multiset matching. */
+export function collectionEquivalent(left, right) {
+    if (left.length === 0 && right.length === 0) {
+        return true;
+    }
+    if (left.length !== right.length) {
+        return false;
+    }
+    const used = new Array(right.length).fill(false);
+    for (const item of left) {
+        let matched = false;
+        for (let i = 0; i < right.length; i++) {
+            if (!used[i] && pairEquivalent(item, right[i])) {
+                used[i] = true;
+                matched = true;
+                break;
+            }
+        }
+        if (!matched) {
+            return false;
+        }
+    }
+    return true;
+}
+function wrap(value) {
+    return value === undefined ? [] : [{ type: SYSTEM_BOOLEAN, value }];
+}
+export const equalityOperators = {
+    '=': (_context, left, right) => wrap(collectionEquals(left, right)),
+    '!=': (_context, left, right) => {
+        const result = collectionEquals(left, right);
+        return wrap(result === undefined ? undefined : !result);
+    },
+    '~': (_context, left, right) => wrap(collectionEquivalent(left, right)),
+    '!~': (_context, left, right) => wrap(!collectionEquivalent(left, right)),
+};
+//# sourceMappingURL=equality.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"equality.js","sourceRoot":"","sources":["../../../src/engine/operators/equality.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAA;AACtG,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AAClE,OAAO,EACL,cAAc,EACd,aAAa,EACb,YAAY,EAEZ,aAAa,GACd,MAAM,6BAA6B,CAAA;AAGpC;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,CAAa,EAAE,CAAa;IACrD,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACnD,8EAA8E;QAC9E,OAAO,KAAK,CAAA;IACd,CAAC;IACD,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,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC9C,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,OAAO,UAAU,KAAK,CAAC,CAAA;IACzB,CAAC;IACD,MAAM,YAAY,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7C,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;QACtE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,CAAA;IAChE,CAAC;IACD,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,aAAa,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,aAAa,EAAE,CAAC;QAC3E,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAA;IAC5B,CAAC;IACD,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,cAAc,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,cAAc,EAAE,CAAC;QAC7E,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAA;IAC5B,CAAC;IACD,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,OAAO,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IACrC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,cAAc,CAAC,CAAa,EAAE,CAAa;IACzD,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACnD,kFAAkF;QAClF,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAA;IACvD,CAAC;IACD,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,wCAAwC;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAClE,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACxE,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,YAAY,QAAQ,IAAI,CAAC,CAAC,KAAK,YAAY,QAAQ,EAAE,CAAC;QAC/D,OAAO,eAAe,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAChD,CAAC;IACD,MAAM,YAAY,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7C,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,CAAC;IACD,iFAAiF;IACjF,6EAA6E;IAC7E,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,QAAQ,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/G,OAAO,gBAAgB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IAC3C,CAAC;IACD,IACE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,iBAAiB,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,iBAAiB,CAAC;QAC5F,SAAS,CAAC,CAAC,CAAC;QACZ,SAAS,CAAC,CAAC,CAAC,EACZ,CAAC;QACD,OAAO,yBAAyB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IACpD,CAAC;IACD,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,aAAa,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,aAAa,EAAE,CAAC;QAC3E,OAAO,eAAe,CAAC,CAAC,CAAC,KAAe,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,KAAe,CAAC,CAAA;IAClF,CAAC;IACD,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,cAAc,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,cAAc,EAAE,CAAC;QAC7E,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAA;IAC5B,CAAC;IACD,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,OAAO,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IACzC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,wFAAwF;AACxF,SAAS,gBAAgB,CAAC,CAAU,EAAE,CAAU;IAC9C,MAAM,OAAO,GAAG,CAAyC,CAAA;IACzD,MAAM,OAAO,GAAG,CAAyC,CAAA;IACzD,OAAO,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAA;AAC3E,CAAC;AAED,4EAA4E;AAC5E,SAAS,yBAAyB,CAAC,CAAU,EAAE,CAAU;IACvD,MAAM,QAAQ,GAAG,CAAE,CAA4B,CAAC,MAAM,IAAI,EAAE,CAAc,CAAA;IAC1E,MAAM,QAAQ,GAAG,CAAE,CAA4B,CAAC,MAAM,IAAI,EAAE,CAAc,CAAA;IAC1E,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;AACnF,CAAC;AAED,SAAS,SAAS,CAAC,IAAgB;IACjC,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,YAAY,QAAQ,CAAC,CAAA;AACnG,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,kFAAkF;IAClF,uEAAuE;IACvE,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAA;AAChD,CAAC;AAED,SAAS,UAAU,CAAC,CAAU,EAAE,CAAU;IACxC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAChB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAChB,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YACrB,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CACrD,CAAA;IACH,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/E,8EAA8E;QAC9E,gFAAgF;QAChF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QAC/C,OAAO,CACL,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAC7B,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAE,CAA6B,CAAC,GAAG,CAAC,EAAG,CAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,CACzG,CAAA;IACH,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,CAAA;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,CAAU,EAAE,CAAU;IAC5C,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACnD,OAAO,eAAe,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAA;IAClD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAChB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAChB,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YACrB,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CACzD,CAAA;IACH,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/E,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QAC/C,OAAO,CACL,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAC7B,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,cAAc,CAAE,CAA6B,CAAC,GAAG,CAAC,EAAG,CAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,CAC7G,CAAA;IACH,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,CAAA;AAChB,CAAC;AAED,mGAAmG;AACnG,SAAS,UAAU,CAAC,GAAW;IAC7B,OAAO,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;AAC7C,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,gBAAgB,CAAC,IAAkB,EAAE,KAAmB;IACtE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,MAAM,GAAG,IAAI,CAAA;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAe,EAAE,KAAK,CAAC,CAAC,CAAe,CAAC,CAAA;QACtE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,MAAM,GAAG,MAAM,IAAI,IAAI,CAAA;IACzB,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,oBAAoB,CAAC,IAAkB,EAAE,KAAmB;IAC1E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,KAAK,CAAU,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACzD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAe,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAA;gBACd,OAAO,GAAG,IAAI,CAAA;gBACd,MAAK;YACP,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,IAAI,CAAC,KAA0B;IACtC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAA;AACrE,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,GAAG,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnE,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;QAC9B,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAC5C,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IACzD,CAAC;IACD,GAAG,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvE,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;CAC5C,CAAA"}

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

@@ -0,0 +1,18 @@
+import type { BinaryOperator, TypeSpecifier, UnaryOperator } from '../../parser/ast.ts';
+import type { TypedValue } from '../../values/typed-value.ts';
+import type { EvaluationContext } from '../context.ts';
+export type BinaryOperatorImpl = (context: EvaluationContext, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+/** What each operator module exports; modules import this type-only, so no cycle. */
+export type BinaryOperatorTable = Partial<Record<BinaryOperator, BinaryOperatorImpl>>;
+export type UnaryOperatorImpl = (context: EvaluationContext, operand: TypedValue[]) => TypedValue[];
+export type TypeOperatorImpl = (context: EvaluationContext, operator: 'is' | 'as', operand: TypedValue[], type: TypeSpecifier) => TypedValue[];
+/**
+ * One entry per BinaryOperator union member, assembled statically — a missing
+ * operator is a compile error here, not a runtime throw.
+ */
+export declare const binaryOperators: Readonly<Record<BinaryOperator, BinaryOperatorImpl>>;
+export declare const unaryOperators: Readonly<Record<UnaryOperator, UnaryOperatorImpl>>;
+export declare function evaluateBinary(context: EvaluationContext, operator: BinaryOperator, left: TypedValue[], right: TypedValue[]): TypedValue[];
+export declare function evaluateUnary(context: EvaluationContext, operator: UnaryOperator, operand: TypedValue[]): TypedValue[];
+export declare function evaluateTypeOp(context: EvaluationContext, operator: 'is' | 'as', operand: TypedValue[], type: TypeSpecifier): TypedValue[];
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/engine/operators/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACvF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAStD,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,UAAU,EAAE,CAAA;AAEtH,qFAAqF;AACrF,MAAM,MAAM,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC,CAAA;AAErF,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,UAAU,EAAE,CAAA;AAEnG,MAAM,MAAM,gBAAgB,GAAG,CAC7B,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,IAAI,GAAG,IAAI,EACrB,OAAO,EAAE,UAAU,EAAE,EACrB,IAAI,EAAE,aAAa,KAChB,UAAU,EAAE,CAAA;AAEjB;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAOhF,CAAA;AAED,eAAO,MAAM,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAA4B,CAAA;AAE1G,wBAAgB,cAAc,CAC5B,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,UAAU,EAAE,EAClB,KAAK,EAAE,UAAU,EAAE,GAClB,UAAU,EAAE,CAEd;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,UAAU,EAAE,GACpB,UAAU,EAAE,CAEd;AAED,wBAAgB,cAAc,CAC5B,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,IAAI,GAAG,IAAI,EACrB,OAAO,EAAE,UAAU,EAAE,EACrB,IAAI,EAAE,aAAa,GAClB,UAAU,EAAE,CAEd"}

package/dist/engine/operators/index.js

@@ -0,0 +1,30 @@
+import { collectionOperators } from "./collections.js";
+import { comparisonOperators } from "./comparison.js";
+import { equalityOperators } from "./equality.js";
+import { logicOperators } from "./logic.js";
+import { arithmeticOperators, unaryArithmeticOperators } from "./math.js";
+import { stringOperators } from "./strings.js";
+import { typeOperator } from "./types.js";
+/**
+ * One entry per BinaryOperator union member, assembled statically — a missing
+ * operator is a compile error here, not a runtime throw.
+ */
+export const binaryOperators = {
+    ...equalityOperators,
+    ...comparisonOperators,
+    ...logicOperators,
+    ...arithmeticOperators,
+    ...collectionOperators,
+    ...stringOperators,
+};
+export const unaryOperators = unaryArithmeticOperators;
+export function evaluateBinary(context, operator, left, right) {
+    return binaryOperators[operator](context, left, right);
+}
+export function evaluateUnary(context, operator, operand) {
+    return unaryOperators[operator](context, operand);
+}
+export function evaluateTypeOp(context, operator, operand, type) {
+    return typeOperator(context, operator, operand, type);
+}
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/engine/operators/index.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,WAAW,CAAA;AACzE,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAgBzC;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAyD;IACnF,GAAG,iBAAiB;IACpB,GAAG,mBAAmB;IACtB,GAAG,cAAc;IACjB,GAAG,mBAAmB;IACtB,GAAG,mBAAmB;IACtB,GAAG,eAAe;CACnB,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAuD,wBAAwB,CAAA;AAE1G,MAAM,UAAU,cAAc,CAC5B,OAA0B,EAC1B,QAAwB,EACxB,IAAkB,EAClB,KAAmB;IAEnB,OAAO,eAAe,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAA0B,EAC1B,QAAuB,EACvB,OAAqB;IAErB,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,OAA0B,EAC1B,QAAqB,EACrB,OAAqB,EACrB,IAAmB;IAEnB,OAAO,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;AACvD,CAAC"}

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

@@ -0,0 +1,8 @@
+import type { TypedValue } from '../../values/typed-value.ts';
+export declare const logicOperators: {
+    and: (_context: unknown, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+    or: (_context: unknown, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+    xor: (_context: unknown, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+    implies: (_context: unknown, left: TypedValue[], right: TypedValue[]) => TypedValue[];
+};
+//# sourceMappingURL=logic.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../../src/engine/operators/logic.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AA8C7D,eAAO,MAAM,cAAc;oBAJP,OAAO,QAAQ,UAAU,EAAE,SAAS,UAAU,EAAE,KAAG,UAAU,EAAE;mBAA/D,OAAO,QAAQ,UAAU,EAAE,SAAS,UAAU,EAAE,KAAG,UAAU,EAAE;oBAA/D,OAAO,QAAQ,UAAU,EAAE,SAAS,UAAU,EAAE,KAAG,UAAU,EAAE;wBAA/D,OAAO,QAAQ,UAAU,EAAE,SAAS,UAAU,EAAE,KAAG,UAAU,EAAE;CASpD,CAAA"}

package/dist/engine/operators/logic.js

@@ -0,0 +1,38 @@
+import { booleanSingleton, wrapBoolean } from "../../values/collection.js";
+const and = (a, b) => {
+    if (a === false || b === false) {
+        return false;
+    }
+    return a === true && b === true ? true : undefined;
+};
+const or = (a, b) => {
+    if (a === true || b === true) {
+        return true;
+    }
+    return a === false && b === false ? false : undefined;
+};
+const xor = (a, b) => {
+    if (a === undefined || b === undefined) {
+        return undefined;
+    }
+    return a !== b;
+};
+const implies = (a, b) => {
+    if (a === false) {
+        return true;
+    }
+    if (a === true) {
+        return b;
+    }
+    return b === true ? true : undefined;
+};
+function logicOperator(table) {
+    return (_context, left, right) => wrapBoolean(table(booleanSingleton(left), booleanSingleton(right)));
+}
+export const logicOperators = {
+    and: logicOperator(and),
+    or: logicOperator(or),
+    xor: logicOperator(xor),
+    implies: logicOperator(implies),
+};
+//# sourceMappingURL=logic.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"logic.js","sourceRoot":"","sources":["../../../src/engine/operators/logic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AAW1E,MAAM,GAAG,GAAG,CAAC,CAAM,EAAE,CAAM,EAAO,EAAE;IAClC,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,CAAA;AAED,MAAM,EAAE,GAAG,CAAC,CAAM,EAAE,CAAM,EAAO,EAAE;IACjC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AACvD,CAAC,CAAA;AAED,MAAM,GAAG,GAAG,CAAC,CAAM,EAAE,CAAM,EAAO,EAAE;IAClC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,CAAM,EAAE,CAAM,EAAO,EAAE;IACtC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;QAChB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACf,OAAO,CAAC,CAAA;IACV,CAAC;IACD,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AACtC,CAAC,CAAA;AAED,SAAS,aAAa,CAAC,KAA8B;IACnD,OAAO,CAAC,QAAiB,EAAE,IAAkB,EAAE,KAAmB,EAAgB,EAAE,CAClF,WAAW,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACvE,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,GAAG,EAAE,aAAa,CAAC,GAAG,CAAC;IACvB,EAAE,EAAE,aAAa,CAAC,EAAE,CAAC;IACrB,GAAG,EAAE,aAAa,CAAC,GAAG,CAAC;IACvB,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;CACF,CAAA"}

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

@@ -0,0 +1,13 @@
+import type { UnaryOperator } from '../../parser/ast.ts';
+import { type TypedValue } from '../../values/typed-value.ts';
+import type { UnaryOperatorImpl } from './index.ts';
+export declare const arithmeticOperators: {
+    '+': (_context: unknown, leftInput: TypedValue[], rightInput: TypedValue[]) => TypedValue[];
+    '-': (_context: unknown, leftInput: TypedValue[], rightInput: TypedValue[]) => TypedValue[];
+    '*': (_context: unknown, leftInput: TypedValue[], rightInput: TypedValue[]) => TypedValue[];
+    '/': (_context: unknown, leftInput: TypedValue[], rightInput: TypedValue[]) => TypedValue[];
+    div: (_context: unknown, leftInput: TypedValue[], rightInput: TypedValue[]) => TypedValue[];
+    mod: (_context: unknown, leftInput: TypedValue[], rightInput: TypedValue[]) => TypedValue[];
+};
+export declare const unaryArithmeticOperators: Readonly<Record<UnaryOperator, UnaryOperatorImpl>>;
+//# sourceMappingURL=math.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"math.d.ts","sourceRoot":"","sources":["../../../src/engine/operators/math.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAaxD,OAAO,EAKL,KAAK,UAAU,EAChB,MAAM,6BAA6B,CAAA;AAEpC,OAAO,KAAK,EAAuB,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAyKxE,eAAO,MAAM,mBAAmB;oBAvCZ,OAAO,aAAa,UAAU,EAAE,cAAc,UAAU,EAAE,KAAG,UAAU,EAAE;oBAAzE,OAAO,aAAa,UAAU,EAAE,cAAc,UAAU,EAAE,KAAG,UAAU,EAAE;oBAAzE,OAAO,aAAa,UAAU,EAAE,cAAc,UAAU,EAAE,KAAG,UAAU,EAAE;oBAAzE,OAAO,aAAa,UAAU,EAAE,cAAc,UAAU,EAAE,KAAG,UAAU,EAAE;oBAAzE,OAAO,aAAa,UAAU,EAAE,cAAc,UAAU,EAAE,KAAG,UAAU,EAAE;oBAAzE,OAAO,aAAa,UAAU,EAAE,cAAc,UAAU,EAAE,KAAG,UAAU,EAAE;CA8C9D,CAAA;AAuB/B,eAAO,MAAM,wBAAwB,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAGvF,CAAA"}

package/dist/engine/operators/math.js

@@ -0,0 +1,198 @@
+import { FhirPathTypeError } from "../../errors.js";
+import { singleton } from "../../values/collection.js";
+import { Temporal } from "../../values/datetime.js";
+import { asNumeric, widerKind, wrapNumeric } from "../../values/numeric.js";
+import { alignQuantities, calendarToUcumLoose, coerceQuantity, composeUnits, promoteQuantity, } from "../../values/quantity.js";
+import { addDuration } from "../../values/temporal-arithmetic.js";
+import { SYSTEM_QUANTITY, SYSTEM_STRING, systemTypeOf, } from "../../values/typed-value.js";
+import { canonicalizeUnit, sameDimensions } from "../../values/ucum.js";
+function numericArithmetic(operator, a, b) {
+    const left = asNumeric(a);
+    const right = asNumeric(b);
+    let result;
+    let kind = widerKind(left.kind, right.kind);
+    switch (operator) {
+        case '+':
+            result = left.value.add(right.value);
+            break;
+        case '-':
+            result = left.value.subtract(right.value);
+            break;
+        case '*':
+            result = left.value.multiply(right.value);
+            break;
+        case '/':
+            result = left.value.divide(right.value);
+            kind = 'Decimal';
+            break;
+        case 'div':
+            result = left.value.integerDivide(right.value);
+            kind = kind === 'Decimal' ? 'Integer' : kind;
+            break;
+        default:
+            result = left.value.modulo(right.value);
+            break;
+    }
+    if (result === undefined) {
+        return [];
+    }
+    return [wrapNumeric(result, kind)];
+}
+function temporalArithmetic(operator, a, b) {
+    if (operator !== '+' && operator !== '-') {
+        throw new FhirPathTypeError(`Operator '${operator}' is not defined for date/time values`);
+    }
+    const result = addDuration(a.value, b.value, operator === '+' ? 1 : -1);
+    return result === undefined ? [] : [{ type: a.type, value: result }];
+}
+function quantityArithmetic(operator, left, right) {
+    if (operator === '+' || operator === '-') {
+        // Convertible units align on the more granular one (spec §6.6); else empty.
+        const aligned = alignQuantities(left, right);
+        if (!aligned) {
+            return [];
+        }
+        const value = operator === '+' ? aligned.left.add(aligned.right) : aligned.left.subtract(aligned.right);
+        return [{ type: SYSTEM_QUANTITY, value: { value, unit: aligned.unit, calendar: aligned.calendar } }];
+    }
+    if (operator === '*' || operator === '/') {
+        if (left.calendar || right.calendar) {
+            return calendarMultiplicative(operator, left, right);
+        }
+        const value = operator === '*' ? left.value.multiply(right.value) : left.value.divide(right.value);
+        if (value === undefined) {
+            return [];
+        }
+        const unit = composeUnits(operator, left.unit, right.unit);
+        return [{ type: SYSTEM_QUANTITY, value: { value, unit, calendar: false } }];
+    }
+    throw new FhirPathTypeError(`Operator '${operator}' is not defined for quantities`);
+}
+/**
+ * Calendar durations have no general unit algebra, but two cases are exact:
+ * scaling by a dimensionless number (2 year * 3 = 6 years, 1 year / 2 = 6 months)
+ * and the ratio of two same-family durations (185 months / 185 months = 1 '1').
+ * Everything else is undefined → empty.
+ */
+function calendarMultiplicative(operator, left, right) {
+    if (operator === '/') {
+        if (left.calendar) {
+            const factor = right.calendar ? undefined : dimensionlessValue(right);
+            if (factor !== undefined) {
+                // Scaling a duration keeps its calendar unit: 1 year / 2 = 0.5 years.
+                const scaled = left.value.divide(factor);
+                return scaled === undefined ? [] : [{ type: SYSTEM_QUANTITY, value: { ...left, value: scaled } }];
+            }
+        }
+        // Ratios of durations are well defined; both sides drop to their UCUM twins
+        // (185 months / 185 'mo' = 1 '1'), computing through exact canonical factors.
+        const leftUcum = calendarAsUcum(left);
+        const rightUcum = calendarAsUcum(right);
+        const leftCanonical = canonicalizeUnit(leftUcum.unit);
+        const rightCanonical = canonicalizeUnit(rightUcum.unit);
+        if (leftCanonical && rightCanonical && sameDimensions(leftCanonical, rightCanonical)) {
+            const ratio = leftUcum.value
+                .multiply(leftCanonical.factor)
+                .divide(rightUcum.value.multiply(rightCanonical.factor));
+            return ratio === undefined ? [] : [{ type: SYSTEM_QUANTITY, value: { value: ratio, unit: '1', calendar: false } }];
+        }
+        return quantityArithmetic('/', leftUcum, rightUcum);
+    }
+    const [calendar, scalar] = left.calendar ? [left, right] : [right, left];
+    if (scalar.calendar) {
+        // year * year has no meaning.
+        return [];
+    }
+    const factor = dimensionlessValue(scalar);
+    if (factor === undefined) {
+        return [];
+    }
+    const value = calendar.value.multiply(factor);
+    return [{ type: SYSTEM_QUANTITY, value: { ...calendar, value } }];
+}
+/** The scalar value of a dimensionless quantity (2000 'g/kg' → 2); else undefined. */
+function dimensionlessValue(quantity) {
+    const canonical = canonicalizeUnit(quantity.unit);
+    if (!canonical || Object.keys(canonical.dimensions).length > 0) {
+        return undefined;
+    }
+    return quantity.value.multiply(canonical.factor);
+}
+function calendarAsUcum(quantity) {
+    return quantity.calendar ? calendarToUcumLoose(quantity) : quantity;
+}
+function isTemporalType(item) {
+    return item.value instanceof Temporal;
+}
+function arithmeticOperator(operator) {
+    return (_context, leftInput, rightInput) => {
+        const a = singleton(leftInput);
+        const b = singleton(rightInput);
+        if (a === undefined || b === undefined) {
+            return [];
+        }
+        if (systemTypeOf(a) === SYSTEM_STRING || systemTypeOf(b) === SYSTEM_STRING) {
+            if (operator === '+' && systemTypeOf(a) === SYSTEM_STRING && systemTypeOf(b) === SYSTEM_STRING) {
+                if (a.value === undefined || b.value === undefined) {
+                    // A primitive present only through its _field sibling has no value; +
+                    // propagates that like an empty operand.
+                    return [];
+                }
+                return [{ type: SYSTEM_STRING, value: a.value + b.value }];
+            }
+            throw new FhirPathTypeError(`Operator '${operator}' is not defined for strings`);
+        }
+        if (isTemporalType(a) && coerceQuantity(b)) {
+            return temporalArithmetic(operator, a, { type: SYSTEM_QUANTITY, value: coerceQuantity(b) });
+        }
+        if (isTemporalType(b) && coerceQuantity(a) && operator === '+') {
+            // Addition commutes: 1 year + @2016 works like @2016 + 1 year.
+            return temporalArithmetic(operator, b, { type: SYSTEM_QUANTITY, value: coerceQuantity(a) });
+        }
+        if (asNumeric(a) && asNumeric(b)) {
+            return numericArithmetic(operator, a, b);
+        }
+        if (coerceQuantity(a) || coerceQuantity(b)) {
+            const left = promoteQuantity(a);
+            const right = promoteQuantity(b);
+            if (left && right && operator !== 'div' && operator !== 'mod') {
+                return quantityArithmetic(operator, left, right);
+            }
+            throw new FhirPathTypeError(`Operator '${operator}' is not defined for these quantity operands`);
+        }
+        throw new FhirPathTypeError(`Operator '${operator}' is not defined for ${a.type} and ${b.type}`);
+    };
+}
+export const arithmeticOperators = {
+    '+': arithmeticOperator('+'),
+    '-': arithmeticOperator('-'),
+    '*': arithmeticOperator('*'),
+    '/': arithmeticOperator('/'),
+    div: arithmeticOperator('div'),
+    mod: arithmeticOperator('mod'),
+};
+function unaryOperator(sign) {
+    return (_context, input) => {
+        const item = singleton(input);
+        if (item === undefined) {
+            return [];
+        }
+        const numeric = asNumeric(item);
+        if (numeric) {
+            if (sign === 1) {
+                return [item];
+            }
+            return [wrapNumeric(numeric.value.negate(), numeric.kind)];
+        }
+        if (item.type === SYSTEM_QUANTITY) {
+            const quantity = item.value;
+            return sign === 1 ? [item] : [{ type: SYSTEM_QUANTITY, value: { ...quantity, value: quantity.value.negate() } }];
+        }
+        throw new FhirPathTypeError(`Unary '${sign === 1 ? '+' : '-'}' is not defined for ${item.type}`);
+    };
+}
+export const unaryArithmeticOperators = {
+    '+': unaryOperator(1),
+    '-': unaryOperator(-1),
+};
+//# sourceMappingURL=math.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"math.js","sourceRoot":"","sources":["../../../src/engine/operators/math.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAEnD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AAEnD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AAC3E,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,cAAc,EACd,YAAY,EACZ,eAAe,GAChB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAA;AACjE,OAAO,EAEL,eAAe,EACf,aAAa,EACb,YAAY,GAEb,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAKvE,SAAS,iBAAiB,CAAC,QAA4B,EAAE,CAAa,EAAE,CAAa;IACnF,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAA8C,CAAA;IACtE,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAA8C,CAAA;IACvE,IAAI,MAA2B,CAAA;IAC/B,IAAI,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IAC3C,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,GAAG;YACN,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACpC,MAAK;QACP,KAAK,GAAG;YACN,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACzC,MAAK;QACP,KAAK,GAAG;YACN,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACzC,MAAK;QACP,KAAK,GAAG;YACN,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACvC,IAAI,GAAG,SAAS,CAAA;YAChB,MAAK;QACP,KAAK,KAAK;YACR,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YAC9C,IAAI,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAA;YAC5C,MAAK;QACP;YACE,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACvC,MAAK;IACT,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,EAAE,CAAA;IACX,CAAC;IACD,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAA;AACpC,CAAC;AAED,SAAS,kBAAkB,CAAC,QAA4B,EAAE,CAAa,EAAE,CAAa;IACpF,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACzC,MAAM,IAAI,iBAAiB,CAAC,aAAa,QAAQ,uCAAuC,CAAC,CAAA;IAC3F,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,KAAiB,EAAE,CAAC,CAAC,KAAsB,EAAE,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACpG,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AACtE,CAAC;AAED,SAAS,kBAAkB,CAAC,QAA4B,EAAE,IAAmB,EAAE,KAAoB;IACjG,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACzC,4EAA4E;QAC5E,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAC5C,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,EAAE,CAAA;QACX,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACvG,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;IACtG,CAAC;IACD,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACzC,IAAI,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpC,OAAO,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QACtD,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAClG,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,EAAE,CAAA;QACX,CAAC;QACD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC1D,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;IAC7E,CAAC;IACD,MAAM,IAAI,iBAAiB,CAAC,aAAa,QAAQ,iCAAiC,CAAC,CAAA;AACrF,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,QAAmB,EAAE,IAAmB,EAAE,KAAoB;IAC5F,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAA;YACrE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,sEAAsE;gBACtE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;gBACxC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;YACnG,CAAC;QACH,CAAC;QACD,4EAA4E;QAC5E,8EAA8E;QAC9E,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;QACrC,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;QACvC,MAAM,aAAa,GAAG,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACrD,MAAM,cAAc,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QACvD,IAAI,aAAa,IAAI,cAAc,IAAI,cAAc,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,CAAC;YACrF,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK;iBACzB,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC;iBAC9B,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAA;YAC1D,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;QACpH,CAAC;QACD,OAAO,kBAAkB,CAAC,GAAG,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACxE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,8BAA8B;QAC9B,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC7C,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAA;AACnE,CAAC;AAED,sFAAsF;AACtF,SAAS,kBAAkB,CAAC,QAAuB;IACjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACjD,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;AAClD,CAAC;AAED,SAAS,cAAc,CAAC,QAAuB;IAC7C,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAA;AACrE,CAAC;AAED,SAAS,cAAc,CAAC,IAAgB;IACtC,OAAO,IAAI,CAAC,KAAK,YAAY,QAAQ,CAAA;AACvC,CAAC;AAED,SAAS,kBAAkB,CAAC,QAA4B;IACtD,OAAO,CAAC,QAAiB,EAAE,SAAuB,EAAE,UAAwB,EAAgB,EAAE;QAC5F,MAAM,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,CAAA;QAC9B,MAAM,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;QAC/B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACvC,OAAO,EAAE,CAAA;QACX,CAAC;QACD,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,aAAa,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,aAAa,EAAE,CAAC;YAC3E,IAAI,QAAQ,KAAK,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,aAAa,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,aAAa,EAAE,CAAC;gBAC/F,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBACnD,sEAAsE;oBACtE,yCAAyC;oBACzC,OAAO,EAAE,CAAA;gBACX,CAAC;gBACD,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAG,CAAC,CAAC,KAAgB,GAAI,CAAC,CAAC,KAAgB,EAAE,CAAC,CAAA;YACpF,CAAC;YACD,MAAM,IAAI,iBAAiB,CAAC,aAAa,QAAQ,8BAA8B,CAAC,CAAA;QAClF,CAAC;QACD,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3C,OAAO,kBAAkB,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAC7F,CAAC;QACD,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;YAC/D,+DAA+D;YAC/D,OAAO,kBAAkB,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAC7F,CAAC;QACD,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;QAC1C,CAAC;QACD,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;YAC/B,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;YAChC,IAAI,IAAI,IAAI,KAAK,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAC9D,OAAO,kBAAkB,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;YAClD,CAAC;YACD,MAAM,IAAI,iBAAiB,CAAC,aAAa,QAAQ,8CAA8C,CAAC,CAAA;QAClG,CAAC;QACD,MAAM,IAAI,iBAAiB,CAAC,aAAa,QAAQ,wBAAwB,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;IAClG,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,GAAG,EAAE,kBAAkB,CAAC,GAAG,CAAC;IAC5B,GAAG,EAAE,kBAAkB,CAAC,GAAG,CAAC;IAC5B,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC;IAC9B,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC;CACD,CAAA;AAE/B,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,CAAC,QAAiB,EAAE,KAAmB,EAAgB,EAAE;QAC9D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,EAAE,CAAA;QACX,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;QAC/B,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;gBACf,OAAO,CAAC,IAAI,CAAC,CAAA;YACf,CAAC;YACD,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;QAC5D,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAsB,CAAA;YAC5C,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;QAClH,CAAC;QACD,MAAM,IAAI,iBAAiB,CAAC,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,wBAAwB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;IAClG,CAAC,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,wBAAwB,GAAuD;IAC1F,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC;IACrB,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;CACvB,CAAA"}

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

@@ -0,0 +1,8 @@
+import { type TypedValue } from '../../values/typed-value.ts';
+/** `&` concatenates strings and, unlike `+`, treats an empty operand as `''` (spec §6.6.2). */
+declare function concat(_context: unknown, left: TypedValue[], right: TypedValue[]): TypedValue[];
+export declare const stringOperators: {
+    '&': typeof concat;
+};
+export {};
+//# sourceMappingURL=strings.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"strings.d.ts","sourceRoot":"","sources":["../../../src/engine/operators/strings.ts"],"names":[],"mappings":"AAEA,OAAO,EAA+B,KAAK,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAG1F,+FAA+F;AAC/F,iBAAS,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,EAAE,CAExF;AAcD,eAAO,MAAM,eAAe;;CAEG,CAAA"}

package/dist/engine/operators/strings.js

@@ -0,0 +1,22 @@
+import { FhirPathTypeError } from "../../errors.js";
+import { singleton } from "../../values/collection.js";
+import { SYSTEM_STRING, systemTypeOf } from "../../values/typed-value.js";
+/** `&` concatenates strings and, unlike `+`, treats an empty operand as `''` (spec §6.6.2). */
+function concat(_context, left, right) {
+    return [{ type: SYSTEM_STRING, value: stringOrEmpty(left) + stringOrEmpty(right) }];
+}
+function stringOrEmpty(input) {
+    const item = singleton(input);
+    if (item === undefined || item.value === undefined) {
+        // Empty operand, or a primitive present only through its _field sibling.
+        return '';
+    }
+    if (systemTypeOf(item) !== SYSTEM_STRING) {
+        throw new FhirPathTypeError(`Operator '&' expects strings, got ${item.type}`);
+    }
+    return item.value;
+}
+export const stringOperators = {
+    '&': concat,
+};
+//# sourceMappingURL=strings.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"strings.js","sourceRoot":"","sources":["../../../src/engine/operators/strings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AACtD,OAAO,EAAE,aAAa,EAAE,YAAY,EAAmB,MAAM,6BAA6B,CAAA;AAG1F,+FAA+F;AAC/F,SAAS,MAAM,CAAC,QAAiB,EAAE,IAAkB,EAAE,KAAmB;IACxE,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AACrF,CAAC;AAED,SAAS,aAAa,CAAC,KAAmB;IACxC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;IAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACnD,yEAAyE;QACzE,OAAO,EAAE,CAAA;IACX,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,aAAa,EAAE,CAAC;QACzC,MAAM,IAAI,iBAAiB,CAAC,qCAAqC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;IAC/E,CAAC;IACD,OAAO,IAAI,CAAC,KAAe,CAAA;AAC7B,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,GAAG,EAAE,MAAM;CACkB,CAAA"}

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

@@ -0,0 +1,3 @@
+import type { TypeOperatorImpl } from './index.ts';
+export declare const typeOperator: TypeOperatorImpl;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/engine/operators/types.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAElD,eAAO,MAAM,YAAY,EAAE,gBAW1B,CAAA"}

package/dist/engine/operators/types.js

@@ -0,0 +1,15 @@
+import { singleton, wrapBoolean } from "../../values/collection.js";
+import { itemMatchesType } from "../type-matching.js";
+export const typeOperator = (context, operator, operand, type) => {
+    const item = singleton(operand);
+    if (item === undefined) {
+        return [];
+    }
+    // `is` walks subtypes; the `as` cast demands the exact type (spec + official tests).
+    const matches = itemMatchesType(context, item, type.parts, { exact: operator === 'as' });
+    if (operator === 'is') {
+        return wrapBoolean(matches);
+    }
+    return matches ? [item] : [];
+};
+//# sourceMappingURL=types.js.map