fhirpath-ts 0.0.0-bootstrap.0

package/dist/values/temporal-compare.js

@@ -0,0 +1,59 @@
+import { GREGORIAN_UTC_YEAR_OFFSET } from "./datetime.js";
+/**
+ * Precision levels for comparison. Seconds and milliseconds are one level: the spec
+ * treats the second field as a decimal, so `@T10:00:00` and `@T10:00:00.0` compare
+ * as equal values rather than as a precision mismatch.
+ */
+const LEVELS = ['year', 'month', 'day', 'hour', 'minute', 'second'];
+/**
+ * Compare two temporal values per spec §6.1/§6.4: equal at the shared precision but
+ * with different precisions → 'differentPrecision' (empty for `=` and `<`); a time
+ * never compares with a date/dateTime. Values without a timezone are treated as UTC.
+ */
+export function compareTemporal(a, b) {
+    if ((a.kind === 'time') !== (b.kind === 'time')) {
+        return 'incompatible';
+    }
+    const levelA = comparisonLevel(a);
+    const levelB = comparisonLevel(b);
+    const shared = Math.min(levelA, levelB);
+    // At time precision, a value with a timezone and one without cannot be ordered (spec §6.1).
+    if (shared >= 3 && (a.timezoneOffsetMinutes === undefined) !== (b.timezoneOffsetMinutes === undefined)) {
+        return 'differentPrecision';
+    }
+    const rankA = rank(a, shared);
+    const rankB = rank(b, shared);
+    if (rankA < rankB) {
+        return -1;
+    }
+    if (rankA > rankB) {
+        return 1;
+    }
+    return levelA === levelB ? 0 : 'differentPrecision';
+}
+function comparisonLevel(value) {
+    const precision = value.precision === 'millisecond' ? 'second' : value.precision;
+    return LEVELS.indexOf(precision);
+}
+/**
+ * Milliseconds on a common axis, truncated to `level`. Years are shifted by +400 to
+ * dodge Date.UTC's 0-99 → 19xx mapping; the Gregorian calendar repeats exactly every
+ * 400 years, so ordering and equality are unaffected.
+ */
+function rank(value, level) {
+    const year = (value.year ?? 1970) + GREGORIAN_UTC_YEAR_OFFSET;
+    const month = level >= 1 ? (value.month ?? 1) : 1;
+    const day = level >= 2 ? (value.day ?? 1) : 1;
+    const hour = level >= 3 ? (value.hour ?? 0) : 0;
+    let minute = level >= 4 ? (value.minute ?? 0) : 0;
+    let milliseconds = 0;
+    if (level >= 5) {
+        const fraction = value.fraction === undefined ? 0 : Number.parseFloat(`0.${value.fraction}`);
+        milliseconds = Math.round(((value.second ?? 0) + fraction) * 1000);
+    }
+    if (level >= 3 && value.timezoneOffsetMinutes !== undefined) {
+        minute -= value.timezoneOffsetMinutes;
+    }
+    return Date.UTC(year, month - 1, day, hour, minute, 0, milliseconds);
+}
+//# sourceMappingURL=temporal-compare.js.map

package/dist/values/temporal-compare.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"temporal-compare.js","sourceRoot":"","sources":["../../src/values/temporal-compare.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAiB,MAAM,eAAe,CAAA;AAExE;;;;GAIG;AACH,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAU,CAAA;AAK5E;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,CAAW,EAAE,CAAW;IACtD,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QAChD,OAAO,cAAc,CAAA;IACvB,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;IACjC,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACvC,4FAA4F;IAC5F,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB,KAAK,SAAS,CAAC,EAAE,CAAC;QACvG,OAAO,oBAAoB,CAAA;IAC7B,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IAC7B,IAAI,KAAK,GAAG,KAAK,EAAE,CAAC;QAClB,OAAO,CAAC,CAAC,CAAA;IACX,CAAC;IACD,IAAI,KAAK,GAAG,KAAK,EAAE,CAAC;QAClB,OAAO,CAAC,CAAA;IACV,CAAC;IACD,OAAO,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAA;AACrD,CAAC;AAED,SAAS,eAAe,CAAC,KAAe;IACtC,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAA;IAChF,OAAO,MAAM,CAAC,OAAO,CAAC,SAAkB,CAAC,CAAA;AAC3C,CAAC;AAED;;;;GAIG;AACH,SAAS,IAAI,CAAC,KAAe,EAAE,KAAa;IAC1C,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,yBAAyB,CAAA;IAC7D,MAAM,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjD,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7C,MAAM,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,IAAI,MAAM,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjD,IAAI,YAAY,GAAG,CAAC,CAAA;IACpB,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;QAC5F,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAA;IACpE,CAAC;IACD,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAA;IACvC,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,YAAY,CAAC,CAAA;AACtE,CAAC"}

