@actuarial-ts/data 0.4.0 → 0.6.0

package/README.md

@@ -1,148 +1,66 @@
 # @actuarial-ts/data
 
-Data ingestion and ASOP No. 23 data-quality review for the
-[actuarial-ts](../core) SDK. Pure functions, fully typed, with runtime schemas
-at object boundaries.
-
-- `parseCsv(text)` — minimal RFC 4180-subset CSV parser (quoted fields,
-  escaped quotes, embedded commas/newlines, BOM, CRLF/LF); the result's
-  `rowLines` gives each row's 1-based physical start line in the file.
-- `parseLossRunCsv(text)` — loss-run import to `ClaimSnapshot[]` with
-  per-row validation errors (errors cite 1-based physical file lines,
-  header = line 1).
-- `annualDevelopmentToClaimSnapshots(rows, options)` — converts claim
-  valuations known only to annual precision without hiding the derived-date,
-  report-year, or duplicate-row conventions.
-- `parseExposureCsv(text)` — imports earned premium and/or exposure units by
-  origin; extra source measures remain extra rather than being relabeled.
-- `triangleFromLongFormat(rows, { kind })` — pivots long-format
-  `(origin, age, value)` rows into a `Triangle`.
-- `reviewClaimData(claims, { asOfDate? })` / `reviewTriangles(paid, incurred)`
-  — the ASOP No. 23-oriented review; every check performed is listed in the
-  report, pass or fail, so the actuary's disclosure can state what WAS
-  reviewed, not just what was found.
-- `validateDiagnosticDataset(value)` /
-  `validateAndReconcileDiagnosticExposures(value)` /
-  `runValidatedMetricDiagnostics(...)` — Zod-validated boundaries plus
-  stable-key exposure reconciliation for generic diagnostic rows.
-- `reviewDiagnosticData(snapshots, exposures, options)` — quarterly aggregate,
-  exposure, layer, grouping, and cached-formula checks using the same
-  `DataReviewReport` status contract, with optional structured finding context.
-
-## Checks
-
-### `reviewClaimData`
-
-| id | status when found | what it finds |
-|----|-------------------|---------------|
-| `negative-paid` | fail | cumulative paid < 0 |
-| `negative-case` | warning | case reserve < 0 (legitimate but rare) |
-| `paid-decreasing` | fail | cumulative paid decreasing across a claim's snapshots ordered by evaluation date |
-| `date-order` | fail | report before accident, or evaluation before report |
-| `duplicate-snapshot` | fail | same claimId + evaluationDate twice |
-| `future-dated` | fail | any claim date after `asOfDate` (not evaluated when `asOfDate` is omitted) |
-| `closed-with-case` | warning | closed claim still carrying case reserve |
-
-### `reviewTriangles`
-
-| id | status when found | what it finds |
-|----|-------------------|---------------|
-| `shape-mismatch` | fail | origins/ages differ between paid and incurred (blocks cell-level checks, which stay listed as "not evaluated") |
-| `paid-exceeds-incurred` | fail | paid > incurred in a cell (1e-9 relative tolerance) |
-| `negative-incremental-paid` | warning | cumulative paid decreasing along a row (salvage/subrogation makes this legal but reportable) |
-| `negative-incremental-incurred` | warning | cumulative incurred decreasing along a row |
-| `interior-missing` | warning | a null cell with observed cells both before and after it in the same row |
-
-## Quickstart
+Typed ingestion, preparation, and data-review boundaries for the actuarial-ts SDK. It supports loss-run/exposure CSVs, annual claim-development adaptation, triangle assembly, and generalized diagnostic review designed to support ASOP No. 23 work.
 
-```ts
-import { buildTriangles } from "@actuarial-ts/core";
-import { parseLossRunCsv, reviewClaimData, reviewTriangles } from "@actuarial-ts/data";
+```bash
+npm install @actuarial-ts/data@0.6.0 @actuarial-ts/core@0.6.0
+```
 
-const { claims, errors } = parseLossRunCsv(csvText);
-if (errors.length > 0) console.warn(errors); // caller decides: abort or proceed
+Node 20+, ESM. Responsibility for the review and resulting actuarial work remains with the actuary.
 
-const claimReview = reviewClaimData(claims, { asOfDate: "2023-12-31" });
+## Existing ingestion and triangle review
 
-const { paid, incurred } = buildTriangles(claims, {
-  cadence: "annual",
-  asOfDate: "2023-12-31",
-});
-const triangleReview = reviewTriangles(paid, incurred);
-```
+`parseLossRunCsv`, `parseExposureCsv`, `adaptAnnualClaimDevelopment`, `triangleFromLongFormat`, `reviewClaimData`, and `reviewTriangles` return structured errors/findings rather than silently cleaning source records. Physical source-line numbers are retained where available.
 
-### Annual-precision claim data
+## Diagnostic run boundary
 
-Do not label a source year as an exact accident or evaluation date. Normalize
-the source fields to annual rows, then let the adapter derive calendar-year-end
-compatibility dates and return the convention as a disclosure finding:
+Use `validateDiagnosticRunInput` before `runValidatedMetricDiagnostics`. Validation parses the entire configuration atomically and compiles its definition; no partially validated run escapes.
 
 ```ts
-import { annualDevelopmentToClaimSnapshots } from "@actuarial-ts/data";
-
-const conversion = annualDevelopmentToClaimSnapshots(
-  [{
-    claimId: "1995-000001",
-    originYear: 1995,
-    evaluationYear: 1996,
-    paidToDate: 100,
-    incurredToDate: 140,
-    status: "open",
+import { runValidatedMetricDiagnostics, validateDiagnosticRunInput } from "@actuarial-ts/data";
+
+const validated = validateDiagnosticRunInput({
+  definition,
+  losses: [{
+    rowType: "aggregate",
+    recordId: "loss-1",
+    sourceGroup: "fleet-a",
+    origin: "2025",
+    valuation: "2025-03-31",
+    complete: true,
+    source: { artifactId: "loss-run", sourceRow: 2 },
+    measures: { reported: 4, "gross-paid": 100, "gross-incurred": 160 },
   }],
-  { duplicatePolicy: "reject" },
-);
-
-console.log(conversion.conventions.derivedDateConvention); // calendar-year-end
-console.log(conversion.findings); // date and inferred-report-year disclosures
-```
-
-The default duplicate policy is `reject`. Selecting `combine` is an explicit
-judgment: same-claim/same-year paid and incurred values are summed, and the
-combined record is open if any component is open. The adapter reports how many
-groups and rows were combined.
-
-### Exposure data
-
-`parseExposureCsv` requires `origin` plus `earned_premium`, `exposure_units`,
-or both. Each numeric measure may be blank independently. For example, a
-source containing insurance-years and gross written premium should expose only
-the insurance-years to the SDK unless an earned-premium transformation has
-actually been performed:
+  exposures: [{
+    key: "exp-2025",
+    sourceGroup: "fleet-a",
+    origin: "2025",
+    measureId: "earned-vehicle-years",
+    value: 20,
+    complete: true,
+    source: { artifactId: "exposures", sourceRow: 2 },
+  }],
+  filter: { sourceGroups: ["fleet-a"], instanceIds: ["casualty/count/reported-frequency"] },
+  groupMap: { "fleet-a": "all-fleet" },
+  groupDimensions: { "all-fleet": { region: "all" } },
+  runPresetId: "annual-review-v1",
+  datasetArtifactId: "loss-run",
+});
 
-```csv
-origin,exposure_units,gross_written_premium
-2024,125000,42000000
+const outcome = runValidatedMetricDiagnostics(validated);
+if (outcome.status !== "completed") console.error(outcome.stage, outcome.review.report);
 ```
 
-The extra GWP column is retained in the source file but ignored by the parser;
-it is never silently loaded as `earnedPremium`.
-
-### Quarterly diagnostic review
+Loss rows use `sourceGroup`; output `group` exists only after explicit mapping. Exposure observations are long-form and measure-specific. `origin-static` exposures ignore valuation filters but honor source-group/origin selection; `valuation-specific` exposures require and honor a valuation. The pre-exclusion audit retains invalid, cutoff, filtered, and retained inputs. Omitted and explicitly empty expected-cell grids remain distinct.
 
