@actuarial-ts/compliance 0.7.1 → 0.8.0

package/README.md

@@ -3,11 +3,15 @@
 Documentation, judgment, provenance, and reproducibility primitives for actuarial-ts. The package is designed to support compliance work under applicable ASOPs; it neither determines compliance nor replaces the actuary’s review.
 
 ```bash
-npm install @actuarial-ts/compliance@0.7.1 @actuarial-ts/core@0.7.1 @actuarial-ts/data@0.7.1 @actuarial-ts/interchange@0.7.1
+npm install @actuarial-ts/compliance@0.8.0 @actuarial-ts/core@0.8.0 @actuarial-ts/data@0.8.0 @actuarial-ts/interchange@0.8.0
 ```
 
 Node 20+, ESM.
 
+SDK 0.8 adds fresh-execution customization provenance and source-bound bounded
+replay receipts. 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).
+
 ## Diagnostic provenance
 
 The example below uses eager provenance. `createDiagnosticRunIdentity` accepts only an owner-authenticated, completed eager data-package run. It does not accept caller-restated formulas, filters, review status, or result identities. Compact runs use the separate workflow below.
@@ -59,7 +63,7 @@ Material host judgments worth recording in the assumption ledger include amount
 
 The package also provides estimate metadata, assumption ledgers, ASOP No. 41 draft disclosure generation, ASOP No. 56 model cards, actual-versus-expected roll-forward, and canonical reproducibility bundles.
 