package/dist/values/type-compat.d.ts

@@ -0,0 +1,47 @@
+/** Shared, conservative type compatibility for runtime dispatch and static checks. */
+import type { ModelProvider } from '../model/provider.ts';
+/** Behavior families used by the static checks. */
+export type ValueKind = 'Boolean' | 'String' | 'Numeric' | 'Temporal' | 'Quantity' | 'Complex';
+export declare function valueKindOfTypeName(canonical: string): ValueKind;
+/**
+ * Resolves a focus type through its full name, then its local name. Unknown names
+ * return undefined so callers can skip claims the model cannot support.
+ */
+export declare function canonicalFocusType(model: ModelProvider, raw: string): string | undefined;
+/**
+ * Returns whether one value may have both types. Compatible value kinds and
+ * either direction of the model hierarchy count. The model check must still run
+ * when kinds differ because `SimpleQuantity` and `Quantity` use different kinds.
+ */
+export declare function typesOverlap(model: ModelProvider, a: string, b: string): boolean;
+/**
+ * The proof that a call is on the wrong focus: `wanted` lists the declared
+ * types and `found` lists the focus types, both as canonical names with
+ * duplicates removed. Callers report those two lists and add nothing of their
+ * own.
+ */
+export interface UnsatisfiedInput {
+    wanted: string[];
+    found: string[];
+}
+/**
+ * Returns proof only when every known focus type is incompatible with every
+ * declared input type. Missing models, unknown types, empty focus, and any
+ * matching type remain allowed. Runtime dispatch and the analyzer share this
+ * decision and report it in their own way.
+ */
+export declare function unsatisfiedInput(model: ModelProvider | undefined, declared: readonly string[] | undefined, focus: Iterable<string>): UnsatisfiedInput | undefined;
+/** Either the declaration a call resolves to, or the proof that none of them fits. */
+export type InputResolution<T> = {
+    resolved: T;
+} | {
+    unsatisfied: UnsatisfiedInput;
+};
+/**
+ * Selects the first same-name declaration accepted by the focus. If none fits,
+ * the result combines their expected and found types into one error. Unknown or
+ * empty focus selects the first declaration; registration prevents ambiguous
+ * known focus types.
+ */
+export declare function resolveByInput<T>(model: ModelProvider | undefined, candidates: readonly T[], declaredTypesOf: (candidate: T) => readonly string[] | undefined, focus: readonly string[]): InputResolution<T>;
+//# sourceMappingURL=type-compat.d.ts.map

package/dist/values/type-compat.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-compat.d.ts","sourceRoot":"","sources":["../../src/values/type-compat.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAGzD,mDAAmD;AACnD,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAA;AAE9F,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAoBhE;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKxF;AAUD;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAMhF;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,KAAK,EAAE,MAAM,EAAE,CAAA;CAChB;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,aAAa,GAAG,SAAS,EAChC,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EACvC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GACtB,gBAAgB,GAAG,SAAS,CAmB9B;AAED,sFAAsF;AACtF,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,WAAW,EAAE,gBAAgB,CAAA;CAAE,CAAA;AAEpF;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAC9B,KAAK,EAAE,aAAa,GAAG,SAAS,EAChC,UAAU,EAAE,SAAS,CAAC,EAAE,EACxB,eAAe,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,SAAS,MAAM,EAAE,GAAG,SAAS,EAChE,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,eAAe,CAAC,CAAC,CAAC,CAepB"}

package/dist/values/type-compat.js

