@actuarial-ts/core 0.8.0 → 0.9.0

package/README.md

@@ -6,13 +6,13 @@ The package is designed to support the actuary's compliance with the ASOPs; it d
 
 SDK 0.8 adds versioned loss history, irregular period and exposure contracts,
 population statistics, shared financial terms, and deterministic recipe and
-scenario execution. See the [0.8 adoption guide](https://github.com/yerromnitsuj/actng/blob/v0.8.0/docs/migrations/0.8-reusable-customization.md)
-and [customization reference](https://github.com/yerromnitsuj/actng/blob/v0.8.0/docs/reference/reusable-customization.md).
+scenario execution. See the [0.8 adoption guide](https://github.com/yerromnitsuj/actng/blob/v0.9.0/docs/migrations/0.8-reusable-customization.md)
+and [customization reference](https://github.com/yerromnitsuj/actng/blob/v0.9.0/docs/reference/reusable-customization.md).
 
 ## Install
 
 ```bash
-npm install @actuarial-ts/core@0.8.0
+npm install @actuarial-ts/core@0.9.0
 ```
 
 ESM, TypeScript-first, zero runtime dependencies, Node 20+.
@@ -114,8 +114,8 @@ ordinary preparation. These functions do not issue review or execution receipts.
 
 These are lower-level calculation APIs. For a host import or analysis boundary
 that enforces both review and metric execution policy, use the validated gateway
-in `@actuarial-ts/data`. The runnable [compact adoption guide](https://github.com/yerromnitsuj/actng/blob/v0.8.0/docs/migrations/0.7-compact-diagnostics.md)
-covers the complete workflow and [streamed replay](https://github.com/yerromnitsuj/actng/blob/v0.8.0/docs/reference/diagnostic-replay-stream.md).
+in `@actuarial-ts/data`. The runnable [compact adoption guide](https://github.com/yerromnitsuj/actng/blob/v0.9.0/docs/migrations/0.7-compact-diagnostics.md)
+covers the complete workflow and [streamed replay](https://github.com/yerromnitsuj/actng/blob/v0.9.0/docs/reference/diagnostic-replay-stream.md).
 
 The six built-in formulas are basis-independent. The factory creates ten count instances plus six per amount basis (`10 + 6 × basisCount`): one basis produces 16, two produce 22. A `$250K`, primary, gross, net, or ceded calculation is represented by caller-declared amount measures and a structured `AmountBasisDefinition`; it does not need a separate capped formula. Claim-level caps use `claim-layer` derivations before aggregation. Pre-limited external values record their source/transformation instead of implying the SDK recreated an unavailable claim-level operation.
 
@@ -132,7 +132,7 @@ numeric exposure values. This is a bounded capacity, not an unlimited scale clai
 
 Compilation validates the whole graph atomically: IDs, sources, role types, compatibility groups, development semantics, derivation acyclicity, expression limits, rule operands, basis/population references, and period coordinates. Authentic compiled/prepared objects are owner-branded and frozen. Formula, calculation, definition, preparation, and result identities are deterministic FNV-1a/JCS integrity aids—not cryptographic signatures.
 
-See the generated [formula and instance catalog](https://github.com/yerromnitsuj/actng/blob/v0.8.0/docs/reference/diagnostic-formulas.md) and [0.6 migration guide](https://github.com/yerromnitsuj/actng/blob/v0.8.0/docs/migrations/0.6-generalized-diagnostics.md).
+See the generated [formula and instance catalog](https://github.com/yerromnitsuj/actng/blob/v0.9.0/docs/reference/diagnostic-formulas.md) and [0.6 migration guide](https://github.com/yerromnitsuj/actng/blob/v0.9.0/docs/migrations/0.6-generalized-diagnostics.md).
 
 ## Main method families
 
@@ -145,3 +145,6 @@ Published-value tests are the numerical contract. A reserving math change is not
 ## License
 
 Apache-2.0. See LICENSE and NOTICE.
+
+SDK 0.9 adds native post-aggregation formulas and correct financial currency units.
+See the [0.9 migration guide](https://github.com/yerromnitsuj/actng/blob/v0.9.0/docs/migrations/0.9-analysis-expressions.md).

package/dist/analysisComparison.d.ts

@@ -0,0 +1,6 @@
+import type { AnalysisResult, AnalysisScenarioDifference } from "./customizationContracts.js";
+/** Matches exact coordinates and retains unmatched values from both results. */
+export declare function compareAnalysisResults(baseline: AnalysisResult, scenario: AnalysisResult): readonly AnalysisScenarioDifference[];
+/** Internal roll-forward alignment: evaluation is the comparison axis, not a join key. */
+export declare function compareAnalysisEvaluations(baseline: AnalysisResult, scenario: AnalysisResult, priorEvaluationDate: string, currentEvaluationDate: string): readonly AnalysisScenarioDifference[];
+//# sourceMappingURL=analysisComparison.d.ts.map

package/dist/analysisComparison.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysisComparison.d.ts","sourceRoot":"","sources":["../src/analysisComparison.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,cAAc,EAEd,0BAA0B,EAE3B,MAAM,6BAA6B,CAAC;AAmDrC,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,GAAG,SAAS,0BAA0B,EAAE,CAEhI;AAED,0FAA0F;AAC1F,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,cAAc,EACxB,QAAQ,EAAE,cAAc,EACxB,mBAAmB,EAAE,MAAM,EAC3B,qBAAqB,EAAE,MAAM,GAC5B,SAAS,0BAA0B,EAAE,CAEvC"}

package/dist/analysisComparison.js

@@ -0,0 +1,52 @@
+import { canonicalJson } from "./canonical.js";
+import { snapshotDiagnosticJson } from "./diagnosticRuntime.js";
+import { DiagnosticValidationError } from "./types.js";
+function indexValues(result, omitted) {
+    const indexed = new Map();
+    for (const value of result.values) {
+        const coordinates = Object.fromEntries(Object.entries(value.coordinates).filter(([name]) => !omitted.has(name)));
+        const key = canonicalJson([value.measureId, coordinates]);
+        if (indexed.has(key))
+            throw new DiagnosticValidationError([{
+                    domain: "configuration", code: "incompatible-semantics", path: "$.values",
+                    message: "Comparison coordinates must identify one value per measure on each side",
+                }]);
+        indexed.set(key, value);
+    }
+    return indexed;
+}
+function compare(baseline, scenario, omitted, evaluationPair) {
+    const left = indexValues(baseline, omitted);
+    const right = indexValues(scenario, omitted);
+    const keys = [...new Set([...left.keys(), ...right.keys()])].sort();
+    return snapshotDiagnosticJson(keys.map((key) => {
+        const before = left.get(key);
+        const after = right.get(key);
+        const value = before ?? after;
+        if (before !== undefined && after !== undefined && before.unit !== after.unit)
+            throw new DiagnosticValidationError([{
+                    domain: "configuration", code: "incompatible-semantics", path: `$.values.${value.measureId}.unit`,
+                    message: `Cannot compare ${before.unit} with ${after.unit}`,
+                }]);
+        const baselineValue = before?.status === "available" ? before.value : null;
+        const scenarioValue = after?.status === "available" ? after.value : null;
+        const difference = baselineValue === null || scenarioValue === null ? null : scenarioValue - baselineValue;
+        const absoluteDifference = difference !== null && Number.isFinite(difference) ? difference : null;
+        const percentage = absoluteDifference === null || baselineValue === null || baselineValue === 0
+            ? null : absoluteDifference / baselineValue;
+        const percentageDifference = percentage !== null && Number.isFinite(percentage) ? percentage : null;
+        const coordinates = evaluationPair === undefined
+            ? value.coordinates
+            : { ...Object.fromEntries(Object.entries(value.coordinates).filter(([name]) => name !== "evaluationDate")), ...evaluationPair };
+        return { measureId: value.measureId, unit: value.unit, coordinates, baselineValue, scenarioValue, absoluteDifference, percentageDifference };
+    }));
+}
+/** Matches exact coordinates and retains unmatched values from both results. */
+export function compareAnalysisResults(baseline, scenario) {
+    return compare(baseline, scenario, new Set());
+}
+/** Internal roll-forward alignment: evaluation is the comparison axis, not a join key. */
+export function compareAnalysisEvaluations(baseline, scenario, priorEvaluationDate, currentEvaluationDate) {
+    return compare(baseline, scenario, new Set(["evaluationDate", "originLabel"]), { priorEvaluationDate, currentEvaluationDate });
+}
+//# sourceMappingURL=analysisComparison.js.map

package/dist/analysisComparison.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysisComparison.js","sourceRoot":"","sources":["../src/analysisComparison.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAO/C,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAEvD,SAAS,WAAW,CAAC,MAAsB,EAAE,OAA4B;IACvE,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjH,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAClB,MAAM,IAAI,yBAAyB,CAAC,CAAC;oBACnC,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,UAAU;oBACzE,OAAO,EAAE,yEAAyE;iBACnF,CAAC,CAAC,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,OAAO,CACd,QAAwB,EACxB,QAAwB,EACxB,OAA4B,EAC5B,cAAiG;IAEjG,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACpE,OAAO,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,MAAM,IAAI,KAAM,CAAC;QAC/B,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YAC3E,MAAM,IAAI,yBAAyB,CAAC,CAAC;oBACnC,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,YAAY,KAAK,CAAC,SAAS,OAAO;oBACjG,OAAO,EAAE,kBAAkB,MAAM,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,EAAE;iBAC5D,CAAC,CAAC,CAAC;QACN,MAAM,aAAa,GAAG,MAAM,EAAE,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,MAAM,aAAa,GAAG,KAAK,EAAE,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,MAAM,UAAU,GAAG,aAAa,KAAK,IAAI,IAAI,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,GAAG,aAAa,CAAC;QAC3G,MAAM,kBAAkB,GAAG,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;QAClG,MAAM,UAAU,GAAG,kBAAkB,KAAK,IAAI,IAAI,aAAa,KAAK,IAAI,IAAI,aAAa,KAAK,CAAC;YAC7F,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,GAAG,aAAa,CAAC;QAC9C,MAAM,oBAAoB,GAAG,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;QACpG,MAAM,WAAW,GAA+C,cAAc,KAAK,SAAS;YAC1F,CAAC,CAAC,KAAK,CAAC,WAAW;YACnB,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,EAAE,GAAG,cAAc,EAAE,CAAC;QAClI,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,CAAC;IAC/I,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CAAC,QAAwB,EAAE,QAAwB;IACvF,OAAO,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,0BAA0B,CACxC,QAAwB,EACxB,QAAwB,EACxB,mBAA2B,EAC3B,qBAA6B;IAE7B,OAAO,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,CAAC,CAAC;AACjI,CAAC"}

package/dist/analysisExpressions.d.ts

@@ -0,0 +1,24 @@
+import type { AnalysisDefinition, AnalysisDerivedMeasureDefinition, AnalysisResultValue, CustomizationCapabilityFinding } from "./customizationContracts.js";
+type Factors = Readonly<Record<string, number>>;
+export type CompiledAnalysisExpression = {
+    readonly definition: AnalysisDerivedMeasureDefinition;
+    readonly unit: string;
+    readonly unitFactors: Factors;
+    readonly dependencies: readonly string[];
+};
+export declare function formatAnalysisUnit(factors: Factors): string;
+/** Validates a bounded dependency graph and resolves dimensions without evaluating any values. */
+export declare function compileAnalysisExpressions(definition: AnalysisDefinition): readonly CompiledAnalysisExpression[];
+/** Resolves requested outputs and their transitive statistic dependencies. */
+export declare function analysisExpressionDependencies(compiled: readonly CompiledAnalysisExpression[], requested: ReadonlySet<string>): ReadonlySet<string>;
+/** Executes post-aggregation expressions on one exact origin/evaluation coordinate. */
+export declare function evaluateAnalysisExpressions(input: {
+    readonly definition: AnalysisDefinition;
+    readonly values: readonly AnalysisResultValue[];
+    readonly coordinates: AnalysisResultValue["coordinates"];
+    readonly exposures: ReadonlyMap<string, number>;
+    readonly exposureFindings: ReadonlyMap<string, readonly CustomizationCapabilityFinding[]>;
+    readonly requested: ReadonlySet<string>;
+}): readonly AnalysisResultValue[];
+export {};
+//# sourceMappingURL=analysisExpressions.d.ts.map

package/dist/analysisExpressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysisExpressions.d.ts","sourceRoot":"","sources":["../src/analysisExpressions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kBAAkB,EAAE,gCAAgC,EACpD,mBAAmB,EAA4B,8BAA8B,EAC9E,MAAM,6BAA6B,CAAC;AAKrC,KAAK,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAChD,MAAM,MAAM,0BAA0B,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,gCAAgC,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAoBnM,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAS3D;AAED,kGAAkG;AAClG,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,kBAAkB,GAAG,SAAS,0BAA0B,EAAE,CAkFhH;AAED,8EAA8E;AAC9E,wBAAgB,8BAA8B,CAAC,QAAQ,EAAE,SAAS,0BAA0B,EAAE,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAUnJ;AAED,uFAAuF;AACvF,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAChD,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC,aAAa,CAAC,CAAC;IACzD,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,8BAA8B,EAAE,CAAC,CAAC;IAC1F,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACzC,GAAG,SAAS,mBAAmB,EAAE,CA4EjC"}

package/dist/analysisExpressions.js

@@ -0,0 +1,256 @@
+import { canonicalJson } from "./canonical.js";
+import { isDiagnosticPlainRecord, isDiagnosticToken, snapshotDiagnosticJson } from "./diagnosticRuntime.js";
+import { DiagnosticValidationError } from "./types.js";
+const invalid = (message, path = "$.definition.derivedMeasures", code = "invalid-configuration") => {
+    throw new DiagnosticValidationError([{ domain: "definition", code, path, message }]);
+};
+function normalizedFactors(raw) {
+    if (!isDiagnosticPlainRecord(raw) || Object.keys(raw).length > 32)
+        return invalid("Unit factors require a bounded record of integer powers");
+    const result = [];
+    for (const [unit, power] of Object.entries(raw)) {
+        if (!isDiagnosticToken(unit) || typeof power !== "number" || !Number.isSafeInteger(power) || Math.abs(power) > 32)
+            return invalid("Unit factors require valid unit names and integer powers between -32 and 32");
+        if (power !== 0)
+            result.push([unit, power]);
+    }
+    return Object.fromEntries(result.sort(([a], [b]) => a.localeCompare(b)));
+}
+function combine(left, right, direction) {
+    const result = new Map(Object.entries(left));
+    for (const [unit, power] of Object.entries(right))
+        result.set(unit, (result.get(unit) ?? 0) + direction * power);
+    return normalizedFactors(Object.fromEntries(result));
+}
+export function formatAnalysisUnit(factors) {
+    const normalized = normalizedFactors(factors);
+    const part = (sign) => Object.entries(normalized).filter(([, power]) => power * sign > 0).map(([unit, power]) => {
+        const atom = /[*/^()[\]{}]/.test(unit) ? `[${unit}]` : unit;
+        return Math.abs(power) === 1 ? atom : `${atom}^${Math.abs(power)}`;
+    }).join("*");
+    const numerator = part(1) || "1";
+    const denominator = part(-1);
+    return denominator ? `${numerator}/${denominator.includes("*") ? `(${denominator})` : denominator}` : numerator;
+}
+/** Validates a bounded dependency graph and resolves dimensions without evaluating any values. */
+export function compileAnalysisExpressions(definition) {
+    const derived = definition.derivedMeasures ?? [];
+    if (derived.length > 64)
+        return invalid("At most 64 derived measures are supported", undefined, "expression-limit");
+    const base = new Map(definition.measures.map((m) => [m.id, m]));
+    const declarations = new Map(derived.map((m) => [m.id, m]));
+    if (base.size !== definition.measures.length || declarations.size !== derived.length || derived.some((m) => !isDiagnosticToken(m.id) || base.has(m.id)))
+        return invalid("Base and derived measure IDs must be distinct valid tokens");
+    const compiled = new Map();
+    const visiting = new Set();
+    let totalNodes = 0;
+    const resolve = (id) => {
+        const raw = base.get(id);
+        if (raw)
+            return normalizedFactors(raw.unitFactors ?? { [raw.unit]: 1 });
+        const prior = compiled.get(id);
+        if (prior)
+            return prior.unitFactors;
+        const measure = declarations.get(id);
+        if (!measure)
+            return invalid(`Unknown measure ${id}`, undefined, "unknown-reference");
+        if (visiting.has(id))
+            return invalid(`Derived measure cycle at ${id}`, undefined, "cycle");
+        visiting.add(id);
+        const dependencies = new Set();
+        const walk = (raw, depth, ancestors) => {
+            if (++totalNodes > 1024 || depth > 16)
+                return invalid("Derived expressions exceed 1024 total nodes or 16 nested levels", undefined, "expression-limit");
+            if (!isDiagnosticPlainRecord(raw))
+                return invalid("Expression nodes must be objects");
+            if (ancestors.has(raw))
+                return invalid("Expression contains an object cycle", undefined, "cycle");
+            const next = new Set(ancestors).add(raw);
+            const keys = { measure: ["op", "measureId"], exposure: ["op", "exposureId"], constant: ["op", "value", "unitFactors"], add: ["op", "terms"], subtract: ["op", "left", "right"], multiply: ["op", "left", "right"], divide: ["op", "numerator", "denominator"] };
+            const allowed = typeof raw.op === "string" && Object.hasOwn(keys, raw.op) ? keys[raw.op] : undefined;
+            if (!allowed || Object.keys(raw).some((key) => !allowed.includes(key)))
+                return invalid("Unknown expression operator or field");
+            if (raw.op === "measure") {
+                if (!isDiagnosticToken(raw.measureId))
+                    return invalid("Invalid measure reference");
+                dependencies.add(raw.measureId);
+                return resolve(raw.measureId);
+            }
+            if (raw.op === "exposure") {
+                const exposure = definition.exposures.find((item) => item.id === raw.exposureId);
+                if (!exposure)
+                    return invalid(`Unknown exposure ${String(raw.exposureId)}`, undefined, "unknown-reference");
+                return normalizedFactors({ [exposure.unit]: 1 });
+            }
+            if (raw.op === "constant") {
+                if (typeof raw.value !== "number" || !Number.isFinite(raw.value))
+                    return invalid("Constants must be finite numbers");
+                return normalizedFactors(raw.unitFactors);
+            }
+            if (raw.op === "add") {
+                if (!Array.isArray(raw.terms) || raw.terms.length < 1 || raw.terms.length > 32)
+                    return invalid("Addition requires 1 to 32 terms");
+                const terms = raw.terms.map((term) => walk(term, depth + 1, next));
+                if (terms.some((term) => canonicalJson(term) !== canonicalJson(terms[0])))
+                    return invalid("Addition requires matching units", undefined, "incompatible-semantics");
+                return terms[0];
+            }
+            const left = walk(raw.op === "divide" ? raw.numerator : raw.left, depth + 1, next);
+            const right = walk(raw.op === "divide" ? raw.denominator : raw.right, depth + 1, next);
+            if (raw.op === "subtract") {
+                if (canonicalJson(left) !== canonicalJson(right))
+                    return invalid("Subtraction requires matching units", undefined, "incompatible-semantics");
+                return left;
+            }
+            return combine(left, right, raw.op === "divide" ? -1 : 1);
+        };
+        const unitFactors = walk(measure.expression, 0, new Set());
+        if (measure.developmentSemantics !== "point-in-time") {
+            const dimensionlessConstant = (expression) => expression.op === "constant" && Object.keys(normalizedFactors(expression.unitFactors)).length === 0;
+            const checkStage = (expression) => {
+                if (expression.op === "constant")
+                    return;
+                if (expression.op === "measure") {
+                    const referenced = base.get(expression.measureId) ?? declarations.get(expression.measureId);
+                    if (referenced.developmentSemantics !== measure.developmentSemantics)
+                        invalid("Cumulative/incremental expressions require components with matching development meaning", undefined, "incompatible-semantics");
+                    return;
+                }
+                if (expression.op === "add") {
+                    expression.terms.forEach(checkStage);
+                    return;
+                }
+                if (expression.op === "subtract") {
+                    checkStage(expression.left);
+                    checkStage(expression.right);
+                    return;
+                }
+                if (expression.op === "multiply" && dimensionlessConstant(expression.left)) {
+                    checkStage(expression.right);
+                    return;
+                }
+                if (expression.op === "multiply" && dimensionlessConstant(expression.right)) {
+                    checkStage(expression.left);
+                    return;
+                }
+                if (expression.op === "divide" && dimensionlessConstant(expression.denominator)) {
+                    checkStage(expression.numerator);
+                    return;
+                }
+                invalid("Ratios, products and exposure expressions require point-in-time development meaning unless scaling by a dimensionless constant", undefined, "incompatible-semantics");
+            };
+            checkStage(measure.expression);
+        }
+        compiled.set(id, { definition: measure, unit: formatAnalysisUnit(unitFactors), unitFactors, dependencies: [...dependencies].sort() });
+        visiting.delete(id);
+        return unitFactors;
+    };
+    for (const measure of derived)
+        resolve(measure.id);
+    return snapshotDiagnosticJson([...compiled.values()]);
+}
+/** Resolves requested outputs and their transitive statistic dependencies. */
+export function analysisExpressionDependencies(compiled, requested) {
+    const dependencies = new Set(requested);
+    const pending = [...requested];
+    while (pending.length) {
+        const id = pending.pop();
+        for (const dependency of compiled.find((item) => item.definition.id === id)?.dependencies ?? []) {
+            if (!dependencies.has(dependency)) {
+                dependencies.add(dependency);
+                pending.push(dependency);
+            }
+        }
+    }
+    return dependencies;
+}
+/** Executes post-aggregation expressions on one exact origin/evaluation coordinate. */
+export function evaluateAnalysisExpressions(input) {
+    const compiled = compileAnalysisExpressions(input.definition);
+    if (compiled.length === 0)
+        return [];
+    for (const id of input.requested)
+        if (!input.definition.measures.some((measure) => measure.id === id) && !compiled.some((item) => item.definition.id === id))
+            return invalid(`Unknown requested measure ${id}`, undefined, "unknown-reference");
+    const required = analysisExpressionDependencies(compiled, input.requested);
+    for (const value of input.values) {
+        if (canonicalJson(value.coordinates) !== canonicalJson(input.coordinates))
+            return invalid("Expression components must share the exact origin/evaluation coordinate", undefined, "incompatible-semantics");
+        const measure = input.definition.measures.find((m) => m.id === value.measureId);
+        if (!measure || value.unit !== measure.unit || (value.value !== null && !Number.isFinite(value.value)))
+            return invalid("Expression components must match declared base measures, units and finite values", undefined, "incompatible-semantics");
+    }
+    if (new Set(input.values.map((value) => value.measureId)).size !== input.values.length)
+        return invalid("Expression components contain duplicate measure results");
+    const values = new Map(input.values.map((value) => [value.measureId, value]));
+    const output = [];
+    for (const item of compiled) {
+        if (!required.has(item.definition.id))
+            continue;
+        const components = new Map();
+        const findings = [];
+        const unavailable = (message) => {
+            findings.push({ code: "missing-prerequisite", capability: "derived-analysis-measures", path: `$.derivedMeasures.${item.definition.id}`, message });
+            return null;
+        };
+        let numerator = null;
+        let denominator = null;
+        const evaluate = (expression, root = false) => {
+            if (expression.op === "constant")
+                return expression.value;
+            if (expression.op === "measure") {
+                const value = values.get(expression.measureId);
+                if (value) {
+                    components.set(`measure:${expression.measureId}`, { kind: "measure", id: expression.measureId, unit: value.unit, value: value.value, status: value.status, contributingObservations: value.contributingObservations, excludedObservations: value.excludedObservations });
+                    findings.push(...value.findings);
+                }
+                else {
+                    const unit = input.definition.measures.find((m) => m.id === expression.measureId)?.unit ?? compiled.find((m) => m.definition.id === expression.measureId).unit;
+                    components.set(`measure:${expression.measureId}`, { kind: "measure", id: expression.measureId, unit, value: null, status: "unavailable", contributingObservations: 0, excludedObservations: 0 });
+                }
+                return !value || value.status !== "available" || value.value === null || value.excludedObservations > 0
+                    ? unavailable(`Measure ${expression.measureId} requires a complete available result`) : value.value;
+            }
+            if (expression.op === "exposure") {
+                const value = input.exposures.get(expression.exposureId);
+                const exposureFindings = input.exposureFindings.get(expression.exposureId) ?? [];
+                findings.push(...exposureFindings);
+                const available = value !== undefined && Number.isFinite(value) && exposureFindings.length === 0;
+                components.set(`exposure:${expression.exposureId}`, { kind: "exposure", id: expression.exposureId, unit: input.definition.exposures.find((e) => e.id === expression.exposureId).unit, value: available ? value : null, status: available ? "available" : "unavailable", contributingObservations: 0, excludedObservations: 0 });
+                return available ? value : unavailable(`Exposure ${expression.exposureId} requires an available allocated result`);
+            }
+            let value;
+            if (expression.op === "add") {
+                const terms = expression.terms.map((term) => evaluate(term));
+                if (terms.some((term) => term === null))
+                    return null;
+                value = terms.reduce((sum, term) => sum + term, 0);
+            }
+            else {
+                const left = evaluate(expression.op === "divide" ? expression.numerator : expression.left);
+                const right = evaluate(expression.op === "divide" ? expression.denominator : expression.right);
+                if (root && expression.op === "divide") {
+                    numerator = left;
+                    denominator = right;
+                }
+                if (left === null || right === null)
+                    return null;
+                if (expression.op === "divide" && right <= 0)
+                    return unavailable("Division requires a strictly positive denominator");
+                value = expression.op === "subtract" ? left - right : expression.op === "multiply" ? left * right : left / right;
+            }
+            return Number.isFinite(value) ? value : unavailable("Expression arithmetic overflowed; no finite result is available");
+        };
+        const value = evaluate(item.definition.expression, true);
+        const result = {
+            measureId: item.definition.id, unit: item.unit, coordinates: input.coordinates, value,
+            status: value === null ? "unavailable" : "available", contributingObservations: 0, excludedObservations: 0, exact: true,
+            numerator, denominator, findings: [...new Map(findings.map((finding) => [canonicalJson(finding), finding])).values()],
+            derivation: { stage: "post-aggregation", unitFactors: item.unitFactors, components: [...components.values()] },
+        };
+        values.set(result.measureId, result);
+        output.push(result);
+    }
+    return snapshotDiagnosticJson(output);
+}
+//# sourceMappingURL=analysisExpressions.js.map

package/dist/analysisExpressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysisExpressions.js","sourceRoot":"","sources":["../src/analysisExpressions.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC5G,OAAO,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAIvD,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,IAAI,GAAG,8BAA8B,EAAE,OAAgH,uBAAuB,EAAS,EAAE;IACzN,MAAM,IAAI,yBAAyB,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AACvF,CAAC,CAAC;AAEF,SAAS,iBAAiB,CAAC,GAAY;IACrC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,EAAE;QAAE,OAAO,OAAO,CAAC,yDAAyD,CAAC,CAAC;IAC7I,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAChD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE;YAC/G,OAAO,OAAO,CAAC,6EAA6E,CAAC,CAAC;QAChG,IAAI,KAAK,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AACD,SAAS,OAAO,CAAC,IAAa,EAAE,KAAc,EAAE,SAAiB;IAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC,CAAC;IACjH,OAAO,iBAAiB,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;AACvD,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,OAAgB;IACjD,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE;QACtH,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;IACrE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;IACjC,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,OAAO,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAClH,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,0BAA0B,CAAC,UAA8B;IACvE,MAAM,OAAO,GAAG,UAAU,CAAC,eAAe,IAAI,EAAE,CAAC;IACjD,IAAI,OAAO,CAAC,MAAM,GAAG,EAAE;QAAE,OAAO,OAAO,CAAC,2CAA2C,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC;IACpH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,IAAI,YAAY,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrJ,OAAO,OAAO,CAAC,4DAA4D,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsC,CAAC;IAC/D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,OAAO,GAAG,CAAC,EAAU,EAAW,EAAE;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzB,IAAI,GAAG;YAAE,OAAO,iBAAiB,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC,WAAW,CAAC;QACpC,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO;YAAE,OAAO,OAAO,CAAC,mBAAmB,EAAE,EAAE,EAAE,SAAS,EAAE,mBAAmB,CAAC,CAAC;QACtF,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,OAAO,CAAC,4BAA4B,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3F,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QACvC,MAAM,IAAI,GAAG,CAAC,GAAY,EAAE,KAAa,EAAE,SAA8B,EAAW,EAAE;YACpF,IAAI,EAAE,UAAU,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE;gBAAE,OAAO,OAAO,CAAC,iEAAiE,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC;YACxJ,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC,kCAAkC,CAAC,CAAC;YACtF,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC,qCAAqC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAClG,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACzC,MAAM,IAAI,GAA6B,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,aAAa,CAAC,EAAE,CAAC;YAC1R,MAAM,OAAO,GAAG,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACrG,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAAE,OAAO,OAAO,CAAC,sCAAsC,CAAC,CAAC;YAC/H,IAAI,GAAG,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;gBACzB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC;oBAAE,OAAO,OAAO,CAAC,2BAA2B,CAAC,CAAC;gBACnF,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAChC,OAAO,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,GAAG,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;gBAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC;gBACjF,IAAI,CAAC,QAAQ;oBAAE,OAAO,OAAO,CAAC,oBAAoB,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,mBAAmB,CAAC,CAAC;gBAC5G,OAAO,iBAAiB,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACnD,CAAC;YACD,IAAI,GAAG,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;gBAC1B,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,OAAO,OAAO,CAAC,kCAAkC,CAAC,CAAC;gBACrH,OAAO,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAC5C,CAAC;YACD,IAAI,GAAG,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;gBACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE;oBAAE,OAAO,OAAO,CAAC,iCAAiC,CAAC,CAAC;gBAClI,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;gBACnE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAE,OAAO,OAAO,CAAC,kCAAkC,EAAE,SAAS,EAAE,wBAAwB,CAAC,CAAC;gBACnK,OAAO,KAAK,CAAC,CAAC,CAAE,CAAC;YACnB,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YACnF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YACvF,IAAI,GAAG,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;gBAC1B,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC;oBAAE,OAAO,OAAO,CAAC,qCAAqC,EAAE,SAAS,EAAE,wBAAwB,CAAC,CAAC;gBAC7I,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,CAAC,CAAC;QACF,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,oBAAoB,KAAK,eAAe,EAAE,CAAC;YACrD,MAAM,qBAAqB,GAAG,CAAC,UAAqC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;YAC7K,MAAM,UAAU,GAAG,CAAC,UAAqC,EAAQ,EAAE;gBACjE,IAAI,UAAU,CAAC,EAAE,KAAK,UAAU;oBAAE,OAAO;gBACzC,IAAI,UAAU,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;oBAChC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAE,CAAC;oBAC7F,IAAI,UAAU,CAAC,oBAAoB,KAAK,OAAO,CAAC,oBAAoB;wBAClE,OAAO,CAAC,yFAAyF,EAAE,SAAS,EAAE,wBAAwB,CAAC,CAAC;oBAC1I,OAAO;gBACT,CAAC;gBACD,IAAI,UAAU,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;oBAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;oBAAC,OAAO;gBAAC,CAAC;gBAC9E,IAAI,UAAU,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;oBAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;oBAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;oBAAC,OAAO;gBAAC,CAAC;gBACxG,IAAI,UAAU,CAAC,EAAE,KAAK,UAAU,IAAI,qBAAqB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;oBAAC,OAAO;gBAAC,CAAC;gBACrH,IAAI,UAAU,CAAC,EAAE,KAAK,UAAU,IAAI,qBAAqB,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;oBAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;oBAAC,OAAO;gBAAC,CAAC;gBACrH,IAAI,UAAU,CAAC,EAAE,KAAK,QAAQ,IAAI,qBAAqB,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;oBAAC,UAAU,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;oBAAC,OAAO;gBAAC,CAAC;gBAC9H,OAAO,CAAC,gIAAgI,EAAE,SAAS,EAAE,wBAAwB,CAAC,CAAC;YACjL,CAAC,CAAC;YACF,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACjC,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,kBAAkB,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACtI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpB,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,OAAO;QAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACnD,OAAO,sBAAsB,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,8BAA8B,CAAC,QAA+C,EAAE,SAA8B;IAC5H,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;IAC/B,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC1B,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,IAAI,EAAE,EAAE,CAAC;YAChG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,2BAA2B,CAAC,KAO3C;IACC,MAAM,QAAQ,GAAG,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,SAAS;QAC9B,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,CAAC;YACxH,OAAO,OAAO,CAAC,6BAA6B,EAAE,EAAE,EAAE,SAAS,EAAE,mBAAmB,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,8BAA8B,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAC3E,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC;YACvE,OAAO,OAAO,CAAC,yEAAyE,EAAE,SAAS,EAAE,wBAAwB,CAAC,CAAC;QACjI,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,SAAS,CAAC,CAAC;QAChF,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpG,OAAO,OAAO,CAAC,kFAAkF,EAAE,SAAS,EAAE,wBAAwB,CAAC,CAAC;IAC5I,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM;QACpF,OAAO,OAAO,CAAC,yDAAyD,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAAE,SAAS;QAChD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoC,CAAC;QAC/D,MAAM,QAAQ,GAAqC,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,CAAC,OAAe,EAAQ,EAAE;YAC5C,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,2BAA2B,EAAE,IAAI,EAAE,qBAAqB,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;YACnJ,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF,IAAI,SAAS,GAAkB,IAAI,CAAC;QACpC,IAAI,WAAW,GAAkB,IAAI,CAAC;QACtC,MAAM,QAAQ,GAAG,CAAC,UAAqC,EAAE,IAAI,GAAG,KAAK,EAAiB,EAAE;YACtF,IAAI,UAAU,CAAC,EAAE,KAAK,UAAU;gBAAE,OAAO,UAAU,CAAC,KAAK,CAAC;YAC1D,IAAI,UAAU,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;gBAC/C,IAAI,KAAK,EAAE,CAAC;oBACV,UAAU,CAAC,GAAG,CAAC,WAAW,UAAU,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,wBAAwB,EAAE,KAAK,CAAC,wBAAwB,EAAE,oBAAoB,EAAE,KAAK,CAAC,oBAAoB,EAAE,CAAC,CAAC;oBACzQ,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;gBACnC,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,SAAS,CAAC,EAAE,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,UAAU,CAAC,SAAS,CAAE,CAAC,IAAI,CAAC;oBAChK,UAAU,CAAC,GAAG,CAAC,WAAW,UAAU,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,wBAAwB,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,EAAE,CAAC,CAAC;gBACnM,CAAC;gBACD,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,oBAAoB,GAAG,CAAC;oBACrG,CAAC,CAAC,WAAW,CAAC,WAAW,UAAU,CAAC,SAAS,uCAAuC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;YACxG,CAAC;YACD,IAAI,UAAU,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;gBACzD,MAAM,gBAAgB,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;gBACjF,QAAQ,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC;gBACnC,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC;gBACjG,UAAU,CAAC,GAAG,CAAC,YAAY,UAAU,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,UAAU,CAAE,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,EAAE,wBAAwB,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,EAAE,CAAC,CAAC;gBACjU,OAAO,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,YAAY,UAAU,CAAC,UAAU,yCAAyC,CAAC,CAAC;YACrH,CAAC;YACD,IAAI,KAAa,CAAC;YAClB,IAAI,UAAU,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;gBAC5B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7D,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACrD,KAAK,GAAG,KAAK,CAAC,MAAM,CAAS,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAK,EAAE,CAAC,CAAC,CAAC;YAC9D,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC3F,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBAC/F,IAAI,IAAI,IAAI,UAAU,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAAC,SAAS,GAAG,IAAI,CAAC;oBAAC,WAAW,GAAG,KAAK,CAAC;gBAAC,CAAC;gBAClF,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBACjD,IAAI,UAAU,CAAC,EAAE,KAAK,QAAQ,IAAI,KAAK,IAAI,CAAC;oBAAE,OAAO,WAAW,CAAC,mDAAmD,CAAC,CAAC;gBACtH,KAAK,GAAG,UAAU,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC;YACnH,CAAC;YACD,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,iEAAiE,CAAC,CAAC;QACzH,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACzD,MAAM,MAAM,GAAwB;YAClC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK;YACrF,MAAM,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,EAAE,wBAAwB,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI;YACvH,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;YACrH,UAAU,EAAE,EAAE,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE;SAC/G,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,sBAAsB,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC"}

package/dist/analysisFinancialUnits.d.ts

@@ -0,0 +1,4 @@
+import type { AnalysisDefinition, AnalysisRecipe } from "./customizationContracts.js";
+/** Resolves the declared output units of an ordered financial pipeline before calculating results. */
+export declare function resolveAnalysisFinancialUnits(definition: AnalysisDefinition, recipe: AnalysisRecipe): AnalysisDefinition;
+//# sourceMappingURL=analysisFinancialUnits.d.ts.map

package/dist/analysisFinancialUnits.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysisFinancialUnits.d.ts","sourceRoot":"","sources":["../src/analysisFinancialUnits.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAQtF,sGAAsG;AACtG,wBAAgB,6BAA6B,CAAC,UAAU,EAAE,kBAAkB,EAAE,MAAM,EAAE,cAAc,GAAG,kBAAkB,CA6CxH"}

package/dist/analysisFinancialUnits.js

@@ -0,0 +1,62 @@
+import { formatAnalysisUnit } from "./analysisExpressions.js";
+import { DiagnosticValidationError } from "./types.js";
+const incompatible = (message) => {
+    throw new DiagnosticValidationError([{ domain: "configuration", code: "incompatible-semantics", path: "$.recipe.steps", message }]);
+};
+/** Resolves the declared output units of an ordered financial pipeline before calculating results. */
+export function resolveAnalysisFinancialUnits(definition, recipe) {
+    const step = recipe.steps.find((item) => item.kind === "apply-financial-pipeline");
+    if (step?.kind !== "apply-financial-pipeline")
+        return definition;
+    const stages = step.stageIds.map((id) => definition.financialAdjustments?.find((item) => item.id === id));
+    if (!stages.some((stage) => stage?.kind === "currency"))
+        return definition;
+    const rawUnits = new Map();
+    for (const measure of definition.measures) {
+        if (measure.statistic.kind !== "sum")
+            continue;
+        const id = measure.statistic.measureId;
+        const units = rawUnits.get(id) ?? new Set();
+        units.add(measure.unit);
+        rawUnits.set(id, units);
+    }
+    const rawUnit = (id) => {
+        const units = rawUnits.get(id);
+        if (!units || units.size !== 1)
+            return incompatible(`Currency conversion needs one declared sum unit for ${id}`);
+        return [...units][0];
+    };
+    const initialUnit = rawUnit(step.amountMeasureId);
+    let outputUnit = initialUnit;
+    for (const stage of stages) {
+        if (!stage)
+            continue;
+        if (stage.kind === "currency") {
+            if (stage.fromUnit !== outputUnit)
+                return incompatible(`Currency stage ${stage.id} expects ${stage.fromUnit}, not ${outputUnit}`);
+            outputUnit = stage.toUnit;
+        }
+        else if (stage.kind === "include-expense" || stage.kind === "exclude-expense" || stage.kind === "net-recovery") {
+            const id = stage.kind === "net-recovery" ? stage.recoveryMeasureId : stage.expenseMeasureId;
+            if (rawUnit(id) !== outputUnit)
+                return incompatible(`Financial component ${id} must use the current pipeline unit ${outputUnit}`);
+        }
+    }
+    const effectiveUnit = (id) => id === step.amountMeasureId ? outputUnit : definition.exposures.find((e) => e.id === id)?.unit ?? rawUnit(id);
+    const measures = definition.measures.map((measure) => {
+        const statistic = measure.statistic;
+        if (statistic.kind === "ratio") {
+            if (statistic.numeratorMeasureId !== step.amountMeasureId && statistic.denominatorMeasureId !== step.amountMeasureId)
+                return measure;
+            const numerator = effectiveUnit(statistic.numeratorMeasureId);
+            const denominator = effectiveUnit(statistic.denominatorMeasureId);
+            const factors = numerator === denominator ? {} : { [numerator]: 1, [denominator]: -1 };
+            return { ...measure, unit: numerator === denominator ? "ratio" : formatAnalysisUnit(factors), unitFactors: factors };
+        }
+        if ("measureId" in statistic && statistic.measureId === step.amountMeasureId)
+            return { ...measure, unit: outputUnit, unitFactors: { [outputUnit]: 1 } };
+        return measure;
+    });
+    return { ...definition, measures };
+}
+//# sourceMappingURL=analysisFinancialUnits.js.map

package/dist/analysisFinancialUnits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysisFinancialUnits.js","sourceRoot":"","sources":["../src/analysisFinancialUnits.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAEvD,MAAM,YAAY,GAAG,CAAC,OAAe,EAAS,EAAE;IAC9C,MAAM,IAAI,yBAAyB,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AACtI,CAAC,CAAC;AAEF,sGAAsG;AACtG,MAAM,UAAU,6BAA6B,CAAC,UAA8B,EAAE,MAAsB;IAClG,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC;IACnF,IAAI,IAAI,EAAE,IAAI,KAAK,0BAA0B;QAAE,OAAO,UAAU,CAAC;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,oBAAoB,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1G,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,KAAK,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IAC3E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC1C,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC;QACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACpD,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,EAAU,EAAU,EAAE;QACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,YAAY,CAAC,uDAAuD,EAAE,EAAE,CAAC,CAAC;QACjH,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC;IACxB,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAClD,IAAI,UAAU,GAAG,WAAW,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU;gBAAE,OAAO,YAAY,CAAC,kBAAkB,KAAK,CAAC,EAAE,YAAY,KAAK,CAAC,QAAQ,SAAS,UAAU,EAAE,CAAC,CAAC;YAClI,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACjH,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC;YAC5F,IAAI,OAAO,CAAC,EAAE,CAAC,KAAK,UAAU;gBAAE,OAAO,YAAY,CAAC,uBAAuB,EAAE,uCAAuC,UAAU,EAAE,CAAC,CAAC;QACpI,CAAC;IACH,CAAC;IACD,MAAM,aAAa,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,IAAI,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5J,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACnD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QACpC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,IAAI,SAAS,CAAC,kBAAkB,KAAK,IAAI,CAAC,eAAe,IAAI,SAAS,CAAC,oBAAoB,KAAK,IAAI,CAAC,eAAe;gBAAE,OAAO,OAAO,CAAC;YACrI,MAAM,SAAS,GAAG,aAAa,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;YAC9D,MAAM,WAAW,GAAG,aAAa,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;YAClE,MAAM,OAAO,GAAG,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACvF,OAAO,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;QACvH,CAAC;QACD,IAAI,WAAW,IAAI,SAAS,IAAI,SAAS,CAAC,SAAS,KAAK,IAAI,CAAC,eAAe;YAC1E,OAAO,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5E,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,UAAU,EAAE,QAAQ,EAAE,CAAC;AACrC,CAAC"}

package/dist/analysisRecipe.d.ts

@@ -1,4 +1,5 @@
-import type { AnalysisDefinition, AnalysisRecipe, AnalysisResult, AnalysisScenario, AnalysisScenarioGrid, AnalysisScenarioDifference, AnalysisScenarioRun, AnalysisRollForward, AnalysisScenarioBridgeStep, AnalysisResultCache, CustomizationResourceLimits, CustomizationExposureObservation, ExposureAllocationTarget, ExposureRevisionSelection, HistoricalDatasetInput } from "./customizationContracts.js";
+import type { AnalysisDefinition, AnalysisRecipe, AnalysisResult, AnalysisScenario, AnalysisScenarioGrid, AnalysisScenarioRun, AnalysisRollForward, AnalysisScenarioBridgeStep, AnalysisResultCache, CustomizationResourceLimits, CustomizationExposureObservation, ExposureAllocationTarget, ExposureRevisionSelection, HistoricalDatasetInput } from "./customizationContracts.js";
+export { compareAnalysisResults } from "./analysisComparison.js";
 /** Executes the closed, deterministic recipe vocabulary over loss history and exposure inputs. */
 export declare function runAnalysisRecipe(input: {
     readonly history: HistoricalDatasetInput;
@@ -10,7 +11,6 @@ export declare function runAnalysisRecipe(input: {
     readonly evaluationDate?: string;
 }): AnalysisResult;
 export declare function applyAnalysisScenario(definition: AnalysisDefinition, scenario: AnalysisScenario): AnalysisDefinition;
-export declare function compareAnalysisResults(baseline: AnalysisResult, scenario: AnalysisResult): readonly AnalysisScenarioDifference[];
 /** Runs a bounded list of controlled scenarios against one immutable baseline. */
 export declare function runAnalysisScenarios(input: {
     readonly history: HistoricalDatasetInput;

package/dist/analysisRecipe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analysisRecipe.d.ts","sourceRoot":"","sources":["../src/analysisRecipe.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,kBAAkB,EAElB,cAAc,EACd,cAAc,EAEd,gBAAgB,EAEhB,oBAAoB,EACpB,0BAA0B,EAC1B,mBAAmB,EACnB,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,2BAA2B,EAE3B,gCAAgC,EAChC,wBAAwB,EACxB,yBAAyB,EACzB,sBAAsB,EAEvB,MAAM,6BAA6B,CAAC;AAmIrC,kGAAkG;AAClG,wBAAgB,iBAAiB,CAAC,KAAK,EAAE;IACvC,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,gCAAgC,EAAE,CAAC;IAC5E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC/D,QAAQ,CAAC,yBAAyB,CAAC,EAAE,yBAAyB,CAAC;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,GAAG,cAAc,CAiPjB;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,kBAAkB,EAC9B,QAAQ,EAAE,gBAAgB,GACzB,kBAAkB,CA8BpB;AAED,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,cAAc,EACxB,QAAQ,EAAE,cAAc,GACvB,SAAS,0BAA0B,EAAE,CA4BvC;AAED,kFAAkF;AAClF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,2BAA2B,EAAE,wBAAwB,CAAC,CAAC;IAC7E,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,gCAAgC,EAAE,CAAC;IAC5E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC/D,QAAQ,CAAC,yBAAyB,CAAC,EAAE,yBAAyB,CAAC;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,GAAG,SAAS,mBAAmB,EAAE,CA6BjC;AAqBD,sFAAsF;AACtF,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,oBAAoB,EAC1B,MAAM,EAAE,IAAI,CAAC,2BAA2B,EAAE,wBAAwB,CAAC,GAClE,SAAS,gBAAgB,EAAE,CAiE7B;AAED,gFAAgF;AAChF,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG;IACrE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;CACrC,GACA,SAAS,mBAAmB,EAAE,CAMhC;AAED,mFAAmF;AACnF,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAEvG;AAED,oGAAoG;AACpG,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG;IACvF,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACrC,GAAG;IAAE,QAAQ,CAAC,WAAW,EAAE,KAAK,GAAG,MAAM,CAAC;IAAC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;CAAE,CASjH;AAED,yFAAyF;AACzF,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG;IACzF,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACxC,GAAG,mBAAmB,CAmBtB;AAED,iGAAiG;AACjG,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG;IACzF,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,2BAA2B,EAAE,wBAAwB,CAAC,CAAC;CAC9E,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,0BAA0B,EAAE,CAAA;CAAE,CA6B/F"}
+{"version":3,"file":"analysisRecipe.d.ts","sourceRoot":"","sources":["../src/analysisRecipe.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,kBAAkB,EAElB,cAAc,EACd,cAAc,EAEd,gBAAgB,EAEhB,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,2BAA2B,EAE3B,gCAAgC,EAChC,wBAAwB,EACxB,yBAAyB,EACzB,sBAAsB,EAEvB,MAAM,6BAA6B,CAAC;AAMrC,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAkIjE,kGAAkG;AAClG,wBAAgB,iBAAiB,CAAC,KAAK,EAAE;IACvC,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,gCAAgC,EAAE,CAAC;IAC5E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC/D,QAAQ,CAAC,yBAAyB,CAAC,EAAE,yBAAyB,CAAC;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,GAAG,cAAc,CAmQjB;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,kBAAkB,EAC9B,QAAQ,EAAE,gBAAgB,GACzB,kBAAkB,CA+BpB;AAED,kFAAkF;AAClF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,2BAA2B,EAAE,wBAAwB,CAAC,CAAC;IAC7E,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,gCAAgC,EAAE,CAAC;IAC5E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC/D,QAAQ,CAAC,yBAAyB,CAAC,EAAE,yBAAyB,CAAC;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,GAAG,SAAS,mBAAmB,EAAE,CA6BjC;AAqBD,sFAAsF;AACtF,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,oBAAoB,EAC1B,MAAM,EAAE,IAAI,CAAC,2BAA2B,EAAE,wBAAwB,CAAC,GAClE,SAAS,gBAAgB,EAAE,CAiE7B;AAED,gFAAgF;AAChF,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG;IACrE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;CACrC,GACA,SAAS,mBAAmB,EAAE,CAMhC;AAED,mFAAmF;AACnF,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAEvG;AAED,oGAAoG;AACpG,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG;IACvF,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACrC,GAAG;IAAE,QAAQ,CAAC,WAAW,EAAE,KAAK,GAAG,MAAM,CAAC;IAAC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;CAAE,CASjH;AAED,yFAAyF;AACzF,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG;IACzF,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACxC,GAAG,mBAAmB,CAmBtB;AAED,iGAAiG;AACjG,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG;IACzF,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,2BAA2B,EAAE,wBAAwB,CAAC,CAAC;CAC9E,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,0BAA0B,EAAE,CAAA;CAAE,CA6B/F"}