-See the [formula catalog](https://github.com/yerromnitsuj/actng/blob/v0.7.1/docs/reference/diagnostic-formulas.md) and [migration guide](https://github.com/yerromnitsuj/actng/blob/v0.7.1/docs/migrations/0.6-generalized-diagnostics.md).
+See the [formula catalog](https://github.com/yerromnitsuj/actng/blob/v0.8.0/docs/reference/diagnostic-formulas.md) and [migration guide](https://github.com/yerromnitsuj/actng/blob/v0.8.0/docs/migrations/0.6-generalized-diagnostics.md).
 
 ## Compact provenance and replay streams
 
@@ -86,7 +90,7 @@ documents afterward can erase the representation's memory benefit.
 object, not an eager `VerifiedDiagnosticRunProvenance` or a serializable
 authorization token. It cannot be cast into `createBundle`, the eager verifier,
 or the current diagnostic agent executor. The stream format is
-`diagnostic-replay/1`, separate from interchange wire `1.1.0`; it is not a
+`diagnostic-replay/1`, separate from interchange wire `1.2.0`; it is not a
 single JSON document or a `BundleDoc`.
 
 Replay identities include the producing SDK's engine versions. Preserve those
@@ -96,8 +100,29 @@ in particular, a patch upgrade must not be assumed to verify an older stream.
 Successful replay establishes internal reproducibility, not source authenticity,
 a digital signature, correct claim-level capping, or actuarial correctness.
 
-The runnable [compact adoption guide](https://github.com/yerromnitsuj/actng/blob/v0.7.1/docs/migrations/0.7-compact-diagnostics.md)
-and complete [replay reference](https://github.com/yerromnitsuj/actng/blob/v0.7.1/docs/reference/diagnostic-replay-stream.md)
+## Reusable customization replay
+
+`writeBoundedAnalysisReplay` writes independently recalculable evidence for
+normalized selected records. `writeBoundedHistoryAnalysisReplay` adds raw
+history validation, revision selection, exact/latest evaluation selection, a
+blocking preparation-review gate, and two host-owned external-state stages.
+The latter supports mergeable sums, ratios, weighted means, and extrema. Exact
+distinct counts and type-7 quantiles use `writeBoundedAnalysisReplay` after the
+host supplies their required global order. `verifyBoundedAnalysisReplay`
+returns a `VerifiedBoundedReplayReceipt`; use
+`assertVerifiedBoundedReplayReceipt` when an authentic in-process receipt is a
+precondition. Verification requires `expectedSourceArtifact`, the authentic
+handle returned by `digestDiagnosticArtifactChunks` for the source bytes.
+Parsed or copied JSON cannot satisfy either authenticity check.
+
+All paths require explicit record, partition, memory, input, output, and active
+scenario ceilings. A ceiling applies to the stated SDK record or frame; it is
+not a promise about total process RSS or host storage caches. The host owns the
+adapter, source bytes, output publication, pending-I/O cancellation, and
+temporary-state durability.
+
+The runnable [compact adoption guide](https://github.com/yerromnitsuj/actng/blob/v0.8.0/docs/migrations/0.7-compact-diagnostics.md)
+and complete [replay reference](https://github.com/yerromnitsuj/actng/blob/v0.8.0/docs/reference/diagnostic-replay-stream.md)
 document ownership, artifact bytes, paging, framing, resource limits, and
 assurance boundaries. These repository guides are linked here for npm users;
 the guide files themselves are not shipped inside the package.

package/dist/bundle.d.ts

@@ -54,7 +54,7 @@ export type WrappedBundleDoc = BundleDoc;
  * test parses the emitted doc with the real interchange parser, which
  * refuses a wrong-major version — drift fails loudly.
  */
-export declare const WRAPPED_BUNDLE_INTERCHANGE_VERSION = "1.1.0";
+export declare const WRAPPED_BUNDLE_INTERCHANGE_VERSION = "1.2.0";
 /**
  * This package's version, stamped into a wrapped bundle's `generator`
  * envelope field. A sync test asserts it matches package.json so it cannot

package/dist/customizationBoundedReplay.d.ts

@@ -0,0 +1,64 @@
+import { BOUNDED_REPLAY_CONTRACT_VERSION, type AnalysisStatisticDefinition, type CustomizationResourceLimits, type JsonValue } from "@actuarial-ts/core";
+import { type CustomizationExternalRecord } from "@actuarial-ts/data";
+import { type ComputedDiagnosticArtifactDigest } from "./diagnosticArtifactStream.js";
+import type { DiagnosticArtifactDigest } from "./diagnosticRun.js";
+export type BoundedReplayStatistic = Extract<AnalysisStatisticDefinition, {
+    readonly kind: "sum" | "ratio" | "weighted-mean" | "minimum" | "maximum" | "distinct-count" | "quantile";
+}>;
+export interface BoundedReplayMeasure {
+    readonly id: string;
+    readonly unit: string;
+    readonly statistic: BoundedReplayStatistic;
+    /** Required for exact externally ordered quantiles; counts finite values. */
+    readonly orderedPopulationSize?: number;
+}
+export interface BoundedReplayValue {
+    readonly measureId: string;
+    readonly value: number | null;
+    readonly numerator: number | null;
+    readonly denominator: number | null;
+}
+export interface BoundedReplayVerification {
+    readonly contractVersion: typeof BOUNDED_REPLAY_CONTRACT_VERSION;
+    readonly runId: string;
+    readonly sourceArtifact: DiagnosticArtifactDigest;
+    readonly calculationContext?: JsonValue;
+    readonly recordCount: number;
+    readonly recordDigest: string;
+    readonly calculationIdentity: string;
+    readonly values: readonly BoundedReplayValue[];
+}
+declare const verifiedBoundedReplayBrand: unique symbol;
+export type VerifiedBoundedReplayReceipt = BoundedReplayVerification & {
+    readonly [verifiedBoundedReplayBrand]: true;
+};
+/** Refuses structurally similar JSON that did not come from independent replay. */
+export declare function assertVerifiedBoundedReplayReceipt(value: unknown): asserts value is VerifiedBoundedReplayReceipt;
+type MeasureRecord = {
+    readonly measures: Readonly<Record<string, number | null>>;
+    /** Namespaced stable keys used by externally ordered exact distinct counts. */
+    readonly entityKeys?: Readonly<Record<string, string | null>>;
+};
+/** Validates and owns an untrusted bounded replay measure list. */
+export declare function parseBoundedReplayMeasures(value: unknown, limits: CustomizationResourceLimits): readonly BoundedReplayMeasure[];
+/** Writes a replay whose retained SDK state is bounded by measures and one record frame. */
+export declare function writeBoundedAnalysisReplay(input: {
+    readonly runId: string;
+    readonly sourceArtifact: ComputedDiagnosticArtifactDigest;
+    readonly measures: readonly BoundedReplayMeasure[];
+    /** Optional closed calculation/selection context bound into the receipt identity. */
+    readonly calculationContext?: JsonValue;
+    readonly records: AsyncIterable<CustomizationExternalRecord<MeasureRecord>> | Iterable<CustomizationExternalRecord<MeasureRecord>>;
+    readonly limits: CustomizationResourceLimits;
+    readonly signal?: AbortSignal;
+}): AsyncGenerator<Uint8Array>;
+/** Independently recomputes every bounded result and identity while reading one frame at a time. */
+export declare function verifyBoundedAnalysisReplay(input: {
+    readonly chunks: AsyncIterable<Uint8Array> | Iterable<Uint8Array>;
+    readonly limits: CustomizationResourceLimits;
+    /** Authentic handle recomputed from the source bytes being verified. */
+    readonly expectedSourceArtifact: ComputedDiagnosticArtifactDigest;
+    readonly signal?: AbortSignal;
+}): Promise<VerifiedBoundedReplayReceipt>;
+export {};
+//# sourceMappingURL=customizationBoundedReplay.d.ts.map

package/dist/customizationBoundedReplay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"customizationBoundedReplay.d.ts","sourceRoot":"","sources":["../src/customizationBoundedReplay.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,+BAA+B,EAO/B,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,EAChC,KAAK,SAAS,EACf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAEL,KAAK,2BAA2B,EACjC,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAEL,KAAK,gCAAgC,EACtC,MAAM,+BAA+B,CAAC;AAEvC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAEnE,MAAM,MAAM,sBAAsB,GAAG,OAAO,CAC1C,2BAA2B,EAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,GAAG,eAAe,GAAG,SAAS,GAAG,SAAS,GAAG,gBAAgB,GAAG,UAAU,CAAA;CAAE,CAC7G,CAAC;AAEF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;IAC3C,6EAA6E;IAC7E,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;CACzC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,eAAe,EAAE,OAAO,+BAA+B,CAAC;IACjE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,wBAAwB,CAAC;IAClD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAChD;AAED,OAAO,CAAC,MAAM,0BAA0B,EAAE,OAAO,MAAM,CAAC;AACxD,MAAM,MAAM,4BAA4B,GAAG,yBAAyB,GAAG;IACrE,QAAQ,CAAC,CAAC,0BAA0B,CAAC,EAAE,IAAI,CAAC;CAC7C,CAAC;AAGF,mFAAmF;AACnF,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,KAAK,IAAI,4BAA4B,CAO/C;AAED,KAAK,aAAa,GAAG;IACnB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;IAC3D,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;CAC/D,CAAC;AA0FF,mEAAmE;AACnE,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,2BAA2B,GAClC,SAAS,oBAAoB,EAAE,CAoBjC;AAuJD,4FAA4F;AAC5F,wBAAuB,0BAA0B,CAAC,KAAK,EAAE;IACvD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,gCAAgC,CAAC;IAC1D,QAAQ,CAAC,QAAQ,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACnD,qFAAqF;IACrF,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,2BAA2B,CAAC,aAAa,CAAC,CAAC,GAAG,QAAQ,CAAC,2BAA2B,CAAC,aAAa,CAAC,CAAC,CAAC;IACnI,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;CAC/B,GAAG,cAAc,CAAC,UAAU,CAAC,CAkE7B;AAuBD,oGAAoG;AACpG,wBAAsB,2BAA2B,CAAC,KAAK,EAAE;IACvD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IAClE,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC;IAC7C,wEAAwE;IACxE,QAAQ,CAAC,sBAAsB,EAAE,gCAAgC,CAAC;IAClE,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;CAC/B,GAAG,OAAO,CAAC,4BAA4B,CAAC,CA0ExC"}

package/dist/customizationBoundedReplay.js

@@ -0,0 +1,456 @@
+import { BOUNDED_REPLAY_CONTRACT_VERSION, canonicalJson, diagnosticJsonPreflight, fnv1a64, isDiagnosticPlainRecord, isDiagnosticToken, snapshotDiagnosticJson, } from "@actuarial-ts/core";
+import { parseCustomizationResourceLimits, } from "@actuarial-ts/data";
+import { z } from "zod";
+import { ComplianceError } from "./errors.js";
+import { assertComputedDiagnosticArtifactDigest, } from "./diagnosticArtifactStream.js";
+import { createSha256 } from "./sha256Stream.js";
+const verifiedBoundedReplayReceipts = new WeakSet();
+/** Refuses structurally similar JSON that did not come from independent replay. */
+export function assertVerifiedBoundedReplayReceipt(value) {
+    if (value === null ||
+        typeof value !== "object" ||
+        !verifiedBoundedReplayReceipts.has(value))
+        invalid("Value is not an authentic independently verified bounded replay receipt");
+}
+const encoder = new TextEncoder();
+const tokenSchema = z.string().refine(isDiagnosticToken, "Expected a valid token");
+const finiteSchema = z.number().finite();
+const jsonValueSchema = z.lazy(() => z.union([
+    z.null(),
+    z.boolean(),
+    finiteSchema,
+    z.string(),
+    z.array(jsonValueSchema),
+    z.record(jsonValueSchema),
+]));
+const sourceArtifactSchema = z.object({
+    id: tokenSchema,
+    scope: z.enum(["input", "preparation"]),
+    assurance: z.literal("sdk-computed"),
+    algorithm: z.literal("sha256"),
+    value: z.string().regex(/^[0-9a-f]{64}$/),
+    byteLength: z.number().int().nonnegative().safe(),
+}).strict();
+const statisticSchema = z.discriminatedUnion("kind", [
+    z.object({ kind: z.literal("sum"), measureId: tokenSchema }).strict(),
+    z.object({
+        kind: z.literal("ratio"),
+        numeratorMeasureId: tokenSchema,
+        denominatorMeasureId: tokenSchema,
+        scale: finiteSchema,
+        denominatorRule: z.enum(["positive", "nonzero"]),
+    }).strict(),
+    z.object({ kind: z.literal("weighted-mean"), measureId: tokenSchema, weightMeasureId: tokenSchema }).strict(),
+    z.object({ kind: z.literal("minimum"), measureId: tokenSchema }).strict(),
+    z.object({ kind: z.literal("maximum"), measureId: tokenSchema }).strict(),
+    z.object({ kind: z.literal("distinct-count"), entity: z.enum(["claim", "claimant", "occurrence", "policy", "coverage"]) }).strict(),
+    z.object({ kind: z.literal("quantile"), measureId: tokenSchema, probability: finiteSchema.min(0).max(1), method: z.literal("hf-type-7") }).strict(),
+]);
+const boundedReplayMeasureSchema = z.object({
+    id: tokenSchema,
+    unit: tokenSchema,
+    statistic: statisticSchema,
+    orderedPopulationSize: z.number().int().positive().safe().optional(),
+}).strict();
+const replayValueSchema = z.object({
+    measureId: tokenSchema,
+    value: finiteSchema.nullable(),
+    numerator: finiteSchema.nullable(),
+    denominator: finiteSchema.nullable(),
+}).strict();
+const headerSchema = z.object({
+    type: z.literal("header"),
+    contractVersion: z.literal(BOUNDED_REPLAY_CONTRACT_VERSION),
+    runId: tokenSchema,
+    sourceArtifact: sourceArtifactSchema,
+    measures: z.array(boundedReplayMeasureSchema),
+    calculationContext: jsonValueSchema.optional(),
+}).strict();
+const measureRecordSchema = z.object({
+    measures: z.record(tokenSchema, finiteSchema.nullable()),
+    entityKeys: z.record(tokenSchema, z.string().nullable()).optional(),
+}).strict();
+const recordFrameSchema = z.object({
+    type: z.literal("record"),
+    record: z.object({
+        id: tokenSchema,
+        partitionKey: z.string(),
+        orderKey: z.string(),
+        value: measureRecordSchema,
+    }).strict(),
+}).strict();
+const trailerSchema = z.object({
+    type: z.literal("trailer"),
+    recordCount: z.number().int().nonnegative().safe(),
+    recordDigest: z.string().regex(/^[0-9a-f]{64}$/),
+    calculationIdentity: z.string().regex(/^fnv1a64-jcs-v1:[0-9a-f]{16}$/),
+    values: z.array(replayValueSchema),
+}).strict();
+function invalid(message) {
+    throw new ComplianceError("BAD_DIAGNOSTIC_RUN", message, "$.boundedReplay");
+}
+function validateLimits(limits) {
+    try {
+        return parseCustomizationResourceLimits(limits);
+    }
+    catch (error) {
+        invalid(error instanceof Error ? error.message : "Invalid customization resource limits");
+    }
+}
+/** Validates and owns an untrusted bounded replay measure list. */
+export function parseBoundedReplayMeasures(value, limits) {
+    const parsed = z.array(boundedReplayMeasureSchema).safeParse(value);
+    if (!parsed.success)
+        invalid(`Bounded replay measures are invalid: ${parsed.error.issues[0]?.message ?? "schema mismatch"}`);
+    const measures = parsed.data;
+    if (measures.length === 0 || measures.length > limits.maximumOutputValues)
+        invalid("Bounded replay measure count is outside maximumOutputValues");
+    if (new Set(measures.map((measure) => measure.id)).size !== measures.length)
+        invalid("Bounded replay measure IDs must be unique");
+    for (const measure of measures) {
+        const statistic = measure.statistic;
+        if (statistic.kind === "quantile" && (!Number.isSafeInteger(measure.orderedPopulationSize) || measure.orderedPopulationSize < 1))
+            invalid("Bounded replay exact quantile requires positive orderedPopulationSize");
+        if (statistic.kind !== "quantile" && measure.orderedPopulationSize !== undefined)
+            invalid("orderedPopulationSize applies only to bounded exact quantiles");
+    }
+    const distinctEntities = new Set(measures.flatMap((measure) => measure.statistic.kind === "distinct-count" ? [measure.statistic.entity] : []));
+    if (distinctEntities.size > 1)
+        invalid("One bounded replay may externally order one distinct entity kind");
+    const quantileMeasures = new Set(measures.flatMap((measure) => measure.statistic.kind === "quantile" ? [measure.statistic.measureId] : []));
+    if (quantileMeasures.size > 1)
+        invalid("One bounded replay may externally order one quantile source measure");
+    return snapshotDiagnosticJson(measures);
+}
+function checkedAdd(left, right, description) {
+    const result = left + right;
+    if (!Number.isFinite(result))
+        invalid(`Bounded replay ${description} overflowed the finite number range`);
+    return Object.is(result, -0) ? 0 : result;
+}
+function checkedProduct(left, right, description) {
+    const result = left * right;
+    if (!Number.isFinite(result))
+        invalid(`Bounded replay ${description} overflowed the finite number range`);
+    return Object.is(result, -0) ? 0 : result;
+}
+function checkedResult(value, description) {
+    if (!Number.isFinite(value))
+        invalid(`Bounded replay ${description} overflowed the finite number range`);
+    return Object.is(value, -0) ? 0 : value;
+}
+function aggregates(measures) {
+    return measures.map((definition) => ({ definition, sum: 0, numerator: 0, denominator: 0, pairs: 0, minimum: Number.POSITIVE_INFINITY, maximum: Number.NEGATIVE_INFINITY, lastDistinctKey: null, distinctCount: 0, orderedCount: 0, lastOrderedValue: null, lowerOrderedValue: null, upperOrderedValue: null }));
+}
+function acceptRecord(state, record) {
+    for (const aggregate of state) {
+        const statistic = aggregate.definition.statistic;
+        if (statistic.kind === "sum") {
+            const value = record.measures[statistic.measureId];
+            if (typeof value === "number" && Number.isFinite(value))
+                aggregate.sum = checkedAdd(aggregate.sum, value, "sum");
+        }
+        else if (statistic.kind === "ratio") {
+            const numerator = record.measures[statistic.numeratorMeasureId];
+            const denominator = record.measures[statistic.denominatorMeasureId];
+            if (typeof numerator === "number" && Number.isFinite(numerator) && typeof denominator === "number" && Number.isFinite(denominator)) {
+                aggregate.numerator = checkedAdd(aggregate.numerator, numerator, "ratio numerator");
+                aggregate.denominator = checkedAdd(aggregate.denominator, denominator, "ratio denominator");
+                aggregate.pairs += 1;
+            }
+        }
+        else if (statistic.kind === "weighted-mean") {
+            const value = record.measures[statistic.measureId];
+            const weight = record.measures[statistic.weightMeasureId];
+            if (typeof value === "number" && Number.isFinite(value) && typeof weight === "number" && Number.isFinite(weight)) {
+                if (weight < 0)
+                    invalid("Bounded weighted mean encountered a negative weight");
+                if (weight > 0) {
+                    aggregate.numerator = checkedAdd(aggregate.numerator, checkedProduct(value, weight, "weighted product"), "weighted numerator");
+                    aggregate.denominator = checkedAdd(aggregate.denominator, weight, "weight denominator");
+                    aggregate.pairs += 1;
+                }
+            }
+        }
+        else if (statistic.kind === "minimum" || statistic.kind === "maximum") {
+            const value = record.measures[statistic.measureId];
+            if (typeof value === "number" && Number.isFinite(value)) {
+                aggregate.minimum = Math.min(aggregate.minimum, value);
+                aggregate.maximum = Math.max(aggregate.maximum, value);
+                aggregate.pairs += 1;
+            }
+        }
+        else if (statistic.kind === "distinct-count") {
+            const distinctKey = record.entityKeys?.[statistic.entity];
+            if (distinctKey === undefined)
+                invalid(`Bounded distinct count requires entityKeys.${statistic.entity}`);
+            if (distinctKey === null)
+                continue;
+            if (aggregate.lastDistinctKey !== null && distinctKey < aggregate.lastDistinctKey)
+                invalid("Bounded distinct keys are not in external ascending order");
+            if (distinctKey !== aggregate.lastDistinctKey) {
+                if (aggregate.distinctCount === Number.MAX_SAFE_INTEGER)
+                    invalid("Bounded distinct count exceeds the safe integer range");
+                aggregate.distinctCount += 1;
+            }
+            aggregate.lastDistinctKey = distinctKey;
+        }
+        else {
+            if (statistic.kind !== "quantile")
+                invalid("Unsupported bounded replay statistic");
+            const value = record.measures[statistic.measureId];
+            if (typeof value !== "number" || !Number.isFinite(value))
+                continue;
+            if (aggregate.lastOrderedValue !== null && value < aggregate.lastOrderedValue)
+                invalid("Bounded quantile values are not in external ascending order");
+            const populationSize = aggregate.definition.orderedPopulationSize;
+            const h = (populationSize - 1) * statistic.probability;
+            const lower = Math.floor(h);
+            const upper = Math.ceil(h);
+            if (aggregate.orderedCount === lower)
+                aggregate.lowerOrderedValue = value;
+            if (aggregate.orderedCount === upper)
+                aggregate.upperOrderedValue = value;
+            if (aggregate.orderedCount === Number.MAX_SAFE_INTEGER)
+                invalid("Bounded quantile count exceeds the safe integer range");
+            aggregate.orderedCount += 1;
+            aggregate.lastOrderedValue = value;
+        }
+    }
+}
+function values(state) {
+    return state.map((aggregate) => {
+        const statistic = aggregate.definition.statistic;
+        if (statistic.kind === "sum")
+            return { measureId: aggregate.definition.id, value: Object.is(aggregate.sum, -0) ? 0 : aggregate.sum, numerator: null, denominator: null };
+        if (statistic.kind === "weighted-mean")
+            return { measureId: aggregate.definition.id, value: aggregate.denominator > 0 ? checkedResult(aggregate.numerator / aggregate.denominator, "weighted mean") : null, numerator: aggregate.pairs > 0 ? aggregate.numerator : null, denominator: aggregate.pairs > 0 ? aggregate.denominator : null };
+        if (statistic.kind === "minimum" || statistic.kind === "maximum") {
+            const selected = statistic.kind === "minimum" ? aggregate.minimum : aggregate.maximum;
+            return { measureId: aggregate.definition.id, value: aggregate.pairs === 0 ? null : Object.is(selected, -0) ? 0 : selected, numerator: null, denominator: null };
+        }
+        if (statistic.kind === "distinct-count")
+            return { measureId: aggregate.definition.id, value: aggregate.distinctCount, numerator: null, denominator: null };
+        if (statistic.kind === "quantile") {
+            if (aggregate.orderedCount !== aggregate.definition.orderedPopulationSize)
+                invalid(`Bounded quantile received ${aggregate.orderedCount} finite values but orderedPopulationSize is ${aggregate.definition.orderedPopulationSize}`);
+            const h = (aggregate.orderedCount - 1) * statistic.probability;
+            const fraction = h - Math.floor(h);
+            const lower = aggregate.lowerOrderedValue;
+            const upper = aggregate.upperOrderedValue;
+            const interpolated = fraction === 0
+                ? lower
+                : checkedAdd(checkedProduct(lower, 1 - fraction, "quantile interpolation"), checkedProduct(upper, fraction, "quantile interpolation"), "quantile interpolation");
+            return { measureId: aggregate.definition.id, value: interpolated, numerator: null, denominator: null };
+        }
+        if (statistic.kind !== "ratio")
+            invalid("Unsupported bounded replay statistic");
+        const allowed = statistic.denominatorRule === "positive" ? aggregate.denominator > 0 : aggregate.denominator !== 0;
+        return {
+            measureId: aggregate.definition.id,
+            value: aggregate.pairs > 0 && allowed ? checkedResult(checkedResult(aggregate.numerator / aggregate.denominator, "ratio") * statistic.scale, "scaled ratio") : null,
+            numerator: aggregate.pairs > 0 ? aggregate.numerator : null,
+            denominator: aggregate.pairs > 0 ? aggregate.denominator : null,
+        };
+    });
+}
+function line(value, maximumBytes, limitName = "maximumInMemoryBytes") {
+    const bytes = encoder.encode(`${JSON.stringify(value)}\n`);
+    if (bytes.byteLength > maximumBytes)
+        invalid(`Bounded replay frame exceeds ${limitName}`);
+    return bytes;
+}
+function throwIfCancelled(signal) {
+    if (signal?.aborted)
+        throw new ComplianceError("BAD_DIAGNOSTIC_RUN", "Bounded replay was cancelled", "$.boundedReplay");
+}
+/** Writes a replay whose retained SDK state is bounded by measures and one record frame. */
+export async function* writeBoundedAnalysisReplay(input) {
+    const limits = validateLimits(input.limits);
+    const runId = input.runId;
+    const sourceArtifactHandle = input.sourceArtifact;
+    const records = input.records;
+    const signal = input.signal;
+    const suppliedContext = input.calculationContext;
+    if (!isDiagnosticToken(runId))
+        invalid("Bounded replay runId is invalid");
+    assertComputedDiagnosticArtifactDigest(sourceArtifactHandle);
+    const sourceArtifact = snapshotDiagnosticJson(sourceArtifactHandle);
+    const measures = parseBoundedReplayMeasures(input.measures, limits);
+    if (suppliedContext !== undefined) {
+        const issues = diagnosticJsonPreflight(suppliedContext, "input");
+        if (issues.length > 0)
+            invalid(issues[0].message);
+    }
+    const calculationContext = suppliedContext === undefined
+        ? undefined
+        : snapshotDiagnosticJson(suppliedContext);
+    const header = snapshotDiagnosticJson({
+        type: "header",
+        contractVersion: BOUNDED_REPLAY_CONTRACT_VERSION,
+        runId,
+        sourceArtifact,
+        measures,
+        ...(calculationContext === undefined ? {} : { calculationContext }),
+    });
+    yield line(header, limits.maximumInMemoryBytes);
+    const state = aggregates(measures);
+    const digest = createSha256();
+    let recordCount = 0;
+    for await (const external of records) {
+        throwIfCancelled(signal);
+        if (recordCount >= limits.maximumInputRecords)
+            invalid("Bounded replay exceeds maximumInputRecords");
+        recordCount += 1;
+        const preflight = diagnosticJsonPreflight(external, "input");
+        if (preflight.length > 0)
+            invalid(preflight[0].message);
+        if (!isDiagnosticPlainRecord(external.value) || !isDiagnosticPlainRecord(external.value.measures))
+            invalid("Bounded replay records require a measures object");
+        const owned = snapshotDiagnosticJson({ type: "record", record: external });
+        const parsedRecord = recordFrameSchema.safeParse(owned);
+        if (!parsedRecord.success)
+            invalid(`Bounded replay record is invalid: ${parsedRecord.error.issues[0]?.message ?? "schema mismatch"}`);
+        const bytes = line(parsedRecord.data, limits.maximumRecordBytes, "maximumRecordBytes");
+        digest.update(bytes);
+        acceptRecord(state, parsedRecord.data.record.value);
+        yield bytes;
+    }
+    const calculatedValues = values(state);
+    const recordDigest = digest.digest();
+    const identityValue = {
+        contractVersion: BOUNDED_REPLAY_CONTRACT_VERSION,
+        runId,
+        sourceArtifact,
+        measures,
+        ...(calculationContext === undefined ? {} : { calculationContext }),
+        recordCount,
+        recordDigest,
+        values: calculatedValues,
+    };
+    const trailer = snapshotDiagnosticJson({
+        type: "trailer",
+        recordCount,
+        recordDigest,
+        calculationIdentity: `fnv1a64-jcs-v1:${fnv1a64(canonicalJson(identityValue))}`,
+        values: calculatedValues,
+    });
+    yield line(trailer, limits.maximumInMemoryBytes);
+}
+async function* decodedLines(chunks, maximumBytes) {
+    const decoder = new TextDecoder("utf-8", { fatal: true });
+    let pending = "";
+    for await (const chunk of chunks) {
+        if (!(chunk instanceof Uint8Array) || chunk.byteLength > maximumBytes)
+            invalid("Invalid or oversized bounded replay chunk");
+        pending += decoder.decode(chunk, { stream: true });
+        if (encoder.encode(pending).byteLength > maximumBytes)
+            invalid("Bounded replay line exceeds maximumInMemoryBytes");
+        let boundary;
+        while ((boundary = pending.indexOf("\n")) >= 0) {
+            const text = pending.slice(0, boundary);
+            pending = pending.slice(boundary + 1);
+            yield { text, bytes: encoder.encode(`${text}\n`) };
+        }
+    }
+    pending += decoder.decode();
+    if (pending !== "")
+        invalid("Bounded replay ends with an incomplete frame");
+}
+/** Independently recomputes every bounded result and identity while reading one frame at a time. */
+export async function verifyBoundedAnalysisReplay(input) {
+    const limits = validateLimits(input.limits);
+    const chunks = input.chunks;
+    const signal = input.signal;
+    const expectedSourceArtifactHandle = input.expectedSourceArtifact;
+    assertComputedDiagnosticArtifactDigest(expectedSourceArtifactHandle);
+    const expectedSourceArtifact = snapshotDiagnosticJson(expectedSourceArtifactHandle);
+    let header;
+    let trailer;
+    let state = [];
+    let recordCount = 0;
+    const digest = createSha256();
+    for await (const frame of decodedLines(chunks, limits.maximumInMemoryBytes)) {
+        throwIfCancelled(signal);
+        let parsed;
+        try {
+            parsed = JSON.parse(frame.text);
+        }
+        catch {
+            invalid("Bounded replay frame is not valid JSON");
+        }
+        const preflight = diagnosticJsonPreflight(parsed, "input");
+        if (preflight.length > 0 || !isDiagnosticPlainRecord(parsed))
+            invalid("Bounded replay frame is not plain JSON data");
+        if (parsed.type === "header") {
+            if (header !== undefined || recordCount > 0 || trailer !== undefined)
+                invalid("Bounded replay header is out of order");
+            const result = headerSchema.safeParse(parsed);
+            if (!result.success)
+                invalid(`Bounded replay header is invalid: ${result.error.issues[0]?.message ?? "schema mismatch"}`);
+            const measures = parseBoundedReplayMeasures(result.data.measures, limits);
+            header = snapshotDiagnosticJson(result.data);
+            state = aggregates(measures);
+            if (canonicalJson(header.sourceArtifact) !== canonicalJson(expectedSourceArtifact))
+                invalid("Bounded replay source artifact differs from the expected immutable source");
+        }
+        else if (parsed.type === "record") {
+            if (header === undefined || trailer !== undefined)
+                invalid("Bounded replay record is out of order");
+            if (frame.bytes.byteLength > limits.maximumRecordBytes)
+                invalid("Bounded replay record exceeds maximumRecordBytes");
+            const result = recordFrameSchema.safeParse(parsed);
+            if (!result.success)
+                invalid(`Bounded replay record is invalid: ${result.error.issues[0]?.message ?? "schema mismatch"}`);
+            if (recordCount >= limits.maximumInputRecords)
+                invalid("Bounded replay exceeds maximumInputRecords");
+            recordCount += 1;
+            digest.update(frame.bytes);
+            acceptRecord(state, result.data.record.value);
+        }
+        else if (parsed.type === "trailer") {
+            if (header === undefined || trailer !== undefined)
+                invalid("Bounded replay trailer is out of order");
+            const result = trailerSchema.safeParse(parsed);
+            if (!result.success)
+                invalid(`Bounded replay trailer is invalid: ${result.error.issues[0]?.message ?? "schema mismatch"}`);
+            trailer = snapshotDiagnosticJson(result.data);
+        }
+        else
+            invalid("Unknown bounded replay frame type");
+    }
+    if (header === undefined || trailer === undefined)
+        invalid("Bounded replay is truncated");
+    const calculatedValues = values(state);
+    const recordDigest = digest.digest();
+    const identityValue = {
+        contractVersion: BOUNDED_REPLAY_CONTRACT_VERSION,
+        runId: header.runId,
+        sourceArtifact: header.sourceArtifact,
+        measures: header.measures,
+        ...(header.calculationContext === undefined
+            ? {}
+            : { calculationContext: header.calculationContext }),
+        recordCount,
+        recordDigest,
+        values: calculatedValues,
+    };
+    const calculationIdentity = `fnv1a64-jcs-v1:${fnv1a64(canonicalJson(identityValue))}`;
+    if (trailer.recordCount !== recordCount || trailer.recordDigest !== recordDigest || trailer.calculationIdentity !== calculationIdentity || canonicalJson(trailer.values) !== canonicalJson(calculatedValues))
+        invalid("Bounded replay verification differs from its recorded trailer");
+    const receipt = snapshotDiagnosticJson({
+        contractVersion: BOUNDED_REPLAY_CONTRACT_VERSION,
+        runId: header.runId,
+        sourceArtifact: header.sourceArtifact,
+        ...(header.calculationContext === undefined
+            ? {}
+            : { calculationContext: header.calculationContext }),
+        recordCount,
+        recordDigest,
+        calculationIdentity,
+        values: calculatedValues,
+    });
+    verifiedBoundedReplayReceipts.add(receipt);
+    return receipt;
+}
+//# sourceMappingURL=customizationBoundedReplay.js.map

package/dist/customizationBoundedReplay.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"customizationBoundedReplay.js","sourceRoot":"","sources":["../src/customizationBoundedReplay.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,+BAA+B,EAC/B,aAAa,EACb,uBAAuB,EACvB,OAAO,EACP,uBAAuB,EACvB,iBAAiB,EACjB,sBAAsB,GAIvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,gCAAgC,GAEjC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EACL,sCAAsC,GAEvC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAsCjD,MAAM,6BAA6B,GAAG,IAAI,OAAO,EAAU,CAAC;AAE5D,mFAAmF;AACnF,MAAM,UAAU,kCAAkC,CAChD,KAAc;IAEd,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC;QAEzC,OAAO,CAAC,yEAAyE,CAAC,CAAC;AACvF,CAAC;AAOD,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;AAClC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,iBAAiB,EAAE,wBAAwB,CAAC,CAAC;AACnF,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC;AACzC,MAAM,eAAe,GAAyB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CACxD,CAAC,CAAC,KAAK,CAAC;IACN,CAAC,CAAC,IAAI,EAAE;IACR,CAAC,CAAC,OAAO,EAAE;IACX,YAAY;IACZ,CAAC,CAAC,MAAM,EAAE;IACV,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;IACxB,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;CAC1B,CAAC,CACH,CAAC;AACF,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,WAAW;IACf,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IACvC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;IACpC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACzC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE;CAClD,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,MAAM,eAAe,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACnD,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACrE,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,kBAAkB,EAAE,WAAW;QAC/B,oBAAoB,EAAE,WAAW;QACjC,KAAK,EAAE,YAAY;QACnB,eAAe,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;KACjD,CAAC,CAAC,MAAM,EAAE;IACX,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IAC7G,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACzE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACzE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IACnI,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;CACpJ,CAAC,CAAC;AACH,MAAM,0BAA0B,GAAoC,CAAC,CAAC,MAAM,CAAC;IAC3E,EAAE,EAAE,WAAW;IACf,IAAI,EAAE,WAAW;IACjB,SAAS,EAAE,eAAe;IAC1B,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;CACrE,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,MAAM,iBAAiB,GAAkC,CAAC,CAAC,MAAM,CAAC;IAChE,SAAS,EAAE,WAAW;IACtB,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE;IAC9B,SAAS,EAAE,YAAY,CAAC,QAAQ,EAAE;IAClC,WAAW,EAAE,YAAY,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC3D,KAAK,EAAE,WAAW;IAClB,cAAc,EAAE,oBAAoB;IACpC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC;IAC7C,kBAAkB,EAAE,eAAe,CAAC,QAAQ,EAAE;CAC/C,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC;IACxD,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE;CACpE,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,EAAE,EAAE,WAAW;QACf,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;QACxB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;QACpB,KAAK,EAAE,mBAAmB;KAC3B,CAAC,CAAC,MAAM,EAAE;CACZ,CAAC,CAAC,MAAM,EAAE,CAAC;AACZ,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE;IAClD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC;IAChD,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,+BAA+B,CAAC;IACtE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;CACnC,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,SAAS,OAAO,CAAC,OAAe;IAC9B,MAAM,IAAI,eAAe,CAAC,oBAAoB,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,cAAc,CAAC,MAAe;IACrC,IAAI,CAAC;QACH,OAAO,gCAAgC,CAAC,MAAM,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC;IAC5F,CAAC;AACH,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,0BAA0B,CACxC,KAAc,EACd,MAAmC;IAEnC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,CAAC,wCAAwC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,iBAAiB,EAAE,CAAC,CAAC;IAC7H,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;IAC7B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,mBAAmB;QACvE,OAAO,CAAC,6DAA6D,CAAC,CAAC;IACzE,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM;QACzE,OAAO,CAAC,2CAA2C,CAAC,CAAC;IACvD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QACpC,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,qBAAqB,CAAC,IAAI,OAAO,CAAC,qBAAsB,GAAG,CAAC,CAAC;YAC/H,OAAO,CAAC,uEAAuE,CAAC,CAAC;QACnF,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,qBAAqB,KAAK,SAAS;YAC9E,OAAO,CAAC,+DAA+D,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/I,IAAI,gBAAgB,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,CAAC,kEAAkE,CAAC,CAAC;IAC3G,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5I,IAAI,gBAAgB,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,CAAC,qEAAqE,CAAC,CAAC;IAC9G,OAAO,sBAAsB,CAAC,QAAQ,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,KAAa,EAAE,WAAmB;IAClE,MAAM,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,kBAAkB,WAAW,qCAAqC,CAAC,CAAC;IAC1G,OAAO,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC5C,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,KAAa,EAAE,WAAmB;IACtE,MAAM,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,kBAAkB,WAAW,qCAAqC,CAAC,CAAC;IAC1G,OAAO,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC5C,CAAC;AAED,SAAS,aAAa,CAAC,KAAa,EAAE,WAAmB;IACvD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,kBAAkB,WAAW,qCAAqC,CAAC,CAAC;IACzG,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1C,CAAC;AAkBD,SAAS,UAAU,CAAC,QAAyC;IAC3D,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,iBAAiB,EAAE,OAAO,EAAE,MAAM,CAAC,iBAAiB,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAClT,CAAC;AAED,SAAS,YAAY,CAAC,KAAkB,EAAE,MAAqB;IAC7D,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC;QACjD,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAS,CAAC,GAAG,GAAG,UAAU,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACnH,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACtC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;YAChE,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;YACpE,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBACnI,SAAS,CAAC,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,EAAE,iBAAiB,CAAC,CAAC;gBACpF,SAAS,CAAC,WAAW,GAAG,UAAU,CAAC,SAAS,CAAC,WAAW,EAAE,WAAW,EAAE,mBAAmB,CAAC,CAAC;gBAC5F,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACnD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;YAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjH,IAAI,MAAM,GAAG,CAAC;oBAAE,OAAO,CAAC,qDAAqD,CAAC,CAAC;gBAC/E,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;oBACf,SAAS,CAAC,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,SAAS,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,kBAAkB,CAAC,EAAE,oBAAoB,CAAC,CAAC;oBAC/H,SAAS,CAAC,WAAW,GAAG,UAAU,CAAC,SAAS,CAAC,WAAW,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAC;oBACxF,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACxE,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxD,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBACvD,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBACvD,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAC/C,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAC1D,IAAI,WAAW,KAAK,SAAS;gBAAE,OAAO,CAAC,8CAA8C,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;YACzG,IAAI,WAAW,KAAK,IAAI;gBAAE,SAAS;YACnC,IAAI,SAAS,CAAC,eAAe,KAAK,IAAI,IAAI,WAAW,GAAG,SAAS,CAAC,eAAe;gBAC/E,OAAO,CAAC,2DAA2D,CAAC,CAAC;YACvE,IAAI,WAAW,KAAK,SAAS,CAAC,eAAe,EAAE,CAAC;gBAC9C,IAAI,SAAS,CAAC,aAAa,KAAK,MAAM,CAAC,gBAAgB;oBAAE,OAAO,CAAC,uDAAuD,CAAC,CAAC;gBAC1H,SAAS,CAAC,aAAa,IAAI,CAAC,CAAC;YAC/B,CAAC;YACD,SAAS,CAAC,eAAe,GAAG,WAAW,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU;gBAAE,OAAO,CAAC,sCAAsC,CAAC,CAAC;YACnF,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAS;YACnE,IAAI,SAAS,CAAC,gBAAgB,KAAK,IAAI,IAAI,KAAK,GAAG,SAAS,CAAC,gBAAgB;gBAC3E,OAAO,CAAC,6DAA6D,CAAC,CAAC;YACzE,MAAM,cAAc,GAAG,SAAS,CAAC,UAAU,CAAC,qBAAsB,CAAC;YACnE,MAAM,CAAC,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC;YACvD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,SAAS,CAAC,YAAY,KAAK,KAAK;gBAAE,SAAS,CAAC,iBAAiB,GAAG,KAAK,CAAC;YAC1E,IAAI,SAAS,CAAC,YAAY,KAAK,KAAK;gBAAE,SAAS,CAAC,iBAAiB,GAAG,KAAK,CAAC;YAC1E,IAAI,SAAS,CAAC,YAAY,KAAK,MAAM,CAAC,gBAAgB;gBAAE,OAAO,CAAC,uDAAuD,CAAC,CAAC;YACzH,SAAS,CAAC,YAAY,IAAI,CAAC,CAAC;YAC5B,SAAS,CAAC,gBAAgB,GAAG,KAAK,CAAC;QACrC,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAA2B;IACzC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;QAC7B,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC;QACjD,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK;YAC1B,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAC7I,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;YACpC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,GAAG,SAAS,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrS,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjE,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC;YACtF,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAClK,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB;YACrC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QACpH,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAClC,IAAI,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,UAAU,CAAC,qBAAqB;gBACvE,OAAO,CAAC,6BAA6B,SAAS,CAAC,YAAY,+CAA+C,SAAS,CAAC,UAAU,CAAC,qBAAqB,EAAE,CAAC,CAAC;YAC1J,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC;YAC/D,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,KAAK,GAAG,SAAS,CAAC,iBAAkB,CAAC;YAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,iBAAkB,CAAC;YAC3C,MAAM,YAAY,GAAG,QAAQ,KAAK,CAAC;gBACjC,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,UAAU,CACR,cAAc,CAAC,KAAK,EAAE,CAAC,GAAG,QAAQ,EAAE,wBAAwB,CAAC,EAC7D,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,wBAAwB,CAAC,EACzD,wBAAwB,CACzB,CAAC;YACN,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QACzG,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,CAAC,sCAAsC,CAAC,CAAC;QAChF,MAAM,OAAO,GAAG,SAAS,CAAC,eAAe,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,KAAK,CAAC,CAAC;QACnH,OAAO;YACL,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE;YAClC,KAAK,EAAE,SAAS,CAAC,KAAK,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,GAAG,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI;YACnK,SAAS,EAAE,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;YAC3D,WAAW,EAAE,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;SAChE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,IAAI,CAAC,KAAc,EAAE,YAAoB,EAAE,SAAS,GAAG,sBAAsB;IACpF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,KAAK,CAAC,UAAU,GAAG,YAAY;QAAE,OAAO,CAAC,gCAAgC,SAAS,EAAE,CAAC,CAAC;IAC1F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA+B;IACvD,IAAI,MAAM,EAAE,OAAO;QAAE,MAAM,IAAI,eAAe,CAAC,oBAAoB,EAAE,8BAA8B,EAAE,iBAAiB,CAAC,CAAC;AAC1H,CAAC;AAED,4FAA4F;AAC5F,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,0BAA0B,CAAC,KASjD;IACC,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,oBAAoB,GAAG,KAAK,CAAC,cAAc,CAAC;IAClD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,MAAM,eAAe,GAAG,KAAK,CAAC,kBAAkB,CAAC;IACjD,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,iCAAiC,CAAC,CAAC;IAC1E,sCAAsC,CAAC,oBAAoB,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG,sBAAsB,CAAC,oBAAoB,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,0BAA0B,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACpE,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;QACjE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,kBAAkB,GAAG,eAAe,KAAK,SAAS;QACtD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,sBAAsB,CAAC,eAAe,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,sBAAsB,CAAC;QACpC,IAAI,EAAE,QAAQ;QACd,eAAe,EAAE,+BAA+B;QAChD,KAAK;QACL,cAAc;QACd,QAAQ;QACR,GAAG,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC;KACpE,CAAC,CAAC;IACH,MAAM,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;IAC9B,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,KAAK,EAAE,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;QACrC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,IAAI,WAAW,IAAI,MAAM,CAAC,mBAAmB;YAAE,OAAO,CAAC,4CAA4C,CAAC,CAAC;QACrG,WAAW,IAAI,CAAC,CAAC;QACjB,MAAM,SAAS,GAAG,uBAAuB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC/F,OAAO,CAAC,kDAAkD,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,sBAAsB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3E,MAAM,YAAY,GAAG,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,CAAC,YAAY,CAAC,OAAO;YAAE,OAAO,CAAC,qCAAqC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,iBAAiB,EAAE,CAAC,CAAC;QACtI,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;QACvF,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IACrC,MAAM,aAAa,GAAG;QACpB,eAAe,EAAE,+BAA+B;QAChD,KAAK;QACL,cAAc;QACd,QAAQ;QACR,GAAG,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC;QACnE,WAAW;QACX,YAAY;QACZ,MAAM,EAAE,gBAAgB;KACzB,CAAC;IACF,MAAM,OAAO,GAAG,sBAAsB,CAAC;QACrC,IAAI,EAAE,SAAS;QACf,WAAW;QACX,YAAY;QACZ,mBAAmB,EAAE,kBAAkB,OAAO,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE;QAC9E,MAAM,EAAE,gBAAgB;KACzB,CAAC,CAAC;IACH,MAAM,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAC;AACnD,CAAC;AAED,KAAK,SAAS,CAAC,CAAC,YAAY,CAC1B,MAAwD,EACxD,YAAoB;IAEpB,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,IAAI,KAAK,CAAC,UAAU,GAAG,YAAY;YAAE,OAAO,CAAC,2CAA2C,CAAC,CAAC;QAC5H,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,UAAU,GAAG,YAAY;YAAE,OAAO,CAAC,kDAAkD,CAAC,CAAC;QACnH,IAAI,QAAQ,CAAC;QACb,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACxC,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;YACtC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;IAC5B,IAAI,OAAO,KAAK,EAAE;QAAE,OAAO,CAAC,8CAA8C,CAAC,CAAC;AAC9E,CAAC;AAED,oGAAoG;AACpG,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAAC,KAMjD;IACC,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,MAAM,4BAA4B,GAAG,KAAK,CAAC,sBAAsB,CAAC;IAClE,sCAAsC,CAAC,4BAA4B,CAAC,CAAC;IACrE,MAAM,sBAAsB,GAAG,sBAAsB,CAAC,4BAA4B,CAAC,CAAC;IACpF,IAAI,MAAgD,CAAC;IACrD,IAAI,OAAkD,CAAC;IACvD,IAAI,KAAK,GAAgB,EAAE,CAAC;IAC5B,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;IAC9B,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC5E,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;QAAC,CAAC;QACrG,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC3D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,6CAA6C,CAAC,CAAC;QACrH,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,MAAM,KAAK,SAAS,IAAI,WAAW,GAAG,CAAC,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,CAAC,uCAAuC,CAAC,CAAC;YACvH,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,OAAO,CAAC,qCAAqC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,iBAAiB,EAAE,CAAC,CAAC;YAC1H,MAAM,QAAQ,GAAG,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC1E,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC7C,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC7B,IAAI,aAAa,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,aAAa,CAAC,sBAAsB,CAAC;gBAAE,OAAO,CAAC,2EAA2E,CAAC,CAAC;QAC3K,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpC,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,CAAC,uCAAuC,CAAC,CAAC;YACpG,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,GAAG,MAAM,CAAC,kBAAkB;gBAAE,OAAO,CAAC,kDAAkD,CAAC,CAAC;YACpH,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,OAAO,CAAC,qCAAqC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,iBAAiB,EAAE,CAAC,CAAC;YAC1H,IAAI,WAAW,IAAI,MAAM,CAAC,mBAAmB;gBAAE,OAAO,CAAC,4CAA4C,CAAC,CAAC;YACrG,WAAW,IAAI,CAAC,CAAC;YACjB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3B,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAChD,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACrC,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,CAAC,wCAAwC,CAAC,CAAC;YACrG,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAC/C,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,OAAO,CAAC,sCAAsC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,iBAAiB,EAAE,CAAC,CAAC;YAC3H,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;;YAAM,OAAO,CAAC,mCAAmC,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC1F,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IACrC,MAAM,aAAa,GAAG;QACpB,eAAe,EAAE,+BAA+B;QAChD,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,GAAG,CAAC,MAAM,CAAC,kBAAkB,KAAK,SAAS;YACzC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC;QACtD,WAAW;QACX,YAAY;QACZ,MAAM,EAAE,gBAAgB;KACzB,CAAC;IACF,MAAM,mBAAmB,GAAG,kBAAkB,OAAO,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;IACtF,IAAI,OAAO,CAAC,WAAW,KAAK,WAAW,IAAI,OAAO,CAAC,YAAY,KAAK,YAAY,IAAI,OAAO,CAAC,mBAAmB,KAAK,mBAAmB,IAAI,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,aAAa,CAAC,gBAAgB,CAAC;QAC1M,OAAO,CAAC,+DAA+D,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,sBAAsB,CAAC;QACrC,eAAe,EAAE,+BAA+B;QAChD,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,GAAG,CAAC,MAAM,CAAC,kBAAkB,KAAK,SAAS;YACzC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC;QACtD,WAAW;QACX,YAAY;QACZ,mBAAmB;QACnB,MAAM,EAAE,gBAAgB;KACzB,CAAiC,CAAC;IACnC,6BAA6B,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,OAAO,CAAC;AACjB,CAAC"}