@@ -0,0 +1,100 @@
+import { FHIR_PRIMITIVE_TO_SYSTEM, typeLocalName } from "./typed-value.js";
+export function valueKindOfTypeName(canonical) {
+    const system = canonical.startsWith('System.') ? canonical : FHIR_PRIMITIVE_TO_SYSTEM[typeLocalName(canonical)];
+    switch (system) {
+        case 'System.Boolean':
+            return 'Boolean';
+        case 'System.String':
+            return 'String';
+        case 'System.Integer':
+        case 'System.Long':
+        case 'System.Decimal':
+            return 'Numeric';
+        case 'System.Date':
+        case 'System.DateTime':
+        case 'System.Time':
+            return 'Temporal';
+        case 'System.Quantity':
+            return 'Quantity';
+        default:
+            return canonical === 'FHIR.Quantity' || typeLocalName(canonical) === 'Quantity' ? 'Quantity' : 'Complex';
+    }
+}
+/**
+ * Resolves a focus type through its full name, then its local name. Unknown names
+ * return undefined so callers can skip claims the model cannot support.
+ */
+export function canonicalFocusType(model, raw) {
+    if (raw.startsWith('System.')) {
+        return raw;
+    }
+    return model.resolveType(raw) ?? model.resolveType(typeLocalName(raw));
+}
+/** True when every `type` value is a `base` value, including FHIR-primitive → System subtyping. */
+function typeSatisfies(model, type, base) {
+    if (type === base || model.isSubtypeOf(type, base)) {
+        return true;
+    }
+    return base.startsWith('System.') && FHIR_PRIMITIVE_TO_SYSTEM[typeLocalName(type)] === base;
+}
+/**
+ * Returns whether one value may have both types. Compatible value kinds and
+ * either direction of the model hierarchy count. The model check must still run
+ * when kinds differ because `SimpleQuantity` and `Quantity` use different kinds.
+ */
+export function typesOverlap(model, a, b) {
+    const kind = valueKindOfTypeName(a);
+    if (kind !== 'Complex' && kind === valueKindOfTypeName(b)) {
+        return true;
+    }
+    return typeSatisfies(model, a, b) || typeSatisfies(model, b, a);
+}
+/**
+ * Returns proof only when every known focus type is incompatible with every
+ * declared input type. Missing models, unknown types, empty focus, and any
+ * matching type remain allowed. Runtime dispatch and the analyzer share this
+ * decision and report it in their own way.
+ */
+export function unsatisfiedInput(model, declared, focus) {
+    if (model === undefined || declared === undefined) {
+        return undefined;
+    }
+    const wanted = declared
+        .map(type => canonicalFocusType(model, type))
+        .filter((type) => type !== undefined);
+    if (wanted.length === 0) {
+        return undefined;
+    }
+    const found = new Set();
+    for (const type of focus) {
+        const canonical = canonicalFocusType(model, type);
+        if (canonical === undefined || wanted.some(want => typesOverlap(model, canonical, want))) {
+            return undefined;
+        }
+        found.add(canonical);
+    }
+    return found.size === 0 ? undefined : { wanted, found: [...found] };
+}
+/**
+ * Selects the first same-name declaration accepted by the focus. If none fits,
+ * the result combines their expected and found types into one error. Unknown or
+ * empty focus selects the first declaration; registration prevents ambiguous
+ * known focus types.
+ */
+export function resolveByInput(model, candidates, declaredTypesOf, focus) {
+    const misses = [];
+    for (const candidate of candidates) {
+        const miss = unsatisfiedInput(model, declaredTypesOf(candidate), focus);
+        if (miss === undefined) {
+            return { resolved: candidate };
+        }
+        misses.push(miss);
+    }
+    return {
+        unsatisfied: {
+            wanted: [...new Set(misses.flatMap(miss => miss.wanted))],
+            found: [...new Set(misses.flatMap(miss => miss.found))],
+        },
+    };
+}
+//# sourceMappingURL=type-compat.js.map

package/dist/values/type-compat.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-compat.js","sourceRoot":"","sources":["../../src/values/type-compat.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,wBAAwB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAK1E,MAAM,UAAU,mBAAmB,CAAC,SAAiB;IACnD,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,wBAAwB,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAA;IAC/G,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,gBAAgB;YACnB,OAAO,SAAS,CAAA;QAClB,KAAK,eAAe;YAClB,OAAO,QAAQ,CAAA;QACjB,KAAK,gBAAgB,CAAC;QACtB,KAAK,aAAa,CAAC;QACnB,KAAK,gBAAgB;YACnB,OAAO,SAAS,CAAA;QAClB,KAAK,aAAa,CAAC;QACnB,KAAK,iBAAiB,CAAC;QACvB,KAAK,aAAa;YAChB,OAAO,UAAU,CAAA;QACnB,KAAK,iBAAiB;YACpB,OAAO,UAAU,CAAA;QACnB;YACE,OAAO,SAAS,KAAK,eAAe,IAAI,aAAa,CAAC,SAAS,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5G,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAoB,EAAE,GAAW;IAClE,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,OAAO,GAAG,CAAA;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAA;AACxE,CAAC;AAED,mGAAmG;AACnG,SAAS,aAAa,CAAC,KAAoB,EAAE,IAAY,EAAE,IAAY;IACrE,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,wBAAwB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAA;AAC7F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAoB,EAAE,CAAS,EAAE,CAAS;IACrE,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAA;IACnC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AACjE,CAAC;AAaD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAgC,EAChC,QAAuC,EACvC,KAAuB;IAEvB,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ;SACpB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;SAC5C,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IACvD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACjD,IAAI,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YACzF,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACtB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAA;AACrE,CAAC;AAKD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAgC,EAChC,UAAwB,EACxB,eAAgE,EAChE,KAAwB;IAExB,MAAM,MAAM,GAAuB,EAAE,CAAA;IACrC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,EAAE,eAAe,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAA;QACvE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAA;QAChC,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACnB,CAAC;IACD,OAAO;QACL,WAAW,EAAE;YACX,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YACzD,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;SACxD;KACF,CAAA;AACH,CAAC"}