-`reviewDiagnosticData` lists all 19 stable codes in
-`DIAGNOSTIC_REVIEW_CHECK_CODES`. The suite covers duplicate aggregate and
-exposure keys; invalid or mismatched development ages; valuation-before-origin;
-count identities; paid/incurred and cumulative movement checks; reopen
-signals; layer ordering and control totals; both sides of the loss/exposure
-join; zero/incomplete exposure; grouping consistency; and lightweight cached
-formula provenance.
+Review happens before output-group filtering and calculation. The structural catalog checks identities, periods, measure/source contracts, completeness, exposure attachment, expected-cell coverage, grouping evidence, and cached-formula provenance in deterministic order. Full findings retain code, message, complete source unions, origin, valuation, derived development age, and unit. `not-evaluated` is not treated as pass.
 
-The existing `DataCheck.details: string[]` field is unchanged. New checks also
-populate `DataCheck.findings` with optional `origin`, `valuation`, `ageMonths`,
-`group`, `sourceFile`, and `sourceRow` context so consumers need not parse
-prose. Severities and numeric tolerances are caller-configurable. Optional
-checks without configuration report `not-evaluated`, never a misleading pass.
+Definitions add declarative `compare`, `reconcile`, `monotonic`, `layer-order`, and `control-total` review rules. `createCasualtyDiagnosticReviewRules` is an optional convenience factory, not a fixed taxonomy. Missing rule inputs follow each rule’s explicit `not-evaluated` or `finding` policy. Review and metric gates have separate allowed status/severity sets; permitting a fail requires a nonblank rationale reference.
 
-For unknown objects, call `validateDiagnosticDataset` (or the convenience
-`runValidatedMetricDiagnostics`) before the core analysis. For workbook input,
-extract rows with the host's spreadsheet tooling and pass cached formula
-metadata to the review; this package deliberately does not add a heavyweight
-XLSX dependency.
+Completed outcomes are owner-branded and include the exact prepared data, review receipt, run preset, dataset artifact, grouping, result, and two-gate receipt. Compliance provenance accepts only that completed object.
 