package/dist/values/typed-value.d.ts

@@ -0,0 +1,48 @@
+import { Decimal } from './decimal.ts';
+export declare const SYSTEM_BOOLEAN = "System.Boolean";
+export declare const SYSTEM_STRING = "System.String";
+export declare const SYSTEM_INTEGER = "System.Integer";
+export declare const SYSTEM_LONG = "System.Long";
+export declare const SYSTEM_DECIMAL = "System.Decimal";
+export declare const SYSTEM_DATE = "System.Date";
+export declare const SYSTEM_DATETIME = "System.DateTime";
+export declare const SYSTEM_TIME = "System.Time";
+export declare const SYSTEM_QUANTITY = "System.Quantity";
+/** Placeholder type for plain objects when no model knows better. */
+export declare const OBJECT_TYPE = "Object";
+/** A minimal Quantity value; unit algebra and UCUM conversion land in the quantity phase. */
+export interface QuantityValue {
+    value: Decimal;
+    unit: string;
+    /** True for calendar duration units (`4 days`), false for UCUM strings (`4 'd'`). */
+    calendar: boolean;
+}
+/**
+ * A value paired with its type name, e.g. `System.Integer` or `FHIR.Patient`.
+ * Runtime representations: Boolean → boolean, String → string, Integer → number,
+ * Long → bigint, Decimal → Decimal, Date/DateTime/Time → Temporal,
+ * Quantity → QuantityValue, complex types → raw JSON.
+ */
+export interface TypedValue {
+    type: string;
+    value: unknown;
+    /** For FHIR primitives navigated with a model: the `_field` sibling (id/extension). */
+    primitiveElement?: unknown;
+}
+/** FHIR primitive type names to their System twins (FHIR spec "types" page). */
+export declare const FHIR_PRIMITIVE_TO_SYSTEM: Readonly<Record<string, string>>;
+/**
+ * The System type a value behaves as: System types answer themselves, FHIR
+ * primitives answer their twin (`FHIR.code` → `System.String`), everything else
+ * undefined. Operators dispatch on this so FHIR-typed primitives keep working.
+ */
+export declare function systemTypeOf(item: TypedValue): string | undefined;
+/** The local part of a qualified type name: `System.Boolean` → `Boolean`. */
+export declare function typeLocalName(type: string): string;
+/** Wrap a raw JSON value, inferring System types where possible. */
+export declare function toTypedValue(value: unknown): TypedValue;
+/** Wrap an input (single value, array, or undefined) as a collection. */
+export declare function toCollection(value: unknown): TypedValue[];
+/** Unwrap for the public API: internal value objects become plain JS values. */
+export declare function unwrap(typed: TypedValue): unknown;
+//# sourceMappingURL=typed-value.d.ts.map

package/dist/values/typed-value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-value.d.ts","sourceRoot":"","sources":["../../src/values/typed-value.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAEtC,eAAO,MAAM,cAAc,mBAAmB,CAAA;AAC9C,eAAO,MAAM,aAAa,kBAAkB,CAAA;AAC5C,eAAO,MAAM,cAAc,mBAAmB,CAAA;AAC9C,eAAO,MAAM,WAAW,gBAAgB,CAAA;AACxC,eAAO,MAAM,cAAc,mBAAmB,CAAA;AAC9C,eAAO,MAAM,WAAW,gBAAgB,CAAA;AACxC,eAAO,MAAM,eAAe,oBAAoB,CAAA;AAChD,eAAO,MAAM,WAAW,gBAAgB,CAAA;AACxC,eAAO,MAAM,eAAe,oBAAoB,CAAA;AAEhD,qEAAqE;AACrE,eAAO,MAAM,WAAW,WAAW,CAAA;AAEnC,6FAA6F;AAC7F,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,OAAO,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,qFAAqF;IACrF,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,OAAO,CAAA;IACd,uFAAuF;IACvF,gBAAgB,CAAC,EAAE,OAAO,CAAA;CAC3B;AAED,gFAAgF;AAChF,eAAO,MAAM,wBAAwB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAsBrE,CAAA;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAKjE;AAED,6EAA6E;AAC7E,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGlD;AAED,oEAAoE;AACpE,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CA0BvD;AAUD,yEAAyE;AACzE,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,EAAE,CAQzD;AAED,gFAAgF;AAChF,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAajD"}

package/dist/values/typed-value.js

@@ -0,0 +1,117 @@
+import { Decimal } from "./decimal.js";
+export const SYSTEM_BOOLEAN = 'System.Boolean';
+export const SYSTEM_STRING = 'System.String';
+export const SYSTEM_INTEGER = 'System.Integer';
+export const SYSTEM_LONG = 'System.Long';
+export const SYSTEM_DECIMAL = 'System.Decimal';
+export const SYSTEM_DATE = 'System.Date';
+export const SYSTEM_DATETIME = 'System.DateTime';
+export const SYSTEM_TIME = 'System.Time';
+export const SYSTEM_QUANTITY = 'System.Quantity';
+/** Placeholder type for plain objects when no model knows better. */
+export const OBJECT_TYPE = 'Object';
+/** FHIR primitive type names to their System twins (FHIR spec "types" page). */
+export const FHIR_PRIMITIVE_TO_SYSTEM = {
+    boolean: 'System.Boolean',
+    integer: 'System.Integer',
+    positiveInt: 'System.Integer',
+    unsignedInt: 'System.Integer',
+    integer64: 'System.Long',
+    decimal: 'System.Decimal',
+    date: 'System.Date',
+    dateTime: 'System.DateTime',
+    instant: 'System.DateTime',
+    time: 'System.Time',
+    string: 'System.String',
+    code: 'System.String',
+    id: 'System.String',
+    markdown: 'System.String',
+    uri: 'System.String',
+    url: 'System.String',
+    canonical: 'System.String',
+    oid: 'System.String',
+    uuid: 'System.String',
+    base64Binary: 'System.String',
+    xhtml: 'System.String',
+};
+/**
+ * The System type a value behaves as: System types answer themselves, FHIR
+ * primitives answer their twin (`FHIR.code` → `System.String`), everything else
+ * undefined. Operators dispatch on this so FHIR-typed primitives keep working.
+ */
+export function systemTypeOf(item) {
+    if (item.type.startsWith('System.')) {
+        return item.type;
+    }
+    return FHIR_PRIMITIVE_TO_SYSTEM[typeLocalName(item.type)];
+}
+/** The local part of a qualified type name: `System.Boolean` → `Boolean`. */
+export function typeLocalName(type) {
+    const separator = type.lastIndexOf('.');
+    return separator === -1 ? type : type.slice(separator + 1);
+}
+/** Wrap a raw JSON value, inferring System types where possible. */
+export function toTypedValue(value) {
+    if (typeof value === 'boolean') {
+        return { type: SYSTEM_BOOLEAN, value };
+    }
+    if (typeof value === 'string') {
+        return { type: SYSTEM_STRING, value };
+    }
+    if (typeof value === 'bigint') {
+        return { type: SYSTEM_LONG, value };
+    }
+    if (typeof value === 'number') {
+        if (Number.isSafeInteger(value)) {
+            return { type: SYSTEM_INTEGER, value };
+        }
+        const decimal = Decimal.fromNumber(value);
+        // NaN/Infinity have no FHIRPath representation; keep them opaque so operations
+        // against them fail with a clean type error instead of a raw TypeError.
+        return decimal === undefined ? { type: OBJECT_TYPE, value } : { type: SYSTEM_DECIMAL, value: decimal };
+    }
+    if (value instanceof Decimal) {
+        return { type: SYSTEM_DECIMAL, value };
+    }
+    if (isResource(value)) {
+        return { type: `FHIR.${value.resourceType}`, value };
+    }
+    return { type: OBJECT_TYPE, value };
+}
+function isResource(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        typeof value.resourceType === 'string');
+}
+/** Wrap an input (single value, array, or undefined) as a collection. */
+export function toCollection(value) {
+    if (value === undefined || value === null) {
+        return [];
+    }
+    if (Array.isArray(value)) {
+        return value.flatMap(item => toCollection(item));
+    }
+    return [toTypedValue(value)];
+}
+/** Unwrap for the public API: internal value objects become plain JS values. */
+export function unwrap(typed) {
+    const value = typed.value;
+    if (value instanceof Decimal) {
+        return value.toNumber();
+    }
+    if (isTemporal(value)) {
+        return value.toString();
+    }
+    if (isQuantity(typed)) {
+        const quantity = value;
+        return { value: quantity.value.toNumber(), unit: quantity.unit };
+    }
+    return value;
+}
+function isTemporal(value) {
+    return typeof value === 'object' && value !== null && 'kind' in value && 'toLiteralString' in value;
+}
+function isQuantity(typed) {
+    return typed.type === SYSTEM_QUANTITY;
+}
+//# sourceMappingURL=typed-value.js.map