-These utilities are designed to support the actuary's compliance with
-ASOP No. 23; responsibility for compliance remains with the credentialed
-actuary.
+See the [formula catalog](https://github.com/yerromnitsuj/actng/blob/v0.6.0/docs/reference/diagnostic-formulas.md) and [migration guide](https://github.com/yerromnitsuj/actng/blob/v0.6.0/docs/migrations/0.6-generalized-diagnostics.md).
 
 ## License
 
-Apache-2.0. See [LICENSE](./LICENSE) and [NOTICE](./NOTICE).
+Apache-2.0. See LICENSE and NOTICE.

package/dist/casualtyDiagnosticReview.d.ts

@@ -0,0 +1,46 @@
+import type { CasualtyCountBindings, DiagnosticControlTotalProjection, DiagnosticMeasureExpression, DiagnosticReviewFilter, DiagnosticReviewRule } from "@actuarial-ts/core";
+export interface CasualtyMonotonicReviewBinding {
+    readonly id: string;
+    readonly expression: DiagnosticMeasureExpression;
+    readonly direction: "nondecreasing" | "nonincreasing";
+    readonly tolerance?: {
+        readonly absolute?: number;
+        readonly relative?: number;
+    };
+}
+export interface CasualtyLayerOrderReviewBinding {
+    readonly id: string;
+    readonly narrower: DiagnosticMeasureExpression;
+    readonly broader: DiagnosticMeasureExpression;
+    readonly comparability: {
+        readonly kind: "compiler-proven";
+    } | {
+        readonly kind: "caller-asserted";
+        readonly rationaleArtifactId: string;
+    };
+    readonly tolerance?: {
+        readonly absolute?: number;
+        readonly relative?: number;
+    };
+}
+export interface CasualtyControlTotalReviewBinding {
+    readonly id: string;
+    readonly expression: DiagnosticMeasureExpression;
+    readonly expected: number;
+    readonly filter?: DiagnosticReviewFilter;
+    readonly projection: DiagnosticControlTotalProjection;
+    readonly tolerance?: {
+        readonly absolute?: number;
+        readonly relative?: number;
+    };
+}
+export interface CreateCasualtyDiagnosticReviewRulesInput {
+    readonly counts: CasualtyCountBindings;
+    readonly exposure: string;
+    readonly monotonicMeasures: readonly CasualtyMonotonicReviewBinding[];
+    readonly layerOrders: readonly CasualtyLayerOrderReviewBinding[];
+    readonly controlTotals: readonly CasualtyControlTotalReviewBinding[];
+    readonly severityOverrides?: Readonly<Record<string, "warning" | "fail">>;
+}
+export declare function createCasualtyDiagnosticReviewRules(input: CreateCasualtyDiagnosticReviewRulesInput): readonly DiagnosticReviewRule[];
+//# sourceMappingURL=casualtyDiagnosticReview.d.ts.map

package/dist/casualtyDiagnosticReview.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"casualtyDiagnosticReview.d.ts","sourceRoot":"","sources":["../src/casualtyDiagnosticReview.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,gCAAgC,EAAE,2BAA2B,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAE7K,MAAM,WAAW,8BAA8B;IAAG,QAAQ,CAAC,EAAE,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,UAAU,EAAC,2BAA2B,CAAC;IAAA,QAAQ,CAAC,SAAS,EAAC,eAAe,GAAC,eAAe,CAAC;IAAA,QAAQ,CAAC,SAAS,CAAC,EAAC;QAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,QAAQ,CAAC,EAAC,MAAM,CAAA;KAAC,CAAA;CAAE;AACnP,MAAM,WAAW,+BAA+B;IAAG,QAAQ,CAAC,EAAE,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,2BAA2B,CAAC;IAAA,QAAQ,CAAC,OAAO,EAAC,2BAA2B,CAAC;IAAA,QAAQ,CAAC,aAAa,EAAC;QAAC,QAAQ,CAAC,IAAI,EAAC,iBAAiB,CAAA;KAAC,GAAC;QAAC,QAAQ,CAAC,IAAI,EAAC,iBAAiB,CAAC;QAAA,QAAQ,CAAC,mBAAmB,EAAC,MAAM,CAAA;KAAC,CAAC;IAAA,QAAQ,CAAC,SAAS,CAAC,EAAC;QAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,QAAQ,CAAC,EAAC,MAAM,CAAA;KAAC,CAAA;CAAE;AAC3W,MAAM,WAAW,iCAAiC;IAAG,QAAQ,CAAC,EAAE,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,UAAU,EAAC,2BAA2B,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,MAAM,CAAC,EAAC,sBAAsB,CAAC;IAAA,QAAQ,CAAC,UAAU,EAAC,gCAAgC,CAAC;IAAA,QAAQ,CAAC,SAAS,CAAC,EAAC;QAAC,QAAQ,CAAC,QAAQ,CAAC,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,QAAQ,CAAC,EAAC,MAAM,CAAA;KAAC,CAAA;CAAE;AACzT,MAAM,WAAW,wCAAwC;IAAG,QAAQ,CAAC,MAAM,EAAC,qBAAqB,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,iBAAiB,EAAC,SAAS,8BAA8B,EAAE,CAAC;IAAA,QAAQ,CAAC,WAAW,EAAC,SAAS,+BAA+B,EAAE,CAAC;IAAA,QAAQ,CAAC,aAAa,EAAC,SAAS,iCAAiC,EAAE,CAAC;IAAA,QAAQ,CAAC,iBAAiB,CAAC,EAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,SAAS,GAAC,MAAM,CAAC,CAAC,CAAA;CAAE;AAE3Y,wBAAgB,mCAAmC,CAAC,KAAK,EAAC,wCAAwC,GAAE,SAAS,oBAAoB,EAAE,CASlI"}

package/dist/casualtyDiagnosticReview.js

@@ -0,0 +1,23 @@
+const m = (measureId) => ({ op: "measure", measureId });
+const tolerance = (value) => ({ absolute: value?.absolute ?? 0, relative: value?.relative ?? 0 });
+export function createCasualtyDiagnosticReviewRules(input) {
+    const fixed = [
+        { kind: "reconcile", id: "casualty/review/count-reconciliation", code: "count-reconciliation", description: "Reported count must equal open plus closed-no-pay plus closed-with-pay count", severity: "fail", missingInput: "not-evaluated", tolerance: { absolute: 0, relative: 0 }, actual: m(input.counts.reported), expected: { op: "add", terms: [m(input.counts.open), m(input.counts.closedNoPay), m(input.counts.closedWithPay)] } },
+        { kind: "compare", id: "casualty/review/closed-no-pay-bound", code: "closed-no-pay-bound", description: "Closed-no-pay count must not exceed reported count", severity: "fail", missingInput: "not-evaluated", tolerance: { absolute: 0, relative: 0 }, when: { left: m(input.counts.closedNoPay), operator: "gt", right: m(input.counts.reported) } },
+        { kind: "compare", id: "casualty/review/positive-exposure", code: "positive-exposure", description: "Exposure must be strictly positive", severity: "fail", missingInput: "not-evaluated", tolerance: { absolute: 0, relative: 0 }, when: { left: m(input.exposure), operator: "lte", right: { op: "constant", value: 0 } } },
+        { kind: "monotonic", id: "casualty/review/closed-reopen-signal", code: "closed-reopen-signal", description: "Closed count must be nondecreasing across valuations", severity: "warning", missingInput: "not-evaluated", tolerance: { absolute: 0, relative: 0 }, expression: { op: "add", terms: [m(input.counts.closedNoPay), m(input.counts.closedWithPay)] }, direction: "nondecreasing" },
+    ];
+    const dynamic = [...input.monotonicMeasures.map((item) => ({ kind: "monotonic", id: item.id, code: item.id, description: `Expression must be ${item.direction} across valuations`, severity: "warning", missingInput: "not-evaluated", tolerance: tolerance(item.tolerance), expression: item.expression, direction: item.direction })), ...input.layerOrders.map((item) => ({ kind: "layer-order", id: item.id, code: item.id, description: "Narrower amount expression must not exceed broader amount expression", severity: "fail", missingInput: "not-evaluated", tolerance: tolerance(item.tolerance), narrower: item.narrower, broader: item.broader, comparability: item.comparability })), ...input.controlTotals.map((item) => ({ kind: "control-total", id: item.id, code: item.id, description: "Expression must reconcile to the declared control total", severity: "fail", missingInput: "not-evaluated", tolerance: tolerance(item.tolerance), expression: item.expression, expected: item.expected, ...(item.filter ? { filter: item.filter } : {}), projection: item.projection }))];
+    const all = [...fixed, ...dynamic];
+    const ids = new Set();
+    for (const rule of all) {
+        if (ids.has(rule.id))
+            throw new Error(`Duplicate review rule ID ${rule.id}`);
+        ids.add(rule.id);
+    }
+    for (const key of Object.keys(input.severityOverrides ?? {}))
+        if (!ids.has(key))
+            throw new Error(`Unknown severity override ${key}`);
+    return Object.freeze(all.map((rule) => Object.freeze({ ...rule, severity: input.severityOverrides?.[rule.id] ?? rule.severity })));
+}
+//# sourceMappingURL=casualtyDiagnosticReview.js.map

package/dist/casualtyDiagnosticReview.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"casualtyDiagnosticReview.js","sourceRoot":"","sources":["../src/casualtyDiagnosticReview.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,GAAC,CAAC,SAAgB,EAAC,EAAE,CAAA,CAAC,EAAC,EAAE,EAAC,SAAkB,EAAC,SAAS,EAAC,CAAC,CAAC;AAAA,MAAM,SAAS,GAAC,CAAC,KAAmD,EAAC,EAAE,CAAA,CAAC,EAAC,QAAQ,EAAC,KAAK,EAAE,QAAQ,IAAE,CAAC,EAAC,QAAQ,EAAC,KAAK,EAAE,QAAQ,IAAE,CAAC,EAAC,CAAC,CAAC;AACnM,MAAM,UAAU,mCAAmC,CAAC,KAA8C;IAChG,MAAM,KAAK,GAAwB;QACjC,EAAC,IAAI,EAAC,WAAW,EAAC,EAAE,EAAC,sCAAsC,EAAC,IAAI,EAAC,sBAAsB,EAAC,WAAW,EAAC,8EAA8E,EAAC,QAAQ,EAAC,MAAM,EAAC,YAAY,EAAC,eAAe,EAAC,SAAS,EAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,EAAC,MAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAC,QAAQ,EAAC,EAAC,EAAE,EAAC,KAAK,EAAC,KAAK,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,EAAC,EAAC;QAC7Y,EAAC,IAAI,EAAC,SAAS,EAAC,EAAE,EAAC,qCAAqC,EAAC,IAAI,EAAC,qBAAqB,EAAC,WAAW,EAAC,oDAAoD,EAAC,QAAQ,EAAC,MAAM,EAAC,YAAY,EAAC,eAAe,EAAC,SAAS,EAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,EAAC,IAAI,EAAC,EAAC,IAAI,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,EAAC,QAAQ,EAAC,IAAI,EAAC,KAAK,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAC,EAAC;QACzT,EAAC,IAAI,EAAC,SAAS,EAAC,EAAE,EAAC,mCAAmC,EAAC,IAAI,EAAC,mBAAmB,EAAC,WAAW,EAAC,oCAAoC,EAAC,QAAQ,EAAC,MAAM,EAAC,YAAY,EAAC,eAAe,EAAC,SAAS,EAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,EAAC,IAAI,EAAC,EAAC,IAAI,EAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAC,QAAQ,EAAC,KAAK,EAAC,KAAK,EAAC,EAAC,EAAE,EAAC,UAAU,EAAC,KAAK,EAAC,CAAC,EAAC,EAAC,EAAC;QAC3R,EAAC,IAAI,EAAC,WAAW,EAAC,EAAE,EAAC,sCAAsC,EAAC,IAAI,EAAC,sBAAsB,EAAC,WAAW,EAAC,sDAAsD,EAAC,QAAQ,EAAC,SAAS,EAAC,YAAY,EAAC,eAAe,EAAC,SAAS,EAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,QAAQ,EAAC,CAAC,EAAC,EAAC,UAAU,EAAC,EAAC,EAAE,EAAC,KAAK,EAAC,KAAK,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,EAAC,EAAC,SAAS,EAAC,eAAe,EAAC;KAChW,CAAC;IACF,MAAM,OAAO,GAAwB,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAsB,EAAE,CAAA,CAAC,EAAC,IAAI,EAAC,WAAW,EAAC,EAAE,EAAC,IAAI,CAAC,EAAE,EAAC,IAAI,EAAC,IAAI,CAAC,EAAE,EAAC,WAAW,EAAC,sBAAsB,IAAI,CAAC,SAAS,oBAAoB,EAAC,QAAQ,EAAC,SAAS,EAAC,YAAY,EAAC,eAAe,EAAC,SAAS,EAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAC,UAAU,EAAC,IAAI,CAAC,UAAU,EAAC,SAAS,EAAC,IAAI,CAAC,SAAS,EAAC,CAAC,CAAC,EAAC,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAsB,EAAE,CAAA,CAAC,EAAC,IAAI,EAAC,aAAa,EAAC,EAAE,EAAC,IAAI,CAAC,EAAE,EAAC,IAAI,EAAC,IAAI,CAAC,EAAE,EAAC,WAAW,EAAC,sEAAsE,EAAC,QAAQ,EAAC,MAAM,EAAC,YAAY,EAAC,eAAe,EAAC,SAAS,EAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAC,QAAQ,EAAC,IAAI,CAAC,QAAQ,EAAC,OAAO,EAAC,IAAI,CAAC,OAAO,EAAC,aAAa,EAAC,IAAI,CAAC,aAAa,EAAC,CAAC,CAAC,EAAC,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAsB,EAAE,CAAA,CAAC,EAAC,IAAI,EAAC,eAAe,EAAC,EAAE,EAAC,IAAI,CAAC,EAAE,EAAC,IAAI,EAAC,IAAI,CAAC,EAAE,EAAC,WAAW,EAAC,yDAAyD,EAAC,QAAQ,EAAC,MAAM,EAAC,YAAY,EAAC,eAAe,EAAC,SAAS,EAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAC,UAAU,EAAC,IAAI,CAAC,UAAU,EAAC,QAAQ,EAAC,IAAI,CAAC,QAAQ,EAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAA,CAAC,CAAA,EAAC,MAAM,EAAC,IAAI,CAAC,MAAM,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,UAAU,EAAC,IAAI,CAAC,UAAU,EAAC,CAAC,CAAC,CAAC,CAAC;IAC5iC,MAAM,GAAG,GAAC,CAAC,GAAG,KAAK,EAAC,GAAG,OAAO,CAAC,CAAC;IAAA,MAAM,GAAG,GAAC,IAAI,GAAG,EAAU,CAAC;IAAA,KAAI,MAAM,IAAI,IAAI,GAAG,EAAC,CAAC;QAAA,IAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAAA,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAAA,CAAC;IAAA,KAAI,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,IAAE,EAAE,CAAC;QAAC,IAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAC,MAAM,IAAI,KAAK,CAAC,6BAA6B,GAAG,EAAE,CAAC,CAAC;IAAA,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAC,EAAE,CAAA,MAAM,CAAC,MAAM,CAAC,EAAC,GAAG,IAAI,EAAC,QAAQ,EAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAE,IAAI,CAAC,QAAQ,EAAC,CAAyB,CAAC,CAAC,CAAC;AACnc,CAAC"}

package/dist/diagnosticDefinition.d.ts

@@ -0,0 +1,4 @@
+import { type CompiledDiagnosticDefinition } from "@actuarial-ts/core";
+/** Validates unknown authored definition data through core's single semantic compiler. */
+export declare function validateDiagnosticDefinition(value: unknown): CompiledDiagnosticDefinition;
+//# sourceMappingURL=diagnosticDefinition.d.ts.map

package/dist/diagnosticDefinition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnosticDefinition.d.ts","sourceRoot":"","sources":["../src/diagnosticDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,KAAK,4BAA4B,EAA6B,MAAM,oBAAoB,CAAC;AAE/H,0FAA0F;AAC1F,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,OAAO,GAAG,4BAA4B,CAEzF"}

package/dist/diagnosticDefinition.js

@@ -0,0 +1,6 @@
+import { compileDiagnosticDefinition } from "@actuarial-ts/core";
+/** Validates unknown authored definition data through core's single semantic compiler. */
+export function validateDiagnosticDefinition(value) {
+    return compileDiagnosticDefinition(value);
+}
+//# sourceMappingURL=diagnosticDefinition.js.map

package/dist/diagnosticDefinition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnosticDefinition.js","sourceRoot":"","sources":["../src/diagnosticDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAgE,MAAM,oBAAoB,CAAC;AAE/H,0FAA0F;AAC1F,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,OAAO,2BAA2B,CAAC,KAA6B,CAAC,CAAC;AACpE,CAAC"}

package/dist/diagnosticInput.d.ts

@@ -1,14 +1,98 @@
-import { type DiagnosticExposureRow, type DiagnosticLossRow, type MetricDiagnosticsResult, type ReconciledDiagnosticExposures, type RunMetricDiagnosticsInput } from "@actuarial-ts/core";
-export interface ValidatedDiagnosticDataset {
-    losses: DiagnosticLossRow[];
-    /** Omitted when the caller did not supply exposure data. */
-    exposures?: DiagnosticExposureRow[];
-}
-/** Zod-validates unknown diagnostic rows at the data package boundary. */
-export declare function validateDiagnosticDataset(value: unknown): ValidatedDiagnosticDataset;
-/** Validates unknown exposure rows, then applies core's stable-key reconciliation. */
-export declare function validateAndReconcileDiagnosticExposures(value: unknown): ReconciledDiagnosticExposures;
-export type ValidatedMetricDiagnosticsOptions = Omit<RunMetricDiagnosticsInput, "losses" | "exposures">;
-/** Convenience boundary: validate unknown rows, then run the dependency-free core engine. */
-export declare function runValidatedMetricDiagnostics(dataset: unknown, options: ValidatedMetricDiagnosticsOptions): MetricDiagnosticsResult;
+import { type CompiledDiagnosticDefinition, type DiagnosticCompletePeriodCutoff, type DiagnosticDeepReadonly, type DiagnosticDefinition, type DiagnosticExpectedCell, type DiagnosticExposureObservation, type DiagnosticLossInput, type DiagnosticsFilter, type JsonValue, type MetricDiagnosticsResult } from "@actuarial-ts/core";
+import { type DiagnosticReviewReceipt } from "./diagnosticPreparedReview.js";
+export type DiagnosticAllowedReviewStatus = "pass" | "warning" | "not-evaluated" | "fail";
+export interface DiagnosticExecutionPolicyInput {
+    readonly allowedReviewStatuses?: readonly DiagnosticAllowedReviewStatus[];
+    readonly allowedMetricFindingSeverities?: readonly ("info" | "warning" | "fail")[];
+    readonly rationaleRef?: string;
+}
+export interface DiagnosticRunInput {
+    readonly definition: DiagnosticDefinition;
+    readonly losses: readonly DiagnosticLossInput[];
+    readonly exposures?: readonly DiagnosticExposureObservation[];
+    readonly filter?: DiagnosticsFilter;
+    readonly completePeriodCutoffs?: readonly DiagnosticCompletePeriodCutoff[];
+    readonly expectedCells?: readonly DiagnosticExpectedCell[];
+    readonly reviewEvidence?: JsonValue | null;
+    readonly runPresetId?: string;
+    readonly datasetArtifactId?: string;
+    readonly groupMap?: Readonly<Record<string, string>>;
+    readonly groupDimensions?: Readonly<Record<string, JsonValue>>;
+    readonly policy?: DiagnosticExecutionPolicyInput;
+}
+declare const validatedDiagnosticRunInputBrand: unique symbol;
+export interface ValidatedDiagnosticRunInput {
+    readonly [validatedDiagnosticRunInputBrand]: true;
+    readonly definition: CompiledDiagnosticDefinition;
+    readonly losses: readonly DiagnosticDeepReadonly<DiagnosticLossInput>[];
+    readonly exposures: readonly DiagnosticDeepReadonly<DiagnosticExposureObservation>[];
+    readonly filter: DiagnosticDeepReadonly<DiagnosticsFilter> | null;
+    readonly completePeriodCutoffs: readonly DiagnosticCompletePeriodCutoff[];
+    readonly expectedCells: readonly DiagnosticExpectedCell[] | null;
+    readonly reviewEvidence: JsonValue | null;
+    readonly runPresetId: string | null;
+    readonly datasetArtifactId: string | null;
+    readonly groupMap: Readonly<Record<string, string>>;
+    readonly groupDimensions: Readonly<Record<string, JsonValue>>;
+    readonly policy: {
+        readonly allowedReviewStatuses: readonly DiagnosticAllowedReviewStatus[];
+        readonly allowedMetricFindingSeverities: readonly ("info" | "warning" | "fail")[];
+        readonly rationaleRef: string | null;
+    };
+}
+export interface DiagnosticExecutionGateReceipt {
+    readonly allowedReviewStatuses: readonly DiagnosticAllowedReviewStatus[];
+    readonly allowedMetricFindingSeverities: readonly ("info" | "warning" | "fail")[];
+    readonly rationaleRef: string | null;
+    readonly reviewGate: "passed" | "blocked";
+    readonly metricGate: "not-run" | "passed" | "blocked";
+}
+export interface CompletedValidatedMetricDiagnosticsRun {
+    readonly status: "completed";
+    readonly prepared: import("@actuarial-ts/core").PreparedDiagnosticData;
+    readonly review: DiagnosticReviewReceipt;
+    readonly result: DiagnosticDeepReadonly<MetricDiagnosticsResult>;
+    readonly runPresetId: string | null;
+    readonly datasetArtifactId: string | null;
+    readonly groupMap: Readonly<Record<string, string>>;
+    readonly groupDimensions: Readonly<Record<string, JsonValue>>;
+    readonly gate: DiagnosticExecutionGateReceipt & {
+        readonly reviewGate: "passed";
+        readonly metricGate: "passed";
+    };
+}
+export type ValidatedMetricDiagnosticsOutcome = CompletedValidatedMetricDiagnosticsRun | {
+    readonly status: "blocked";
+    readonly stage: "review";
+    readonly prepared: import("@actuarial-ts/core").PreparedDiagnosticData;
+    readonly review: DiagnosticReviewReceipt;
+    readonly result: null;
+    readonly runPresetId: string | null;
+    readonly datasetArtifactId: string | null;
+    readonly groupMap: Readonly<Record<string, string>>;
+    readonly groupDimensions: Readonly<Record<string, JsonValue>>;
+    readonly gate: DiagnosticExecutionGateReceipt & {
+        readonly reviewGate: "blocked";
+        readonly metricGate: "not-run";
+    };
+} | {
+    readonly status: "blocked";
+    readonly stage: "metric";
+    readonly prepared: import("@actuarial-ts/core").PreparedDiagnosticData;
+    readonly review: DiagnosticReviewReceipt;
+    readonly result: DiagnosticDeepReadonly<MetricDiagnosticsResult>;
+    readonly runPresetId: string | null;
+    readonly datasetArtifactId: string | null;
+    readonly groupMap: Readonly<Record<string, string>>;
+    readonly groupDimensions: Readonly<Record<string, JsonValue>>;
+    readonly gate: DiagnosticExecutionGateReceipt & {
+        readonly reviewGate: "passed";
+        readonly metricGate: "blocked";
+    };
+};
+export declare function validateDiagnosticRunInput(value: unknown): ValidatedDiagnosticRunInput;
+export declare function assertValidatedDiagnosticRunInput(value: unknown): asserts value is ValidatedDiagnosticRunInput;
+export declare function runValidatedMetricDiagnostics(input: ValidatedDiagnosticRunInput): ValidatedMetricDiagnosticsOutcome;
+export declare function assertCompletedValidatedMetricDiagnosticsRun(value: unknown): asserts value is CompletedValidatedMetricDiagnosticsRun;
+export {};
 //# sourceMappingURL=diagnosticInput.d.ts.map

package/dist/diagnosticInput.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnosticInput.d.ts","sourceRoot":"","sources":["../src/diagnosticInput.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,qBAAqB,EAC1B,KAAK,iBAAiB,EACtB,KAAK,uBAAuB,EAC5B,KAAK,6BAA6B,EAClC,KAAK,yBAAyB,EAC/B,MAAM,oBAAoB,CAAC;AA+B5B,MAAM,WAAW,0BAA0B;IACzC,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5B,4DAA4D;IAC5D,SAAS,CAAC,EAAE,qBAAqB,EAAE,CAAC;CACrC;AAED,0EAA0E;AAC1E,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,0BAA0B,CAYpF;AAED,sFAAsF;AACtF,wBAAgB,uCAAuC,CACrD,KAAK,EAAE,OAAO,GACb,6BAA6B,CAG/B;AAED,MAAM,MAAM,iCAAiC,GAAG,IAAI,CAAC,yBAAyB,EAAE,QAAQ,GAAG,WAAW,CAAC,CAAC;AAExG,6FAA6F;AAC7F,wBAAgB,6BAA6B,CAC3C,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,iCAAiC,GACzC,uBAAuB,CAGzB"}
+{"version":3,"file":"diagnosticInput.d.ts","sourceRoot":"","sources":["../src/diagnosticInput.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,4BAA4B,EACjC,KAAK,8BAA8B,EACnC,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,6BAA6B,EAClC,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,uBAAuB,EAE7B,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAgC,KAAK,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAc3G,MAAM,MAAM,6BAA6B,GAAG,MAAM,GAAG,SAAS,GAAG,eAAe,GAAG,MAAM,CAAC;AAC1F,MAAM,WAAW,8BAA8B;IAAG,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,6BAA6B,EAAE,CAAC;IAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE;AACjP,MAAM,WAAW,kBAAkB;IAAG,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,6BAA6B,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,8BAA8B,EAAE,CAAC;IAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,SAAS,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,8BAA8B,CAAA;CAAE;AACpoB,OAAO,CAAC,MAAM,gCAAgC,EAAE,OAAO,MAAM,CAAC;AAC9D,MAAM,WAAW,2BAA2B;IAAG,QAAQ,CAAC,CAAC,gCAAgC,CAAC,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,4BAA4B,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,CAAC,mBAAmB,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,sBAAsB,CAAC,6BAA6B,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC,iBAAiB,CAAC,GAAC,IAAI,CAAC;IAAC,QAAQ,CAAC,qBAAqB,EAAE,SAAS,8BAA8B,EAAE,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,SAAS,sBAAsB,EAAE,GAAC,IAAI,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,GAAC,IAAI,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAC,IAAI,CAAC;IAAC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAC,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,SAAS,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,qBAAqB,EAAE,SAAS,6BAA6B,EAAE,CAAC;QAAC,QAAQ,CAAC,8BAA8B,EAAE,SAAS,CAAC,MAAM,GAAC,SAAS,GAAC,MAAM,CAAC,EAAE,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAC,IAAI,CAAA;KAAE,CAAA;CAAE;AACz7B,MAAM,WAAW,8BAA8B;IAAG,QAAQ,CAAC,qBAAqB,EAAC,SAAS,6BAA6B,EAAE,CAAC;IAAA,QAAQ,CAAC,8BAA8B,EAAC,SAAS,CAAC,MAAM,GAAC,SAAS,GAAC,MAAM,CAAC,EAAE,CAAC;IAAA,QAAQ,CAAC,YAAY,EAAC,MAAM,GAAC,IAAI,CAAC;IAAA,QAAQ,CAAC,UAAU,EAAC,QAAQ,GAAC,SAAS,CAAC;IAAA,QAAQ,CAAC,UAAU,EAAC,SAAS,GAAC,QAAQ,GAAC,SAAS,CAAA;CAAE;AAClU,MAAM,WAAW,sCAAsC;IAAG,QAAQ,CAAC,MAAM,EAAC,WAAW,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,OAAO,oBAAoB,EAAE,sBAAsB,CAAC;IAAA,QAAQ,CAAC,MAAM,EAAC,uBAAuB,CAAC;IAAA,QAAQ,CAAC,MAAM,EAAC,sBAAsB,CAAC,uBAAuB,CAAC,CAAC;IAAA,QAAQ,CAAC,WAAW,EAAC,MAAM,GAAC,IAAI,CAAC;IAAA,QAAQ,CAAC,iBAAiB,EAAC,MAAM,GAAC,IAAI,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC,CAAC;IAAA,QAAQ,CAAC,eAAe,EAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,SAAS,CAAC,CAAC,CAAC;IAAA,QAAQ,CAAC,IAAI,EAAC,8BAA8B,GAAC;QAAC,QAAQ,CAAC,UAAU,EAAC,QAAQ,CAAC;QAAA,QAAQ,CAAC,UAAU,EAAC,QAAQ,CAAA;KAAC,CAAA;CAAE;AACpiB,MAAM,MAAM,iCAAiC,GAAC,sCAAsC,GAAC;IAAC,QAAQ,CAAC,MAAM,EAAC,SAAS,CAAC;IAAA,QAAQ,CAAC,KAAK,EAAC,QAAQ,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,OAAO,oBAAoB,EAAE,sBAAsB,CAAC;IAAA,QAAQ,CAAC,MAAM,EAAC,uBAAuB,CAAC;IAAA,QAAQ,CAAC,MAAM,EAAC,IAAI,CAAC;IAAA,QAAQ,CAAC,WAAW,EAAC,MAAM,GAAC,IAAI,CAAC;IAAA,QAAQ,CAAC,iBAAiB,EAAC,MAAM,GAAC,IAAI,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC,CAAC;IAAA,QAAQ,CAAC,eAAe,EAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,SAAS,CAAC,CAAC,CAAC;IAAA,QAAQ,CAAC,IAAI,EAAC,8BAA8B,GAAC;QAAC,QAAQ,CAAC,UAAU,EAAC,SAAS,CAAC;QAAA,QAAQ,CAAC,UAAU,EAAC,SAAS,CAAA;KAAC,CAAA;CAAC,GAAC;IAAC,QAAQ,CAAC,MAAM,EAAC,SAAS,CAAC;IAAA,QAAQ,CAAC,KAAK,EAAC,QAAQ,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,OAAO,oBAAoB,EAAE,sBAAsB,CAAC;IAAA,QAAQ,CAAC,MAAM,EAAC,uBAAuB,CAAC;IAAA,QAAQ,CAAC,MAAM,EAAC,sBAAsB,CAAC,uBAAuB,CAAC,CAAC;IAAA,QAAQ,CAAC,WAAW,EAAC,MAAM,GAAC,IAAI,CAAC;IAAA,QAAQ,CAAC,iBAAiB,EAAC,MAAM,GAAC,IAAI,CAAC;IAAA,QAAQ,CAAC,QAAQ,EAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC,CAAC;IAAA,QAAQ,CAAC,eAAe,EAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAC,SAAS,CAAC,CAAC,CAAC;IAAA,QAAQ,CAAC,IAAI,EAAC,8BAA8B,GAAC;QAAC,QAAQ,CAAC,UAAU,EAAC,QAAQ,CAAC;QAAA,QAAQ,CAAC,UAAU,EAAC,SAAS,CAAA;KAAC,CAAA;CAAC,CAAC;AAM/iC,wBAAgB,0BAA0B,CAAC,KAAK,EAAC,OAAO,GAAE,2BAA2B,CAYpF;AAED,wBAAgB,iCAAiC,CAAC,KAAK,EAAC,OAAO,GAAE,OAAO,CAAC,KAAK,IAAI,2BAA2B,CAAuO;AAGpV,wBAAgB,6BAA6B,CAAC,KAAK,EAAC,2BAA2B,GAAE,iCAAiC,CAUjH;AACD,wBAAgB,4CAA4C,CAAC,KAAK,EAAC,OAAO,GAAE,OAAO,CAAC,KAAK,IAAI,sCAAsC,CAAiO"}

package/dist/diagnosticInput.js

@@ -1,51 +1,63 @@
-import { ReservingError, reconcileDiagnosticExposureKeys, runMetricDiagnostics, } from "@actuarial-ts/core";
+import { DiagnosticValidationError, compileDiagnosticDefinition, prepareDiagnosticData, runMetricDiagnostics, } from "@actuarial-ts/core";
 import { z } from "zod";
-const measuresSchema = z.record(z.number().nullable());
-const diagnosticLossRowSchema = z.object({
-    id: z.string().min(1),
-    group: z.string().min(1),
-    origin: z.string().min(1),
-    valuation: z.string().min(1),
-    ageMonths: z.number(),
-    policyPeriod: z.string().min(1).optional(),
-    dimensions: z.unknown().optional(),
-    measures: measuresSchema,
-}).strict();
-const diagnosticExposureRowSchema = z.object({
-    key: z.string().min(1),
-    group: z.string().min(1),
-    origin: z.string().min(1),
-    valuation: z.string().min(1).optional(),
-    measures: measuresSchema,
-    complete: z.boolean().optional(),
-    dimensions: z.unknown().optional(),
-}).strict();
-const diagnosticDatasetSchema = z.object({
-    losses: z.array(diagnosticLossRowSchema),
-    exposures: z.array(diagnosticExposureRowSchema).optional(),
-}).strict();
-/** Zod-validates unknown diagnostic rows at the data package boundary. */
-export function validateDiagnosticDataset(value) {
-    const parsed = diagnosticDatasetSchema.safeParse(value);
-    if (!parsed.success) {
-        const details = parsed.error.issues
-            .map((issue) => `${issue.path.length > 0 ? issue.path.join(".") : "$"}: ${issue.message}`)
-            .join("; ");
-        throw new ReservingError("SHAPE", `Invalid diagnostic dataset: ${details}`);
+import { reviewPreparedDiagnosticData } from "./diagnosticPreparedReview.js";
+const sourceSchema = z.object({ artifactId: z.string().min(1), sourceFile: z.string().min(1).optional(), sourceSheet: z.string().min(1).optional(), sourceRow: z.number().int().nonnegative().optional(), sourceCell: z.string().min(1).optional() }).strict();
+const measuresSchema = z.record(z.union([z.number(), z.null()]));
+const lossBase = { recordId: z.string().min(1), sourceGroup: z.string().min(1), origin: z.string().min(1), valuation: z.string().min(1), complete: z.boolean(), source: sourceSchema.optional(), measures: measuresSchema };
+const lossSchema = z.discriminatedUnion("rowType", [z.object({ ...lossBase, rowType: z.literal("claim"), claimId: z.string().min(1) }).strict(), z.object({ ...lossBase, rowType: z.literal("aggregate") }).strict()]);
+const exposureSchema = z.object({ key: z.string().min(1), sourceGroup: z.string().min(1), origin: z.string().min(1), valuation: z.string().min(1).optional(), measureId: z.string().min(1), value: z.union([z.number(), z.null()]), complete: z.boolean(), source: sourceSchema.optional() }).strict();
+const filterSchema = z.object({ sourceGroups: z.array(z.string().min(1)).optional(), outputGroups: z.array(z.string().min(1)).optional(), origins: z.array(z.string().min(1)).optional(), originFrom: z.string().min(1).optional(), originThrough: z.string().min(1).optional(), valuations: z.array(z.string().min(1)).optional(), valuationFrom: z.string().min(1).optional(), valuationThrough: z.string().min(1).optional(), minDevelopmentAge: z.number().int().nonnegative().optional(), maxDevelopmentAge: z.number().int().nonnegative().optional(), instanceIds: z.array(z.string().min(1)).optional() }).strict();
+const cutoffSchema = z.object({ sourceGroup: z.string().min(1), originThrough: z.string().min(1).nullable(), valuationThrough: z.string().min(1).nullable() }).strict();
+const expectedSchema = z.object({ sourceGroup: z.string().min(1), origin: z.string().min(1), valuation: z.string().min(1), source: sourceSchema.optional() }).strict();
+const jsonSchema = z.lazy(() => z.union([z.null(), z.boolean(), z.number().finite(), z.string(), z.array(jsonSchema), z.record(jsonSchema)]));
+const policySchema = z.object({ allowedReviewStatuses: z.array(z.enum(["pass", "warning", "not-evaluated", "fail"])).optional(), allowedMetricFindingSeverities: z.array(z.enum(["info", "warning", "fail"])).optional(), rationaleRef: z.string().min(1).optional() }).strict();
+const runSchema = z.object({ definition: z.unknown(), losses: z.array(lossSchema), exposures: z.array(exposureSchema).optional(), filter: filterSchema.optional(), completePeriodCutoffs: z.array(cutoffSchema).optional(), expectedCells: z.array(expectedSchema).optional(), reviewEvidence: jsonSchema.nullable().optional(), runPresetId: z.string().min(1).optional(), datasetArtifactId: z.string().min(1).optional(), groupMap: z.record(z.string().min(1)).optional(), groupDimensions: z.record(jsonSchema).optional(), policy: policySchema.optional() }).strict();
+const authentic = new WeakSet();
+function freeze(value, seen = new WeakSet()) { if (value === null || typeof value !== "object" || seen.has(value))
+    return value; seen.add(value); for (const child of Object.values(value))
+    freeze(child, seen); return Object.freeze(value); }
+function issues(error) { return new DiagnosticValidationError(error.issues.map((issue) => ({ domain: (issue.path[0] === "definition" ? "definition" : issue.path[0] === "losses" || issue.path[0] === "exposures" || issue.path[0] === "reviewEvidence" ? "input" : "configuration"), code: issue.code === "unrecognized_keys" ? "unknown-key" : "invalid-type", path: `$${issue.path.map((part) => typeof part === "number" ? `[${part}]` : /^[A-Za-z_$][\w$]*$/.test(part) ? `.${part}` : `[${JSON.stringify(part)}]`).join("")}`, message: issue.message }))); }
+export function validateDiagnosticRunInput(value) {
+    const parsed = runSchema.safeParse(value);
+    if (!parsed.success)
+        throw issues(parsed.error);
+    const definition = compileDiagnosticDefinition(parsed.data.definition);
+    const relationIssues = parsed.data.losses.flatMap((row, index) => row.rowType === definition.definition.lossRowGrain ? [] : [{ domain: "input", code: "invalid-input-relationship", path: `$.losses[${index}].rowType`, message: "Loss row type does not match definition grain" }]);
+    for (const [index, row] of (parsed.data.exposures ?? []).entries()) {
+        const measure = definition.definition.measures.find((item) => item.id === row.measureId);
+        if (measure?.exposureTiming === "valuation-specific" && row.valuation === undefined)
+            relationIssues.push({ domain: "input", code: "missing-required", path: `$.exposures[${index}].valuation`, message: "Valuation-specific exposure requires valuation" });
     }
-    return {
-        losses: parsed.data.losses,
-        ...(parsed.data.exposures !== undefined ? { exposures: parsed.data.exposures } : {}),
-    };
+    if (relationIssues.length)
+        throw new DiagnosticValidationError(relationIssues);
+    const review = parsed.data.policy?.allowedReviewStatuses ?? ["pass", "warning", "not-evaluated"];
+    const metric = parsed.data.policy?.allowedMetricFindingSeverities ?? ["info", "warning"];
+    const rationale = parsed.data.policy?.rationaleRef ?? null;
+    if ((review.includes("fail") || metric.includes("fail")) && rationale === null)
+        throw new DiagnosticValidationError([{ domain: "configuration", code: "missing-required", path: "$.policy.rationaleRef", message: "A rationale is required when fail outcomes are allowed" }]);
+    const result = freeze({ definition, losses: parsed.data.losses, exposures: parsed.data.exposures ?? [], filter: parsed.data.filter ?? null, completePeriodCutoffs: parsed.data.completePeriodCutoffs ?? [], expectedCells: parsed.data.expectedCells ?? null, reviewEvidence: parsed.data.reviewEvidence ?? null, runPresetId: parsed.data.runPresetId ?? null, datasetArtifactId: parsed.data.datasetArtifactId ?? null, groupMap: parsed.data.groupMap ?? Object.create(null), groupDimensions: parsed.data.groupDimensions ?? Object.create(null), policy: { allowedReviewStatuses: [...new Set(review)], allowedMetricFindingSeverities: [...new Set(metric)], rationaleRef: rationale } });
+    authentic.add(result);
+    return result;
 }
-/** Validates unknown exposure rows, then applies core's stable-key reconciliation. */
-export function validateAndReconcileDiagnosticExposures(value) {
-    const validated = validateDiagnosticDataset({ losses: [], exposures: value });
-    return reconcileDiagnosticExposureKeys(validated.exposures ?? []);
-}
-/** Convenience boundary: validate unknown rows, then run the dependency-free core engine. */
-export function runValidatedMetricDiagnostics(dataset, options) {
-    const validated = validateDiagnosticDataset(dataset);
-    return runMetricDiagnostics({ ...options, ...validated });
+export function assertValidatedDiagnosticRunInput(value) { if (value === null || typeof value !== "object" || !authentic.has(value))
+    throw new DiagnosticValidationError([{ domain: "input", code: "invalid-input-relationship", path: "$", message: "Value is not an authentic validated diagnostic run input" }]); }
+const completed = new WeakSet();
+export function runValidatedMetricDiagnostics(input) {
+    assertValidatedDiagnosticRunInput(input);
+    const prepared = prepareDiagnosticData({ definition: input.definition, losses: input.losses, exposures: input.exposures, filter: input.filter ?? undefined, completePeriodCutoffs: input.completePeriodCutoffs, expectedCells: input.expectedCells ?? undefined });
+    const review = reviewPreparedDiagnosticData({ prepared, evidence: input.reviewEvidence });
+    const disallowedReview = review.report.checks.some((check) => !input.policy.allowedReviewStatuses.includes(check.status));
+    const base = { prepared, review, runPresetId: input.runPresetId, datasetArtifactId: input.datasetArtifactId, groupMap: input.groupMap, groupDimensions: input.groupDimensions };
+    if (disallowedReview)
+        return freeze({ ...base, status: "blocked", stage: "review", result: null, gate: { ...input.policy, reviewGate: "blocked", metricGate: "not-run" } });
+    const result = runMetricDiagnostics({ prepared, groupMap: input.groupMap, groupDimensions: input.groupDimensions });
+    const disallowedMetric = result.findings.some((finding) => finding.category !== "structural" && !input.policy.allowedMetricFindingSeverities.includes(finding.severity));
+    if (disallowedMetric)
+        return freeze({ ...base, status: "blocked", stage: "metric", result, gate: { ...input.policy, reviewGate: "passed", metricGate: "blocked" } });
+    const outcome = freeze({ ...base, status: "completed", result, gate: { ...input.policy, reviewGate: "passed", metricGate: "passed" } });
+    completed.add(outcome);
+    return outcome;
 }
+export function assertCompletedValidatedMetricDiagnosticsRun(value) { if (value === null || typeof value !== "object" || !completed.has(value))
+    throw new DiagnosticValidationError([{ domain: "input", code: "invalid-input-relationship", path: "$", message: "Value is not an authentic completed diagnostic run" }]); }
 //# sourceMappingURL=diagnosticInput.js.map

package/dist/diagnosticInput.js.map

@@ -1 +1 @@
-{"version":3,"file":"diagnosticInput.js","sourceRoot":"","sources":["../src/diagnosticInput.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,EACd,+BAA+B,EAC/B,oBAAoB,GAMrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;AAEvD,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1C,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAClC,QAAQ,EAAE,cAAc;CACzB,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACvC,QAAQ,EAAE,cAAc;IACxB,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAChC,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;IACxC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,QAAQ,EAAE;CAC3D,CAAC,CAAC,MAAM,EAAE,CAAC;AAQZ,0EAA0E;AAC1E,MAAM,UAAU,yBAAyB,CAAC,KAAc;IACtD,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACxD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM;aAChC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;aACzF,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,IAAI,cAAc,CAAC,OAAO,EAAE,+BAA+B,OAAO,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM;QAC1B,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrF,CAAC;AACJ,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,uCAAuC,CACrD,KAAc;IAEd,MAAM,SAAS,GAAG,yBAAyB,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9E,OAAO,+BAA+B,CAAC,SAAS,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;AACpE,CAAC;AAID,6FAA6F;AAC7F,MAAM,UAAU,6BAA6B,CAC3C,OAAgB,EAChB,OAA0C;IAE1C,MAAM,SAAS,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACrD,OAAO,oBAAoB,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;AAC5D,CAAC"}
+{"version":3,"file":"diagnosticInput.js","sourceRoot":"","sources":["../src/diagnosticInput.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,yBAAyB,EACzB,2BAA2B,EAC3B,qBAAqB,EACrB,oBAAoB,GAYrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,4BAA4B,EAAgC,MAAM,+BAA+B,CAAC;AAE3G,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAC/P,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACjE,MAAM,QAAQ,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;AAC5N,MAAM,UAAU,GAAG,CAAC,CAAC,kBAAkB,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AACvN,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACvS,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAC5lB,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACxK,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACvK,MAAM,UAAU,GAAyB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AACpK,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,8BAA8B,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACjR,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE,EAAE,cAAc,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAW7iB,MAAM,SAAS,GAAG,IAAI,OAAO,EAAU,CAAC;AACxC,SAAS,MAAM,CAAI,KAAO,EAAC,OAAK,IAAI,OAAO,EAAU,IAA4B,IAAG,KAAK,KAAG,IAAI,IAAE,OAAO,KAAK,KAAG,QAAQ,IAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;IAAC,OAAO,KAAkC,CAAC,CAAA,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA,KAAI,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAA+B,CAAC;IAAC,MAAM,CAAC,KAAK,EAAC,IAAI,CAAC,CAAC,CAAA,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAA8B,CAAA,CAAA,CAAC;AACnV,SAAS,MAAM,CAAC,KAAgB,IAA4B,OAAO,IAAI,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAC,EAAE,CAAA,CAAC,EAAC,MAAM,EAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAG,YAAY,CAAA,CAAC,CAAA,YAAY,CAAA,CAAC,CAAA,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAG,QAAQ,IAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAG,WAAW,IAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAG,gBAAgB,CAAA,CAAC,CAAA,OAAO,CAAA,CAAC,CAAA,eAAe,CAAyC,EAAC,IAAI,EAAC,KAAK,CAAC,IAAI,KAAG,mBAAmB,CAAA,CAAC,CAAA,aAAa,CAAA,CAAC,CAAA,cAAc,EAAC,IAAI,EAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAC,EAAE,CAAA,OAAO,IAAI,KAAG,QAAQ,CAAA,CAAC,CAAA,IAAI,IAAI,GAAG,CAAA,CAAC,CAAA,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA,CAAC,CAAA,IAAI,IAAI,EAAE,CAAA,CAAC,CAAA,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAC,OAAO,EAAC,KAAK,CAAC,OAAO,EAAC,CAAC,CAAC,CAAC,CAAA,CAAA,CAAC;AAE3jB,MAAM,UAAU,0BAA0B,CAAC,KAAa;IACtD,MAAM,MAAM,GAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAAA,IAAG,CAAC,MAAM,CAAC,OAAO;QAAC,MAAM,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACtF,MAAM,UAAU,GAAC,2BAA2B,CAAC,MAAM,CAAC,IAAI,CAAC,UAAkC,CAAC,CAAC;IAC7F,MAAM,cAAc,GAA6B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAC,KAAK,EAAC,EAAE,CAAA,GAAG,CAAC,OAAO,KAAG,UAAU,CAAC,UAAU,CAAC,YAAY,CAAA,CAAC,CAAA,EAAE,CAAA,CAAC,CAAA,CAAC,EAAC,MAAM,EAAC,OAAgB,EAAC,IAAI,EAAC,4BAAqC,EAAC,IAAI,EAAC,YAAY,KAAK,WAAW,EAAC,OAAO,EAAC,+CAA+C,EAAC,CAAC,CAAC,CAAC;IAC/S,KAAI,MAAM,CAAC,KAAK,EAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,IAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAC,CAAC;QAAA,MAAM,OAAO,GAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAC,EAAE,CAAA,IAAI,CAAC,EAAE,KAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QAAA,IAAG,OAAO,EAAE,cAAc,KAAG,oBAAoB,IAAE,GAAG,CAAC,SAAS,KAAG,SAAS;YAAC,cAAc,CAAC,IAAI,CAAC,EAAC,MAAM,EAAC,OAAO,EAAC,IAAI,EAAC,kBAAkB,EAAC,IAAI,EAAC,eAAe,KAAK,aAAa,EAAC,OAAO,EAAC,gDAAgD,EAAC,CAAC,CAAA;IAAA,CAAC;IAC9X,IAAG,cAAc,CAAC,MAAM;QAAC,MAAM,IAAI,yBAAyB,CAAC,cAAc,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,qBAAqB,IAAE,CAAC,MAAM,EAAC,SAAS,EAAC,eAAe,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,8BAA8B,IAAE,CAAC,MAAM,EAAC,SAAS,CAAC,CAAC;IACpF,MAAM,SAAS,GAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,IAAE,IAAI,CAAC;IACvD,IAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAE,SAAS,KAAG,IAAI;QAAC,MAAM,IAAI,yBAAyB,CAAC,CAAC,EAAC,MAAM,EAAC,eAAe,EAAC,IAAI,EAAC,kBAAkB,EAAC,IAAI,EAAC,uBAAuB,EAAC,OAAO,EAAC,wDAAwD,EAAC,CAAC,CAAC,CAAC;IAC9P,MAAM,MAAM,GAAC,MAAM,CAAC,EAAC,UAAU,EAAC,MAAM,EAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAC,SAAS,EAAC,MAAM,CAAC,IAAI,CAAC,SAAS,IAAE,EAAE,EAAC,MAAM,EAAC,MAAM,CAAC,IAAI,CAAC,MAAM,IAAE,IAAI,EAAC,qBAAqB,EAAC,MAAM,CAAC,IAAI,CAAC,qBAAqB,IAAE,EAAE,EAAC,aAAa,EAAC,MAAM,CAAC,IAAI,CAAC,aAAa,IAAE,IAAI,EAAC,cAAc,EAAC,MAAM,CAAC,IAAI,CAAC,cAAc,IAAE,IAAI,EAAC,WAAW,EAAC,MAAM,CAAC,IAAI,CAAC,WAAW,IAAE,IAAI,EAAC,iBAAiB,EAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,IAAE,IAAI,EAAC,QAAQ,EAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAC,eAAe,EAAC,MAAM,CAAC,IAAI,CAAC,eAAe,IAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAC,MAAM,EAAC,EAAC,qBAAqB,EAAC,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,EAAC,8BAA8B,EAAC,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,EAAC,YAAY,EAAC,SAAS,EAAC,EAAC,CAA2C,CAAC;IACvpB,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAAA,OAAO,MAAM,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,KAAa,IAA+C,IAAG,KAAK,KAAG,IAAI,IAAE,OAAO,KAAK,KAAG,QAAQ,IAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;IAAC,MAAM,IAAI,yBAAyB,CAAC,CAAC,EAAC,MAAM,EAAC,OAAO,EAAC,IAAI,EAAC,4BAA4B,EAAC,IAAI,EAAC,GAAG,EAAC,OAAO,EAAC,0DAA0D,EAAC,CAAC,CAAC,CAAA,CAAA,CAAC;AAEpV,MAAM,SAAS,GAAC,IAAI,OAAO,EAAU,CAAC;AACtC,MAAM,UAAU,6BAA6B,CAAC,KAAiC;IAC7E,iCAAiC,CAAC,KAAK,CAAC,CAAC;IAAA,MAAM,QAAQ,GAAC,qBAAqB,CAAC,EAAC,UAAU,EAAC,KAAK,CAAC,UAAU,EAAC,MAAM,EAAC,KAAK,CAAC,MAAM,EAAC,SAAS,EAAC,KAAK,CAAC,SAAS,EAAC,MAAM,EAAC,KAAK,CAAC,MAAM,IAAE,SAAS,EAAC,qBAAqB,EAAC,KAAK,CAAC,qBAAqB,EAAC,aAAa,EAAC,KAAK,CAAC,aAAa,IAAE,SAAS,EAAC,CAAC,CAAC;IACzR,MAAM,MAAM,GAAC,4BAA4B,CAAC,EAAC,QAAQ,EAAC,QAAQ,EAAC,KAAK,CAAC,cAAuF,EAAC,CAAC,CAAC;IAC7J,MAAM,gBAAgB,GAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAC,EAAE,CAAA,CAAC,KAAK,CAAC,MAAM,CAAC,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACtH,MAAM,IAAI,GAAC,EAAC,QAAQ,EAAC,MAAM,EAAC,WAAW,EAAC,KAAK,CAAC,WAAW,EAAC,iBAAiB,EAAC,KAAK,CAAC,iBAAiB,EAAC,QAAQ,EAAC,KAAK,CAAC,QAAQ,EAAC,eAAe,EAAC,KAAK,CAAC,eAAe,EAAC,CAAC;IACnK,IAAG,gBAAgB;QAAC,OAAO,MAAM,CAAC,EAAC,GAAG,IAAI,EAAC,MAAM,EAAC,SAAkB,EAAC,KAAK,EAAC,QAAiB,EAAC,MAAM,EAAC,IAAI,EAAC,IAAI,EAAC,EAAC,GAAG,KAAK,CAAC,MAAM,EAAC,UAAU,EAAC,SAAkB,EAAC,UAAU,EAAC,SAAkB,EAAC,EAAC,CAAsC,CAAC;IACnO,MAAM,MAAM,GAAC,oBAAoB,CAAC,EAAC,QAAQ,EAAC,QAAQ,EAAC,KAAK,CAAC,QAAQ,EAAC,eAAe,EAAC,KAAK,CAAC,eAAe,EAAC,CAAC,CAAC;IAC5G,MAAM,gBAAgB,GAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAC,EAAE,CAAA,OAAO,CAAC,QAAQ,KAAG,YAAY,IAAE,CAAC,KAAK,CAAC,MAAM,CAAC,8BAA8B,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjK,IAAG,gBAAgB;QAAC,OAAO,MAAM,CAAC,EAAC,GAAG,IAAI,EAAC,MAAM,EAAC,SAAkB,EAAC,KAAK,EAAC,QAAiB,EAAC,MAAM,EAAC,IAAI,EAAC,EAAC,GAAG,KAAK,CAAC,MAAM,EAAC,UAAU,EAAC,QAAiB,EAAC,UAAU,EAAC,SAAkB,EAAC,EAAC,CAAsC,CAAC;IAC7N,MAAM,OAAO,GAAC,MAAM,CAAC,EAAC,GAAG,IAAI,EAAC,MAAM,EAAC,WAAoB,EAAC,MAAM,EAAC,IAAI,EAAC,EAAC,GAAG,KAAK,CAAC,MAAM,EAAC,UAAU,EAAC,QAAiB,EAAC,UAAU,EAAC,QAAiB,EAAC,EAAC,CAAsD,CAAC;IAAA,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAAA,OAAO,OAAO,CAAC;AACjP,CAAC;AACD,MAAM,UAAU,4CAA4C,CAAC,KAAa,IAA0D,IAAG,KAAK,KAAG,IAAI,IAAE,OAAO,KAAK,KAAG,QAAQ,IAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;IAAC,MAAM,IAAI,yBAAyB,CAAC,CAAC,EAAC,MAAM,EAAC,OAAO,EAAC,IAAI,EAAC,4BAA4B,EAAC,IAAI,EAAC,GAAG,EAAC,OAAO,EAAC,oDAAoD,EAAC,CAAC,CAAC,CAAA,CAAA,CAAC"}