package/dist/values/typed-value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-value.js","sourceRoot":"","sources":["../../src/values/typed-value.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAEtC,MAAM,CAAC,MAAM,cAAc,GAAG,gBAAgB,CAAA;AAC9C,MAAM,CAAC,MAAM,aAAa,GAAG,eAAe,CAAA;AAC5C,MAAM,CAAC,MAAM,cAAc,GAAG,gBAAgB,CAAA;AAC9C,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAA;AACxC,MAAM,CAAC,MAAM,cAAc,GAAG,gBAAgB,CAAA;AAC9C,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAA;AACxC,MAAM,CAAC,MAAM,eAAe,GAAG,iBAAiB,CAAA;AAChD,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAA;AACxC,MAAM,CAAC,MAAM,eAAe,GAAG,iBAAiB,CAAA;AAEhD,qEAAqE;AACrE,MAAM,CAAC,MAAM,WAAW,GAAG,QAAQ,CAAA;AAuBnC,gFAAgF;AAChF,MAAM,CAAC,MAAM,wBAAwB,GAAqC;IACxE,OAAO,EAAE,gBAAgB;IACzB,OAAO,EAAE,gBAAgB;IACzB,WAAW,EAAE,gBAAgB;IAC7B,WAAW,EAAE,gBAAgB;IAC7B,SAAS,EAAE,aAAa;IACxB,OAAO,EAAE,gBAAgB;IACzB,IAAI,EAAE,aAAa;IACnB,QAAQ,EAAE,iBAAiB;IAC3B,OAAO,EAAE,iBAAiB;IAC1B,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,eAAe;IACvB,IAAI,EAAE,eAAe;IACrB,EAAE,EAAE,eAAe;IACnB,QAAQ,EAAE,eAAe;IACzB,GAAG,EAAE,eAAe;IACpB,GAAG,EAAE,eAAe;IACpB,SAAS,EAAE,eAAe;IAC1B,GAAG,EAAE,eAAe;IACpB,IAAI,EAAE,eAAe;IACrB,YAAY,EAAE,eAAe;IAC7B,KAAK,EAAE,eAAe;CACvB,CAAA;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAgB;IAC3C,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,IAAI,CAAA;IAClB,CAAC;IACD,OAAO,wBAAwB,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;AAC3D,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;IACvC,OAAO,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAA;IACxC,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAA;IACvC,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAA;IACrC,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAA;QACxC,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;QACzC,+EAA+E;QAC/E,wEAAwE;QACxE,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;IACxG,CAAC;IACD,IAAI,KAAK,YAAY,OAAO,EAAE,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAA;IACxC,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,QAAQ,KAAK,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,CAAA;IACtD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAA;AACrC,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAQ,KAAoC,CAAC,YAAY,KAAK,QAAQ,CACvE,CAAA;AACH,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,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,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;IAClD,CAAC;IACD,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;AAC9B,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,MAAM,CAAC,KAAiB;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAA;IACzB,IAAI,KAAK,YAAY,OAAO,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAA;IACzB,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAA;IACzB,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,KAAsB,CAAA;QACvC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAA;IAClE,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,iBAAiB,IAAI,KAAK,CAAA;AACrG,CAAC;AAED,SAAS,UAAU,CAAC,KAAiB;IACnC,OAAO,KAAK,CAAC,IAAI,KAAK,eAAe,CAAA;AACvC,CAAC"}

package/dist/values/ucum.d.ts

@@ -0,0 +1,14 @@
+import { Decimal } from './decimal.ts';
+export interface CanonicalUnit {
+    /** Multiplier to base units, exact. */
+    factor: Decimal;
+    /** Dimension exponents, e.g. `g/m` → { g: 1, m: -1 }. Dimensionless entries are dropped. */
+    dimensions: Readonly<Record<string, number>>;
+}
+/**
+ * Reduce a UCUM expression (`mg`, `m2`, `g/m`, `kg.m/s2`) to base dimensions.
+ * Undefined for units outside the table — they stay opaque.
+ */
+export declare function canonicalizeUnit(unit: string): CanonicalUnit | undefined;
+export declare function sameDimensions(a: CanonicalUnit, b: CanonicalUnit): boolean;
+//# sourceMappingURL=ucum.d.ts.map

package/dist/values/ucum.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ucum.d.ts","sourceRoot":"","sources":["../../src/values/ucum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AA6DtC,MAAM,WAAW,aAAa;IAC5B,uCAAuC;IACvC,MAAM,EAAE,OAAO,CAAA;IACf,4FAA4F;IAC5F,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAC7C;AAuED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAiCxE;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,OAAO,CAI1E"}

package/dist/values/ucum.js

@@ -0,0 +1,146 @@
+import { Decimal } from "./decimal.js";
+const ATOMS = {
+    m: { dimension: 'm', factor: '1', prefixable: true },
+    g: { dimension: 'g', factor: '1', prefixable: true },
+    s: { dimension: 's', factor: '1', prefixable: true },
+    mol: { dimension: 'mol', factor: '1', prefixable: true },
+    L: { dimension: 'm', factor: '0.001', prefixable: true }, // handled as m^3 via exponent bump below
+    l: { dimension: 'm', factor: '0.001', prefixable: true },
+    min: { dimension: 's', factor: '60', prefixable: false },
+    h: { dimension: 's', factor: '3600', prefixable: false },
+    d: { dimension: 's', factor: '86400', prefixable: false },
+    wk: { dimension: 's', factor: '604800', prefixable: false },
+    // UCUM's annum is the Julian year; the Julian month is a twelfth of it.
+    a: { dimension: 's', factor: '31557600', prefixable: false },
+    mo: { dimension: 's', factor: '2629800', prefixable: false },
+    '[lb_av]': { dimension: 'g', factor: '453.59237', prefixable: false },
+    '[oz_av]': { dimension: 'g', factor: '28.349523125', prefixable: false },
+    '[in_i]': { dimension: 'm', factor: '0.0254', prefixable: false },
+    '[ft_i]': { dimension: 'm', factor: '0.3048', prefixable: false },
+    '1': { dimension: '1', factor: '1', prefixable: false },
+    '%': { dimension: '1', factor: '0.01', prefixable: false },
+};
+/** Units that are volumes even though their atom row reduces through meters. */
+const VOLUME_ATOMS = new Set(['L', 'l']);
+const PREFIXES = {
+    T: '1000000000000',
+    G: '1000000000',
+    M: '1000000',
+    k: '1000',
+    h: '100',
+    da: '10',
+    d: '0.1',
+    c: '0.01',
+    m: '0.001',
+    u: '0.000001',
+    n: '0.000000001',
+    p: '0.000000000001',
+};
+/**
+ * Real UCUM exponents are single-digit (m2, cm3, s2). Larger ones would make
+ * powDecimal multiply huge exact BigInts — a tiny expression could hang the
+ * process — so anything past this stays an opaque unit.
+ */
+const MAX_EXPONENT_MAGNITUDE = 9;
+/** One `atom` optionally followed by an integer exponent, e.g. `m2` or `cm3`. */
+function parseComponent(text) {
+    // Whole-text atoms first, so '1' is the unity unit rather than an empty atom with exponent 1.
+    const whole = resolveAtom(text);
+    if (whole) {
+        const volumeBump = VOLUME_ATOMS.has(whole.atomKey) ? 3 : 1;
+        return { factor: whole.factor, dimension: whole.atom.dimension, exponent: volumeBump };
+    }
+    const match = /^(.*?)(-?\d+)?$/.exec(text);
+    /* v8 ignore next 3 -- the regex cannot fail on any string */
+    if (!match) {
+        return undefined;
+    }
+    const [, atomText = '', exponentText] = match;
+    const exponent = exponentText === undefined ? 1 : Number.parseInt(exponentText, 10);
+    if (Math.abs(exponent) > MAX_EXPONENT_MAGNITUDE) {
+        return undefined;
+    }
+    const resolved = resolveAtom(atomText);
+    if (!resolved) {
+        return undefined;
+    }
+    const volumeBump = VOLUME_ATOMS.has(resolved.atomKey) ? 3 : 1;
+    const factor = powDecimal(resolved.factor, exponent);
+    return { factor, dimension: resolved.atom.dimension, exponent: exponent * volumeBump };
+}
+function resolveAtom(text) {
+    const direct = ATOMS[text];
+    if (direct) {
+        return { atom: direct, atomKey: text, factor: Decimal.fromString(direct.factor) };
+    }
+    for (const [prefix, prefixFactor] of Object.entries(PREFIXES)) {
+        if (text.startsWith(prefix)) {
+            const rest = text.slice(prefix.length);
+            const atom = ATOMS[rest];
+            if (atom?.prefixable) {
+                const factor = Decimal.fromString(atom.factor).multiply(Decimal.fromString(prefixFactor));
+                return { atom, atomKey: rest, factor };
+            }
+        }
+    }
+    return undefined;
+}
+function powDecimal(base, exponent) {
+    if (exponent === 0) {
+        return new Decimal(1n, 0);
+    }
+    let result = new Decimal(1n, 0);
+    for (let i = 0; i < Math.abs(exponent); i++) {
+        result = result.multiply(base);
+    }
+    if (exponent < 0) {
+        // Factors are exact positive decimals, so the inverse always exists.
+        return new Decimal(1n, 0).divide(result);
+    }
+    return result;
+}
+/**
+ * Reduce a UCUM expression (`mg`, `m2`, `g/m`, `kg.m/s2`) to base dimensions.
+ * Undefined for units outside the table — they stay opaque.
+ */
+export function canonicalizeUnit(unit) {
+    const [numerator, ...denominators] = unit.split('/');
+    let factor = new Decimal(1n, 0);
+    const dimensions = {};
+    const apply = (componentText, sign) => {
+        const component = parseComponent(componentText);
+        if (!component) {
+            return false;
+        }
+        factor = sign === 1 ? factor.multiply(component.factor) : factor.divide(component.factor);
+        if (component.dimension !== '1') {
+            const next = (dimensions[component.dimension] ?? 0) + sign * component.exponent;
+            if (next === 0) {
+                delete dimensions[component.dimension];
+            }
+            else {
+                dimensions[component.dimension] = next;
+            }
+        }
+        return true;
+    };
+    for (const part of (numerator ?? '').split('.')) {
+        if (!apply(part, 1)) {
+            return undefined;
+        }
+    }
+    for (const denominator of denominators) {
+        for (const part of denominator.split('.')) {
+            if (!apply(part, -1)) {
+                return undefined;
+            }
+        }
+    }
+    return { factor, dimensions };
+}
+export function sameDimensions(a, b) {
+    const keysA = Object.keys(a.dimensions);
+    const keysB = Object.keys(b.dimensions);
+    return keysA.length === keysB.length && keysA.every(key => a.dimensions[key] === b.dimensions[key]);
+}
+//# sourceMappingURL=ucum.js.map

package/dist/values/ucum.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ucum.js","sourceRoot":"","sources":["../../src/values/ucum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAqBtC,MAAM,KAAK,GAAuC;IAChD,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE;IACpD,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE;IACpD,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE;IACpD,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE;IACxD,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,yCAAyC;IACnG,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE;IACxD,GAAG,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE;IACxD,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE;IACxD,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE;IACzD,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE;IAC3D,wEAAwE;IACxE,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE;IAC5D,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE;IAC5D,SAAS,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE;IACrE,SAAS,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE;IACxE,QAAQ,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE;IACjE,QAAQ,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE;IACjE,GAAG,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE;IACvD,GAAG,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE;CAC3D,CAAA;AAED,gFAAgF;AAChF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;AAExC,MAAM,QAAQ,GAAqC;IACjD,CAAC,EAAE,eAAe;IAClB,CAAC,EAAE,YAAY;IACf,CAAC,EAAE,SAAS;IACZ,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,KAAK;IACR,EAAE,EAAE,IAAI;IACR,CAAC,EAAE,KAAK;IACR,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,OAAO;IACV,CAAC,EAAE,UAAU;IACb,CAAC,EAAE,aAAa;IAChB,CAAC,EAAE,gBAAgB;CACpB,CAAA;AASD;;;;GAIG;AACH,MAAM,sBAAsB,GAAG,CAAC,CAAA;AAEhC,iFAAiF;AACjF,SAAS,cAAc,CAAC,IAAY;IAClC,8FAA8F;IAC9F,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;IAC/B,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1D,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAA;IACxF,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC1C,6DAA6D;IAC7D,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,CAAC,EAAE,QAAQ,GAAG,EAAE,EAAE,YAAY,CAAC,GAAG,KAAK,CAAA;IAC7C,MAAM,QAAQ,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC,CAAA;IACnF,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,sBAAsB,EAAE,CAAC;QAChD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAA;IACtC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7D,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACpD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CAAA;AACxF,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;IAC1B,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAY,EAAE,CAAA;IAC9F,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9D,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YACtC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;YACxB,IAAI,IAAI,EAAE,UAAU,EAAE,CAAC;gBACrB,MAAM,MAAM,GAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAa,CAAC,QAAQ,CAClE,OAAO,CAAC,UAAU,CAAC,YAAY,CAAY,CAC5C,CAAA;gBACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;YACxC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,IAAa,EAAE,QAAgB;IACjD,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC3B,CAAC;IACD,IAAI,MAAM,GAAG,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAChC,CAAC;IACD,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACjB,qEAAqE;QACrE,OAAO,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAY,CAAA;IACrD,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACpD,IAAI,MAAM,GAAG,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC/B,MAAM,UAAU,GAA2B,EAAE,CAAA;IAC7C,MAAM,KAAK,GAAG,CAAC,aAAqB,EAAE,IAAY,EAAW,EAAE;QAC7D,MAAM,SAAS,GAAG,cAAc,CAAC,aAAa,CAAC,CAAA;QAC/C,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,KAAK,CAAA;QACd,CAAC;QACD,MAAM,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAa,CAAA;QACtG,IAAI,SAAS,CAAC,SAAS,KAAK,GAAG,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAA;YAC/E,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;gBACf,OAAO,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;YACxC,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,IAAI,CAAA;YACxC,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAChD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,SAAS,CAAA;QAClB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrB,OAAO,SAAS,CAAA;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAA;AAC/B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,CAAgB,EAAE,CAAgB;IAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IACvC,OAAO,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;AACrG,CAAC"}